下面那位同学！反证法是这样用的吗。我记得应该是“假设结论不成立，推出与题目条件相矛盾，从而证明结论”你这里。怎么直接就假设结论成立，难道是传说中的数学归纳法。

Question

下面那位同学！反证法是这样用的吗。我记得应该是“假设结论不成立，推出与题目条件相矛盾，从而证明结论”你这里。怎么直接就假设结论成立，难道是传说中的数学归纳法。

Answer 1

作DF⊥AC,BG⊥DF,BE⊥AC
∵∠BED=∠BGD=∠GDE
∴BEDG为矩形
∵∠BDE=45°
∴∠EBD=45°=∠BDE
∴BE=DE
∴BEDG为正方形
∵DF为AC的中垂线
∴AF=CF
∴∠FAC=∠C
∴∠BAF=∠BFA=2∠C
∴BA=BF
∵BG=BE
∴Rt△BEA≌Rt△BFG(HL)
∴∠ABE=∠GBF
∴∠EBF+∠ABE=∠EBF+∠FBG=90°
∴∠ABC=90°