Movatterモバイル変換

[0]ホーム
URL:

コンテンツにスキップ
Wikipedia
検索

三次方程式

出典: フリー百科事典『ウィキペディア（Wikipedia）』

三次方程式（さんじほうていしき、英:cubic equation）とは、次数が 3 である代数方程式のことである。本項目では主に、実数を係数とする一変数の三次方程式を扱う。

概要

[編集]

一般に一変数の三次方程式は

a3x3+a2x2+a1x+a0=0(a3≠0){\displaystyle a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}=0\quad (a_{3}\neq 0)}

の形で表現される。現代においては、三次方程式の解法といえば、主に代数的解法のことを意味する。

古代バビロニアにおいて既に代数的に解かれていたと考えられている二次方程式と違い、三次方程式が代数的に解かれたのは16世紀になってからである。11世紀頃、円錐曲線による作図によって三次方程式の解を幾何学的に表したウマル・ハイヤームなども、三次方程式を代数的に解くことはできないと考えていた。

三次方程式の代数的解法はガロア理論へと至る代数方程式論の始まりであり、カルダノが著書『アルス・マグナ』によって三次方程式と四次方程式の代数的解法を公表した1545年は、その影響の大きさから現代数学の始まりの年とされることもある。

まだ負の数が数学者達にあまり受け入れられていなかった時代であり、全ての係数が正の数であるとして扱われたために、例えば、2次の項が無い三次方程式は

x3 =a1x +a0
x3 +a1x =a0
x3 +a0 =a1x

の3 つがあり、いずれも別の形の方程式とされた。

このように負の数ですら嫌悪された時代に、三次方程式の代数的解法は虚数をもたらした。三次方程式の解が全て正の実数である場合に限っても、代数的解法にこだわる限り虚数を避けては通れないのである。虚数に対する不安は、19世紀にコーシーやガウスが活躍するようになるまで続いた。

また、三次方程式と四次方程式の代数的解法の発見を基に、数学者達は 5 次以上の一般の代数方程式の代数的解法を追い求めた。最終的にこの代数的解法の存在は、アーベル-ルフィニの定理によって否定されるものの、ガロア理論として結実し、群や体などの基本的な代数的構造の概念を生み出した。

解の様子

[編集]

三次方程式は、代数学の基本定理より、高々3 個の複素数解を持つ。中間値の定理より、実数を係数とする三次方程式は、少なくとも1 つの実数解を持つことが分かる。

a3x3 +a2x2 +a1x +a0 = 0 (a3 ≠ 0)

が重解を持つ場合、その重解は、左辺をx で微分して得られる二次方程式

3a3x2 + 2a2x +a1 = 0

の解でもあるため、比較的容易に三次方程式を解くことができる。重解以外の残りの解も実数である。

虚数解を持つ場合は、その共役複素数も解となり、残りの解は実数である。

三次方程式a3x3 +a2x2 +a1x +a0 = 0 (a3 ≠ 0) の判別式D は

D = − 4a13a3 +a12a22 − 4a0a23 + 18a0a1a2a3 − 27a02a32

となる。

判別式を計算すれば、具体的に根を求めなくても

  • D > 0 の時、3 個の相異なる実数解を持つ。
  • D < 0 の時、1 個の実数解と1 組の共役な虚数解を持つ。
  • D = 0 の時は、実数の重解を持つ。

ということが分かる。D = 0 の時さらに

⊿2 = − 2a23 + 9a1a2a3 − 27a0a32

と定義すれば⊿2 = 0 の時、三重解を持つ。⊿2 ≠ 0 の時、1 個の二重解と重複度1 の実数解を1 個持つ。⊿2 > 0 の時（二重解）<（もう一つの実数解）、⊿2 < 0 の時（二重解）>（もう一つの実数解）となる。

代数的解法

[編集]

カルダノの方法

[編集]

一般の三次方程式の代数的解法は、カルダノの方法あるいはカルダノの公式として知られている。

a3x3 +a2x2 +a1x +a0 = 0 (a3 ≠ 0)

の両辺をa3 で割り

x3 +A2x2 +A1x +A0 = 0

の形にする。(An=ana3{\displaystyle A_{n}={\frac {a_{n}}{a_{3}}}})

x=y−A23{\displaystyle x=y-{\frac {A_{2}}{3}}}

