高等学校数学I/数と式のソースを表示

== 集合と論理 ==
[[旧課程(-2012年度)高等学校数学A/集合と論理|こちら]]を参照

== 式の展開と因数分解 ==
==== 整式 ====
3や12などの数（定数）や、<math>x</math> や <math>y</math> などの文字（変数）を掛けあわせてできる式を'''項'''（こう、term）という。

次のようなものが項である。
* <math>3x</math>
* <math>12y</math>
* <math>0</math>
* <math>-x</math>
* <math>256xy^2</math>
このように一つの項だけからできている式を'''単項式'''（たんこうしき、monomial）という。


:（※ 補足: 「多項式」とは？）　ここでは「'''多項式'''」（たこうしき、polynomial）とは、項が2つ以上の式だと定義する。しかし実は、項が1つのものと複数のものを区別するより、まとめて扱った方が、様々な定理を記述する際に便利になる。そのため、高校数学以外では、項が1つのものも含めて「多項式」と定義する場合も多い。ところが、「多項式」とは文字をみれば、「項の多い式」という意味なので、項が1つでもよいと定義すると、定義と名前が一致しておらず、混乱の原因にもなる。そこで日本の高校教育では、「項が1つ以上の式」という概念については整式（せいしき）という用語を使っている。ここでいう「整」式とは、整理された式というような意味である。けっして、整数の式という意味ではない。なので、係数などは小数や分数でもよい。


※ あらためて「整式」を定義すると、次のような定義になる。

1つ以上の単項式を足しあわせてできる式を'''整式'''（せいしき）という。

以下は整式の例である。
* <math>3x + 12y</math>
* <math>5 + a - 13x^2y</math>
* <math>a^2 + 2ab + b^2</math>
* <math>x - y</math>
* <math>2</math>

単項式でも、項が1つしかない整式の一つであると考えることができるので、「整式」という概念を使うことにより、多項式と単項式との区別の必要がなくなる。

<math>x - y</math> のように減法を含む式は、 <math>x - y = x + (-y) = -y + x</math> と減法を加法に直すことができるので、<math>x, -y</math> を項にもつ整式であると考えられる。すなわち、多項式の項とは、多項式を足し算の形に直したときの、一つ一つの足しあわさっている式のことである。たとえば <math>5 + a - 13x^2y = 5 + a + (-13x^2y)</math> の項は <math>5, a, -13x^2y</math> の3つである。


* 問題
次の式のうち単項式であるものを答えよ。
:(1) 　<math>ax^2 \times bx \times c</math>
:(2)　<math>-(x^3y^4)(z^5)</math>
:(3) 　<math>a^2 + b^2 + c^2 - ab - bc - ca</math>

* 解答
(1), (2) が単項式。 (3) は項が6つあるため単項式ではない。

* 備考
上の全ての式は整式でもある。

==== 整式の整理 ====
<math>3x^2</math> + <math>5x^2+ 8x</math> の <math>3x^2</math> と <math>5x^2</math> のように、多項式の文字と指数がまったく同じである項を総称して'''同類項'''（どうるいこう、like terms）という。

同類項は分配法則 <math>ab + ac = a(b + c)</math> を使ってまとめることができる。たとえば <math>3x^2 + 5x^2 + 8x = (3 + 5)x^2 + 8x = 8x^2 + 8x </math>である。<math>8x^2</math> と <math>8x</math> は文字は同じであるが指数が異なるので、同類項ではない。

* 問題
次の多項式の同類項を整理せよ。
# 　<math>4x^3 - 3xy - 2 + 1 - 3x^3 + 4xy</math>
# 　<math>2a^2 - 4ab + 2a - 4ab^2 - 4a^2b</math>
# 　<math>9 x^2 y^3 z^4 - 8 z^2 y^3 x^4 + 7zyx - 6xyz + 5 x^2 yz - 4 y^2 x z + 3 z x^2 y - 2 x^4 y^3 z^2</math>

* 解答
# 　<math>x^3 + xy - 1</math>
# 　<math>2a^2 - 4ab + 2a - 4ab^2 - 4a^2b</math>
# 　<math>-10 x^4 y^3 z^2 + 9 x^2 y^3 z^4 + 8 x^2 yz - 4 x y^2 z + xyz</math>

==== 次数 ====
<math>3x</math> という単項式は、3という数と <math>x</math> という文字に分けて考えることができる。数の部分を単項式の'''係数'''（けいすう、coefficient）という。

たとえば <math>-x = (-1)x</math> という単項式の係数は -1 である。

<math>256xy^2</math> という単項式は、256という数と <math>x, y, y</math> という文字に分けて考えることができるので、この単項式の係数は256である。一方、掛けあわせた文字の数を単項式の'''次数'''（じすう、degree）という。<math>256xy^2</math> は <math>x, y, y</math> という3つの文字を掛けあわせてできているので、この単項式の次数は3である。0という単項式の次数は <math>0 = 0x = 0x^2 = 0x^3 = \cdots </math>と一つに定まらないので、ここでは考えない。

単項式の係数と次数は、単に数と文字に分けて考えるのではなく、ある文字を変数として見たときに、残りの文字を定数として数と同じように扱うことがある。

たとえば <math>-5abcx^3</math>という単項式を、<math>x^3</math> だけが変数で、残りの文字 <math>a, b, c</math> は定数と考えることもできる。
このとき<math>(-5abc)x^3</math> と分けられるので、この単項式の係数は <math>-5abc</math>、変数は <math>x^3</math> で、次数は3であるといえる。

このことを <math>-5abcx^3</math> という単項式は、「<math>x</math> に''着目''すると、係数は <math>-5abc</math>、次数は3である」などという場合がある。

あるいは <math>-5abcx^3</math> の <math>a</math> と <math>b</math>に着目すれば、<math>(-5cx^3)ab</math> と分けられ、<math>a</math> と <math>b</math> に着目したときのこの単項式の係数は <math>-5cx^3</math>、変数は <math>ab</math> で、次数は2であるといえる。

慣習的には <math>a, b, c, \cdots</math> などのアルファベットの最初の方の文字を定数を表すのに使い、<math>\cdots , x, y, z</math> などのアルファベットの最後の方の文字を変数を表すのに用いるが、一般的にはこの限りでない。

多項式の'''次数'''とは、多項式の同類項をまとめたときに、もっとも次数の高い項の次数をいう。たとえば <math>x^3 + 3 x^2 y + 2y</math> では、もっとも次数の高い項は <math>x^3</math> であるので、この多項式の次数は3である。もし <math>x^3 + 3 x^2 y + 2y</math>（<math>x</math> は定数）であれば、すなわち多項式の <math>y</math> について着目すると、もっとも次数の高い項は <math>3 x^2 y</math> と <math>2y</math> であるので、この多項式の次数は1である。このとき着目した文字を含まない項 <math>x^3</math> は'''定数項'''（ていすうこう、constant term）として数と同じように扱われる。

* 問題
次の多項式の <math>x</math> または <math>y</math> に着目したときの次数と定数項をそれぞれいえ。
# <math>x^6 + 10xy^2 + 8x^4y + y^5 - 1</math>
# <math>-ad - bcx^2 - bc + 2 x^3 y^2 + y^{100}</math>
# <math>pxy + q^9 y^2 + pqxy - p^8 q^3 x^2 y + p x^4 y^3 + p q^2 x^3 y^4</math>

* 解答
# <math>x</math> に着目すると6次式、定数項は <math>y^5 - 1</math>。<math>y</math> に着目すると5次式、定数項は <math>x^6 - 1</math>。
# <math>x</math> に着目すると3次式、定数項は <math>-ad - bc + y^{100}</math>。<math>y</math> に着目すると100次式、定数項は <math>-ad - bcx^2 - bc</math>。
# <math>x</math> に着目すると4次式、定数項は <math>q^9 y^2</math>。<math>y</math> に着目すると4次式。定数項は存在しない。



