Theo giả thiết, có vuông góc với .

Mà nên suy ra tam giác cân tại .

Suy ra nằm trên tiếp tuyến của đường tròn .

Lại có nên là tiếp tuyến của tại .

Vì hai tiếp tuyến của đường tròn tại và cắt nhau tại nên (tính chất).

Tương tự, hai tiếp tuyến của đường tròn tại và cắt nhau tại , do đó (tính chất)

Xét tam giác vuông tại , có nên áp dụng hệ thức lượng ta có:

hay .

Ta có mà nên .