Cho tam giác ABC và AD là đường phân giác trong. Trên đoạn thẳng AD lấy hai điểm M, N (M, N khác A và D) sao cho góc . Đường thẳng BM cắt đường tròn ngoại tiếp tam giác ACM tại điểm thứ hai là E. Đường thẳng CN cắt đường tròn ngoại tiếp tam giác ABN tại điểm thứ hai là F. Chứng minh ba điểm A, E, F thẳng hàng.
Ta có:
Vì tứ giác AFBN nội tiếp nên (1)
(2)
Tương tự (3)
Theo giả thiết (4)
Từ (2), (3), (4) suy ra:
Do đó tứ giác BCEF nội tiếp => (5)
Theo giả thiết : (6)
Từ (1), (5), (6) ta có
Do đó A, E, F thẳng hàng.