==== 降べきと昇べき ====
たとえば、
:<math>x^2 + 6x +7 </math>
のように、次数の高い項から先に項をならべることを「'''降べき'''」（こうべき）という。


:※ なお、次数の大小については、次数が大きいことを「次数が高い」と言ったりしてもよい。つまり、次数の大小については、高低で言い換えてもよい。

さて、式を使う目的によっては、次数のひくい項から先に書いたほうが便利な場合もある。

たとえば、<math>x</math>が 約0.01 のような1未満の小さい数の場合、式 <math>x^2 + 6x +7 </math> の値を求めたいなら、文字<math>x</math>の次数の小さい項のほうが影響が高い。

なので、 目的によっては
:<math>7 + 6x + x^2 </math>
のように、次数のひくい項から先に書く場合もある。

<math>7 + 6x + x^2 </math> のように、次数の低い項から先に項をならべることを「'''昇べき'''」（しょうべき）という。


==== 特定の文字への着目 ====
多項式に2つ以上の文字があるとき、特定の1つの文字に注目して並び変えると、使いやすくなることがある。

たとえば、
:<math>x^3 - 5  + 2xy^3+ 7y^2 + 6x^2y </math>　　（例1）
の項を、xの次数が多い項から先に並びかえ、同類項をまとめると
:<math>x^3  + (6y)x^2 + (2 y^3 )x + (7y^2 - 5 ) </math>　　（例2）
となる。

この（例2）のように、特定の文字だけに着目して、その文字の次数の高い順に並びかえると便利なこともしばしばある。

例2は、<math>x</math>について 降べき の順に並び変えた整式である。

着目してない文字については、並び換えのときは定数のように扱う。


いっぽう、<math>x</math>について、次数のひくい項から順に並べると、次のような式になる。
:<math>(7y^2 - 5 ) + (2 y^3 )x  + (6y)x^2  + x^3 </math>　　（例3）

このように、特定の文字の次数が低いものから順に並びかえると便利なこともしばしばある。

例3は、xについて 昇べき の順に並び変えた整式である。


==== 特定の文字に注目した次数 ====
たとえば、式
:<math>y = ax + b </math>
という式の右辺
:<math>ax+b </math>
の次数は、いくらであろうか。

aとxを等しく文字として扱うのであれば、<math>ax</math>の次数は
:<math>a^1 x^1 </math>
より 1＋1 ＝2 なので、この式の次数は2である。（項bは次数1なので、<math>ax</math>の次数2よりも低いので無視する。）

しかし、もしこの式を、定数<math>a</math>を係数とする変数<math>x</math>についての一次関数とみるのであれば、一次式と思うのが合理的だろう。

このような場合、特定の文字だけに注目したその式の次数を考えるとよい。

たとえば、文字xだけに注目して、式 <math>ax + b </math> の次数を決めてみよう。

すると、文字xに注目した場合の式 <math>ax + b </math> の次数は1になる。

なぜなら
:文字<math>x</math>に注目した場合の式 <math>a </math> の次数は0である。
:文字<math>x</math>に注目した場合の式 <math>b </math> の次数は0である。
:文字<math>x</math>に注目した場合の式 <math>x </math> の次数は1である。

よって、文字<math>x</math>に注目した場合の項 <math>ax</math> の次数は、 0＋1 なので、1である。

このように考える場合、必要に応じてどの文字に注目したかを明記して「文字◯◯に注目した次数」のように述べるとよい。

==== 多項式の計算 ====
多項式の積は分配法則を使って計算することができる。
:<math>
\begin{align}
(a + b)(c + d) &= (a + b)c  + (a + b)d  \\
&= (ac + bc) + (ad + bd) \\
&=  ac + bc  +  ad + bd
\end{align}
</math>
このように多項式の積で表された式を一つの多項式に繰り広げることを、多項式を'''展開'''（てんかい、expand）するという。

====指数法則====
<math>a</math> を <math>n</math> 回掛けたものを <math>a^n</math> と書き、'''aのn乗'''（-じょう、''a'' to the ''n''-th power）という。ただし <math>a^1 = a</math> と定義する。たとえば、
:<math>2^1 = 2</math>
:<math>2^2 = 2 \times 2 = 4</math>
:<math>2^3 = 2 \times 2 \times 2 = 8</math>
:<math>2^4 = 2 \times 2 \times 2 \times 2 = 16</math>
:<math>2^5 = 2 \times 2 \times 2 \times 2 \times 2 = 32</math>
:...
である。<math>a, a^2, a^3, a^4, a^5, \cdots, a^n</math> を総称して <math>a</math> の'''累乗'''（るいじょう、exponentiation、冪乗、べきじょう、冪、べき）という。<math>a^n</math> の ''n'' を'''指数'''（しすう、exponent）という（''a'' は'''底'''（てい、base）という）。ここでは自然数、すなわち正の整数の指数を考える。累乗は次のように考えることもできる。
:<math>2^1 = 2</math>
:<math>2^2 = 2^1 \times 2 = 2 \times 2 = 4</math>
:<math>2^3 = 2^2 \times 2 = 4 \times 2 = 8</math>
:<math>2^4 = 2^3 \times 2 = 8 \times 2 = 16</math>
:<math>2^5 = 2^4 \times 2 = 16 \times 2 = 32</math>
:<math>\cdots</math>
累乗どうしを掛けあわせた積は、次のように計算することができる。
:<math>
\begin{align}
a^2 \times a^3 &= (a \times a) \times (a \times a \times a) \\
&= a^{2 + 3} \\
&= a^5
\end{align}
</math>
累乗どうしを割った商は、次のように計算することができる。
:<math>
\begin{align}
a^3 \div a^2 &= \frac{ a \times a \times a }{ a \times a } \\
&= \frac{a}{1} \\
&= a
\end{align}
</math>
累乗の累乗は、次のように計算することができる。
:<math>
\begin{align}
(a^2)^3 &= a^2 \times a^2 \times a^2 \\
&= a^{2 + 2 + 2} \\
&= a^{2 \times 3} \\
&= a^6
\end{align}
</math>
積の累乗は、次のように計算することができる。
:<math>
\begin{align}
(ab)^2 &= a \times b \times a \times b \\
&= a \times a \times b \times b \\
&= a^2 b^2
\end{align}
</math>
これらをあわせて'''指数法則'''（しすうほうそく、exponential law）という。

{| style="border: 2px solid skyblue; width: 80%; " cellspacing=0
| style="background: skyblue;" | '''指数法則'''
|-
| style="padding: 5px;" |
''m'', ''n'' を正の整数とすると、
*<math>a^m \times a^n = a^{m + n}</math>
*<math>a^m \div a^n   = a^{m - n}, m > n</math>
*<math>(a^m)^n        = a^{mn}</math>
*<math>(ab)^n         = a^n b^n</math>
|}

{{証明|指数法則の証明}}
累乗の定義より明らか。
:<math>
\begin{align}
a^m \times a^n &= \overbrace{ \underbrace{ (a \times a \times \cdots \times a) }_m \times \underbrace{ (a \times a \times \cdots \times a) }_n }^{m + n} \\
&= a^{m + n}
\end{align}
</math>

:<math>
\begin{align}
a^m \div a^n &= \frac{ \overbrace{ a \times a \times \cdots \times a }^m }{ \underbrace{ a \times a \times \cdots \times a }_n } \\
&= \frac{ \overbrace{ a \times a \times \cdots \times a }^n \times \overbrace{ a \times a \times \cdots \times a }^{m - n} }{ \underbrace{ a \times a \times \cdots \times a }_n } \\
&= \frac{ \overbrace{ a \times a \times \cdots \times a }^{m - n} }{1} \\
&= \underbrace{ a \times a \times \cdots \times a }_{m - n} \\
&= a^{m - n}
\end{align}
</math>

