記事ソース/三次方程式の解の公式
メニュー現在 6 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/三次方程式の解の公式†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容==================================================
三次方程式の解の公式
==================================================
二次方程式の解の公式は学校で必ず習いますが、三次方程式の解の公式は習いません。でも、三次方程式と四次方程式は、ちゃんと解の公式で解くことができます。学校で三次方程式の解の公式を習わないのは、学校で勉強するには複雑すぎるからです。しかし、三次方程式の解の公式の歴史にはドラマがあり、そこから広がって見えてくる豊潤な世界があります。そのあたりの展望が見えるところまで、やる気のある人は一緒に勉強してみましょう。
立体完成
--------------------------------------------------
二次方程式を勉強したとき、 *平方完成* という操作がありました。 $x$ の一次の項を、座標変換によって表面上消してしまう操作です。
<tex>
x^{2} + ax +b = 0 & \Leftrightarrow \ \Big(x+{1\over 2} a\Big)^{2}+b-{a^{2}\over 4} =0 \\
& \Leftrightarrow \ y^{2}+C=0
</tex>
ただし、最後の行では、確かに一次の項が消えてしまったことを見やすくするために、 $x+\frac{1}{2}a=y$ , $b-\frac{a^2}{4}=C$ と置き換えました。ここまでは復習です。( 平方完成の図形的イメージ_ 参照。)
これと似た操作により、三次式から $x$ の二次の項を表面上消してしまう操作を *立体完成* と言います。次のように行います。
<tex>
x^{3}+ax^{2}+bx+c=0 & \Leftrightarrow \ \Big(x+{1\over 3}
a\Big)^{3}+ \Big( b- \frac{1}{3}a^{2}\Big) \Big( x+\frac{1}{3}a\Big) +c + {2a^{3}\over 27} -\frac{1}{3}ab =0 \\
& \Leftrightarrow \ y^{3}+3py +2q=0 \tag{1}
</tex>
ただし、最後の行では、見やすくするために、 $x+\frac{1}{3}a=y$ , $b-\frac{1}{3}a^{2} =3p$ , $c+\frac{2a^{3}}{27}-\frac{1}{3}ab=2q$ と置き換えました。カルダノの公式と呼ばれる三次方程式の解の公式を用いるときは、まず立体完成し、式(1)の形にしておきます。 $3$ とか $2$ という係数をつけたのは、後々の式変形の便宜のためで、あまり意味はありません。
カルダノの公式の歴史１
------------------------------------------------------------
カルダノの公式と呼ばれる三次方程式の解の公式が発見されるまでの歴史は大変興味深いものですので、少しここで紹介したいと思います。二次方程式の解(虚数解を除く)を求める公式は、古代バビロニアにおいて、既に数千年前から知られていました。その後、三次方程式の解の公式を探す試みは、幾多の数学者によって試みられたにも関わらず、16世紀中頃まで成功しませんでした。式(1)の形の三次方程式の解の公式を最初に見つけたのは、スキピオーネ・フェロ( $Scipione \ del \ Ferro \ (1465-1526)$ )だったと言われています。しかし、フェロの解法は現在伝わっていません。当時、一定期間内により多くの問題を解決した者を勝者とするルールに基づき、数学者同士が難問を出し合う一種の試合が流行しており、数学者は見つけた事実をすぐに発表せず、次の試合に備えて多くの問題を予め解いて、秘密にしておくのが普通だったのです。フェロも、解法を秘密にしているうちに死んでしまったのだと考えられます。
現在、カルダノの公式と呼ばれている解法は、二コロ・フォンタナ( $Nicolo \ del \ Fontana \ (1506-1557)$ )が発見したものです。フォンタナには吃音があったため、タルタリア ( $Tartaglia$ ：吃音の意味)という通称で呼ばれており、現在でもこちらの名前の方が有名なようです。当時の慣習通り、フォンタナもこの解法を秘密にしていましたが、ミラノの数学者ジローラモ・カルダノ( $Gerolamo \ Cardano \ (1501-1576)$ )に懇願され、他には公表しないという約束で、カルダノに解法を教えました。ところが、カルダノは $1545$ 年に出版した $Ars \ Magna$ (ラテン語で"偉大な方法"の意味。いまでも 売ってます_ ！)という書物の中で、まるで自分の手柄であるかのように、フォンタナの方法を開示してしまったため、以後、カルダノの方法と呼ばれるようになったのです。 [*]_ フォンタナは抗議しましたが、後の祭りでした。
.. [*] フォンタナに敬意を表して、カルダノ＝タルタリアの公式と呼ぶ場合もあります。
.. figure:: Joh-Tartaglia.png
ニコロ・フォンタナ(タルタリア)
カルダノの公式
-------------------------------------------------------------
式(1)からスタートします。
<tex>
y^{3}+3py +2q=0 \tag{1}
</tex>
カルダノ(実はフォンタナ)の方法で秀逸なのは、ここで $y=u+v$ (ただし $u+v \neq 0$ とする)と置換してみることです。すると、式(1)は次のように変形できます。
<tex>
y^{3}+3py +2q &=(u+v)^{3} +3p(u+v)+2q \\
&= u^{3} + 3(p+uv)(u+v)+ v^{3} +2q =0 \tag{2}
</tex>
式(2)を成り立たせるには、次の二式が成り立てば良いことが判ります。
<tex>
u^{3} + v^{3} +2q =0 \tag{3}
</tex>
<tex>
(p+uv)(u+v) =0 \tag{4}
</tex>
.. [*] 式 $(3)(4)$ が成り立つことは、式 $(2)$ がなりたつための十分条件ですので、 $(2)$ から $(3)(4)$ への変形が同値ではないことに気がついた人がいるかも知れません。これは $(3)(4)$ がなりたつことが $u,v$ の定義だからで、逆に言えばそのような $u,v$ をこれから探したいのです。このような $u,v$ によって一般的に $3$ つの解が見つかりますが、三次方程式が３つの解を持つことは 代数学の基本定理_ によって保証されますので、このような $u,v$ の置き方が後から承認される理屈になります。
式(4)の条件は、 $u+v \neq 0$ より、 $uv=-p$ と書き直せます。この両辺を三乗して次式(6)を得ます。式(3)も、ちょっと移項してもう一度掲げます。
<tex>
u^{3} + v^{3} = -2q \tag{5}
</tex>
<tex>
u^{3} v^{3} = -p^{3} \tag{6}
</tex>
式(5)(6)を見て、何かピンと来るでしょうか？式(5)(6)は、 $u^{3}$ と $v^{3}$ を解とする、次式で表わされる二次方程式の解と係数の関係を表していることに気がつけば、あと一歩です。(この二次方程式を、元の三次方程式の *分解方程式* と呼びます。)
<tex>
\xi^{2} + 2q \xi -p^{3} =0 \tag{7}
</tex>
これを 二次方程式の解の公式_ を用いて解けば、解として $\xi = u^{3} , v^{3}$ を得ます。
<tex>
u^{3} = -q+\sqrt{q^{2}+p^{3}} \tag{8}
</tex>
<tex>
v^{3}= -q-\sqrt{q^{2}+p^{3}} \tag{9}
</tex>
式(8)(9)を解くと、それぞれ三個の三乗根が出てきますが、 $uv=-p$ という条件を満たすものだけが式(1)の解として適当ですので、可能な $u+v$ の組み合わせは三つに絞られます。
虚数が $i$ 出てくる
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ここで、式(8)(9)を解く準備として、最も簡単な次の形の三次方程式を解いてみます。
<tex>
z^{3} =1 \tag{10}
</tex>
これは因数分解可能で、 $(z-1)(z^2 +z +1)=0$ と変形することで、すぐに次の三つの解 $\omega_{1}, \omega_{2}, \omega_{3}$ を得ます。
<tex>
\omega_{1}=1, \ \omega_{2}=\frac{-1+i\sqrt{3}}{2}, \ \omega_{3}=\frac{-1-i\sqrt{3}}{2}
</tex>
この $\omega_{1}, \omega_{2}, \omega_{3}$ を使い、一般に $x^{3}=a^{3}$ の解が、 $x=a,\omega_{1}a,\omega_{2}a$ と表わされることを考えれば、式(8)の三乗根は次のように表わされます。
<tex>
&u_{1}=\omega_{1} \root 3\of {-q+\sqrt{q^{2}+p^{3}}} \\
&u_{2}=\omega_{2} \root 3\of {-q+\sqrt{q^{2}+p^{3}}} \\
&u_{3}=\omega_{3} \root 3\of {-q+\sqrt{q^{2}+p^{3}}}
</tex>
同様に、式(9)の三乗根も次のように表わされます。
<tex>
&v_{1}=\omega_{1} \root 3\of {-q-\sqrt{q^{2}+p^{3}}} \\
&v_{2}=\omega_{2} \root 3\of {-q-\sqrt{q^{2}+p^{3}}} \\
&v_{3}=\omega_{3} \root 3\of {-q-\sqrt{q^{2}+p^{3}}}
</tex>
この中で、 $uv=-p$ を満たす $u+v$ の組み合わせ $y=u+v$ は次の三つだけです。
<tex>
&y_{1}=u_{1} + v_{1} \\
&y_{2}=u_{2} + v_{3} \\
&y_{3}=u_{3} + v_{2}
</tex>
立体完成のところで $x+\frac{1}{3}a=y$ と置きましたので、改めて $y$ を $x$ で書き換えると、三次方程式 $x^{3}+ax^{2}+bx+c=0$ の解は次の三つだと言えます。これが、カルダノの公式による解です。
<tex>
x_{1}&=u_{1} + v_{1} -\frac{1}{3}a \\
&= \omega_{1} \root 3\of {-q+\sqrt{q^{2}+p^{3}}} + \omega_{1} \root 3\of {-q-\sqrt{q^{2}+p^{3}}} -\frac{1}{3}a \\
&= \root 3\of {-\frac{27c+2a^{3}-9ab}{54}+\sqrt{( \frac{27c+2a^{3}-9ab}{54} )^{2}+(\frac{3b-a^{2}}{9})^{3}}} \\
& + \root 3\of {-(\frac{27c+2a^{3}-9ab}{54})-\sqrt{(\frac{27c+2a^{3}-9ab}{54})^{2}+(\frac{3b-a^{2}}{9})^{3}}} -\frac{1}{3}a
</tex>
<tex>
x_{2}&=u_{2} + v_{3} -\frac{1}{3}a \\
&= \omega_{2} \root 3\of {-q+\sqrt{q^{2}+p^{3}}} + \omega_{3} \root 3\of {-q-\sqrt{q^{2}+p^{3}}} -\frac{1}{3}a \\
&= \frac{-1+i\sqrt{3}}{2} \root 3\of {-\frac{27c+2a^{3}-9ab}{54}+\sqrt{( \frac{27c+2a^{3}-9ab}{54} )^{2}+(\frac{3b-a^{2}}{9})^{3}}} \\
& + \frac{-1-i\sqrt{3}}{2} \root 3\of {-(\frac{27c+2a^{3}-9ab}{54})-\sqrt{(\frac{27c+2a^{3}-9ab}{54})^{2}+(\frac{3b-a^{2}}{9})^{3}}} -\frac{1}{3}a
</tex>
<tex>
x_{3}&=u_{3} + v_{2} -\frac{1}{3}a \\
&= \omega_{3} \root 3\of {-q+\sqrt{q^{2}+p^{3}}} + \omega_{2} \root 3\of {-q-\sqrt{q^{2}+p^{3}}} -\frac{1}{3}a \\
&= \frac{-1-i\sqrt{3}}{2} \root 3\of {-\frac{27c+2a^{3}-9ab}{54}+\sqrt{( \frac{27c+2a^{3}-9ab}{54} )^{2}+(\frac{3b-a^{2}}{9})^{3}}} \\
& + \frac{-1+i\sqrt{3}}{2} \root 3\of {-(\frac{27c+2a^{3}-9ab}{54})-\sqrt{(\frac{27c+2a^{3}-9ab}{54})^{2}+(\frac{3b-a^{2}}{9})^{3}}} -\frac{1}{3}a
</tex>
$x+\frac{1}{3}a=y$ , $b-\frac{1}{3}a^{2} =3p$ , $c+\frac{2a^{3}}{27}-\frac{1}{3}ab=2q$
カルダノの公式の歴史２
-----------------------------------------------------------------------
二次方程式の解の公式が発見されてから、三次方程式の解の公式が発見されるまで数千年の時を要したことは意味深です。古代バビロニアの時代から、 $x^{2} =-1$ のような、虚数解を持つ二次方程式自体は知られていましたが、こうした方程式は単に『解なし』として片付けられて来ました。というのは、二乗してマイナス１になる数なんて、"実際に"存在しないからです。その後、カルダノの公式に至るまでの数千年間、誰一人として『二乗したらマイナス１になる数』を、仮にでも計算に導入することを思いつきませんでした。ところが、三次方程式の解の公式には、 $\omega_{2}, \omega_{3}$ として複素数が出てきます。そして、例え三つの実数解を持つ三次方程式に対しても、公式通りに計算を進めていけば途中で複素数が顔を出します。ここで『二乗したらマイナス１になる数』を一時的に認めるという気持ち悪さを我慢して、何行か計算を進めれば、再び複素数は姿を消し、実数解に至るという訳です。
カルダノの公式の有用性ゆえに、架空の数としてであれ、人々は嫌々ながらもついに虚数を認めざるを得なくなりました。それでも、カルダノの著書では、まだ虚数を積極的に認めるには至っていません。カルダノは、解が実数解の場合には、途中で虚数を使わなくても済む公式が存在するのではないかと考え、そのような公式を見つけようと努力したようです。(現在では、解が実数解の場合でも、計算の途中に虚数が必要なことは証明されています。) むしろ虚数を認めて積極的に使っていこうという視点の転回を最初に行ったのは、アルベルト・ジラール( $Albert \ Girard \ (1590-1633)$ )だと言われています。こうなるまでに、数千年の時間の要したことを考えると、抽象的概念に対する、人間の想像力の限界というものを考えさせられます。虚数が導入された後の数学の発展は、ご存知の通り目覚しいものがありました。
.. [*] 数学史上あまり重要ではないので脚注にしますが、カルダノの一生についても触れて置きます。カルダノは万能のルネッサンス人にふさわしく、数学者、医者、占星術師として活躍しました。カルダノにはギャンブルの癖があり、いつもお金に困っており、デカルトに先駆けて確率論の研究を始めました。また、機械的発明も多く、ジンバル、自在継ぎ手などは今日でも使われているものです。ただし、後半生は悲惨でした。フォンタナ(タルタリア)に訴えられ、係争に10年以上を要したほか、長男が夫人を毒殺した罪で処刑され、売春婦となった娘は梅毒で亡くなりました。ギャンブラーだった次男はカルダノのお金を盗み、さらにキリストのホロスコープを出版したことで、異端とみなされ、投獄の憂き目に遭い(この逮捕は次男の計画でした)、この間に教授職も失いました。最後は、自分自身で占星術によって予め占っていた日に亡くなったということです。
カルダノの公式の歴史３
-----------------------------------------------------------------------
カルダノは前出の自著 $Ars \ Magna$ の中で四次方程式の解法をも紹介していますが、これは弟子のロドヴィーコ・フェラーリ( $Lodovico \ Ferrari \ (1522-1565)$ )が発見したものだと言われています。現代でも、人の成果を自分の手柄であるかのように発表してしまう人がいます。考えさせられる問題です。
さて、カルダノの公式の発表以降、当然の流れとして五次以上の代数方程式に対しても解の公式を発見しようという試みが始まりましたが、これらの試みはどれも成功しませんでした。そして、 $1826$ 年、ノルウェーのニールス・アーベル( $Niels \ Henrick \ Abel \ (1802-1829)$ )により、五次以上の代数方程式には代数的な解の公式が存在しないことが証明されました。この証明はエヴァリスト・ガロア( $Evariste \ Galois \ (1811-1832)$ )によってガロア理論に発展させられ、群論、楕円曲線論など、現代数学で重要な位置を占める分野の出発点となりました。
.. figure:: Joh-Abel.gif
ノルウェーの切手にもなっているアーベル
.. figure:: Joh-Galois.png
わずか21歳で決闘に倒れた悲劇の天才・ガロア
.. _平方完成の図形的イメージ: http://www12.plala.or.jp/ksp/algebra/completingSquareImage/
.. _二次方程式の解の公式: http://www12.plala.or.jp/ksp/algebra/kainokoshiki/
.. _売ってます: http://www.amazon.co.uk/exec/obidos/ASIN/0486678113/qid=1142424449/sr=1-3/ref=sr_1_2_3/203-5305646-3358360
.. _代数学の基本定理: http://www12.plala.or.jp/ksp/algebra/FundamentalTheorem/
@@author:Joh@@
@@accept: 2006-03-28@@
@@category: 代数学@@
@@id:CubicEquation@@
|
