在正方形ABCD中，AB＝6，对角线AC和BD相交于点O，E是AB所在直线上一点（不与点B重合），将线段OE绕点E顺时针旋转90°得到EF.