二次方程式

二次方程式（にじほうていしき、quadratic equation）は、方程式の一種で、2次の多項式の零点について記述する方程式のことである。一般に n 変数多項式に関する方程式

<math>0 = \sum_{i=1}^n \sum_{j=1}^n a_{i,j}x_i x_j + \sum_{k=1}^n b_k x_k + c</math>

（ただし、a_i,j, b_k, c は定数、かつ少なくとも1つの a_i,j + a_j,i が 0 でない）のことを n 変数二次方程式、n 元二次方程式などと呼ぶ。これらについては（特に実数係数のものについて）その零点集合に対する幾何学的考察が歴史的に行われ、よく知られている（二元二次方程式については円錐曲線を、一般の多変数二次方程式については二次曲面を参照するとよい）。

日本の中等教育で単に二次方程式と言えば、1変数の二次方程式

<math>ax^2 + bx + c = 0</math>

（a, b, c は実数定数かつ a ≠ 0）を指すことが多い。以下、本項ではこれについて記述する。

歴史

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

定義

二次方程式とは、次数 2 の代数方程式のことである。定義に従えば、

(*) <math>ax^2 + bx + c = 0</math>

（a ≠ 0, b, c は定数）と表される。これを二次方程式の一般形 (generalized form) という。さらに二次方程式について、いくつかの特徴をもつ特殊な形が考えられる。本項では便宜的に以下の用語を用いる。

2 次の項の係数が 1 の方程式

(**) <math>x^2 + px + q = 0</math>

（p, q は定数）を二次の整方程式あるいは二次方程式の正規形 (normal form) と呼ぶ。一般形の方程式 (*) の両辺を a ≠ 0 で割り、正規形にすることができる（正規化）：

(***) <math>p = \frac{b}{a},\ q = \frac{c}{a}.</math>

またさらに、見かけ上 1 次の項のない方程式

<math>k(x + l)^2 + m = 0</math>

（k ≠ 0, l, m は定数）を二次方程式の標準形 (standard form) と呼ぶ。これは変数を t = x + l と変換すれば t に関して実際に 1 次の項を持たない方程式 kt² + m = 0 である。

平方完成

二次式において<math>\left( x - \alpha \right)^2</math>の形の項を作り出す変形のことを平方完成（基本変形）という。

標数 2 でない体においては、平方完成により正規形の方程式 (**) は標準形にすることができる。二次式

<math> x^2 + px + q</math>

に対し、公式<math>\left( x + y \right)^2 = x^2 + 2xy + y^2</math>を利用するため

<math>x^2 + 2\left(\frac{p}{2}\right)x + q</math>

とみなし、(p/2)²を加えて引くことで

<math>\left\{x^2 + 2\left(\frac{p}{2}\right)x + \left(\frac{p}{2}\right)^2\right\} + \left\{-\left(\frac{p}{2}\right)^2 + q\right\}</math>

としてからまとめると

<math>\left(x + \frac{p}{2}\right)^2 - \left(\frac{p^2}{4} - q\right) </math>

となる。したがって、<math>t = x + \frac{p}{2}, m = \frac{p^2}{4} - q</math> と置いてやると

<math>x^2+px+q = 0 \iff t^2 - m = 0</math>

となり、変数 t に関する標準形の方程式が得られる。

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

二次方程式の根

• 正規化された標準形二次方程式 x² - m = 0 の根は m の平方根と呼ばれる。任意に選び出された 1 つの根を √m で表すことがある。特に x² + 1 = 0 の根、すなわち -1 の平方根は虚数単位と呼ばれる。
• 根と係数の関係：正規形の方程式 (**) の根が α, β であるとき
  • <math>-p = \alpha + \beta,\ q = \alpha\beta.</math>
• 体や整域でない一般の環においては、二次方程式の根の数は2つとは限らない。
• 有理数係数の二次方程式の根となる無理数を二次の無理数と呼ぶ。有理数体に二次の無理数を添加した体を二次体という。

解の公式

二次方程式は以下のようにして一般に解くことができる。これは、標数 2 でない体で一般に通用する。二次方程式 ax² + bx + c =0 に対し、

<math>\begin{align} a\!\left(x+\frac{b}{2a}\right)^{\!2}+c-\frac{b^2}{4a}=0

& \iff \left( x+\frac{b}{2a}\right)^2=\frac{b^2-4ac}{4a^2}\\
& \iff  x+\frac{b}{2a}=\pm \frac{\sqrt{b^2-4ac}}{2a}\\
& \iff x =\cfrac{-b\pm\sqrt{b^2-4ac}}{2a}

\end{align}</math>

を得る。これが二次方程式の解の公式である。さらに b = 2b′ とおくと

<math>x=\frac{-b'\pm\sqrt{(b')^2-ac}}{a}</math>

と書くこともできる。

実数係数の二次方程式

虚数単位と複素数

実数係数の二次方程式

<math>x^2 + 1 = 0</math>

は、実数の範囲で解を持たない。その根として、実数でない新たな数 i を導入することによって、全ての実数係数二次方程式が根を持つようになる。

実数 x, y を用いて x + i y と書けるような数を複素数と呼ぶ。全ての複素数係数の代数方程式は複素数の範囲で必ず根を持つこと（代数学の基本定理）が示される。

二次の判別式

代数方程式に対して、その根全体からつくられる差積 Δ の平方式 Δ² は判別式と呼ばれ、多項式が重根を持つか否かを判別することができる。二次多項式 ax² + bx + c = a(x − α)(x − β) (a ≠ 0) の根からなる差積とはこの場合、差 Δ = β − α であり、判別式 Δ² = (β − α)² は根と係数の関係により係数 a, b, c の有理式として

<math>\Delta^2 = \frac{b^2 - 4ac}{a^2}</math>

で与えられる。この Δ² を用いると、二次方程式の根の公式は

<math>x = \frac{-b}{2a}\pm\frac{\sqrt{\Delta^2}}{2}</math>

と書けるため、二次の場合の特殊事情として、実数係数の二次方程式に対してはそれが実数の範囲で解けるか否かをこの判別式 Δ² を用いて判別できる（三次方程式の場合も類似の結果がある）。

判別式 Δ² による根の種類の判定は、その符号に従って

• Δ² > 0 の場合：異なる 2 実根
• Δ² = 0 の場合：実数の重根
• Δ² < 0 の場合：異なる 2 虚根

として述べることができる。ここで、0 でない実数 a の平方 a² が常に正であることから、判別式 Δ² の符号の決定は分子 D = b² − 4ac の符号を決定することに帰せられる。ゆえに D を以って二次方程式の判別式と呼ぶ場合も多い。正規形 x² + px + q = 0 に対しては Δ² = D = p² − 4q となるからそもそも区別を要しない。

関連項目

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