Question

如图，正方形ABCD中，E，F分别在对角线AC，BD上，且CE=BF，连接AF，BE，并延长AF交BE于点G，
求证：AG⊥EB．

Answer

根据∠AOF=∠BOE=90°，OA=OC=OB，OF=OE可以证明Rt△AOF≌Rt△BOE，可得∠OAF=∠OBE，进而求证∠AGB=90°，即可证明AG⊥EB．
证明：在正方形ABCD中，AC⊥BD且O是AC与BD的交点．
∴∠AOF=∠BOE=90°，OA=OC=OB．
∵CE=BF
∴OF=OE．
∴Rt△AOF≌Rt△BOE．
∴∠OAF=∠OBE．
∵∠OAF+∠OFA=90°，∠OFA=∠BFG．
∴∠OBE+∠BFG=90°．
∴∠AGB=90°，即AG⊥EB．