二次方程式

二次方程式とは、数学において、二次の多項式関数の零点集合を表す条件のことである。

その零点集合については、特に実数係数であるものについて、幾何学的考察が歴史的に行われ、よく知られている。

以下では、未知数が1個の場合を中心に取り扱う。二次方程式は次数が 2 の代数方程式のことであり、一般に未知数を x}} として

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

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

1. 定義
-----

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

と表される。これを二次方程式の一般形  という。二次方程式の一般形は、方程式としての変形や変数変換により、いくつかの特徴をもつ特殊な形にできる。本項では便宜的に以下の用語を用いる。

一般形の方程式  の両辺を 2 次の係数//a// ≠ 0}} で割って 1}} にすることができる。これを二次の整方程式あるいは二次方程式の正規形  と呼ぶ：

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

これは、変数を //t// =}} //x// + //p//}} と変換すれば未知数 t}} に関する 1 次の項が無い方程式である：

2. 歴史
-----

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

3. 平方完成
-------

変数 x}} に関する二次式 について、変数変換

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

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

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

1次の係数を比較すると、 より、

が導かれる。

より、

と置いてやると

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

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

4. 二次方程式の解
----------

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

は

と同値であるから、解は m}} の平方根に等しい。平方根は 0}} 以外は複数あり、実数なら正の方を sqrt で表す。このとき解は

になる。

m}} が負ならば、解 ±sqrt は虚数である。これらを統一的に表すために、sqrt を i}} と表し、虚数単位という。虚数単位 i}} は //x//sup の根である。

//a// > 0}} のとき、

4.1. 解の公式
---------

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

二次方程式 //ax//sup に対し、

特に、b}} が 2 を因数に持つ場合、//b// =}} 2//b'//}} とおくと

と簡明になる。

4.2. 特別な二次方程式の解
---------------

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

1の虚立方根 ω}}
三次方程式の解、アイゼンシュタイン整数 など
貴金属数
黄金数 φ}}
フィボナッチ数 など

5. 実数係数の二次方程式
-------------

二次方程式

の係数 //a//, //b//, //c//}} は実数とする。

5.1. 虚数の導入
----------

二次方程式の解の公式 における が負の場合は、解が虚数になる。2つの解は、共役な虚数である。

虚数も数に含めると、代数学の基本定理が成り立つ。

5.2. 判別式と実数解の個数
---------------

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

二次方程式 の重複を込めた解を //α//, //β//}} とするとき、

を二次方程式の判別式という。これは、解の公式に現れる に等しい。

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

//⊿// > 0}} のとき：異なる 2 実数解
//⊿// =}} 0}} のとき：実数の重解
//⊿// < 0}} のとき：1組の共役虚数解

6. 根と係数の関係
----------

二次方程式 の解を //α//, //β//}} とおくと、

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

7. 係数の拡張
--------

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

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

7.1. 一般係数の二次方程式
---------------

解の公式およびその導出は、係数 a, b, c}} が複素数やより一般に標数が 2}} でない任意の体においても有効である。ただし、公式に現れる記号 は「その平方が //b//sup に等しくなるような元が存在する場合には、そのような二元のうちの何れか一方」を意味するものと理解しなければならない。体によっては、平方根を全く持たない元と二つ持つ元とが存在する。ある元の平方根を持たない体を考えている場合でも、そのような平方根を含む二次拡大体は常に存在するから、そのような拡大体における式と見なせば解の公式は常に有効ということになる。

7.1.1. 標数 2 の体
--------------

解の公式は 2}} が可逆であることが利いていたから、標数 2}} の体では公式は成り立たない。標数 2}} の体上のモニックな二次多項式 を考えるとき、//b// =}} 0}} ならば方程式は平方根を開くことに帰着されるから、 は解であり、 であるから、これが唯一の解であることが分かる。すなわち、 。有限体における開平についての更なる情報は平方剰余の項を参照。

他方、//b// ≠ 0}} の場合には相異なる二つの根が存在するのだが、多項式が既約ならば、係数体に属する数の平方根を用いて根を記述するのは不可能である。そこで多項式 //x//sup の根の一つを c}} の 2-根  //R//}} と定義する。このとき //R// + 1}} がもう一つの根となることが確かめられる。この 2-根を用いれば、モニックとは限らない二次式 //ax//2 + //bx// + //c//}} の二つの根は と表せる。

例えば、位数 4 の有限体 Fsub において、その乗法群の生成元を a}} とするとき、exp ゆえ、//a// + 1}} は二次方程式 //x//exp の唯一の解である。他方、多項式 //x//exp は Fsub 上既約だが、Fsub 上分解して、二つの根 //ab//}} および //ab// + //a//}} を持つ。ここで //b//}} は Fsub における //x//exp の根である。

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

8. 注
----

8.1. 注釈
-------

8.2. 出典
-------

9. 関連項目
-------

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

10. 外部リンク
---------

[1]