在正方形ABCD中,EF分别为BC,CD上的点 且BE+DF=EF 求证 角EAF=45度