查看“︁數學證明”︁的源代码

[[File:Oxyrhynchus papyrus with Euclid's Elements.jpg|right|thumb|250px|[[幾何原本]]中有許多證明的技巧，圖中是Book II, Proposition 5.<ref>{{cite web
|url=http://www.math.ubc.ca/~cass/Euclid/papyrus/papyrus.html
|title=One of the Oldest Extant Diagrams from Euclid
|author=Bill Casselman
|authorlink=
|date=
|publisher=University of British Columbia
|accessdate=2008-09-26
|archive-date=2012-06-04
|archive-url=https://archive.today/20120604095737/http://www.math.ubc.ca/~cass/Euclid/papyrus/papyrus.html
|dead-url=no
}}</ref>]]
{{NoteTA
|G1=Math
}}

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

數學證明建立在[[逻辑]]之上，但通常會包含若干程度的[[自然語言]]，因此可能會產生一些含糊的部分。

實際上，用文字形式寫成的數學證明，在大多數情況都可以視為[[非形式邏輯]]的應用。在[[證明論]]的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的[[數學实践]]、{{tsl|en|Quasi-empiricism in mathematics|數學上的擬經驗論}}和{{tsl|en|Folk mathematics|民俗数学}}的大部分检验。

[[數學哲學]]就關注[[語言]]和邏輯在數學證明中的角色，和[[數學語言|作為語言的數學]]。

== 定義 ==
数学上的证明包括两个不同的概念。

首先是非形式化的证明：一种以[[自然语言]]寫成的严密論證，用来说服听众或读者去接受某个定理或论断的真確性。由于这种证明使用了自然语言，因此對於非形式化证明在严謹性上的標準，将取决于听众或读者对課題的理解程度。非形式化证明出现在大多数的应用场合中，例如[[科普]]讲座、口头辩论、初等教育或高等教育的某些部分。有时候非形式化的证明被称作“正式的”，但這只是強調其中論證的嚴謹性。

而當逻辑学家使用“正式证明”一詞时，指的是另一种完全不同的证明——形式化证明。
==== 形式化證明 ====
在[[数理逻辑]]中，形式化证明并不是以自然语言书写，而是以形式化的语言书写：这种语言包含了由一个給定的[[字母表]]中的字符所构成的字符串。而证明则是一种由該些字符串組成的有限长度的序列。这种定义使得人們可以談論嚴格意義上的「证明」，而不涉及任何逻辑上的模糊之处。

研究证明的形式化和公理化的理论称为[[证明论]]。

尽管理论上来说，每个非形式化的证明都可以转化为形式化证明，但实际中很少會這樣做。对形式化证明的研究主要应用在探討關於可证明性的一般性质，或说明某些命題的不可证明性等等。

== 常見的證明技巧 ==

=== 直接證明 ===
{{link-en|直接证明|Direct proof}}也称为逻辑演绎，是指从公认的事实或者[[公理]]出发，运用逻辑[[演绎推理|推演]]而导出需要证明的[[命题]]的真伪的方法。直接证明法一般使用[[谓词逻辑]]，运用[[存在量词]]或[[全称量词]]。主要的证明方式有[[肯定前件]]论式、[[否定后件]]论式、[[假言三段论]]式以及[[选言三段论]]式等等。比如说要证明命题：“任何[[奇数]]乘以另一个[[奇数]]仍然是奇数”，可以直接证明如下：
:任何奇数都可以写成<math>2a+1</math>的形式，其中<math>a</math>是[[整数]]。任取两个奇数，它们分别可以写作<math>2a+1</math>和<math>2b+1</math>，其中<math>a</math>和<math>b</math>是整数。它们的乘积为<math>(2a+1) \times (2b+1) = 4ab + 2a + 2b + 1 = 2(2ab + a + b) +1</math>。所有能写成整数的两倍加1的数都是奇数。<math>2ab + a + b</math>是整数，所以<math>(2a+1) \times (2b+1)</math>是奇数。证明完毕。

