ニュートンの恒等式
ニュートンの恒等式(Newton's identity)は、対称多項式とべき乗和(power sums)との間に成り立つ重要な関係を示すもので、ガロア理論や
群論、組合せ論など多岐にわたる数学の領域で応用されます。1666年に
アイザック・ニュートンによって発表されましたが、実際にはアルベール・ジラールがそれを1629年に先に発見したという歴史的背景もあります。これにより、ニュートンの恒等式は近代数学の基本的なツールとなっています。
定義と背景
ニュートンの恒等式は、与えられたモニック多項式の根に対して、べき乗和をその多項式の係数を用いて表現する方法を提供します。具体的には、n個の変数に対し、k次のべき乗和がどのように基本
対称式(symmetric polynomials)によって記述できるかを示します。
変数をx1, x2, ..., xnとし、k次のべき乗和pkは以下のように定義されます:
$$p_k(x_1, ext{‥‥}, x_n) = x_1^k + x_2^k + ext{‥‥} + x_n^k$$
そして、k次の基本
対称式ekは、k個の相異なる変数の積の和として定義されます。この基本
対称式は、次のように表されます:
$$egin{aligned}
& e_0(x_1, ext{‥‥}, x_n) = 1, \\
& e_1(x_1, ext{‥‥}, x_n) = x_1 + x_2 + ext{‥‥} + x_n, \\
& e_2(x_1, ext{‥‥}, x_n) = ext{sum of products of all pairs of } x_i,
\ ext{and so on.}
ext{with}
ewline& e_k(x_1, ext{‥‥}, x_n) = 0 ext{ for } k > n. \\
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
\ ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
\
$
この定義に基づくと、ニュートンの恒等式は次のように記述されます:
$$ke_k(x_1, ext{‥‥}, x_n) = ext{sum}egin{array}{l}
\ ext{of terms involving products}(−1)^{i−1}e_{k-i}(x_1, ext{‥‥})p_i(x_1, ext{‥‥}).
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
\ ext{ }
. \\
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
\ ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
\ ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
\
$$
ここでnは変数の数、kは次数を表しています。この恒等式から様々な数学的問題を解決するための基本的な方法が導き出されることになります。
具体的な応用
例えば、
行列の特性多項式に対して、ニュートンの恒等式を利用し基礎となる
対称式を求めることができ、その結果として
行列の固有値やその性質に関する理解が深まります。さらには、組合せ論や
群論においても、
対称式の性質を利用することで類似の問題を解決する手法として広く利用されているのです。
批判的な見解
この恒等式は、単なる数学的なツール以上のものであり、ガロア理論や不変式論とも深く結びついています。数学の基礎的な定理を理解する上で極めて重要な位置を占めていると言えるでしょう。これにより、ニュートンの恒等式は数学の多くの分野や物理学において根本的な重要性を持っています。
結論
ニュートンの恒等式は、その応用範囲の広さや歴史的な深みから、数学の学習や研究において知っておくべき重要な公式です。対称多項式とべき乗和の関係を理解することで、数学のさらに複雑な文脈へと入っていくことが可能になります。ニュートンやジラールの業績が、この恒等式を通じていかに数学に影響を与え続けているかは、今後の研究や学びの中でも重要なテーマであると言えます。