竹村の家庭教師が始まった。 「森田君、前回まで2次方程式と3次方程式の解の公式をやったね。導き方は前回やったので、ここでは結果だけ確認しておこう」
<2次方程式の解の公式> 2次方程式 a x 2 + b x + c = 0 ax^2+bx+c=0 a x 2 + b x + c = 0 の解は
x = − b ± b 2 − 4 a c 2 a {x=\dfrac{-b\pm\sqrt{b^{2}-4ac}}{2a}} x = 2 a − b ± b 2 − 4 a c
<3次方程式の解の公式> 3次方程式 a x 3 + b x 2 + c x + d = 0 ax^3+bx^2+cx+d=0 a x 3 + b x 2 + c x + d = 0 の解は
x = { − b 3 a + − q 2 + ( q 2 ) 2 + ( p 3 ) 3 3 + − q 2 − ( q 2 ) 2 + ( p 3 ) 3 3 − b 3 a + ω − q 2 + ( q 2 ) 2 + ( p 3 ) 3 3 + ω 2 − q 2 − ( q 2 ) 2 + ( p 3 ) 3 3 − b 3 a + − q 2 + ( q 2 ) 2 + ( p 3 ) 3 3 + − q 2 − ( q 2 ) 2 + ( p 3 ) 3 3 {\begin{align*}
x= \begin{cases}
-\dfrac{b}{3a}+\sqrt[3]{
-\dfrac{q}{2}+\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}\\
-\dfrac{b}{3 a}+\omega \sqrt[3]{
-\dfrac{q}{2}+\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\omega^{2} \sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}\\
-\dfrac{b}{3a}+\sqrt[3]{
-\dfrac{q}{2}+\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
\end{cases}
\end{align*}} x = ⎩ ⎨ ⎧ − 3 a b + 3 − 2 q + ( 2 q ) 2 + ( 3 p ) 3 + 3 − 2 q − ( 2 q ) 2 + ( 3 p ) 3 − 3 a b + ω 3 − 2 q + ( 2 q ) 2 + ( 3 p ) 3 + ω 2 3 − 2 q − ( 2 q ) 2 + ( 3 p ) 3 − 3 a b + 3 − 2 q + ( 2 q ) 2 + ( 3 p ) 3 + 3 − 2 q − ( 2 q ) 2 + ( 3 p ) 3
ただし
p = − 1 3 ( b a ) 2 + c a q = 2 27 ( b a ) 3 − 1 3 ( b a ) ( c a ) + d a {\begin{align*}
p&=-\frac{1}{3}\left(\frac{b}{a}\right)^{2}+\frac{c}{a}\\
q&=\frac{2}{27}\left(\frac{b}{a}\right)^{3}-\frac{1}{3}\left(\frac{b}{a}\right)\left(\frac{c}{a}\right)+\frac{d}{a}
\end{align*}} p q = − 3 1 ( a b ) 2 + a c = 27 2 ( a b ) 3 − 3 1 ( a b ) ( a c ) + a d
非常に複雑な式だけど、x x x の中に p p p と q q q があるね。その p p p と q q q は2次方程式の係数 a , b , c , d a,b,c,d a , b , c , d を用いて下の2式で計算出来るので、その値を先に改めて x x x に代入していけば解が求まるというわけ。x x x は3通りあるのでちゃんと3つの解をもつよ」 「『代数学の基本定理』ですね」 「そうそう、3次方程式は同じ解も含めて必ず3つの解をもつよ。 さて前回、4次方程式までは解の公式が作れて、5次以上になると解の公式は作れない、つまり解の公式は存在しないという話をしたね」 「はい」 「では折角その話になったので、5次以上の方程式になるとなぜ解の公式は作れないのか、完全な証明ではないけど大まかに説明してみようか」 「分かりました!!!」 5次以上はやらないと思っていた小学5年生の森田君。予想外の展開に胸を躍らす。 「いきなり本題は無理なので、今日は『解と係数の関係』と『対称式』というのを勉強しよう。少しずつ進めていくよ」 「はい」と森田君の声が響いた。
<解と係数の関係> 「2次方程式 a x 2 + b x + c = 0 ax^2+bx+c=0 a x 2 + b x + c = 0 の2つの解を α , β \alpha,\beta α , β としよう。さっき森田君が言った『代数学の基本定理』、同じになる重解も含めて2次方程式には必ず2つの解が存在するので α , β \alpha,\beta α , β とおけるんだね。すると解 α , β \alpha,\beta α , β とその2次方程式の係数に関して、次の2つの等式が成り立つよ。
α + β = − b a α β = c a {\begin{align*}
\alpha+\beta&=-\dfrac{b}{a}\\
\alpha\beta&=\dfrac{c}{a}
\end{align*}} α + β α β = − a b = a c
つまり2つの解を直接求めなくても、その解の和と積は係数を使って求めることができるというわけだね。解を足したのは − b a -\dfrac{b}{a} − a b で、解を掛けたのは c a \dfrac{c}{a} a c で求まるというわけ。証明は簡単。 α , β \alpha, \beta α , β を解に持つ2次方程式を実際に作ってみればいい。 まず α , β \alpha, \beta α , β を解に持つ2次方程式で、x 2 x^2 x 2 の係数が a ( ≠ 0 ) a(\not=0) a ( = 0 ) となる2次方程式は次のように書ける。
a ( x − α ) ( x − β ) = 0 ・・・① {\begin{align*}
a(x-\alpha)(x-\beta)=0 ・・・①
\end{align*}} a ( x − α ) ( x − β ) = 0 ・・・ ①
では森田君。例えば 1 , 2 1, 2 1 , 2 を解に持つ2次方程式で、x 2 x^2 x 2 の係数が a a a となるような2次方程式はどうなるかな?」 「a ( x − 1 ) ( x − 2 ) = 0 a(x-1)(x-2)=0 a ( x − 1 ) ( x − 2 ) = 0 です」 即答する森田君。 「そうだね。実際 a ( x − 1 ) ( x − 2 ) = 0 a(x-1)(x-2)=0 a ( x − 1 ) ( x − 2 ) = 0 を解くと、x − 1 = 0 x-1=0 x − 1 = 0 または x − 2 = 0 x-2=0 x − 2 = 0 より、その解は確かに x = 1 , 2 x=1, 2 x = 1 , 2 となるね。それでは、先ほどの①式を展開してみよう。a ( x − α ) ( x − β ) ‾ = 0 a\underline{(x-\alpha)(x-\beta)}=0 a ( x − α ) ( x − β ) = 0 の下線部を展開すると
a { x 2 − ( α + β ) x + α β } = 0 {\begin{gather*}
a\{x^2-(\alpha+\beta)x+\alpha\beta\}=0\\
\end{gather*}} a { x 2 − ( α + β ) x + α β } = 0
a a a を分配して
a x 2 − a ( α + β ) x + a α β = 0 {\begin{gather*}
ax^2-a(\alpha+\beta)x+a\alpha\beta=0
\end{gather*}} a x 2 − a ( α + β ) x + a α β = 0
これが a x 2 + b x + c = 0 ax^2+bx+c=0 a x 2 + b x + c = 0 と同じになるには係数が同じになれば良いので、下式の1重線同士、2重線同士と係数をイコールで結んで
a x 2 + b ‾ x + c ‾ ‾ = 0 a x 2 − a ( α + β ) ‾ x + a α β ‾ ‾ = 0 {\begin{alignat*}{3}
ax^2& & \underline{+b}x& & \underline{\underline{+c}}&=0\\
ax^2& & \underline{-a(\alpha+\beta)}x& & \thinspace\underline{\underline{+a\alpha\beta}}&=0
\end{alignat*}} a x 2 a x 2 + b x − a ( α + β ) x + c + a α β = 0 = 0
b = − a ( α + β ) c = a ( α β ) {\begin{align*}
b&=-a(\alpha+\beta)\\
c&=a(\alpha\beta)
\end{align*}} b c = − a ( α + β ) = a ( α β )
左右入れ替えて
− a ( α + β ) = b a ( α β ) = c {\begin{align*}
-a(\alpha+\beta)&=b\\
a(\alpha\beta)&=c
\end{align*}} − a ( α + β ) a ( α β ) = b = c
各々の両辺を a ( ≠ 0 ) a(\not=0) a ( = 0 ) で割れば
α + β = − b a α β = c a {\begin{align*}
\alpha+\beta&=-\dfrac{b}{a}\\
\alpha\beta&=\dfrac{c}{a}
\end{align*}} α + β α β = − a b = a c
となり、これで証明されたね。まとめておこう」
<2次方程式の解と係数の関係> 2次方程式 a x 2 + b x + c = 0 ax^2+bx+c=0 a x 2 + b x + c = 0 の2つの解を α , β \alpha, \beta α , β とすると、次の式が成り立つ。 α + β = − b a \alpha+\beta=-\dfrac{b}{a} α + β = − a b α β = c a \alpha\beta=\dfrac{c}{a} α β = a c
「実はこの『解と係数の関係』。3次方程式にも存在するんだよ」 「3次方程式にも?」 「そうそう。正確に言うと、3次だけではなく、4次、5次、⋯ \cdots ⋯ 、さらには一般のn n n 次方程式についても存在している。それではまず3次方程式について述べてみよう。
<3次方程式の解と係数の関係> 3次方程式 a x 3 + b x 2 + c x + d = 0 ax^3+bx^2+cx+d=0 a x 3 + b x 2 + c x + d = 0 の 3 3 3 つの解を α , β \alpha, \beta α , β , γ \gamma γ とすると、次の等式が成り立つ。 α + β + γ = − b a \alpha+\beta+\gamma=-\dfrac{b}{a} α + β + γ = − a b α β + β γ + γ α = c a \alpha\beta+\beta\gamma+\gamma\alpha=\dfrac{c}{a} α β + β γ + γ α = a c α β γ = − c a \alpha\beta\gamma=-\dfrac{c}{a} α β γ = − a c
続いて4次方程式は
<4次方程式の解と係数の関係> 4次方程式 a x 4 + b x 3 + c x 2 + d x + e = 0 a x^{4}+bx^{3}+cx^{2}+dx+e=0 a x 4 + b x 3 + c x 2 + d x + e = 0 の 4 4 4 つの解を α , β , γ , δ \alpha, \beta, \gamma, \delta α , β , γ , δ とすると、次の等式が成り立つ。 α + β + γ + δ = − b a \alpha+\beta+\gamma+\delta=-\dfrac{b}{a} α + β + γ + δ = − a b α β + α γ + α δ + β γ + β δ + γ δ = c a \alpha\beta+\alpha\gamma+\alpha\delta+\beta\gamma+\beta \delta+\gamma\delta=\dfrac{c}{a} α β + α γ + α δ + β γ + β δ + γ δ = a c α β γ + α β δ + α γ δ + β γ δ = − d a \alpha\beta\gamma+\alpha\beta\delta+\alpha\gamma\delta+\beta \gamma\delta=-\dfrac{d}{a} α β γ + α β δ + α γ δ + β γ δ = − a d α β γ δ = e a \alpha \beta \gamma \delta=\dfrac{e}{a} α β γ δ = a e
すると森田君。何か法則性に気付くかな?」 「最初にくる式は1個の解のすべての和になっています。2つ目にくるのは2個の解の積のすべての和、3つ目にくるのは3個の解の積のすべての和、4つ目は4個の積になっています」 またもや森田君は即答した。 「そうだね。4次方程式で確認すると
α + β + γ + δ ⏟ 1 個ずつの和 = − b a α β + α γ + α δ + β γ + β δ + γ δ ⏟ 2 個の積の和 = c a α β γ + α β δ + α γ δ + β γ δ ⏟ 3 個の積の和 = − d a α β γ δ ⏟ 4 個の積 = e a {\begin{align*}
\underbrace{\alpha+\beta+\gamma+\delta}_{\text{1 個ずつの和}}&=-\dfrac{b}{a}\\
\underbrace{\alpha\beta+\alpha\gamma+\alpha\delta+\beta\gamma+\beta \delta+\gamma\delta}_{\text{2 個の積の和}}&=\dfrac{c}{a}\\
\underbrace{\alpha\beta\gamma+\alpha\beta\delta+\alpha\gamma\delta+\beta \gamma\delta}_{\text{3 個の積の和}}&=-\dfrac{d}{a}\\
\underbrace{\alpha \beta \gamma \delta}_{4 個の積}&=\dfrac{e}{a}\\
\end{align*}} 1 個ずつの和 α + β + γ + δ 2 個の積の和 α β + α γ + α δ + β γ + β δ + γ δ 3 個の積の和 α β γ + α β δ + α γ δ + β γ δ 4 個の積 α β γ δ = − a b = a c = − a d = a e
そうすると、式が長くなるのでやらないけど、5次方程式やそれ以上の次数の方程式にも、1個の和、2個の積の和、3個の積の和、4個の積の和、5個の積の和、⋯ \cdots ⋯ 、 n n n 個の積と順次組み立てていけば、一般に n n n 次方程式についても『解と係数の関係』を得ることができるんだね」 「先生分かりました」 「分かった!?これは高校2年で勉強するんだけど・・・。では今度は対象式について勉強していこう」
<対称式について>
「先ほど2次方程式でやった『解と係数の関係』の α + β \alpha+\beta α + β と α β \alpha\beta α β 。この式を見て何か気付くかな? α \alpha α と β \beta β を入れ替えても同じ式になるね。
α + β = β + α ⇐ 同じ式 α β = β α ⇐ 同じ式 {\begin{align*}
\alpha+\beta&=\beta+\alpha &\Leftarrow 同じ式\\
\alpha\beta&=\beta\alpha &\Leftarrow 同じ式
\end{align*}} α + β α β = β + α = β α ⇐ 同じ式 ⇐ 同じ式
当たり前と言えば当たり前なんだけどね。2 + 3 2+3 2 + 3 と 3 + 2 3+2 3 + 2 は同じ、2 × 3 2 \times 3 2 × 3 と 3 × 2 3 \times 2 3 × 2 も同じ。このように、文字を入れ換えても変わらない式のことを『対称式 』というよ。 では α − β \alpha-\beta α − β は対称式かな? α \alpha α と β \beta β を入れ替えると
α − β ≠ β − α ⇐ 違う式 {\begin{align*}
\alpha-\beta \ne \beta-\alpha \Leftarrow 違う式
\end{align*}} α − β = β − α ⇐ 違う式
となり対称式にならない。2 − 3 2-3 2 − 3 と 3 − 2 3-2 3 − 2 は違うのでこれも当たり前。3 − 3 3-3 3 − 3 とか成り立つ場合もあるけど、一般には成り立たないということだね。さらに他の対称式として、例えば α 2 + β 2 \alpha^2+\beta^2 α 2 + β 2 というのもあるね。これも、α \alpha α と β \beta β を入れ替えても同じ式になる。
α 2 + β 2 = β 2 + α 2 ⇐ 同じ式 {\begin{align*}
\alpha^2+\beta^2=\beta^2+\alpha^2 \Leftarrow 同じ式
\end{align*}} α 2 + β 2 = β 2 + α 2 ⇐ 同じ式
でも α 2 − β 2 \alpha^2-\beta^2 α 2 − β 2 は対称式にならないよ。α \alpha α と β \beta β を入れ替えたら違う式だから。
α 2 − β 2 = β 2 − α 2 ⇐ 違う式 {\begin{align*}
\alpha^2-\beta^2=\beta^2-\alpha^2 \Leftarrow 違う式
\end{align*}} α 2 − β 2 = β 2 − α 2 ⇐ 違う式
それでは森田君。対称式として他にどんなものがあるかな?」 「( α + β ) 2 (\alpha+\beta)^2 ( α + β ) 2 や ( α + β ) 3 (\alpha+\beta)^3 ( α + β ) 3 。 あとα 3 + β 3 \alpha^3+\beta^3 α 3 + β 3 や1 a + 1 β \dfrac{1}{a}+\dfrac{1}{\beta} a 1 + β 1 も対称式になります。 ( α − β ) 2 (\alpha-\beta)^2 ( α − β ) 2 も対称式でしょうか?」 「( α − β ) 2 (\alpha-\beta)^2 ( α − β ) 2 は対称式だね。α \alpha α と β \beta β を入れ替えても、2乗するので符号はどちらも同じになる。2乗しないα − β \alpha-\beta α − β は対称式ではないけど、2乗すれば対称式になるんだね」
( α − β ) 2 = ( β − α ) 2 ⇐ 同じ式 α − β ≠ β − α ⇐ 違う式 {\begin{align*}
(\alpha-\beta)^2&=(\beta-\alpha)^2 &\Leftarrow 同じ式\\
\alpha-\beta& \ne \beta-\alpha &\Leftarrow 違う式
\end{align*}} ( α − β ) 2 α − β = ( β − α ) 2 = β − α ⇐ 同じ式 ⇐ 違う式
「ところでこの α + β \alpha+\beta α + β と α β \alpha\beta α β は、最も基本的な対称式ということで『基本対称式 』というんだ。そこでこの基本対称式について次のような定理がある。
<対称式の基本定理> 全ての対称式は『基本対称式』の加減乗除で表すことができる。
加減乗除とは『足し算、引き算、掛け算、割り算』、つまり四則演算のこと。つまり、α 2 + β 2 \alpha^2+\beta^2 α 2 + β 2 のようなすべての対称式は、基本対称式 α + β , α β \alpha+\beta, \alpha\beta α + β , α β の『足し算、引き算、掛け算、割り算』で表すことができる、というわけだね。そこで次の問題をやってみようか」 竹村は用意してきた問題をホワイトボードに書き綴る。
問題 2次方程式 a x 2 + b x + c = 0 ax^2+bx+c=0 a x 2 + b x + c = 0 の2つの解を α , β \alpha, \beta α , β とする。このとき、次の対象式を係数 a , b , c a,b,c a , b , c を用いて表しなさい。 (1) α 2 + β 2 \alpha^2+\beta^2 α 2 + β 2 (2) ( α − β ) 2 (\alpha-\beta)^2 ( α − β ) 2
「まずは先生が解いてみようか。さっきやった『解と係数の関係』より
α + β = − b a α β = c a {\begin{align*}
\alpha+\beta&=-\dfrac{b}{a}\\
\alpha\beta&=\dfrac{c}{a}
\end{align*}} α + β α β = − a b = a c
すると先ほどの『対称式の基本定理』。”全ての対象式は『基本対称式』の加減乗除で表すことができる”ので、それぞれを式を基本対称式 α + β , α β \alpha+\beta,\alpha\beta α + β , α β で表すことができれば、それに『解と係数の関係』を代入して係数 a , b , c , d a,b,c,d a , b , c , d で表すことができるんだね。では具体的にやってみよう。ますは (1) から」 竹村は軽快に数式を書き始めた。 「因数分解公式 a 2 + 2 a b + b 2 = ( a + b ) 2 a^2+2ab+b^2=(a+b)^2 a 2 + 2 ab + b 2 = ( a + b ) 2 より α 2 + 2 α β + β 2 \alpha^2+2\alpha\beta+\beta^2 α 2 + 2 α β + β 2 は次ように因数分解できる。
α 2 + 2 α β + β 2 = ( α + β ) 2 {\begin{align*}
\alpha^2+2\alpha\beta+\beta^2=(\alpha+\beta)^2
\end{align*}} α 2 + 2 α β + β 2 = ( α + β ) 2
− 2 α β -2\alpha\beta − 2 α β を移行して
α 2 + β 2 = ( α + β ‾ ) 2 − 2 α β ‾ {\begin{align*}
\alpha^2+\beta^2=(\underline{\alpha+\beta})^2-2\underline{\alpha\beta}
\end{align*}} α 2 + β 2 = ( α + β ) 2 − 2 α β
すると下線部が基本対称式となるので、これに先ほどの解と係数の関係
α + β = − b a α β = c a {\begin{align*}
\alpha+\beta&=-\dfrac{b}{a}\\
\alpha\beta&=\dfrac{c}{a}
\end{align*}} α + β α β = − a b = a c
を代入すれば
α 2 + β 2 = ( α + β ) 2 − 2 α β = ( − b a ) 2 − 2 ⋅ c a = b 2 a 2 − 2 c a = b 2 a 2 − 2 a c a 2 = b 2 − 2 a c a 2 (答) {\begin{align*}
\alpha^2+\beta^2 &=(\alpha+\beta)^2-2\alpha\beta\\
&=\left(-\dfrac{b}{a}\right)^2-2\cdot\dfrac{c}{a}\\
&=\dfrac{b^2}{a^2}-\dfrac{2c}{a}\\
&=\dfrac{b^2}{a^2}-\dfrac{2ac}{a^2}\\
&=\dfrac{b^2-2ac}{a^2} (答)
\end{align*}} α 2 + β 2 = ( α + β ) 2 − 2 α β = ( − a b ) 2 − 2 ⋅ a c = a 2 b 2 − a 2 c = a 2 b 2 − a 2 2 a c = a 2 b 2 − 2 a c (答)
これで対称式 α 2 + β 2 \alpha^2+\beta^2 α 2 + β 2 を、2次方程式の係数 a , b , c , d a,b,c,d a , b , c , d で表すことが出来たね。具体的に解 α , β \alpha,\beta α , β が分からなくても、その解で得られる対称式は係数で求めることが出来るというのが便利なところ。それでは森田君、(2)は解いてみようか」 と竹村が振り返ると、森田君はホワイトボードの前にいた。 「(2) は展開公式 ( a − b ) 2 = a 2 − 2 a b + b 2 (a-b)^2=a^2-2ab+b^2 ( a − b ) 2 = a 2 − 2 ab + b 2 について a = α a=\alpha a = α , b = β b=\beta b = β として
( α − β ) 2 = α 2 − 2 α β + β 2 = α 2 + β 2 − 2 α β {\begin{align*}
(\alpha-\beta)^2 &=\alpha^2-2\alpha\beta+\beta^2\\
&=\alpha^2+\beta^2-2\alpha\beta
\end{align*}} ( α − β ) 2 = α 2 − 2 α β + β 2 = α 2 + β 2 − 2 α β
すると (1) で求めた α 2 + β 2 = b 2 − 2 a c a 2 \alpha^2+\beta^2=\dfrac{b^2-2ac}{a^2} α 2 + β 2 = a 2 b 2 − 2 a c と、解と係数の関係 α β = c a \alpha\beta=\dfrac{c}{a} α β = a c を代入して
( α − β ) 2 = α 2 + β 2 − 2 α β = b 2 − 2 a c a 2 − 2 ⋅ c a = b 2 − 2 a c a 2 − 2 c a = b 2 − 2 a c a 2 − 2 a c a 2 = b 2 − 2 a c − 2 a c a 2 = b 2 − 4 a c a 2 (答) {\begin{align*}
(\alpha-\beta)^2 &=\alpha^2+\beta^2-2\alpha\beta\\
&=\dfrac{b^2-2ac}{a^2}-2\cdot\dfrac{c}{a}\\
&=\dfrac{b^2-2ac}{a^2}-\dfrac{2c}{a}\\
&=\dfrac{b^2-2ac}{a^2}-\dfrac{2ac}{a^2}\\
&=\dfrac{b^2-2ac-2ac}{a^2}\\
&=\dfrac{b^2-4ac}{a^2} (答)
\end{align*}} ( α − β ) 2 = α 2 + β 2 − 2 α β = a 2 b 2 − 2 a c − 2 ⋅ a c = a 2 b 2 − 2 a c − a 2 c = a 2 b 2 − 2 a c − a 2 2 a c = a 2 b 2 − 2 a c − 2 a c = a 2 b 2 − 4 a c (答)
となり求まりました」 「森田君よくできました。(1) で求めた結果を利用するのがポイントだね。既に得られた値は当然成り立っているので利用すればいい。さて、今は2変数の対称式だったけど、3変数の対称式もあるよ」 「3次方程式の解の公式に出てきた左辺の式です」 なかなかの鋭い見極めに竹村は驚く。 「そうそう、3変数の場合、基本対称式は3次方程式の解と係数の関係で現れた左辺の式なんだ。4変数の基本対称式も同じ。ではまとめておこう」
(まとめ)<2変数の基本対称式> α + β \alpha+\beta α + β α β \alpha\beta α β <3変数の基本対称式> α + β + γ \alpha+\beta+\gamma α + β + γ α β + β γ + γ α \alpha\beta+\beta\gamma+\gamma\alpha α β + β γ + γ α α β γ \alpha\beta\gamma α β γ <4変数の基本対称式> α + β + γ + δ \alpha+\beta+\gamma+\delta α + β + γ + δ α β + β γ + γ α \alpha\beta+\beta\gamma+\gamma\alpha α β + β γ + γ α α β γ + α β δ + α γ δ + β γ δ \alpha\beta\gamma+\alpha\beta\delta+\alpha\gamma\delta+\beta\gamma\delta α β γ + α β δ + α γ δ + β γ δ α β γ δ \alpha\beta\gamma\delta α β γ δ <5変数以上の基本対称式> も、同様に構成していけばよい。
「よって、3変数以上の対称式についても『対称式の基本定理』が成り立ち、すべて基本対称式の加減乗除で表すことができるんだね。例えば α 2 + β 2 + γ 2 \alpha^2+\beta^2+\gamma^2 α 2 + β 2 + γ 2 は3変数の対称式。α , β , γ \alpha,\beta,\gamma α , β , γ をどのように入れ替えても同じ式になるね。足した順番を入れ替えても同じ値だから。よしじゃあ1つ問題をやってみようか」 竹村は急きょ問題を作った。
問題 3次方程式 a x 3 + b x 2 + c x + d = 0 ax^3+bx^2+cx+d=0 a x 3 + b x 2 + c x + d = 0 の解を α , β , γ \alpha,\beta,\gamma α , β , γ とする。このとき、対象式 α 2 + β 2 + γ 2 \alpha^2+\beta^2+\gamma^2 α 2 + β 2 + γ 2 を係数 a , b , c , d a,b,c,d a , b , c , d を用いて表しなさい。なお、すべての文字を使うとは限らない。
森田君はすぐさまペンを動かす。 「以下の展開式を用います。
( α + β + γ ) 2 = α 2 + β 2 + γ 2 + 2 α β + 2 β γ + 2 γ α {\begin{align*}
(\alpha+\beta+\gamma)^2=\alpha^2+\beta^2+\gamma^2+2\alpha\beta+2\beta\gamma+2\gamma\alpha
\end{align*}} ( α + β + γ ) 2 = α 2 + β 2 + γ 2 + 2 α β + 2 β γ + 2 γ α
「えっどこで習ったの?」 「( α + β + γ ) 2 = ( α + β + γ ) ( α + β + γ ) (\alpha+\beta+\gamma)^2=(\alpha+\beta+\gamma)(\alpha+\beta+\gamma) ( α + β + γ ) 2 = ( α + β + γ ) ( α + β + γ ) として、分配法則で展開して整理すればこのようになります。まずは左右入れ替えて
α 2 + β 2 + γ 2 + 2 α β + 2 β γ + 2 γ α = ( α + β + γ ) 2 {\begin{align*}
\alpha^2+\beta^2+\gamma^2+2\alpha\beta+2\beta\gamma+2\gamma\alpha=(\alpha+\beta+\gamma)^2
\end{align*}} α 2 + β 2 + γ 2 + 2 α β + 2 β γ + 2 γ α = ( α + β + γ ) 2
2 α β + 2 β γ + 2 γ α 2\alpha\beta+2\beta\gamma+2\gamma\alpha 2 α β + 2 β γ + 2 γ α を移行して
α 2 + β 2 + γ 2 = ( α + β + γ ) 2 − ( 2 α β + 2 β γ + 2 γ α ) = ( α + β + γ ‾ ) 2 − 2 ( α β + β γ + γ α ‾ ) {\begin{align*}
\alpha^2+\beta^2+\gamma^2&=(\alpha+\beta+\gamma)^2-(2\alpha\beta+2\beta\gamma+2\gamma\alpha)\\
&=(\underline{\alpha+\beta+\gamma})^2-2(\underline{\alpha\beta+\beta\gamma+\gamma\alpha})
\end{align*}} α 2 + β 2 + γ 2 = ( α + β + γ ) 2 − ( 2 α β + 2 β γ + 2 γ α ) = ( α + β + γ ) 2 − 2 ( α β + β γ + γ α )
すると下線部が基本対称式になるので、これに3次方程式の解の公式
α + β + γ = − b a α β + β γ + γ α = c a α β γ = − d a {\begin{align*}
\alpha+\beta+\gamma&=-\dfrac{b}{a}\\
\alpha\beta+\beta\gamma+\gamma\alpha&=\dfrac{c}{a}\\
\alpha\beta\gamma&=-\dfrac{d}{a}
\end{align*}} α + β + γ α β + β γ + γ α α β γ = − a b = a c = − a d
の上位2式を代入して
α 2 + β 2 + γ 2 = ( α + β + γ ) 2 − 2 ( α β + β γ + γ α ) = ( − b a ) 2 − 2 ⋅ c a = b 2 a 2 − 2 c a = b 2 a 2 − 2 a c a 2 = b 2 − 2 a c a 2 (答) {\begin{align*}
\alpha^2+\beta^2+\gamma^2&=(\alpha+\beta+\gamma)^2-2(\alpha\beta+\beta\gamma+\gamma\alpha)\\
&=\left(-\dfrac{b}{a}\right)^2-2\cdot\dfrac{c}{a}\\
&=\dfrac{b^2}{a^2}-\dfrac{2c}{a}\\
&=\dfrac{b^2}{a^2}-\dfrac{2ac}{a^2}\\
&=\dfrac{b^2-2ac}{a^2} (答)
\end{align*}} α 2 + β 2 + γ 2 = ( α + β + γ ) 2 − 2 ( α β + β γ + γ α ) = ( − a b ) 2 − 2 ⋅ a c = a 2 b 2 − a 2 c = a 2 b 2 − a 2 2 a c = a 2 b 2 − 2 a c (答)
「先生解けました」 「正解!よくできました。3変数の2乗の展開式
( α + β + γ ) 2 = α 2 + β 2 + γ 2 + 2 α β + 2 β γ + 2 γ α {\begin{align*}
(\alpha+\beta+\gamma)^2=\alpha^2+\beta^2+\gamma^2+2\alpha\beta+2\beta\gamma+2\gamma\alpha
\end{align*}} ( α + β + γ ) 2 = α 2 + β 2 + γ 2 + 2 α β + 2 β γ + 2 γ α
をその場で考えて書き出したのは凄いね。高校1年で習う公式だよ」 「証明は普通に展開すれば出来ますが、( α + β ) 2 (\alpha+\beta)^2 ( α + β ) 2 を展開すると
( α + β ) 2 = α 2 + 2 α β + β 2 = α 2 + β 2 + 2 α β {\begin{align*}
(\alpha+\beta)^2&=\alpha^2+2\alpha\beta+\beta^2\\
&=\alpha^2+\beta^2+2\alpha\beta
\end{align*}} ( α + β ) 2 = α 2 + 2 α β + β 2 = α 2 + β 2 + 2 α β
となるので γ \gamma γ が1つ増えた分、下線部
( α + β + γ ) 2 = α 2 + β 2 + γ 2 ‾ + 2 α β + 2 β γ ‾ + 2 γ α ‾ {\begin{align*}
(\alpha+\beta+\gamma)^2=\alpha^2+\beta^2+\underline{\gamma^2}+2\alpha\beta+\underline{2\beta\gamma}+\underline{2\gamma\alpha}
\end{align*}} ( α + β + γ ) 2 = α 2 + β 2 + γ 2 + 2 α β + 2 β γ + 2 γ α
の項が増えるという自然な見方も出来ます」 「なるほど」竹村は妙に納得した。 「では今日はここまで。次の授業では、解の公式をこの対称式の立場で眺めてみようと思う。そうすると解の公式がより深く見えてくるよ。目指すは5次方程式の解の公式がなぜ存在しないのかだね」 「お願いします!」 今日の授業は終わった。 「γ \gamma γ の項が増えるわけか・・・」 予定通り授業が終わり、竹村は今日は紀伊国屋書店ではなく、馴染みの小料理店へと向かった。
(了)
(コメント) 気が付いたら随時修正しています。一人で書いているとどこが分かりにくいのか分からないので、分かりにくい所があれコメント下さい。 (追記) スマホで見た場合、一部の数式表記が変な所で改行されるので、良い方法がないか修正中。