により変数変換を行うと、2次の項が消え、

y3+(A1−A223)y+(A0−13A1A2+227A23)=0{\displaystyle y^{3}+\left(A_{1}-{\frac {{A_{2}}^{2}}{3}}\right)y+\left(A_{0}-{\frac {1}{3}}A_{1}A_{2}+{\frac {2}{27}}{A_{2}}^{3}\right)=0}

という三次方程式が得られる。

※ 以下、次式のとおりに一次の係数をp, 定数項をq で表す。

y3 +p y +q = 0

ここでy =u +v とおくと、

u3 +v3 +q + (3uv +p)(u +v) = 0

この方程式を未知数u,v が満たすには、

u3 +v3 +q = 0
3uv +p = 0

で十分である。この十分条件を満たすu,v が以下に示すように得られる。

根と係数の関係より、u3,v3 を解とする二次方程式は

t2+qt−(p3)3=0{\displaystyle t^{2}+qt-\left({\frac {p}{3}}\right)^{3}=0}

この二次方程式を解の公式により解くと、

u3,v3=−q2±(q2)2+(p3)3{\displaystyle u^{3},v^{3}=-{\frac {q}{2}}\pm {\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}


故に、先のyの3次方程式の実数解の一つとして

y=−q2+(q2)2+(p3)33+−q2−(q2)2+(p3)33{\displaystyle y={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}+{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}

が得られる。

この解法が見つけられた当時は複素数は知られていなかったため、これで解を得たこととされたが、(q2)2+(p3)3<0{\displaystyle \left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}<0} の時に実数解が虚数で表されるという不合理が生じた。

その後、複素数についての研究が進み

x3 =a

の解がω を1 の虚立方根として

a3,ωa3,ω2a3{\displaystyle {\sqrt[{3}]{a}},\omega {\sqrt[{3}]{a}},\omega ^{2}{\sqrt[{3}]{a}}}

の3 個あることが知られるようになってからはu の立方根をとる際にも同様に 3 つの場合を考えるようになり、それぞれに対応するv を求めることで

y=ωk−q2+(q2)2+(p3)33+ω3−k−q2−(q2)2+(p3)33(k=0,1,2){\displaystyle y=\omega ^{k}{\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}+\omega ^{3-k}{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}\quad (k=0,1,2)}

が解として知られるようになった。

カルダノの方法より、次の因数分解の公式が導かれる：

  • x3 +y3 +z3 − 3x y z
= (x +y +z)(x +ω y +ω2z)(x +ω2y +ω z)
= (x +y +z) (x2 +y2 +z2 −z x −x y −y z)

逆に、この因数分解の公式から、三次方程式を同様に解くことができる。三次方程式

x3 +p x +q = 0

において、y3 +z3 =q,−3y z =p とおくと、上記の因数分解の公式より

x3 +p x +q
= (x +y +z)(x +ω y +ω2z)(x +ω2y +ω z)

この計算はカルダノの方法と同じである。

還元不能の場合

[編集]

三次方程式

x3 +p x +q = 0

にカルダノの公式を適用すると

(q2)2+(p3)3<0{\displaystyle \left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}<0}

の時に負の数の平方根が現れる。これは、この三次方程式の判別式

D = −(4p3 + 27q2) > 0

と同値な条件であり、相異なる3 個の実数解を持つ条件である。実数解しかないのにもかかわらず、カルダノの公式では負の数の平方根を経由する必要がある。カルダノは負の数の平方根を計算に用いることはあったものの、それらの場合は不可能で役に立たないものと考えていた。

ラファエル・ボンベリ (Rafael Bombelli) は、この場合を詳しく研究し1572年に出版した『代数学』(Algebra) に記した。形式的な計算ではあるものの、当時はまだ知られていない虚数の計算と同じであった。ボンベリは

x3 = 15x + 4

というx = 4 を解に持つ方程式を例に挙げた。この方程式をカルダノの公式で計算してみると

x=2+−1213+2−−1213{\displaystyle x={\sqrt[{3}]{2+{\sqrt {-121}}}}+{\sqrt[{3}]{2-{\sqrt {-121}}}}}

となるが、ボンベリはこの右辺は、今日でいうところの共役な複素数の和であると考え、負の数の平方根の演算規則を与えた上で

