已知如图在正方形abcd中点ef分别为边AB CD的中点