如图,正方形ABCD中.E F分别在BC CD上,角EAF=45度,AH是三角形AEF的高,试说明AH=AB