a: Xét ΔADE vuông tại E và ΔBCF vuông tại F có
AD=BC
\(\widehat{D}=\widehat{C}\)
Do đó: ΔADE=ΔBCF
Suy ra: DE=CF
\(\Leftrightarrow DE+EF=CF+EF\)
hay DF=CE
b: Ta có: AB//CD
AE\(\perp\)CD
Do đó: AB\(\perp\)AE
Xét tứ giác ABFE có
\(\widehat{AEF}=\widehat{BFE}=\widehat{EAB}=90^0\)
Do đó: ABFE là hình chữ nhật
Suy ra: AB=EF