Cho hình vuông ABCD. Trên cạnh BC lấy điểm M, qua A kẻ AN vuông AM Chứng minh rằng: a) AM = AN.

a) Áp dụng định nghĩa và giả thiết vào hình vuông ABCD, ta được:

 A^=B^=D^A1^+A2^=A2^+A3^=A^=900AB=AD⇒B^=D^=900AB=ADA3^=A1^⇒ΔABM=ΔADN (c-g-c).

Do đó AM = AN.