(2±b−1)3=2±−121{\displaystyle \left(2\pm b{\sqrt {-1}}\right)^{3}=2\pm {\sqrt {-121}}}

からb = 1 を求め、元の方程式がx = 4 を解に持つことを説明した。

一般には

(a±b−1)3=2±−121{\displaystyle \left(a\pm b{\sqrt {-1}}\right)^{3}=2\pm {\sqrt {-121}}}

から2 個の値a,b を求めなければならないが、これを求めるためには別の三次方程式が現れるため、カルダノはこの場合を還元不能（かんげんふのう、casus irreducibilis）と呼んだ。この還元不能の場合を回避するために様々な努力がなされたが、実は、虚数を避けて実数の冪根と四則演算を有限回用いただけで解を書き下すことは不可能であるため、全て徒労に終わった。

ビエトの解

[編集]

3 解がいずれも実数であれば、還元不能であるが、代数的な表記でなくてもよければ、虚数を使わずに解を表すことができる。フランソワ・ビエトは、三角関数の三倍角の公式

cos 3α = 4 cos3α − 3 cosα

を変形した

cos3α =3/4 cosα +1/4 cos 3α
(2cosα)3 = 3(2cosα) + 2cos 3α

と三次方程式

x3 =px +q

の類似性に着目し、p = 3a2,q =a2b とおいた式

x3 = 3a2x +a2b

を考えた。

(x/a)3 = 3(x/a) +b/a … (1)

もしx/a = 2 cosα すなわちx = 2a cosα ならば、

cos⁡3α=b2a{\displaystyle \cos 3\alpha ={\frac {b}{2a}}} … (2)
α=13arccos⁡b2a{\displaystyle \alpha ={\frac {1}{3}}\arccos {\frac {b}{2a}}}
x=2acos⁡α=2acos⁡(13arccos⁡b2a){\displaystyle x=2a\cos \alpha =2a\cos \left({\frac {1}{3}}\arccos {\frac {b}{2a}}\right)}

という解が得られる。この解のことをビエトの解という。

この三次方程式が相異なる3 個の実数解を持つ時、(1) の判別式

D=−{4(−3)3+27(−ba)2}=27{4−(ba)2}>0{\displaystyle D=-\left\{4(-3)^{3}+27\left(-{\frac {b}{a}}\right)^{2}\right\}=27\left\{4-\left({\frac {b}{a}}\right)^{2}\right\}>0}
∴ |b2a|<1{\displaystyle \therefore \ \left|{\frac {b}{2a}}\right|<1}

したがって(2) は0 < 3α <π、つまり0 <α <π/3 に解を 1 つ持つ。この解をα1 とすれば、他の解はα2 =α1 +2π/3,α3 =α1 +4π/3 と表せ、これに対応して3 個の実数解が定まる。

この時は実数の計算だけで解を得ることができた。ただし、逆三角関数や三角関数の計算を含むため厳密な値を得るのは大変である。

ラグランジュの方法

[編集]

ラグランジュは、三次方程式や四次方程式の代数的解法を分析し、根の置換という代数方程式論の方向性を決定づける重要な概念に到達した。この研究はガロア理論の発見へと繋がっていった。

x3 +A2x2 +A1x +A0 = 0

の 3 つの解をr0,r1,r2 とし1 の虚立方根の一つ

ω=−1+i32{\displaystyle \omega ={-1+i{\sqrt {3}} \over 2}}

を取る。

s0 =r0 +r1 +r2
s1 =r0 + ωr1 + ω2r2
s2 =r0 + ω2r1 + ωr2

とおくと

r0=s0+s1+s23{\displaystyle r_{0}={s_{0}+s_{1}+s_{2} \over 3}}
r1=s0+ω2s1+ωs23{\displaystyle r_{1}={s_{0}+\omega ^{2}s_{1}+\omega s_{2} \over 3}}
r2=s0+ωs1+ω2s23{\displaystyle r_{2}={s_{0}+\omega s_{1}+\omega ^{2}s_{2} \over 3}}

である。根と係数の関係によりs0 = −A2 であることが分かるのでs1 とs2 の二つが分かれば解が求まることになる。ここでrm とrn を入れ替える互換を σm,n と書けば

(σ0,1s1) =r1 + ωr0 + ω2r2
ω2 (σ0,1s1) =r0 + ω2r1 + ωr2 =s2

