延长CE交圆O于点G,连接DG
因为 CE垂直CD
所以 DG是圆O的直径,过圆心O
因为 CE垂直CD,DF垂直CD
所以 CE//DF
所以 角FDO=角EGO
因为 角FOD=角EOG,OD=OG
所以 三角形FOD全等于三角形EOG
所以 OF=OE
因为 OA=OB
所以 AE=BF