新课标人教版数学第六讲数学解题方法之特殊证法一.知识探究:1.定义法所谓定义法,就是直接用数学定义解决问题
数学中的定理、公式、性质和法则等,都是由定义和公理推演出来
定义是揭示概念内涵的逻辑方法,它通过指出概念所反映的事物的本质属性来明确概念
定义是千百次实践后的必然结果,它科学地反映和揭示了客观世界的事物的本质特点
简单地说,定义是基本概念对数学实体的高度抽象
用定义法解题,是最直接的方法
2.反证法反证法是属于“间接证明法”一类,是从反面的角度思考问题的证明方法,即:肯定题设而否定结论,从而导出矛盾推理而得
反证法的实质:“若肯定定理的假设而否定其结论,就会导致矛盾”
具体地讲,反证法就是从否定命题的结论入手,并把对命题结论的否定作为推理的已知条件,进行正确的逻辑推理,使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛,矛盾的原因是假设不成立,所以肯定了命题的结论,从而使命题获得了证明
反证法的证题模式可以简要的概括我为“否定→推理→否定”
即从否定结论开始,经过正确无误的推理导致逻辑矛盾,达到新的否定,可以认为反证法的基本思想就是“否定之否定”
应用反证法证明的主要三步是:否定结论→推导出矛盾→结论成立
实施的具体步骤是:第一步,反设:作出与求证结论相反的假设;第二步,归谬:将反设作为条件,并由此通过一系列的正确推理导出矛盾;第三步,结论:说明反设不成立,从而肯定原命题成立
在应用反证法证题时,一定要用到“反设”进行推理,否则就不是反证法
用反证法证题时,如果欲证明的命题的方面情况只有一种,那么只要将这种情况驳倒了就可以,这种反证法又叫“归谬法”;如果结论的方面情况有多种,那么必须将所有的反面情况一一驳倒,才能推断原结论成立,这种证法又叫“穷举法”
一般来讲,反证法常用来证明的题型有:命题的结论以“否定形式”、“至少”或“至多”、“唯一”、“无限