Cho tam giác vuông tại
,
là trung điểm của
. Kẻ đường cao
và phân giác
. Gọi
là hình chiếu vuông góc của
trên
. Tính độ dài
biết
.
Hình vẽ minh họa:
Ta có AK là phân giác góc A. Theo tính chất đường phân giác ta có:
Ta có: là hình chiếu vuông góc của
trên
suy ra
.
Theo định lí Talet ta có: