如图 已知正方形abcd的边长为3.EF分别是AB,AC边上的点