在直角三角形ABC中,∠C=90°,AC=3,以AB一边向三角形外作正方形ABEF,正方形的中心为O,OC=4*根号2,