Cho
vuông cân tại A. Một đường thẳng d bất kì luôn đi qua A. Kẻ BH và CK vuông góc với đường thẳng d (
). Khi đó
bằng:
Trường hợp 1: đường thẳng d cắt đoạn BC
Vì tam giác ABC vuông cân tại A nên AB = AC (tính chất)
Lại có: (vì tam giác ABH vuông tại H) và
Nên
Xét tam giác và tam giác
có:
(cạnh huyền – góc nhọn)
(hai cạnh tương ứng)
Xét tam giác vuông tại
, áp dụng định lí Pythagore ta có:
Từ (1) và (2) suy ra
Trường hợp 2: Đường thẳng d không cắt đoạn BC.
