證明：一種不可或缺的理性精神

王憲成

生活中，我們有時(shí)憑借已有經(jīng)驗(yàn)做出的判斷并不一定正確。比如，某位運(yùn)動(dòng)員在歷次體育比賽中一直名列前茅，小明就說(shuō)，這位運(yùn)動(dòng)員在接下來(lái)的體育比賽中一定能拿金牌。顯然，這樣的判斷只是預(yù)測(cè)，沒(méi)有經(jīng)過(guò)證實(shí)，結(jié)論不一定成立。再比如，我們?cè)谘b有一定量水的杯子里斜插一根筷子，發(fā)現(xiàn)杯子里的筷子被“折斷”了，而事實(shí)上，筷子并沒(méi)有斷。所以，有時(shí)眼見(jiàn)也不一定為實(shí)。這些都能讓我們感受到證明的重要性。

通過(guò)數(shù)學(xué)學(xué)習(xí)，我們知道了許多數(shù)學(xué)知識(shí)，也經(jīng)歷了觀(guān)察、實(shí)驗(yàn)、歸納、類(lèi)比等活動(dòng)，用“合情推理”的方式探索了許多結(jié)論，如圓的面積公式，三角形內(nèi)角和等于180°，周長(zhǎng)一定的長(zhǎng)方形當(dāng)長(zhǎng)等于寬的時(shí)候面積最大，等等。但這些結(jié)論一定正確嗎？如何說(shuō)明這些結(jié)論的正確性呢？看來(lái)證明在學(xué)習(xí)數(shù)學(xué)的過(guò)程中也是必不可少的。

一、關(guān)于“證明”的幾個(gè)概念

人們?cè)谡f(shuō)理的時(shí)候，常常使用一些名稱(chēng)或術(shù)語(yǔ)。對(duì)名稱(chēng)或術(shù)語(yǔ)的含義進(jìn)行描述或做出規(guī)定，就是給它們下定義。如“能使方程兩邊的值相等的未知數(shù)的值”就是“方程的解”的定義。我們還常常要判斷事物的對(duì)與錯(cuò)、是與非、可能與不可能等。判斷一件事情的句子叫作命題。如“等角的余角相等”，這就是作出一個(gè)判斷，是一個(gè)命題。正確的命題叫作真命題，錯(cuò)誤的命題叫作假命題。

在前面的學(xué)習(xí)過(guò)程中，我們?cè)岩恍┱婷}作為基本事實(shí)。從基本事實(shí)、確定的規(guī)則等出發(fā)證實(shí)某個(gè)命題真實(shí)性的過(guò)程就叫作證明。經(jīng)過(guò)證明的真命題叫作定理。由一個(gè)定理直接推出的正確結(jié)論叫作這個(gè)定理的推論。如“三角形的外角等于與它不相鄰的兩個(gè)內(nèi)角之和”是三角形內(nèi)角和定理的推論。

二、“證明”的途徑、方法

觀(guān)察、操作、實(shí)驗(yàn)往往是我們研究問(wèn)題的重要手段。通過(guò)觀(guān)察、操作、實(shí)驗(yàn)，我們會(huì)發(fā)現(xiàn)一些結(jié)論，但所得的結(jié)論一定正確嗎？答案是不一定。因此，我們要對(duì)結(jié)論加以證明。證明過(guò)程通常包含幾個(gè)推理，每個(gè)推理應(yīng)包括因、果以及由因得果的依據(jù)。其中，“因”是已知事項(xiàng)的條件;“果”是推得的結(jié)論;“由因得果的依據(jù)”是基本事實(shí)、定義、已經(jīng)學(xué)過(guò)的定理以及等式的性質(zhì)、不等式的性質(zhì)等。下面，我們看幾道具體題目。

問(wèn)題1 在圖1中，兩條線(xiàn)段AB與CD，哪一條長(zhǎng)一些？

看上去，線(xiàn)段AB似乎比線(xiàn)段CD長(zhǎng)。但這個(gè)觀(guān)察結(jié)果正確嗎？怎么證明其正確性呢？我們可以通過(guò)度量線(xiàn)段AB和線(xiàn)段CD的長(zhǎng)度來(lái)證實(shí)。結(jié)果發(fā)現(xiàn)，線(xiàn)段CD比線(xiàn)段AB長(zhǎng)。

問(wèn)題2 任意取數(shù)值a、b，對(duì)于代數(shù)式a2+b2+2a-4b+6的值，你有什么發(fā)現(xiàn)？

有的同學(xué)代入了幾個(gè)值，發(fā)現(xiàn)得到的代數(shù)式的值總是大于或等于1。但可以直接說(shuō)，對(duì)于任意的a、b，代數(shù)式a2+b2+2a-4b+6的值都不小于1嗎？不可以。我們要對(duì)其進(jìn)行證明。怎么證明呢？我們要尋找“因”，即尋找題目中的條件。本題條件中，有代數(shù)式a2+b2+2a-4b+6，我們就試試能否由這個(gè)“因”推出“果”。因?yàn)閍2+b2+2a-4b+6=a2+2a+1+b2-4b+4+1=（a+1）2+（b-2）2+1，而（a+1）2≥0，（b-2）2≥0，所以（a+1）2+（b-2）2+1≥1。這樣就證明了結(jié)論。

問(wèn)題3 如圖2，AC、BD相交于點(diǎn)O。求證：∠A+∠B=∠C+∠D。

本題中，由∠A、∠B、∠C、∠D所在的三角形，自然想到“三角形內(nèi)角和定理”，即在△AOB中，∠A+∠B+∠AOB=180°;在△COD中，∠C+∠D+∠COD=180°。所以∠A+∠B+∠AOB=∠C+∠D+∠COD?！螦OB與∠COD又有什么關(guān)系呢？此時(shí)，同學(xué)們是不是會(huì)證明∠A+∠B=∠C+∠D了？

請(qǐng)同學(xué)們?cè)傧胍幌雴?wèn)題3，有沒(méi)有其他方法？仔細(xì)觀(guān)察圖形，你有沒(méi)有發(fā)現(xiàn)：∠A+∠B等于圖中哪個(gè)角呢？∠C+∠D又等于圖中哪個(gè)角呢？這兩個(gè)角是同一個(gè)角嗎？你能寫(xiě)出完整的證明過(guò)程嗎？請(qǐng)同學(xué)們自己試一試，也可以與老師或同學(xué)進(jìn)行交流。

（作者單位：江蘇省蘇州工業(yè)園區(qū)青劍湖學(xué)校）