【SPONSORED LINK】

3次方程式の解の公式|「カルダノの公式」の導出と歴史

2次方程式ax^2+bx+c=0の解が

\begin{align*} x=\frac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

であることはよく知られており,これを[2次方程式の解の公式]といいます.

そこで[2次方程式の解の公式]があるなら[3次方程式の解の公式]はどうなのか,と考えることは自然なことと思います.

歴史的には[2次方程式の解の公式]は紀元前より知られていたものの,[3次方程式の解の公式]が発見されるには16世紀まで待たなくてはなりません.

このように,[3次方程式の解の公式]は存在すら永らく知られていませんでした.

この記事では,[3次方程式の解の公式]として知られる「カルダノの公式」の歴史と導出について説明します.

【SPONSORED LINK】

16世紀のイタリア

本題の前に[3次方程式の解の公式]が知られた16世紀のイタリアの話を書きましょう.

ジェロラモ・カルダノ

かつてイタリアでは数学の問題を出し合って勝負する公開討論会が行われていた時代がありました.

この討論会では方程式の解を与える勝負が行われ,勝者には懸賞金が与えられていたそうです.

そこでは3次方程式は難問とされており,多くの人によって[3次方程式の解の公式]の導出が試みられました.

そんな中,16世紀の半ばにジェロラモ・カルダノ(Gerolamo Cardano)により著書「アルス・マグナ(Ars Magna)」が執筆され,その中で[3次方程式の解の公式]が示されました.

なお,「アルス・マグナ」の意味は「偉大な術」であり,副題は「代数学の諸法則」でした.

このようにして[3次方程式の解の公式]は世の中の知るところとなったわけですが,この「アルス・マグナ」の発刊に際して重要な

  • シピオーネ・デル・フェロ(Scipione del Ferro)
  • ニコロ・フォンタナ(Niccolò Fontana)

を紹介しましょう.

デル・フェロとフォンタナ

15世紀後半の数学者であるデル・フェロが[3次方程式の解の公式]を最初に導出したとされています.

デル・フェロは自身の研究をあまり公表しなかったため,彼の導出した[3次方程式の解の公式]が日の目を見ることはありませんでした.

しかし,デル・フェロは自身の研究成果を弟子に託しており,弟子の一人であるアントニオ・マリア・デル・フィオール(Antonio Maria del Fiore)はこの結果をもとに討論会で勝ち続けていたそうです.

そんな折,フォンタナは[3次方程式の解の公式]があるとの噂を聞き,独自にデル・フェロが導いた公式と同じものを導出しました.

しかし,フィオールは3次方程式の特別な場合のみしか解くことができなかったため,フォンタナはフィオールが解けないパターンの問題を出題することで勝利したそうです.

カルダノとフォンタナ

3次方程式の討論会で[3次方程式の解の公式]を使ったフォンタナは有名となりました.

後に「アルス・マグナ」を発刊するカルダノもフォンタナの噂を聞きつけ,フォンタナを訪れます.

カルダノは「公式を発表しない」という約束のもとに,フォンタナから[3次方程式の解の公式]を聞き出すことに成功します.

しばらくして,カルダノはデル・フェロの公式を導出した原稿を確認し,フォンタナの前にデル・フェロが公式を得ていたことを知ります.

そこでカルダノは「公式はフォンタナによる発見ではなくデル・フェロによる発見であり約束を守る必要はない」と考え,「アルス・マグナ」の中で「デル・フェロの解法」と名付けて[3次方程式の解の公式]を紹介しました.

同時にカルダノは最初に自身はフォンタナから教わったことを記していますが,フォンタナは当然のごとく激怒しました.

その後,フォンタナはカルダノに勝負を申し込みましたが,カルダノは受けなかったそうです.

以上のように,現在ではこの記事で説明する[3次方程式の解の公式]は「カルダノの公式」と呼ばれていますが,カルダノによって発見されたわけではなく,デル・フェロとフォンタナによって別々に証明されたわけですね.

3次方程式の解の公式

それでは3次方程式ax^3+bx^2+cx+d=0の解の公式を導きましょう.

導出は大雑把には

  • 3次方程式をX^3+pX+q=0の形に変形する
  • X^3+y^3+z^3-3Xyzの因数分解を用いる

の2ステップに分けられます.

ステップ1

3次方程式といっているのでa\neq0ですから,両辺をaで割って

\begin{align*} x^3+\frac{b}{a}x^2+\frac{c}{a}x+\frac{d}{a}=0 \end{align*}

