
代数学において、1変数の3次方程式は、次の形式の 方程式である。 ここで、aはゼロではない。
この方程式の解は、方程式の左辺で定義される三次関数の根と呼ばれます。三次方程式の係数a、b、c、dがすべて実数である場合、少なくとも 1 つの実根が存在します (これはすべての奇数次多項式関数に当てはまります)。三次方程式のすべての根は、次の方法で求めることができます。
係数は実数である必要はありません。以下で説明する内容の多くは、特性が2と3以外の任意の体における係数にも当てはまります。3次方程式の解は、必ずしも係数と同じ体に属するとは限りません。例えば、有理係数を持つ3次方程式の中には、根が無理数(あるいは非実数)の複素数となるものもあります。
立方方程式は、古代バビロニア人、ギリシャ人、中国人、インド人、エジプト人に知られていました。[ 1 ] [ 2 ] [ 3 ]バビロニア(紀元前20世紀から16世紀)の楔形文字粘土板には、立方と立方根を計算する表が記されているのが発見されています。[ 4 ] [ 5 ]バビロニア人はこれらの表を使って立方方程式を解いた可能性がありますが、実際にそうしたという証拠はありません。[ 6 ]立方を2倍にする問題は、最も単純で古くから研究されている立方方程式であり、古代エジプト人は解が存在するとは考えていませんでした。[ 7 ]紀元前5世紀、ヒポクラテスはこの問題を、ある線と、その2倍の長さの別の線との間の2つの比例平均を求める問題に還元しましたが、コンパスと定規を使った作図では解けませんでした。[ 8 ]これは現在では不可能であることが知られています。三次方程式を解く方法は、紀元前2世紀頃に編纂され、3世紀に劉徽によって注釈が付けられた中国の数学書『九章算術』に記されている。 [ 2 ]
紀元3世紀、ギリシャの数学者ディオファントスは、いくつかの2変数3次方程式(ディオファントス方程式)の整数解または有理数解を発見した。[ 3 ] [ 9 ]ヒポクラテス、メナエクモス、アルキメデスは、交差する円錐曲線を使用して立方体を2倍にする問題の解決に近づいたと考えられているが、[ 8 ]レヴィエル・ネッツなどの歴史家は、ギリシャ人が3次方程式について考えていたのか、それとも単に3次方程式につながる問題について考えていたのかを議論している。アルキメデスの全著作を翻訳したTLヒースなどの他の人々はこれに反対し、アルキメデスが実際に2つの円錐曲線の交点を使用して3次方程式を解いたが、根が0、1、または2になる条件についても議論したという証拠を提示している。 [ 10 ]

