- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二节 直接证明与间接证明
第二节 直接证明与间接证明;步下推,直到推出要证明的结论为止.这种证明方法称为综合法.
②推证过程
…… .
(4)分析法
①定义:从问题的 出发,追溯导致结论成立的条件,逐步 ,直到使结论成立的条件和已知条件或已知事实吻合为止.这种证明方法称为分析法.
②推证过程
……;① ——假设命题的 不成立,即假定原结论的反面为真;
② ——从反设和 出发,经过一系列正确的逻辑推理,得出矛盾结果;
③ ——由矛盾结果,断定 不真,从而肯定原结论成立.;学后反思 综合法从正确地选择已知真实的命题出发,依次推出一系列的真命题,最后达到我们所要证明的结论.在用综合法证明命题时,必须首先找到正确的出发点,也就是能想到从哪里起步,我们一般地处理方法是广泛地联想已知条件所具备的各种性质,逐层推进,从而由已知逐渐引出结论.;题型二 分析法的应用
【例2】设a、b、c为任意三角形三边长I=a+b+c,S=ab+bc+ca.
试证:I2<4S.;即证a2<ab+ac,b2<bc+ba,c2<ca+cb,
即a<b+c,b<a+c,c<a+b,
它们显然成立,因为三角形任一边小于其他两边之和.
故I2<4S.;证明: 由sin α+cos α=1 sin2α+cos2α+2sin α·cos α=1
sin α·cos α=0.①
欲证sin6α+cos6α=1,
只需证(sin2α+cos2α)(sin4α-sin2αcos2α+cos4α)=1,
即证sin4α+cos4α-sin2αcos2α=1,
即证(sin2α+cos2α)2-3sin2αcos2α=1,即证sin2αcos2α=0.
由①式知,上式成立,故原式成立.;分析 命题伴有“至少……”“不都……”“都不……”“没有……”“至多……”等指示性语句,在用直接方法很难证明时,可以采用反证法.;学后反思 反证法证题的实质是证明它的逆否命题成立.反证法的主要依据是逻辑中的排中律,排中律的一般形式是:或者是A,或者非A,即在同一讨论过程中,A和非A有一个且仅有一个是正确的,不可能有第三种情况出现.;易错警示;正解 ∵
又∵f(x)≠0,
∴f(x)>0.
∴对定义域内任意x都有f(x)0.;11.已知a,b,c是不等正数,且abc=1.
求证:
;证明: 由余弦定理,得a2-b2=c2-2bccos A,
则 .
又由正弦定理,得
,
文档评论(0)