查看“︁牛頓不等式”︁的源代码

{{NoteTA |G1=Math}}
在[[数学]]领域，'''牛顿不等式'''以[[艾萨克·牛顿]]命名。假设 ''a''<sub>1</sub>,&nbsp;''a''<sub>2</sub>,&nbsp;...,&nbsp;''a''<sub>''n''</sub> 是[[实数]]，令 <math>\sigma_k</math> 表示 ''a''<sub>1</sub>,&nbsp;''a''<sub>2</sub>,&nbsp;...,&nbsp;''a''<sub>''n''</sub> 上的 ''k'' 阶[[對稱多項式#基本對稱多項式|基本对称多项式]]。那么'''基本对称均值''' 

:<math>S_k = \frac{\sigma_k}{\binom{n}{k}}</math>

满足[[不等式]]

:<math>S_{k-1}S_{k+1}\le S_k^2,</math>

其中当且仅当所有 ''a''<sub>''i''</sub> 相等时取等号。

== 证明 ==
一个简洁的证明是利用[[数学分析]]中的[[罗尔定理]]。设有''n'' 个实数：<math>a_1 \le a_2 \le  \cdots \le a_n</math>。构造以<math>-a_1, -a_2, \cdots, -a_n</math>为[[根 (数学)|根]]的多项式：
:<math>P = \prod_{k=1}^n (x+a_k)</math>
这个多项式可以写成：
:<math>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}</math>

首先证明：存在另一组''n''-1 个实数：<math>b_1, b_2, \cdots , b_{n-1}</math>，使得它们的基本对称均值<math>S_1^{\prime}, S_2^{\prime} \cdots , S_{n-1}^{\prime}</math> 恰好就是原来''n'' 个实数的基本对称均值中的前''n''-1 个：<math>S_1, S_2 \cdots , S_{n-1}</math>。

具体的方法是考察多项式'''P'''的[[导数]]多项式<math>P^{\prime}</math>。根据罗尔定理，如果两个实数<math>-a_{i+1}</math> 和<math>-a_i</math> 不相同，那么他们之间必然存在一个数<math>-b_i</math>使得<math>P^{\prime} (-b_i) = 0</math>。而如果<math>-a_i</math> 是多项式'''P'''的一个''j'' 次重根的话，那么它也是<math>P^{\prime}</math> 的''k''-1 次重根。所以，<math>P^{\prime}</math> 一定有''n''-1 个实根。设这些实根等于<math>-b_1, -b_2, \cdots, -b_{n-1}</math>，那么：
:<math>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}</math>
而同时：
:<math>P^{\prime} = nx^{n-1} + \sum_{i=1}^{n-1} (n-i) \binom{n}{i} S_i x^{n-1-i} </math>
对比两边系数，就可以得到：
:<math>\forall 1 \le i \le n-1, \, \, n\binom{n-1}{i} S_i^{\prime} = (n-i) \binom{n}{i} S_i</math>
然而组合数中：
:<math> n\binom{n-1}{i} = (n-i) \binom{n}{i} </math>
所以等式变成：
:<math>\forall 1 \le i \le n-1, \, \, S_i^{\prime} = S_i </math>

这样便找到了''n''-1 个实数来“代替”原来的''n'' 个实数，使得基本对称均值的前''n''-1 个都不变。这样子，对于任意的<math>1 \le k \le n-1</math>，经过若干次变换后，可以转化成''k''+1 个实数，使得基本对称均值<math>S_{k-1}, S_k, S_{k+1}</math> 变成最“靠边”的那一项。实际上，以上的转换说明：只需要证明
:<math>S_{n-2}S_{n}\le S_{n-1}^2</math>
这一项就行了。

下面证明这一点。首先，如果<math>a_i</math> 中有一个是0，那么不等式左边的<math>S_{n}=\prod_{k=1}^n a_k =0</math>，所以左边等于0，显然小于右边。而如果<math>a_i</math> 中没有一个是0的话，那么由于这个不等式是[[齐次不等式]]，所以可以假设<math> \prod_{k=1}^n a_k = 1</math>。这样的话，不等式就变成：
:<math>\frac{n(n-1)}{2}\left(\sum_{k=1}^n \frac{1}{a_k} \right)^2 \ge n^2 \sum_{1 \le i < j \le n} \frac{1}{a_i a_j}</math>
也就是
:<math>(n-1) \left(\sum_{k=1}^n \frac{1}{a_k} \right)^2 \ge 2n \sum_{1 \le i < j \le n} \frac{1}{a_i a_j}</math>
:<math>(n-1) \sum_{k=1}^n \frac{1}{a_k^2} + (n-1)\sum_{1 \le i < j \le n} \frac{2}{a_i a_j} \ge 2n \sum_{1 \le i < j \le n} \frac{1}{a_i a_j}</math>
:<math>(n-1) \sum_{k=1}^n \frac{1}{a_k^2} + (n-1)\sum_{1 \le i  < j \le n} \frac{2}{a_i a_j} \ge 2n \sum_{1 \le i  < j \le n} \frac{1}{a_i a_j}</math>
:<math>n \sum_{k=1}^n \frac{1}{a_k^2}  \ge \sum_{k=1}^n \frac{1}{a_k^2} + 2 \sum_{1 \le i < j \le n} \frac{1}{a_i a_j} = \left(\sum_{k=1}^n \frac{1}{a_k} \right)^2</math>
最后的不等式是[[平均数不等式|均方不等式]]，必然成立。于是不等式得证。

