２変数の対称式と基本対称式の4つの性質

どの2つの変数を交換しても変わらない多項式のことを対称式と言います。

また，2変数の対称式の中でも $x+y, xy$ を基本対称式と言います。

3変数の基本対称式は $x+y+z, xy+yz+zx, xyz$ の3つです。

4変数の基本対称式は $x+y+z+w, xy+yz+zw+wx+xz+yw\\ xyz+xyw+xzw+yzw, xyzw$

の4つです。

4つとも非常に重要です，全て理解しておきましょう。

1は非常に美しくて奥が深い定理なので証明は別の機会に行おうと思います。入試を突破するためなら事実だけ覚えておけばOKです。以下では大学入試で頻出の性質2と3について解説します。

$T_n=x^n+y^n$ を $x+y,xy$ で表すことが目標です。まずは小さい部分で実際にやってみましょう：

$T_2=x^2+y^2=(x+y)^2-2xy\\ T_3=x^3+y^3=(x+y)^3-3xy(x+y)$

このように $n$ が小さい場合はその場で考えても作れますが，例えば $T_{7}=x^{7}+y^{7}$ とかになると途方に暮れてしまいます。

そこで役に立つのが以下の恒等式です：

$x^n+y^n=(x+y)(x^{n-1}+y^{n-1})-xy(x^{n-2}+y^{n-2})$

つまり， $T_n=(x+y)T_{n-1}-xyT_{n-2}$

この恒等式（漸化式）によって，「 $T_{n-1},T_{n-2}$ が基本対称式 $x+y$ と $xy$ で表せるなら $T_n$ も基本対称式で表せる」ことが分かります。

よって，数学的帰納法により $T_n$ が基本対称式で表せることが分かりました！（これは性質1の特殊ケースの証明になっている）

$T_n=(x+y)T_{n-1}-xyT_{n-2}$ という漸化式を知らないと厳しい問題を紹介します。

$y=\dfrac{1}{x}$ とした形の問題も頻出です。

さきほどの漸化式： $T_n=(x+y)T_{n-1}-xyT_{n-2}$

において $y=\dfrac{1}{x}$ を代入すると，

$x^n+\dfrac{1}{x^n}=(x+\dfrac{1}{x})(x^{n-1}+\dfrac{1}{x^{n-1}})-(x^{n-2}+\dfrac{1}{x^{n-2}})$

となることが分かります。

よって，さきほどと同様に

$x+\dfrac{1}{x}$ が分かれば $x^2+\dfrac{1}{x^2}$ も分かり，さらに漸化式で帰納的に $x^n+\dfrac{1}{x^n}$ が求まることが分かります。