二次方程式

二次方程式（にじほうていしき、テンプレート:Lang-en-shortテンプレート:Efn）とは、数学において、二次の多項式関数のテンプレート:仮リンクを表す条件のことである。

その零点集合については、特に実数係数であるものについて、幾何学的考察が歴史的に行われ、よく知られている（二元二次方程式については円錐曲線を、一般の多変数二次方程式については二次曲面を参照するとよい）。

以下では、未知数が1個の場合を中心に取り扱う。二次方程式は次数が 2 の代数方程式のことであり、一般に未知数を テンプレート:Mvar として

$a{x}^2+bx+c=0(a\ne 0)$

の形で表される。二次方程式を解くには、二次方程式の解の公式が知られている他、平方完成を利用する方法、因数分解を利用する方法などがよく知られている。

一元二次方程式を解くことと同値である問題に対する解法は、紀元前20世紀ごろには既に知られていた。

定義

二次方程式とは、次数 2 の代数方程式のことである。一般には

$a{x}^2+bx+c=0$ (*)

（テンプレート:Math, テンプレート:Math2 は定数）と表される。これを二次方程式の一般形 (generalized form) という。二次方程式の一般形は、方程式としての変形や変数変換により、いくつかの特徴をもつ特殊な形にできる。本項では便宜的に以下の用語を用いる。

一般形の方程式 (*) の両辺を 2 次の係数（最高次係数）テンプレート:Math で割って テンプレート:Math にすることができる。これを二次の整方程式あるいは二次方程式の正規形 (normal form) と呼ぶ：

$x^2+px+q=0$ (**)

（テンプレート:Math2 は定数）

$p=\frac{b}{a},q=\frac{c}{a}$ (***)

また、左辺が完全平方式と定数の和のみになっている方程式を、二次方程式の標準形 (standard form) と呼ぶ：

$a(x+p{)}^2+q=0$

（テンプレート:Math, テンプレート:Math2 は定数）

これは、変数を テンプレート:Math と変換すれば未知数 テンプレート:Mvar に関する 1 次の項が無い方程式である：

テンプレート:Math

歴史

アッバース朝時代に活躍した中世イスラムの数学者フワーリズミーは二次方程式に2つの解があることを発見した。フワーリズミーの著作『インドの数に関して、アル＝フワーリズミー』（ラテン語訳『アルゴリトミ・デ・ヌーメロ・インドルム (Algoritmi de numero Indorum)』）はラテン語に翻訳され、ヨーロッパに伝わった。フワーリズミーは二次方程式における未知数を「shay'」（シャイ＝とあるもの）という言葉で表現したが、フワーリズミーの著作がヨーロッパに伝えられる段階で、「x」を「sh（シ）」と読むポルトガル語を通過する際に、shay'の「sh」が「x」に置き換えられたといわれる。未知なるものを「x」と呼ぶことには、このような背景があるとされる。

平方完成

テンプレート:Main 変数 テンプレート:Mvar に関する二次式 $a{x}^2+bx+c$ について、変数変換

テンプレート:Math

して、1 次の項を消去することを平方完成（基本変形）という。これにより、二次式の正規形 (**) は標準形にすることができる。

係数体の標数が 2 でなければ、平方完成できる。

二次式の正規形 (**) を標準形にする：

$x^2+px+q=(x+\alpha {)}^2+\beta$

1次の係数を比較すると、$(x+\alpha {)}^2=x^2+2\alpha x+{\alpha }^2$ より、

$\alpha =\frac{p}{2}$

が導かれる。

$x^2+px={(x+\frac{p}{2})}^2-{\left(\frac{p}{2}\right)}^2$

より、

$x^2+px+q={(x+\frac{p}{2})}^2-(\frac{p^2}{4}-q)$

$y=x+\frac{p}{2},m=\frac{p^2}{4}-q$ と置いてやると

$x^2+px+q=0⟺y^2-m=0$

となり、変数 テンプレート:Mvar に関する標準形の方程式が得られる。

平方完成の技法は、この他にも、円錐曲線の標準化などに用いられる。

二次方程式の解

正規化された標準形二次方程式

テンプレート:Math

は

テンプレート:Math

と同値であるから、解は テンプレート:Mvar の平方根に等しい。平方根は テンプレート:Math 以外は複数あり、実数なら正の方を テンプレート:Math で表す。このとき解は

$x=\pm \sqrt{m}$

になる。

テンプレート:Mvar が負ならば、解 テンプレート:Math は虚数である。これらを統一的に表すために、テンプレート:Math を テンプレート:Mvar と表し、虚数単位という。虚数単位 テンプレート:Mvar は テンプレート:Math の根である。

• テンプレート:Math のとき、テンプレート:Math

解の公式

テンプレート:Main 平方完成により、二次方程式の解の公式を導出することができる。これは、標数 2 でない体で一般に通用する。

二次方程式 テンプレート:Math に対し、

$\begin{array}{cc}a{(x+\frac{b}{2a})}^2+c-\frac{b^2}{4a}=0& ⟺{(x+\frac{b}{2a})}^2=\frac{b^2-4ac}{4a^2}\\ & ⟺x+\frac{b}{2a}=\pm \frac{\sqrt{b^2-4ac}}{2a}\\ & ⟺x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}\end{array}$

特に、テンプレート:Mvar が 2 を因数に持つ場合、テンプレート:Math とおくと

