杜君花，王立，王洪艷

?

關(guān)于幾種數(shù)學(xué)證明方法的研究

杜君花1，王立2，王洪艷3

（1. 齊齊哈爾大學(xué) 理學(xué)院，黑龍江 齊齊哈爾 161006；2. 浙江省永嘉中學(xué)，浙江 溫州 325100；3. 永嘉縣羅浮中學(xué)，浙江 溫州 325100）

數(shù)學(xué)證明是數(shù)學(xué)教學(xué)與學(xué)習(xí)中的一項重要內(nèi)容，數(shù)學(xué)證明中最關(guān)鍵的內(nèi)容之一就是數(shù)學(xué)證明方法的研究與分析．研究了演繹法、歸謬法、構(gòu)造法、反例法、逐步逼近法及計算性證明法，并對各種證明方法的概念、分類及應(yīng)用進(jìn)行了詳細(xì)介紹．

數(shù)學(xué)證明；演繹法；歸謬法

隨著數(shù)學(xué)教育改革與發(fā)展的不斷深入，數(shù)學(xué)證明在教師的教學(xué)和學(xué)生的學(xué)習(xí)中的重要性日趨凸現(xiàn)，人們已經(jīng)越來越認(rèn)識到數(shù)學(xué)證明方法的多樣性和復(fù)雜性．因此，數(shù)學(xué)證明方法的整理與研究是值得關(guān)注的問題．論證能力是學(xué)生數(shù)學(xué)水平高低的基本標(biāo)準(zhǔn)之一，不斷提高論證能力成為學(xué)習(xí)數(shù)學(xué)的基本目的之一，研究數(shù)學(xué)證明方法的根本目的就在于此．通過對各種數(shù)學(xué)證明方法的研究，將使我們思路開闊，在進(jìn)行論證時，就能合理地選用證明方法．通過研究已有的證明方法，注意在使用已有的證明方法中作進(jìn)一步改進(jìn)，久而久之，就能創(chuàng)造出新的證明方法，日積月累就會產(chǎn)生飛躍，從而不斷提高論證能力．Ahmed E E，Stefan G T，Robert J B探討了幾種數(shù)學(xué)證明方法[1]；Jeremy Avigad給出了若干數(shù)學(xué)的方法和證明[2]；Maria A等研究了數(shù)學(xué)證明在教學(xué)與認(rèn)識論觀點(diǎn)中的一些特殊問題[3]；Philippe B H等運(yùn)用數(shù)學(xué)知識對Landau-Peierls公式的證明進(jìn)行了研究[4]．?dāng)?shù)學(xué)證明是數(shù)學(xué)學(xué)習(xí)中非常重要的一部分，數(shù)學(xué)證明的方法是多樣的，而且用法也各不相同[5-9]．本文主要對幾種常用的數(shù)學(xué)證明方法：演繹法、歸謬法、構(gòu)造法、反例法、逐步逼近法及計算性證明法進(jìn)行了研究，對它們的定義、分類及應(yīng)用作了具體的分析．

1　演繹法

演繹法又稱演繹推理，是指從一般原理推導(dǎo)出個別結(jié)論的一種思維方法，或者說從一般性前提出發(fā)推出其特殊情形的結(jié)論的推理方法．因此，演繹推理是一種必然性的推理．

演繹法是數(shù)學(xué)論證表述的基本方法，演繹法有多種形式，按因果求索關(guān)系可以把演繹法分為分析演繹法、綜合演繹法以及分析綜合演繹法．分析與綜合在演繹推理中具有特定的意義，是數(shù)學(xué)中2種最常用的推理論證方式．值得注意的是，它們與一般思維方法的分析法與綜合法是不同的．

1.1分析演繹法

所謂分析演繹法，又稱執(zhí)果索因法，是指由結(jié)果追溯到產(chǎn)生這一結(jié)果的原因的邏輯推理方式．“要使結(jié)論成立，只要條件具備”這一形式為分析演繹的基本形式．分析演繹法的思維過程可以表現(xiàn)為從命題的結(jié)論或所求問題的解答出發(fā)，一步一步地探索使結(jié)論成立或問題獲解的充分條件，直到與題設(shè)的已知條件相一致．

分析演繹法的應(yīng)用很多，在證明問題時要靠多觀察、深思考、會比較、多實踐、多探索，逐步逐層地找出決定一結(jié)論成立的主要因素．

