メインコンテンツへスキップ
見出し画像

もっと分かりやすく➄「解の和と差の連立」による２次方程式の解の公式の導出

    中学でもわかる浪漫数学

    （初めに）ここでは、分かりにくいと思った本シリーズ (11) の内容をもう一度解説していきます。
    　なお、本シリーズ (11) では便宜的に「係数の置き換え」を行っていますが、ここでは行っていません。置き換えるか置き換えないかの違いだけで、本質的には同じです。

    （本文スタート）
    　２次方程式の解の公式について、「解の差積 α−β\boldsymbol{\alpha-\beta} を添加する」ことの重要性を本シリーズ (21) で解説しました。この差積を添加する意味を別の角度で解説していきます。キーワードは「α+β=◯\alpha+\beta=\bigcirc と α−β=□\alpha-\beta=\square の連立方程式

    {α+β=◯α−β=□\begin{cases} \alpha+\beta=\bigcirc\\ \alpha-\beta=\square \end{cases}

    を解いて、２次方程式の解の公式を導出する」ということです。

    α+β を係数で表す

    　第１式 α+β=◯\alpha+\beta=\bigcirc の方は、＜解と係数の関係＞の最初の式から容易に分かります（本シリーズ (4)）。

    ＜解と係数の関係＞（復習）

    　２次方程式 ax2+bx+c=0ax^2+bx+c=0 の解 α, β\alpha,  \beta について

    α+β=−baαβ=ca\begin{align*} \alpha+\beta&=-\dfrac{b}{a}\\ \alpha\beta&=\dfrac{c}{a} \end{align*}

    ＊＊＊

    　つまり

    {α+β=−baα−β=□\begin{cases} \alpha+\beta=-\dfrac{b}{a}\\ \alpha-\beta=\square \end{cases}

    と、第１式が決定します。問題は第２式
    　α−β=□\alpha-\beta=\square
    の方です。これは解の差積とよばれるものです。

    解の差積 α－β を係数で表す

    　２次方程式 ax2+bx+c=0ax^2+bx+c=0 の解を α, β\alpha,  \beta とすると、その解の差積 X2X_2 は次のようなものでした。

    X2=α−β\begin{align*} X_2=\alpha-\beta \end{align*}

    　この差積を、２次方程式の係数と有理数の加減乗除で構成できるすべての式の集合 Q2Q_2 に添加することにより、その添加された集合 Q2(X2)Q_2(X_2) 内で、２次方程式の解の公式を構成することができました（本シリーズ (21)）。

    画像

    　この差積

    X2=α−β\begin{align*} X_2=\alpha-\beta \end{align*}

    を、２次方程式 ax2+bx+c=0ax^2+bx+c=0 の係数 a, b, ca,  b,  c を用いて表すことを考えましょう。

    X2=α−β=(a, b, c で表す)\begin{align*} X_2=\alpha-\beta=(a,  b,  c  で表す) \end{align*}

    　そのためには、まず差積の２乗 (X2)2(X_2)^2

    (X2)2=(α−β)2\begin{align*} (X_2)^2=(\alpha-\beta)^2 \end{align*}

    を考えます。変数を入れ替えても変化しない式を対称式といいました。α\alpha と β\beta を入れ替えると、α−β\alpha-\beta は式が変化するので対称式ではありませんが、(α−β)2(\alpha-\beta)^2 は式が変化しないので対称式です（本シリーズ (4)）。

    α−β →入れ替えるとα と β を β−α=−(α−β)→ 変化するので対称式ではない(α−β)2 →入れ替えるとα と β を (β−α)2=(α−β)2→ 変化しないので対称式である\begin{align*} \\ \alpha-\beta  &\xrightarrow[入れ替えると]{\alpha  と  \beta  を}  \beta-\alpha=-(\alpha-\beta)\\[8pt] &\xrightarrow[\hspace{42pt}]{}  {\small 変化するので対称式ではない}\\[8pt] (\alpha-\beta)^2  &\xrightarrow[入れ替えると]{\alpha  と  \beta  を}  (\beta-\alpha)^2=(\alpha-\beta)^2\\[8pt] &\xrightarrow[\hspace{42pt}]{}  {\small 変化しないので対称式である} \end{align*}

    　すると、

    ＜対称式の基本定理＞
    　「すべての対称式は、基本対称式 α+β, αβ\alpha+\beta,  \alpha\beta の加減乗除で表すことができる」

    より、対称式である (α−β)2(\alpha-\beta)^2 は、基本対称式の加減乗除で表すことが可能です。実際計算すると

    (α−β)2=α2−2αβ+β2=α2+β2‾−2αβ=(α+β)2−2αβ‾−2αβ=(α+β⏟基本対称式)2−4αβ⏟基本対称式\begin{align*} {(\alpha-\beta)}^2&=\alpha^2-2\alpha\beta+\beta^2\\ &=\underline{\alpha^2+\beta^2}-2\alpha\beta\\ &=\underline{{(\alpha+\beta)}^2-2\alpha\beta}-2\alpha\beta\\ &={(\hspace{-5pt}\underbrace{\alpha+\beta}_{基本対称式}\hspace{-5pt})}^2-4\hspace{-11pt}\underbrace{\alpha\beta}_{基本対称式} \end{align*}

    と、基本対称式の加減乗除で表すことができます。下線部のところは
    　α2+β2=(α+β)2−2αβ\alpha^2+\beta^2={(\alpha+\beta)}^2-2\alpha\beta
    の等式を用いています。証明は、以下のような因数分解公式（中３で習う）
    　α2+2αβ+β2=(α+β)2\alpha^2+2\alpha\beta+\beta^2={(\alpha+\beta)}^2
    について、2αβ2\alpha\beta を移項して
    　α2+β2=(α+β)2−2αβ\alpha^2+\beta^2={(\alpha+\beta)}^2-2\alpha\beta
    より証明されます。
    　ここで、ax2+bx+c=0ax^2+bx+c=0 の解を α, β\alpha,  \beta としたときの＜解と係数の関係＞

    α+β=−ba　⋯①αβ=ca\begin{align*} \alpha+\beta&=-\dfrac{b}{a}　\cdots ①\\ \alpha\beta&=\dfrac{c}{a} \end{align*}

    を基本対称式の部分に代入して

    (α−β)2=(α+β)2−4αβ=(−ba)2−4⋅ca=(ba)2−4⋅ca\begin{align*} {(\alpha-\beta)}^2&={(\alpha+\beta)}^2-4\alpha\beta\\ &={\left(-\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}\\ &={\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a} \end{align*}

    より

    (α−β)2=(ba)2−4⋅ca\begin{align*} {(\alpha-\beta)}^2={\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a} \end{align*}

    　ここで「x2=3x^2=3 を解くと x=±3x=\pm\sqrt{3}」と同じ形式の計算より

    (α−β)2=(ba)2−4⋅ca ↓ ２乗をはずすとプラスマイナスルートα−β=±(ba)2−4⋅ca\begin{align*} {(\alpha-\beta)}^2&={\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}\\[10pt] &\,\downarrow  {\footnotesize ２乗をはずすとプラスマイナスルート}\\[2pt] \alpha-\beta&=\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}} \end{align*}

    （詳説）

    (α−β)2=(ba)2−4⋅ca\begin{align*} {(\alpha-\beta)}^2={\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a} \end{align*}

    α−β=X2\alpha-\beta=X_2 であり、かつ (ba)2−4⋅ca=A{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}=A と置くと

    (X2)2=A\begin{align*} {(X_2)}^2=A \end{align*}

    「x2=3x^2=3 を解くと x=±3x=\pm\sqrt{3}」と同じ形式の計算より

    X2=±A\begin{align*} X_2=\pm\sqrt{A} \end{align*}

    X2, AX_2,  A を置き換える前に戻して

    α−β=±(ba)2−4⋅ca　⋯②\begin{align*} \alpha-\beta=\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots ② \end{align*}

    　これで、差積 α−β\alpha-\beta を係数 a, b, ca,  b,  c を用いて表すことができました。 α−β\alpha-\beta は対称式ではないので、a, b, ca,  b,  c の加減乗除だけで表すことはできませんが、平方根を用いることによって ②② のように表すことができました（本シリーズ (11)）。
    　すると、解と係数の関係から得られる ①① 式
    　α+β=−ca　⋯①\alpha+\beta=-\dfrac{c}{a}　\cdots ①
    と、先ほど求めた ②② との連立方程式

    {α+β=−ba　⋯①α−β=±(ba)2−4⋅ca　⋯　②\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}　\cdots ①\\[10pt] \alpha-\beta=\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots　② \end{cases} \end{align*}

    を解くことによって α, β\alpha,  \beta が決定できます。冒頭で述べた、「α+β=◯\alpha+\beta=\bigcirc と α−β=□\alpha-\beta=\square の連立方程式を解く」というキーワードです。
    　では、実際に計算していきます。

    解の和 α＋β と差 α－β の連立方程式を解く

    　②② にプラスとマイナスの２通りがあるので、プラスとマイナスで次のように場合分けをします。

    (case1)　プラスのとき

    {α+β=−ba　⋯①α−β=(ba)2−4⋅ca　⋯　②\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}　\cdots ①\\[10pt] \alpha-\beta=\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots　② \end{cases} \end{align*}

    (case2)　マイナスのとき

    {α+β=−ba　⋯①α−β=−(ba)2−4⋅ca　⋯　②\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}　\cdots ①\\[10pt] \alpha-\beta=-\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots　② \end{cases} \end{align*}

    　(case1)、(case2) と順に解いていきます。このためには、次のような解に関する恒等式（恒に成り立つ等式）を用います。

    α=(α+β)+(α−β)2β=(α+β)−(α−β)2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ \beta&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2}\\ \end{align*}

    　①① と ②② を足して 22 で割ったのが α\alpha、①① から ②② を引いて 22 で割ったのが β\beta という意味です。①① と ②② の加減乗除のみの計算で、α. β\alpha.  \beta を決定することができます。

    α=①+②2β=①−②2\begin{align*} \\[12pt] \alpha&=\dfrac{①+②}{2}\\ \beta&=\dfrac{①-②}{2} \end{align*}

    　証明は、右辺を計算すれば左辺になることで簡単に証明できます（注１）。

    (case1)

    {α+β=−ba　⋯①α−β=(ba)2−4⋅ca　⋯　②\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}　\cdots ①\\[10pt] \alpha-\beta=\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots　② \end{cases} \end{align*}

    のとき

    α=(α+β)+(α−β)2=−ba+(ba)2−4⋅ca2β=(α+β)−(α−β)2=−ba−(ba)2−4⋅ca2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\[5pt] &=\dfrac{-\dfrac{b}{a}+\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2}\\[10pt] \beta&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2}\\[5pt] &=\dfrac{-\dfrac{b}{a}-\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    よって

    {α=−ba+(ba)2−4⋅ca2β=−ba−(ba)2−4⋅ca2\begin{align*} \begin{cases} \alpha=\dfrac{-\dfrac{b}{a}+\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2}\\[10pt] \beta=\dfrac{-\dfrac{b}{a}-\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2} \end{cases} \end{align*}

    (case2)

    {α+β=−ba　⋯①α−β=−(ba)2+4⋅ca　⋯　②\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}　\cdots ①\\[10pt] \alpha-\beta=-\sqrt{{\left(\dfrac{b}{a}\right)}^2+4\cdot\dfrac{c}{a}}　\cdots　② \end{cases} \end{align*}

    のとき

    α=(α+β)+(α−β)2=−ba+(−(ba )2−4⋅ca )2=−ba−(ba)2−4⋅ca2β=(α+β)−(α−β)2=−ba−(−(ba )2−4⋅ca )2=−ba+(ba)2−4⋅ca2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\[5pt] &=\dfrac{-\dfrac{b}{a}+\left(-\sqrt{{\left(\dfrac{b}{a}\,\right)}^2-4\cdot\dfrac{c}{a}}\,\right)}{2}\\[5pt] &=\dfrac{-\dfrac{b}{a}-\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2}\\[10pt] \beta&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2}\\[5pt] &=\dfrac{-\dfrac{b}{a}-\left(-\sqrt{{\left(\dfrac{b}{a}\,\right)}^2-4\cdot\dfrac{c}{a}}\,\right)}{2}\\[5pt] &=\dfrac{-\dfrac{b}{a}+\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    よって

    {α=−ba−(ba)2−4⋅ca2β=−ba+(ba)2−4⋅ca2\begin{align*} \begin{cases} \alpha=\dfrac{-\dfrac{b}{a}-\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2}\\[10pt] \beta=\dfrac{-\dfrac{b}{a}+\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2} \end{cases} \end{align*}

    　以上の結果をまとめると

    (case1) のとき

    {α=−ba+(ba)2−4⋅ca2β=−ba−(ba)2−4⋅ca2\begin{align*} \begin{cases} \alpha=\dfrac{-\dfrac{b}{a}+\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2}\\[10pt] \beta=\dfrac{-\dfrac{b}{a}-\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2} \end{cases} \end{align*}

    (case2) のとき

    {α=−ba−(ba)2−4⋅ca2β=−ba+(ba)2−4⋅ca2\begin{align*} \begin{cases} \alpha=\dfrac{-\dfrac{b}{a}-\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2}\\[10pt] \beta=\dfrac{-\dfrac{b}{a}+\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2} \end{cases} \end{align*}

    　この結果をみると、(case1) と (case2) ではプラスとマイナスが入れ替わっているだけです。α\alpha と β\beta は２次方程式 ax2+bx+c=0ax^2+bx+c=0 の解なので、α\alpha と β\beta を xx とおいて、以下のように１つにまとめることが可能です。

    x=−ba±(ba)2−4⋅ca2\begin{align*} x=\dfrac{-\dfrac{b}{a}\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    　これで、２次方程式の解の公式が得られたことになります。さらに、以下のように計算していくと 、教科書で馴染みのある形での解の公式が証明されます。

    x=−ba±(ba)2−4⋅ca2=−ba±b2a2−4⋅ca2=−ba±b2a2−4⋅aca22=−ba±b2a2−4aca22=−ba±b2−4aca22=−ba±b2−4aca2=−b±b2−4ac2a\begin{align*} x&=\dfrac{-\dfrac{b}{a}\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\sqrt{\dfrac{b^2}{a^2}-4\cdot\dfrac{c}{a}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\sqrt{\dfrac{b^2}{a^2}-4\cdot\dfrac{ac}{a^2}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\sqrt{\dfrac{b^2}{a^2}-\dfrac{4ac}{a^2}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\sqrt{\dfrac{b^2-4ac}{a^2}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\dfrac{\sqrt{b^2-4ac}}{a}}{2}\\ &=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

     より

    x=−b±b2−4ac2a\begin{align*} x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

    　つまり、解の公式を得るためには
    　α+β\alpha+\beta  と  α−β\alpha-\beta
    を２次方程式の係数 a, b, ca,  b,  c を用いて決定し、それらを連立すればよいということです。
    　α+β\alpha+\beta は＜解と係数の関係＞から

    α+β=−ba　⋯①\begin{align*} \alpha+\beta=-\dfrac{b}{a}　\cdots ① \end{align*}

    と決まります。α+β\alpha+\beta は（基本）対称式なので、原理的に２次方程式の係数 a, b, ca,  b,  c の加減乗除で表すことができます（すべての対称式の集合は、a, b, ca,  b,  c と有理数の加減乗除で表せるすべての式の集合と同じになることは本シリーズ (19) でやりました）。

    画像
    画像

    　しかし、α−β\alpha-\beta は対称式ではないので、a, b, ca,  b,  c の加減乗除だけで表すことはできない、つまり集合 Q2Q_2 内で構成することはできません。
    　そこで、 α−β\alpha-\beta の２乗
    　(α−β)2(\alpha-\beta)^2
    を先に求めます。これは対称式なので、 a, b, ca,  b,  c の加減乗除で表すことができる、つまり、集合 Q2Q_2 内で構成することができます。

    画像

    　実際、これは

    (α−β)2=(ba)2−4⋅ca\begin{align*} {(\alpha-\beta)}^2={\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a} \end{align*}

    となりました。あとはこの両辺に平方根を取れば

    α−β=±(ba)2−4⋅ca　⋯②\begin{align*} \alpha-\beta=\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots ② \end{align*}

    となるので、これで ①① と ②② の連立方程式

    {α+β=−ba　⋯①α−β=±(ba)2−4⋅ca　⋯　②\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}　\cdots ①\\[10pt] \alpha-\beta=\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots　② \end{cases} \end{align*}

    を解くことによって、α\alpha と β\beta を求めることが可能となるのです。

    平方根という新しい演算の添加

    　①① と ②② の連立方程式を解くのに必要な演算は加減乗除のみです。

    {α+β=−ba　⋯①α−β=±(ba)2−4⋅ca　⋯　②↓加減乗除のみによって α, β は決定可能↓解の公式  x=−b±b2−4ac2a  が決定可能\begin{align*} &\begin{cases} \alpha+\beta=-\dfrac{b}{a}　\cdots ①\\[10pt] \alpha-\beta=\pm\sqrt{{\left(\dfrac{b}{a}\right)}^2-4\cdot\dfrac{c}{a}}　\cdots　② \end{cases}\\ &\hspace{60pt}\downarrow\\ &\hspace{-20pt}加減乗除のみによって  \alpha,  \beta  は決定可能\\ &\hspace{60pt}\downarrow\\ &\hspace{-20pt}解の公式   x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a}   が決定可能 \end{align*}\\

    　対称式ではない差積 ②② を、平方根を取るという操作によって決定することができたので、そこから先は、連立方程式という加減乗除のみによって解ける形式によって、２次方程式の解の公式を求めることができました。しかし、平方根を取るという操作は、加減乗除を超えた「新しい演算」です。つまり、平方根を取るという「新しい演算」を可能とするために「差積 α−β\boldsymbol{\alpha-\beta} の添加（平方根の添加）」という考えが重要になってきます（本シリーズ (21)）。
    　ちなみに、シリーズ (1)、(18)、(21) で説明した２次方程式の解の公式の導出方法（これを平方完成といいます）では、平方根を取るという操作は、下記の (∗1)(*1) から (∗2)(*2) の計算過程に現れました。

    （再掲）

    (x+b2a)2=14(ba)2−ca　⋯(∗1)\begin{align*} \left(x+\dfrac{b}{2a}\right)^2&=\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}　\cdots (*1) \end{align*}

    ここで、両辺の平方恨をとって

    x+b2a=±14(ba)2−ca　⋯(∗2)\begin{align*} x+\dfrac{b}{2a}=\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}}　\cdots (*2) \end{align*}

    （再掲終わり）

    　これは

    ◯2=□\begin{align*} {\bigcirc}^2=\square \end{align*}

    という形から、両辺に平方根を取って

    ◯=±□\begin{align*} \bigcirc=\pm\sqrt{\square} \end{align*}

    と、平方根を作るような計算形式です。
    　２次方程式の解の公式には、本質的に平方根を取る操作が必要です。その操作を可能にするのが、「差積 α−β\boldsymbol{\alpha-\beta} の添加（平方根の添加）」というわけです。

    画像

    （注１）恒等式の証明

    　次の等式を証明します。これらは恒に成り立つ式なので恒等式となります。

    α=(α+β)+(α−β)2β=(α+β)−(α−β)2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ \beta&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2}\\ \end{align*}

    　証明は、（右辺）を変形して（左辺）が導かれることを証明します。

    （前者の証明）

    α=(α+β)+(α−β)2\begin{align*} \alpha=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2} \end{align*}

    は

    （右辺）=(α+β)+(α−β)2=α+β+α−β2=α+α2=2α2=α=（左辺）\begin{align*} （右辺）&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ &=\dfrac{\alpha+\cancel{\beta}+\alpha-\cancel{\beta}}{2}\\ &=\dfrac{\alpha+\alpha}{2}\\ &=\dfrac{\cancel{2}\alpha}{\cancel{2}}\\ &=\alpha\\ &=（左辺） \end{align*}

    （後者の証明）

    β=(α+β)−(α−β)2\begin{align*} \beta=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2} \end{align*}

    は

    （右辺）=(α+β)−(α−β)2=α+β−α+β2=β+β2=2β2=β=（左辺）\begin{align*} （右辺）&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2}\\ &=\dfrac{\cancel{\alpha}+\beta-\cancel{\alpha}+\beta}{2}\\ &=\dfrac{\beta+\beta}{2}\\ &=\dfrac{\cancel{2}\beta}{\cancel{2}}\\ &=\beta\\ &=（左辺） \end{align*}

    より証明された。

    （参考）各章の内容

    （１）「２次方程式の解の公式」を式変形で導出
    　　　・平方完成
    （２）「３次方程式の解の公式」を導出するための準備
    　　　・11 の３乗根 ω\omega
    （３）「３次方程式の解の公式」を式変形で導出
    　　　・チルンハウス変換
    （４）「解と係数の関係」と「対称式」の解説
    （５）「対称式」を用いた「２次方程式の解の公式」の導出
    （６）「解の置換」と「ラグランジュ・リゾルベント」の解説
    （７）「ラグランジュ・リゾルベント」による「３次方程式の解の公式」の導出
    （８）「偶置換」と「奇置換」の解説（ここから「アーベルの証明」の準備）
    （９）「差積の２乗」が対称式となることを解説
    （10）「平方根」「３乗根」と次々と累乗根を加えていくアイデア
    （11）「アーベルの証明」のアイデアを用いて、なぜ「２次方程式の解の公式が存在するのか」を解説（添加する式について加筆予定）
    （12）「アーベルの証明」のアイデアを用いて、なぜ「３次方程式の解の公式が存在するのか」を解説（前編）。「差積の２乗の平方根」を用いて対称性を保つ置換を「偶置換」にまで絞り込む（対称性の破壊）。
    （13）「アーベルの証明」のアイデアを用いて、なぜ「３次方程式の解の公式が存在するのか」を解説（後編）。「ラグランジュ・リゾルベント」を用いて対称性を保つ置換を「恒等置換」にまで絞り込む（対称性の破壊）。⟶\longrightarrow ３次方程式の解の公式の完成
    （14）「アーベルの証明」の解説①。５次方程式の解の差積（または差積の２乗の平方根）を添加して、加減乗除ができる式の範囲を拡大。その結果、構成可能な式の対称性が５次置換（対称式）から偶置換シンメトリーへと破壊されることを解説。
    （15）「アーベルの証明」の解説②。すべての置換は互換で表せることから、５次置換をすべて互換の積で表して、偶置換と奇置換に分類する。
    （16）「アーベルの証明」の解説➂。「すべての偶置換は３次巡回置換の積で表される」ことの解説。
    （17）「アーベルの証明」の解説➃（最後）。「任意の３次巡回置換が５次巡回置換の積で表せる」ことによって、５次方程式には解の公式が存在しないことが証明されることの解説。
    （18）もっと分かりやすくシリーズ①「累乗根の添加」について重点解説。
    （19）もっと分かりやすくシリーズ②「対称性の破壊」について重点解説。
    （20）もっと分かりやすくシリーズ③「対称性を恒等置換まで破壊」することについて重点解説。
    （21）もっと分かりやすくシリーズ➃　何次方程式でも「最初に解の差積を添加して対称性を破壊すること」は常套手段。
    （22）もっと分かりやすくシリーズ➄「解の和と差の連立」による２次方程式の解の公式の導出について。

    この記事が参加している募集

    あなたへのおすすめ