如图，正方形ABCD中， ，O是BC边的中点，点E是正方形内一动点， ，连接DE，将线段DE绕点D逆时针旋转90°得DF，连接AE、CF．则线段OF长的最小值为．