简介：反证法的证题模式可以简要地概括为“否定→推理→否定”．即从否定结论开始，经过正确无误的推理导致逻辑矛盾，达到新的否定，可以认为反证法的基本思想就是“否定之否定”．应用反证法证明的主要三步是：否定结论→推导出矛盾→结论成立．
简介：反证法的证题模式可以简要地概括为“否定→推理→否定”．即从否定结论开始，经过正确无误的推理导致逻辑矛盾，达到新的否定，可以认为反证法的基本思想就是“否定之否定”．应用反证法证明的主要三步是：否定结论→推导出矛盾→结论成立。
数学竞赛中的反证法
