ef分别是正方形abcd中bc和cd边上的点,角EAF等于45