a) Vì ABCD là hình thang cân
=> AD = BC
=> ADC = BCD
=> AC = BD
=> DAB = CBA
Xét ∆ADC và ∆BCD ta có :
AD = BC
ADC = BCD
DC chung
=> ∆ADC = ∆BCD (c.g.c)
=> BDC = ACD ( tương ứng)
=> ∆DOC cân tại O.
b) Mà DAB + BAE = 180° ( kề bù)
ABC + ABE = 180° ( kề bù )
Mà DAB = CBA
=> EAB = EBA
=> ∆EAB cân tại E
Gọi giao điểm AB và EO là H
EO và DC là G
Mà AB//CD
=> BAC = ACD ( so le trong)
=> ABD = ACD ( so le trong)
Mà ACD = BDC
=> CAB = ABD
=> ∆ABO cân tại O
=> EO là trung trực và là phân giác ∆AOB
=> AOH = BOH ( phân giác )
Mà AOH = COG ( đối đỉnh)
BOH = DOG ( đối đỉnh)
Mà AOH = BOH ( EO là phân giác)
=> OG là phân giác DOC
Mà ∆DOC cân tại O
=> OG là trung trực DC
Hay EO là trung trực DC