[*] フォンタナは抗議しましたが,後の祭りでした. [*] フォンタナに敬意を表して,カルダノ=タルタリアの公式と呼ぶ場合もあります. ニコロ・フォンタナ(タルタリア) 式(1)からスタートします. カルダノ(実はフォンタナ)の方法で秀逸なのは,ここで (ただし とする)と置換してみることです.すると,式(1)は次のように変形できます. 式(2)を成り立たせるには,次の二式が成り立てば良いことが判ります. [†] 式 が成り立つことは,式 がなりたつための十分条件ですので, から への変形が同値ではないことに気がついた人がいるかも知れません.これは がなりたつことが の定義だからで,逆に言えばそのような をこれから探したいのです.このような によって一般的に つの解が見つかりますが,三次方程式が3つの解を持つことは 代数学の基本定理 によって保証されますので,このような の置き方が後から承認される理屈になります. 式(4)の条件は, より, と書き直せます.この両辺を三乗して次式(6)を得ます.式(3)も,ちょっと移項してもう一度掲げます. 式(5)(6)を見て,何かピンと来るでしょうか?式(5)(6)は, と を解とする,次式で表わされる二次方程式の解と係数の関係を表していることに気がつけば,あと一歩です. (この二次方程式を,元の三次方程式の 分解方程式 と呼びます.) これを 二次方程式の解の公式 を用いて解けば,解として を得ます. 式(8)(9)を解くと,それぞれ三個の三乗根が出てきますが, という条件を満たすものだけが式(1)の解として適当ですので,可能な の組み合わせは三つに絞られます. 虚数が 出てくる ここで,式(8)(9)を解く準備として,最も簡単な次の形の三次方程式を解いてみます. 三次 関数 解 の 公式ブ. これは因数分解可能で, と変形することで,すぐに次の三つの解 を得ます. この を使い,一般に の解が, と表わされることを考えれば,式(8)の三乗根は次のように表わされます. 同様に,式(9)の三乗根も次のように表わされます. この中で, を満たす の組み合わせ は次の三つだけです. 立体完成のところで と置きましたので,改めて を で書き換えると,三次方程式 の解は次の三つだと言えます.これが,カルダノの公式による解です.,, 二次方程式の解の公式が発見されてから,三次方程式の解の公式が発見されるまで数千年の時を要したことは意味深です.古代バビロニアの時代から, のような,虚数解を持つ二次方程式自体は知られていましたが,こうした方程式は単に『解なし』として片付けられて来ました.というのは,二乗してマイナス1になる数なんて,"実際に"存在しないからです.その後,カルダノの公式に至るまでの数千年間,誰一人として『二乗したらマイナス1になる数』を,仮にでも計算に導入することを思いつきませんでした.ところが,三次方程式の解の公式には, として複素数が出てきます.そして,例え三つの実数解を持つ三次方程式に対しても,公式通りに計算を進めていけば途中で複素数が顔を出します.ここで『二乗したらマイナス1になる数』を一時的に認めるという気持ち悪さを我慢して,何行か計算を進めれば,再び複素数は姿を消し,実数解に至るという訳です.