Cho hình thang ABCD, AC= BD. Chứng minh ABCD là hình thang cân.
từ $B$ kẻ $BK \bot CD$ $(K \epsilon CD)$
dễ dàng chứng minh tứ giác $ABKC$ là hình bình hành $\to AC=BK$
Kết hợp xét $\triangle BDK$ $ \bot BDK$ cân tại B $\to \widehat BDK= \widehat BKD$
Mà $ \widehat BKD = \widehat ACD$ (đồng vị)
$\to \widehat BDK = \widehat ACD$
dễ dàng chứng minh:
$ \triangle ADC = \triangle BCD$ (c.g.c)
$\to \widehat ADC = \widehat BCD$
kết hợp xét hình thang $ABCD$ $\to đpcm$