如图 正方形abcd中,ab=1,点e f分别是边 ∠EAF=45度