本項は高等学校数学IIの式と証明・高次方程式の解説である。
(a+b)^5 = (a+b)(a+b)(a+b)(a+b)(a+b) について考えよう。この式を展開するとき、a^2b^3 の係数は、右辺の5個の (a+b) から a を3回取る組み合わせに等しいから _5\mathrm{C}_2 = 10 である。
この考えを拡張して
を展開する。a^rb^{n-r}の項の係数は、右辺の n 個の (a+b) から a を r 回取る組み合わせに等しいから _n\mathrm{C}_r である。
よって、次の式が得られる：
&+ {}_n\mathrm{C}_r a^{n-r}b^r + \cdots + {}_n\mathrm{C}_n b^n \\
&= \sum _{r = 0}^n {}_n\operatorname{C}_r  a^r b^{n-r}. \\ \end{align}
最後の式は数Bの数列で学ぶ総和記号 \Sigma である。知らないのなら無視しても良い。
この式を 二項定理（binomial theorem） という。また、それぞれの項にかかる係数を二項係数（binomial coefficient） と呼ぶことがある。
(I)
(II)
(II)
をそれぞれ計算せよ。
二項定理を用いて計算すればよい。実際に計算を行なうと、
(I)
(II)
(III)
となる。
すべての自然数nに対して
(I)
(II)
(III)
が成り立つことを示せ。
二項定理
についてa,bに適当な値を代入すればよい。
(I)
a = 1,b=1を代入すると、
となり確かに与えられた関係が成立することが分かる。
(II)
a=2,b=1を代入すると、
となり確かに与えられた関係が成立することが分かる。
(III)
a=1,b=-1を代入すると、
となり確かに与えられた関係が成立することが分かる。
二項定理を拡張して (a+b+c)^n を展開することを考えよう。a^pb^qc^r (p+q+r = n) の項の係数は n 個の (a+b+c) から p 個の a、q 個の b 、 r 個の c を選ぶ組合せに等しいから \frac{n!}{p!q!r!} である。
ここでは、整式の除法と分数式について扱う。整式の除法は、整式を整数のように扱い除法を行なう計算手法のことである。実際に整数の除法と整式の除法には深いつながりがある。整式の因数分解を考えるとそれ以上因数分解できない整式が存在する。この整式を整数でいう素因数のように扱うことで整式の素因数分解が可能になる。
上では、整式が整数に対応する性質を持つことを述べた。整数についてはたがいに素な2つの整数を取ることで有理数を定義することが出来る。整式に対しても同じ事が成立ち、そのような式を分数式と呼ぶ。
分数を用いないときには、整数の除法は商と余りを用いて定義された。この時、割られる数Bは商Dと割る数A、余りRを用いて
B = AD + R
の性質を満たすことが知られている。整式に対しても似た性質が成立ち、割られる式B(x)が商D(x)と割る式A(x)、余りR(x)を用いて、
B(x) = A(x)D(x) + R(x)
と書かれるとき、B(x)が、A(x)に割られたという。この時、整数の除法の性質R
B(x) = A(x)D(x) + R(x)
の右辺でxについて2次の項が現われ左辺と一致しなくなる。よって商は実数である。商をa、余りをrとすると上の式は、
x+1 = ax + r
となるが、これはa=1,r=1で成立する。よって商1,余り1である。より高次の式に対しても同じ様に答えを定めていけばよい。例として、
x^3 \div (x^2 -1)
のような式を考える。この場合、
B(x) = A(x)D(x) + R(x)
で、B(x)が3次、A(x)が2次であることから、D(x)は1次であり、また、R(x)は2次より小さいことから1次以下の式になる。ここで、D(x)=ax+b,R(x)=cx+dとおくと、
x^3 = (x^2-1) (ax+b) + (cx +d)
が得られる。右辺を展開すると、
x^3 = ax^3 + b x^2 + (-a +c )x + (-b +d)
が得られるが、xにどんな値を入れてもこの等式が成り立たなければならないので、a = 1, b = 0, -a +c = 0, -b +d = 0が得られ、結局a=c=1, b=d=0が得られる。
この方法はどの除法に対しても用いることが出来るが、次数が高くなると計算が難しくなる。整数の場合と同様、整式の除法でも筆算を用いることが出来る。上の例を用いて結果だけを書くと、
のようになる。)右に書かれた式が割られる式であり、)左に書かれた式が割る式である。--の一番上に書かれた式は商であり、整数の割り算同様左に書かれた数から順に割っていく。ここでは次数が大きい項がより先に計算される項である。割られる式の下にある式は商の第1項を割る式にかけて得る式である。ここでは、x(x^2-1)で、x^3-xとなる。ただし、整数の除法と同様、位をそろえなくてはならない。その後、割られる式からx^3-xを引き、残った式を新しい割られる式として扱う。ここでは、得た式が割る式よりも低次であることから、これで計算は終了である。
x^3 + 2x ^2 +1、x ^4 + 4x^2 +3x +2を、x^2 +2x +6
で割った商と余りを求めよ。
この計算はアニメーションを使って
詳しく表示されている。計算手法は、
整数の場合の筆算と同じような手法が使える。
x^3 + 2x ^2 +1
(x^2 +2x +6) x +(1-6x)
が得られるので、商
x、余り-6x +1である。
2つ目の式については、
x ^4 + 4x^2 +3x +2
(x^2 - 2x+2)* (x^2 +2x +6)
+ 11x -10
が得られる。
よって、答は
商x^2 - 2x+2、余り11x -10である。
ここまでで整式を整数のように扱い、整式の除法を行なう方法について述べた。ここでは、整式に対して分数式を定義する方法について述べる。分数式とは、整数に対する分数のように、除法によって生じる式である。ここで、除法を行なう式はどのようなものでも差し支えない。分数式では、分子に割られる式を書き、分母に割る式を書く。例えば、
\frac {x+1}{x^2+4}
は、分子x+1、分母x^2+4の分数式である。分数式に対しても約分や通分が存在する。約分は共通因数を持った分子分母をもつ分数式で用いられる。この時には分子分母を共通因数で割り、式を簡単にすることが出来る。通分は、分数式の加法の時によく用いられるが、分子分母に同じ整式をかけても分数式が変化しない性質を用いる。
\frac {x^2 -1} {x^3 -1}
を簡単にせよ。また、
\frac {x+1}{x^2 +2x + 3}
+ \frac {2x + 5} {x^2 +1}
を計算せよ。
\frac {x^2 -1} {x^3 -1}
について分子と分母を因数分解すると、双方ともに
x-1
を因数として含んでいることが分かる。このとき、共通の因数は約分することが必要である。計算された値は、
\frac {x^2 -1} {x^3 -1}
= \frac{(x-1)(x+1)}{(x-1)(x^2+x+1)}
= \frac{x+1} { x^2+x+1}
となる。
次の問題では、
\frac {x+1}{x^2 +2x + 3}
+ \frac {2x + 5} {x^2 +1}
を計算する。このとき、両辺の分母をそろえる必要があるが、今回については、単純にそれぞれの分数式の分子と分母に各々の分母をかけて分母を統一すればよい。計算すると、
\frac {x+1}{x^2 +2x + 3}
+ \frac {2x + 5} {x^2 +1}
= \frac{(x+1)(x^2+1)}{(x^2 +2x + 3)(x^2+1)}
+\frac{(x^2 +2x + 3)(2x + 5)}{(x^2 +2x + 3)(x^2+1)}
= \frac{(x+1)(x^2+1)+(x^2 +2x + 3)(2x + 5)}
{(x^2 +2x + 3)(x^2+1)}
= \frac {3x^3 +10x^2 + 17 x + 16}
{(x^2 +2x + 3)(x^2+1)}
となる。
分数式の乗法は、分子分母を別々にかければよい。
次の計算をせよ。
(I)
\frac {x^2 - y^2} {x^2 - 2xy + y^2} \times \frac {x-y} {x^2 + xy}
(II)
\frac {x^2 + 4x + 3}{x^2 - 6x + 9} \div \frac {x^2 - 3x - 4} {x^2 - x - 6}
(I)
\frac {x^2 - y^2} {x^2 - 2xy + y^2} \times \frac {x-y} {x^2 + xy}
= \frac {(x+y)(x-y)} {(x-y)^2} \times \frac {x-y} {x(x+y)}
= \frac {(x+y)(x-y)(x-y)} {(x-y)^2\ x(x+y)}
= \frac {1} {x}
(II)
\frac {x^2 + 4x + 3}{x^2 - 6x + 9} \div \frac {x^2 - 3x - 4} {x^2 - x - 6}
= \frac {x^2 + 4x + 3}{x^2 - 6x + 9} \times \frac {x^2 - x - 6} {x^2 - 3x - 4}
= \frac {(x+1)(x+3)} {(x-3)^2} \times \frac {(x+2)(x-3)} {(x+1)(x-4)}
= \frac {(x+1)(x+3)(x+2)(x-3)} {(x-3)^2\ (x+1)(x-4)}
= \frac {(x+3)(x+2)} {(x-3)(x-4)}
等式 (a+b)^2=a^2+2ab+b^2は、文字a,bにどのような値を代入しても成り立つ。このような等式を恒等式（こうとうしき）という。
等式\frac {1}{x-1} + \frac {1}{x+1} = \frac {2x}{x^2-1}は、両辺ともx=1,-1を代入することはできないが、その他の値であれば代入することができ、またどのような値を代入しても等式が成り立っている。これも恒等式と呼ぶ。
いっぽう、x^2 - x - 2 = 0 は、x＝2 または x＝ー1 を代入したときだけ成り立つが、このように文字に特定の値を代入したときにだけ成り立つ式のことを方程式と呼び、恒等式とは区別する。
等式 ax^2+bx+c=0 が x についての恒等式であるのはどのような場合か、考えてみよう。
ある式が「 x についての恒等式である」とは、この式のx にどのような値を代入しても、この等式は成り立つという意味である。なので、例えば x に-1\ ,\ 0\ ,\ 1 を代入した式
はすべて成り立つ必要がある。これを解くと
なので、等式 ax^2+bx+c=0 が x についての恒等式になるならば、a=b=c=0でなければならないことがわかる。
一般に、等式 ax^2+bx+c=a'x^2+b'x+c' が恒等式であることと、(a-a')x^2+(b-b')x+(c-c')=0 が恒等式であることと同じである。
よって
まとめると次のようになる。
次の等式が x についての恒等式となるように、a\ ,\ b\ ,\ c の値を求めよ。
等式の右辺を x について整理すると
この等式が x についての恒等式となるのは、両辺の同じ次数の項の係数が等しいときである。よって
これを解くと
さきほど紹介した「恒等式」という言葉を使って「証明」の意味を説明するなら、「等式を証明する」とは、その式が恒等式であることを示すことである。
一般に、等式 A＝B を証明するためには、次のような手順のいずれかを実行すればよい。
(1)Aを式変形してBを導くか、または Bを変形してAを導く。
(2)A,Bをそれぞれ変形して、同じ式Cを導く。
(3)A-B＝0 を示す。
(a+b)^2-(a-b)^2 = 4ab
が成り立つことを証明せよ。
（証明）
左辺を展開すると、
(a^2+2ab+b^2)-(a^2-2ab+b^2) = a^2+2ab+b^2 - a^2+2ab-b^2=4ab
となり、これは右辺に等しい。よって、等式 
(a+b)^2-(a-b)^2 = 4ab
 は証明された。（終）