:<math>
\begin{align}
(a^m)^n &= \underbrace{ a^m \times a^m \times \cdots \times a^m }_n \\
&= a^{ \overbrace{ m + m + \cdots + m }^n } \\
&= a^{mn}
\end{align}
</math>

:<math>
\begin{align}
(ab)^n &= \underbrace{ (a \times b) \times (a \times b) \times \cdots \times (a \times b) }_n \\
&= \underbrace{ (a \times a \times \cdots \times a) }_n \times \underbrace{ (b \times b \times \cdots \times b) }_n \\
&= a^n b^n
\end{align}
</math>
{{証明終わり}}

*問題
次の式を計算しなさい。
# <math>x^4 \times x^3</math>
# <math>(a^3)^4</math>
# <math>(-a^2b)^3</math>

*解答
# <math>x^4 \times x^3 = x^{4+3} = x^7</math>
# <math>(a^3)^4 = a^{3 \times 4} = a^{12}</math>
# <math>
(-a^2b)^3 = (-1)^3 (a^2)^3 b^3 = -a^{2 \times 3}b^3 = -a^6b^3
</math>

==== 乗法公式 ====
* 問題
次の式を展開せよ。
# <math>(a + b)^2</math>
# <math>(a - b)^2</math>
# <math>(a + b)^3</math>
# <math>(a - b)^3</math>
# <math>(a + b + c)^2</math>
# <math>(a - b - c)^2</math>

* 解答
# <br> <math style="vertical-align: top;">\begin{align}
(a + b)^2 &= (a + b)(a + b) \\
&= a(a + b) + b(a + b) \\
&= (aa + ab) + (ba + bb) \\
&= aa + ab + ba + bb \\
&= a^2 + 2ab + b^2
\end{align}</math>
#  <br> <math style="vertical-align: top;">\begin{align}
(a - b)^2 &= \{ a + (-b) \}^2 \\
&= a^2 + 2a(-b) + (-b)^2 \\
&= a^2 - 2ab + b^2
\end{align}</math>
#  <br> <math style="vertical-align: top;">\begin{align}
(a + b)^3 &= (a + b)(a + b)^2 \\
&= (a + b)(a^2 + 2ab + b^2) \\
&= a(a^2 + 2ab + b^2) + b(a^2 + 2ab + b^2) \\
&= (a^3 + 2a^2b + ab^2) + (a^2b + 2ab^2 + b^3) \\
&= a^3 + (2a^2b + a^2b) + (ab^2 + 2ab^2) + b^3 \\
&= a^3 + 3a^2b + 3ab^2 + b^3
\end{align}</math>
#  <br> <math style="vertical-align: top;">\begin{align}
(a - b)^3 &= \{ a + (-b) \}^3 \\
&= a^3 + 3a^2(-b) + 3a(-b)^2 + (-b)^3 \\
&= a^3 - 3a^2b + 3ab^2 - b^3
\end{align}</math>
#  <br> <math style="vertical-align: top;">\begin{align}
(a + b + c)^2 &= \{ (a + b) + c \}^2 \\
&= (a + b)^2 + 2(a + b)c + c^2 \\
&= (a^2 + 2ab + b^2) + (2ac + 2bc) + c^2 \\
&= a^2 + 2ab + b^2 + 2ac + 2bc + c^2 \\
&= a^2 + b^2 + c^2 + 2ab + 2bc + 2ca
\end{align}</math>
#  <br> <math style="vertical-align: top;">\begin{align}
(a - b - c)^2 &= a^2 + (-b)^2 + (-c)^2 + 2a(-b) + 2(-b)(-c) + 2(-c)a \\
&= a^2 + b^2 + c^2 - 2ab + 2bc - 2ca
\end{align}</math>

まとめると、次のようになる。

{| style="border: 2px solid skyblue; width: 80%;" cellspacing=0
| style="background: skyblue;"| '''展開の公式'''
|-
| style="padding: 5px;" |
* <math>(a \pm b)^2 = a^2 \pm 2ab + b^2</math>
* <math>(a + b)(a - b) = a^2 - b^2</math>
* <math>(x + a)(x + b) = x^2 + (a + b)x + ab</math>
* <math>(ax + b)(cx + d) = acx^2 + (ad + bc)x + bd</math>
* <math>(a \pm b)^3 = a^3 \pm 3a^2b + 3ab^2 \pm b^3</math>
* <math>(a + b + c)^2 = a^2 + b^2 + c^2 + 2ab + 2bc + 2ca</math>
* <math>(a \pm b)(a^2 \mp ab + b^2) = a^3 \pm b^3</math>
* <math>(a + b + c)(a^2 + b^2 + c^2 - ab - bc - ca) = a^3 + b^3 + c^3 - 3abc</math>
|}

* 問題
次の式を展開しなさい。
# <math>(a + 2b)^2</math>
# <math>(3x - 5y)^2</math>
# <math>(4x - 3y)(4x + 3y)</math>
# <math>(x + 1)(x - 5)</math>
# <math>(3x + 2y)(2x - y)</math>
# <math>(x + 3)(x^2 - 3x + 9)</math>
# <math>(a - 5)(a^2 + 5a + 25)</math>
# <math>(x + 4)^3</math>
# <math>(3a - 2b)^3</math>

*解答
# <math>a^2+2 \times a \times 2b+(2 b)^2 = a^2+4ab+4 b^2 </math>
# <math> (3x)^2-2 \times 3x \times 5y+(5y)^2 = 9x^2-30xy+25y^2 </math>
# <math> (4x)^2-(3y)^2 = 16x^2-9y ^2 </math>
# <math> x^2+\{ 1+(-5) \}x+1 \times (-5) = x^2-4x-5 </math>
# <math> (3 \times 2)x^2+\{ 3 \times (-y) +2y \times 2 \}x+2y \times (-y) = 6x^2+xy-2y^2 </math>
# <math> \left(x+3\right)\,\left(x^2-x \times 3 +3^2 \right) = x^3+3^3 = x^3+27 </math>
# <math> \left(a-5\right)\,\left(a^2+a \times 5 +5^2 \right) = a^3-5^3 =a ^3-125 </math>
# <math> x^3+3 \times x^2 \times 4 +3 \times x \times 4^2 +4^3 = x^3+12x^2+48x+64 </math>
# <math> (3a)^3-3 \times (3a)^2 \times 2b +3 \times 3a \times (2b)^2 -(2b)^3 = 27a^3-54a^2b+36ab^2-8b^3 </math>

==== 乗法公式の利用 ====
複雑な式の展開は、式の一部分を一つの文字において公式を使うとよい。

* 問題
次の式を展開しなさい。
# <math> (a+3b-2c)^2 </math>
# <math> (x+y+4)(x-3y+4) </math>
# <math> \left(x^2-2x+3\right)\,\left(x^2+2x-3\right) </math>

* 解答
#  <br> <math>a+3b=A</math>とおくと<br/><math>\begin{align}
(a+3b-2c)^2  & = (A-2c)^2 \\
& = A^2-4cA+4c^2\\
& = (a+3b)^2-4c(a+3b)+4c^2\\
& = a^2+6ab+9b^2-4ca-12bc+4c^2\\
& = a^2+9b^2+4c^2+6ab-12bc-4ca\\
\end{align}
</math>
#  <br> <math>x+4=A</math>とおくと<br/><math>\begin{align}
(x+y+4)(x-3y+4)  & = (A+y)(A-3y) \\
& = A^2-2yA-3y^2\\
& = (x+4)^2-2y(x+4)-3y^2\\
& = x^2+8x+16-2xy-8y-3y^2\\
& = x^2-3y^2-2xy+8x-8y+16\\
\end{align}
</math>
# <br> <math>2x-3=A</math>とおくと<br/><math>\begin{align}
\left(x^2-2x+3\right)\,\left(x^2+2x-3\right)  & = \left\{x^2-(2x-3) \right\} \left\{x^2+(2x-3) \right\}\\
& =  \left(x^2-A\right)\,\left(x^2+A\right)\\
& = x^4-A^2\\
& = x^4-(2x-3)^2\\
& = x^4-(4x^2-12x+9)\\
& = x^4-4x^2+12x-9\\
\end{align}
</math>