=== 構造法 ===
[[构造法]]一般用于证明[[存在性定理]]，运用构造法的证明称为[[构造性证明]]。具体做法是構造一個帶有命题裡所要求的特定性質的實例，以顯示具有該性質的物體或概念的存在性。也可以构造一个[[反例]]，来证明命题是错误的<ref name="gzfjt">{{cite book |author=余红兵 |author2=严镇军 |title=《构造法解题》 |year=2009 |publisher=中国科学技术大学出版社 |isbn=7312024831 |url=http://books.google.com.tw/books?id=d_gPSQAACAAJ&dq=%E6%9E%84%E9%80%A0%E6%B3%95%E8%A7%A3%E9%A2%98&hl=en&sa=X&ei=HivRUq3ZLsXTkQW-0YCYDA&redir_esc=y |access-date=2014-01-11 |archive-date=2019-05-03 |archive-url=https://web.archive.org/web/20190503015148/https://books.google.com.tw/books?id=d_gPSQAACAAJ&dq=%E6%9E%84%E9%80%A0%E6%B3%95%E8%A7%A3%E9%A2%98&hl=en&sa=X&ei=HivRUq3ZLsXTkQW-0YCYDA&redir_esc=y |dead-url=no }}</ref>。例如证明命题“2的[[质数]][[幂|次幂]]减一后不总是质数”，便可用构造法：
:只需证明存在某个质数<math>p</math>，使得2的<math>p</math>次幂减一后不是质数。为此，考察质数11。2的<math>11</math>次幂减一等于<math>2047</math>。<math>2047 = 23 \times 89</math>不是质数。因此命题得证。

有些构造法证明中并不直接构造满足命题要求的例子，而是构造某些辅助性的工具或对象，使得问题更容易解决。一个典型的例子是[[常微分方程]]稳定性理论中的[[李雅普诺夫函数|李亚普诺夫函数]]的构造<ref>{{cite book |author=王高雄 |author2=周之铭 |author3=朱思铭 |author4=王寿松 |title=《常微分方程》（第三版） |year= |publisher=高等教育出版社 |isbn=9787040193664 |url=http://books.google.com.tw/books?id=2eF_AQAACAAJ&dq=9787040193664&hl=en&sa=X&ei=HizRUrCcGo6hlQXMnYC4Bw&redir_esc=y |access-date=2014-01-11 |archive-date=2019-05-03 |archive-url=https://web.archive.org/web/20190503043216/https://books.google.com.tw/books?id=2eF_AQAACAAJ&dq=9787040193664&hl=en&sa=X&ei=HizRUrCcGo6hlQXMnYC4Bw&redir_esc=y |dead-url=no }}</ref>。又如许多几何证明题中常常用到的添加辅助线或辅助图形的办法。

=== 非构造性证明 ===
与构造法证明相对的是[[非构造性证明]]，即不给出具体的构造而证明命题所要求对象的存在性的证明方法。比如下面例子：
:命题：存在两个[[无理数]]<math>x</math>和<math>y</math>，使得<math>x^y</math>是[[有理数]]。
:证明：考虑<math> \sqrt{2}^{\sqrt{2}}</math>，若它是有理数，则命题得证。若<math> \sqrt{2}^{\sqrt{2}}</math>不是有理数，则一定是无理数。考虑它的<math> \sqrt{2}</math>次幂：
::<math> (\sqrt{2}^{\sqrt{2}})^{\sqrt{2}} = \sqrt{2}^{\sqrt{2}  \cdot \sqrt{2}} = \sqrt{2}^2 = 2</math>为有理数，命题仍然正确。
:于是无论如何，都存在满足命题要求的无理数。

在这个证明里并没有给出使得<math>x^y</math>是[[有理数]]的两个具体的无理数<ref name="gzfjt"/>。

=== 穷举法 ===
{{link-en|穷举法 (数学)|Proof by exhaustion|穷举法}}是一种列举出命题所包含的所有情况从而证明命题的方法<ref>Reid, D. A. & Knipping, C. (2010).[http://www.amazon.com/Proof-Mathematics-Education-Research-Learning/dp/9460912443 ''Proof in Mathematics Education: Research, Learning, and Teaching''] {{Wayback|url=http://www.amazon.com/Proof-Mathematics-Education-Research-Learning/dp/9460912443 |date=20190502145156 }} Sense Publishers, p. 133.</ref>。例如证明“所有两位数中只有25和76的平方是以自己作为尾数”，只需计算所有两位数：10至99的平方，一一验证即可。显然，使用穷举法的条件是命题所包含的可能情况为有限种，否则无法一一罗列。

=== 换质位法 ===
在[[谓词逻辑]]裡，若同时否定一个命题的主词和谓词，则其结果称为原命题的'''换质'''。若交换主词和谓词的位置，则其结果被称作'''换位'''。先换质再换位则被称为'''换质位'''，同理先换位再换质则被称为'''[[换质换位律|换位质]]'''。例如“所有的S是P”的换质位是“所有的不是P的不是S”。[[对位证明法|换质位法]]是指利用换质及换位，将一个命题改为一个与其逻辑[[等价]]的命题，因此只要证明了后者就证明了原来的命题<ref name="jinyuelin">{{cite book |author=金岳霖 |author2=杨宝星 |title=《形式逻辑》 |year=1979 |publisher=辽宁人民出版社 |isbn=7010002037 |url=http://books.google.com.tw/books?id=6y-CnQEACAAJ&dq=9787010002033&hl=en&sa=X&ei=AC3RUq6iBYXkkAXC64HgBw&ved=0CCwQ6AEwAA |access-date=2014-01-11 |archive-date=2014-01-11 |archive-url=https://web.archive.org/web/20140111125947/http://books.google.com.tw/books?id=6y-CnQEACAAJ&dq=9787010002033&hl=en&sa=X&ei=AC3RUq6iBYXkkAXC64HgBw&ved=0CCwQ6AEwAA |dead-url=no }}</ref>。例如，要证明[[鸽笼原理]]：“如果n个鸽笼裡装有多于n隻[[鸽子]]，那么至少有一个笼子裡有两隻或者两隻以上鸽子”，可以转证与其等价的[[逆否命题]]：“如果n个鸽笼的每一个中至多装有一隻鸽子，那么n个鸽笼裡至多装有n隻鸽子”。而后者是明顯的。

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

=== 算兩次 ===
[[算两次]]是一种對同一個量進行兩種雖不同但都正確的分析，得到兩個雖不同但相等的表達式的方法，常用于证明[[恒等式]]<ref>{{cite book |author=单壿 |title=《算两次》 |year=2009 |publisher=中国科学技术大学出版社 |isbn=7312024823 |url=http://books.google.com.tw/books?id=GIR_SQAACAAJ&dq=%E7%AE%97%E4%B8%A4%E6%AC%A1&hl=en&sa=X&ei=hy3RUtGGHsejlQXT9oDQBg&ved=0CCwQ6AEwAA |access-date=2014-01-11 |archive-date=2014-01-11 |archive-url=https://web.archive.org/web/20140111130025/http://books.google.com.tw/books?id=GIR_SQAACAAJ&dq=%E7%AE%97%E4%B8%A4%E6%AC%A1&hl=en&sa=X&ei=hy3RUtGGHsejlQXT9oDQBg&ved=0CCwQ6AEwAA |dead-url=no }}</ref>。

=== [[間接證明]] ===

==== 反證法 ====
[[反证法]]是一种古老的证明方法，其思想为：欲證明某命題是假命題，则反过来假設該命題為真。在这种情况下，若能通过正确有效的推理導致逻辑上的[[矛盾]]（如导出该命题自身为假，于是陷入命题既真且假的矛盾），則能證明原来的命題為假。<ref>類似地，有更一般的[[歸謬法]]：若然假設該命題為真，在通过正确有效的推理后會得出邏輯上的矛盾、与某个事实或公理相悖的結論、或荒謬難以接受的結果，亦可以證明原来的命題為假。反證法是歸謬法的其中一種形式。</ref>[[無矛盾律]]和[[排中律]]是反證法的邏輯基礎。反证法的好处是在反过来假设该命题为真的同时，等于多了一个已知条件，这样对题目的证明常有帮助<ref>{{cite web |url=http://www.lille.iufm.fr/IMG/pdf/Texte_Cambresy.pdf |title=Vinciane CAMBRÉSY-TANT，Dominique CAMBRÉSY，Stéphane CARPENTIER，'&#39;Autour du raisonnement par l'absurde'&#39;，IUFM Nord - Pas de Calais |format=PDF |date= |accessdate=2014-01-11 |deadurl=yes |archiveurl=https://web.archive.org/web/20131228134723/http://www.lille.iufm.fr/IMG/pdf/Texte_Cambresy.pdf |archivedate=2013-12-28 }}</ref>。

例子：证明命题“<math>\sqrt{2}</math>不是有理数”。
:命题：<math>\sqrt{2}</math>不是有理数。
:证明：假设<math>\sqrt{2}</math>是有理数，那么存在正整数<math>p</math>使得<math> p\sqrt{2}</math>为整数。不妨设<math>a</math>为其中最小的（根据{{Translink|en|Well-ordering principle|良序原理}}，必然存在最小的<math>a</math>）。考虑<math> b =a\sqrt{2} - a</math>。<math>b</math>是一个比<math>a</math>小的正整数，但<math>\ b\sqrt{2} = 2a - a\sqrt{2}</math>也是整数。这与<math>a</math>的最小性矛盾。所以根号2不是有理数<ref>{{cite web|url=http://blms.oxfordjournals.org/cgi/reprint/26/6/593.pdf |title=THEODOR ESTERMANN，1975 |publisher=Blms.oxfordjournals.org |date=2013-12-06 |accessdate=2014-01-11}}</ref>。

==== 數學歸納法 ====
[[File:Dominoeffect.png|thumb|right|200px|骨牌一个接一个倒下，就如同一个值到下一个值的过程。]]
[[數學歸納法]]是一種证明[[可數]][[無窮]]個命題的技巧。欲證明以自然數<math>n</math>編號的一串命題，先證明命題1成立，並證明當命題''<math>n</math>''成立時命題<math>n+1</math>也成立，则对所有的命題都成立<ref name="jinyuelin"/>。在[[皮亚诺公理]]系统中，自然数集合的公理化定义就包括了数学归纳法。数学归纳法有不少变体，比如从0以外的自然数开始归纳，证明当命題对小于等于''n''的自然数成立时命題<math>n+1</math>也成立，反向归纳法，递降归纳法等等。广义上的数学归纳法也可以用于证明一般[[良基]]结构，例如[[集合论]]中的[[树 (图论)|树]]。另外，[[超限歸納法]]提供了一種處理[[不可數]]無窮個命題的技巧，是數學歸納法的[[廣義化|推廣]]<ref>{{cite book|author=苏淳|title=《漫话数学归纳法》|year=2009|publisher=中国科学技术大学出版社|isbn=7312024866|url=http://books.google.com.tw/books?id=tww_SQAACAAJ&dq=%E6%BC%AB%E8%A9%B1%E6%95%B8%E5%AD%B8%E6%AD%B8%E7%B4%8D%E6%B3%95&hl=en&sa=X&ei=IS7RUpWSGYvHkwX6s4DgCA&redir_esc=y|access-date=2014-01-11|archive-date=2019-05-03|archive-url=https://web.archive.org/web/20190503032307/https://books.google.com.tw/books?id=tww_SQAACAAJ&dq=%E6%BC%AB%E8%A9%B1%E6%95%B8%E5%AD%B8%E6%AD%B8%E7%B4%8D%E6%B3%95&hl=en&sa=X&ei=IS7RUpWSGYvHkwX6s4DgCA&redir_esc=y|dead-url=no}}</ref>。

例子：證明对所有自然数<math>n</math>，命题<math>P(n): \; \; 1^2+2^2+3^2+...+n^2=\frac{n(n+1)(2n+1)}{6}
</math>

當<math>n=1</math>，左邊=1，右邊=<math>P(1): \; \; \frac{1(1+1)(2+1)}{6}=1</math>

假設对某个自然数<math>k</math>，命题<math>P(k)</math>成立：<math>1^2+2^2+3^2+...+k^2=\frac{k(k+1)(2k+1)}{6}
</math>，以下證明<math>P(k+1)</math>成立，即：<math>1^2+2^2+3^2+...+k^2+(k+1)^2=\frac{(k+1)(k+2)(2k+3)}{6}</math>：
:左邊<math>=1^2+2^2+3^2+...+k^2+(k+1)^2</math>
:<math>=\frac{k(k+1)(2k+1)}{6}+(k+1)^2</math>
:<math>=\frac{(k+1)(2k^2+7k+6)}{6}</math>
:<math>=\frac{(k+1)(k+2)(2k+3)}{6}</math>
:<math>=</math>右邊

所以，对任意自然数<math>n</math>，都有<math>1^2+2^2+3^2+...+n^2=\frac{n(n+1)(2n+1)}{6}</math>

== 其他证明方式 ==

=== 直观证明 ===
{{main|无字证明}}
[[File:GouguAnim.gif|thumb|120px|勾股定理的一个图示证明]]
[[直观证明]]或可视化证明是指用图像或表格等直观的手段证明命题的方法。这类证明可以达到不借助语言而证明的效果。如右图是[[勾股定理]]的一个图示证明。

=== 计算机辅助证明 ===
{{main|電腦協助證明}}
[[電腦協助證明]]是二十世紀出現的證明方式。直到二十世纪中，人们一直认为任何的数学证明都应当能够被一个水平足够的[[数学家]]检验，以证实其正确性。然而，今天的数学家已经能够运用计算机来证明定理，并且完成人类難以做到的计算<ref>{{cite web |url=http://www.math.wustl.edu/~sk/eolss.pdf |title=The History and Concept of Mathematical Proof, Steven G. Krantz. 1. February 5, 2007 |format=PDF |date= |accessdate=2014-01-11 |archive-date=2007-02-21 |archive-url=https://web.archive.org/web/20070221150523/http://www.math.wustl.edu/~sk/eolss.pdf |dead-url=no }}</ref>。1976年[[四色定理]]的证明是计算机辅助证明的经典例子<ref>{{cite web |url=http://www.kepu.net.cn/gb/basic/szsx/8/8_81/8_81_1007.htm |title=相信數學，或相信電腦 |publisher=中國科普博覽 |date=2004-04-29 |accessdate=2014-01-14 |archive-date=2017-03-05 |archive-url=https://web.archive.org/web/20170305011451/http://www.kepu.net.cn/gb/basic/szsx/8/8_81/8_81_1007.htm |dead-url=no }}</ref>。证明的方法是将地图上的无限种可能情况减少为1936种状态，并由计算机对每个可能的情况进行验证。有不少数学家对于计算机证明持谨慎态度，因为很多证明太长，不能由人手直接验证。此外，[[算法]]上的错误，输入时的失误甚至计算机运行期间出现的错误都有可能导致错误的结果。

==證明的結尾==
{{Main|證明完畢}}
有時在證明的結尾會加上Q.E.D.三個字母，這是拉丁文Quod Erat Demonstrandum的縮寫，意思是「證明完畢」。現在的證明完畢符號，通常是{{Unicode|■}}（實心黑色正方形），稱之為「[[墓碑 (數學)|墓碑]]」或「哈爾莫斯（Halmos symbol）」（因[[保羅·哈爾莫斯]]最先採用此做法）。墓碑有時是空心的{{Unicode|□}}。另一個簡單方法是寫「proven」、「shown」或「證畢」之類的文字。

== 參見 ==
* [[證明論]]
* [[模型論]]
* [[自動定理證明]]
* [[無效證明]]
* [[Q.E.D.]]
* [[墓碑符号]]

== 参考资料 ==
<references/>

== 外部連結 ==
*[http://episte.math.ntu.edu.tw/articles/sm/sm_16_02_1/index.html 證明，曹亮吉] {{Wayback|url=http://episte.math.ntu.edu.tw/articles/sm/sm_16_02_1/index.html |date=20200702201910 }}
{{几何术语}}

[[Category:數學推理]]