Xét tam giác DEF và tam giác DBF có:
DE = BF 
DB = EF 
DF chung
Do đó tam giác DEF = tam giác DBF (c.c.c)
Vì D nằm cùng đường thẳng với E 
Mà AD = BD
=)  AE = EC
Xét tam giác ADE và tam giác DEF có:
AD = EF 
AE = DF
DE chung
Do đó tam giác ADE = tam giác DEF (c.c.c)
Mà tam giác DEF = tam giác DBF (cmt)
=) tam giác ADE = tam giác DBF