王偉業(yè)

摘 要：關(guān)于均值不等式的證明方法有很多，數(shù)學歸納法（第一數(shù)學歸納法或反向歸納法）、拉格朗日乘數(shù)法、琴生不等式法、排序不等式法、柯西不等式法等等，都可以證明均值不等式?，F(xiàn)在來考慮用非線性規(guī)劃的方法來證明An≤Qn，

其中，。非線性規(guī)劃研究的對象是非線性函數(shù)的數(shù)值最優(yōu)化問題，它的理論和方法滲透到許多方面，特別是在軍事、經(jīng)濟、管理、生產(chǎn)過程自動化、工程設(shè)計和產(chǎn)品優(yōu)化設(shè)計等方面都有著重要的應(yīng)用。

關(guān)鍵詞：非線性規(guī)劃;均值不等式;K-T條件

一、非線性規(guī)劃概述

非線性規(guī)劃（nonlinear programming）是具有非線性約束條件或目標函數(shù)的數(shù)學規(guī)劃，是運籌學的一個重要分支。非線性規(guī)劃研究一個 n元實函數(shù)在一組等式或不等式的約束條件下的極值問題，且 目標函數(shù)和約束條件至少有一個是未知量的非線性函數(shù)。目標函數(shù)和約束條件都是線性函數(shù)的情形則屬于線性規(guī)劃。非線性規(guī)劃是20世紀50年代才開始形成的一門新興學科。1951年H.W.庫恩和A.W.塔克發(fā)表的關(guān)于最優(yōu)性條件（后來稱為庫恩-塔克條件）的論文是非線性規(guī)劃正式誕生的一個重要標志。在50年代還得出了可分離規(guī)劃和二次規(guī)劃的n種解法，它們大都是以G.B.丹齊克提出的解線性規(guī)劃的單純形法為基礎(chǔ)的。50年代末到60年代末出現(xiàn)了許多解非線性規(guī)劃問題的有效的算法。20世紀80年代以來，隨著計算機技術(shù)的快速發(fā)展，非線性規(guī)劃方法取得了長足進步，在信賴域法、稀疏擬牛頓法、并行計算、內(nèi)點法和有限存儲法等領(lǐng)域取得了豐碩的成果。處理非線性的優(yōu)化問題并非易事，它沒有一個像線性規(guī)劃中單純形法那樣的通用算法，而是根據(jù)問題的不同特點給出不同的解法，因而這些解法均有各自的適用范圍。

二、用非線性規(guī)劃方法證明均值不等式

下文所提到的x均表示n維向量。我們只考慮帶約束的非

線性規(guī)劃問題，求解這類問題的方法也稱約束最優(yōu)化方法。引進它的Lagrange函數(shù)如下：其中系數(shù)叫做Lagrange乘子。利用它的

Lagrange函數(shù)，K-T條件可寫為，對變量x的梯度向

量。在一般情況下，K-T條件的解稱為K-T點，作為K-T點，除了滿足上述條件之外，當然還應(yīng)該滿足可行性的條件，求一個約束非線性化問題的K-T點時，我們往往需要結(jié)合K-T條件與可行性條件。一個解是約束非線性規(guī)劃問題的最優(yōu)解的必要條件是這個點是K-T點，在一定的凸性條件下，可以證明上述K-T條件亦是約束非線性規(guī)劃問題最優(yōu)解的充分條件。

定理1：對于約束非線性規(guī)劃問題，若在點x處連續(xù)可微，若約束非線性規(guī)劃問題的可行點x滿足它的K-T條件，且是凸函數(shù)，是線性函數(shù)，則x是約束非線性規(guī)劃問題的最優(yōu)解。定理的證明從略。

K-T條件是由Kuhn和Tucker在1951年提出的關(guān)于約束非線性規(guī)劃問題最優(yōu)解的著名必要條件。而且對于一些具有凸性要求的凸規(guī)劃問題，Kuhn和Tucker的條件也是它的最優(yōu)解的充分條件。后來求解約束非線性規(guī)劃的著名方法簡約梯度法就是基于K-T條件設(shè)計的。而Kuhn和Tucker提出條件時也運用了數(shù)學中求極值時常用的一種方法——拉格朗日乘子法。

下面就利用約束非線性規(guī)劃問題的K-T條件來證明所說的

均值不等式。考慮如下凸規(guī)劃：，它的拉格朗日函數(shù)為L，所以可以寫出它

的K-T條件為，解它的K-T條件可以得到這個約束非線性規(guī)劃問題的K-T點為。又因為此約束非線性規(guī)劃問題是凸規(guī)劃，所以此解即為原問題的最優(yōu)解。把最優(yōu)解帶入原問題可得最優(yōu)值為，其中

，所以有，整理即為。

可以看到，用非線性規(guī)劃的方法，準確地說是約束最優(yōu)化方法來證明均值不等式另辟蹊徑、方法新穎、更加簡潔明了，而且它的意義是不言而喻的：這種證明方法不同于以往那些純代數(shù)的證明方法，它將更偏向于幾何的約束最優(yōu)化法同代數(shù)聯(lián)系了起來。