==== 因数分解 ====
{| style="border:2px solid pink;width:80%" cellspacing=0
|style="background:pink"|'''因数分解の公式''' 1
|-
|style="padding:5px"|
* <math>a^2+2ab+b^2=(a+b)^2</math>
* <math>a^2-2ab+b^2=(a-b)^2</math>
* <math>a^2-b^2=(a+b)(a-b)</math>

* <math>x^2+(a+b)x+ab=(x+a)(x+b)</math>
* <math>acx^2+(ad+bc)x+bd=(ax+b)(cx+d)</math>

|}

* 問題
次の式を因数分解しなさい。
# 　<math> 2abc-4ab^2 </math>
# 　<math> x^2+6x+9 </math>
# 　<math> 4a^2-4ab+b^2 </math>
# 　<math> 64x^2-9y^2 </math>
# 　<math> x^2-x-6 </math>
# 　<math> 3x^2+2x-5 </math>
# 　<math> 6x^2+xy-y^2 </math>


* 解答
# 　<math> {\color{red}2ab} \times c - {\color{red}2ab} \times 2b = {\color{red}2ab}(c-2b) </math>
# 　<math> x^2+2 \times x \times 3+3^2 = (x+3)^2 </math>
# 　<math> (2a)^2-2 \times 2a \times b+b^2 = (2a-b)^2 </math>
# 　<math> (8x)^2-(3y)^2 = (8x+3y)(8x-3y) </math>
# 　<math> x^2+\{ 2+(-3) \}x+2 \times (-3) = (x+2)(x-3) </math>
# 　<math> (1 \times 3)x^2+\{ 1 \times 5 + (-1) \times 3 \}x+(-1) \times 5 = (x-1)(3x+5) </math>
# 　<math> (2 \times 3)x^2+\{ 2 \times (-y) + y \times 3 \}x+y \times (-y) = (2x+y)(3x-y) </math>



==== 発展： 3次式の因数分解 ====
{| style="border:2px solid pink;width:80%" cellspacing=0
|style="background:pink"|'''因数分解の公式''' 2
|-
|style="padding:5px"|

* <math>a^3+b^3=(a+b)(a^2-ab+b^2)</math>
* <math>a^3-b^3=(a-b)(a^2+ab+b^2)</math>

* <math>a^3 + b^3 + c^3 - 3abc = (a + b + c)(a^2 + b^2 + c^2 - ab - bc - ca)</math>


（備考）
* <math>a^n - b^n = (a - b)(a^{n - 1} + a^{n - 2}b + a^{n - 3}b^2 + \cdots + a^2b^{n - 3} + ab^{n - 2} + b^{n - 1})</math>
|}

* 問題
次の式を因数分解しなさい。
# 　<math> x^3+8 </math>
# 　<math> 27a^3-64b^3 </math>

* 解答
# 　<math> x^3+2^3= \left(x+2\right)\,\left(x^2-x \times 2 +2^2 \right) = \left(x+2\right)\,\left(x^2-2x+4 \right) </math>
# 　<math> (3a)^3-(4b)^3= \left(3a-4b\right)\,\{(3a)^2+3a \times 4b +(4b)^2 \} =  \left(3a-4b\right)\,\left(9a^2+12ab+16b^2 \right) </math>

==== いろいろな因数分解 ====
*問題
次の式を因数分解しなさい。
# 　　<math> 3xy^3+81x </math>
# 　　<math> (x-5)^2-9y^2 </math>
# 　　<math> x^2+xy+y-1 </math>
# 　　<math> x^2+xy-2y^2+2x+7y-3 </math>


* 解答
#  <br> <math>\begin{align}
3xy^3+81x  & = 3x(y^3+27) \\
& = 3x(y^3+3^3)\\
& = 3x \left(y+3\right)\,\left(y^2-y \times 3 +3^2 \right)\\
& = 3x \left(y+3\right)\,\left(y^2-3y+9 \right)\\
\end{align}
</math>
# 　　<math>x-5=A</math>とおくと<br/><math>\begin{align}
(x-5)^2-9y^2  & = A^2-9y^2\\
& = (A+3y)(A-3y)\\
& = \left\{(x-5)+3y \right\} \left\{(x-5)-3y \right\}\\
& = (x+3y-5)(x-3y-5)\\
\end{align}
</math>
# 　　最も次数の低い <math>y</math> に着目して整理すると<br/><math>\begin{align}
x^2+xy+y-1  & = (x+1)y+ \left(x^2-1\right)\\
& = (x+1)y+(x+1)(x-1)\\
& = (x+1)\left\{y+(x-1) \right\}\\
& = (x+1)(x+y-1)\\
\end{align}
</math>
# 　　<math>x</math> に着目して整理すると<br/><math>\begin{align}
x^2+xy-2y^2+2x+7y-3  & = x^2+(y+2)x-(2y^2-7y+3)\\
& = x^2+(y+2)x-(y-3)(2y-1)\\
& = \left\{x-(y-3) \right\} \left\{x+(2y-1) \right\}\\
& = (x-y+3)(x+2y-1)\\
\end{align}
</math>

{{コラム| 対称式と交代式 |
;対称式
　<math> a^2 + b^2</math> は、<math>a</math> と <math>b</math> を入れ替えて <math> b^2 + a^2</math> にしても、値はもとの式と同じままである。

このように、文字を入れ替えても同じままになる式のことを '''対称式'''（ たいしょうしき）という。

<math>a</math>,<math>b</math> の対称式のうち、式 <math> a + b</math> と 式 <math> ab</math> の2つを '''基本対称式''' という。


基本対称式いがいの対称式は、基本対称式の加減乗除で表すことができる。たとえば、
:<math> a^2 + b^2 = (a+b)^2 -2ab</math>
である。


;交代式
　<math> a^2 - b^2</math> は、文字を入れ替えると、<math> b^2 - a^2</math> になるが、これはもとの式を ー1 倍したものである。このように、文字を入れ替えることで、もとの式を ー1 倍したものになる式のことを '''交代式''' （こうたいしき）という。
}}

== 実数 ==
==== 無理数と有理数 ====
a=b^2が成り立つとき、a=2となるようなb、すなわち<math>\sqrt{2}</math>の具体的な値がどのようなものか、調べてみよう。

{|
|-
|b=1
|a=1
|b=2
|a=4
|-
|b=1.4
|a=1.96
|b=1.5
|a=2.25　
|-
|b=1.41
|a=1.9881
|b=1.42
|a=2.0164　
|-
|b=1.414
|a=1.999396
|b=1.415
|a=2.002225　
|-
|b=1.4142　
|a=1.99996164　
|b=1.4143　
|a=2.00024449　
|}

このように、bを様々に決めても、aはなかなか2にならない。

実は<math>\sqrt{2}</math>は、分母分子共に整数の分数で表すことはできない。このように整数を分母分子に持つ分数で表せないような数を'''無理数'''という。例えば、円周率&pi;は無理数である。それに対して、整数や循環小数など、分母分子共に整数の分数で表すことのできる数を'''有理数'''という。

有理数と無理数を合わせて'''実数'''という。どんな実数でも数直線上の点として表せる。また、どんな実数も、有限小数あるいは無限小数として表せる。
(下記の「無限小数」の節を参照)

