正方形ABCD中,角EAF=45度,连NE,求证:AN=NE,且AN垂直于NE