牛頓恆等式

数学中，牛頓恆等式（Template:Lang-en）描述了冪和對稱多項式和初等對稱多項式此兩種对称多项式之間的關係。

牛顿在不知道Template:Link-en先前的成果下，於約1666年發現這些恆等式。這些恆等式目前已被应用在许多數學领域，如伽罗瓦理论、不變量理論、群论、组合學，也被进一步应用於数学之外，如广义相对论。

数学陳述

對稱多項式

令 x₁, ..., x_n 為變量, 定義 k ≥ 1 且 p_k(x₁, ..., x_n) 為k階 冪和:

$p_k(x_1,\dots ,x_n)=\sum _{i=1}^n{x}_i^k=x_1^k+\cdots +x_n^k,$

對於k ≥ 0 定義 e_k(x₁, ..., x_n) 為 初等對稱多項式,所以

$\begin{array}{cc}{e}_0(x_1,\dots ,x_n)& =1,\\ e_1(x_1,\dots ,x_n)& =x_1+x_2+\cdots +x_n,\\ e_2(x_1,\dots ,x_n)& =\sum _{1\le i<j\le n}{x}_i{x}_j,\\ e_n(x_1,\dots ,x_n)& =x_1{x}_2\cdots x_n,\\ e_k(x_1,\dots ,x_n)& =0,\text{for}k>n.\\ \end{array}$

那麼牛頓恆等式可以表示為

$k{e}_k(x_1,\dots ,x_n)=\sum _{i=1}^k(-1{)}^{i-1}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

對於所有的n  ≥ 1 以及 n ≥k ≥ 1.

另外對於所有k > n ≥ 1.

$0=\sum _{i=k-n}^k(-1{)}^{i-1}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

我們可以帶入前幾個k得到前幾個式子

$\begin{array}{cc}{e}_1(x_1,\dots ,x_n)& =p_1(x_1,\dots ,x_n),\\ 2e_2(x_1,\dots ,x_n)& =e_1(x_1,\dots ,x_n)p_1(x_1,\dots ,x_n)-p_2(x_1,\dots ,x_n),\\ 3e_3(x_1,\dots ,x_n)& =e_2(x_1,\dots ,x_n)p_1(x_1,\dots ,x_n)-e_1(x_1,\dots ,x_n)p_2(x_1,\dots ,x_n)+p_3(x_1,\dots ,x_n).\\ \end{array}$

這些方程的形式和正確與否並不取決於變數的數量n,這使得可以在對稱函數環中將它們稱為恆等式。在這個環之中我們有

$\begin{array}{cc}{e}_1& =p_1,\\ 2e_2& =e_1{p}_1-p_2=p_1^2-p_2,\\ 3e_3& =e_2{p}_1-e_1{p}_2+p_3=\frac{1}{2}{p}_1^3-\frac{3}{2}{p}_1{p}_2+p_3,\\ 4e_4& =e_3{p}_1-e_2{p}_2+e_1{p}_3-p_4=\frac{1}{6}{p}_1^4-p_1^2{p}_2+\frac{4}{3}{p}_1{p}_3+\frac{1}{2}{p}_2^2-p_4,\\ \end{array}$

在這裡，LHS永遠不會為零。這些等式允許以p_k遞歸地表示e_i

$\begin{array}{cc}{p}_1& =e_1,\\ p_2& =e_1{p}_1-2e_2=e_1^2-2e_2,\\ p_3& =e_1{p}_2-e_2{p}_1+3e_3=e_1^3-3e_1{e}_2+3e_3,\\ p_4& =e_1{p}_3-e_2{p}_2+e_3{p}_1-4e_4=e_1^4-4e_1^2{e}_2+4e_1{e}_3+2e_2^2-4e_4,\\ & ⋮\end{array}$

一般的,我們有

$p_k(x_1,\dots ,x_n)=(-1{)}^{k-1}k{e}_k(x_1,\dots ,x_n)+\sum _{i=1}^{k-1}(-1{)}^{k-1+i}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

對於所有的 n ≥ 1 以及 n ≥k ≥ 1。 另外對於所有k > n ≥ 1。 我們有

$p_k(x_1,\dots ,x_n)=\sum _{i=k-n}^{k-1}(-1{)}^{k-1+i}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

證明

設$f(x)=(x-x_1)(x-x_2)\cdots (x-x_n)=x^n-{\sigma }_1{x}^{n-1}+\cdots +(-1{)}^n{\sigma }_n$.

當$k>n$時,我們要證明的式子是$s_k-{\sigma }_1{s}_{k-1}+{\sigma }_2{s}_{k-2}+\cdots +(-1{)}^n{\sigma }_n{s}_{k-n}=0;$

由$f(x)=x^n-{\sigma }_1{x}^{n-1}+\cdots +(-1{)}^n{\sigma }_n$,得$x^{k-n}f(x)=x^k-{\sigma }_1{x}^{k-1}+\cdots +(-1{)}^n{\sigma }_n{x}^{k-n}.$

由于$f(x_i)=0(1\le i\le n),$求和得到$\sum _{i=1}^n[x_i^k-{\sigma }_1{x}_i^{k-1}+\cdots +(-1{)}^n{\sigma }_n{x}_i^{k-n}]=0,$故$s_k-{\sigma }_1{s}_{k-1}+\cdots +(-1{)}^n{\sigma }_n{s}_{k-n}=0.$

當$1\le k\le n$時,我們要證明的式子是$s_k-{\sigma }_1{s}_{k-1}+\cdots +(-1{)}^{k-1}{\sigma }_{k-1}{s}_1+(-1{)}^{k}k{\sigma }_k=0.$

註意到$f^{\prime }(x)=f(x)\sum _{i=1}^n\frac{1}{x-x_i}=n{x}^{n-1}+\cdots +(-1{)}^k(n-k){\sigma }_k{x}^{n-k-1}+\cdots$

展開為形式冪級數,得$f(x)\sum _{i=1}^n(x^{-1}+x_i{x}^{-2}+x_i^2{x}^{-3}+\cdots )=n{x}^{n-1}+\cdots +(-1{)}^k(n-k){\sigma }_k{x}^{n-k-1}+\cdots$

即$(x^n-{\sigma }_1{x}^{n-1}+\cdots +(-1{)}^n{\sigma }_n)(n{x}^{-1}+s_1{x}^{-2}+s_2{x}^{-3}+\cdots )=n{x}^{n-1}+\cdots +(-1{)}^k(n-k){\sigma }_k{x}^{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 }_1{s}_{k-1}+s_k=(-1{)}^k(n-k){\sigma }_k,$即得.

參見

• 冪和對稱多項式
• 初等對稱多項式
• 对称多项式