が得られる。両辺を三乗することにより

σ0,1s13 =s23

同様に

σ0,1s23 =s13

σ0,2 σ1,2 も計算してみれば分かる通り、これらの互換はs13 とs23 の入れ替えしかない。つまりs13 +s23 とs13s23 はr0,r1,r2 の対称式であり、それらの基本対称式で表される。すなわちs13 とs23 を解とする二次方程式

(z −s13)(z −s23) =z2 −(s13 +s23)z +s13s23 = 0

の係数は、元の三次方程式の係数A2,A1,A0 で表されることになる。実際にこれは

z2−(−2A23+9A1A2−27A0)z+(A22−3A1)3=0{\displaystyle z^{2}-\left(-2{A_{2}}^{3}+9A_{1}A_{2}-27A_{0}\right)z+\left({A_{2}}^{2}-3A_{1}\right)^{3}=0}

という二次方程式になり、この解は解の様子を調べた時に定義した記号 ⊿ と ⊿2 によって

Δ2±3−3Δ2{\displaystyle {\frac {\Delta _{2}\pm 3{\sqrt {-3\Delta }}}{2}}}

と書くことができる。

この根号は二次方程式の解の差積±(s13−s23){\displaystyle \pm \left({s_{1}}^{3}-{s_{2}}^{3}\right)}として得られ、ここに現れるs13,s23{\displaystyle {s_{1}}^{3},{s_{2}}^{3}} も、3乗根は元の方程式の根r1,r2,r3{\displaystyle r_{1},r_{2},r_{3}} と 1の3乗根ω{\displaystyle \omega } の四則演算で表されている。すなわち三次方程式を解く際に冪乗根を取って出てくる式は、元の方程式の解r1,r2,r3{\displaystyle r_{1},r_{2},r_{3}} と1の冪乗根の有理式で表現できる。ジョゼフ＝ルイ・ラグランジュやヴァンデルモンド（英語:Alexandre-Théophile Vandermonde）は、これこそ三次方程式が代数的に解ける理由であると考えた。

一般解

[編集]

3次方程式

a3x3+a2x2+a1x+a0=0(a3≠0){\displaystyle a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}=0\quad (a_{3}\neq 0)}

の解の公式は以下の通りである：

