如图1，∠EOF的顶点O在正方形ABCD两条对角线的交点处，∠EOF＝90°，将∠EOF绕点O旋转，旋转过程中，∠EOF的两边分别与正方形ABCD的边BC和CD交于点E和点F（点F与点C，D不重合）．则CE，CF，BC之间满足的数量关系是．
如图2，若将（1）中的“正方形ABCD”改为“∠BCD＝120°的菱形ABCD”，其他条件不变，当∠EOF＝60°时，上述结论是否仍然成立？若成立，请给出证明；若不成立，请猜想结论并说明理由．
如图3，∠BOD＝120°，OD＝ ， OB＝4，OA平分∠BOD，AB＝
， 且OB＞2OA，点C是OB上一点，∠CAD＝60°，求OC的长．
