AF=BF,
可得角A=角B,
又因为AB//CD,
所以角D=角FCD,
又因为CE=EB
所以角ECB=角B=角FCD
所以角ECB=角D 角
所以三角形COF相似于三角形DOC
所以 OF/OC=OC/OD 即OC^2=OD*OF