;<math>\sqrt{2}</math>が無理数であることの証明（発展）
<math>\sqrt{2}</math> が有理数であると仮定すると、[[w:互いに素|互いに素]]な（1以外に公約数をもたない）整数 ''m'', ''n'' を用いて、
:<math>\sqrt{2} = \frac{m}{n}</math>
と表わすことができる。このとき、両辺を2乗して分母を払うと、
:<math>2n^2 = m^2</math> … (1)
よって ''m'' は2の倍数であり、整数 ''l'' を用いて <math>m = 2l</math> と表すことができる。これを (1) の式に代入して整理すると、
:<math>2l^2 = n^2</math>
よって ''n'' も2の倍数であるが、これは ''m'', ''n'' が2を公約数にもつことになり、互いに素と仮定したことに矛盾する。したがって <math>\sqrt{2}</math> は無理数である（[[高等学校数学A 集合と論理#背理法|背理法]]）。

==== 無限小数 ====
[[File:Real number category japanese.svg|thumb|400px]]

0.1 や 0.123456789 のように、ある位で終わる小数を'''有限小数'''という。

一方、<math>0.1234512345 \cdots</math> や <math>3.1415926535 \cdots</math> のように無限に続く小数を '''無限小数'''（むげん しょうすう）という。

無限小数のうち、ある位より下から、ある配列の数字の繰り返しになっているものを '''循環小数'''（じゅんかん しょうすう）という。例えば <math>0.3333333333 \cdots</math> や <math>0.1428571428 \cdots</math>や<math>0.1232323232 \cdots</math> などである。繰り返しの最小単位を'''循環節'''という。循環小数は循環節1つを用いて<math>0. \dot{3}</math>、<math>0. \dot{1} 4285 \dot{7}</math>、<math>0.1 \dot{2} \dot{3}</math>のように循環節の最初と最後(循環節が一桁の場合はひとつだけ)の上に点をつけて表す。

全ての循環小数は分数に直せる。
:<math>a = 0. \dot{3}</math>　　(1)
と置くと、
:<math>10a = 3. \dot{3}</math>　　(2)
である。(2)ー(1) より <math>9a = 3</math>、よって <math>a = \frac{3}{9} = \frac{1}{3}</math> である。

;例題
* (例題1) <br/>
<math>\begin{align}
a        &= 0. \dot{1} 4285 \dot{7}\\
1000000a &= 142857. \dot{1} 4285 \dot{7}\\
999999a  &= 142857\\
a        &= \frac{142857}{999999} \ = \frac{1}{7}
\end{align}
</math>

* (例題2)<br/>
<math>\begin{align}
a    &= 0.1 \dot{2} \dot{3}\\
100a &= 12.3 \dot{2} \dot{3}\\
99a  &= 12.2\\
a    &= \frac{12.2}{99} \ = \frac{61}{495}

\end{align}
</math>

==== 絶対値 ====
実数 ''a'' について、''a'' の数直線上での原点との距離を ''a'' の絶対値といい、<math>|a|</math> で表す。

{| style="border:2px solid green;width:80%" cellspacing=0
|style="background:lightgreen"| '''絶対値'''
|-
|style="padding:5px"|
:<math>a \geqq 0</math> のとき　　<math>|a|=a</math><br><br>
:<math>a < 0</math> のとき　　<math>|a|=-a</math>
|}

たとえば
:<math>|2|=2</math>
:<math>| -3 | \ =  \  -(-3) \ =  \ 3</math>
である。

定義より <math>|a|=|-a|</math> がいえる。また、<math>a,b</math>を任意の実数とするとき、それぞれに対応する数直線上の任意の2点 <math>\mathrm{P} (a) , \mathrm{Q} (b)</math> 間の距離については、次のことがいえる。

{| style="border:2px solid green;width:80%" cellspacing=0
|style="background:lightgreen"| '''2点間の距離'''
|-
|style="padding:5px"|
数直線上の2点 <math>\mathrm{P} (a)</math> と <math>\mathrm{Q} (b)</math> の間の距離 <math>\mathrm{P} \mathrm{Q}</math> は <math>|b-a|</math> で表される。
|}

* 例題
:2点 <math>\mathrm{P} (5)</math> と <math>\mathrm{Q} (-1)</math> の間の距離を求めよ。
* 解答
:<math>\mathrm{P} \mathrm{Q} = |5- (-1) | = 6</math> なので、よってPQ間の距離は 6 である。
<br>


==== 平方根 ====
今、2乗してaになる数bを考える。

<math>a=1</math>のとき、<math>b=1</math>として終わりにしてはいけない。確かに<math>b=1</math>も条件を満たすが<math>b=-1</math>も条件を満たす。よって<math>b= 1</math> または  <math>b= -1</math>である。

:※ 略式の記法で、 <math>b= 1</math> と  <math>b= -1</math> をまとめて  <math>b = \pm 1</math> と書くこともある。

一般に正の数aについてa=b^2となるbは二つあり、その二つは絶対値が等しい。この二つのbをaの平方根という。aの平方根のうち、正であるものを<math>\sqrt{a}</math>、負であるものを<math>-\sqrt{a}</math>と書く。<math>\sqrt{a}</math>は『ルートa』と読む。

一方、負の数aについて考えてみても上手くbを見つけることはできない。実際のところ、負の数の平方根は実数で表すことはできない。

{| style="border:2px solid green;width:80%" cellspacing=0
|style="background:lightgreen"|'''平方根'''
|-
|style="padding:5px"|
*'''正の数aの平方根は <math> \sqrt{a}</math> と<math>- \sqrt{a}</math> である。'''
*'''負の数aの平方根は'''実数の範囲では'''存在しない。'''
|}

:<math> \sqrt{a}</math> と<math>- \sqrt{a}</math> をまとめて <math>\pm \sqrt{a}</math> と書くこともある。

* 問題
<math>2\ ,\ 4\ ,\ 9\ ,\ 12</math>の平方根を求めよ。
*解答
<math>\pm \sqrt 2\ ,\ \pm 2\ ,\ \pm 3\ ,\ \pm 2\sqrt 3</math>
*解説
それぞれのルートを計算し、<math>\pm</math>をつければよい。ただし、平方根のルールに従って、簡単化できるものは簡単化することが要求される。

例えば、<math>2</math>に対しては、<math>\pm\sqrt 2 </math>となる。

一般に、<math>\sqrt{A^2} = |A|</math>である。

====平方根を含む式の計算====

根号について、次の公式が成り立つ。
{| style="border:2px solid green;width:80%" cellspacing=0
|style="background:lightgreen"|'''平方根の公式'''
|-
|style="padding:5px"|
<math> a>0, b>0 </math> のとき
::<math>\sqrt{a} \sqrt{b}= \sqrt{ab}</math> 　　　（1）
:: 　
::<math>\frac{\sqrt{a}}{\sqrt{b}} = \sqrt{\frac{a}{b}}</math> 　　　（2）

|}

;公式（1）の証明
まず、 <math> \sqrt{ab}</math> とは、定義にもとづいて考えると、2乗すると ab になる数のうち、正のほうの数という意味である。

なので、公式「 <math>\sqrt{a} \sqrt{b}= \sqrt{ab}</math> 　 」を証明するには、そのことを証明すればいい。

なので、まず、<math>\sqrt{a} \sqrt{b} </math> を2乗すると、
::<math> (\sqrt{a} \sqrt{b} )^2 = (\sqrt{a})^2 (\sqrt{b})^2 = ab </math>
となる。

ゆえに<math>\sqrt{a} \sqrt{b}</math>は、まず条件「2乗するとabになる」を満たす。

そして、正の数の平方根は正なので、<math>\sqrt{a} \sqrt{b} </math> も正である。よって <math>\sqrt{a} \sqrt{b} </math> は、「2乗するとabになる」数のうちの正のほうである。

（証明おわり）


さらに、上の公式(1)により、次の公式が導かれる。

{| style="border:2px solid green;width:80%" cellspacing=0
|style="background:lightgreen"|'''公式'''
|-
|style="padding:5px"|

<math> a>0, k>0 </math> のとき
::<math>\sqrt{k^2a} = k \sqrt{a}</math>
|}


* 問題
計算せよ。
# 　<math>\sqrt{8} \sqrt{14}</math>
# 　<math>2 \sqrt{18} + \sqrt{50}</math>
# 　<math>\left(\sqrt{3} - 2 \sqrt{6}\right)^2</math>

* 解答
# 　<math>\sqrt{8} \sqrt{14} \  = \  \sqrt{8 \times 14} \  = \  \sqrt{2^4 \times 7} \  = \  2^2 \sqrt{7} \  = \  4 \sqrt{7}</math>
# 　<math>2 \sqrt{18} + \sqrt{50} \  = \  2 \times 3 \sqrt{2} + 5 \sqrt{2} \  = \  (6+5) \sqrt{2} \  = \  11 \sqrt{2}</math>
# 　まず、乗法公式 <math>(a-b)^2 = a^2-2ab+b^2</math>を利用して展開する。詳細は「乗法公式」のセクションを参照のこと。<br/><math>\begin{align}
\left(\sqrt{3} - 2 \sqrt{6}\right)^2  \ = \  \left(\sqrt{3}\right)^2 -2 \times \sqrt{3} \times 2 \sqrt{6} + \left(2 \sqrt{6}\right)^2  \ = \  3-4 \sqrt{18} + 24  \ = \  27-4 \times 3 \sqrt{2}  \ = \  27-12 \sqrt{2}
\end{align}</math>


分母に根号を含まない式にすることを、分母を'''有理化'''するという。有理化は、分母と分子に同じ数をかけてもよいことを利用して行う。

たとえば、<math>\frac{1}{\sqrt{2}}</math>を有理化すると、<math>\frac{1}{\sqrt{2}} \ = \ \frac{1 \sqrt{2}}{\sqrt{2}\sqrt{2}} \ = \ \frac{\sqrt{2}}{2}</math>となる。

また、とくに<math>\frac{a}{b+c}</math>について、<math>b^2-c^2=1</math>のとき、<br/>
<math>\frac{a}{b+c} \ = \ \frac{a(b-c)}{(b+c)(b-c)} \ = \ \frac{a(b-c)}{b^2-c^2} \ = \ \frac{a(b-c)}{1} \ = \ a(b-c)</math>である。

たとえば、<math>a=1, b=\sqrt{2}, c=1</math>とすると、<math>\frac{1}{\sqrt{2}+1}=\sqrt{2}-1</math>である。

* 問題
分母を有理化せよ。
# 　<math>\frac{\sqrt{2}}{\sqrt{12}} </math> <br><br>
# 　<math>\frac{\sqrt{2} + 2 \sqrt{3}}{3 \sqrt{2} - \sqrt{3}} </math>
* 解答
# 　<math>\frac{\sqrt{2}}{\sqrt{12}} \ = \ \frac{\sqrt{2}}{2 \sqrt{3}} \ = \ \frac{\sqrt{2} \sqrt{3}}{2 \sqrt{3} \sqrt{3}} \ = \ \frac{\sqrt{6}}{6}</math> <br><br>
# 　<math>\frac{\sqrt{2} + 2 \sqrt{3}}{3 \sqrt{2} - \sqrt{3}} \ = \ \frac{(\sqrt{2} + 2 \sqrt{3})(3 \sqrt{2} + \sqrt{3})}{(3 \sqrt{2} - \sqrt{3})(3 \sqrt{2} + \sqrt{3})} \ = \ \frac{6+ \sqrt{6} + 6 \sqrt{6} +6}{(3 \sqrt{2})^2 - (\sqrt{3})^2} \ = \ \frac{12 + 7 \sqrt{6}}{18-3} \ = \ \frac{12 + 7 \sqrt{6}}{15}</math>

====二重根号（発展）====
[[w:二重根号|二重根号]]とは、根号が2重になっている式のことである。二重根号は常に外せるわけではなく、根号の中に含まれる式によって簡単にできるかどうかが決まる。一般に、根号内の式が、<math>x^2</math>の形に変形できる場合には、外側の根号を外すことができる。

*問題
<math>\sqrt{3+2\sqrt 2}</math>を簡単にせよ。
*解答
<math>3+2\sqrt 2</math>が<math>( \cdots )^2</math>の形にできるかを考える。

仮に、<math>( \sqrt a + \sqrt b )^2</math>(a,bは正の整数)の形にできるとすると、<math>3+2\sqrt 2 = a + b + 2\sqrt{ab}</math>となり、<br/>
:<math>\begin{cases}
a+b &= 3\\
ab  &= 2\\
\end{cases}</math><br/>
を満たす整数a,bを探せばよい。この関係は、a=1,b=2(a,bを入れ換えても可。)によって満たされるので、<math>3+2\sqrt 2 \ = \ (\sqrt 2 + 1)^2</math>が成り立つ。

よって、<math>\sqrt{3+2\sqrt 2} \ = \ \sqrt{(\sqrt 2 + 1)^2} \ = \ \sqrt 2 + 1</math>となる。

{| style="border:2px solid green;width:80%" cellspacing=0
|style="background:lightgreen"|'''2重根号'''
|-
|style="padding:5px"|
<math>a>0\ ,\ b>0</math> のとき
:<math>\sqrt{(a+b) +2 \sqrt {ab}}= \sqrt {a} + \sqrt {b}</math>
<math>a>b>0</math> のとき
:<math>\sqrt{(a+b) -2 \sqrt {ab}}= \sqrt {a} - \sqrt {b}</math>
|}

* 問題
次の式を計算せよ。
# <math>\sqrt{12-6 \sqrt {3}}</math>
# <math>\sqrt{3+ \sqrt {5}}</math>
* 解答
# <math>\sqrt{12-6 \sqrt {3}} \ = \ \sqrt{12-2 \sqrt {27}} \ = \ \sqrt{(9+3) -2 \sqrt {9 \times 3}} \ = \ \sqrt {9} - \sqrt {3} \ = \ 3- \sqrt {3}</math>
#<math>\sqrt{3+ \sqrt {5}} \ = \ \sqrt{\frac{6+ 2 \sqrt {5}}{2}} \ = \ \frac{\sqrt{(5+1) +2 \sqrt {5 \times 1}}}{\sqrt{2}} \ = \ \frac{\sqrt {5} + \sqrt {1}}{\sqrt {2}} \ = \ \frac{\sqrt {10} + \sqrt {2}}{2}</math>

==一次不等式==
===一次不等式===
同じ大きさの量を=で結んだ式を方程式と呼ぶことを既に学習した。ここでは、異なった量の大きさの違いを表す記号を導入し、その性質についてまとめる。

ある数A,Bがあるとき、AがBより大きいことを<math>A > B</math>と表し、AがBより小さいことを<math>A < B</math>と表す。ここで、<と>のことを[[w:不等号|不等号]]と呼び、このような式を不等式と呼ぶ。また、<math>\le,\ge</math>も似た意味の不等式であるが、それぞれAとBが等しい値である場合を含むものである。

なお、日本の教育においては、<math>\le,\ge</math>の代わりに、不等号の下に等号を記した<math>\leqq,\geqq</math>を使うことが多い。

*例
<math>x>7</math>という不等式があるとき、xは7より大きい実数である。また、<math>x \ge 7</math>の時には、xは7以上の実数である。

不等式では等式と同じように、両辺に演算をしても不等号の関係が変わらないことがある。例えば、両辺に同じ数を足しても、両辺の大小関係は変化しない。ただし、両辺に負の数をかけたときには、不等号の向きが変化することに注意が必要である。これは、負の数をかけると両辺の値は、0を中心に数直線を折り返した地点に移されることによる。

{| style="border:2px solid greenyellow;width:80%" cellspacing=0
|style="background:greenyellow"|'''不等式の性質'''
|-
|style="padding:5px"|1. 　　<math> a<b </math> ならば、<math> a+c<b+c </math>，<math> a-c<b-c </math>
|-
|style="padding:5px"|2. 　　<math> a<b </math>，<math> c>0 </math> ならば、<math> ac<bc </math>，<math> \frac {a} {c} < \frac {b} {c}</math>
|-
|style="padding:5px"|3. 　　<math> a<b </math>，<math> c<0  </math> ならば、<math> ac>bc</math>，<math> \frac {a} {c} > \frac {b} {c}</math>
|}

* 例
<math>x > y</math>が成り立つときには、<math>x+3>y+3</math>、<math>4x > 4y</math>も成り立つ。また、<math> -x < -y</math>が成り立つ。

不等式の性質を使って
:<math> a {\color{red}+3}<b\; </math>
の両辺から3を引くと
:<math>  a+3-3<b-3\; </math>
よって
:<math>  a<b {\color{red}-3}\; </math>
となる。<br>
このように、'''不等式でも移項することができる'''。


グラフを用いて考えるとき、不等式はグラフ中の領域を表す。領域の境界は不等号を等号に置き換えた部分が対応する。これは、不等号が成立するかどうかがその線上で入れ替わることによっている。（詳しくは[[高等学校数学I 図形と方程式|数学II 図形と方程式]]で学習する。）

* 問題
<math>y>x+1</math>,<math>y < 2x+1</math>,<math>x <3</math>のグラフ(正しくは「領域」)を描け。
* 解答
<math> y>x+1 </math> のグラフ(領域)は次のようになる。ただし、境界は含まない。
[[File:Linear Inequality Y GT Xplus1.png|thumb|none|360px|1次不等式 y>x+1 が表すグラフ。]]


<math> y<2x+1 </math>のグラフ(領域)は次のようになる。ただし、境界は含まない。
[[File:Linear Inequality Y LT 2Xplus1.png|thumb|none|360px|1次不等式 y<2x+1 が表すグラフ。]]


<math>x<3</math>のグラフ(領域)は次のようになる。ただし、境界は含まない。
[[File:Linear Inequality X LT 3.png|thumb|none|360px|1次不等式 x<3 が表すグラフ。]]


* 問題
次の不等式を解け。
# 　　<math>3x-1 \le 9x-7</math>
# 　　<math>3(x-2)>2(5x-3)</math>
# 　　<math>x+1 < \frac {x-1} {3}</math>
* 解答
# <br> <math>\begin{align} \quad
3x-1  & \le 9x-7\\
3x-9x & \le -7+1\\
-6x   & \le -6\\
x     & \ge 1
\end{align}
</math>
# <br> <math>\begin{align} \quad
3(x-2) & > 2(5x-3)\\
3x-6   & > 10x-6\\
3x-10x & > -6+6\\
-7x    & > 0\\
x      & < 0
\end{align}
</math>
# <br> <math>\begin{align} \quad
x+1  & < \frac {x-1} {3}\\
3x+3 & < x-1\\
3x-x & < -1-3\\
2x   & < -4\\
x    & < -2
\end{align}
</math>

===連立不等式===
いくつかの不等式を組み合わせたものを'''連立不等式'''といい、これらの不等式を同時に満たす<math>x</math>の値の範囲を求めることを、連立不等式を'''解く'''という。
<br>
<br>
*問題例

**問題
次の連立不等式を解け。<br>
(i)
:<math>\left\{ \begin{matrix} x+2<2x+4 \\ 10-x \ge 3x-6  \end{matrix}\right.</math>
(ii)
:<math>\begin{cases}
x \ge 1-x\\
2(x+1)>x-2
\end{cases}</math>

**解答
(i)<br>
<math>x+2<2x+4</math>から　<math>-x<2</math><br>
:<math>x>-2</math>……(1)
<math>10-x \ge 3x-6</math>から　<math>-4x \ge -16</math><br>
:<math>x \le 4</math>……(2)
(1),(2)を同時に満たす<math>x</math>の値の範囲は
:<math>-2<x \le 4</math>
(ii)<br>
<math>x \ge 1-x</math>から　<math>2x \ge 1</math><br>
:<math>x \ge \frac {1} {2}</math>……(1)
<math>2(x+1)>x-2</math>から　<math>2x+2>x-2</math><br>
:<math>x>-4</math>……(2)
(1),(2)を同時に満たす<math>x</math>の値の範囲は
:<math>x \ge \frac {1} {2}</math>


===絶対値を含む不等式===
絶対値を含む不等式について考えよう。<br>
絶対値<math>|x|</math>は、数直線上で、原点<math>\mathrm{O}</math>と点<math>\mathrm{P} (x)</math>の間の距離を表している。
<br>したがって、<math>a>0</math>のとき
:<math>|x|<a  \Leftrightarrow  -a<x<a</math>
:<math>|x|>a  \Leftrightarrow  x<-a\ ,\ a<x</math>
<br>
<br>
*問題例

**問題
次の不等式を解け。<br>
(i)
:<math>|x|<5</math>
(ii)
:<math>|x| \ge 4</math>
(iii)
:<math>|x-2| \le 3</math>
(iv)
:<math>|x+3|>1</math>

**解答
(i)
:<math>|x|<5</math>
:<math>-5<x<5</math>
(ii)
:<math>|x| \ge 4</math>
:<math>x \le -4\ ,\ 4 \le x</math>
(iii)
:<math>|x-2| \le 3</math>
:<math>-3 \le x-2 \le 3</math>
:<math>-1 \le x \le 5</math>
(iv)
:<math>|x+3|>1</math>
:<math>x+3<-1\ ,\ 1<x+3</math>
:<math>x<-4\ ,\ -2<x</math>

==二次方程式==
===解の公式===
一般の二次方程式 <math>ax^2 + bx + c = 0</math>（<math>a</math>, <math>b</math>, <math>c</math> は定数、<math>a\ne0</math>）の解 <math>x</math> を求める公式について考える。
:<math>ax^2 + bx + c = 0</math>
:<math>ax^2 + bx = -c</math>
:<math>x^2 + \frac{b}{a}x = -\frac{c}{a}</math> … (1)
ここで恒等式 <math>x^2 + 2yx = (x + y)^2 - y^2</math> と (1) の左辺を係数比較すると、
:<math>\begin{cases}
2y &= \frac{b}{a} \\
y &= \frac{b}{2a}
\end{cases}</math>
であるから、(1) の式は次のように変形できる（平方完成）。
:<math>\left( x + \frac{b}{2a} \right)^2 - \left( \frac{b}{2a} \right)^2 = -\frac{c}{a}</math>
:<math>\left( x + \frac{b}{2a} \right)^2 = \left( \frac{b}{2a} \right)^2 - \frac{c}{a}</math>
:<math>\left( x + \frac{b}{2a} \right)^2 = \frac{b^2 - 4ac}{4a^2}</math>
<math>b^2 - 4ac \ge 0</math> のとき両辺の平方根をとると、
:<math>\sqrt{ \left( x + \frac{b}{2a} \right)^2 } = \sqrt{ \frac{b^2 - 4ac}{4a^2} }</math>
:<math>\left| x + \frac{b}{2a} \right| = \frac{ \sqrt{b^2 - 4ac} }{2a}</math>
:<math>x + \frac{b}{2a} = \pm \frac{ \sqrt{b^2 - 4ac} }{2a}</math>
:<math>x = \frac{ -b \pm \sqrt{b^2 - 4ac} }{2a}</math>
これが'''二次方程式の解の公式'''（にじほうていしきのかいのこうしき、quadratic formula; 二次公式）である。解の公式を二次方程式の一般形に代入すると、右辺は0になるはずである。
:<math>
x^2 = \frac 1 {4a^2} (b^2 \mp 2b\sqrt{b^2-4ac} + b^2 -4ac)
</math>
であることを用いると、
:<math>
ax^2+bx+c= \frac 1 {4a} (b^2 \mp 2b\sqrt{b^2-4ac} + b^2 -4ac) + \frac b {2a}(-b \pm \sqrt{b^2-4ac}) + c
</math>
:<math>
= \frac 1 {4a} (2b^2 \mp 2b\sqrt{b^2-4ac}) + \frac 1 {2a}(-b^2 \pm b\sqrt{b^2-4ac}) = 0
</math>
となり、確かに正しいことがわかる。

*問題
:(i)<math>
x^2-1=0
</math>
:(ii)<math>
5\,x^2+2\,x-1=0
</math>
:(iii)<math>
x^2+3\,x-1=0
</math>
:(iv)<math>
2\,x^2+3\,x-1=0
</math>
:(v)<math>
2\,x^2+3\,x+1=0
</math>
<!--
:(vi)<math>
7\,x^2+16\,x+4=0
</math>
:(vii)<math>
12\,x^2-29\,x-8=0
</math>
:(viii)<math>
12\,x^2-27\,x-8=0
</math>
-->
をそれぞれ解の公式か因数分解を用いて解きなさい。

*解答
結果の式に根号が現れない場合には、何らかの仕方で因数分解ができる。しかし、いずれの方法を使うにせよ、根号はできる限りの仕方で簡単化することが重要である。

(i)は簡単に因数分解できるので、解の公式を用いる必要はない。
:<math>
x^2-1 = (x+1)(x-1) = 0
</math>
より、
:<math>
x = \pm 1
</math>
が答えとなる。(ii)では、因数分解が出来ないので、解の公式を用いる。因数分解ができるかどうかは実際に試行錯誤して見分けるしかない。
:<math>
5\,x^2+2\,x-1=0
</math>
に、解の公式を用いると、a=5, b= 2, c=-1より、
:<math>
x = \frac 1 {2 \cdot 5} (-2 \pm \sqrt{2^2 - 4 \cdot 5 \cdot (-1)})
</math>
:<math>
= \frac 1 {10} (-2 \pm \sqrt {24} )
</math>
:<math>
= \frac 1 {10} (-2 \pm 2 \sqrt 6 ) = \frac 1 5 (-1 \pm \sqrt 6)
</math>
となる。(iii),(iv)でも、因数分解は出来ないので、解の公式を用いる。答えは、
(iii)
:<math>
x = \frac 1 2 (-3 \pm \sqrt{13} )
</math>
(iv)
:<math>
x = \frac 1 4 (-3 \pm \sqrt{17} )
</math>
(v)
:<math>
(2x+1)(x+1) = 2\,x^2+3\,x+1
</math>
と因数分解できるので、答えは
:<math>
x=-{{1}\over{2}},x=-1
</math>
となる。

全問を通じて、因数分解が可能な方程式に対しても、解の公式を使用しても構わない。

<!--
それぞれの解答は、
:(i)<math>
\left[ x=-1,x=1 \right]
</math>
:(ii)<math>
\left[ x=-{{\sqrt{6}+1}\over{5}},x={{\sqrt{6}-1}\over{5}} \right]
</math>
:(iii)<math>
\left[ x=-{{\sqrt{13}+3}\over{2}},x={{\sqrt{13}-3}\over{2}}  \right]
</math>
:(iv)<math>
\left[ x=-{{\sqrt{17}+3}\over{4}},x={{\sqrt{17}-3}\over{4}}  \right]
</math>
:(v)<math>
\left[ x=-{{1}\over{2}},x=-1 \right]
</math>
:(vi)<math>
\left[ x=-2,x=-{{2}\over{7}} \right]
</math>
:(vii)<math>
\left[ x=-{{1}\over{4}},x={{8}\over{3}} \right]
</math>
:(viii)<math>
\left[ x=-{{\sqrt{1113}-27}\over{24}},x={{\sqrt{1113}+27}\over{24}}  \right]
</math>
となる。
最後の結果で
:<math>
1113
</math>
は、
:<math>
1113 = 3 \times 7 \times 53
</math>
と素因数分解されるため、これ以上簡単にならない。

-->

===<math>ax^2 + 2b'x + c = 0</math> の解の公式===
二次方程式<math>ax^2 + 2b'x + c = 0(a\ne0)</math>について考える。
解の公式に b= 2b' を代入すると
:<math>
x = \frac{-2b' \pm \sqrt{(2b')^2-4ac}}{2a} = \frac{-2b' \pm \sqrt{4(b'^2-ac)}}{2a} = \frac{-2b' \pm 2\sqrt{b'^2-ac}}{2a}
</math>
よって、二次方程式 <math>ax^2 + 2b'x + c = 0</math> の解は
:<math>
x = \frac{-b' \pm \sqrt{b'^2-ac}}{a}
</math>
となる。

