Xét ΔODC có AB//DC
nên OA/AD=OB/BC
mà AD=BC
nên OA=OB
OA+AD=OD
OB+BC=OC
mà OA=OB và AD=BC
nên OD=OC
Xét ΔADC và ΔBCD có
AD=BC
DC chung
AC=BD
=>ΔADC=ΔBCD
=>góc EDC=góc ECD
=>ED=EC
OD=OC
ED=EC
=>OE là trung trực của CD
=>O,E,trung điểm của CD thẳng hàng