Giả sử hình thang là ABCD,
Qua B kẻ đường thẳng với AC cắt DC tại E
a)Ta có ACD=BAC (AB//CD)
mà ACD =BEC =>BEC=BAC
Xét tam giac ABC va tam giác ECB
+BC chung
+ACB=EBC(so le trong)
+BEC=BAC(cm trên )
=>tam giac ABC =tam giac ECB
=>BDC=BEC
mà BEC=ACD(đồng vị)=>ACD=BDC
xét tam giac ACD va tam giac BDC,ta có :
+DC chung
+ACD=BDC
+AC=BD(gt)
=>tam giac ACD=tam giác BDC
=>ADC=BCD
=>ABCD la hình thang cân (dfcm)