《!§2.1.2演绎推理.doc》由会员分享，可在线阅读，更多相关《!§2.1.2演绎推理.doc（31页珍藏版）》请在金锄头文库上搜索。
1、推理与证明“推理与证明”是数学的基本思维过程，也是人们学习和生活中经常使用的思维方式推理一般包括合情推理和演绎推理在本章中，学生将通过对已学知识的回顾，进一步体会合情推理、演绎推理以及二者之间的联系与差异；体会数学证明的特点，了解数学证明的基本方法,包括直接证明的方法（如分析法、综合法、数学归纳法）和间接证明的方法（如反证法）；感受逻辑证明在数学以及日常生活中的作用，养成言之有理、论证有据的习惯。一、内容结构文科（10课时）理科（8课时）合情推理：类比、归纳，数学发现；演绎推理：验证结论直接证明：分析法、综合法；间接证明：反证法数学归纳法数学文化：公理化思想数学的基本思维过程文科（10课时）2
2、.1合情推理与演绎推理 约5课时2.2直接证明与间接证明 约4课时小结 约1课时理科（8课时）2.1合情推理与演绎推理 约3课时2.2直接证明与间接证明 约3课时2.3数学归纳法 约2课时推 理合情推理（或然性推理）演绎推理（必然性推理）归纳（部分到整体、特殊到一般）类比（特殊到特殊）三段论（一般到特殊）二、教学目标1.了解合情推理和演绎推理的含义。2.能正确地运用合情推理和演绎推理进行简单的推理。3.了解合情推理与演绎推理之间的联系与差别。4.了解直接证明的两种基本方法分析法和综合法的思考过程、特点。 5.了解间接证明的一种基本方法反证法的思考过程、特点。 6.了解数学归纳法的原理，能用数学
3、归纳法证明一些简单的数学命题。三、编写特点与教学建议 以已学知识为载体，讲推理和证明方法。证明方法（除数学归纳法外）是学生在以前的学习中遇到过的，但对它们的特点和内涵不很明确，被动地、不自觉地使用。 任务：明确化、显性化，主动地、自觉地使用。 通过具体例子（已学的内容）总结各种证明方法的思考过程和特点、明确它们的内涵，通过应用进行强化，逐步主动、自觉地使用。 1. 结合实例了解推理（引入、应用） 紧密结合已学过的数学实例和生活中的实例，以具体的例子为载体，了解合情推理和演绎推理，避免空泛地讲推理。归纳推理歌德巴赫猜想的提出过程： 3710，31720，131730， 1037，20317，30
4、1317偶数奇质数奇质数63+3，83+5，105+5，125+7，147+7， 165+11， 1 00029+971， 一个偶数（大于6）总可以表示成两个奇质数之和； 没有发现反例 。歌德巴赫猜想：任何一个不小于6的偶数都等于两个奇质数之和。总结特点： 这种由某类事物的部分对象具有某些特征，推出该类事物也具有这些特征的推理，或者由个别事实概括出一般结论的推理，通常称为归纳推理（简称归纳）简言之，归纳推理是由部分到整体、由个别到一般的推理归纳推理的一般步骤： 对某类事物的部分对象(有限的资料)进行观察、分析、整理； 提出猜想； 检验猜想! 类比推理“火星上是否有生命”总结特点： 这种由两类对
5、象具有某些类似特征，和其中一类对象的某些已知特征，推出另一类对象也具有这些特征的推理称为类比推理（简称类比）简言之，类比推理是由特殊到特殊的推理类比推理的一般步骤： 找出两类对象之间可以确切表述的相似特征； 用一类对象的已知特征去推测另一类对象的特征，从而得出一个猜想； 检验猜想(通过证明确认猜想的正确性,或举出反例否定猜想)! 类比推理举例类比平面内直角三角形的勾股定理,试给出空间中四面体性质的猜想直角三角形3个面两两垂直的四面体C903个边的长度a，b，c 2条直角边a，b和1条斜边cPDFPDEEDF90 4个面的面积S1，S2，S3和S 3个“直角面” S1，S2，S3和1个“斜面”
6、S归纳推理、类比推理统称为合情推理.演绎推理举例归纳出演绎推理的含义特点：前提和推理形式（规则）正确，结论正确！证明函数f(x)=x22x 在(，1）内是增函数分析：证明本例所依据的大前提是：在某个区间（a,b）内，如果f(x)0,那么函数f(x)在这个区间内单调递增 小前提是f(x) =x22x 在(，1）内满足f(x)0，这是证明本例的关键注：很多情况下，省略大前提。2.纠正典型错误，进一步理解推理 合情推理的结论不一定正确费马猜想：任何形如（nN*）的数都是质数反例： （初步体验证明的必要性）“平面内，两组对边分别相等的四边形是平行四边形” ； “平面内，同时垂直于一条直线的两条直线互相
7、平行” 类比“空间中，两组对边分别相等的四边形是平行四边形”；“空间中，同时垂直于一条直线的两条直线互相平行” 演绎推理的形式正确，大前提错误，结论也是错误的3.结合实例讲“证明” 通过熟悉的例子总结各种证明方法的特点、明确它们的内涵，并应用于数学证明，使学生真正作到“论证有据”： 回忆遇到过的某类证明方法的特点 通过证明典型且简单的数学问题或实际问题，体验证明方法的特点 总结特点，给出证明方法的定义 证明的流程框图（提炼特点） 证明数学命题（强化、自觉使用） 综合法（1）回忆、描述 在数学证明中，我们经常从已知条件和某些学过的定义、定理、公理等出发，通过推理推导出所要的结论（2）举例体验特点
8、（3）总结特点一般地，利用已知条件和某些已经学过的定义、公理、定理等，经过一系列的推理、论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法 。（4）证明数学命题（强化、自觉使用）分析法（1）回忆、描述 在数学证明中，我们还经常从要证的结论出发，反推回去，寻求保证结论成立的条件，知道找到一个明显成立的条件为止（2）举例、体验特点（3）总结特点一般地，从要证明的结论出发，逐步寻求推证过程中，使每一步结论成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）为止，这种证明的方法叫做分析法 （4）证明数学命题（强化、自觉使用）反证法反证法的特点(选
9、修1-2)： 选修2-2中的引例稍复杂,解决问题的过程均为: 假设原结论不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立 应用反证法证明数学命题（强化、自觉使用） 应用反证法的情形： 直接证法难找到证明思路（例题）、需分成很多类进行讨论（引例）数学归纳法数学归纳法是一种特殊的证明方法，主要用于证明与正整数有关的数学命题。 特点：通过有限个步骤的推理，证明n取无限多个正整数的情形 归纳出数学归纳法的原理 一个数学问题（需要探索新的证明方法） “对于数列an，已知a1， （n1，2，），通过对n = 1，2, 3, 4前4项的归纳，我们已经猜想出其通项公式为an ” 逐
10、一验证是不可能的，需要寻求一种方法：通过有限个步骤的推理，证明n取所有正整数都成立 “多米诺骨牌”全部倒下的原理 使“多米诺骨牌”全部倒下的两个条件： 第一块骨牌倒下； 任意相邻的两块骨牌，前一块倒下一定导致后一块倒下 两个条件的作用： 条件：奠基；条件：递推关系 利用“多米诺骨牌”原理证明这个数学猜想（经历利用合情推理提出猜想逻辑推理进行证明）数学归纳法的原理：（归纳奠基）：命题对n=n0成立(n0为使猜想成立的最小的正整数)；（归纳递推）：命题若对n=k成立，则对k1也成立（kn0）学生普遍存在的问题： 为什么第二步能在假设下进行证明？ 第二步实际上是证明一个命题：“假设n=k（kn0）时
11、命题成立，证明当n=k1时命题也成立” 其本质是证明一个递推关系，归纳递推的作用是从前往后传递. .合情推理与逻辑推理的联系与差异通过合情推理去探索、猜测结论，但合情推理所得结论的正确性需要演绎推理（包括数学证明）进行证证明。合情推理往往提供证明思路2.1.2演绎推理教学目标：1. 知识与技能：了解演绎推理的含义。2. 过程与方法：能正确地运用演绎推理 进行简单的推理。3. 情感、态度与价值观：了解合情推理与演绎推理之间的联系与差别。教学重点：正确地运用演绎推理 进行简单的推理教学难点：了解合情推理与演绎推理之间的联系与差别。教具准备：与教材内容相关的资料。教学设想：从一般性的原理出发，推出某
12、个特殊情况下的结论，这种推理称为演绎推理教学过程：学生探究过程：一 复习:合情推理归纳推理 从特殊到一般类比推理 从特殊到特殊从具体问题出发观察、分析比较、联想归纳。类比提出猜想二 问题情境。 观察与思考1所有的金属都能导电铜是金属, 所以，铜能够导电2.一切奇数都不能被2整除, (2100+1)是奇数， 所以， (2100+1)不能被2整除.3.三角函数都是周期函数, tan 是三角函数,所以，tan 是 周期函数。提出问题 ：像这样的推理是合情推理吗？二学生活动 ：1.所有的金属都能导电 大前提铜是金属, -小前提所以，铜能够导电 结论2.一切奇数都不能被2整除 大前提(2100+1)是奇
13、数，小前提 所以， (2100+1)不能被2整除. 结论3.三角函数都是周期函数, 大前提tan 是三角函数, 小前提所以，tan 是 周期函数。结论三， 建构数学 演绎推理的定义：从一般性的原理出发，推出某个特殊情况下的结论，这种推理称为演绎推理演绎推理是由一般到特殊的推理；“三段论”是演绎推理的一般模式；包括 大前提-已知的一般原理；小前提-所研究的特殊情况；结论-据一般原理，对特殊情况做出的判断三段论的基本格式MP（M是P） （大前提）SM（S是M） （小前提）SP（S是P）（结论）3.三段论推理的依据,用集合的观点来理解:若集合M的所有元素都具有性质P,S是M的一个子集,那么S中所有元素也都具有性质P.四，数学运用例1.把“函数的图象是一条抛物线”恢复成完全三段论.解：二次函数的图象是一条抛物线 （大前提） 例2.已知lg2=m,计算lg0.8解 （1） lgan=nlga(a0)-大前提lg8=lg23小前提lg8=3lg2结论 lg
