在正方形abcd中ef分别是边adcd上的点