如图1，在矩形ABCD中，AB＝1，对角线AC，BD相交于点O，∠COD＝60°，点E是线段CD上一点，连接OE，将线段OE绕点O逆时针旋转60°得到线段OF，连接DF．