2 反证法明目标、知重点 1
了解反证法是间接证明的一种基本方法
理解反证法的思考过程,会用反证法证明数学问题
反证法的定义一般地,由证明 p⇒q 转向证明:綈 q⇒r⇒…⇒t,t 与假设矛盾,或与某个真命题矛盾
从而判定綈 q 为假,推出 q 为真的方法,叫做反证法
反证法常见的矛盾类型反证法的关键是在正确的推理下得出矛盾
这个矛盾可以是与假设矛盾或与数学公理、定理 、 公式、定义或已被证明了的结论矛盾,或与公认的简单事实矛盾等
反证法中常用的“结论词”与“反设词”如下结论词至少有一个至多有一个至少有 n 个至多有 n 个反设词一个也没有(不存在)至少有两个至多有( n - 1) 个至少有(n+1)个结论词只有一个对所有 x 成立对任意 x 不成立反设词没有或至少有两个存在某个 x 不成立存在某个 x 成立结论词都是一定是p 或 qp 且 q反设词不都是不一定是綈 p 且綈 q綈 p 或綈 q[情境导学]王戎小时候,爱和小朋友在路上玩耍
一天,他们发现路边的一棵树上结满了李子,小朋友一哄而上,去摘李子,独有王戎没动,等到小朋友们摘了李子一尝,原来是苦的
他们都问王戎:“你怎么知道李子是苦的呢
”王戎说:“假如李子不苦的话,早被路人摘光了,而这树上却结满了李子,所以李子一定是苦的
”这就是著名的“道旁苦李”的故事
王戎的论述,运用的方法即是本节课所要学的方法——反证法
探究点一 反证法的概念思考 1 结合情境导学描述反证法的一般模式是什么
答 (1)假设原命题不成立(提出原命题的否定,即“李子苦”),(2)以此为条件,经过正确的推理,最后得出一个结论(“早被路人摘光了”),(3)判定该结论与事实(“树上结满李子”)矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法称为反证法
思考 2 反证法证明的关键是经过推理论证,得出矛盾
反证法引出的矛