證明

在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。

數學證明建立在逻辑之上，但通常會包含自然語言，因此可能會產生一些模棱两可的部分。實際上，若證明的大部分內容用文字形式的數學寫成，可以視為非形式邏輯的應用。在證明論的範疇內，只考慮用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、數學上的擬經驗論和民间数学（或称大众數學）的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。

定義

数学上的证明包括两个不同的概念。首先是非形式化的证明：一种用来说服听众或读者接受某个定理或论断的严密的自然语言表达式。由于这种证明依赖于证明者所使用的语言，因此证明的严密性将取决于语言本身以及听众或读者对语言的理解。非形式化证明出现在大多数的应用场合中，例如科普讲座、口头辩论、初等教育或高等教育的某些部分。有时候非形式化的证明被称作“正式的”，因为其中的论证严谨，理据充足，但数理逻辑学家使用“正式的”证明时指的是另一种完全不同的证明——形式化证明。

在数理逻辑中，形式化证明并不是以自然语言书写，而是以形式化的语言书写：这种语言是由一个固定的字母表中的字符所构成的字符串组成的。而证明则是以形式化语言表达的有限长度的序列。这种定义使得形式化证明不具有任何逻辑上的模糊之处。研究证明的形式化和公理化的理论称为证明论。尽管理论上来说，每个非形式化的证明都可以转为形式化证明，但实际中很少需要用到。对形式化证明的研究主要应用在广泛意义上上可证明性的性质，或说明某些陈述的不可证明性等等。

常見的證明技巧

直接證明

直接证明法是指从公认的事实或者公理出发，运用逻辑推演而导出需要证明的命题的真伪的方法。直接证明法一般使用谓词逻辑，运用存在量词或全称量词。主要的证明方式有肯定前件论式、否定后件论式、假言三段论式以及选言三段论式等等。比如说要证明命题：“任何奇数乘以另一个奇数仍然是奇数”，可以直接证明如下：

任何奇数都可以写成$2a+1$的形式，其中$a$是整数。任取两个奇数，都可以写作$2a+1$和$2b+1$，其中$a$和$b$是整数。它们的乘积为$(2a+1) \times (2b+1) = 4ab + 2a + 2b + 1 = 2(2ab + a + b) +1$。所有能写成整数的两倍加1的数都是奇数。$(2ab + a + b)$是整数，所以$(2a+1) \times (2b+1)$是奇数。证明完毕。

構造法

构造法一般用于证明存在性定理，运用构造法的证明称为构造性证明。具体做法是構造一個帶有命题里所要求的特定性質的實例，以顯示具有該性質的物體或概念的存在性。也可以构造一个反例，来证明命题是错误的。例如证明命题“2的质数次幂减一后不总是质数”，便可用构造法：

只需证明存在某个质数$p$，使得2的$p$次幂减一后不是质数。为此，考察质数11。2的$11$次幂减一等于$2047$。$2047 = 23 \times 89$不是质数。因此命题得证。

有些构造法证明中并不直接构造满足命题要求的例子，而是构造某些辅助性的工具或对象，使得问题更容易解决。一个典型的例子是常微分方程稳定性理论中的李亚普诺夫函数的构造。又如许多几何证明题中常常用到的添加辅助线或辅助图形的办法。

非构造性证明

与构造法证明相对的是非构造性证明，即不给出具体的构造而证明命题所要求对象的存在性的证明方法。比如下面例子：

命题：存在两个无理数$x$和$y$，使得$x^y$是有理数。

证明：考虑$\sqrt{2}^{\sqrt{2}}$，若它是有理数，则命题得证。若$\sqrt{2}^{\sqrt{2}}$不是有理数，则一定是无理数。考虑它的$\sqrt{2}$次幂：

$(\sqrt{2}^{\sqrt{2}})^{\sqrt{2}} = \sqrt{2}^{\sqrt{2} \cdot \sqrt{2}} = \sqrt{2}^2 = 2$为有理数，命题仍然正确。

于是无论如何，都存在满足命题要求的无理数。

在这个证明里并没有给出使得$x^y$是有理数的两个具体的无理数。

穷举法

