牛顿恒等式

数学中，牛顿恒等式（Newton's identities）描述了幂和对称多项式和初等对称多项式此两种对称多项式之间的关系。

牛顿在不知道阿尔伯特‧吉拉德先前的成果下，于约1666年发现这些恒等式。这些恒等式目前已被应用在许多数学领域，如伽罗瓦理论、不变量理论、群论、组合学，也被进一步应用于数学之外，如广义相对论。

## 数学陈述

### 对称多项式

令 $x_1, \cdots ,x_n$为变量，定义$k\geq 1$且 $p_k(x_1, \cdots, x_n)$为$k$阶 幂和:

$$p_k(x_1,\ldots,x_n)=\sum\nolimits_{i=1}^nx_i^k = x_1^k+\cdots+x_n^k,$$

对于$k\geq 0$ 定义 $e_k(x_1, \cdots, x_n)$ 为 初等对称多项式，所以

$$\begin{align} <pre> e_0(x_1, \ldots, x_n) &= 1,\\ e_1(x_1, \ldots, x_n) &= x_1 + x_2 + \cdots + x_n,\\ e_2(x_1, \ldots, x_n) &= \textstyle\sum_{1\leq i<j\leq n}x_ix_j,\\ e_n(x_1, \ldots, x_n) &= x_1 x_2 \cdots x_n,\\ e_k(x_1, \ldots, x_n) &= 0, \quad\text{for}\ k>n.\\ </pre> \end{align}$$

那么牛顿恒等式可以表示为

$$ke_k(x_1,\ldots,x_n) = \sum_{i=1}^k(-1)^{i-1} e_{k - i} (x_1, \ldots, x_n) p_i(x_1, \ldots, x_n),$$

对于所有的$n\geq 1$ 以及 $n\geq k\geq 1$.

另外对于所有$k>n \geq 1$.

$$0 = \sum_{i=k-n}^k(-1)^{i-1} e_{k - i} (x_1, \ldots, x_n) p_i(x_1, \ldots, x_n),$$

我们可以带入前几个$k$得到前几个式子

$$\begin{align} <pre> e_1(x_1, \ldots, x_n) &= p_1(x_1, \ldots, x_n),\\ 2e_2(x_1, \ldots, x_n) &= e_1(x_1, \ldots, x_n)p_1(x_1, \ldots, x_n) - p_2(x_1, \ldots, x_n),\\ 3e_3(x_1, \ldots, x_n) &= e_2(x_1, \ldots, x_n)p_1(x_1, \ldots, x_n) - e_1(x_1, \ldots, x_n)p_2(x_1, \ldots, x_n) + p_3(x_1, \ldots, x_n).\\ </pre> \end{align}$$

这些方程的形式和正确与否并不取决于变数的数量$n$，这使得可以在对称函数环中将它们称为恒等式。在这个环之中我们有

$$\begin{align} <pre> e_1 &= p_1,\\ 2e_2 &= e_1p_1-p_2 = p_1^2-p_2,\\ 3e_3 &= e_2p_1 - e_1p_2 + p_3 = \tfrac12 p_1^3-\tfrac32p_1p_2+p_3,\\ 4e_4 &= e_3p_1 - e_2p_2 + e_1p_3 - p_4 = \tfrac16p_1^4 - p_1^2p_2 + \tfrac43p_1p_3+\tfrac12p_2^2-p_4,\\ </pre> \end{align}$$

在这里，LHS永远不会为零。这些等式允许以$p_k$递归地表示$e_i$

$$\begin{align} <pre> p_1 &= e_1,\\ p_2 &= e_1p_1-2e_2 = e_1^2 - 2e_2,\\ p_3 &= e_1p_2 - e_2p_1 + 3e_3 = e_1^3-3e_1e_2+3e_3,\\ p_4 &= e_1p_3 - e_2p_2 + e_3p_1 - 4e_4 = e_1^4-4e_1^2e_2+4e_1e_3+2e_2^2-4e_4, \\ & {}\ \ \vdots </pre> \end{align}$$

一般的，我们有

$$p_k(x_1,\ldots,x_n) = (-1)^{k-1}ke_k(x_1,\ldots,x_n)+\sum_{i=1}^{k-1}(-1)^{k-1+i} e_{k - i} (x_1, \ldots, x_n) p_i(x_1, \ldots, x_n),$$

对于所有的 $n\geq 1$ 以及 $n\geq k\geq 1$。

另外对于所有$k>n \geq 1$。

我们有

$$p_k(x_1,\ldots,x_n) = \sum_{i=k-n}^{k-1}(-1)^{k-1+i} e_{k - i} (x_1, \ldots, x_n) p_i(x_1, \ldots, x_n),$$

## 证明

设$f(x)=(x-x_1)(x-x_2)\cdots(x-x_n)=x^n-\sigma_1x^{n-1}+\cdots+(-1)^n\sigma_n$.

当$k>n$时，我们要证明的式子是$s_k-\sigma_1s_{k-1}+\sigma_2s_{k-2}+\cdots+(-1)^n\sigma_ns_{k-n}=0;$

由$f(x)=x^n-\sigma_1x^{n-1}+\cdots+(-1)^n\sigma_n$，得$x^{k-n}f(x)=x^k-\sigma_1x^{k-1}+\cdots+(-1)^n\sigma_nx^{k-n}.$

由于$f(x_i)=0(1\le i\le n)$，求和得到$\sum_{i=1}^n[x_i^k-\sigma_1x_i^{k-1}+\cdots+(-1)^n\sigma_nx_i^{k-n}]=0$，故$s_k-\sigma_1s_{k-1}+\cdots+(-1)^n\sigma_ns_{k-n}=0.$

当$1\le k\le n$时，我们要证明的式子是$s_k-\sigma_1s_{k-1}+\cdots+(-1)^{k-1}\sigma_{k-1}s_1+(-1)^kk\sigma_k=0.$

注意到$f'(x)=f(x)\sum_{i=1}^n\frac1{x-x_i}=nx^{n-1}+\cdots+(-1)^k(n-k)\sigma_kx^{n-k-1}+\cdots$

展开为形式幂级数，得$f(x)\sum_{i=1}^n(x^{-1}+x_ix^{-2}+x_i^2x^{-3}+\cdots)=nx^{n-1}+\cdots+(-1)^k(n-k)\sigma_kx^{n-k-1}+\cdots$

即$(x^n-\sigma_1x^{n-1}+\cdots+(-1)^n\sigma_n)(nx^{-1}+s_1x^{-2}+s_2x^{-3}+\cdots)=nx^{n-1}+\cdots+(-1)^k(n-k)\sigma_kx^{n-k-1}+\cdots$

对比两边的$x^{n-k-1}$项系数，有$(-1)^k\sigma_k\cdot n+(-1)^{k-1}\sigma_{k-1}s_1+(-1)^{k-2}\sigma_{k-2}s_2-\cdots-\sigma_1s_{k-1}+s_k=(-1)^k(n-k)\sigma_k$，即得.