科研之友
微信
新浪微博
Facebook
分享链接
摘要
<正>反证法是一种间接证明方法.它着眼于问题的反面，先假设命题结论的反面成立，再根据假设的反面结论和题设条件进行缜密的推理论证，推导出与已知条件、定理、公理等相矛盾的结果，得出假设不成立，最后判定原命题为真命题.那么，什么情况下适合运用反证法解题呢？下面介绍几种宜用反证法解题的命题形式.一、唯一型命题唯一型命题是指所要求证的结论中含有“唯一”“只有一个”等字眼的命题.由于唯一就是“独一无二”，解题时一般不好直接论证，常常需借助反证法来予以证明.此类问题中结论的反面是“不是唯一的”“至少有两个不同的”，由此推出矛盾，来否定不唯一，从而肯定唯一.
