Cho tam giác ABC không cân, nội tiếp đường tròn (O), BD là đường phân giác của góc ABC^. Đường thẳng BD cắt đường tròn (O) tại điểm thứ hai là E. Đường tròn (O1) đường kính DE cắt đường tròn (O) tại điểm thứ hai là F. Khi đó đường thẳng đối xứng với đường thẳng BF qua đường thẳng BD cắt AC tại N thì:
