什么是反正法？怎么用？

什么是反正法？怎么用？

首先假设需要证明的结果不成立
反向推出条件矛盾
从而得出证明结果应当成立

其本质就是有时从入口直接走迷宫比较麻烦
从出口反向走到入口反而比较简单

反证法 （一）什么叫反证法？ 反证法是属于“间接证明法”的一类，是从反面的角度思考问题的证明方法．它先假设“结论”不成立，然后把“结论”的反面当作已知条件，进而运用数学知识进行正确的逻辑推理，得出与题设或已知的公理、定义、定理相矛盾的结论，从而说明假设不成立，即原“结论”成立．这种先驳倒“结论”反面，尔后肯定“结论”本身的证明方法叫做反证法． 当“结论”的反面只有一个时，这种反证法又叫做归谬法；当“结论”的反面不只一个时，这种反证法又叫做穷举法． （二）反证法证明问题的一般程序 1、反设：假定所要证的结论不成立，而设结论的反面（否定命题）成立；(否定结论) 2、归谬：将“反设”作为条件，由此出发经过正确的推理，导出矛盾——与已知条件、已知的公理、定义、定理及明显的事实矛盾或自相矛盾；(推导矛盾) 3、结论：因为推理正确，所以产生矛盾的原因在于“反设”的谬误。既然结论的反面不成立，从而肯定了结论成立。(结论成立) （三）哪些题型宜用反证法 反证法是证明数学命题的一种重要方法，是数学家的一个精良武器． 一般地说，当“结论”的反面比“结论”本身更简单、更具体、更明确时，宜考虑用反证法去证． 其次，否定型命题(命题的结论是“不可能……”，“不能表示为……”，“不是……”，“不存在……” ，“不等于……”，“不具有某种性质”等)，唯一性命题，存在性命题，“至少”、“至多” 型命题，某些命题的逆命题等都可用反证法去证． 此外，有的肯定式命题，由于已知，或结论涉及到无限个元素，如“无限多个数”，“无穷多交点”，“无限不循环小数”等，因为我们要直接证明无限的情形比较困难，因而也往往采用反证法。 反证法是一种重要的数学证明方法，这是因为有些数学命题采取反证法比较简捷，还有的数学命题至今除了用反证法外还没有找到别的证法。