Ta có: ΔADE= ΔCFE(chứng minh trên)
⇒∠(ADE) =∠(CFE) (hai góc tương ứng)
Suy ra: AD // CF (vì có cặp góc so le trong bằng nhau)
Hay AB // CF
Xét ΔBDC và ΔFCD, ta có:
BD = CF (chứng minh trên)
∠(BDC) =∠(FCD) (hai góc so le trong vì CF // AB)
DC cạnh chung
Suy ra: ΔBDC= ΔFCD (c.g.c)