a/ Xét tam giác DFB và tam giác FDE , có :
+ Góc D1 = góc F1 ( EF // AB ).
+ Góc D2 = góc F2 ( DE // BC ).
= DF chung.
⇒ Tam giác DFB và tam giác FDE ( g-c-g )
⇒ BD = EF ( hai cạnh tương ứng ) mà DB = AD ( gt ),
⇒ AD = EF. ( đpcm )
b/ - Vì DE // BC,
⇒ Góc D3 = góc B, EF // AB.
⇒ Góc F3 = góc B.
⇒ Góc D3 = góc F3 ( cùng bằng góc B ).
- Xét tam giác ADE và tam giác EFC , có :
+ Góc A = góc FEC ( AB // EF - hai góc đồng vị ).
+ Góc D3 = góc F3 ( chứng minh trên ).
+ DA = FE ( chứng minh câu a ).
=> Tam giác ADE và tam giác EFC ( g-c-g ) ( đpcm )
c/ Vì tam giác ADE và tam giác EFC ( chứng minh câu b )
⇒ AE = EC ( hai cạnh tương ứng ) ( đpcm )