构造特殊元揭露矛盾——在反证法中使用构造法

摘要

通过构造数学元素来解决问题的方法叫构造法．而反证法是通过揭露由假设造成的矛盾来证明命题成立的方法．因而，如果在反证法中，通过构造特殊元来揭露矛盾，无疑将是一种自然而又巧妙的证明思路，欧几里德就是用这种思路证明了“质数的个数是无限的”(见例1)．