思路如下:
(1)连接OD交AC于点P,证明三角形AFE和DFP全等,即可证明AF=DF;
(2)连接OC,可知角AOP=60度,可解出OP=3,即AE=DP=OP=3.在直角三角形AEF中可解出AF.
详细步骤楼主自己整理吧,对你有好处的.