穷举法是一种列举出命题所包含的所有情况从而证明命题的方法。显然，使用穷举法的条件是命题所包含的可能情况为有限种，否则无法一一罗列。例如证明“所有两位数中只有25和76的平方是以自己作为尾数”，只需计算所有两位数：10至99的平方，一一验证即可。

换质位法

在谓词逻辑裡，若同时否定一个命题的主词和谓词，则其结果称为原命题的换质。若交换主词和谓词的位置，则其结果被称作换位。先换质再换位则被称为换质位，同理先换位再换质则被称为换位质。例如“所有的S是P”的换质位是“所有的不是P的不是S”。换质位法是指利用换质或换位，将一个命题改为一个与其逻辑等价的命题，因此只要证明了后者就证明了原来的命题。例如，要证明鸽笼原理：“如果n个鸽笼里装有多于n只鸽子，那么至少有一个笼子裡有两只鸽子”，可以转证与其等价的逆否命题：“如果n个鸽笼的每一个中至多装有一只鸽子，那么n个鸽笼里至多装有n只鸽子”。而后者是显然的。

個案分析

个案分析或分类讨论，是指將結論分成有限的個案，然後逐個證明的方法。

算兩次

算两次是一种對同一個量進行兩種雖不同但都正確的分析，得到兩個雖不同但相等的表達式的方法，常用于证明恒等式。

間接證明

反證法

反证法是一种古老的证明方法，其思想为：欲證明某命題是假命題，则反过来假設該命題為真。在这种情况下，若能通过正确有效的推理導致逻辑上的矛盾（如导出该命题自身为假，于是陷入命题既真且假的矛盾），又或者与某个事实或公理相悖，則能證明原来的命題為假。無矛盾律和排中律是反證法的邏輯基礎。反证法的好处是在反过来假设该命题为真的同时，等于多了一个已知条件，这样对题目的证明常有帮助。

例子：证明命题“根号2不是有理数”。

命题：根号2不是有理数。

证明：假设根号2是有理数，那么存在正整数$p$使得$\scriptstyle p\sqrt{2}$为整数。不妨设$a$为其中最小的（根据算术基本定理，必然存在最小的$a$）。考虑$\scriptstyle b =a\sqrt{2} - a$。$b$是一个比$a$小的正整数，但$\scriptstyle b\sqrt{2} = 2a - a\sqrt{2}$也是整数。这与$a$的最小性矛盾！所以根号2不是有理数。

數學歸納法

數學歸納法是一種证明可數無窮個命題的技巧。欲證明以自然數n編號的一串命題，先證明命題1成立，並證明當命題n成立時命題n+1也成立，则对所有的命題都成立。在皮亚诺公理系统中，自然数集合的公理化定义就包括了数学归纳法。数学归纳法有不少变体，比如从0以外的自然数开始归纳，证明当命題对小于等于n的自然数成立时命題n+1也成立，反向归纳法，递降归纳法等等。广义上的数学归纳法也可以用于证明一般良基结构，例如集合论中的树。另外，超限歸納法提供了一種處理不可數無窮個命題的技巧，是數學歸納法的推廣。

其他证明方式

直观证明

勾股定理的一个图示证明

直观证明或可视化证明是指用图像或表格等直观的手段证明命题的方法。这类证明可以达到不借助语言而证明的效果。如右图是勾股定理的一个图示证明。

计算机辅助证明

直到二十世纪中，人们一直认为任何的数学证明都应当能够被一个水平足够的数学家检验，以证实其正确性。然而，今天的数学家已经能够运用计算机来证明定理，并且完成人类永远无法完成的计算。四色定理的首个证明是一个经典的计算机辅助证明的例子。证明的方法是将地图上的无限种可能情况减少为1936种状态，并由计算机对每个可能的情况进行验证。不少数学家对于计算机证明持谨慎态度，因为很多证明太长，不能由人手直接验证。此外，算法上的错误，输入时的失误甚至计算机运行期间出现的错误都有可能导致错误的结果。

參見

• 證明論
• 模型論
• 自動定理證明
• 偽證
• Q.E.D.
• 墓碑符号

外部連結

• 證明，曹亮吉