----
(x+y)^2+(x-y)^2 = 2(x^2+y^2)
が成り立つことを証明せよ。
左辺を計算すると、
これは右辺に等しい。よって等式が成り立つことが証明された。（終）
----
次の等式が成り立つことを証明せよ。
(I)
(6 a + 7 b )^2 + (7 a - 6 b )^2 = (9 a + 2 b )^2 + (2 a - 9 b )^2
(I)
(左辺)
= (36 a^2 + 84 a b + 49 b^2) + (49 a^2 - 84 a b + 36 a^2) = 85 a^2 + 85 b^2
(右辺)
= (81 a^2 + 36 a b + 4 b^2) + (4 a^2 - 36 a b + 81 b^2) = 85 a^2 + 85 b^2
両辺とも同じ式になるから
(6 a + 7 b )^2 + (7 a - 6 b )^2 = (9 a + 2 b )^2 + (2 a - 9 b )^2
不等式のさまざまな公式については、次の4つの式を基本的な式として導出できる場合がよくある。
高校数学では、次の4つの性質が 不等式の「基本性質」などとして紹介されている。
(3)と(4)については、ひとつの性質として まとめている検定教科書もある（※ 啓林館など）。
数学IAで習った「ならば」の意味の記号 \Longrightarrow  を使うと、
とも書ける。
上述の4つの基本性質から、
を証明してみよう。
（証明）
まず a>0 なので、基本性質(2)より
である。
よって、
なので、基本性質(1)より a+b>0 
が成り立つ。（終）
同様にして、
を証明できる。
ここまでに示したことから、不等式  A \geqq B  を証明したい場合には、
を証明すればよいことがわかった。こちらの方が証明しやすい場合がよくある。
不等式を証明する際に根拠とする基本的な不等式として、次の性質がある。
この定理（「実数を2乗すると、かならずゼロ以上である」）を、基本性質(3),(4)を使って証明してみよう。
（証明）
aが正の場合と負の場合と0の場合の3通りに場合わけする。
[aが正の場合] 
このとき、基本性質(3)より、
である。すなわち、
である。
[aが負の場合]
このとき、基本性質(4)より
0a < aa 
である。すなわち、
である。
[aがゼロの場合] 
このとき、
a^2=0
である。
よって、すべての場合についてa^2 \geqq 0
(終)
このことと基本性質(1)(2)より、次が成り立つこともわかる。
次の不等式が成り立つことを証明せよ。
x^2 + 10 y^2 \geqq 6 x y
(証明)
(x^2 + 10 y^2) -(6 x y) \geqq 0
を証明すればよい。
左辺を展開して まとめると、
(x^2 + 10 y^2) - 6xy = x^2 - 6 x y + 9 y^2 + y^2 = (x - 3 y)^2 + y^2
となる。
上式の最後の式の項について、
(x - 3 y)^2 \geqq 0 , \quad y^2 \geqq 0
だから、
(x - 3 y)^2 + y^2 \geqq 0
である。よって
x^2 + 10 y^2 \geqq 6 x y
である。（終）
2つの正の数 a,b が a＞b または a≧b ならば、両辺を2乗しても大小関係は同じままである。
つまり、
これを証明するには、 a^2 - b^2  を調べればよい。
である。
a>bとする。仮定より、a,b は正の数なので、 (a+b)>0  であり、別の仮定より、 a > b なので、 (a-b)>0  でもある。よって、 a^2 - b^2 = (a+b)(a-b) >0 
逆に、a^2-b^2>0のとき、(a+b)(a-b)>0であり、a>0,b>0なのでa+b>0である。よって、a-b>0なので、a>bである。
よって、 a > b  \quad \Longleftrightarrow \quad a^2 > b^2   である。
a≧bの場合も同様に証明できる。
----
練習として、次の問題を問いてみよう。
例題
 a>0  , b>0   のとき、次の不等式を証明せよ。
