Cho tam giác vuông ABC( góc A = 90°). Lấy M bất kì trên cạnh Gọi E, F lần lượt là các điếm đối xứng với M qua AB và AC.

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 EAF^=1800⇒A,E,F thằng hàng (2).

Từ (1) và (2) ta có điều phải chứng minh.