反证法没想到,正常证法有一个
过点A作CD的平行线,交CE的延长线于点G
则△ECD≌△EGA,AG=CD
连接BG,则△CBG中,BG=2EF
于是有BG=AB+AG,即AB与AG在一条直线上
故AB//CD