數(shù)學(xué)歸納法的思想精髓

[摘 要] 科學(xué)原理和科學(xué)方法必然蘊(yùn)含著與之相適應(yīng)的科學(xué)思想。通過(guò)“歸納思維方法”與“數(shù)學(xué)歸納法”的分析解讀了數(shù)學(xué)歸納法的思想精髓——“無(wú)限遞推思想”，揭示了無(wú)限遞推思想模式的教學(xué)演繹規(guī)律，用生活中的案例和生活化的語(yǔ)言加以直觀描述，用圖式化的語(yǔ)言加以提煉，再用數(shù)學(xué)化的符號(hào)語(yǔ)言準(zhǔn)確表達(dá)，促使學(xué)生對(duì)這一數(shù)學(xué)思想模式的直觀感受、理解、感悟、過(guò)程參與、事后升華，形成無(wú)限遞推的數(shù)學(xué)思想模式，直到掌握并應(yīng)用到微積分學(xué)的教學(xué)實(shí)踐中。

[關(guān)鍵詞] 數(shù)學(xué)歸納;演繹規(guī)律;無(wú)限遞推;數(shù)學(xué)思想模式

[作者簡(jiǎn)介] 王智勇（1963—），男，四川內(nèi)江人，本科，內(nèi)江職業(yè)技術(shù)學(xué)院素質(zhì)教育部講師，經(jīng)濟(jì)師，主要從事高等數(shù)學(xué)教育、數(shù)學(xué)應(yīng)用與企? ? ? 業(yè)管理和企業(yè)創(chuàng)新研究。

[中圖分類號(hào)] G712 ? ?[文獻(xiàn)標(biāo)識(shí)碼] A ? ?[文章編號(hào)] 1674-9324（2020）34-0124-04 ? ?[收稿日期] 2020-03-10

著名數(shù)學(xué)家拉普拉斯提出：“甚至在數(shù)學(xué)里，發(fā)現(xiàn)真理的主要工具也是歸納和類比。”又在《概率的分析理論》中論述到“分析與自然哲學(xué)中最重大發(fā)現(xiàn)都應(yīng)歸功于這種豐富多產(chǎn)的方法，也就是所謂的‘歸納方法，牛頓萬(wàn)有引力原理，就是歸納的成果。”[1]著名數(shù)學(xué)家歐拉認(rèn)為：“觀察所得的知識(shí)，通常用歸納所得的，然而我們已經(jīng)看到過(guò)單純的歸納曾導(dǎo)致過(guò)錯(cuò)誤。因此，我們不要輕易地把觀察所得的和僅以歸納為旁證的關(guān)于數(shù)的那樣一些性質(zhì)信以為真。誠(chéng)然，我們應(yīng)該把這種發(fā)現(xiàn)當(dāng)成一種機(jī)會(huì)，去更精確地研究所發(fā)現(xiàn)的性質(zhì)，以便證明它或推翻它;在這兩種情況中，我們都可以學(xué)到一些有用的東西。”[2]著名數(shù)學(xué)家拉普拉斯論述了“歸納”在“最重大發(fā)現(xiàn)”的重要作用，而著名數(shù)學(xué)家歐拉把“歸納”的“發(fā)現(xiàn)當(dāng)成一種機(jī)會(huì)”，但更重視“歸納”得出的知識(shí)與結(jié)論的驗(yàn)證，用“更精確地研究”進(jìn)行“證明它或推翻它”。驗(yàn)證和證明“歸納”結(jié)論的有效方法之一——“數(shù)學(xué)歸納法”，蘊(yùn)含著“無(wú)限遞推”的數(shù)學(xué)思想。本文闡述了“歸納”與“數(shù)學(xué)歸納法”后，從分析“最小自然數(shù)原理”的精髓、數(shù)學(xué)歸納法的精髓及其等價(jià)性的視角，對(duì)數(shù)學(xué)歸納法“無(wú)限遞推思想”進(jìn)行數(shù)學(xué)模式教學(xué)演繹，用生活中的案例和生活化的語(yǔ)言加以直觀描述，用圖式化的語(yǔ)言加以提煉，再用數(shù)學(xué)化的符號(hào)語(yǔ)言準(zhǔn)確表達(dá)，深刻揭示“數(shù)學(xué)歸納法”中蘊(yùn)含著的“無(wú)限遞推”的數(shù)學(xué)思想模式，并將“無(wú)限遞推思想模式”應(yīng)用到微積分學(xué)的教學(xué)實(shí)踐中。

一、歸納思維方法與數(shù)學(xué)歸納法

（一）歸納思維的方法

在實(shí)踐中，人們總是跟一個(gè)個(gè)具體的事物打交道，首先獲得這些個(gè)別事物的知識(shí)，然后在這些特殊性知識(shí)的基礎(chǔ)上，概括出同類事物的普遍性知識(shí)。例如，科學(xué)研究從宏觀世界的物資入手，探尋物資的內(nèi)部結(jié)構(gòu)，進(jìn)入微觀世界，將宏觀物資細(xì)分為分子和原子，微觀世界的原子還可再分為電子、質(zhì)子和中子，以至更小的微粒夸克等，人們由此得出“宏觀物質(zhì)不僅可分，而且是可以無(wú)限細(xì)分”的一般結(jié)論。對(duì)物質(zhì)無(wú)限細(xì)分的認(rèn)識(shí)過(guò)程，包含了“由特殊→一般結(jié)論”的歸納思維方法。是指從許多個(gè)別的事物中概括出一般性概念或原則或結(jié)論或規(guī)律的思維方法。命題P（1）、P（2）、P（3）、P（4）……為真，代表的是“局部”或“個(gè)體”為真。命題P（n）為真，就是代表了“整體”“一般”為真。歸納法可分為完全歸納法和不完全歸納法。完全歸納法和不完全歸納法分析比較如下：

