Áp dụng tính chất so le của AB//CD và giả thiết ta có:
(vì trong một tam giác đối diện với hai góc bằng nhau là hai cạnh bằng nhau)
Cộng vế theo vế của ( 1 ) và ( 2 ) ta được: AD + BC = AB
Điều đó chứng tỏ tổng độ dài hai cạnh bên bằng độ dài của đáy AB của hình thang