ニュートンの恒等式とその証明

更新 2021/03/06

$n$ 個の変数 $x_1,\cdots,x_n$ について

$i$ 次の基本対称式を $e_i(x_1,\cdots,x_n)$

$i$ 乗和を $p_i(x_1,\cdots,x_n)=x_1^i+\cdots +x_n^i$

とする。このとき，

$ke_k=\displaystyle\sum_{i=1}^k(-1)^{i-1}e_{k-i}p_i$

主張の補足

ニュートンの恒等式は任意の正の整数
nnn
 と
kkk
 について成立します。両辺ともにnnn 変数 kkk 次の同次式です。
基本対称式
eke_kek​
 は
1≤k≤n1\leq k\leq n1≤k≤n
 の場合にしか（自然には）定義できませんが，このページでは e0=1e_0=1e0​=1，k>nk > nk>n のとき ek=0e_k=0ek​=0 とします。
多項式
pkp_kpk​
 のことをニュートン多項式ということがあります。

具体例

$n=2,k=1$ ：
$e_1=e_0p_1$
$(x_1+x_2)=1\cdot (x_1+x_2)$
$n=2,k=2$ ：
$2e_2=e_1p_1-e_0p_2$
$2x_1x_2=(x_1+x_2)^2-(x_1^2+x_2^2)$
$n=2,k\geq 3$ ：
$0=e_2p_{k-2}-e_1p_{k-1}+e_0p_k$
$0=x_1x_2(x_1^{k-2}+x_2^{k-2})-(x_1+x_2)(x_1^{k-1}+x_2^{k-1})+(x_1^k+x_2^k)$ これは２変数の対称式と基本対称式の4つの性質でも紹介した重要な式です。
$n=3,k=2$ ：
$2e_2=e_1p_1-e_0p_2$
$2(x_1x_2+x_2x_3+x_3x_1)=(x_1+x_2+x_3)^2-(x_1^2+x_2^2+x_3^2)$
$n=3,k=3$ ：
$3e_3=e_2p_1-e_1p_2+e_0p_3$
$3x_1x_2x_3=(x_1x_2+x_2x_3+x_3x_1)(x_1+x_2+x_3)\\-(x_1+x_2+x_3)(x_1^2+x_2^2+x_3^2)+(x_1^3+x_2^3+x_3^3)$

このように，ニュートンの恒等式は対称式に関する重要な恒等式をたくさん含んでいます。

ニュートンの恒等式の証明

まず， $n=k$ の場合を証明して，その結果を使って $n\neq k$ の場合も証明します。

n=k の場合の証明

$(x-x_1)\cdots (x-x_n)\\ =x^n-e_1x^{n-1}+e_2x^{n-2}-\cdots +(-1)^{n-1}e_{n-1}x+(-1)^ne_n$

という恒等式において $x=x_i\:(1\leq i\leq n)$ とすると左辺は $0$ なので右辺も $0$ ：

$x_i^n-e_1x_i^{n-1}+e_2x_i^{n-2}-\cdots +(-1)^{n-1}e_{n-1}x_i+(-1)^ne_n=0$

これを $i=1$ から $n$ までたしあわせると，

$p_n-e_1p_{n-1}+e_2p_{n-2}-\cdots +(-1)^{n-1}e_{n-1}p_1+n(-1)^ne_n=0$

整理するとニュートンの恒等式となる。

n < k の場合の証明

$k$ 変数 $k$ 次の場合のニュートンの恒等式において $x_{n+1},\cdots, x_{k}$ を $0$ とすれば $n$ 変数 $k$ 次のニュートンの恒等式になる。例えば $n=k=3$ の場合で $x_3=0$ とすれば $n=2,k=3$ の式を得る。

n > k の場合の証明

各項の係数が両辺で等しいことを示す。各項は $k$ 次なので高々 $k$ 種類の変数しか含まない。よって，残りの $n-k$ 種類の変数を $0$ としてもその項には影響がない。そして $n-k$ 種類の変数を $0$ としたものは $k$ 変数 $k$ 次のニュートンの恒等式であり，所望の項の係数は両辺で等しい。

なお，この記事は英語版Wikipedia：Newton’s identitiesを参考にしています。

$n=k$ の場合を利用して $n\neq k$ の場合を示すという証明方法が非常におもしろいですね。

この記事の監修者

マスオ

東京大学大学院情報理工学系研究科修了／2014年にWebサイト『高校数学の美しい物語』を立ち上げ／著書累計 50,000部突破／「わかりやすいこと」と「ごまかさないこと」の両立を意識している。 →著者情報・書籍一覧を見る