*問題例
**問題
:<math>
3\,x^2+6\,x-2=0
</math>
を上の解の公式を用いて解きなさい。

**解答
上の解の公式を用いると、a=3, b'= 3, c=-2より、
:<math>
x = \frac {-3 \pm \sqrt{3^2 - 3 \cdot (-2)}} {3}
</math>
:<math>
= \frac {-3 \pm \sqrt {15}} {3}
</math>
となる。


===2次方程式の解の個数===
2次方程式 <math>ax^2 + bx + c = 0</math> の解は <math>x = \frac{-b \pm \sqrt{b^2-4ac}}{2a} </math> である。<br>
この式の根号の中身だけ取り出したものを'''判別式'''と呼び、これを用いることで2次方程式の解の個数を簡単に判別できる。

<math>D=b^2-4ac</math>の値によって次のようになる。<br>

(1)　<math>D>0 </math>のとき、異なる2つの解　<math>x = \frac{-b + \sqrt{b^2-4ac}}{2a} </math>と<math>x = \frac{-b - \sqrt{b^2-4ac}}{2a} </math>を持つ。<br>
(2)　<math>D=0 </math>のとき、<math> \pm \sqrt{b^2-4ac} = \pm 0 </math> であるので、2つの解は一致して、ただ1つの解<math>x = -  \frac{b}{2a} </math>を持つ。これは2つの解が重なったものと考えて、'''重解'''という。<br>
(3)　<math>D<0 </math>のとき、実数の範囲では解はない。<br>

