Ta có thể giải quyết bài toán này bằng cách sử dụng định lí Pythagore và tính chất của điểm đối xứng.
Gọi
là giao điểm của
và
. Ta cần chứng minh
, tức là
vuông góc với
tại
(hình vẽ bên dưới).
![]()
Ta có:
-
vì
là đường trung bình của tam giác
.
-
vì
là tam giác vuông tại
.
-
vì
là tam giác vuông tại
.
-
vì
là điểm đối xứng của
qua
.
Do đó, ta có tam giác
vuông tại
và tam giác
vuông tại
. Áp dụng định lí Pythagore cho hai tam giác này, ta có:
và
Từ đó suy ra:
Ta cũng có:
và
Vì
là đường trung bình của tam giác
, nên ta có:
Do đó,
. Kết hợp với công thức trên, ta có:
Suy ra
, tức là
. Vậy ta đã chứng minh được điều cần chứng minh.