因为AB//CD,所以角FAB=角ECD
角AFB=角CED=90度
AB=CD
因此三角形AFB全等于三角形CED
由此可得 CE=AF
在两侧均加上线段EF,
CE+EF=AF+EF
CF = AE