Ta có: nên . (3)

Theo tính chất hai tiếp tuyến cắt nhau có , lại có .

Suy ra là đường trung trực của  suy ra . (4)

Từ (3) và (4) suy ra (cùng vuông góc với ).

Gọi là trung điểm của ta có là tâm đường tròn ngoại tiếp tam giác đường kính .

Theo tính chất tiếp tuyến ta có , nên nên tứ giác là hình thang vuông.  

Mà là trung điểm ; là trung điểm , suy ra là đường trung bình của hình thang nên .

Mà nên tại .

Suy ra là tiếp tuyến tại của đường tròn đường kính

Ta có: suy ra mà ; nên .

Suy ra mà suy ra