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.