牛頓恆等式

數學中，牛頓恆等式（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$，即得.