x1=−a23a3+−2a23+9a1a3a2−27a0a32+4(3a1a3−a22)3+(−2a23+9a1a3a2−27a0a32)23323a3−23(3a1a3−a22)3a3−2a23+9a1a3a2−27a0a32+4(3a1a3−a22)3+(−2a23+9a1a3a2−27a0a32)23x2=−a23a3−(1−i3)−2a23+9a1a3a2−27a0a32+4(3a1a3−a22)3+(−2a23+9a1a3a2−27a0a32)23623a3+(1+i3)(3a1a3−a22)3×223a3−2a23+9a1a3a2−27a0a32+4(3a1a3−a22)3+(−2a23+9a1a3a2−27a0a32)23x3=−a23a3−(1+i3)−2a23+9a1a3a2−27a0a32+4(3a1a3−a22)3+(−2a23+9a1a3a2−27a0a32)23623a3+(1−i3)(3a1a3−a22)3×223a3−2a23+9a1a3a2−27a0a32+4(3a1a3−a22)3+(−2a23+9a1a3a2−27a0a32)23{\displaystyle {\begin{aligned}x_{1}=&\color {Red}{-{\frac {a_{2}}{3a_{3}}}}\\&+{\frac {\color {Blue}{\sqrt[{3}]{-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}+{\sqrt {4\left(3a_{1}a_{3}-{a_{2}}^{2}\right)^{3}+\left(-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}\right)^{2}}}}}}{3\color {RedOrange}{{\sqrt[{3}]{2}}a_{3}}}}\\&-{\frac {{\sqrt[{3}]{2}}\color {Green}{\left(3a_{1}a_{3}-{a_{2}}^{2}\right)}}{3a_{3}\color {Blue}{\sqrt[{3}]{-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}+{\sqrt {4\left(3a_{1}a_{3}-{a_{2}}^{2}\right)^{3}+\left(-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}\right)^{2}}}}}}}\\\\x_{2}=&\color {Red}{-{\frac {a_{2}}{3a_{3}}}}\\&-{\frac {\color {RedViolet}{\left(1-i{\sqrt {3}}\right)}{\color {Blue}{\sqrt[{3}]{-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}+{\sqrt {4\left(3a_{1}a_{3}-{a_{2}}^{2}\right)^{3}+\left(-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}\right)^{2}}}}}}}{6\color {RedOrange}{{\sqrt[{3}]{2}}a_{3}}}}\\&+{\frac {\color {MidnightBlue}{\left(1+i{\sqrt {3}}\right)}{\color {Green}{\left(3a_{1}a_{3}-{a_{2}}^{2}\right)}}}{3\times 2^{\tfrac {2}{3}}a_{3}\color {Blue}{\sqrt[{3}]{-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}+{\sqrt {4\left(3a_{1}a_{3}-{a_{2}}^{2}\right)^{3}+\left(-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}\right)^{2}}}}}}}\\\\x_{3}=&\color {Red}{-{\frac {a_{2}}{3a_{3}}}}\\&-{\frac {\color {MidnightBlue}{\left(1+i{\sqrt {3}}\right)}{\color {Blue}{\sqrt[{3}]{-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}+{\sqrt {4\left(3a_{1}a_{3}-{a_{2}}^{2}\right)^{3}+\left(-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}\right)^{2}}}}}}}{6\color {RedOrange}{{\sqrt[{3}]{2}}a_{3}}}}\\&+{\frac {\color {RedViolet}{\left(1-i{\sqrt {3}}\right)}\color {Green}{\left(3a_{1}a_{3}-{a_{2}}^{2}\right)}}{3\times 2^{\tfrac {2}{3}}a_{3}\color {Blue}{\sqrt[{3}]{-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}+{\sqrt {4\left(3a_{1}a_{3}-{a_{2}}^{2}\right)^{3}+\left(-2{a_{2}}^{3}+9a_{1}a_{3}a_{2}-27a_{0}{a_{3}}^{2}\right)^{2}}}}}}}\end{aligned}}}

式の一部を置き換えたことにより簡略化したもの

a3x3+a2x2+a1x+a0=0(a3≠0)x1=−a23a3+23323a3−234323a3x2=−a23a3−(1−i3)23623a3+(1+i3)43×22323a3x3=−a23a3−(1+i3)23623a3+(1−i3)43×22323a31→−2a23+9a1a2a3−27a0a322→1+33→12+4434→−a22+3a1a3{\displaystyle {\begin{aligned}&a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}=0\quad (a_{3}\neq 0)\\\\&x_{1}=\color {Red}{-{\frac {a_{2}}{3a_{3}}}}+{\frac {\color {Blue}{\sqrt[{3}]{\begin{array}{|c|}\hline 2\\\hline \end{array}}}}{3\color {RedOrange}{{\sqrt[{3}]{2}}a_{3}}}}-{\frac {{\sqrt[{3}]{2}}\color {Green}{\begin{array}{|c|}\hline 4\\\hline \end{array}}}{3\color {Blue}{\sqrt[{3}]{\begin{array}{|c|}\hline 2\\\hline \end{array}}}a_{3}}}\\&x_{2}=\color {Red}{-{\frac {a_{2}}{3a_{3}}}}-{\frac {\color {RedViolet}{\left(1-i{\sqrt {3}}\right)}{\color {Blue}{\sqrt[{3}]{\begin{array}{|c|}\hline 2\\\hline \end{array}}}}}{6\color {RedOrange}{{\sqrt[{3}]{2}}a_{3}}}}+{\frac {\color {MidnightBlue}{\left(1+i{\sqrt {3}}\right)}{\color {Green}{\begin{array}{|c|}\hline 4\\\hline \end{array}}}}{3\times 2^{\tfrac {2}{3}}\color {Blue}{\sqrt[{3}]{\begin{array}{|c|}\hline 2\\\hline \end{array}}}a_{3}}}\\&x_{3}=\color {Red}{-{\frac {a_{2}}{3a_{3}}}}-{\frac {\color {MidnightBlue}{\left(1+i{\sqrt {3}}\right)}{\color {Blue}{\sqrt[{3}]{\begin{array}{|c|}\hline 2\\\hline \end{array}}}}}{6\color {RedOrange}{{\sqrt[{3}]{2}}a_{3}}}}+{\frac {\color {RedViolet}{\left(1-i{\sqrt {3}}\right)}{\color {Green}{\begin{array}{|c|}\hline 4\\\hline \end{array}}}}{3\times 2^{\tfrac {2}{3}}\color {Blue}{\sqrt[{3}]{\begin{array}{|c|}\hline 2\\\hline \end{array}}}a_{3}}}\\\\&{\begin{array}{|l|}\hline {\begin{array}{|c|}\hline 1\\\hline \end{array}}\rightarrow -2{a_{2}}^{3}+9a_{1}a_{2}a_{3}-27a_{0}{a_{3}}^{2}\\\hline {\begin{array}{|c|}\hline 2\\\hline \end{array}}\rightarrow {\begin{array}{|c|}\hline 1\\\hline \end{array}}+{\sqrt {\begin{array}{|c|}\hline 3\\\hline \end{array}}}\\\hline {\begin{array}{|c|}\hline 3\\\hline \end{array}}\rightarrow {\begin{array}{|c|}\hline 1\\\hline \end{array}}^{2}+4{\begin{array}{|c|}\hline 4\\\hline \end{array}}^{3}\\\hline {\begin{array}{|c|}\hline 4\\\hline \end{array}}\rightarrow -{a_{2}}^{2}+3a_{1}a_{3}\\\hline \end{array}}\end{aligned}}}

