在Rt三角形OAB中,OA=OB=1,E、F是线段AB上的两个动点,且角EOF=45度,