対称式の基本定理より，ｎ変数のどんな対称式も基本対称式を用いて表すことができる．たとえば，２変数の場合，

　　α1^2＋α2^2＝（α1＋α2）^2−２α1α2

　　α1^3＋α2^3＝（α1＋α2）^3−３（α1＋α2）α1α2

　　α1^2α2＋α1α2^2＝（α1＋α2）α1α2

など．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ニュートンの定理

　次に，ｎ変数対称式：

　　ｐj＝α1^j＋α2^j＋・・・＋αn^j

を基本対称式：

　　σ1＝α1＋・・・＋αn

　　σ2＝α1α2＋・・・＋αn-1αn

　　σ3＝α1α2α3＋・・・＋αn-2αn-1αn

・・・・・・・・・・・・・・・・・・・

　　σn＝α1α2α3・・・αn

を用いて表してみることにしよう．

　　ｆ（ｔ）＝Π（１＋ｔαi）＝１＋σ1ｔ＋σ2ｔ^2＋・・・＋σnｔ^n

とおくと，

　　f'(t)/f(t)=d/dtlogf(t)=Σαi／（１＋ｔαi）=ΣΣ(-1)^kαi^(k+1)t^k

=Σ(-1)^kｐ(k+1)t^k

　ゆえに，

　　ｆ’（ｔ）＝ｆ（ｔ）Σ(-1)^kｐ(k+1)t^k

となり，

　　σ1＋２σ2ｔ＋・・・＋ｎσnｔ^(n-1)

＝（１＋σ1ｔ＋σ2ｔ^2＋・・・＋σnｔ^n）（ｐ1−ｐ2ｔ＋ｐ3ｔ^2−・・・）

　両辺の係数を比較することによって，順次

　　ｐ1＝σ1

　　ｐ2＝σ1ｐ1−２σ2

　　ｐ3＝σ1ｐ2−σ2ｐ1＋３σ3

　　・・・・・・・・・・・・・・・・・・

　　ｐ(k+1)＝σ1ｐk−σ2ｐ(k-1)＋・・・＋(-1)^(k-1)σkｐ1＋(-1)^k（ｋ＋１）σ(k+1)

が得られる．このことから「α1，α2，・・・，αnの基本対称式は，累乗和：α1^j＋α2^j＋・・・＋αn^jの有理数を係数とする整式で表される」という結果が導き出される（ニュートンの定理）．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ここで述べた定理はニュートンに拠るとされるものであるが，このことから逆に，ｎ次方程式：

　　ｆ（ｘ）＝ｘ^n＋ａ1ｘ^(n-1)＋・・・＋ａn＝Π（ｘ−αi）＝０

が与えられたとき，累乗和

　　ｐ1＝α1＋・・・＋αn

　　ｐ2＝α1^2＋α2^2＋・・・＋αn^2

　　・・・・・・・・・・・・・・・・・・

　　ｐn＝α1^n＋α2^n＋・・・＋αn^n

を根とする方程式の係数を導出することができる．したがって，もし係数ａ1，・・・，ａnがすべて有理数（整数）なら，求める方程式の係数もまたみな有理数（整数）となる．

　アーベルは「ニュートンの定理」を援用して方程式論を形成したことになるといえるだろう．アーベルは５次以上の一般代数方程式がベキ根によっては解けない（５次以上の方程式には，係数の間の四則と累乗根を使って表す根の公式はない）ことを初めて証明したノルウェーの数学者である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】もうひとつのニュートンの定理

　ｒ次の基本対称式（の総和）σrについては，不等式

　　σr-1σr+1≦σr^2 (1<=rが成り立つことが知られている．

　また，

　　Π（１＋ｔαi）＝１＋σ1ｔ＋σ2ｔ^2＋・・・＋σnｔ^n

　＝１＋nＣ1ｃ1ｔ＋nＣ2ｃ2ｔ^2＋・・・＋σnｔ^n

と表すと，

　　ｃr＝σn／nＣr

すなわち，ｒ次の基本対称式の平均である．

　ｃrは

　　σr-1σr+1≦σr^2 (1<=rよりも強い，次のような不等式を満たす．

(1)：ｃr-1ｃr+1≦ｃr^2 (1<=r(2)：ｃ1≧ｃ2^(1/2)≧ｃ3^(1/3)≧・・・≧ｃn^(1/n)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