円錐曲線による作図

[編集]

代数的解法は重要であるものの、歴史的にはそれよりも先に、作図による三次方程式の幾何学的解法が模索されていた。このような解法は、古代ギリシアのメナイクモス[1]に始まり、セルジューク朝期ペルシャのウマル・ハイヤームによって一般化された。

この 2 つの放物線の交点のx 座標は 0 とa であり、a は、三次方程式x3 =p2q の実数解である

xy 平面上の 2 つの放物線を表す式

x2=py(p>0){\displaystyle x^{2}\,=py(p>0)}
y2=qx(q>0){\displaystyle y^{2}\,=qx(q>0)}

においてy を消去すると、

x4=p2qx{\displaystyle x^{4}\,=p^{2}\,qx}

となり、この 2 つの放物線の交点のx 座標は、

x=0,p2q3{\displaystyle x=0,{\sqrt[{3}]{p^{2}q}}}

となり、x = 0 でない方の交点の位置によって

x3=p2q{\displaystyle x^{3}\,=p^{2}\,q}

という形の三次方程式の解が得られることになる。特にq = 2p ととれば、立方体倍積問題と同値な三次方程式

x3=2p3{\displaystyle x^{3}\,=2p^{3}\,}

の実数解を、線分の長さとして得たことになる。

この放物線と円の交点のx 座標は 0 とa であり、a は、三次方程式x3 +p2x =p2q の実数解である

また、放物線と円を表す式

x2=py(p>0){\displaystyle x^{2}\,=py(p>0)}
x2+y2=qx(q>0){\displaystyle x^{2}\,+y^{2}\,=qx(q>0)}

において同様にy を消去すれば

p2x2+x4=p2qx{\displaystyle p^{2}\,x^{2}\,+x^{4}\,=p^{2}\,qx}

であり、x = 0 以外の交点を求めることは

x3+p2x=p2q{\displaystyle x^{3}\,+p^{2}\,x=p^{2}\,q}

という三次方程式の実数解を与えるのと同じである。

一般に、

a3x3 +a2x2 +a1x +a0 = 0 (a3 ≠ 0)

という三次方程式は

x2=py(p>0){\displaystyle x^{2}\,=py(p>0)}
a3p2y2 +a2p x y +a1x2 +a0x = 0 (a3 ≠ 0)

というように、放物線と、もう 1 つの円錐曲線の組み合わせでも書けるし

x2=py{\displaystyle x^{2}\,=py}
(a3x+a2)py+a1x+a0=0{\displaystyle (a_{3}x+a_{2})py+a_{1}x+a_{0}=0}

のように、放物線と双曲線の交点としても表すことができる。

歴史

[編集]

古代バビロニアでは、数表を用いて三次方程式の解の近似値を得ていた。

古代ギリシアでは、三大作図問題の一つとして知られる立方体倍積問題が、キオスのヒポクラテスによって、与えられた 2 つの数p,q から

