Gọi là giao điểm của và

Xét tứ giác có nên là hình chữ nhật.

Suy ra và hai đường chéo này cắt nhau tại trung điểm của mỗi đường.

Do đó

Khi đó, cân ở nên

  cân ở nên (*)

Ta có điểm thuộc đường tròn đường kính nên .

Do đó, cân ở nên  

Lại có nên hay  (**)

Từ (*) và (**) suy ra nên tại

Xét đường tròn bán kính có nên là tiếp tuyến của đường tròn tại