如图1 ef是正方形abcd的边ab及dc延长线上的点