Cho đoạn thẳng
,
là trung điểm của
. Trên cùng một nửa mặt phẳng bờ
vẽ các tia
vuông góc với
. Gọi
là một điểm bất kì thuộc
. Đường vuông góc với
tại
cắt
tại
. Khi đó:
Hình vẽ minh họa
Giả sử M là giao điểm của đường thẳng OD và đường thẳng AC
Xét tam giác AOM và tam giác BOD có:
(vì O là trung điểm của AB).
(hai góc đối đỉnh)
(các cặp cạnh tương ứng)
Xét tam giác COM và tam giác COD có:
là cạnh chung
(hai cạnh tương ứng) (1)
Có mà
nên
(2)
Vậy .