1.2綜合演繹法

綜合演繹法，又稱執(zhí)因?qū)Ч?，是根?jù)原理推出結(jié)果的邏輯推理方法．“因為條件成立，所以結(jié)論成立”是綜合演繹法的基本形式．綜合演繹法是指從已知條件出發(fā)，尋找其成立的必要條件和有關(guān)因素的內(nèi)在聯(lián)系．由此逐步推演，最后推導(dǎo)出所要的結(jié)論的數(shù)學(xué)證明方法．

例1也可采用綜合演繹法證明．

2　歸謬法

歸謬法是一種間接的證明方法，它是從否定結(jié)論出發(fā)，進(jìn)行正確的推理，最后等待矛盾的產(chǎn)生，于是對原來的命題做了間接證明，解決了直接證法不能或不易解決的問題．它先提出了一個與命題的結(jié)論相反的假設(shè)，然后從這個假設(shè)出發(fā)，通過進(jìn)一步的正確推理，最后導(dǎo)致矛盾，從而否定反面假設(shè)，達(dá)到確定原命題的正確性的一種方法．

用歸謬法證明命題可以分為３個步驟：

Step1反設(shè)：假設(shè)要證命題的結(jié)論不成立；

Step2歸謬：把假設(shè)作為題設(shè)去證明，通過一系列正確的邏輯推理，最后推得與某些原條件的矛盾性；

Step3結(jié)論：由上述所得矛盾說明原命題成立．

3　構(gòu)造法

構(gòu)造法就是根據(jù)已知題設(shè)的特點(diǎn)，把所給條件中的元素作為“元件”，把所給的關(guān)系式作為“支架”，在思維中構(gòu)造出一種新的數(shù)學(xué)形式，如構(gòu)造圖形、方程和函數(shù)等，以找到一條新的途徑來繞過障礙，從而使要論證的問題得以解決的一種方法．構(gòu)造法的核心是構(gòu)造，是將形與數(shù)結(jié)合，將式與方程和函數(shù)建立聯(lián)系的方法，要在數(shù)學(xué)表達(dá)的幾種形式之間找到相互關(guān)系．

4 反例法

反例法是數(shù)學(xué)證明中較常使用的一種證明方法，反例法是一種特殊的數(shù)學(xué)構(gòu)造法．通過反例法構(gòu)造出來的數(shù)學(xué)形態(tài)，要與現(xiàn)存的某些數(shù)學(xué)結(jié)論構(gòu)成相反的證明．?dāng)?shù)學(xué)中的反例，是指符合了某個命題的條件，卻不符合該命題結(jié)論的例子．?dāng)?shù)學(xué)中的反例，是指建立在數(shù)學(xué)已證實的理論和邏輯推理的基礎(chǔ)上的，而且具有一定否定作用的例子．舉反例作為一種特殊的證明方式，它證明了“某命題不成立”為真．從一般來看，對于一個假命題，它可以構(gòu)造出許多不同的反例，但在實際應(yīng)用中只構(gòu)造出一個反例就可以了．舉反例是一種數(shù)學(xué)的構(gòu)造方法，從反例的構(gòu)造方法來說，反例的構(gòu)造方法可分為特例選擇、性質(zhì)分析和類比構(gòu)造３種．

例4 人們習(xí)慣性認(rèn)為，在微積分中討論連續(xù)與間斷時，連續(xù)是經(jīng)常的現(xiàn)象，但間斷就像曲線的間斷點(diǎn)一樣是很少發(fā)生的．?dāng)?shù)學(xué)家狄利克雷分析了這種習(xí)慣思維的特性后，構(gòu)造出了一個奇特的處處間斷的函數(shù)作為其中一個反例——狄利克雷函數(shù)．

例5從微積分發(fā)展來看，人們一直認(rèn)為除個別點(diǎn)外連續(xù)函數(shù)總是處處可導(dǎo)，但是數(shù)學(xué)家魏爾斯特拉斯舉出了一個著名的反例．，其中：是奇整數(shù)；，并且，雖然函數(shù)在上連續(xù)，但卻處處無導(dǎo)數(shù)．

5 逐步逼近法