$x=\frac{-b^{\prime }\pm \sqrt{(b^{\prime }{)}^2-ac}}{a}$

と簡明になる。

特別な二次方程式の解

数学定数の中で、定義が特別な二次方程式であるものがある。

• 1の虚立方根 テンプレート:Mvar（テンプレート:Math の解$x=\frac{-1\pm \sqrt{3}i}{2}$（2つのどちらでもよい））
  • 三次方程式の解、アイゼンシュタイン整数 など
• 貴金属数
  • 黄金数 テンプレート:Mvar（テンプレート:Math の正の解$x=\frac{1+\sqrt{5}}{2}$）
    • フィボナッチ数 など

実数係数の二次方程式

二次方程式

$a{x}^2+bx+c=0$

の係数 テンプレート:Math2 は実数とする。

虚数の導入

二次方程式の解の公式 $x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}$ における $b^2-4ac$ が負の場合は、解が虚数になる。2つの解は、共役な虚数である。

虚数も数に含めると、代数学の基本定理（全ての複素数係数の代数方程式は複素数の範囲で必ず解を持つ）が成り立つ。

判別式と実数解の個数

実数係数の二次方程式においては、解の公式に見られるように、$b^2-4ac$ の符号が実数解の個数を決める。

二次方程式 $a{x}^2+bx+c=0$ の重複を込めた解を テンプレート:Math とするとき、

$\mathrm{\Delta }:=a^2(\alpha -\beta {)}^2$

を二次方程式の判別式という。これは、解の公式に現れる $b^2-4ac$ に等しい。

代数方程式で次数が 2 の場合は、判別式のみで実数解の個数が決定できる：

• テンプレート:Math のとき：異なる 2 実数解
• テンプレート:Math のとき：実数の重解
• テンプレート:Math のとき：1組の共役虚数解

根と係数の関係

テンプレート:Main 二次方程式 $a{x}^2+bx+c=0$ の解を テンプレート:Math2 とおくと、

$\alpha +\beta =-\frac{b}{a},\alpha \beta =\frac{c}{a}$

解が先に分かっている場合に、係数を合理的に計算できる。

係数の拡張

有理数係数の二次方程式の解である無理数を二次の無理数と呼ぶ。有理数体に二次の無理数を添加した体を二次体という。

係数が体や整域でない一般の環においては、二次方程式の解は2個とは限らない。

一般係数の二次方程式

解の公式およびその導出は、係数 テンプレート:Mvar が複素数やより一般に標数が テンプレート:Math でない任意の体においても有効である（標数が テンプレート:Math のときは テンプレート:Math が零元に等しく、したがってそれで割ることはできない）。ただし、公式に現れる記号 $\pm \sqrt{b^2-4ac}$ は「その平方が テンプレート:Math に等しくなるような元が存在する場合には、そのような二元のうちの何れか一方」を意味するものと理解しなければならない。体によっては、平方根を全く持たない元と二つ持つ元とが存在する（標数 テンプレート:Math でない限りただ一つの平方根を持つのは零元のみである）。ある元の平方根を持たない体を考えている場合でも、そのような平方根を含む二次拡大体は常に存在するから、そのような拡大体における式と見なせば解の公式は常に有効ということになる。

標数 2 の体

解の公式は テンプレート:Math が可逆であることが利いていたから、標数 テンプレート:Math の体では公式は成り立たない。標数 テンプレート:Math の体上のモニックな二次多項式 $x^2+bx+c$ を考えるとき、テンプレート:Math ならば方程式は平方根を開くことに帰着されるから、$x=\sqrt{c}$ は解であり、$-\sqrt{c}=-\sqrt{c}+2\sqrt{c}=\sqrt{c}$ であるから、これが唯一の解であることが分かる。すなわち、$x^2+c=(x+\sqrt{c}{)}^2$ 。有限体における開平についての更なる情報は平方剰余の項を参照。

他方、テンプレート:Math の場合には相異なる二つの根が存在するのだが、多項式が既約ならば、係数体に属する数の平方根を用いて根を記述するのは不可能である。そこで多項式 テンプレート:Math の（この多項式の分解体に属する元としての）根の一つを テンプレート:Mvar の 2-根 (2-root) テンプレート:Math と定義する。このとき テンプレート:Math がもう一つの根となることが確かめられる（こちらも 2-根と呼ぶ）。この 2-根を用いれば、モニックとは限らない二次式 テンプレート:Math の二つの根は $\frac{b}{a}R\left(\frac{ac}{b^2}\right),\frac{b}{a}(R\left(\frac{ac}{b^2}\right)+1)$ と表せる。

例えば、位数 4 の有限体 テンプレート:Math において、その乗法群の生成元を テンプレート:Mvar とするとき（すなわち、テンプレート:Mvar および テンプレート:Math は テンプレート:Math 上の多項式 テンプレート:Math の根）、テンプレート:Math ゆえ、テンプレート:Math は二次方程式 テンプレート:Math の唯一の解である。他方、多項式 テンプレート:Math は テンプレート:Math 上既約だが、テンプレート:Math 上分解して、二つの根 テンプレート:Math および テンプレート:Math を持つ。ここで テンプレート:Math は テンプレート:Math における テンプレート:Math の根である。

これはアルティン・シュライアー理論の特別の場合である。

関連項目

• 連分数
• 黄金比
• 定規とコンパスによる作図

外部リンク

• 二次方程式の解 - 高精度計算サイト
• テンプレート:Kotobank