Cho ABC vuông tại A. Lấy M bất kì trên cạnh BC. Gọi E, F lần lượt là các điểm đối xứng với M qua AB, AC. Chứng minh A là trung điểm của EF.

Sử dụng tính chất đối xứng trục

=> AE = AF (=AM) (1)

Sử dụng tính chất của tam giác cân

⇒A1^=A2^;A3^=A4^ 

Từ đó chỉ ra được AEF^=1800⇒A,E,F thẳng hàng (2)

(1)(2) => đpcm.