Cho hình vuông ABCD. Nếu các điểm M, N, P, Q lần lượt nằm trên các đường thẳng AB, BC, CD và DA thì .

Ta cần chứng minh bài toán đúng với các điểm M, N, P, Q nằm trên các cạnh AB, BC, CD, DA (các trường hợp còn lại chứng minh tương tự).

Gọi H, K lần lượt là chân các đường vuông góc kẻ từ M, N đến hai cạnh CD, DA và E, I, O thứ tự là giao điểm của MH với NK, MP với NQ.

Áp dụng định nghĩa vào hình vuông ABCD và tính chất góc đồng vị của KN // DC, ta được A^=B^=C^=E^=K^=N^=900.

Các tứ giác MBHC, KNCD và MBNE là các tứ giác có ba góc vuông nên chúng là các hình chữ nhật.

a)   MP=NQ⇒MP⊥NQ.

Áp dụng tính chất về cạnh và giả thiết vào hai hình chữ nhật MBCH, KNCD và hình vuông ABCD ta được:

      MH=BC,NK=CDBC=CD,MP=NQ⇒MH=MKMP=NQ⇒ΔMHP=ΔNKQ (trường hợp cạnh huyền, cạnh góc vuông).

Áp dụng tính chất về góc vào hai tam giác bằng nhau ở trên và tính chất của hai góc đối đỉnh ta có

M1^=N1^I1^=I2^⇒O^=E^=900 (vì hai tam giác, có hai cặp góc bằng nhau thì cặp góc thứ ba cũng bằng nhau).

Vậy MP vuông góc với NQ tại O.