如图，AB＝4，C为射线BA上一动点，以BC为边向上作正三角形BCD，⊙O过A、C、D三点，E为⊙O上一点，满足AD＝ED，直线CE交直线AD于F.