摘 要：Mathematica是美國Wolfram公司研制開發(fā)的數(shù)學計算軟件系統(tǒng)，它很好地結(jié)合了數(shù)值和符號計算引擎、圖形系統(tǒng)、編程語言、文本系統(tǒng)及與其他應用程序的高級連接。自1987年發(fā)布系統(tǒng)的1.0版本開始便迅速流行起來，后經(jīng)不斷改進和完善，于2017年推出了11.0中文漢化版本。Mathematica功能強大，已廣泛應用于各個領(lǐng)域。目前，Mathematica在中學數(shù)學教學中應用還不是很多，本文將分享一些應用案例和研究心得。

關(guān)鍵詞：Mathematica；中學數(shù)學教學；教學改革

作者簡介：甘哲，湖南教育出版社。（湖南 長沙 410000）

中圖分類號：G622 文獻標識碼：A 文章編號：1671-0568（2018）13-0061-02

Mathematica是美國Wolfram公司研制開發(fā)的數(shù)學計算軟件系統(tǒng)，很好地結(jié)合了數(shù)值和符號計算引擎、圖形系統(tǒng)、編程語言、文本系統(tǒng)及與其他應用程序的高級連接。自1987年發(fā)布系統(tǒng)的1.0版本開始便迅速流行起來，后經(jīng)不斷改進和完善，于2017年推出了11.0中文漢化版本。Mathematica功能強大，已應用于各個領(lǐng)域。目前，Mathematica在中學數(shù)學教學中應用還不是太多，本文將分享一些應用案例和研究心得。

一、符號計算

著名的數(shù)學家萊布尼茨（Gottfried Wilhelm Leibniz）說過：“讓一些杰出的人才奴隸般地把時間浪費在計算上是不值得的?！彼释谐蝗漳苡糜嬎銠C把科學家從這奴隸般的計算中解放出來。計算機的誕生，是為了應對大量復雜的計算。最開始僅限于數(shù)值計算，后來隨著計算機的發(fā)展，人們希望用來處理數(shù)學符號的演算，也稱計算機代數(shù)。簡單地說，就是用符號運算代替了數(shù)的運算，這里的符號可以代表整數(shù)，有理數(shù)，實數(shù)和復數(shù)，也可以代表多項式，函數(shù)，還可以代表數(shù)學結(jié)構(gòu)等?，F(xiàn)在，人們已經(jīng)開始利用計算機代數(shù)發(fā)現(xiàn)、驗證、證明和解決許許多多的數(shù)學問題，符號計算的方法和能力正顯示出巨大的優(yōu)勢。

■+■≈0.8333是數(shù)值計算，得到近似結(jié)果。而■+■=■，則是符號計算，得到準確結(jié)果。32-22=5是數(shù)值計算，x2-y2=（x-y）（x+y）則是符號計算。目前的計算機甚至能將圖片當作符號進行處理。顯然這樣的操作，有利于學生理解記憶數(shù)學公式。

二、大數(shù)計算

在不少資料上，有類似的教學設(shè)計：

教師：現(xiàn)在來做一個數(shù)學游戲，請大家來搶答，今天是星期一，那么10天后是星期幾？

學生：是星期四。

教師：100天后是星期幾？

學生：是星期三。

教師：8100天之后是星期幾？（巨大的數(shù)字讓學生感到茫然，短暫的思考后出現(xiàn)了轉(zhuǎn)機）

學生：8100=（7+1）100展開后最后一項肯定是1，而前面各項都是7的倍數(shù)，所以8100被7除，余數(shù)是1，8100天后是星期二。

教師：傾畢生之精力也難以將8100的具體數(shù)值算出來，就連計算器也無能為力，但在數(shù)學真理面前卻是“小菜一碟”，顯示出數(shù)學理性精神的光輝與無比的威力、魅力。想知道8100=（7+1）100的展開式是什么嗎？今天我們一起學習二項式定理。

這樣的設(shè)計比較常見，用問題入手，引出要講的知識點，二項式定理也確實是解決此類問題的利器。問題是，真的傾畢生之精力也難以將8100的具體數(shù)值算出來，就連計算器也無能為力嗎？使用符號計算軟件，一瞬間就可以得到結(jié)果：

2037035976334486086268445688409378161051468393665936250636140449354381299763336706183397376。

這反映了設(shè)計者不了解計算機能做什么。事實上，計算機能做這些“出人意料”的事情，正突顯了數(shù)學的巨大優(yōu)勢，絲毫不影響二項式定理的“光輝形象”。

三、算法編程

