23.(1)【探究发现】如图1,∠EOF的顶点O在正方形ABCD两条对角线的交点处,∠EOF=90°,将∠EOF绕点O旋转,旋转过程中,∠EOF的两边分别与正方形ABCD的边BC和CD交于点E和点F(点F与点C,D不重合).则CE,CF,BC之间满足的数量关系是
.
(2)【类比应用】如图2,若将(1)中的"正方形ABCD"改为"∠BCD=120°的菱形ABCD",其他条件不变,当∠EOF=60°时,上述结论是否仍然成立?若成立,请给出证明;若不成立,请猜想结论并说明理由.
(3)【拓展延伸】如图3,∠BOD=120°,OD=
,OB=4,OA平分∠BOD,AB=
√13
,且OB>2OA,点C是OB上一点,∠CAD=60°,求OC的长.