在數學領域，牛頓不等式以艾薩克・牛頓命名。假設 _a_1, _a_2, ..., _a_n 是實數，令 $\sigma _{k}$ 表示 _a_1, _a_2, ..., _a_n 上的 _k_ 階基本對稱多項式。那麼基本對稱均值

　
: $S_{k}={\frac {\sigma _{k}}{\binom {n}{k}}}$

滿足不等式

　
: $S_{k-1}S_{k+1}\leq S_{k}^{2},$

其中若且唯若所有 _a_i 相等時取等號。



證明

一個簡潔的證明是利用數學分析中的羅爾定理。設有 _n_ 個實數： $a_{1}\leq a_{2}\leq \cdots \leq a_{n}$ 。構造以 $-a_{1},-a_{2},\cdots ,-a_{n}$ 為根的多項式：

　
: $P=\prod _{k=1}^{n}(x+a_{k})$

這個多項式可以寫成：

　
: $P=\prod _{k=1}^{n}(x+a_{k})=\sum _{i=0}^{n}\sigma _{i}x^{n-i}=x^{n}+\sum _{i=1}^{n}{\binom {n}{i}}S_{i}x^{n-i}$

首先證明：存在另一組 _n_-1 個實數： $b_{1},b_{2},\cdots ,b_{n-1}$ ，使得它們的基本對稱均值 $S_{1}^{\prime },S_{2}^{\prime }\cdots ,S_{n-1}^{\prime }$ 恰好就是原來 _n_ 個實數的基本對稱均值中的前 _n_-1 個： $S_{1},S_{2}\cdots ,S_{n-1}$ 。

具體的方法是考察多項式 P 的導數多項式 $P^{\prime }$ 。根據羅爾定理，如果兩個實數 $-a_{i+1}$ 和 $-a_{i}$ 不相同，那麼他們之間必然存在一個數 $-b_{i}$ 使得 $P^{\prime }(-b_{i})=0$ 。而如果 $-a_{i}$ 是多項式 P 的一個 _j_ 次重根的話，那麼它也是 $P^{\prime }$ 的 _k_-1 次重根。所以， $P^{\prime }$ 一定有 _n_-1 個實根。設這些實根等於 $-b_{1},-b_{2},\cdots ,-b_{n-1}$ ，那麼：

　
: $P^{\prime }=n\prod _{k=1}^{n-1}(x+b_{k})=nx^{n-1}+\sum _{i=1}^{n-1}n{\binom {n-1}{i}}S_{i}^{\prime }x^{n-1-i}$

而同時：

　
: $P^{\prime }=nx^{n-1}+\sum _{i=1}^{n-1}(n-i){\binom {n}{i}}S_{i}x^{n-1-i}$

對比兩邊係數，就可以得到：

　
: $\forall 1\leq i\leq n-1,\,\,n{\binom {n-1}{i}}S_{i}^{\prime }=(n-i){\binom {n}{i}}S_{i}$

然而組合數中：

　
: $n{\binom {n-1}{i}}=(n-i){\binom {n}{i}}$

所以等式變成：

　
: $\forall 1\leq i\leq n-1,\,\,S_{i}^{\prime }=S_{i}$

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

　
: $S_{n-2}S_{n}\leq S_{n-1}^{2}$

這一項就行了。

下面證明這一點。首先，如果 $a_{i}$ 中有一個是 0，那麼不等式左邊的 $S_{n}=\prod _{k=1}^{n}a_{k}=0$ ，所以左邊等於 0，顯然小於右邊。而如果 $a_{i}$ 中沒有一個是 0 的話，那麼由於這個不等式是齊次不等式，所以可以假設 $\prod _{k=1}^{n}a_{k}=1$ 。這樣的話，不等式就變成：

　
: ${\frac {n(n-1)}{2}}\left(\sum _{k=1}^{n}{\frac {1}{a_{k}}}\right)^{2}\geq n^{2}\sum _{1\leq i<j\leq n}{\frac {1}{a_{i}a_{j}}}$

