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.

+) Tứ giác ABCD kà hình thang cân => góc ADC = BCD và AD = BC

=> tam giác ODC cân tại O => OD = OC   (1)  mà AD = BC => OA = OB

+) tam giác ODB và OCA có: OD = OC; góc DOC chung ; OB = OA 

=> Tam giác ODB = OCA (c - g - c)

=> góc ODB = OCA mà góc ODC = OCD => góc ODC - ODB = OCD - OCA

=> góc EDC = ECD => tam giác EDC cân tại E => ED = EC (2)

Từ (1)(2) => OE là đường  trung trực của CD

=> OE vuông góc CD mà CD // AB => OE vuông góc với AB

Tam giác OAB cân tại O có OE là đường cao nên đồng thời là đường  trung trực

vậy OE là đường trung trực của AB