朱朗峰

摘 要 《數(shù)學(xué)分析》是現(xiàn)代數(shù)學(xué)的基礎(chǔ)理論之一。在《數(shù)學(xué)分析》的教學(xué)中，培養(yǎng)學(xué)生的形象思維能力和嚴(yán)格推導(dǎo)能力是非常重要的兩個方面。本文通過一些典型的例子，討論了形象思維和嚴(yán)格推導(dǎo)在《數(shù)學(xué)分析》的教學(xué)中的重要作用以及這兩者之間的緊密關(guān)系。

關(guān)鍵詞 數(shù)學(xué)分析 形象思維 嚴(yán)格推導(dǎo)

中圖分類號：O171 文獻(xiàn)標(biāo)識碼：A

0引言

《數(shù)學(xué)分析》作為大學(xué)數(shù)學(xué)的一門基礎(chǔ)課程，面向?qū)ο笫撬袛?shù)學(xué)專業(yè)一年級和二年級的學(xué)生。開設(shè)這門課程的目的在于提高這些學(xué)生的數(shù)學(xué)基礎(chǔ)水平，幫助他們實現(xiàn)由中學(xué)數(shù)學(xué)到大學(xué)數(shù)學(xué)的跨越，為他們進(jìn)一步深入學(xué)習(xí)或研究現(xiàn)代數(shù)學(xué)理論奠定基礎(chǔ)。大學(xué)一二年級的學(xué)生只有先學(xué)好了《數(shù)學(xué)分析》等基礎(chǔ)課程，才能學(xué)好大學(xué)高年級的分析課程，比如《實變函數(shù)》，《復(fù)變函數(shù)》，《泛函分析》，《數(shù)學(xué)物理方程》等。更進(jìn)一步地，對有志于在數(shù)學(xué)學(xué)科繼續(xù)學(xué)習(xí)深造的學(xué)生來說，應(yīng)該對《數(shù)學(xué)分析》等基礎(chǔ)課程有更透徹的理解和掌握。正是由于《數(shù)學(xué)分析》這門課程在大學(xué)數(shù)學(xué)教學(xué)中有著如此重要的地位，所以任課教師在給學(xué)生講解這門課程時，僅僅將知識內(nèi)容講清楚是不夠的，更為重要的是，還要培養(yǎng)并提高學(xué)生思考問題的能力，尤其是形象思維能力和嚴(yán)格推導(dǎo)能力。本文根據(jù)作者的教學(xué)經(jīng)驗，并結(jié)合一些教材以及文獻(xiàn)資料中的典型例子，來談?wù)勗凇稊?shù)學(xué)分析》這門課程的教學(xué)中，形象思維和嚴(yán)格推導(dǎo)這兩個方面的重要作用以及它們之間的關(guān)系。

1形象思維有助于理解和記憶數(shù)學(xué)知識

《數(shù)學(xué)分析》這門課程中有大量的公式、定理和理論推導(dǎo)，初學(xué)者容易感覺這門課程比較復(fù)雜和枯燥。所以任課教師在教學(xué)上應(yīng)增加數(shù)學(xué)的趣味，將看似枯燥復(fù)雜的內(nèi)容與有趣簡單的知識聯(lián)系起來。任課教師可以通過恰當(dāng)?shù)倪\用形象思維的方法給學(xué)生以幾何直觀，便于他們理解和記憶這些內(nèi)容。

例如，在《數(shù)學(xué)分析》教材中在講到數(shù)項級數(shù)收斂的Abel判別法和Dirichlet判別法時，會用到如下的公式。

分部求和公式：設(shè)uk， mk （k = 1， 2， ···， n）為兩組實數(shù)，若令

Mk = m1 + m2 + … + mk （k = 1， 2， …， n），

則有如下分部求和公式成立：

u1m1 + u2m2 +… + unn-1mn-1 + unmn

= （u1 u2）M1 + （u2 u3）M2 + … + （un-1 un）Mn-1 + unMn.

對于分部求和公式的證明，我們可以用

m1 = M1， mk = Mk Mk-1 （k = 2， 3，…， n）