が成り立ちます.ここで,x=X-\frac{b}{3a}とすると,

\begin{align*} &\bra{X-\frac{b}{3a}}^3+\frac{b}{a}\bra{X-\frac{b}{3a}}^2+\frac{c}{a}\bra{X-\frac{b}{3a}}+\frac{d}{a}=0 \\\iff&\bra{X^3-\frac{b}{a}X^2+\frac{b^2}{3a^2}X-\frac{b^3}{27a^3}} \\&+\frac{b}{a}\bra{X^2-\frac{2b}{3a}X+\frac{b^2}{9a^2}}+\frac{c}{a}\bra{X-\frac{b}{3a}}+\frac{d}{a}=0 \\\iff&X^3+\frac{-b^2+3ac}{3a^2}X+\frac{2b^3-9abc+27a^2d}{27a^3}=0 \end{align*}

となります.よって,

\begin{align*} p=\frac{-b^2+3ac}{3a^2},\quad q=\frac{2b^3-9abc+27a^2d}{27a^3} \end{align*}

とすれば,3次方程式ax^3+bx^2+cx+d=0X^3+pX+q=0となりますね.

ステップ2

\omega1の原始3乗根の1つとすると,因数分解

\begin{align*} &X^3+y^3+z^3-3Xyz \\=&(X+y+z)(X^2+y^2+z^2-Xy-yz-zX) \\=&(X+y+z)(X+\omega y+\omega^2z)(X+\omega^2 y+\omega z) \end{align*}

が成り立ちます.なお,「1の原始3乗根」とは3乗して初めて1になる複素数のことで,x^3=1の1でない虚数解に一致します.

よって

\begin{align*} \begin{cases} -3yz=p\\ y^3+z^3=q \end{cases} \end{align*}

を満たすy, zが分かれば,方程式X^3+pX+q=0の解を

\begin{align*} X=-y-z,-y\omega-z\omega^2,-y\omega^2-z\omega \end{align*}

により表せますね.

さて,先ほどの連立方程式より

\begin{align*} \begin{cases} y^3z^3=-\frac{p^3}{27}\\ y^3+z^3=q \end{cases} \end{align*}

となるので,2次方程式の解と係数の関係よりtの2次方程式

\begin{align*} t^2-qt-\frac{p^3}{27}=0 \end{align*}

y^3, z^3を解にもちます.一方,2次方程式の解の公式より,この方程式の解は

\begin{align*} t=&\frac{q\pm\sqrt{q^2+\frac{4p^3}{27}}}{2} \\=&\frac{3\sqrt{3}q\pm\sqrt{27q^2+4p^3}}{6\sqrt{3}} \end{align*}

となります.y, zは対称なので

\begin{align*} &y=\sqrt[3]{\frac{3\sqrt{3}q+\sqrt{27q^2+4p^3}}{6\sqrt{3}}}, \\&z=\sqrt[3]{\frac{3\sqrt{3}q-\sqrt{27q^2+4p^3}}{6\sqrt{3}}} \end{align*}

として良いですね.これで,3次方程式が解けました.

結論

以上より,3次方程式の解の公式は以下のようになります.

3次方程式ax^3+bx^2+cx+d=0の解は

\begin{align*} x=&-\frac{b}{3a}-\sqrt[3]{\frac{3\sqrt{3}q+\sqrt{27q^2+4p^3}}{6\sqrt{3}}}-\sqrt[3]{\frac{3\sqrt{3}q-\sqrt{27q^2+4p^3}}{6\sqrt{3}}}, \\&-\frac{b}{3a}-\sqrt[3]{\frac{3\sqrt{3}q+\sqrt{27q^2+4p^3}}{6\sqrt{3}}}\omega-\sqrt[3]{\frac{3\sqrt{3}q-\sqrt{27q^2+4p^3}}{6\sqrt{3}}}\omega^2, \\&-\frac{b}{3a}-\sqrt[3]{\frac{3\sqrt{3}q+\sqrt{27q^2+4p^3}}{6\sqrt{3}}}\omega^2-\sqrt[3]{\frac{3\sqrt{3}q-\sqrt{27q^2+4p^3}}{6\sqrt{3}}}\omega \end{align*}

である.ただし,

  • p=\dfrac{-b^2+3ac}{3a^2}
  • q=\dfrac{2b^3-9abc+27a^2d}{27a^3}
  • \omegaは1の原始3乗根

である.

具体例

この公式に直接代入して計算するのは現実的ではありません.

