已知：如图，四边形ABCD是⊙O的内接矩形，AB＝4，BC＝3，点E是劣弧 上的一点，连接AE，DE． 过点C作⊙O的切线交线段AE的延长线于点F， 若∠CDE＝30°，求CF的长．