Tứ giác AEDF có EA // DF (cùng vuông góc AF)
DE // FA (cùng vuông góc AE)
⇒ AEDF là hình bình hành (theo định nghĩa)
Hình bình hành AEDF có đường chéo AD là phân giác của góc A
⇒AEDF là hình thoi.
Hình thoi AEDF có Â = 90º
⇒ AEDF là hình vuông.