陕西省吴堡县吴堡中学高中数学第三章推理与证明例析反正法的应用拓展素材北师大版选修12.pdfVIP

例析反正法的应用 我们知道，反证法是先否定结论成立，然后依据已知条件以及有关的定义、定理、公理，逐步导出与定义、定 理，公理或已知条件等相矛盾或自相矛盾的结论，从而肯定原结论是正确的 . 反证法是间接证明的一种基本方法， 是解决某些“疑难”问题的有力工具，也是数学上非构造性证明中极为重要的方法，它对于处理存在性命题、否定 性命题、唯一性命题和至少、至多性命题具有特殊的优越性。现以例说明。 一 否定型命题 当结论为“否定性”的命题时，应用反证法。也就是说原题的结论出现“不可能……”、 “不能表示为……”、 “不是……”、“不存在……”、“不等于……”、“不具有某种性质”等否定形式出现时，可考虑使用反证法进 行证明。 例 1：试证 2 不是有理数。 分析：要求证的结论是以否定的形式出现的，因此可应用反正法来进行证明。 证明：假设 2 是有理数，注意到 1 1 2 4 2 ， p 2 可设 q （p 、 q 为互质的正