Trên các cạnh của một hình bình hành, dựng về phía ngoài nó các hình vuông.

Chú ý KAF^=TCJ^ (2 cạnh tương ứng song song)

ABC^=ADC^ (góc đối của hình bình hành)

FAK^=ABC^ (có cạnh tương ứng vuông góc)

Suy ra KAF^=TCJ^ = ABC^=ADC^

Vậy MAQ^=MBN^=PCN^=PDQ^ 

Lại có: MA = MB = PC=PD và AQ = BN = CN = DQ

(nửa đường chéo của hình vuông bằng nhau)

Suy ra DMAQ = DMBN = DPCN = DPDQ

Þ MQ = MN = NP = PQ (1)

Do các tam giác bằng nhau ⇒ BNM^=CNP ^ hay  BNC^=  MNP^ = 90⁰ (2).

Từ (1) và (2) có MNPQ là hình vuông