论文部分内容阅读
反证法是建立在数学无矛盾性基础上的一种证明方法,最早由古希腊的数学家希波克拉底运用到数学中。反证法的应用十分广泛,当命题从正面不容易或不能得到证明时,可以尝试运用反证法,这就是所谓的"正难则反"。在高等数学中运用反证法的命题有否定性命题、"至多……"和"至少……"型命题、存在性命题、唯一性命题、肯定性命题、不等量命题。