正方形abcd的边长为3,EF分别是AD和CD的中点