二次方程式

二次方程式の最新ニュースをまとめて検索！

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

$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$

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

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

$a x 2 + b x + c = 0$

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

[編集] 定義

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

(*) $a x 2 + b x + c = 0$

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

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

(**) $x 2 + p x + q = 0$

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

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

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

$k (x + l) 2 + m = 0$

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

[編集] 平方完成

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

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

$x 2 + p x + q$

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

$x^2 + 2\left(\frac{p}{2}\right)x + q$

とみなし、 $\left(\frac{p}{2}\right)^2$ を加えて引くことで

$\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\}$

としてからまとめると

$\left(x + \frac{p}{2}\right)^2 - \left(\frac{p^2}{4} - q\right)$

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

$x^2+px+q = 0 \iff t^2 - m = 0$

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

[編集] 具体例

x²+6x+5=0　→　6xの6を2で割って3にして、さらに2乗して9　→　x²＋6x+9=0　平方の公式により(x+3)²=0

9-5=4から、(x+3)²=4となって、X=-3±2。この場合はさらに計算できるのでX=-5,-1となる。

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

[編集] 二次方程式の根

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

[編集] 根の公式

二次方程式 $a x 2 + b x + c = 0$ （ただし $a = 0$ ではないとする）の解は

$x=\cfrac{-b\pm\sqrt{b^2-4ac}}{2a}$

である。

二次方程式を一般的に解くためのプロセスは以下のようになる。これは、係数が標数 2 でない体で一般に通用する。

$a x 2 + b x + c = 0$ より、 $a = 0$ ではないため、
$a\left(x+\frac{b}{2a}\right)^2+c-\frac{b^2}{4a}=0$
$\left( x+\frac{b}{2a}\right)^2=\frac{b^2-4ac}{4a^2}$
$x+\frac{b}{2a}=\pm \frac{\sqrt{b^2-4ac}}{2a}$

$x=\cfrac{-b\pm\sqrt{b^2-4ac}}{2a}$

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

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

と書くことができる。

[編集] 実数係数の二次方程式

[編集] 虚数単位と複素数

実数係数の二次方程式

$x 2 + 1 = 0$

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

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

[編集] 二次の判別式

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

$\Delta^2 = \frac{b^2 - 4ac}{a^2}$

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

$x = \frac{-b}{2a}\pm\frac{\sqrt{\Delta^2}}{2}$ （差積 $Δ = β - α$ を用いれば、 $x=\frac{-b}{2a} \pm \frac{\Delta}{2}$ である）

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

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

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

として述べることができる。

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

最終更新 2009年10月27日 (火) 02:49 （日時は個人設定で未設定ならばUTC）。
【二次方程式】変更履歴