高等代数中的反证法____马利民__094131216).docVIP

本科生毕业论文 题 目 高等代数中的反证法 系 别 数学与应用数学 班 级 数学092班 姓 名 马利民 学 号 094131216 答辩时间 2013年 5 月 新疆农业大学 数理学院 目 录 摘要 ……………………………………………………………………………… 1 1 反证法的定义 ………………………………………………………………… 2 2 反证法的证明方法 …………………………………………………………… 2 3 反证法的应用 ………………………………………………………………… 2 3.1反证法的逻辑结构………………………………………………………… 2 3.2否定一个命题的方 法………………………………………………………3 3.3反证法的证明步骤 …………………………………………………………4 3.4高等代数中反证法的优势 …………………………………………………6 4 适用于反证法证明的若干类型命题 ……………………………………………6 5 结论 ………………………………………………………………………………8 参考文献 …………………………………………………………………………10 谢辞 ………………………………………………………………………………11 高等代数中的反证法 作者：马利民 指导老师：刘春奇 摘要：反证法是一种重要的数学证明方法。无论是它的基本思想，还是用它证题的过程都体现着辩证法的思想。具体地说，它体现着辩证法的联系论、对立统一律、否定之否定律。反证法在数学中有着广泛的应用。针对高等代数中许多结论、 定理的证明有时虽然可以用构造法、 数学归纳法等其他方法证明,但证明过程 较复杂;有时结果虽然是数值却无法用求解的方法来求解,提出了用反证法来证明或求解的思想,从而达到了化复杂为简明、 化难为易的效果 关键词：反证法；高等代数；矛盾；构造法 1 反证法的定义 反证法是一种重要的证明方法，数学中许多基本性质、定理、以及一些用直接证法较难完成的命题，如果使用反证法，往往可以收到预期的结果，令人惊叹反证法的简洁与巧妙。 2 反证法的证明方法 关于反证法，法国数学家阿达玛给出了精辟的概括:这种方法在于表明，若肯定定理的假设而否定其结论，就会导致矛盾。反证法的关键在于导出矛盾，而各种矛盾结果亦是相互联系的，对于同一个命题从不同的角度进行推论常常可以导致不同性质的逻辑矛盾，从而得出不同的证明方法 3反证法的应用 首先，揭示反证法的逻辑结构，使我们理解反证法的逻辑依据；其次，学会掌握否定一个命题的方法，这是运用反证法的基本功之一，也是学会反证法的前提;第三，将反证法归纳为几个步骤，使我们掌握反证法的证明格式；第四，分析适用反证法论证的命题的类型，使我们具有一定的判断能力。 3.1 反证法的逻辑结构 所谓反证法，概括地说，是肯定命题的假设而否定命题的结论，从而导致矛盾的一种证明方法。具体地说，是从给定命题的矛盾命题～出发，根据合理的逻辑推演，得出谬误的结论，从而否定命题，于是根据排中律，肯定命题。因此，反证法也称归谬法。 在数学中，给定命题常是条件:若则.用逻辑符号表示为： :。 在上述蕴涵式里，称为前项，是命题的论据，称为后项，是命题的结论。也称论题。 命题P ：的逆命题，用逻辑符号可表示为(并且)，因此，用反证法证明命题，就是设真，根据合理的逻辑推演，导致一个谬误的结论，这里有三种可能的情形: (1)Q与公理或与已知为真的事实(定理、概念等)矛盾; (2)Q与论据矛盾; (3)Q与暂设的假定自相矛盾. 不论哪一种情形，都表明是谬误的。这并非推演的问题，反证法要求推演的合理与正确，导出的唯一原因，是我们假设真，即 。 (*) 现在既然不真，故真，于是从命题（*)的逆否命题 ， （**） 可知，命题(**)的结论 (或)为真，但为题设，故只有真，即命题得证。