Cho tam giác ABC, phân giác trong AD. Đường tròn (O) đi qua A, tiếp xúc với BC tại D.

Chứng minh ΔBMD # ΔBDA, suy ra

BD² = BM . BA

Tương tự, cũng có CD² = CN . CA, suy ra

BD2CD2=BM.BACN.CA 

Mà BDCD=ABCA , suy ra AB2CA2=BM.BACN.CA nên BMCN=BACA⇒MN // BC