湖南省綏寧縣瓦屋唐鎮(zhèn)瓦屋梅坪小學(xué)

從啟發(fā)式教學(xué)模式角度，對一個熟知的數(shù)學(xué)命題，引導(dǎo)學(xué)生做出大膽“類比、猜想”，并啟發(fā)學(xué)生分析證明思路，進(jìn)行論證，無疑是值得贊揚的教研探討模式之一.許多數(shù)學(xué)教師在教學(xué)及教學(xué)研究中提出這種“類比、猜想”，使用“大膽猜想、細(xì)心求證”方法以鍛煉和提高學(xué)生創(chuàng)新思維能力.文獻(xiàn)[1-5]對2009年《數(shù)學(xué)通報》第十期問題1818 進(jìn)行了研究.針對問題1818，施剛良老師等[1]提出如下類比猜想.

猜 想1[1]設(shè)i ＞0,i=1,2,··· ,n,n ∈?,n ≥則

猜想2[1]設(shè)k,n ∈N,ai ＞0,i=1,2,··· ,n,n ≥3,k ≥2.則

這時猜想2中的不等式轉(zhuǎn)化為，

近年來，作者未見有關(guān)文獻(xiàn)報道解決這兩個猜想.本文的目的是證明在一些情況這個猜想成立，而在另一些情況猜想不成立.

注記1由于(2)是(1)的推廣，因此猜想2是猜想1的推廣.

注記2當(dāng)n=3時，文[1],[2],[4]已經(jīng)證明(2)成立，文[3]給出證明了.當(dāng)n=3時(2)的一個推廣形式.我們注意到當(dāng)n ≥4,k=2時，(2)不成立，所以n ≥4,k ≥2時猜想2 不成立.事實上，當(dāng)mi=t ＞且t →+∞時，我們有

故當(dāng)mi ＞0(i=1,2,··· ,n-1)很大，而mn ＞0 很小時就有

故(2)當(dāng)n ≥4,k=2時不成立.例如取n=4,m1=m2=m3=10,m4=0.001，我們有m1m2m3m4=1 但是

類似地，當(dāng)k ≥1,n ＞k+1時，我們有

因此當(dāng)n ≥k+2,k ≥1時(2)不成立，所以此時猜想2也不成立.

定理1設(shè)n,k為整數(shù)，n ≥k+2,k ≥2,mi ＞0,i=則

等號成立當(dāng)且僅當(dāng)m1→0,mi →+∞,i=2,··· ,n.

證明容易知道有下確界α.所以對任意

于是對任意t ＞1 有從而

取t →+∞則立得α ≤1.

當(dāng)n ≥k+2時，我們考慮

其中被減數(shù)中有n(k+1)n-1項，合并同類項后常數(shù)項是n，其他項為

共計

其中減數(shù)中有(k+1)n項，合并同類項后常數(shù)項為1，其他項為

推出(3) 成立.容易看到(3)中等號成立當(dāng)且僅當(dāng)m1→0,mi →+∞,i=2,...,n定理證明完畢.

定理2設(shè)n,k為整數(shù)，2≥n ≥k+1,2≥k,mi ＞則

證明容易知道有下確界α.所以對任意

取t →0 則立得

當(dāng)2≤n ≤k+1時，我們考慮

其中被減數(shù)中有n(k+1)n項，合并同類項后常數(shù)項是n(k+1)，其他項為項.

這樣，被減數(shù)減去減數(shù)為

推出(4)成立.容易看到(4)中等號成立當(dāng)且僅當(dāng)xi=1,i=1,2,···,n.定理證明完畢.

定理3設(shè)x,y ＞0,xy=1,k ≥1.則

證明作輔助函數(shù)

容易計算當(dāng)x ∈(0,1)時，有

定理4設(shè)n ≤2,k ≤1為整數(shù)，xi ＞0,i=則

證明由于

只需證明

容易推出

而后者顯然成立.又

所以(6)中等號成立當(dāng)且僅當(dāng)xi →0,i=1,2,··· ,n -1,xn →+∞.定理證明完畢.

定理5設(shè)n,k為整數(shù)，2≤n ≤k+1,k ≥2,ai ＞0,i=1,2,··· ,n.則

證明取則于是(7)等價于

由定理1，定理2和定理4 結(jié)論得本定理不等式.定理證明完畢.