Question

命题：已知如图所示，正方形ABCD的对角线的交点为O，E是AC上一点，AG⊥EB，垂足为G，AG交BD于F，则OE=OF．
（1）证明上述命题．



（2）对上述命题，若点E在AC的延长线上，AG⊥EB交EB的延长线于点G，AG的延长线交DB的延长线于点F，其他条件不变，如图所示，则结论“OE=OF”还成立吗？若成立，请你证明，若不成立，请说明理由．

Answer 1

（1）证明：∵∠AFO+∠CAF=90°，∠AEB+∠CAF=90°，
∴∠AFO=∠AEB，
∵四边形ABCD是正方形，
∴AO=OB，
又∵∠AOB=∠BOE=90°，
∴△AOF≌△BOE，
∴OE=OF；

（2）OE=OF．
证明：∵∠GBF+∠F=90°，∠OBE+∠E=90°，∠GBF=∠DBE（对顶角相等），
∴∠E=∠F，
∵四边形ABCD是正方形，
∴AO=OB，
又∵∠AOB=∠BOE=90°，
∴△AOF≌△BOE，
∴OE=OF．