正方形ABCD中,以A为顶点作角EAF=45度,AE和AF分别交BC和CD于E和F,连接EF,作AH垂直于EF于H。求证:AH=AB
要详细过程,谢谢。
边角边定理得△GAE全等于△FAE
又AB、AH分别为GE、EF上的高
所以AH=AB