一個(gè)猜想的微分法證明及推廣

薛惠良，湯炳興

（1.常熟市中學(xué)，江蘇常熟 215500；2.常熟理工學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，江蘇常熟 215500）

一個(gè)猜想的微分法證明及推廣

薛惠良1，湯炳興2

（1.常熟市中學(xué)，江蘇常熟 215500；2.常熟理工學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，江蘇常熟 215500）

利用排序不等式證明猜想（1）的輪換對(duì)稱不等式（2）；把所給出的命題建模為二元函數(shù)，使用二元函數(shù)極值的判定定理給出猜想的證明；同時(shí)把猜想中的指數(shù)從正整數(shù)k推廣到了實(shí)數(shù)R+；當(dāng)k=1時(shí)，對(duì)稱式（2）就是著名的內(nèi)斯比特不等式的推廣.最后把猜想（1）推廣到更一般的情形，得到命題③和④.

輪換對(duì)稱；排序不等式；偏微分；極值定理；內(nèi)斯比特不等式；推廣

1 引言

《數(shù)學(xué)通報(bào)》2009年10月第1818號(hào)數(shù)學(xué)問題如下：

設(shè)a,b,c∈R+,試證：

文獻(xiàn)[1]把1818號(hào)問題作了等價(jià)變形，并給出了命題：a,b,c∈R+,k∈N,k≥2

不等式（1）當(dāng)k=2,3,4,6時(shí)成立，并猜想k對(duì)于任意不小于2的整數(shù)均成立.

2 主要結(jié)果

首先證明（1）的輪換對(duì)稱式：a,b,c∈R+,k∈N,k≥2

成立.

其次用微分法證明當(dāng)k＞1，（k∈R）時(shí)（1）式成立，當(dāng)0＜k＜1，（k∈R）時(shí)（1）式的不等號(hào)反向成立；再探究當(dāng)k=1時(shí)（1）式不成立及（2）式成立的背景.

2.1 不等式（2）的證明

故命題②成立.

2.2.2 在A最值存在條件下，用初等方法探究A的最小值

設(shè)a,b,c∈R+,k∈N,k≥2，

樣就有

的最小值為2t.

由（3）、（4）、（5）、（9）得

當(dāng)且僅當(dāng)a=b=c時(shí)等號(hào)成立.

2.3 探究當(dāng)k=1時(shí)不等式（1）與（2）的成立與否

當(dāng)k=1時(shí)不等式（2）顯然成立，即a,b,c∈R+,則有

（10）式顯然是內(nèi)斯比特不等式.事實(shí)上，當(dāng)a,b,c∈R+時(shí)，由柯西不等式得

故不等式（1）不能成立.

對(duì)于k元一次齊次式，我們有：若ai∈R+,i=1,2,???,k，k∈N,k≥2,則

不等式（11）是內(nèi)斯比特不等式的推廣.

2.4 不等式（1）的推廣

命題③若ai∈R+,i=1,2,???n,k∈R,k＞1，則有，

用命題②③的證明過程，容易得到命題④的證明.

[1]蔡祖才.數(shù)學(xué)問題1818的等價(jià)式推廣[J].數(shù)學(xué)通報(bào)，2010（12）：58．

[2]常庚哲，史濟(jì)懷.數(shù)學(xué)分析教程[M].北京：高等教育出版社，2003．

Proof and Generalization of a Method of Differentiation Hypothesis

XUE Hui-liang1,TANG Bing-xing2
(1.Changshu Middle School,Changshu 215500,China; 2.School of Mathematics and Statistics,Changshu Institute of Technology,Changshu 215500,China)

Sorting algorithm and inequality is used to testify rotation symmetric inequality(2)of hypothesis(1);the propositions are utilized to model binary function,and the laws of two variable extreme value are used to prove the hypothesis.Meanwhile,the hypothesis spreads exponents from positive integer K to real number R+;When K=1, symmetric expression(2)is the spread of Nesbitt’s inequality.In the end,hypothesis(1)can be generalized to more common conditions,thus concluding proposition③and proposition④.

rotational symmetry;sorting algorithm and inequality;partial differential;laws of two variable extreme value;Nesbitt’s inequality;generalization

0172.1

A

1008-2794（2012）04-0041-05

2012-01-08

薛惠良（1957—），男，江蘇常熟人，江蘇省常熟市中學(xué)高級(jí)教師.