也就是

　
: $(n-1)\left(\sum _{k=1}^{n}{\frac {1}{a_{k}}}\right)^{2}\geq 2n\sum _{1\leq i<j\leq n}{\frac {1}{a_{i}a_{j}}}$

　
: $(n-1)\sum _{k=1}^{n}{\frac {1}{a_{k}^{2}}}+(n-1)\sum _{1\leq i<j\leq n}{\frac {2}{a_{i}a_{j}}}\geq 2n\sum _{1\leq i<j\leq n}{\frac {1}{a_{i}a_{j}}}$

　
: $(n-1)\sum _{k=1}^{n}{\frac {1}{a_{k}^{2}}}+(n-1)\sum _{1\leq i<j\leq n}{\frac {2}{a_{i}a_{j}}}\geq 2n\sum _{1\leq i<j\leq n}{\frac {1}{a_{i}a_{j}}}$

　
: $n\sum _{k=1}^{n}{\frac {1}{a_{k}^{2}}}\geq \sum _{k=1}^{n}{\frac {1}{a_{k}^{2}}}+2\sum _{1\leq i<j\leq n}{\frac {1}{a_{i}a_{j}}}=\left(\sum _{k=1}^{n}{\frac {1}{a_{k}}}\right)^{2}$

最後的不等式是均方不等式，必然成立。於是不等式得證。



與二次方程式判別式的關係

另一種證明方法涉及到一個高等數學中的結論作為引理：如果對於關於兩個變元的齊次多項式

　
: $F(x,y)=c_{0}x^{n}+c_{1}x^{n-1}y+\cdots +c_{n}y^{n}$

存在實數 $r_{1},r_{2}\cdots ,r_{n}$ ，使得當 ${\frac {x}{y}}=r_{k}$ 時就會有 $F(x,y)=0$ ，那麼這個多項式的任意次數的偏導數（仍然是齊次多項式）構成的方程式：

　
: ${\frac {\partial ^{i+j}F}{\partial x^{i}\partial y^{j}}}=0$

也會滿足這個條件：存在實數 $r_{1},r_{2}\cdots ,r_{n-i-j}$ ，使得當 ${\frac {x}{y}}=r_{k}$ 時就會有 ${\frac {\partial ^{i+j}F}{\partial x^{i}\partial y^{j}}}=0$

具體的證明是考慮上一節證明中用到的多項式：

　
: $P=\prod _{k=1}^{n}(x+a_{k})=\sum _{i=0}^{n}\sigma _{i}x^{i}=x^{n}+\sum _{i=1}^{n}{\binom {n}{i}}S_{i}x^{n-i}$

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

　
: $F(x,y)=\sum _{i=0}^{n}\sigma _{i}x^{i}=x^{n}+\sum _{i=1}^{n}{\binom {n}{i}}S_{i}x^{n-i}y^{i}$

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

　
: ${\frac {\partial ^{n-2}F}{\partial x^{n-k-1}\partial y^{k-1}}}=0$

這個方程式可以寫成

　
: $S_{k-1}x^{2}+2S_{k}xy+S_{k+1}y^{2}=0$

根據引理，對應二次方程式 $S_{k-1}t^{2}+2S_{k}t+S_{k+1}=0$ 有兩個實根。從而這個方程式的判別式大於等於零，也就是說：

　
: $S_{k-1}S_{k+1}\leq S_{k}^{2}$

從這個證明可以看出，牛頓不等式也是對應著一個二次方程式的判別式條件，如同柯西不等式一樣。利用判別式的性質，可以得到一系列類似於牛頓不等式的不等式。



歷史

這個不等式首先被牛頓用來作為估計實係數多項式的虛根的個數的一個方法。牛頓在他的著作《廣義算術》（Arithmetica Universalis）的第二章第二節中不加任何證明地提出了一個斷言：多項式

 $P=\prod _{k=1}^{n}(x+a_{k})$
中虛根的個數等於不等式 $S_{k-1}S_{k+1}\leq S_{k}^{2}$ 中不成立的個數。換句話說，如果多項式只有實根而沒有虛根，那麼以上的多項式對所有的 _k_ 都應該成立。1729 年，麥克勞林已經給出了一個直接的證明，但這個問題的圓滿解決要等到 1865 年，西爾維斯特證明了一個非同一般的更廣泛結果為止。



參閱


* 麥克勞林不等式



註釋



參考文獻


* Newton, Isaac. Arithmetica universalis: sive de compositione et resolutione arithmetica liber. 1707.

* P. S. Bullen. Handbook of Means and Their Inequalities. Springer. 2003. ISBN 978-1-402-01522-9.

* 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.



外部連結


* Journal of Inequalities in Pure and Applied Mathematics