在數學領域,牛頓不等式以艾薩克·牛頓命名。假設 a1, a2, ..., an 是實數,令
表示 a1, a2, ..., an 上的 k 階基本對稱多項式。那麼基本對稱均值

滿足不等式

其中當且僅當所有 ai 相等時取等號。
一個簡潔的證明是利用數學分析中的羅爾定理。設有n 個實數:
。構造以
為根的多項式:

這個多項式可以寫成:

首先證明:存在另一組n-1 個實數:
,使得它們的基本對稱均值
恰好就是原來n 個實數的基本對稱均值中的前n-1 個:
。
具體的方法是考察多項式P的導數多項式
。根據羅爾定理,如果兩個實數
和
不相同,那麼他們之間必然存在一個數
使得
。而如果
是多項式P的一個j 次重根的話,那麼它也是
的k-1 次重根。所以,
一定有n-1 個實根。設這些實根等於
,那麼:

而同時:

對比兩邊係數,就可以得到:

然而組合數中:

所以等式變成:

這樣便找到了n-1 個實數來「代替」原來的n 個實數,使得基本對稱均值的前n-1 個都不變。這樣子,對於任意的
,經過若干次變換後,可以轉化成k+1 個實數,使得基本對稱均值
變成最「靠邊」的那一項。實際上,以上的轉換說明:只需要證明

這一項就行了。
下面證明這一點。首先,如果
中有一個是0,那麼不等式左邊的
,所以左邊等於0,顯然小於右邊。而如果
中沒有一個是0的話,那麼由於這個不等式是齊次不等式,所以可以假設
。這樣的話,不等式就變成:

也就是




最後的不等式是均方不等式,必然成立。於是不等式得證。
另一種證明方法涉及到一個高等數學中的結論作為引理:如果對於關於兩個變元的齊次多項式

存在實數
,使得當
時就會有
,那麼這個多項式的任意次數的偏導數(仍然是齊次多項式)構成的方程:

也會滿足這個條件:存在實數
,使得當
時就會有
具體的證明是考慮上一節證明中用到的多項式:

將它改寫成關於兩個變元的多項式:

這個多項式滿足引理的條件,所以只要考慮它的一個特定的偏導數方程:

這個方程可以寫成

根據引理,對應二次方程
有兩個實根。從而這個方程的判別式大於等於零,也就是說:

從這個證明可以看出,牛頓不等式也是對應着一個二次方程的判別式條件,如同柯西不等式一樣。利用判別式的性質,可以得到一系列類似於牛頓不等式的不等式[1]。
這個不等式首先被牛頓用來作為估計實係數多項式的虛根的個數的一個方法。牛頓在他的著作《廣義算術》(Arithmetica Universalis)的第二章第二節中不加任何證明地提出了一個斷言:多項式
中虛根的個數不小於數列
變號的次數。換句話說,如果多項式只有實根而沒有虛根,那麼這個數列恆為非負。1729年,麥克勞林已經給出了一個直接的證明,但這個問題的圓滿解決要等到1865年,西爾維斯特證明了一個非同一般的更廣泛結果為止[1]。
- Maclaurin, C. A second letter to Martin Folks, Esq.; concerning the roots of equations, with the demonstration of other rules in algebra,. Phil. Transactions,. 1729, 36: 59–96.