正方形ABCD,点E,F分别在BC,CD上,角EAF=45度,AH垂直EF于H,求证:AH=AB