易证三角形ACE全等于三角形ACD所以设BE交DC于Q在三角形QRD与三角形CEQ中所以所以R,D,E,C四点共圆所以所以因为DF//RC所以连接EF,AF,则所以三角形ACD全等于三角形DEF所以EF=AC=AB所以三角形ADF为正三角形所以AF=AD=BE所以四边形AFEB为平行四边形又O为AE的中点所以BO=FO
