已知ef分别是正方形ABCD的边ab和cd上的点