そのため,公式に代入して解を求めるというより,解の導出の手順を当てはめるのが良いですね.

方程式x^3-3x^2-3x-4=0を解け.

単純に(x-4)(x^2+x+1)=0と左辺が因数分解できることから解は

\begin{align*} x=4,\frac{-1\pm\sqrt{3}i}{2} \end{align*}

と得られますが,[カルダノの公式]を使っても同じ解が得られることを確かめましょう.

x=X+1とおくと,方程式x^3-3x^2-3x-4=0

\begin{align*} &(X+1)^3-3(X+1)^2-3(X+1)-4=0 \\\iff&(X^3+3x^2+3x+1)-3(X^2+2X+1)-3(X+1)-4=0 \\\iff&X^3-6X-9=0 \end{align*}

となる.因数分解

\begin{align*} X^3-3yzX+(y^3+z^3) =(X+y+z)(X+\omega y+\omega^2z)(X+\omega^2 y+\omega z) \end{align*}

と比較して,

\begin{align*} \begin{cases} -3yz=-6\\ y^3+z^3=-9 \end{cases} \end{align*}

なるy, zを見つけることができれば,解は

\begin{align*} X=-y-z,-\omega y-\omega^2z,-\omega^2 y-\omega z \end{align*}

となる.y^3z^3=8y^3+z^3=-9だから,2次方程式の解と係数の関係より,tの2次方程式

\begin{align*} t^2+9t+8=0 \end{align*}

は解y^3, z^3をもつ.一方,これは(t+1)(t+8)=0と左辺を因数分解できるから,解はt=-1,-8である.

y, zの対称性より(y^3,z^3)=(-1,-8)としてよく,さらにyz=2に注意して(y,z)=(-1,-2)としてよい.

以上より,求める解は

\begin{align*} x=&X+1 \\=&-(-1)-(-2)+1,-(-1)\omega-(-2)\omega^2+1,-(-1)\omega^2-(-2)\omega+1 \\=&4,\omega+2\omega^2+1,\omega^2+2\omega+1 \\=&4,\omega^2,\omega \\=&4,\frac{-1\pm\sqrt{3}i}{2} \end{align*}

である.

なお,最後に(y,z)=(-2,-1)(y,z)=(-\omega,-2\omega^2)などとしても,最終的に

  • -y-z
  • -y\omega-z\omega^2
  • -y\omega^2-z\omega

が辻褄を合わせて同じ解が得られます.

参考文献

数学の真理をつかんだ25人の天才たち (イアン・スチュアート 著,水谷淳 訳,ダイヤモンド社)

アルキメデス,オイラー,ガウス,ガロア,ラマヌジャンといった数学上の25人の偉人が,時系列順にざっくりとまとめられた伝記です.

カルダノもこの本の中で紹介されています.

しかし,上述したようにカルダノ自身が重要な発見をしたわけではないので,カルダノがなぜ「数学の真理をつかんだ天才」とされているのか個人的には疑問ではあります……

とはいえ,ほとんどが数学界を大きく発展させるような発見をした人物が数多く取り上げられています.

そして「そんな偉大な人物が実はそんな人間だったのか」と意外な一面も知ることができる一冊になっています.

シェアする

  • このエントリーをはてなブックマークに追加

フォローする

最後までありがとうございました!

以下の関連記事もいかがですか?

SPONSORED LINK
関連記事

記事一覧はこちらからどうぞ!

コメント

  1. rocketman より:

    誤りだと思われる点をいくつか見つけましたので、こちらにコメントします。

    p=(-b^2+3a^2c)/3a^2

    p=(-b^2+3ac)/3a^2

    ステップ2及び具体例の因数分解の
    X+ω^2y+ωy

    X+ω^2y+ωz

    結論の解の公式の右辺第2項のaは不要ではないでしょうか?

    具体例の
    X^3+3x^3+3x+1

    X^3+3X^2+3X+1

    t^2+9t+8=0がそのまま表示されているようです。(LaTeXを使ったことがなく今初歩的なことを調べただけなので、そうではないかもしれないのですが)beginのスペルミスが原因ではないでしょうか?

    長文失礼しました。

    • yama-taku より:

      多くのご指摘をありがとうございます.
      ご指摘のように,誤植がありましたので修正しました.

      \beginもスペルミスで,不細工なところをお見せして失礼しました.

記事一覧は

こちら

Twitterを

フォロー

大学院入試

解答例

大学受験

解説ブログ