彭翕成 曹洪洋

(1.華中師范大學 國家數(shù)字化學習工程技術(shù)研究中心 430079；2.常州九章教育科技有限公司 213002)

數(shù)學命題是數(shù)學研究的重要部分.如果沒有好的題目源源不斷地“生產(chǎn)”出來，解題研究也難以持續(xù)發(fā)展.然而，發(fā)現(xiàn)一個好的命題并不容易.

設(shè)a，b，c為正數(shù)(下同)，求證：a3+b3+c3≥3abc+a(b-c)2+b(c-a)2+c(a-b)2.

這是華東師范大學《數(shù)學教學》(1985年第三期)上的一題.供題人冷崗松教授在《數(shù)學競賽試題的若干命題策略》中講述此題的發(fā)現(xiàn)經(jīng)歷.他給學生講解瑞典1983年試題abc≥(-a+b+c)·(a+b-c)(a-b+c)時，一個學生采取“暴力展開”，于是有了發(fā)現(xiàn).

我們簡單還原一下.展開計算

abc-(-a+b+c)(a+b-c)(a-b+c)

=a3+b3+c3-a2b-ab2-b2c-bc2-a2c-ac2+3abc

=a3+b3+c3-3abc-a2b-ab2-b2c-bc2-a2c-ac2+6abc

=a3+b3+c3-3abc-a(b-c)2-b(c-a)2-c(a-b)2,

于是

abc≥(-a+b+c)(a+b-c)(a-b+c)

等價于

a3+b3+c3

≥3abc+a(b-c)2+b(c-a)2+c(a-b)2.

這一發(fā)現(xiàn)的過程抽象出來，即是曾經(jīng)研究問題A，后來研究問題B，發(fā)現(xiàn)A和B之間的關(guān)聯(lián)，于是得到命題C.這從側(cè)面反映出命題之艱辛.首先是命題者需要長期積累，掌握足夠多的素材，然后在接收新信息時，新老信息相互撞擊，才可能有新的發(fā)現(xiàn).此題若沒有學生的“魯莽”計算，發(fā)現(xiàn)也將擦身而過.說明命題除了需要大量積累和廣泛聯(lián)系，有時可能還需要一點運氣.

有沒有簡單的方法，量產(chǎn)數(shù)學命題，就像現(xiàn)在的工農(nóng)業(yè)已經(jīng)實現(xiàn)機械化生產(chǎn)一樣？本文將以三元算術(shù)幾何均值不等式的加強為例，分享我們借助計算機探索命題的心得.

1 建立模型

由于目前的計算機還不能像人一樣思考問題，所以我們需要將研究問題轉(zhuǎn)化成計算機能處理的形式，或者說是將研究問題具體化：探索a3+b3+c3≥3abc+T，其中T≥0.為了使研究不致于漫無目的，需確定T的形式以及相關(guān)參數(shù)的范圍，以便操作.這也是建立模型的過程.

設(shè)T=f(a,b,c)+f(b,c,a)+f(c,a,b)，f(a,b,c)=k1(a+k2b+k3c)(k4a+k5b+k6c)2，

這樣所得的T是循環(huán)對稱多項式，符合我們的習慣審美.而f(a,b,c)的形式是憑經(jīng)驗建立，并不能保證這樣形式的T一定存在，還需試驗檢驗.如不要求T是循環(huán)對稱式，或是放開參數(shù)的范圍，可得到更多的T.

根據(jù)乘法原理，T的可能取值為3×5×5×5×5×5=9375個，遠超過人工所能處理的范圍.由于變量實在太多，即使借助計算機，解不等式a3+b3+c3≥3abc+T≥3abc也頗為不易.我們此處不解不等式，而是搜索驗證給定范圍內(nèi)符合要求的T.下面借助符號計算軟件Mathematica來進行處理.

2 數(shù)據(jù)分析

對于可能的9375個T，每一個T都對應(yīng)著不等式a3+b3+c3≥3abc+T≥3abc.這其中絕大多數(shù)T不符合要求.而排除不合要求的T，最直接的方式就是舉反例.

篩選數(shù)據(jù)計算機隨機生成一組正數(shù)，賦值給a,b,c，并對9375個不等式a3+b3+c3≥3abc+T≥3abc進行驗證，可排除部分T.對這一操作重復(fù)執(zhí)行3000次，能通過數(shù)值驗算的T只有幾十個.

如a(b-c)2+b(c-a)2+c(a-b)2與a(c-b)2+c(b-a)2+b(a-c)2，看似有差別，實則一樣，保留一個即可.最后，我們選取如下8個.

a2(a-b)+b2(b-c)+c2(c-a)……(t7)，

a(b-c)2+b(c-a)2+c(a-b)2……(t8).

