如图，已知E是正方形ABCD的边BC的中点，点F在边CD上，且∠BAE=∠FAE， 求证：AF=AD+CF．
问题描述：
如图，已知E是正方形ABCD的边BC的中点，点F在边CD上，且∠BAE=∠FAE，
求证：AF=AD+CF．
答
证明：过E点作EG⊥AF，垂足为G，
∵∠BAE=∠EAF，∠B=∠AGE=90°，
又∵∠BAE=∠EAF，即AE为角平分线，EB⊥AB，EG⊥AG，
∴BE=EG，
在Rt△ABE和Rt△AGE中，
，
BE＝EG AE＝AE
∴Rt△ABE≌Rt△AGE（HL），
∴AG=AB，
同理可知CF=GF，
∴AF=BC+FC=AD+CF．