Cho hình vuông ABCD cạnh bằng a. Trên hai cạnh BC, CD lấy lần lượt hai điểm M, N sao cho

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

⇒ Δ ABM = Δ ADK ( c - g - c )

Áp dụng kết quả của hai tam giác bằng nhau và giả thiết, ta có:

 ⇒ KAN^= A3^ + A4^= A1^ + A3^ = 90⁰ - 45⁰ = 45⁰