Giả sử có một hình thang ABCD (AB//CD; AB < CD )và AD > BC .
Ta cần Chứng minh : CD - AB > AD - BC
trên CD lấy F sao cho AB = DF
DỄ chứng minh : ABFD là hình bình hành
=> AD = BF
Ta có : CD - AB = CD - DF = CF
Theo BĐT tam giác ; ta có : CF > BF - CF = AD- BC => đpcm