Xét ΔABD và ΔBAC có:
AB: cạnh chung
^A=^B(gt)
AD=BC(gt)
=>ΔABD = ΔBAC(c.g.c)
=>^ABD=^BAC
=>ΔEAB cân tại E
=>AE=EB
Có: AC=AE+EC
BD=BE+ED
Mà AC=BD(gt); AE=BE(cmt)
=>ED=EC
AD = BC (gt)
AC = BD (gt)
DC chung
Nên ∆ADC = ∆BCD (c.c.c)
Suy ra \(\widehat{C_1}=\widehat{D_1}\)
Do đó tam giác ECD cân tại E, nên EC = ED
Ta lại có: AC = BD suy ra EA = EB