代入公式左邊，通過計算推出等于公式右邊。如果任課教師只講到這里就不再繼續(xù)解釋，學(xué)生可能會認(rèn)為這個公式需要死記硬背才能記住，這就沒達(dá)到較好的教學(xué)效果。事實上，認(rèn)真觀察后不難發(fā)現(xiàn)，這個公式可以通過形象思維的方法來做進(jìn)一步解釋。下面以n = 4為例來談?wù)勑蜗笏季S的方法。

不妨假定uk， mk均為正數(shù)且uk是嚴(yán)格遞減的。在直角坐標(biāo)系中畫出圖1。不難發(fā)現(xiàn)，分部求和公式的左邊等于圖1中分別以u1， u2， u3， u4為高，M1， M2 M1， M3 M2， M4 M3為底的四個矩形面積之和，從而等于圖1中整個圖形的面積，這是一種沿x軸做分割然后再求和的方式。我們可以再考慮另一種求和方式，即沿y軸做分割然后再求和來計算圖1中整個圖形的面積。不難發(fā)現(xiàn)，這樣計算出的面積等于分別以u1 u2， u2 u3， u3 u4， u4為高，M1， M2， M3， M4為底的四個矩形面積之和，正好等于分部求和公式的右邊，從而在一定程度上驗證了分部求和公式。做了這樣的幾何直觀上的解釋后，分部求和公式就變得比較有趣和自然，從而便于理解和記憶。

圖1

通過形象思維來幫助理解記憶公式定理的例子還有很多，下面我們再舉一個例子。

在《數(shù)學(xué)分析》教材中有如下關(guān)于閉區(qū)間上連續(xù)函數(shù)性質(zhì)的定理。

零點定理：如果實值函數(shù)f在閉區(qū)間[a， b]上連續(xù)，且f（a）與f（b）異號，那么在開區(qū)間（a， b）內(nèi)至少有一點c使得f（c） = 0。

因f（a）與f（b）異號，不妨假定f（a） > 0， f（b） < 0。如圖2所示，函數(shù)f在直角坐標(biāo)系下的圖像可以看成是連接（a， f（a））與（b， f（b））兩點的連續(xù)曲線（當(dāng)然，此曲線還要滿足與任意平行于y軸的直線至多只有一個交點）。零點定理的含義可以通過形象思維的方式大致理解為：如果（a， f（a））與（b， f（b））這兩點被x軸隔開，那么任意連接這兩點的連續(xù)曲線不可避免地要與x軸相交。

圖2

2形象思維可以對嚴(yán)格推導(dǎo)起到啟發(fā)作用

我們通過舉例來說明這一點。

在《數(shù)學(xué)分析》教材中有如下判定正項級數(shù)收斂或者發(fā)散的方法。

