Do ABCD là hình thang cân nên:
AD = BC;
AC = BD;
Xét hai tam giác ADC và BCD, ta có:
AD = BC (gt)
AC = BD (gt)
DC cạnh chung
⇒ ΔADC = ΔBCD (c.c.c)
⇒ ΔECD cân tại E
⇒ EC = ED.
Mà AC = BD
⇒ AC – EC = BD – ED
hay EA = EB.
Vậy EA = EB, EC = ED.