（証明）
不等式の両辺は正であるので、両辺の平方の差を考えればよい。両辺の平方の差は
である。ここで、a,b はともに正の実数なので、
であることを用いた。
であるので、
となる。よって、
である。（終）
実数 a の絶対値 |a| について、
であるから、次のことが成り立つ。
 |a|≧a , |a|≧ ーa  ,|a|2＝a2 
また、2つの実数 a, b の絶対値 |ab| については、
が成り立つので、これにさらに |ab|≧0 ,|a||b|≧0 を組み合わせて、
 |ab| ＝ |a| |b| 
が成り立つ。
(例題)
次の不等式を証明せよ。また、等号が成り立つのは どのような場合かを 調べよ。
両辺の平方の差を考えると、
これがもし正なら、与えられた不等式 |a|＋|b| ≧ |a＋b| が正しい。
ここで、 |a| |b| ≧ ab  であるので、
である。
したがって、 |a|＋|b| ≧ |a＋b| である。
等号が成り立つのは |a| |b| ＝ ab の場合、すなわち  ab ≧ 0 の場合である。（証明 おわり）
{{コラム|三角不等式|
なお
の関係式のことを「三角不等式」という。
2つの数a,bに対し、\frac{a+b}{2}を相加平均（そうかへいきん）と言い、\sqrt{ab}を相乗平均（そうじょうへいきん）という。
{{コラム|相乗平均の例と3つ以上のものの平均|
平均は、3つ以上のものにも定義される。3つ以上のn個のものの相加平均は \frac{a_1 + a_2 + \cdots +a_n }{n} で定義される。
平均を考える際、つい相加平均ばかりを考えがちだが、以下のような状況では相乗平均の方が適切である。
（答）\sqrt{1.5 \times 2} = \sqrt{3} \fallingdotseq  1.73 より、約 1.73倍。
になる。
本ページでは、2個の数の平均について考察する。
相加平均と相乗平均について、次の関係式が成り立つ。
（証明）
a  \geqq 0  ,  b  \geqq 0のとき
{2} = \frac{\left( \sqrt{a} \right) ^2 - 2 \sqrt{a} \sqrt{b} + \left( \sqrt{b} \right) ^2}{2} = \frac{\left( \sqrt{a} - \sqrt{b} \right) ^2 }{2}
 \left( \sqrt{a} - \sqrt{b} \right) ^2 \geqq 0であるから、 \frac{\left( \sqrt{a} - \sqrt{b} \right) ^2 }{2} \geqq 0
したがって\frac{a+b}{2} \geqq \sqrt{ab}
等号が成り立つのは、\left( \sqrt{a} - \sqrt{b} \right) ^2 = 0  のとき、すなわち a = b のときである。(証明 おわり)
公式の利用では、上の式 \frac{a+b}{2} \geqq \sqrt{ab} の両辺に2をかけた a+b \geqq 2 \sqrt{ab} の形の式を使う場合もある。
a>0 ，b>0のとき、次の不等式が成り立つことを証明せよ。
(I)
a + \frac{1}{a} \geqq 2
(II)
(a+b)\left( \frac{1}{a} + \frac{1}{b} \right) \geqq 4
(I)a>0であるから、\frac{1}{a} >0
 = 2
したがって
a + \frac{1}{a} \geqq 2
(II)
(a+b)\left( \frac{1}{a} + \frac{1}{b} \right) = 1+ \frac{a}{b} + \frac{b}{a} +1 =  \frac{b}{a} + \frac{a}{b} +2
a>0，b>0であるから、\frac{b}{a} >0，\frac{a}{b} >0
 + 2 = 2+2 =4
したがって
(a+b)\left( \frac{1}{a} + \frac{1}{b} \right) \geqq 4
{{コラム|3つ以上の相乗平均と調和平均|
もし読者が指数関数などを知っていれば、
n個のものの相乗平均は、
と書ける。
数学的な「平均」には、相加平均と相乗平均のほかにも調和平均がある。
調和平均は、電気回路の並列計算で使われる考え方である。
n個のものの調和平均は、
で定義される。
一般に数学的には、調和平均、相乗平均、相加平均のあいだに次のような大小関係
という関係が成り立つことが証明されている。
すなわち、数式で書けば
の関係式である。
簡潔に書くと、
  \leqq \frac{\sum_{k=1}^{n} a_n}{n}
となる。
2乗して負になる数、というものを考える。このような数は、中学で習った実数の中にはないことがわかる。なぜならば、正の数でも負の数でも2乗すると符号が打ち消して正の数になってしまうからである。そこで高校では、2乗して負になるという性質を持つ数の概念を新しく導入することにする。
という方程式を考える。この方程式の解は実数にはない。そこで、この方程式の解となる数を新しく作り、その単位を文字 i であらわす。
この i のことを虚数単位（きょすうたんい）と呼ぶ。（虚数単位の記号 i 、英語のアルファベットのアイの小文字で、 imaginary unit に由来すると考えられている。）
1+i や 2+5i  のように、虚数単位iと実数a,bを用いて
と表すことができる数を複素数（ふくそすう）という。このとき、''a''をこの複素数の実部（じつぶ）といい、''b''を虚部（きょぶ）という。
例えば、1+i,\quad 2+5i,\quad \frac{9}{2} + \frac{7}{2} i,\quad 4i,\quad 3 は、いずれも複素数である。
複素数 a＋bi は（ただし aとbは実数）、bが0の場合に、これを実数と見ることができる。
言い方をかえると、複素数を基準に考えると、実数とは、 a＋0i のような、虚部の係数がゼロになる複素数のことであるとも言える。
4''i''のような、虚部が0以外で実部がゼロの複素数を純虚数（じゅんきょすう）と呼ぶ。純虚数は、2乗すると負になる数である。
実数も虚部が0の複素数と考えられる。
実数でない複素数のことを「虚数」（きょすう）という。
2つの複素数 a+bi と c+di とが等しいとは、
であることである。
つまり、
とくに、複素数a＋bi が 0であるとは、a＝0 かつ b＝0 であることである。
共役
複素数z=a+biに対して、虚部の符号を反転させた複素数a-biのことを「共役（きょうやく）な複素数」または「複素数zの共役」のように呼び、  \bar z   であらわす。なお、「共役」は「共軛」の常用漢字による書き換えである。
実数aと共役な複素数は、その実数 a 自身である。
複素数 z＝a+bi について
四則演算
複素数にも四則演算（加減乗除）が定義される。
複素数の演算では、虚数単位iを、通常の文字のように扱って計算する。一般に複素数z\ ,\ wが、z=a+bi\ ,\ w=c+diで与えられるとき(ただし a\ ,\ b\ ,\ c\ ,\ dは実数とする)、
というふうに複素数の加減乗除の計算法が定められている。
乗法の定義は、一見すると難しそうにみえるが、実数の分配法則と同様に展開していき最後に i2にマイナス1を代入していっただけである。
除法の定義は、分子と分母に、分母と共役な形の式を 掛け算 しただけである。
乗法や除法の定義式を暗記する必要は無く、計算の際には、必要に応じて分配法則や共役などの、必要な式変形を行えばいい。
例題
2つの複素数
について、a+b と ab と \frac a b を、それぞれ計算せよ。
解答
a+b&=(3+i)+(4+7i)\\
&=(3+4)+i(1+7)\\
&=7+8i\\
\end{align}
ab&=(3+i)(4+7i) \\
&=12+21i+4i+7i^2 \\
&=12+21i+4i+(-7) \\
&=5+25i \\
\end{align}
である。
を、さらに簡単にできないだろうか。実は、ちょっとしたテクニックを用いればより見やすい形にできる。
分数は分母と分子に同じ数をかけてよかったので、分母と分子に分母の共役をかけてみる。すると、
\frac{a}{b}&=\frac{3+i}{4+7i} \\
&=\frac{(3+i)(4-7i)}{(4+7i)(4-7i)} \\
&=\frac{12-21i+4i-(-7)}{16-28i+28i-(-49)} \\
&=\frac{19-17i}{65} \\
&=\frac{19}{65}-\frac{17}{65}i \\
\end{align}
が得られる。この形のほうが元の式よりもずっと見やすい形である。
このような操作を分母の実数化ということもある。数学Iで学習した展開・因数分解公式 (a+b)(a-b)=a^2-b^2の簡単な応用である。
数の範囲を複素数にまで拡張すると、負の数の平方根も考えることができる。
例として、 -5 の平方根について考えてみよう。
(\sqrt{5}\ i)^2 = (\sqrt{5})^2\ i^2 = 5 \times (-1) =-5
(- \sqrt{5}\ i)^2 = (-1)^2 \times (\sqrt{5})^2\ i^2 = (+1) \times 5 \times (-1) = -5
であるから、 -5 の平方根は  \sqrt{5}\ i  と  - \sqrt{5}\ i  である。
 \sqrt{-5}  とは、 \sqrt{5}\ i  のこととする。 - \sqrt{-5}  とは、 - \sqrt{5}\ i  のことである。
とくに  \sqrt{-1}\ = \ i  である。
さて、-5 の平方根は、方程式x^2=-5 の解でもある。
この方程式を移項することにより、-5 の平方根は、
x^2+5=0
の解であるともいえる。
さらに因数分解をすることにより、-5 の平方根は方程式
(x + \sqrt{5}\ i)(x - \sqrt{5}\ i) =0
の解でもあるともいえる。
(I) \sqrt{-2}\ \sqrt{-6}を計算せよ。
(I)
このように、まず、マイナスの数の平方根が出てきたら、まず虚数単位 i を用いた式に書き換える。
そのあと、かけ算をしていく。
を計算せよ。
(III)  2次方程式x^2=-7を解け。
(II)
{3} \ i
(III)
複素数の応用として、ここでは2次方程式の性質について述べる。任意の2次方程式は、解の公式によって解かれることを高等学校数学Iで述べた。しかし、解の公式に含まれる根号の中身が負の数の場合には実数解が存在しないことに注意する必要がある。2次方程式
ax^2+bx+c = 0
の解の公式は、
x = \frac{-b \pm \sqrt{b^2 - 4ac} }{a}
である。
判別式Dは
D = b^2-4ac
によって定義される。判別式は、解の公式の根号(ルート記号のこと)の中身に等しく、判別式の正負によって2次方程式が実数解を持つかどうかが決まる。
Dが負のときにはこの2次方程式は実数の範囲には解を持たない。
判別式Dが負の数であったとき、xの解は異なる2つの虚数になり、その2つの解は 共役 の関係になっている。
複素数を用いて、2次方程式
(1)
(2)
(3)
を解け。
解の公式を用いて解けばよい。(1)だけを計算すると、
{2}
= \frac {-5 \pm \sqrt {11} i}{2}
となる。
他も同じように扱うことが出来る。
以降の解答は、
(2)
x = \frac {-5 \pm \sqrt {39} i}{4}
(3)
x = \frac {1 \pm \sqrt {15} i}{2}
となる。
方程式の解で、実数であるものを 実数解 という。
方程式の解で、虚数であるものを 虚数解 という。
{2a}  である。
2次方程式の解の種類は、解の公式の中の根号の中の式 b^2-4ac の符号を見れば判別することができる。
この式 b^2-4ac を、2次方程式 ax^2 + bx + c = 0 の判別式（はんべつしき）といい、記号 D で表す。
また、重解も実数解であるので、
といえる。
次の2次方程式の解を判別せよ。
(I)
x^2+3\,x-1=0
(II)
2\,x^2-3\,x+2=0
(III)
4\,x^2-20\,x+25=0
(I)
D=3^2-4 \times 1  \times (-1) =13>0
だから、異なる2つの実数解をもつ。
(II)
D=(-3)^2-4 \times 2  \times 2 =-7<0
だから、異なる2つの虚数解をもつ。
(III)
D=(-20)^2-4 \times 4  \times 25 =0
だから、重解をもつ。
また、2次方程式 ax^2 + 2b'x + c = 0 のとき、D=4(b'^2-ac)となるので、
2次方程式 ax^2 + 2b'x + c = 0 の判別式には
\frac{D}{4} = b'^2-ac
をもちいてもよい。
これを用いて、前の問題
の解を判別しよう。
a=4 \, , \, b'=-10 \, , \, c=25であるから
\frac{D}{4} = (-10)^2- 4  \times 25 =0
だから、重解をもつ。
2次方程式 ax^2 + bx + c = 0 の2つの解を \alpha ，\beta とする。 この方程式は、
a(x-\alpha)(x-\beta) = 0
と変形できる。
これを展開すると、
ax^2 -a(\alpha + \beta )x+a\alpha \beta  = 0
係数を比較して、
c = a \alpha \beta, b = -a(\alpha + \beta)
を得る。
これを変形すれば、\alpha + \beta = -\frac{b}{a}, \alpha \beta = \frac{c}{a}となる。
2次方程式 2x^2 + 4x + 3 = 0 の2つの解を \alpha ，\beta とするとき、\alpha ^2 + \beta ^2 の値を求めよ。
解と係数の関係より、
\alpha + \beta =  - \frac{4}{2} = - 2 ，\alpha  \beta = \frac{3}{2}
\alpha ^2 + \beta ^2 = (\alpha + \beta )^2 - 2 \alpha  \beta = (-2)^2 - 2 \times \frac{3}{2} = 1
2つの数 \alpha ，\beta を解とする2次方程式は
(x - \alpha) (x - \beta) = 0
と表される。左辺を展開して整理すると次のようになる。
次の2数を解とする2次方程式を作れ。
(I)
3 + \sqrt{5} \ ,  3 - \sqrt{5}
(II)
2 + 3 i  \ ,  2 - 3 i
(I)
和(3 + \sqrt{5}) + (3 - \sqrt{5}) = 6
積(3 + \sqrt{5}) (3 - \sqrt{5}) = 4であるから
x^2 - 6 x + 4 =0
(II)
和(2 + 3 i) + (2 - 3 i) = 4
積(2 + 3 i) (2 - 3 i) = 13であるから
x^2 - 4 x + 13 =0
2次方程式 ax^2 + bx + c = 0 の2つの解 \alpha ，\beta がわかると、2次式
を因数分解することができる。
解と係数の関係 \alpha + \beta =  - \frac{b}{a}，\alpha  \beta = \frac{c}{a} から、
ax^2 + bx + c = a \left(x^2 +  \frac{b}{a}x +  \frac{c}{a} \right) = a \left\{x^2 - (\alpha + \beta )x +  \alpha  \beta \right\} = a (x - \alpha)(x - \beta)
2次方程式は、複素数の範囲で考えるとつねに解をもつから、複素数まで使ってよいとすると、2次式は必ず1次式の積に因数分解することができる。
複素数の範囲で考えて、次の2次式を因数分解せよ。
(I)
x^2 + 4 x - 1
(II)
2 x^2 - 3 x + 2
(I)
2次方程式x^2 + 4 x - 1 = 0の解は
{2} = -2 \pm \sqrt{5}
よって
x^2 + 4 x - 1 = \left\{ x - (-2 + \sqrt{5}) \right\}  \left\{ x - (-2 - \sqrt{5}) \right\}  = (x + 2 - \sqrt{5}) (x + 2 + \sqrt{5})
(II)
2次方程式2 x^2 - 3 x + 2 = 0の解は
{4} = \frac{3 \pm \sqrt{7} i}{4}
よって
2 x^2 - 3 x + 2 = 2 \left(x- \frac{3 + \sqrt{7}\; i}{4} \right) \left(x- \frac{3 - \sqrt{7}\; i}{4} \right)
3次以上の整式による方程式を考える。
一般に方程式を P(x)=0ととる。
ただし、P(x)は、任意の次数の整式とする。
P(x)を1次式x-aで割ったときの商をQ(x)、余りをRとすると、
P(x) = (x-a)Q(x)+R
この両辺のxにaを代入すると、
P(a) = (a-a)Q(a)+R = 0 \times Q(a) + R =R
つまり、P(x)をx-aで割ったときの余りはP(a)である。
整式 P(x) = x^3 -2x + 3 を次の式で割った余りを求めよ。
(I)
x-2
(II)
x+1
(III)
2x-1
(I)P(2) = 2^3 - 2 \times 2 + 3 = 7
(II)P(-1) = (-1)^3 - 2 \times (-1) + 3 = 4
(III)P\left( \frac{1}{2} \right) = \left( \frac{1}{2} \right)^3 - 2 \times \left( \frac{1}{2} \right) + 3 =  \frac{17}{8}
ある実数aに対して、
P(a) = 0
が成り立ったとする。
このとき、整式P(x) は、 (x-a) を因数に持つことが分る。
このことを因数定理（いんすうていり）と呼ぶ。
整式P(x)に対して、商Q(x)、割る式(x-a)とする
整式の除法を用いる。このとき、商Q(x)、
(Q(x)は、P(x)よりも1だけ次数が低い整式である。)
余りc(cは、実数。)とすると、
整式P(x) は、
P(x) = (x-a)Q(x) + c
と書ける。
ここで、 c=0 でないと、 P(a)=0 は満たされないが、
このとき、P(x)は、(x-a)によって割り切れる。
よって、因数定理は成立する。
因数定理を用いることで、より次数の高い整式を因数分解することが
出来るようになる。例えば、3次の整式
x^3 - 1
について、x=1を代入すると、
x^3 - 1
は0となる。よって、因数定理よりこの式は
(x-1)
を因数として持つ。
ここで、実際整式の除法を使って計算すると、
x^3 - 1 = (x-1)(x^2+x+1)
が得られる。
因数定理を用いて
(I)
x^3-6\,x^2+11\,x-6
(II)
x^3+x^2-14\,x-24
を因数分解せよ。
(I)
因数分解の結果が(x+整数)の積の形なら、整数は6の因数でなければならない。そのため、\pm 1, \pm 2,\pm 3,\pm 6が候補となる。これらについては実際に代入して確かめるしかない。x=1を代入すると、
1-6+11-6=0
となるので、(x-1)が因数となる。実際に整式の除法を行なうと、商としてx^2-5x+6が得られるが、これは(x-2)(x-3)に因数分解できる。よって答えは、
\left(x-3\right)\,\left(x-2\right)\,\left(x-1\right)
となる。
(II)
ここでも地道に24の因数を当てはめていくしかない。24の因数は数が多いのでかなりの計算が必要となる。ここでは、-2を代入すると、
-8 +4 -14 \cdot (-2) -24 = 0
となり、(x+2)が因数だとわかる。除法を行なうと、x^2 -x -12が得られるが、(x-4)(x+3)に因数分解できる。答えは、
\left(x-4\right)\,\left(x+2\right)\,\left(x+3\right)
となる。
因数分解や因数定理を利用して高次方程式を解いてみよう。
高次方程式
(I)
x^3-8=0
(II)
x^4-2x^2-8=0
(III)
x^3-5x^2+7x-2=0
を解け。
(I)
左辺を
a^3-b^3=(a-b)(a^2+ab+b^2)
を用いて因数分解すると
(x-2)(x^2+2x+4)=0
したがって\ x-2=0または\ x^2+2x+4=0
よって
x=2\ , \ -1  \pm \sqrt{3}  i
(II) \ x^2=X\ とおくと、
X^2-2X-8=0
左辺を因数分解すると
(X-4)(X+2)=0
よってX=4\  ,\  X=-2
ゆえにx^2=4\  ,\  x^2=-2
したがって
x= \pm 2\  ,\  \pm \sqrt{2} i
(III) \ P(x)=x^3-5x^2+7x-2\ とおく。
P(2)=2^3-5 \times 2^2+7 \times 2-2=0
したがって、\ x-2\ は\ P(x)\ の因数である。
P(x)=(x-2)(x^2-3x+1)
よって(x-2)(x^2-3x+1)=0
\ x-2=0または\ x^2-3x+1=0
したがって
{2}
3次方程式 ax^3+ bx^2+ cx+d=0 の3つの解を 、\alpha\ ,\ \beta\ ,\ \gamma とすると
が成り立つ。
右辺を展開すると
よって
ゆえに
したがって、次のことが成り立つ。
しばしば虚数は「現実には存在しない数」であると言われることがあり、歴史的にも虚数を扱った数学を考えるべきではないと考えられた時代は長かった。その時代の先進的な数学者の中には、虚数を有効に活用して研究を進める一方で、成果を発表する際には虚数を表に出さずに記述する努力をすることで、無用な抵抗を受けないように工夫した者もいたと言われるほどである。
だが、よく考えてみれば、数が「現実に存在する」とはどういう意味なのだろうか。現実に鉛筆を使って紙に円を描くならば、円周の長さを「正確に円周率そのものにする」ことは不可能であるように思われるが、その割に円周率という実数は「存在する」と感じられるのはなぜだろうか。数直線が実数の「実在」を信じさせるならば、複素数は複素数平面（数学Cで習う）の上に存在するのだから、同じではないだろうか。
このように考えると、そもそも数とはすべてある意味で想像上の存在であり、それに対して「存在する」「存在しない」という問いを立てることがナンセンスであるように思われる。「存在しない」ように思われがちな虚数であるが、たとえば物理学の一分野である量子力学のシュレディンガー方程式に表れるなど、応用上のさまざまな場面においても、虚数を使って記述することが自然な対象は多いのだ。
複素数どうしについて、その大小関係は定義しない。その理由は、どのように大小関係を定義しても、便利な性質を満たすことができないからである。具体的に言えば、既に述べた実数の大小関係についての「不等式の基本性質(1)(2)(3)(4)」にあたる式を成り立たせることができないのだ。
たとえば、a+biであることを、a^2+b^2であることとして定義してみよう。このように定義すると、たとえば1+2i<2-3iであり、また2+3i<3+4iである。ところが、(1+2i)+(2+3i)=3+5i,(2-3i)+(3+4i)=5+iであり、3+5i>5+iとなってしまう。これは基本性質(2)が成り立たないことを意味する。
もちろんこれは適当に考えた定義がたまたま不適切だったというだけのことだが、実は、他にどのように定義してもこのような困難からは逃れられないことが知られている。それゆえに、複素数には大小関係を定義しないのである。
今度は、複素数の平方根について考えてみよう。
正の数aを考えたとき、
では、
\pm a iの平方根はどのように表せるだろうか。
虚数単位iの平方根を考えると、これはzについての方程式 z^2 = i の解 z の値であるから、これを解けばよい。どのような複素数zならこの式を満たすことができるだろうか。
zを複素数とすると、z = x + yi(x,yは実数)と表される。
(x + yi)^2 = i \Leftrightarrow x^2 + 2xyi - y^2 = i \Leftrightarrow (x^2-y^2)+(2xy-1)i = 0
x^2-y^2,2xy-1は実数であるから、実部と虚部が共に０にならねばならないから、
\begin{cases}
x^2-y^2=0 (\Leftrightarrow x= \pm y ) \\
2xy-1=0
\end{cases}
 (複号同順。x,yは共に実数であるから、条件を満たす。)
x=-yのとき、-2y^2=1 \Leftrightarrow y^2=-\frac{1}{2} ここで、これを満たす実数yは存在しないから不適。
i\right)■
i \,\!を虚数単位とするとき、次の問いに答えよ。
(I) -i,30i \,\!の平方根を求めよ。
(II) 2次方程式 z^2 - 30i - 16 = 0 \,\! を解け。
(III) 3次方程式 z^3 = i \,\! を解け。
i\right) , \pm\left(\sqrt{15}+\sqrt{15}i\right)
{2}
実部がゼロを考慮してx=0かx=\pm\sqrt{3}yだが、虚部もゼロなので、xの値が前者のときy=-1、後者のときy=1/2となることがすぐにわかる。
2次方程式には解の公式があり、日本の中学や高校でも習う。2次方程式の解の公式を用いれば、どんな係数の2次方程式であっても解を求められる。3次方程式と4次方程式にも、解の公式は存在し、係数がどんな係数であっても解を求められる。これらの解の公式は、代数方程式論で述べているように、係数に有限回の四則演算と根号をとる操作の組み合わせで表すことができる。
5次方程式では、4次以下の方程式とは状況が異なる。一般の5次方程式の解は、2次方程式や4次方程式のように、係数に有限回の四則演算と根号をとる操作の組み合わせで表すことができないのである。ただし、「できない」ことの証明は容易ではない。このことを証明するには、ガロア理論を理解する必要がある（日本の大学の標準的なカリキュラムでは、理学部数学科の学生のみが大学3年生で学ぶのが一般的な程度の理論である）。
なお、ここで言う「表すことができない」とは一般の方程式についてのことであり、特別な5次方程式の場合は簡単に解が求められる。たとえば、 x^5 -32 = 0   は解のひとつとして  x=2   をもつことはすぐわかる。この方程式は他の解についても三角関数を用いて簡単に表せることを高等学校数学C/複素数平面において学ぶ。
「係数に有限回の四則演算と根号をとる操作の組み合わせ」に拘らなければ、一般の5次方程式の解を求める方法も存在するが、やや高度な数学を用いる必要がある。五次方程式に記述があるので興味のある読者は参照するとよい。
高等学校で複素数が出てくる分野はこの分野と数学C「平面上の曲線と複素数平面」のみであり、複素数の基本計算や方程式を複素数範囲で解くこと、複素数の幾何学的意味について扱っている。しかし、大学数学においては、関数の定義域・値域を複素数範囲に広げて考える「複素関数論」というものを扱う。
実数範囲での関数はx, yともに一次元の実数軸を持つため、入力値と出力値の成すグラフを考えるには二次元の座標平面で十分であった。しかし、複素数範囲での関数はx, yともに二次元の複素数平面を持つため、入力値と出力値の成すグラフを考えるには四次元の座標空間が必要であり、三次元空間に住む我々には描画することができない。そのため、複素関数論では関数のグラフを考えることは基本的にない。（ただし、出力された複素数の絶対値を考えることによって三次元グラフに落とし込むことは可能）
では何を考えるのかというと、複素関数の微分積分である。複素関数の微分に関連して「正則関数」という用語が出てくるが、複素関数論はこの正則関数というものの性質を調べる学問だと言って良い。
複素関数論は物理学の特に波動に関する分野（音・電磁気など）において活躍している。「波動方程式」や「インピーダンス」という言葉は有名だろう。
ちなみに、複素数をさらに拡張した数として「ベクトルや行列と深い関わりが存在しており、深掘ると面白いのだが、いささか冗長になるため割愛する。なお、四元数をさらに拡張した八元数や十六元数という数も研究されている。