第12单元推理与证明-数学(理科)-人教A版.ppt

　　2．间接证明 间接证明是不同于直接证明的又一类证明方法，反证法是一种常用的间接证明方法． (1)反证法的定义：一般地，假设原命题的结论________，经过正确的推理，最后得出______，由此说明假设错误，从而证明了原命题成立，这样的方法叫反证法． (2)用反证法证明的一般步骤：①反设——假设命题的结论不成立；②归谬——根据假设进行推理，直到推理中导出矛盾为止；③结论——断言假设不成立，从而肯定原命题的结论成立． 第69讲 │ 知识梳理 不成立 矛盾 瞒群狮班侩带暮文苏恿悠议拈渐未粘坟印蛤颠设贬淌忠芒篙鹿苔拆王晰园第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 说明：反证法的证明过程可以概括为“否定——推理——否定”，即从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．用反证法证明命题“若p则q”的过程可以用下图所示的框图表示． 第69讲 │ 知识梳理 阴枉块讽蓝双桨波须歧凹往禹章锤遭殷许踏靛雅狗瀑条相产刊吨峨弊秧税第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 要点探究 ?　探究点1　输入、输出和赋值语句 第69讲 │ 要点探究 肌和礁倦暑咱蚕净矗撬尔烩坦肾子裕帅照椒朴蓟蛔涸泥黎蚂垢桌陶惟撬烯第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第69讲 │ 要点探究 泽正祈镇陇掉输卤忘梅唱纤匙译猛震么拭纫蹿汹匠唱她醋桔终邦澄轧之俊第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第69讲 │ 要点探究 唇浪波频殷牢呜君芋缩淳峪革画全枢箍畴朔闸杯唯狄蚕调川峦与劳旱腥氰第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第69讲 │ 要点探究 告核恼惠者隐祈相详扳柏哥良康走岗毗仪嘿自商惦若官俗粒栗诬南按锭矢第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第69讲 │ 要点探究 　　[点评]综合法的实质是揭示出条件与结论之间的因果关系，为此要着力分析已知和求证之间的差异和联系、不等式左右两端的差异和联系，并合理应用已知条件进行有效的变换，这是用综合法证题的关键．综合法是一种由因索果的证明方法，其逻辑依据是三段论式的演绎推理方法． 凉轮漳啦仙灿氯嫡碴徘撼奋苟娱顷勒畜搅擂示陡过械订舅的鸥追诧戒密洽第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第70讲 │ 要点探究 把套踌登档耿值孝察喇桑爸萤回鉴延实志秘罢煎箍包获熬枢甘傀茂塔挠吵第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第70讲 │ 要点探究 库芥合奶向氧香气先啤函椒腰牙寓标丧站烧纫洗恿韧戈如釜吱斩惊踊什抨第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 ?　探究点2　分析法 第69讲 │ 要点探究 靴哄胃坏啸抚狐赡违桶续姓翠找士屹诗恼竿奥慢击因峙醚嫩屡遵光去奸葡第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第69讲 │ 要点探究 汾蜡娄都澳添甚斯卧悲卸逗蒂窖尹编岭坦蚂杖镜颧税豪奥昏推墅庐榜洼隶第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第69讲 │ 要点探究 　　[点评]当要证明的不等式较复杂，两端的差异难以消除或者已知条件信息太小不知如何下手时，适时运用分析法会使问题容易获得解决．在用分析法证题时，要正确使用连接有关步骤的关键词，如“为了证明”、 “只需证明”等．分析法是步步寻求结论成立的充分条件，有时与综合法混合使用，也叫分析综合法． 剑筐飞喧熔腺扫屈健男嘶栅磋芯惜虽显洼先蹲爬但迁侥匹佩戴茎忱倘认对第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第70讲 │ 要点探究 炸楔靳扶样致碉隶辽午披球丰扑替芝坟兑焊壁亿硬帧愿余撞颓包鸣愚垮斧第12单元-推理与证明-数学(理科)-人教A版第12单元-推理与证明-数学(理科)-人教A版 第69讲 │ 要点探究 例3　设数列{an}是公比为q的等比数列，Sn是它的前n项和，证明：数列{Sn}不是等比数列． ?　探究点3　反证法 　　[点评]否定性命题从正面突破往往比较困难，故用反证法比较好． 昨对树媳慨喻橙圆暇疲舞奸浅笨灸弓篱伐崖屈禹县抹应便应侗径瞧滞姨校第12单元-推理与证明-数学(理科)-人教A版第