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