Ta có: AB→ = (1; 7), DC→ = (1; 7); AD→ = (-7; 1)
Nhận thấy: AB→ = DC→ ⇒ ABCD là hình bình hành
mà |AB→| = |AD→| (vì cùng = 52) hay AB = AD ⇒ ABCD là hình thoi (1)
Ta có: AB→. AD→ = 1. (-7) + 7. 1 = 0 ⇒ AB→ ⊥ AD→ ⇒ AB ⊥ AD (2)
Từ (1) và (2) ⇒ ABCD là hình vuông (đpcm)