1976年的一天，《華盛頓郵報》于頭版頭條報道了一則數(shù)學新聞。文中記敘了這樣一個故事：70年代中期，美國各所名牌大學校園內(nèi)，人們都像發(fā)瘋一般，夜以繼日，廢寢忘食地玩弄一種數(shù)學游戲。這個游戲十分簡單：任意寫出一個自然數(shù)N，并且按照以下的規(guī)律進行變換：如果是個奇數(shù)，則下一步變成3N+1。如果是個偶數(shù)，則下一步變成N/2。不單單是學生，甚至連教師、研究員、教授都紛紛加入。為什么這種游戲的魅力經(jīng)久不衰？因為人們發(fā)現(xiàn)，無論N是怎樣一個數(shù)字，最終都無法逃脫回到谷底1。準確地說，是無法逃出落入底部的4-2-1循環(huán)。這就是著名的“冰雹猜想”。

當執(zhí)行下面簡單的幾行代碼后，計算機就會快速返回計算結(jié)果。

Collatz[n_]：=If[EvenQ[n]，n/2，3n+1]

Collatz3[n_]：=Nest[Collatz，n，3]

FixedPointList[Collatz3，31]

{31，142，107，484，364，274，206，155，700，526，395，1780，1336，167，754，566，425，319，1438，1079，4858，3644，2734，2051，9232，1154，866，650，488，61，46，35，160，20，16，2，2}

也可以通過搜索計算，窮舉一些式子的可能性。有這樣一道數(shù)字謎題：

在方格內(nèi)填寫1，2，……9九個數(shù)字，使得等式成立。

共有10組答案，單靠人力是很難完全解出來的。

四、繪制函數(shù)與探究最值

1. 繪制函數(shù)。函數(shù)圖像是研究函數(shù)性質(zhì)、解決函數(shù)相關(guān)問題的重要工具，主要考查函數(shù)解析式與函數(shù)圖像的關(guān)系，重點考查識圖、用圖、畫圖等方面的能力，多以選擇題、填空題的形式出現(xiàn)，函數(shù)的圖像是數(shù)形結(jié)合的典范，縱觀近幾年高考試題，函數(shù)圖像考查涉及的面廣，形式靈活，經(jīng)常以新面孔出現(xiàn)，是每年的必考內(nèi)容。而手工繪制函數(shù)存在較大誤差，會影響學生的認知和判斷，因此使用計算機作圖是很有必要的（圖1）。

2. 探究函數(shù)最值。所謂無巧不成題。題目的數(shù)據(jù)常常是精心設(shè)置的，稍微改動一下就會出現(xiàn)問題。譬如某題：“若a>0，b>0，a+2b=1，求a2+b2+■■的最小值?！北桓某伞叭鬭>0，b>0，a+2b=1，求a2+b2+■的最小值。”看似改動之后變簡單了，實則不然。通過計算機計算，看看a和b為何值時，函數(shù)值取得最小值。發(fā)現(xiàn)改變后的題目，計算結(jié)果要復雜很多。

In[19]：=FindMinimum[{a2+b2}+■，a+2b=1 && a>0 && b>0}，{a，b}]

Out[19]={0.85，{a？邛0.4，b？邛0.3}}

In[20]=FindMionimum[{a2+b2+■，a+2b=1 &&a; >0 && b>0}，{a，b}]

Out[20]={8.30827，{a？邛0.4，88733，b？邛0.255634}}

此外，Mathematica的應用還有很多。包括繪制完全圖圖2，繪制分形圖圖3等。相信隨著Mathematica在中學數(shù)學的應用越來越深入，必然還將有更多的發(fā)現(xiàn)。

五、探究軌跡與數(shù)列

1. 探究軌跡。解析幾何中要求學生探究動點與多定點之間的關(guān)系，除了加減乘除，還有很多超出老師預期的。譬如下面兩例：

例1：已知點P（2，0），Q（1，0），MP*MQ=10，探究點M的軌跡。輸入：ContourPlot[（（x-2）^2+y^2）^（1/2）*（（x-8）^2+y^2）^（1/2）==10，{x，0，10}，{y，-2，2}]，執(zhí)行得到圖4。

例2：已知點P（2，0），Q（1，0），MP^3=MQ，探究點M的軌跡。輸入：ContourPlot[（（x-2）^2+y^2）^（1/2）^3==（（x-1）^2+y^2）^（1/2），{x，-1，2}，{y，-1.5，1.5}]，執(zhí)行得到圖5。

2. 探究數(shù)列。已知數(shù)列{an}滿足a1=1，a2=3，an+2=3an+1-2an，求數(shù)列{an}的通項公式。（2006年福建高考試題文科22題）

此題用計算機可快速解答，只需執(zhí)行下面語句，就可以得到通項公式為：

RSolve[{a[n+2]==3a[n+1]-2a[n]，a[1]==1，a[2]==3}，a[n]，n]

{{a[n]->-1+2n}}

參考文獻：

[1] 金榮樂.Mathematica系統(tǒng)在初中數(shù)學中的應用與實踐[J].數(shù)學學習與研究，2008，（1）.