如图1在正方形abcd中点ef分别是边bc ab上的点