3 證明檢驗

特例法，我們?nèi)粘＝忸}時也經(jīng)常用，只不過人工舉例，特例的個數(shù)少，可能出錯的可能性就大.而利用計算機的快速計算，經(jīng)過上千次的檢驗，錯誤的可能性就低.因此所得的8個T，大概率保證是符合要求的.為進一步檢驗這些不等式的正確性，我們將GroebnerBasis算法加以改進，讓計算機自動生成多項式之間的關(guān)系式，也就是將要求證的關(guān)系式改寫成若干非負項之和：

對于t1，不妨設(shè)c=min(a,b,c)，

a3+b3+c3-3abc

因此a3+b3+c3≥3abc+t1≥3abc得證.

對于t2，

a3+b3+c3-3abc

+b(a-c)2+c(b-a)2；

=a(a-b)(a-c)+b(b-a)(b-c)+c(c-a)(c-b)(舒爾不等式形式)；

因此a3+b3+c3≥3abc+t2≥3abc得證.

對于t3，

a3+b3+c3-3abc

因此a3+b3+c3≥3abc+t3≥3abc得證.

對于t4，

a3+b3+c3-3abc

因此a3+b3+c3≥3abc+t4≥3abc得證.

剩余4式，證法基本類似，留與讀者證明.

4 直觀顯示

一次得到多個結(jié)論的同時，又有新問題冒出，即所得這些T之間的相互比較.首先要注意存在兩個T無法比較的可能.譬如t1和t2.

當a=1，b=1，c=2時，

當a=2，b=1，c=2時，

所以t1和t2之間不可比較.

我們?nèi)圆捎脭?shù)值檢驗方法.從T中任選兩項ti和tj，計算得到ti-tj的正負號，隨機對a,b,c賦值，重復(fù)執(zhí)行3000次.若1000次結(jié)果都為非負，輸出ti≥tj；若3000次結(jié)果都為非正，輸出ti≤tj；其余情況，則不輸出.

為了更直觀地顯示，有必要借助圖論中有向圖的概念，將一個T看成一個點，若ti≤tj，則ti→tj，即生成一條有向邊，不等式中較小的項指向較大的項，于是可得到一個不等式的關(guān)系圖(圖1).正如上文所說，t1和t2之間不可比較，因此兩者之間無邊相連.另外，t6,t8不在圖1中，說明這兩個T互相之間不可比較.

圖1

如果設(shè)a3+b3+c3……(t9)，3abc……(t10)，重新生成不等式關(guān)系圖(圖2).因為多了可比較對象，因此t6,t8在圖2中出現(xiàn).顯然t9最大，而t10與t1～t8無法比較強弱.

至此，我們通過建立模型、分析數(shù)據(jù)、證明檢驗、直觀顯示四個步驟，探索了三元均值不等式的加強，所得的結(jié)論可為教學、考試、研究等提供素材.本文研究如果單靠人工，需花費較多時間.而這樣的工作量對于計算機則是小菜一碟.在考慮成熟，建立合適的模型以及編寫好程序之后，計算機輸出8個T以及作圖1、2，總共無需2分鐘，這樣就能把節(jié)省下來的時間投入到更有創(chuàng)造力的研究中去.

萊布尼茲認為，一個出色的人像奴隸一樣把時間浪費在計算上是不值得的.如果有了機器，這種工作可以放心地交給任何人.意思是不要把時間浪費在加減乘除這樣煩瑣的腦力勞動上.推而廣之，還有哪些腦力勞動可以讓計算機來幫助完成？吳文俊先生認為這其中大有可為.工業(yè)革命是使用某種機器來減輕甚至代替體力勞動，現(xiàn)在是信息技術(shù)時代，可利用計算機來減輕甚至代替腦力勞動.計算機對于數(shù)學家，勢將與顯微鏡對于生物學家，望遠鏡對于天文學家那樣不可或缺.計算機提供了有力工具，使數(shù)學有 可能像其他自然科學一樣，躋身科學試驗行列.

目前初等數(shù)學的研究，主要還是紙筆手算.大數(shù)據(jù)時代，數(shù)學建模和數(shù)據(jù)分析已成為中學數(shù)學需要培養(yǎng)的核心素養(yǎng).能否針對要研究的初等數(shù)學問題建立數(shù)學模型，并借助計算機進行數(shù)據(jù)計算和分析，批量處理一類問題？本文的探索表明，完全可行.同時本文也為中學數(shù)學建模提供了參考案例.由于中學生知識水平、投入精力等多方面的限制，研究一些生活、生產(chǎn)問題存在多方面的困難，而研究初等數(shù)學內(nèi)部的一些問題可能更具有可操作性.