cân tại và có là phân giác của ().

Suy ra cũng là đường trung tuyến của .

Do đó, là trung điểm của .

Ta có: là phân giác của (tính chất hai tiếp tuyến cắt nhau).

Xét cân tại có là  phân giác của ().

Suy ra cũng là đường trung tuyến của .

Do đó, là trung điểm của .

Xét vuông tại có (đường trung tuyến ứng với cạnh huyền).

      vuông tại có (đường trung tuyến ứng với cạnh huyền).

      vuông tại có (định lí Pythagore).

Do đó, .

Vậy có giá trị không đổi khi di chuyển trên đường thẳng .