p :x =x :y =y :q

となる数x,y を求めるという、比の問題に帰せられた。

メナイクモス[1]は、ヒポクラテスのアイデアから円錐曲線を思いつき、立方体倍積問題を円錐曲線による作図によって解いた。この業績によって、メナイクモスは、円錐曲線の発見者と考えられている。立方体倍積問題は

x3 = 2p3 (p > 0)

の形の三次方程式を解くことと同じであり、メナイクモスによる方法は、三次方程式の幾何学的解法の一つと考えられ、円錐曲線の数表を計算しておけば、三次方程式の解の近似値も得ることができることになる。しかし、一般に円錐曲線は、プラトンの束縛の下で作図できる曲線ではないため、円錐曲線による幾何学的解法は立方体倍積問題の解法とは見なされない。このような円錐曲線の研究は、アルキメデスやイブン・ハイサム等を経て、セルジューク朝期ペルシアのウマル・ハイヤームにより拡張され、様々な形をした三次方程式の解が、円錐曲線同士の交点として調べられ、網羅された。

三次方程式の代数的解法は、16世紀頃にボローニャ大学のシピオーネ・デル・フェッロによって発見されたとされる。デル・フェロの解いた三次方程式は

x3 +a1x =a0 (a1 およびa0 は正）

という形の物である。当時はまだ、負の数はあまり認められていなかったため、係数を正に限った形をしている。

この方程式自体は特殊な形であるものの、一般の三次方程式はこの形に変形できるため、本質的には三次方程式はデル・フェロが解いたといっても過言ではない。また、この方程式の場合は係数の符号の制約から還元不能にはならない。

デル・フェロは、この解法を公開せず、何人かの弟子に託して1526年に死んだ。そのうちの一人、アントニオ・マリア・デル・フィオーレ（イタリア語版） (Antonio Maria del Fiore) は、この方法を、当時盛んに行われていた、金銭を賭けた計算勝負に使い、勝ち続けた。

三次方程式の解法があるという噂を元にタルタリアは、独力かどうかは分からないが

x3 +a2x2 =a0 (a2 およびa0 は正）

の形の三次方程式を解くことに成功し、さらにはデル・フェロの三次方程式の解法にも辿り着いた。タルタリアが三次方程式を解いたとの噂を聞いたフィオーレは噂を信用せずタルタリアに計算勝負を挑み、打ち負かして名声を上げようとしたものの、デル・フェロの三次方程式の解法しか知らなかったため、計算勝負に負けた。

タルタリアが三次方程式の代数的解法を知っていると聞いたカルダノはタルタリアに頼み込み、三次方程式の代数的解法を聞き出すことに成功した。カルダノは、弟子のルドヴィコ・フェラーリが得た、一般的な四次方程式の代数的解法と併せて、三次方程式の代数的解法を出版したいと考えるようになったが、タルタリアとの約束で秘密にすると誓ったために、出版することはできなかった。そこで、かつてデル・フェロが、三次方程式の代数的解法を得たという噂を頼りに、フェラーリとボローニャに行き、デル・フェロの養子のアンニバレ・デラ・ナーヴェ (Annibale della Nave) に会い、デル・フェロの遺稿を見せてもらった。それによってカルダノは、タルタリアが三次方程式を解いた最初の人ではないことを知ったので、タルタリアとの約束は無効とし1545年に『アルス・マグナ』(Ars Magna) を出版し、様々な形の三次方程式の解法を公表した。以来、三次方程式の解法はカルダノの方法と呼ばれるようになった。このことはタルタリアを激怒させ論争に発展したが、カルダノは『アルス・マグナ』の中でデル・フェロとタルタリアの功績について賞賛しており、独自の方法と偽ったわけではない。また、タルタリアから解の導出方法までは聞いておらず、色々な形の三次方程式について解を表したことはカルダノ自身の業績である。

脚注

[編集]
  1. ^ab『メナイクモス』 -コトバンク

外部リンク

[編集]
元数
次数
多項式
函数
方程式
項数
係数条件
アルゴリズム
関連項目
カテゴリカテゴリ


国立図書館
その他
「https://ja.wikipedia.org/w/index.php?title=三次方程式&oldid=106423047」から取得
カテゴリ:
[8]ページ先頭
©2009-2025 Movatter.jp