已知:正方形ABCD,点E和F点分别在边BC和CD上,角EAF=45度,AG垂直EF于点G.求证:AG=AB