2次方程式 <math>ax^2 + bx + c = 0</math> の解の個数は<math>D=b^2-4ac</math>の値で判定できる。

{| style="border:2px solid red;width:80%" cellspacing=0
|style="background:lightred"|'''2次方程式の解の個数'''
|-
|style="padding:5px"|
2次方程式 <math>ax^2 + bx + c = 0</math> の解は　<math>D=b^2-4ac</math>とするとき
::<math>D>0  \Longleftrightarrow </math> 異なる2つの実数の解をもつ
::<math>D=0  \Longleftrightarrow </math> 重解をもつ
::<math>D<0  \Longleftrightarrow </math> 実数解はない
|}

<math>ax^2+2b'x+c=0</math>のタイプについては、<math>D=4(b')^2-4ac</math>より、判別式の値として<math>\frac{D}{4}</math>を用いて良い。

* 問題
次の2次方程式の解の個数を求めよ。

:(I) 　<math> 3\,x^2-4\,x+2=0 </math>
:(II) 　<math> 25\,x^2+20\,x+4=0 </math>
:(III)　<math> x^2+7\,x+1=0 </math>


* 解答

(I)
:<math> D=(-4)^2-4 \times 3  \times 2 =-8<0 </math>
だから、実数解はない。<br>
(II)
:<math> D=20^2-4 \times 25  \times 4 =0 </math>
だから、重解をもつ。<br>
(III)
:<math> D=7^2-4 \times 1  \times 1 =45>0 </math>
だから、異なる2つの実数の解をもつ。

== 演習問題 ==
{{DEFAULTSORT:かすとしき}}
[[Category:高等学校数学I]]