7世紀、唐の天文学者で数学者の王孝通は、数学論文『済固算経』の中で、 x 3 + px 2 + qx = Nの形の25個の三次方程式を体系的に確立し、数値的に解いた。そのうち23個はp、q ≠ 0であり、2個はq = 0であった。[ 11 ]
11世紀、ペルシャの詩人であり数学者でもあるオマル・ハイヤーム(1048年~1131年)は、三次方程式の理論において大きな進歩を遂げました。初期の論文で、彼は三次方程式には複数の解が存在することを発見し、コンパスと定規を用いた作図では解けないことを述べました。また、幾何学的な解も発見しました。[ 12 ] [ a ]後期の著作『代数学の問題の証明に関する論文』では、円錐曲線の交差によって得られる一般的な幾何学的解を持つ三次方程式の完全な分類を記述しました。[ 13 ] [ 14 ]ハイヤームは、三次根を求めるための代数式を考案しようと試みました。彼は次のように書いています。
「我々はこれらの根を代数で表現しようと試みたが失敗した。しかし、我々の後世の人々が成功するかもしれない。」[ 15 ]
12 世紀、インドの数学者バースカラ 2 世は、一般的には成功しなかったものの、三次方程式の解法を試みました。しかし、彼は三次方程式の 1 つの例を挙げました: x 3 + 12 x = 6 x 2 + 35。[ 16 ] 12 世紀、別のペルシャの数学者シャラフ アルディーン アルトゥースィー(1135–1213) は、アル ムアーダラート(方程式論) を著し、正の解を持つ 8 種類の三次方程式と、正の解を持たない可能性のある 5 種類の三次方程式を扱いました。彼は、後にホーナー・ルフィニ法として知られる方法を使用して、三次方程式の根を数値的に近似しました。彼はまた、正の解を持たない可能性のある三次方程式を解くために、曲線の最大値と最小値の概念を使用しました。[ 17 ]彼は、特定の種類の三次方程式の代数的解を見つけるために、三次方程式の判別式の重要性を理解していた。 [ 18 ]
レオナルド・デ・ピサ(フィボナッチとしても知られる、1170~1250年)は著書『Flos』の中で、三次方程式 x³ + 2x² + 10x = 20 の正の解をかなり正確に近似することができた。六十進法で表すと、 1,22,7,42,33,4,40 ( 1 + 22/60 + 7/60 2 + 42/60 3 + 33/60 4 + 4/60 5 + 40/60 6に相当)となり、相対誤差は約 10⁻⁹ である。[ 19 ]
16世紀初頭、イタリアの数学者シピオーネ・デル・フェッロ(1465年~1526年)は、 x³ + mx = nの形の三次方程式を解く方法を発見した。実際には、mとnを負の値とすれば、すべての三次方程式はこの形に還元できるのだが、当時デル・フェッロは負の数を知らなかった。デル・フェッロは、死の直前までこの業績を秘密にしており、死の直前に弟子のアントニオ・フィオールにそのことを明かした。