（二）數(shù)學(xué)歸納法

（二）數(shù)學(xué)歸納法的精髓為“無(wú)限遞推思想”

數(shù)學(xué)歸納法中要求用演繹推理的方法，嚴(yán)謹(jǐn)?shù)刈C明命題成立。即：

（1）命題P（1）成立。

（2）假設(shè)命題P（k）成立。

（3）演繹推理證明：假設(shè)命題P（k）成立時(shí)，命題P（k+1）成立。

結(jié)論：命題P（n）（n∈N）成立。

由此可以得出，在數(shù)學(xué)歸納法中的核心就是“無(wú)限遞推思想”：

命題P（1）成立若命題P（n=1）成立→命題P（n+1）成立→命題P（2）成立

命題P（2）成立若命題P（n=2）成立→命題P（n+1）成立→命題P（3）成立

命題P（3）成立若命題P（n=3）成立→命題P（n+1）成立→命題P（4）成立

命題P（3）成立若命題P（n=k）成立→命題P（n+1）成立→命題P（k+1）成立

就這樣無(wú)限遞推，假設(shè)命題P（1）、P（2）、P（3）、P（4）…P（k+1）都成立了。其中歸納命題“若命題P（k）成立→命題P（k+1）成立”的“無(wú)限遞推思想”起到了關(guān)鍵作用。

（三）“最小自然數(shù)原理”與數(shù)學(xué)歸納法等價(jià)性解讀

1.用“數(shù)學(xué)歸納原理”證明“最小自然數(shù)原理”。

證明：當(dāng)自然數(shù)集中只有一個(gè)自然數(shù)元素時(shí)，這個(gè)元素就是最小自然數(shù)，命題成立。

3.“最小自然數(shù)原理”與“數(shù)學(xué)歸納原理”的等價(jià)性表現(xiàn)在以下幾點(diǎn)。

（1）由“最小自然數(shù)原理”可以證明“數(shù)學(xué)歸納原理（方法）”，反之，又由“數(shù)學(xué)歸納原理（方法）”也可以證明“最小自然數(shù)原理”。

（2）“最小自然數(shù)原理”與“數(shù)學(xué)歸納原理（方法）”共同蘊(yùn)含了“無(wú)限遞推思想”。

三、數(shù)學(xué)歸納法“無(wú)限遞推”的數(shù)學(xué)思想模式解析及其教學(xué)模式演繹

（一）數(shù)學(xué)歸納法的“無(wú)限遞推思想模式”解析及其演繹舉例

數(shù)學(xué)思想模式表達(dá)：指數(shù)學(xué)研究和數(shù)學(xué)教學(xué)中以圖形或程序式的方式闡釋對(duì)象事物的一種思想方法，這種方法具有雙重性質(zhì)。

1.思想模式表達(dá)內(nèi)容與現(xiàn)實(shí)事物具有對(duì)應(yīng)關(guān)系，但又不是只對(duì)現(xiàn)實(shí)事物單純的描述，而是針對(duì)事物的本質(zhì)或規(guī)律或規(guī)則或思想屬性，進(jìn)行某種程度的概括和抽象化，闡釋和表達(dá)了事物的本質(zhì)屬性和規(guī)律特征。

2.數(shù)學(xué)思想模式與一定的數(shù)學(xué)理論和數(shù)學(xué)方法相對(duì)應(yīng)，又不完全是數(shù)學(xué)理論和單純的數(shù)學(xué)方法，而是對(duì)理論的一種解釋或素材描述。數(shù)學(xué)思想模式雖然具有不完全性，但它是人們理解事物、學(xué)習(xí)理論、探討理論的一種有效的思想方法。

3.數(shù)學(xué)思想模式的本質(zhì)蘊(yùn)含著數(shù)學(xué)思想或思維定式，如數(shù)學(xué)歸納法的數(shù)學(xué)思想模式中蘊(yùn)含著“無(wú)限遞推”的數(shù)學(xué)思想。蘊(yùn)含的數(shù)學(xué)思想或思維定式可以將數(shù)學(xué)思想模式演繹或應(yīng)用到現(xiàn)實(shí)世界的多種領(lǐng)域內(nèi)。數(shù)學(xué)歸納法是一種證明方法，蘊(yùn)含著“無(wú)限遞推”的數(shù)學(xué)思想，形成獨(dú)特的解題格式，與一般證明的思想方法相比更呈現(xiàn)出模式化的特點(diǎn)：

參考文獻(xiàn)

[1][美]G.波利亞.數(shù)學(xué)與猜想（第1卷）[M].李心燦，等，譯.北京：科學(xué)出版社，2001：1.

[2]張禾瑞，郝炳新.高度代數(shù)[M].北京：人民教育出版社，1980.