a. Nối DD và FF
Xét ΔBDFΔBDF và ΔDEFΔDEF , ta có :
DF=DFDF=DF ( cạnh chung )
ˆBDF=ˆDEFBDF^=DEF^ ( vì AB//EFAB//EF )
ˆDFB=ˆFDEDFB^=FDE^ ( vì DE//BCDE//BC )
⇒ΔBDF=ΔFDE(g.c.g)⇒ΔBDF=ΔFDE(g.c.g)
⇒DB=EF⇒DB=EF ( hai cạnh tương ứng )
Mà AD=DB⇒AD=EFAD=DB⇒AD=EF
b. Xét ΔADEΔADE và ΔEFCΔEFC , ta có :
ˆA=ˆFECA^=FEC^ ( vì AB//EFAB//EF )
AD=EFAD=EF ( theo câu a )
ˆADE=ˆEFC(=ˆB)ADE^=EFC^(=B^)
⇒ΔADE=ΔEFC(g.c.g)