== 与二次方程判别式的关系 ==
另一种证明方法涉及到一个[[高等数学]]中的结论作为[[引理]]：如果对于关于两个变元的[[齐次多项式]]
:<math>F(x, y) = c_0 x^n + c_1 x^{n-1}y + \cdots + c_n y^n</math>
存在实数<math>r_1 , r_2  \cdots , r_n </math>，使得当<math>\frac{x}{y} = r_k</math> 时就会有<math>F(x, y) =0</math>，那么这个多项式的任意次数的偏导数（仍然是齐次多项式）构成的方程：
:<math>\frac{\partial^{i+j} F }{\partial x^i \partial y^j } = 0</math>
也会满足这个条件：存在实数<math>r_1 , r_2  \cdots , r_{n-i-j} </math>，使得当<math>\frac{x}{y} = r_k</math> 时就会有<math>\frac{\partial^{i+j} F }{\partial x^i \partial y^j } = 0</math>

具体的证明是考虑上一节证明中用到的多项式：
:<math>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}</math>
将它改写成关于两个变元的多项式：
:<math>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</math>
这个多项式满足引理的条件，所以只要考虑它的一个特定的偏导数方程：
:<math>\frac{\partial^{n-2} F }{\partial x^{n-k-1} \partial y^{k-1} } = 0</math>
这个方程可以写成
:<math>S_{k-1} x^2 + 2S_k xy + S_{k+1} y^2 = 0</math>
根据引理，对应二次方程<math>S_{k-1} t^2 + 2S_k t + S_{k+1}  = 0</math> 有两个实根。从而这个方程的判别式大于等于零，也就是说：
:<math>S_{k-1} S_{k+1} \le S_k^2</math>

从这个证明可以看出，牛顿不等式也是对应着一个二次方程的判别式条件，如同[[柯西不等式]]一样。利用判别式的性质，可以得到一系列类似于牛顿不等式的不等式<ref name="newlook">{{cite journal
 | url = http://www.emis.de/journals/JIPAM/images/014_99_JIPAM/014_99.pdf
 | title = A New Look at Newton's Inequalities
 | author = Constantin P.NICULESCU
 | journal = Journal of Inequalities in Pure and Applied Mathematics
 | volume = Volume 1
 | issue = Issue 2
 | year = 2000
 | access-date = 2010-04-25
 | archive-date = 2020-12-31
 | archive-url = https://web.archive.org/web/20201231151729/https://www.emis.de/journals/JIPAM/images/014_99_JIPAM/014_99.pdf
 | dead-url = no
 }}</ref>。

== 历史 ==
这个不等式首先被牛顿用来作为估计实系数多项式的虚根的个数的一个方法。牛顿在他的著作《[[广义算术]]》（{{lang|en|Arithmetica Universalis}}）的第二章第二节中不加任何证明地提出了一个断言：多项式
<center><math>P = \prod_{k=1}^n (x+a_k)</math></center>
中虚根的个数不小于数列 <math>S_0^2, S_1^2 - S_0S_2, \ldots, S_k^2 - S_{k-1} S_{k+1}, \ldots, S_{n-1}^2 - S_{n-2} S_{n}</math> 变号的次数。换句话说，如果多项式只有实根而没有虚根，那么这个数列恒为非负。1729年，[[麦克劳林]]已经给出了一个直接的证明，但这个问题的圆满解决要等到1865年，西尔维斯特证明了一个非同一般的更广泛结果为止<ref name="newlook"/>。

== 参阅 ==
* [[麥克勞林不等式]]

== 註釋 ==
{{reflist}}

== 参考文献 ==
* {{cite book
 | last       = Newton
 | first      = Isaac
 | title      = Arithmetica universalis: sive de compositione et resolutione arithmetica liber
 | url       = https://archive.org/details/bim_eighteenth-century_arithmetica-universalis_newton-sir-isaac_1707
 | year       = 1707
}}
* {{cite book
  | title =Handbook of Means and Their Inequalities
 |author = P. S. Bullen
 | publisher = Springer
 | year = 2003
 | isbn = 978-1-402-01522-9
}}

* {{cite journal
 | last = Maclaurin
 | first = C.
 | title = A second letter to Martin Folks, Esq.; concerning the roots of equations, with the demonstration of other rules in algebra,
 | journal = Phil. Transactions,
 | volume = 36
 | year = 1729
 | pages =  59–96
}}

== 外部連結 ==
* [https://web.archive.org/web/20100309060156/http://jipam.vu.edu.au/ Journal of Inequalities in Pure and Applied Mathematics]

{{艾薩克·牛頓}}
[[Category:代数不等式]]