積分判別法：設(shè)實值函數(shù)f為區(qū)間[1， +∞）上非負(fù)減函數(shù)，那么正項級數(shù)f（n）與反常積分f（x）dx同時收斂或者同時發(fā)散。

任課教師在講解這個判別法的嚴(yán)格證明之前，可以先大致畫出f的圖像，引導(dǎo)學(xué)生通過形象思維的方式來分析一下這個判別法。如圖3所示， f的單調(diào)遞減的假定使得f的圖像在閉區(qū)間[n，n+1]圍成的圖形覆蓋了以閉區(qū)間[n，n+1]為底以f（n+1）為高的矩形，且被以閉區(qū)間[n，n+1]為底以f（n）為高的矩形覆蓋。根據(jù)積分的幾何意義，反常積分f（x）dx等于由f的圖像、直線x = 1和x軸所圍成的圖形的面積（我們把這個面積簡記為S）。從圖像上可以比較容易看出，S應(yīng)該小于或等于以閉區(qū)間[n， n+1]為底以f（n）為高的矩形的面積對正整數(shù)n求和，并且S應(yīng)該大于或等于以閉區(qū)間[n， n+1]為底以f（n+1）為高的矩形的面積對正整數(shù)n求和。從而我們可以大致判斷出正項級數(shù)f（n）和反常積分f（x）dx是同時收斂的或者同時發(fā)散的。

圖3

通過上面所講的圖像上的觀察分析，我們可以相應(yīng)地寫下如下嚴(yán)格的數(shù)學(xué)證明：

對任意的正整數(shù)k，定義Sk=f（x）dx且定義Tk=f（n）因為f為非負(fù)函數(shù)，所以數(shù)列Sk和Tk均是非負(fù)遞增數(shù)列。再由反常積分收斂和無窮級數(shù)收斂的定義以及數(shù)列的單調(diào)有界定理可知：反常積分f（x）dx收斂等價于數(shù)列Sk有界，正項級數(shù)f（n）收斂等價于數(shù)列Tk有界。又因為f為減函數(shù)，所以對任意正整數(shù)n有

f（x）dxf（n+1）dx=f（n+1），

f（x）dx≤f（n）dx=f（n）。

由上面兩個不等式對n = 1， 2， …， k求和可得，對任意的正整數(shù)k有

Tk+1f（1）≤Sk≤Tk

所以數(shù)列Sk與Tk同時有界或同時無界，從而嚴(yán)格證明了積分判別法。

上述嚴(yán)格推導(dǎo)正是通過觀察圖像受到啟發(fā)而得到的，是形象思維的嚴(yán)格數(shù)學(xué)化。

3嚴(yán)格推導(dǎo)往往用于正面論證，形象思維往往用于思考反例

我們來看下面的例子。在《數(shù)學(xué)分析》教材中有如下函數(shù)列一致收斂時的性質(zhì)定理。

連續(xù)性定理：若區(qū)間I上的連續(xù)函數(shù)列{fn}（n為正整數(shù)）在區(qū)間I上一致收斂，則其極限函數(shù)f在I上也連續(xù)。

我們先來看看這個定理是如何通過嚴(yán)格推導(dǎo)的方式進(jìn)行論證的。它的證明可以用反證法，推導(dǎo)如下：

假設(shè)這個定理不正確，即區(qū)間I上存在一點x0使得極限函數(shù)f在x0點不連續(xù)。那么存在正數(shù)C以及區(qū)間I中的數(shù)列{xk}（k為正整數(shù)）以x0為極限，使得對任意正整數(shù)k均有

| f（xk） f（x0） | > 3C.

由于{fn}在區(qū)間I上一致收斂于f，從而存在正整數(shù)m使得對任意正整數(shù)k均有

| fm（xk） f（xk） | < C

并且有

| fm（x0） f（x0） | < C.

由上述三個不等式可推知，對任意的正整數(shù)k均有

| fm（xk） fm（x0） | > C.

由于當(dāng)k趨于+∞時xk收斂于x0，故上式與函數(shù)fm在區(qū)間I上連續(xù)矛盾，從而假設(shè)不成立，定理得證。

上述嚴(yán)格推導(dǎo)非常簡潔而且切中要害，給出了定理的證明。任課教師在講解證明時需要講清定理中的條件用在哪里，比如，函數(shù)列的一致收斂性用于論證第二個和第三個不等式，函數(shù)列的連續(xù)性用于說明第四個不等式不成立。除了講清楚定理證明之外，任課教師還應(yīng)該讓學(xué)生積極去思考定理中的條件是否是必需的。例如，可以讓學(xué)生思考這么一個問題：將上述連續(xù)性定理中的“一致收斂”改為“收斂”后得到的命題是否成立？

我們可以通過形象思維構(gòu)造收斂但不一致收斂的例子來思考這個問題，詳情如下：

函數(shù)列{fn}在區(qū)間I上一致收斂于f的幾何意義是當(dāng)正整數(shù)n充分大時，fn的圖像在f的圖像上下平移充分小的范圍內(nèi)。那么可以通過如下方式選取{fn}和區(qū)間I，使得{fn}在區(qū)間I上并不一致收斂于其極限函數(shù)?？梢粤領(lǐng) = [0， 1]，定義fn（x） = nx + 1于區(qū)間[0， 1/n]且定義fn（x） = 0于區(qū)間（1/n， 1]上（fn的圖像如圖4所示）。顯然{fn}是區(qū)間I上的連續(xù)函數(shù)列，且在x = 0處收斂于1，在區(qū)間（0， 1]上收斂于0，從而{fn}在區(qū)間I上收斂于一個不連續(xù)的函數(shù)f（定義f（0） = 1且定義f（x） = 0于區(qū)間（0， 1]）。由圖4不難看出，fn的函數(shù)值在x非?？拷?時非常接近1，從而不論n多么大，fn的圖像不可能在f的圖像上下平移充分小的范圍內(nèi)，這說明fn并非在區(qū)間I上一致收斂于f. 極限函數(shù)f的不連續(xù)性說明，將上述連續(xù)性定理中的“一致收斂”改為“收斂”后得到的命題并不成立。

