Hình thang ABCD (AB//CD, AB < CD)
Từ hai đỉnh A và B của đáy bé, hạ đường vuông góc AF và BE
Ta được hình vuông ABEF (tự chứng minh)
Ta có: AB // CD
⇒BADˆ+ADCˆ=1800 (Hai góc trong cùng phía) (*)
Lại có: BADˆ=BAFˆ+FADˆ
⇔BADˆ=900+FADˆ
⇔BADˆ>900
Từ (*) ⇒BADˆ>ADCˆ (1)
Chứng minh tương tự, ta được:
⇒ABCˆ>BCDˆ (2)
Cộng (1) với (2) theo vế, ta được:
⇒BADˆ+ABCˆ>ADCˆ+BCDˆ