a. Nối `D` và `F`
Xét `Δ BDF` và `Δ DEF` , ta có :
`DF=DF` ( cạnh chung )
`\hat{BDF} = \hat{DEF}` ( vì `AB //// EF` )
` hat{DFB} = hat{FDE}` ( vì `DE //// BC` )
`=>Δ BDF = Δ FDE ( g.c.g )`
`=> DB = EF` ( hai cạnh tương ứng )
Mà `AD = DB => AD = EF`
b. Xét `Δ ADE` và `ΔEFC` , ta có :
`hat{A} = hat{FEC}` ( vì `AB //// EF` )
`AD = EF` ( theo câu a )
`hat{ADE} = hat{ EFC} ( =hat{ B} )`
`=> ΔADE =Δ EFC ( g.c.g )`