Cho vuông tại
. Gọi
là trung điểm của
và
theo thứ tự là hình chiếu của
và
trên đường thẳng
. So sánh
với
.
Hình vẽ minh họa
Vì vuông tại
nên
(quan hệ giữa đường vuông góc và đường xiên)
Mà (1)
Mặt khác: (2)
Cộng hai vế cùa (1) và (2) ta được: (3)
Vì là trung điểm của
Xét tam giác vuông và tam giác vuông có:
Từ (3) và (4) suy ra: