Ta thấy hai tam giác ADC và BCD lần lượt vuông góc tại các đỉnh A, B và có:

DC là cạnh chung

AD = BC (theo giả thiết)

Vậy ∆ADC = ∆BCD (cạnh huyền – cạnh góc vuông). Từ đây suy ra AC = BD.

Hai tam giác BAD và ABC có: AD = BC (theo giả thiết), AB là cạnh chung, BD = AC (chứng minh trên). Vậy ∆BAD = ∆ABC (c – c – c), suy ra BAD^=ABC^.