Gọi O là giao của AC và BD
Xét ΔODE vuông tại D và ΔOCE vuông tại C có
OE chung
ED=EC
Do đó: ΔODE=ΔOCE
=>OD=OC
Xét ΔOAB và ΔOCD có
góc OAB=góc OCD
góc OBA=góc ODC
=>ΔOAB đồng dạng với ΔOCD
=>OA/OC=OB/OD
mà OC=OD
nên OA=OB
AC=AO+OC
BD=BO+OD
mà AO=BO và CO=DO
nên AC=BD
Xét tứ giác ABCD có
AB//CD
AC=BD
Do đó: ABCD là hình thang cân