ˆADC=ˆBCD(gt)⇒ˆODC=ˆOCDADC^=BCD^(gt)⇒ODC^=OCD^ 

⇒ ∆ OCD cân tại O

⇒ OC = OD

⇒ OA + AD = OB + BC

Mà AD = BC (tính chất hình thang cân)

⇒ OA = OB

Xét ∆ ADC và ∆ BCD :

AD = BC (chứng minh trên)

AC = BD (tính chất hình thang cân)

CD cạnh chung

Do đó: ∆ ADC = ∆ BCD (c.c.c)

⇒ˆD1=ˆC1⇒D^1=C^1

⇒ ∆ EDC cân tại E

⇒ EC = ED nên E thuộc đường trung trực của CD

OC = OD nên O thuộc đường trung trực của CD

E≢ O. Vậy OE là đường trung trực của CD.

BD = AC (chứng minh trên)

⇒ EB + ED = EA + EC mà ED = EC

⇒ EB = EA nên E thuộc đường trung trực AB

E≢ O. Vậy OE là đường trung trực của AB.