從以上討論可以看出，對于有些問題的處理，可以比較容易地通過形象思維的方式構(gòu)造出反面的例子，從而可以加深學(xué)生對正面的結(jié)論的理解。

圖4

4嚴(yán)格推導(dǎo)在《數(shù)學(xué)分析》的教學(xué)和研究中起最根本的作用

從前面幾節(jié)對形象思維以及嚴(yán)格推導(dǎo)的討論中可以看出，在《數(shù)學(xué)分析》這門學(xué)科的教學(xué)和研究中，雖然形象思維提供了一些直觀理解，發(fā)揮了一些巧妙作用，但是從根本上來講，形象思維的作用是一種輔助性的，嚴(yán)格推導(dǎo)的作用才是最為根本重要的。數(shù)學(xué)理論是建立在嚴(yán)格推導(dǎo)的基礎(chǔ)之上的，我們只有進(jìn)行嚴(yán)格的數(shù)學(xué)推導(dǎo)，才能擁有步步為營的扎實基礎(chǔ)，這樣才能學(xué)得深、走得遠(yuǎn)。在本節(jié)中，我們再通過一個著名的例子來強調(diào)嚴(yán)格推導(dǎo)在《數(shù)學(xué)分析》這門學(xué)科中的重要性。

我們來看這樣一個問題：是否存在一個定義在實數(shù)軸上的處處連續(xù)但處處不可導(dǎo)的實值函數(shù)？

這個問題若通過畫函數(shù)圖像來判斷的話，往往會認(rèn)為答案是不存在。在研究和發(fā)展《數(shù)學(xué)分析》的理論的歷史上，曾經(jīng)有許多數(shù)學(xué)家認(rèn)為除了少數(shù)點外，一個定義在實數(shù)軸上的連續(xù)實值函數(shù)的圖像在大多數(shù)點處都應(yīng)該有切線（從而這個函數(shù)在大多數(shù)點可導(dǎo)）。實際上，這種基于圖像直觀的形象思維的判斷是不正確的。在1872年，數(shù)學(xué)家Weierstrass構(gòu)造了一個定義在實數(shù)軸上的實值函數(shù)，并證明了這個函數(shù)處處連續(xù)但處處不可導(dǎo)。他構(gòu)造的函數(shù)是

f（x）=ancos（bn x），

其中假定b為奇數(shù)且

01+

在1916年，數(shù)學(xué)家Hardy改進(jìn)了這個例子中對a與b的限制條件，只需要假定

0

即可，其中不需要b是整數(shù)。這個例子很好地說明了形象思維的局限性以及嚴(yán)格推導(dǎo)的重要性。對這個例子的嚴(yán)格推導(dǎo)證明有興趣的讀者可以讀讀參考文獻(xiàn)[4]。

5結(jié)束語

綜上所述，形象思維和嚴(yán)格推導(dǎo)在《數(shù)學(xué)分析》的教學(xué)中都有著重要作用并且在一定程度上是緊密相連的。形象思維具有簡潔性、啟發(fā)性和輔助性，在《數(shù)學(xué)分析》的教學(xué)中不可忽視，而嚴(yán)格推導(dǎo)具有系統(tǒng)性、嚴(yán)密性和深入性，在《數(shù)學(xué)分析》的教學(xué)中起最根本的作用。因此，任課教師在教學(xué)中一方面要注重培養(yǎng)學(xué)生的嚴(yán)格推導(dǎo)能力，另一方面要讓學(xué)生學(xué)會運用形象思維來輔助嚴(yán)格推導(dǎo)，從而才能達(dá)到較好的教學(xué)效果。

參考文獻(xiàn)

[1] 陳紀(jì)修，於崇華，金路.數(shù)學(xué)分析（第二版）[M].北京：高等教育出社，2004.

[2] 華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析（第四版）[M].北京：高等教育出版社，2010.

[3] 裴禮文.數(shù)學(xué)分析中的典型問題與方法（第二版）[M].北京：高等教育出版社，2006.

[4] Hardy，G.H.Weierstrasss non-differentiable function [J]. Transactions of the American Mathematical Society， 1916， 17（03）： 301-325.