a: Xét ΔABC và ΔBAD có
AB chung
BC=AD
AC=BD
=>ΔABC=ΔBAD
=>góc OBA=góc OAB
=>OA=OB
OA+OC=AC
OB+OD=BD
mà OA=OB và AC=BD
nên OC=OD
b: Xét ΔEDC có AB//DC
nên EA/AD=EB/BC
mà AD=BC
nên EA=EB
EA+AD=ED
EB+BC=EC
mà EA=EB và AD=BC
nên ED=EC
EA=EB
OA=OB
=>EO là trung trực của AB
EC=ED
OC=OD
=>EO là trung trực của CD