李福良

證明，主要指由已知事實(shí)或結(jié)論推理未知結(jié)論成立的過程。證明從哪來？為什么要證明？證明過程有哪些形式？

證明的由來

在人類歷史上，“證明”這個(gè)想法是怎樣產(chǎn)生的？又是什么時(shí)候產(chǎn)生的呢？

一般認(rèn)為，數(shù)學(xué)證明開始于公元前6世紀(jì)。在距今2600多年前，希臘數(shù)學(xué)家和哲學(xué)家泰勒斯證明了幾條幾何定理。到了公元前4世紀(jì)，歐幾里得撰寫了不朽巨著《幾何原本》。他從一些基本定義與公理、公設(shè)出發(fā)，以合乎邏輯的演繹手法推導(dǎo)出400多條定理，奠定了數(shù)學(xué)證明的模式基礎(chǔ)。

可是，為什么當(dāng)時(shí)的人會(huì)想到去證明數(shù)學(xué)命題呢？許多經(jīng)過反復(fù)實(shí)踐的直觀易懂的數(shù)學(xué)命題，不需要解釋就已經(jīng)被人們所接納了，比如對頂角相等、直徑把圓平分等命題，難道還需要懷疑嗎？為什么這么“淺顯”的道理也有人去琢磨呢？

這就是證明的魅力所在。

證明不僅僅在于說服別人相信結(jié)果的正確性，更反映了推理過程的嚴(yán)謹(jǐn)性。這也是數(shù)學(xué)的魅力所在。

美國前總統(tǒng)亞伯拉罕·林肯曾是一名律師，他的身邊常伴有《幾何原本》。他經(jīng)常將其拿出來閱讀并研究，直到熟練證明前6卷中的所有命題。他認(rèn)為書中的演繹證明可以使自己的思維變得嚴(yán)謹(jǐn)、縝密，表達(dá)條理清楚，對他的職業(yè)有幫助。清朝康熙皇帝也在滿文版的《幾何原本》上留有學(xué)習(xí)時(shí)所做的筆記。

證明的必要性

在幾何中，除了公理以外，不論所討論的命題的結(jié)論有多么明顯，這些命題都必須通過推理來證明。為什么呢？這是因?yàn)?，首先，直觀的結(jié)論有時(shí)會(huì)造成錯(cuò)覺，并不永遠(yuǎn)可信;其次，對少數(shù)具體例子進(jìn)行觀察、測量得出的結(jié)論，并不能保證所有情況下都成立。

例如，在17世紀(jì)，法國數(shù)學(xué)家費(fèi)馬曾研究過22n+1這個(gè)代數(shù)式，當(dāng)n=0、1、2、3、4時(shí)，22n+1對應(yīng)的值分別為3、5、17、257、65537，都是質(zhì)數(shù)（質(zhì)數(shù)是在大于1的自然數(shù)中，除了1和它本身以外，不再含有其他因數(shù)的數(shù)）。當(dāng)n=5時(shí)，22n+1的數(shù)值太大，他沒有計(jì)算，于是他便猜測：對于一切自然數(shù)n，22n+1都是質(zhì)數(shù)。然而，費(fèi)馬去世后若干年，瑞士數(shù)學(xué)家歐拉證明，當(dāng)n=5時(shí)，22n+1=641×6700417，是一個(gè)合數(shù)。

再比如，圖形的性質(zhì)不能通過測量得出，如平行線永不相交，這就無法測量。此外，通過推理研究圖形，可以揭示圖形性質(zhì)之間的聯(lián)系，比如兩直線平行，同位角、內(nèi)錯(cuò)角、同旁內(nèi)角之間存在關(guān)系。

因此，證明是必要的。

證明的趣味性

在19世紀(jì)，有一個(gè)農(nóng)場主，他養(yǎng)豬總是養(yǎng)不胖。于是，他就向生物學(xué)家、博物學(xué)家達(dá)爾文請教。達(dá)爾文告訴農(nóng)場主要多養(yǎng)貓，理由是：貓吃田鼠，田鼠吃土蜂，土蜂給三葉草傳粉;土蜂多了，三葉草便生長得旺盛，而豬吃三葉草，飼料多了，豬就會(huì)胖起來。

這就是生物學(xué)家眼中的推理。同學(xué)們，生活中的推理無處不在。

我們再看一個(gè)有趣的證明，請看下列圖形：

從圖1到圖2，都是一個(gè)大正方形，里面有4個(gè)相同的彩色直角三角形。在這里，相同的圖形用不同的拼接方式，就能說明a2+b2=c（2兩個(gè)圖形中，白色部分的面積相等）。這就是著名的“勾股定理”。

用圖形語言就可以表達(dá)經(jīng)典的結(jié)論，這種證明方法叫作“無字證明”。

聰明的你，現(xiàn)在觀察圖3，能得到什么結(jié)論呢？

（作者單位：江蘇省揚(yáng)州市江都區(qū)教育局教研室）