1535年、ニッコロ・タルタリア(1500年 - 1557年)はズアンネ・ダ・コイから三次方程式の問題を2つ受け取り、それを解けると宣言した。すぐにフィオールが彼に挑戦し、2人の間で有名なコンテストが行われた。各参加者は一定額のお金を出し、ライバルに解かせる問題をいくつか提案しなければならなかった。30日以内により多くの問題を解いた方がすべてのお金を獲得する。タルタリアはx³ + mx = nの形の問題を受け取ったが、彼はその一般的な方法を考案していた。フィオールはx³ + mx² = nの形の問題を受け取ったが、これは彼にとって解くには難しすぎ、タルタリアがコンテストに勝利した。
その後、タルタリアはジェロラモ・カルダーノ(1501年 - 1576年)に説得され、三次方程式を解く秘訣を明かすことになった。1539年、タルタリアはカルダーノがそれを決して明かさないこと、そしてもし三次方程式に関する本を書くならば、タルタリアに発表する時間を与えることを条件に、その秘訣を明かした。数年後、カルダーノはデル・フェッロの以前の研究を知り、1545年に著書『アルス・マグナ』の中でデル・フェッロの方法を発表した。つまり、カルダーノはタルタリアに6年間の研究成果を発表する時間を与えたことになる(タルタリアの独立した解法として功績が認められた)。
カルダーノはタルタリアにタルタリアの作品を出版しないと約束していたが、その約束を回避するためにデル・フェッロの作品を出版したと感じていた。しかし、これがタルタリアからカルダーノへの挑戦につながり、カルダーノはこれを拒否した。最終的に、カルダーノの弟子であるロドヴィコ・フェッラーリ(1522年 - 1565年)が挑戦を受け入れた。フェッラーリは競争でタルタリアよりも良い成績を収め、タルタリアは名声と収入の両方を失った。[ 20 ]
カルダーノは、タルタリアの方法では負の数の平方根を求める必要がある場合があることに気づいた。彼は『アルス・マグナ』の中でこれらの複素数を用いた計算も行ったが、それを真に理解していなかった。ラファエル・ボンベッリはこの問題を詳細に研究し[ 21 ]、そのため複素数の発見者とみなされることが多い。
フランソワ・ヴィエト(1540–1603)は、3つの実根を持つ3次方程式の三角関数解を独自に導き出し、ルネ・デカルト(1596–1650)はヴィエトの研究を拡張した。[ 22 ]
3次方程式の係数が有理数である場合、すべての係数に分母の共通倍数を掛けることで、係数が整数である同値方程式を得ることができます。 係数が整数である多項式は、左辺の多項式がより低い次数の多項式の積である場合に可約で あると言われます。ガウスの補題により、方程式が可約であれば、因数の係数は整数であると仮定できます。
可約な三次方程式の根を求めることは、一般の場合を解くよりも簡単です。実際、方程式が可約であれば、因数のうちの1つは1次でなければならず、したがって次の形式になります。 qとp は 互いに素な整数である。有理根判定法では、有限個のケースを調べることでqとpを見つけることができる( q はaの約数でなければならず、pはdの約数でなければならないため)。
したがって、1つの根はそして他の根は、多項式の長除法で求めることができるもう一方の因数の根です。このもう一方の因数は (係数は整数ではないように見えるが、もし なら整数でなければならない)(ルートです。)
次に、他の根はこの二次多項式の根であり、二次方程式の解の公式を使用して求めることができます。
立方体の これらは「縮約型」と呼ばれます。一般的な三次方程式よりもはるかに単純ですが、基本的な概念です。なぜなら、任意の三次方程式の研究は、変数を単純に変換することで縮約型三次方程式の研究に帰着できるからです。
させて 3次方程式である。変数変換 t に関する三次式を与えるが、 t 2の項は含まれない。実際、は元の3次曲線の変曲点(曲率が符号を変える点)なので、変換は単に3次曲線をその変曲点を中心に配置するだけです。
aで割ると、次の式が得られます。 と
ルーツ元の方程式の根は、関係式による縮退方程式 のために。
判別式を用いることで、3次式の根の性質(実数か偽数か、異なるかそうでないか)を明示的に計算することなく決定することができる。
多項式の判別式は、その係数の関数であり、多項式が重根を持つ場合、または定数でない多項式の平方で割り切れる場合に限りゼロになります。言い換えれば、判別式がゼロでないのは、多項式が平方因子を持たない場合に限ります。
r 1、r 2、r 3が 3 次式の 3 つの根(必ずしも互いに異なるとは限らず、実数でもない)である場合判別式は
凹型立方体の判別式は
一般三次方程式の判別式は それはそして、対応する縮小三次式の判別式。一般三次式とそれに対応する縮小三次式を関連付ける式を用いると、一般三次式の判別式は次のように書けることがわかる。
したがって、これら2つの判別式のうち一方がゼロになるのは、もう一方もゼロになる場合のみであり、係数が実数であれば、2つの判別式は同じ符号を持つ。要するに、これら2つの判別式のどちらからも同じ情報を推測できる。
前述の公式を証明するには、ヴィエタの公式を用いて、すべてをr 1、r 2、r 3、およびaに関する多項式として表せばよい。そうすれば、2 つの多項式の等価性が検証されることになる。
多項式の係数が実数であり、判別式ががゼロでない場合、次の2つのケースが考えられます。
これは次のように証明できます。まず、r が実数係数を持つ多項式の根である場合、その複素共役も根になります。したがって、非実数根が存在する場合、それは複素共役根のペアとして現れます。3次多項式は(必ずしも異なるとは限らない)3つの根を持つため、代数学の基本定理により、少なくとも1つの根は実数でなければなりません。
上記のように、r 1、r 2、r 3が三次方程式の 3 つの根である場合すると判別式は
3 つの根が実数で互いに異なる場合、判別式は正の実数の積、つまり
根が 1 つだけ実数である場合、例えばr 1の場合、 r 2とr 3は複素共役であり、これはr 2 − r 3が純虚数であることを意味し、したがって( r 2 − r 3 ) 2 は実数で負になります。一方、r 1 − r 2とr 1 − r 3は複素共役であり、それらの積は実数で正です。[ 23 ]したがって、判別式は 1 つの負の数と複数の正の数の積になります。つまり、
3次式の判別式がゼロであれば、その3次式は重根を持つ。さらに、係数が実数であれば、そのすべての根は実数である。
凹型立方体の判別式ゼロの場合pもゼロの場合、 p = q = 0となり、0 は 3 乗の三重根です。そしてp ≠ 0 の場合、3次方程式は単純根を持つ。
そして二重根
言い換えると、
この結果は、後者の積を展開することによって証明するか、またはヴィエタの公式から得られる比較的単純な連立方程式を解くことによって得ることができる。
縮小三次式の簡約を用いることで、これらの結果を一般三次式に拡張することができる。これにより、次の式が得られる。三次式の判別式ががゼロの場合、
上記の結果は、係数が特性2または特性3以外の領域に属する場合に有効ですが、特性2または特性3の場合は、2および3による除算が含まれるため、修正する必要があります。
縮約三次式は特性 2 では有効ですが、特性 3 では有効ではありません。ただし、どちらの場合も、一般三次式の結果を確立して述べる方が簡単です。そのための主なツールは、多重根が多項式とその形式的導関数の共通根であるという事実です。これらの特性では、導関数が定数でない場合、特性 3 では線形多項式であり、特性 2 では線形多項式の 2 乗です。したがって、特性 2 または 3 のいずれの場合も、導関数は 1 つの根しか持ちません。これにより多重根を計算することができ、3 番目の根は、ヴィエタの公式によって提供される根の和から導き出すことができます。
他の特性との違いは、特性2では二重根の公式に平方根が含まれ、特性3では三重根の公式に立方根が含まれる点である。
ジェロラモ・カルダーノは、三次方程式を解くための最初の公式を発表した人物として知られており、その公式はシピオーネ・デル・フェッロとニッコロ・フォンタナ・タルタリアによるものとしている。この公式は縮退三次方程式に適用されるが、§ 縮退三次方程式で示すように、すべての三次方程式を解くことができる。
カルダノの結果は、 pとqは実数であるような 三次方程式である。が正の場合(これは方程式の判別式が負であることを意味する)、方程式は実数解を持つ。 どこそして2つの数字はそして。
この結果を得るためのいくつかの方法については、下記の「根の導出」の項 を参照してください。
§ 根の性質で示したように、この場合、他の 2 つの根は実数ではない複素共役数です。後に (カルダノは複素数を知りませんでしたが)、他の 2 つの根は、立方根の 1 個に原始立方根1 を掛けることによって得られることが示されました。そして、もう一方の立方根は、1のもう一方の原始立方根によって決まります。つまり、この方程式の他の根はそして[ 24 ]
もし実根は3つ存在するが、ガロア理論によれば、有理根が存在しない場合、根は実数のみを含む代数式で表すことはできないことが証明できる。したがって、カルダーノの時代の知識では、この場合、方程式を解くことはできなかった。このケースは、ラテン語で「既約なケース」を意味するcasus irreducibilisと呼ばれている。
既約の場合、カルダノの公式は依然として使用できますが、立方根の使用には注意が必要です。最初の方法は、記号を定義することです。そして根関数の主値(つまり、実部が最大の根)を表すものとして定義されます。この慣例により、カルダノの3つの根の公式は有効ですが、主値の定義は実部を比較するための不等式を含むため、純粋に代数的ではありません。また、係数が実数でない複素数の場合、主立方根を使用すると誤った結果になる可能性があります。さらに、係数が別の体に属する場合、主立方根は一般に定義されません。
カルダノの公式を常に正しくする2つ目の方法は、2つの立方根の積が− p / 3でなければならないことに着目することです。その結果、方程式の根は次のようになります。 この式では、記号はそしては任意の平方根、 は任意の立方根を表します。方程式の他の根は、立方根を変換するか、または同等に、立方根に原始立方根である 1 を掛けることによって得られます。
この根の公式は、 p = q = 0の場合を除いて常に正しい。ただし、 p = 0の場合は、 C ≠ 0となるように平方根を選択する必要がある。しかし、カルダノの公式は、根は立方根なので同様に、立方根が必要ない場合、つまり三次多項式が既約でない場合にも、この公式は役に立ちません。これには次のケースが含まれます。
一般三次方程式の根を求めるための三次式(a ≠ 0の場合) カルダノの公式のあらゆる変形から、縮約された三次式 に還元することで導出できる。ここで提示する変形は、複素係数だけでなく、標数が2または3以外の任意の代数的に閉じた体に属する係数a、b、c、dにも有効である。係数が実数の場合、この公式は実数解だけでなく、すべての複素数解を網羅する。
この数式はかなり複雑なので、より小さな数式に分割する価値がある。
させて
(両方そして3次方程式とその導関数の結果として表現できる。は、 3次式とその2階微分を掛け合わせたものの−1 / 8 a倍であり、(これは、 3次多項式の1階微分と2階微分の積の-1/12 a倍である。)
すると シンボルがそしてはそれぞれ任意の平方根と任意の立方根として解釈されます(ゼロでない複素数はすべて2つの平方根と3つの立方根を持ちます)。平方根の前の符号「 ± 」は「 +」または「-」のいずれかです。選択はほぼ任意であり、変更すると異なる平方根を選択することになります。ただし、選択によってC = 0になる場合(これは、) の場合、代わりに別の符号を選択する必要があります。両方の選択肢がC = 0になる場合、つまり、以下の式には分数 0 / 0 が現れます。この分数はゼロと解釈する必要があります (このセクションの最後を参照)。これらの規則では、根の 1 つは
他の2つの根は、 Cの定義における立方根の選択を変更するか、あるいは同等に、Cに1の原始立方根、すなわち –1 ± √ –3 / 2 を掛けることによって得られます。言い換えれば、3つの根は ここでξ = –1 + √ –3 / 2 。
特殊なケースである立方根の場合、この公式は適用されますが、根が立方根なしで表現できる場合は役に立ちません。特に、この式は、3つの根が等しいことを示している。つまり、3次多項式は次のように因数分解できる。簡単な計算により、この因数分解の存在が以下と同等であることを検証できます。
実係数を持つ三次方程式が3つの実根を持つ場合、これらの根を根号で表す式には複素数が含まれます。ガロア理論によれば、3つの根が実数であり、かつ有理数でない場合(既約ケース)、根を実根号で表すことはできません。しかしながら、解の純粋に実数的な表現は、三角関数、特に余弦関数と逆余弦関数を用いて得ることができます。[ 25 ]より正確には、縮約三次方程式の根は[ 26 ]
この公式はフランソワ・ヴィエトによるものです。[ 22 ]方程式が3つの実根を持つ場合、それは純粋に実数です(つまり、). Otherwise, it is still correct but involves complex cosines and arccosines when there is only one real root, and it is nonsensical (division by zero) when p = 0.
This formula can be straightforwardly transformed into a formula for the roots of a general cubic equation, using the back-substitution described in § Depressed cubic.
The formula can be proved as follows: Starting from the equation t3 + pt + q = 0, let us set t = u cosθ. The idea is to choose u to make the equation coincide with the identity For this, choose and divide the equation by This gives Combining with the above identity, one gets and the roots are thus
When there is only one real root (and p ≠ 0), this root can be similarly represented using hyperbolic functions, as[27][28] If p ≠ 0 and the inequalities on the right are not satisfied (the case of three real roots), the formulas remain valid but involve complex quantities.
When p = ±3, the above values of t0 are sometimes called the Chebyshev cube root.[29] More precisely, the values involving cosines and hyperbolic cosines define, when p = −3, the same analytic function denoted C1/3(q), which is the proper Chebyshev cube root. The value involving hyperbolic sines is similarly denoted S1/3(q), when p = 3.

3次方程式x³ + m²x = n ( n > 0)を解くために、オマル・ハイヤームは放物線y = x² / m 、正のx軸上の線分[0, n / m² ]を直径とする円、および円と放物線がx軸より上で交わる点を通る垂直線を作成した。解は、原点から垂直線とx軸の交点までの水平線分の長さによって与えられる(図を参照)。
簡単な現代的な証明は次のとおりです。方程式にx / m 2を掛けて項をまとめると、 左辺は放物線上のy 2の値です。円の方程式はy 2 + x ( x − n / m 2 ) = 0であり、右辺は円上のy 2の値です。
実数係数を持つ三次方程式は、3つの実根を持つ場合に限り、コンパス、定規、および角の三等分線を用いて幾何学的に解くことができる。 [ 30 ]:定理1
3次方程式は、有理根を持つ場合に限り、コンパスと定規を用いた作図(三等分線を用いない)で解くことができる。このことから、古代ギリシャの数学者たちが提起した角の三等分問題や立方体の倍増問題は、コンパスと定規を用いた作図では解けないことがわかる。

ヴィエトの3つの実根の場合の根の三角関数表現は、円の観点から幾何学的に解釈できる。[ 22 ] [ 31 ] 3次式を上記のように簡略化された形式( 2 )、t3 + pt + q = 0で書くと、解は次のように表すことができる。
ここは単位円内の角度です。その角度の 1/3 を取ることは、複素数の立方根を取ることに対応します。k = 1、2 に対して − k 2 π / 3 を加えると他の立方根が求められます。そして、これらの結果として得られる角度のコサインに を掛けると、スケールを補正します。
非凹型の場合(1 )(添付のグラフに示す)では、前述の凹型の場合、tを x = t − b / 3 a と定義することでt = x + b / 3 a が得られます。グラフ上では、これは角度の関係を変えずに、変数tとxの間でグラフを水平方向に単純にシフトすることに相当します。このシフトにより、変曲点と円の中心がy軸上に移動します。その結果、 tに関する方程式の根の合計はゼロになります。

3次関数のグラフをデカルト座標平面にプロットすると、実根が1つしかない場合は、曲線の水平切片の横座標(x座標)(図の点R)になります。さらに、 [ 32 ] [ 33 ] [ 34 ]複素共役根をg ± hiと表記すると、実部gは、3次関数のx切片R(つまり、図の符号付き長さOM、負)を通る3次関数の接線の接点Hの横座標になります。虚部±hは、この接線と水平軸の間の角度の正接の平方根です。
実数解が1つと複素数解が2つある場合、3つの解は複素平面上の点として表すことができ、3次微分方程式の2つの解も同様に表すことができます。これらの解の間には、興味深い幾何学的関係が存在します。
3 つの根を表す複素平面上の点は、二等辺三角形の頂点として機能します。(三角形が二等辺三角形であるのは、1 つの根が水平(実)軸上にあり、他の 2 つの根は複素共役であるため、実軸の上下に左右対称に現れるためです。)マーデンの定理によれば、3 次式の導関数の根を表す点は、三角形のシュタイナー楕円の焦点です。この楕円は、三角形の辺の中点で接する唯一の楕円です。実軸上の頂点の角度が π/3 未満の場合、楕円の長軸は実軸上にあり、焦点も実軸上にあり、したがって導関数の根も実軸上にあります。その角度が π/3 より大きい場合、長軸は垂直であり、焦点、つまり導関数の根は複素共役です。そして、その角度が π / 3 であれば、三角形は正三角形となり、シュタイナー内接楕円は単に三角形の内接円となり、その焦点は実軸上にある内心で互いに一致するため、導関数は重複した実根を持ちます。
標数が 2 と 3 と異なる体 K 上の 3 次既約多項式が与えられたとき、K上のガロア群は、Kの最小拡大体(分割体) のKを固定する体自己同型群です。これらの自己同型は多項式の根を置換する必要があるため、この群は 3 つの根の 6 つの置換すべてからなる群S 3か、3 つの円置換からなる群A 3のいずれかになります。
3次式の 判別式Δは、 ここで、aは三次式の最高次係数であり、r 1、r 2、r 3は三次式の 3 つの根である。2つの根号が入れ替わると符号が変わります。がガロア群によって固定されるのは、ガロア群が A 3の場合のみです。言い換えれば、判別式がKの要素の二乗である場合に限り、ガロア群はA 3になります。
ほとんどの整数は平方数ではないため、有理数の体Q上で作業する場合、ほとんどの既約 3 次多項式のガロア群は 6 つの要素を持つ群S 3です。3 つの要素を持つガロア群A 3の例はp ( x ) = x 3 − 3 x − 1で与えられ、その判別式は81 = 9 2です。
このセクションでは、カルダノの公式を導出するためのいくつかの方法をまとめています。
この方法はシピオーネ・デル・フェッロとタルタリアによるものですが、最初に著書『アルス・マグナ』(1545年)で発表したジェロラモ・カルダーノにちなんで名付けられました。
この方法は、凹型立方体t 3 + pt + q = 0に適用されます。アイデアは、2 つの変数uとそのためそしてこれを凹立方体に代入すると、
この時点でカルダノは条件を課したこれにより、前の等式から第 3 項が削除され、次の連立方程式が得られます。
u 3 とu 3の和と積を知るそれらは二次方程式の2つの解であると推測される。 それで この方程式の判別式は、そしてそれが正であると仮定すると、この方程式の実数解は(平方根の中に4による除算を折り込んだ後)次のようになります。 したがって( uまたはuを選択する際に一般性を失うことなく)): としてこれらの解の立方根の合計は、方程式の根になります。つまり、 これは方程式の根であり、カルダノの公式である。
これは次のような場合にうまく機能しますしかし、もし式に現れる平方根は実数ではありません。複素数は3つの立方根を持つため、カルダーノの公式を注意せずに使用すると9つの根が得られますが、3次方程式は3つ以上の根を持つことはできません。これは、ラファエル・ボンベリが著書『代数学』(1572年)で最初に明らかにしました。解決策は、次の事実を使用することです。つまり、これは、1 つの立方根を計算するだけでよいことを意味し、§ カルダノの公式で示されている 2 番目の公式につながります。
この方程式の他の根は、立方根を変えることによって、または同等に、立方根に 1 の 2 つの原始立方根をそれぞれ掛けることによって得られます。
実根が 1 つだけの場合、uとv は互いに複素共役となり、実根は 1 つでなければならない。。
ヴィエタの置換法は、フランソワ・ヴィエト(ヴィエタは彼のラテン語名)が1615年に死後出版したテキストで導入した方法で、カルダーノ の方法の2番目の公式を直接提供し、2つの異なる立方根を計算する問題を回避します。[ 35 ]
凹型立方体t 3 + pt + q = 0から始めて、ヴィエタの置換はt = w − p / 3 w である。[ b ]
置換t = w – p / 3 w により、凹型立方体は次のように変換されます。
これは二次方程式ですなので、解は 6 つあります置換では、各値に対してには 2 つの可能な値があります3次方程式の各根は2回ずつ求められます。
w 3を掛けると、 w 3に関する二次方程式が得られます。
させて は、 この二次方程式の任意の非ゼロ根とする。w 1 、w 2 、w 3 が W の 3 つの立方根である場合、元の縮小三次方程式の根はw 1 − p / 3 w 1 、 w 2 − p / 3 w 2 、およびw 3 − p / 3 w 3 である。二次方程式のもう 1 つの根はこれは、平方根の符号を変えると、i = 1, 2, 3に対してw iと− p / 3 w i が入れ替わるため、根は変わらないことを意味します。この方法は、二次方程式の両方の根がゼロの場合、つまりp = q = 0の場合にのみ失敗します。この場合、縮約三次方程式の唯一の根は0です。
ジョセフ・ルイ・ラグランジュは、論文「方程式の代数的解法に関する考察」(「方程式の代数的解法に関する考察」)[ 36 ] の中で、次数が低い方程式を統一的に解く新しい方法を導入し、それをより高次の方程式にも一般化できることを期待した。この方法は3次方程式と4次方程式にはうまく機能するが、少なくとも6次のレゾルベント多項式を解く必要があるため、ラグランジュは5次方程式への適用に成功しなかった。 [ 37 ] [ 38 ] [ 39 ] これまで誰も成功していなかったという事実とは別に、これは5次以上の方程式に対する代数式が存在しないことを示す最初の兆候であり、後にアーベル・ルフィニの定理によって証明された。それにもかかわらず、解ける5次方程式を解く現代の方法は、主にラグランジュの方法に基づいている。[ 39 ]
3次方程式の場合、ラグランジュ法はカルダノ法と同じ解を与えます。ラグランジュ法は、一般的な3次方程式 ax 3 + bx 2 + cx + d = 0に直接適用できますが、簡略化された3次方程式t 3 + pt + q = 0の方が計算は簡単です。
ラグランジュの主なアイデアは、根そのものを使うのではなく、根の離散フーリエ変換を使うことでした。より正確には、 ξ を原始的な第3 根、つまりξ 3 = 1かつξ 2 + ξ + 1 = 0となる数とします(複素数の空間で作業する場合、次のようになります)。ただし、この複雑な解釈はここでは使用しません)。解くべき3次方程式の3つの根 をx₀ 、x₁、x₂とすると、は、 根の離散フーリエ変換である。s 0、s 1、s 2 が既知であれば、この線形変換を反転する逆フーリエ変換によって根を復元することができる。すなわち、
Vieta の公式によれば、s 0 は、縮小三次方程式の場合はゼロ、一般三次方程式の場合は− b / a であることがわかっています。したがって、 s 1とs 2だけを計算すればよいことになります。これらは根の対称関数ではありません( x 1とx 2を交換するとs 1とs 2も交換されます) が、s 1とs 2のいくつかの単純な対称関数は、解くべき三次方程式の根に関しても対称です。したがって、これらの対称関数は、元の三次方程式の (既知の) 係数で表すことができ、これにより最終的にs i を既知の係数を持つ多項式の根として表すことができます。これはすべての次数でうまく機能しますが、4 次を超える次数では、s iを根とする結果として得られる多項式の次数が元の多項式の次数よりも高くなるため、解くのに役立ちません。これが、ラグランジュ法が5次以上の方程式では適用できない理由である。
3次方程式の場合、そしてこれらはそのような対称多項式である(下記参照)。したがって、そしては二次方程式の2つの根であるしたがって、方程式の解はカルダノの方法とまったく同じように完了することができ、そしてuの代わりに
凹型立方体の場合、そしてCardanoの方法では、そしてしたがって、uと我々は持っていますそして言い換えれば、この場合、カルダノの方法とラグランジュの方法は、補助変数の係数が3倍になるまで全く同じ値を計算するが、主な違いは、ラグランジュの方法がこれらの補助変数が問題に現れる理由を説明している点である。
関係式ξ 3 = 1とξ 2 + ξ + 1 = 0を用いた簡単な計算により、 これは、PとSが根の対称関数であることを示している。ニュートンの恒等式を用いると、これらを根の 基本的な対称関数で表すのは容易であり、次のようになる。凹型立方体の場合、e 1 = 0、e 2 = p、e 3 = − q であり、一般の場合、 e 1 = − b / a 、e 2 = c / a 、e 3 = − d / a である。
三次方程式は、その他さまざまな場面で現れる。
2つの根が虚数であれば、積は正になる...
{{cite book}}ISBN /日付の不一致(ヘルプ)