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

変数を交換しても不変な多項式のことを対称式と言います。ここでは2変数の対称式を中心に,大学受験レベルで覚えておくべき性質を整理しました。

対称式と基本対称式

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

2変数の対称式の例: x3+5x2y+5xy2+y3x^3+5x^2y+5xy^2+y^3

xxyy を交換すると,y3+5y2x+5yx2+x3y^3+5y^2x+5yx^2+x^3 となりもとの多項式と変わらないので対称式である。

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

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

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

の4つです。

基本対称式について覚えておくべき性質

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

1:全ての対称式は基本対称式の多項式で表せる。

2:特に,xn+ynx^n+y^n の値は x+yx+yxyxy の値が分かれば機械的に計算できる。

3:さらに,xn+1xnx^n+\dfrac{1}{x^n} の値は x+1xx+\dfrac{1}{x} の値が分かれば機械的に計算できる。

4:基本対称式は解と係数の関係と相性がよい。

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

xn+ynx^n+y^n を基本対称式で表す漸化式

Tn=xn+ynT_n=x^n+y^nx+y,xyx+y,xy で表すことが目標です。まずは小さい部分で実際にやってみましょう:

T2=x2+y2=(x+y)22xyT3=x3+y3=(x+y)33xy(x+y)T_2=x^2+y^2=(x+y)^2-2xy\\ T_3=x^3+y^3=(x+y)^3-3xy(x+y)

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

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

xn+yn=(x+y)(xn1+yn1)xy(xn2+yn2)x^n+y^n=(x+y)(x^{n-1}+y^{n-1})-xy(x^{n-2}+y^{n-2})

つまり, Tn=(x+y)Tn1xyTn2T_n=(x+y)T_{n-1}-xyT_{n-2}

この恒等式(漸化式)によって,「 Tn1,Tn2T_{n-1},T_{n-2} が基本対称式 x+yx+yxyxy で表せるなら TnT_n も基本対称式で表せる」ことが分かります。

よって,数学的帰納法により TnT_n が基本対称式で表せることが分かりました!(これは性質1の特殊ケースの証明になっている)

例題

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

x+y=1,xy=1x+y=1, xy=-1 のとき T7=x7+y7T_7=x^7+y^7 を計算せよ。

解答

T2=(x+y)22xy=3T_2=(x+y)^2-2xy=3

あとはさきほどの漸化式を使って黙々と計算します。

T3=T2+T1=4T_3=T_2+T_1=4

T4=T3+T2=7T_4=T_3+T_2=7

T5=T4+T3=11T_5=T_4+T_3=11

T6=T5+T4=18T_6=T_5+T_4=18

T7=T6+T5=29T_7=T_6+T_5=29

大学入試で頻出のタイプ

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

さきほどの漸化式: Tn=(x+y)Tn1xyTn2T_n=(x+y)T_{n-1}-xyT_{n-2}

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

xn+1xn=(x+1x)(xn1+1xn1)(xn2+1xn2)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+1xx+\dfrac{1}{x} が分かれば x2+1x2x^2+\dfrac{1}{x^2} も分かり,さらに漸化式で帰納的に xn+1xnx^n+\dfrac{1}{x^n} が求まることが分かります。

最近暑いですね,こういうときは家の中で数学でもしましょう。