延长AE交圆O于G
连接OE OF OG OC OD GB
可知EG=BF 平行线所夹平行线段相等
OG=OB
角OGE+OGB=90
OBD+OBG=90
OBG=OGB
故OBF=OGE
故三角形OGE全等于OBF
OE=OF
角OEF=OFE
角CEO=DFO
又角OCD=ODC OC=OD
故三角形OCE全等于ODF
故EC=DF