若在解決一個比較復(fù)雜的問題時，快速解決起來比較困難，此時可以把原問題轉(zhuǎn)化成若干個按順序串聯(lián)起來而且容易解決的問題，這些問題一個比一個更加逼近原來的問題，然后集中精力解決這些轉(zhuǎn)化得到的問題就可以，這些問題的解決過程，就是運(yùn)用逐步逼近法解決問題的過程．逐步逼近法是指在解決具體數(shù)學(xué)問題時采用的一步步逐漸接近正確答案的方法．逐步逼近法在數(shù)學(xué)證明中的應(yīng)用非常廣泛，如在圓面積、曲線弧長和無理數(shù)等方面的證明都會用到逐步逼近法．

分析可以先確定根的范圍，在不斷的縮小這個范圍，或者無限次縮小這個范圍，最終獲得根的精確解；也可以經(jīng)過有限步后，得到具有一定精確度的近似解．這就是所謂的逐步逼近思想．

6　計算性證明法

計算性證明法是通過計算過程進(jìn)行命題論證的方法．一般來說，在數(shù)學(xué)論證中推理與計算是都要涉及到的，計算性證明便是在論證中偏于計算的一種證明方法，是較常用的一種論證方法，如關(guān)于極限、導(dǎo)數(shù)和積分等的等式論證．越來越多的將邏輯推演歸結(jié)成各種層次的計算是現(xiàn)代數(shù)學(xué)的一種強(qiáng)烈趨勢．很多不易解決的文字論證可以通過計算而變得簡單，這其中用矩陣算法來證明代數(shù)命題和用矢量法來證明幾何問題便是最好的證據(jù)．值得注意的是，計算性證明法要以正確而且熟練的計算能力為基礎(chǔ).

[1] Ahmed E E，StefanG T，Robert J B．A Rigorous Mathmatical Proof of the Area Method for Phase Stability[J]．Ind Eng Chem Res，1998（37）：1483-1489

[2] Jeremy Avigad．Mathematical Method and Proof[J]．Synthese，2006，153（1）：105-107

[3] Maria A M，Nicolas B．Introduction to the special issue on didactical and epistemological perspectives on mathematical proof[J]．ZDM，2008，40 （3）：341-344

[4] Philippe B H，Baptiste S．A Rigorous Proof of the Landau-Peierls Formula and much more[J]．Annales Henri Poincare， 2012，13（1）：1-40

[5] 李國友，扶煒．幾種常見的數(shù)學(xué)證明方法[J]．信陽農(nóng)業(yè)高等?？茖W(xué)報，2003，13（4）：70-71

[6] 何念如．類比法在中學(xué)數(shù)學(xué)教學(xué)中的應(yīng)用[J]．高等函授學(xué)報，2006，20（1）：13-15

[7] 李延明．反證法教學(xué)探析[J]．?dāng)?shù)學(xué)教學(xué)研究，2008，27（8）：62-65

[8] 朱愛玲．構(gòu)造法在計算方法教學(xué)中的應(yīng)用[J]．山東師范大學(xué)學(xué)報，2008，23（2）：125-126

[9] 齊蓮敏．“反證法”在高等數(shù)學(xué)教學(xué)中的應(yīng)用[J]．湖北廣播電視大學(xué)學(xué)報，2010，30（1）：20-21

Researching on the some mathematical proof methods

DU Jun-hua1，WANG Li2，WANG Hong-yan3

（1. School of Science，Qiqihar University，Qiqihar 161006，China；2. Yongjia High School，Wenzhou 325100，China；3. Yongjia Luofu Middle School，Wenzhou 325100，China.）

Mathematical proof is an important content of mathematics teaching and learning．One of the most critical content mathematical proof is to study and analysis mathematical proof methods．Studies the deductive method，reduction to absurdity，construction method，counter-example method，successive approximation method and calculation method of proof．And concepts and classification and application of proven methods are described in detail.

mathematical proof；deductive method；reduction to absurdity

1007-9831（2016）11-0059-04

O13∶G642.0

A

10.3969/j.issn.1007-9831.2016.11.016

2016-09-18

齊齊哈爾大學(xué)教育科學(xué)研究項目（2015109）；黑龍江省教育廳科學(xué)技術(shù)研究項目（12511608）

杜君花（1975-），女，黑龍江齊齊哈爾人，副教授，碩士，從事基礎(chǔ)數(shù)學(xué)研究．.E-mail：dujunhua1975@126.com