∵∠CDE=∠ADF
∴弧CE=弧AF
∴弧EF=弧AC
∴EF=AC 所以只要求出AC的长
连接AO延长交CD与点H，连接OC，
可得OH⊥CD，CH=1/2CD=2
在△OCH中可求得OH=3/2
在△ACH中球的AC=2根号5