\sqrt{2}や- \sqrt 5、\piのように、分母分子が整数の分数で表すことはできない数を無理数という。それに対して、整数や循環小数など、分母分子が整数の分数で表すことのできる数を有理数という。
有理数と無理数を合わせて実数という。どんな実数でも数直線上の点として表せる。また、どんな実数も、有限小数あるいは無限小数として表せる。
\sqrt{2}が無理数であることの証明（発展）
\sqrt{2} が有理数であると仮定すると、互いに素な（1以外に公約数をもたない）整数 ''m'', ''n'' を用いて、
と表わすことができる。このとき、両辺を2乗して分母を払うと、
よって ''m'' は2の倍数であり、整数 ''l'' を用いて m = 2l と表すことができる。これを (1) の式に代入して整理すると、
よって ''n'' も2の倍数であるが、これは ''m'', ''n'' が2を公約数にもつことになり、互いに素と仮定したことに矛盾する。したがって \sqrt{2} は無理数である（背理法）。
サムネイル|400x400ピクセル
0.1 や 0.123456789 のように、ある位で終わる小数を 有限小数 という。
一方、0.1234512345 \cdots や 3.1415926535 \cdots のように無限に桁が続く小数を 無限小数 という。
無限小数のうち、0.\color{red}{3}\color{blue}{3}\color{green}{3} \cdotsや0.1\color{red}{23}\color{blue}{23}\color{green}{23}\color{purple}{23} \cdots、0.\color{red}{142857}\color{blue}{142857}\cdotsのように、ある位より下から、ある数字の配列が繰り返されているものを 循環小数 という。
繰り返しの最小単位を 循環節 という。循環小数は循環節の始まりと終わりの部分に ・ をつけて表す。
である。
問題
次の分数を小数で表わせ。
全ての循環小数は分母分子が整数の分数の形に表すことができる。
例
0.\dot{3}を分数で表す。
と置くと、
である。(2) - (1) より 9a = 3、よって a = \frac{1}{3} である。
1.2\dot{3}\dot{4}を分数で表す。
a = 1.23434\cdots = 1.2\dot{3}\dot{4}と置く。
このとき、
なので、1000a - 10a = 1234.\dot{3}\dot{4} - 12.\dot{3}\dot{4}より、990a = 1222なのでa = \frac{611}{495}
例題
\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}
\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}
実数 ''a'' について、数直線上での ''a'' の原点からの距離を ''a'' の絶対値といい、|a| で表す。
たとえば
である。
定義より |a|=|-a| がいえる。また、a,bを任意の実数とするとき、それぞれに対応する数直線上の任意の2点 \mathrm{P} (a) , \mathrm{Q} (b) 間の距離については、次のことがいえる。
2点 \mathrm{P} (5) と \mathrm{Q} (-1) の間の距離を求めよ。
\mathrm{P} \mathrm{Q} = |5- (-1) | = 6 なので、よってPQ間の距離は 6 である。
2乗して a になる数を a の 平方根 という。
正の数の平方根は2つある。例えば、2乗して 1 になる数は 1 と -1 がある。
正の数aの平方根のうち、正であるものを\sqrt{a}、負であるものを-\sqrt{a}と書く。また、0の平方根は0だけなので、\sqrt{0}=0と定める。\sqrt{a}はルートaと読む。
負の数の平方根は実数の範囲には存在しない。
\sqrt{a} と- \sqrt{a} をまとめて \pm \sqrt{a} と書くこともある。
2\ ,\ 4\ ,\ 9\ ,\ 12の平方根を求めよ。
\pm \sqrt 2\ ,\ \pm 2\ ,\ \pm 3\ ,\ \pm 2\sqrt 3
それぞれのルートを計算し、\pmをつければよい。ただし、平方根のルールに従って、簡単化できるものは簡単化することが要求される。
例えば、2に対しては、\pm\sqrt 2 となる。
一般に、\sqrt{A^2} = |A|である。
次の値を求めよ。
根号について、次の公式が成り立つ。
公式(1)の証明
であるから、\sqrt{a} \sqrt{b}はabの平方根である。また、\sqrt{a}>0,\sqrt{b}>0であるから、\sqrt{a} \sqrt{b}は正の数である。以上より、
公式(2)の証明
\right)^2 = \frac{(\sqrt{a})^2}{(\sqrt{b})^2} = \frac{a}{b}
は正の数である。以上より、
. //
さらに、上の公式(1)により、次の公式が導かれる。
計算せよ。
まず、乗法公式 (a-b)^2 = a^2-2ab+b^2を利用して展開する。詳細は「乗法公式」のセクションを参照のこと。
\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}
分母に根号を含まない式にすることを、分母を有理化するという。有理化は、分母と分子に同じ数をかけてもよいことを利用して行う。
{2}となる。
また、とくに\frac{a}{b+c}について、b^2-c^2=1のとき、
\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)である。
たとえば、a=1, b=\sqrt{2}, c=1とすると、\frac{1}{\sqrt{2}+1}=\sqrt{2}-1である。
分母を有理化せよ。
 
 
{6}
{15}
二重根号とは、根号が2重になっている式のことである。二重根号は常に外せるわけではなく、根号の中に含まれる式によって簡単にできるかどうかが決まる。一般に、根号内の式が、x^2の形に変形できる場合には、外側の根号を外すことができる。
\sqrt{3+2\sqrt 2}を簡単にせよ。
3+2\sqrt 2が( \cdots )^2の形にできるかを考える。
仮に、( \sqrt a + \sqrt b )^2(a,bは正の整数)の形にできるとすると、3+2\sqrt 2 = a + b + 2\sqrt{ab}となり、
a+b &= 3\\
ab  &= 2\\
\end{cases}
を満たす整数a,bを探せばよい。この関係は、a=1,b=2(a,bを入れ換えても可。)によって満たされるので、3+2\sqrt 2 \ = \ (\sqrt 2 + 1)^2が成り立つ。
よって、\sqrt{3+2\sqrt 2} \ = \ \sqrt{(\sqrt 2 + 1)^2} \ = \ \sqrt 2 + 1となる。
次の式を計算せよ。
 \ = \ \sqrt {9} - \sqrt {3} \ = \ 3- \sqrt {3}
{2}
中学では、たとえば「自然数のあつまり」とか「9以下の自然数のあつまり」とか「負の整数のあつまり」のようなものを、集合（しゅうごう）と読んできた。
では、数学でいう「集合」とは何か、これから考えていこう。
数学では、ある集まりのうち、さらに、それに属しているか属してないかを明確に区別できる条件のある物のあつまりを集合（set）という。例えば、「自然数」は「''n'' > 0となる整数''n'' の全体」という区別可能な条件があるので集合といえる。
しかし「大きな数」というあつまりは、どこからが「大きな」数といえるのかがはっきりしないため、数学の「集合」ではない。
ただし、「大きな数」を例えば「1億以上の整数」と区別できるように定義すれば集合になりえる。
さて、数学的な「集合」を構成するもの一つ一つのことを、その集合の 要素（element）という。
たとえば、「自然数の集合」の要素なら、自然数1や自然数2や自然数3、・・・などのひとつひとつの自然数がそれぞれ要素である。
「 1 は自然数の集合の要素である」といえる。
「 27 は自然数の集合の要素である」といえる。
例
7以下の自然数の集合の要素は、1と2と3と4と5と6と7 である。
（※ 範囲外？ ）なお、数学的には、区別がはっきりしさえすれば、例えば「△△高校の今の3年B組の生徒全員」等も集合として考えることができる。かならずしも「集合」とは「自然数」や「整数」などの数でなくてもいい。
サムネイル
aが集合Aの要素であるとする。このとき、aは集合Aに属する(ぞくする)といい、記号で、
と表す。
bがAの要素でないときは、
と表す。
集合をあらわすとき、主に2種類の方法がある。（例は「10以下の自然数のうち偶数であるもの」の集合を表す。）
である
サムネイル
たとえば、「10以下の自然数のうち偶数であるもの」の集合を表す場合、（1）の方法（要素を書き並べる方法）では、
となる。
一方、（2）の方法（要素の満たす条件を述べる方法）では、
などのようになる（何通りかある）。
備考
100以下の自然数の集合 A を、さきほどの（1）「要素を書き並べる方法」の方法で書く場合、
となる。また、この記法の「・・・」のように、要素の個数がとても多い場合や無数にある場合には、｛ ｝記号内の要素の途中を「・・・」または「……」、「…」などの点々で省略してよい。
（※ なお、ワープロで「……」などの短い点々を出したい場合、「三点リーダー」で変換すると出る。点が6つあっても「三点リーダー」で出る。
100以下の偶数の集合 B は、この記法（要素を書き並べる方法）では、
のようになる。
正の偶数全体の集合の要素は（1）「要素を書き並べる方法」の方法で書く場合、
のようにも書ける。
サムネイル|集合Aが集合Bの部分集合である場合
2つの集合A,Bがあり、x∈A ならば x∈Bが成り立つとき、AはBの 部分集合 (ぶぶんしゅうごう、英：subset)であるといい、「BはAを含む」か「AはBに含まれる」という。この状態を記号で
または
で表す。
補足
Aの部分集合にはA自身もある。（つまりA ⊂ Aである）。
また、A,B の集合の要素が同じとき、
で表す。
例
集合 A ＝ {1, 2, 3} と 集合 B ＝ {1, 2 , 3 , 4, 5} があるとき、A は Bの部分集合である。
----
サムネイル|色の部分は共通部分 A ∩ B
2つの集合A,Bがあるとき それらの両方の要素であるものの集合を AとBの 共通部分（きょうつうぶぶん）と呼び、
と書く。
サムネイル|色の部分は和集合 A ∪ B
また、集合A,Bの少なくともどちらか一方には属している要素からなる集合のことを、AとBの和集合（union）と呼び、
と書く。
サムネイル|A ∩ B ∩ C
3つの集合 A, B, C については、3つのどれにも属する要素全体の集合を A,B,C の共通部分と呼び、
A ∩ B ∩ C で表す。
サムネイル|A ∪ B ∪ C
また、集合 A, B, C の少なくとも1つに属する要素の集合を A,B,C の和集合と呼び、
----
たとえば、「10以下の自然数のうちの偶数」の集合Aと、「10以下の自然数のうちの奇数」の集合Bについて、集合Aと集合Bの共通部分には、何も要素が無い。
この例のように、「要素がなにもない」という場合もあるので、数学では「要素がなにもない」場合もひとつの集合として考える。
要素をもたない集合のことを 空集合(くうしゅうごう、英：empty set あるいは null set)といい、記号は
であらわす。
ギリシャ文字のファイ（φ,\phi\ ）で表されることが多くあるが、厳密にはそれは誤りである。上の記号の他に\empty等も用いられるが、この教科書では、\varnothingを用いる。
補足
どのような集合Aにも、空集合は部分集合として含まれる。
つまり、空集合でないある集合をAとすると、
である。
例
集合 { 1, 2 } の部分集合をすべて列挙すると、次の4つの集合になる。
サムネイル|色つきの部分が補集合 \overline{A}
集合 U を1つ設定し、その集合の要素や部分集合のみを考える場合を考える。このようなとき、集合Uを 全体集合（universal set） という。
全体集合Uの要素のうち、集合Aに属さないもの全体からなる集合のことをAの 補集合 （complement）といい、記号で補集合は \overline{A}と表す。
すなわち
である。
\overline{ (\overline{ A }) }  は \overline{A} の補集合を表す。\overline{ (\overline{ A }) }   は \overline{ \overline{ A } } と書く場合もある。
補集合について、次のことが成り立つ。
A∩A＝φ , A∪A＝U , \overline{ (\overline{ A }) } ＝A
ド・モルガンの法則サムネイル|ド・モルガン
オーガスタス・ド・モルガンは19世紀イギリスの数学者。
下の図を用いて上の法則が正しい事を確かめよう。
Image:Venn-diagram-AB.png|2つの集合の一部に重なっている部分がある場合
Image:Venn-diagram-ABC.png|片方がもう片方の部分集合である場合（AとB）と、集合同士が独立している場合（AとC）
Image:Venn_diagram_ABC_RGB.png|3つある場合（AとB、BとC、CとA）
Image:Venn diagram ABCD RGB.png|4つある場合（AとB、AとC、AとD、BとC、BとD、CとD）
A={x|xは1以上20以下の2の倍数}・B={y|yは1以上20以下の3の倍数}とする時、以下に適する集合の要素を列挙せよ。ただし、全体集合U={z|zは1以上20以下の整数}とする。
数学的に正しいかどうかを明確に判断できる主張を命題（proposition）と呼ぶ。
ある命題が正しいとき、その命題は真（truth）であると呼ぶ。 命題が真でないとき、命題は偽（false）であると言う。
例
命題「7は素数である」は真である。
命題「11は偶数である」は偽である。
「5000は大きい数である」は命題ではない。なぜなら「大きい」という言葉の判断が主観的なものであり、判断に明確な基準が設定できないからである。
「実数xについて、x^2 - 4 = 0である。」のように、xの値によって真偽の定まる主張を、xに関する条件という。
条件p,qについて、pが真のとき、必ずqが真となるときpならばqといい、 p \Rightarrow qとかく。このとき、条件pを仮定（assumption）、条件qを結論と呼ぶ。
これを表にすると以下のようになる。
また、pが偽であるとき、p \Rightarrow qは無条件で真となる。なぜ？と思うかもしれないが、とっても自然なことである。たとえば、「エヌ氏が新宿にいるならばエヌ氏は東京にいる」という命題について考える。エヌ氏が新宿にいるとき、「エヌ氏は新宿にいる」は真であり、「エヌ氏は東京にいる」も真であるので、「エヌ氏が新宿にいるならばエヌ氏は東京にいる」は真である。次に、エヌ氏が渋谷にいるとき、「エヌ氏は新宿にいる」は偽であるが、「エヌ氏は東京にいる」は真である。最後に、エヌ氏が京都市にいるとき、「エヌ氏は新宿にいる」は偽であり、「エヌ氏は東京にいる」も偽である。
しかし、エヌ氏が渋谷や京都市にいるとき、仮定は偽であるが、「エヌ氏が新宿にいるならばエヌ氏は東京にいる」という命題は正しい。
例
命題「x^2 = 4ならばx = 2である」はx = -2もあてはまるので偽である。 命題\rm p \Rightarrow qが偽であるときは、pは満たすがqを満たさない例が存在するときである。そのような例を反例（はんれい）という。命題が偽であることを示すには、反例を1つあげればよい。
次の命題の真偽を判定し、偽の場合は反例も挙げよ。
ab>0ならばa>0かつb>0である。
a \ge bかつb \ge aならばa=bである。
正三角形を2つ用意すればそれらは相似である。
素数ならば奇数である。
サムネイル
条件や条件を含む命題を考えることは、集合を考えることと同じである。
たとえば、実数 x について「x＞3 ならば x＞1 である」という命題は真である。
ここで「x＞3 である」という条件を p とし、また、x＞3 である数の集合を P としよう。つまり P＝｛x| x>3 ｝である。
同様に、「x＞1である」という条件を q とし、x＞1である数の集合を Q としよう。つまり Q＝｛x| x>1 ｝である。
このとき、命題 \rm p \Longrightarrow q は真であるが、これは集合の包含関係 P⊂Q が成り立つことに対応している。
サムネイル
2つの条件 p,q について、p\Rightarrow qが真であるとき、
qはpであるための 必要条件であるという。pが成り立つためには、まず、qが成り立つことが必要という意味だ。
pはqであるための 十分条件であるという。qが成り立つには、pが成り立てば十分という意味だ。
2つの条件 p,q について、
p\Rightarrow qとq\Rightarrow pの両方とも真であるとき、これを
と書き、
pはqであるための必要十分条件である。または、pとqは同値であるという。
このとき、pとqを入れ替えることで、
ともいえる。
例
エヌ氏が新宿にいるならばエヌ氏は東京にいるという命題を考える。
エヌ氏が新宿にいるためには、まず、エヌ氏が東京にいる必要があるので、エヌ氏が東京にいることは、エヌ氏が新宿にいるための必要条件であるといえる。
エヌ氏が東京にいることを示すには、エヌ氏が新宿にいることを示せば十分なので、エヌ氏が新宿にいることは、エヌ氏が東京にいるための十分条件であるといえる。
サムネイル|「pかつq」に対応するP∩Q
サムネイル|「pまたはq」に対応するP∪Q
条件 p,q を満たすものの集合をそれぞれ P,Q とする。
このとき、条件「pかつq」および「pまたはq」をあらわす図は、それぞれ右図のようになる。
※ 数学における「または」の使い方では、「pまたはq」は、条件pと条件qの少なくともどちらか一方でも成り立っていればいい。
条件pに対し「pでない」の形の条件を pの 否定 （negation）といい、記号は \overline{p}で表す。
（※ 高校では習わないが、否定の意味として、 \lnot{p}という記号「¬」もある。）
条件を考えることは集合を考えることと同じなので、集合におけるド・モルガンの法則と同様に、条件においても、ド・モルガンの法則がなり立つ。
ド・モルガンの法則
p かつ q  \Longleftrightarrow  p  または  q
p または q  \Longleftrightarrow  p  かつ  q
サムネイル|400x400ピクセル
命題「 \rm p \Longrightarrow q 」に対して
と呼ぶ。
これらは、たがいに右図のような関係にある。
----たとえば、 もとの命題を
だとすると、
対偶は「x^2 \ne 9 \Longrightarrow x\ne 3 」である。
この命題の場合、もとの命題と対偶は、ともに真である。
いっぽう逆については x ＝ -3 という反例があるので、この命題の場合、逆は正しくない。また、裏も同様に、正しくない。
このような例から、次のことが分かる。
ある命題が真であっても、その命題の逆は、かならずしも真とは限らない。
また、ある命題が真であっても、その命題の裏は、かならずしも真とは限らない。
元の命題をその対偶を表にすると以下のようになる。
この表からわかるように、元の命題とその対偶の真偽は一致する。
例
「エヌ氏が新宿にいるならばエヌ氏は東京にいる」という命題の対偶は、「エヌ氏が東京にいないならばエヌ氏は新宿にいない」である。
ある命題の結論を否定して、その否定のもとで矛盾が起こることを述べることで、 その命題が真であることを導出する仕方を背理法（proof by contradiction など）と呼ぶ。
たとえば、「Aではないことを証明せよ」という問題を解く時は「Aであると仮定する」と書き出して、仮定したことと矛盾する部分を作って「矛盾するのでAではない。」と証明を終える。
素数は無限に存在する。
素数が有限個であったと仮定する。すべての素数の積をaとすると、a+1はどの素数で割っても1余ることになり、1以外の自然数であって、素数の積に分解できないものが存在することになる。a+1の約数のうち1以外で最も小さいものをbとすると、bは1とb以外の約数を持たない。したがってbが素数であることになるが、a+1がどの素数でも割り切れないことと矛盾する。したがって、素数は有限個ではない。■
{{コラム|背理法と日常的な思考| 背理法は多くの高校生が苦手としています。「Aである」ことを証明するために、わざわざ「Aでない」と仮定して矛盾を導くという論理の展開が不自然に感じられ、それが苦手意識につながっているようです。しかし、背理法の発想は私たちの日常的な思考でもよく使われています。ここでは、その例をいくつか紹介しましょう。
一つ目はアリバイ証明です。もしあなたが事件の犯人であると疑われたとします。そのとき、「自分が犯人ではない」ということをどのように証明しますか。ただ「自分は犯人ではない」と言うだけでは説得力がありません。この場合、犯行現場がA駅であったが、「自分は事件が起きたときにはB駅にいた」ことを証明できる、つまりアリバイが成り立つならば自分が犯人ではないという有力な証拠となります。この仕組みを簡単な文にすると以下のようになります。
私が犯人だと仮定すると、A駅にいたことになる。
しかし私はB駅にいた（＝A駅にいなかった）。
私が同じ時間にA駅とB駅の両方にいることはできないので、当初の仮定と矛盾する。
ゆえに私が犯人だという仮定がまちがっていたので、私は犯人ではない。
アリバイを示すことで自分の無実を証明するというのは、実はこういう仕組みになっているのです。なお、アリバイを示して無実を証明する方法には、やはり高校生の多くが苦手とする対偶証明法を使う方法もあります。そちらはみなさんで考えてみてください。
二つ目は消去法での選択肢の選び方です。たとえば、平成30年度「倫理」のセンター試験の大問1問7（マークシート番号7）の問題を見てみましょう。（バグと思わしき現象が起きたためリンクは貼りません。お手数ですが、各自確認して下さい。）この正解を導き出すのに背理法の文章を利用してみましょう。
1が正解だと仮定すると、1の選択肢はグラフを正しく説明している。
しかし、2015年のトップ3（日伊独）と2050年のトップ3（日伊韓）は異なるので、正しい説明になっておらず、仮定と矛盾する。
ゆえに1を正解とした仮定は誤っていた。
だから、1の選択肢は正しくないので消す。
これを繰り返すと、誤った選択肢を消去して正解を導くことができますね（「倫理」の知識は全くいらないので、皆さんも挑戦してみてください）。
3や12などの定数や、x や y などの変数の積で表すことのできる式を単項式（たんこうしき、monomial）という。
次のようなものが単項式である。
単項式ではないもの例は以下である。
1つ以上の単項式の和で表すことのできる式を多項式(polynomial)または整式という。
以下は多項式の例である。
次の式のうち単項式であるものを答えよ。
(1), (2) が単項式。 (3) は項が6つあるため単項式ではない。
3x^2 + 5x^2 + 8x における 3x^2 と 5x^2 のように、多項式の文字と指数が同じである項を同類項（どうるいこう、like terms）という。
同類項は分配法則 ab + ac = a(b + c) を使ってまとめることができる。たとえば 3x^2 + 5x^2 + 8x = (3 + 5)x^2 + 8x = 8x^2 + 8x である。8x^2 と 8x は文字は同じであるが指数が異なるので、同類項ではない。
次の多項式の同類項を整理せよ。
3x という単項式は、3という数と x という文字に分けて考えることができる。数の部分を単項式の係数（けいすう、coefficient）という。
たとえば -x = (-1)x という単項式の係数は -1 である。
256xy^2 という単項式は、256という数と x, y, y という文字に分けて考えることができるので、この単項式の係数は256である。一方、掛けあわせた文字の数を単項式の次数（じすう、degree）という。256xy^2 は x, y, y という3つの文字を掛けあわせてできているので、この単項式の次数は3である。0という単項式の次数は 0 = 0x = 0x^2 = 0x^3 = \cdots と一つに定まらないので、ここでは考えない。
単項式の係数と次数は、単に数と文字に分けて考えるのではなく、ある文字を変数として見たときに、残りの文字を定数として数と同じように扱うことがある。
たとえば -5abcx^3という単項式を、x^3 だけが変数で、残りの文字 a, b, c は定数と考えることもできる。 このとき(-5abc)x^3 と分けられるので、この単項式の係数は -5abc、変数は x^3 で、次数は3であるといえる。
このことを -5abcx^3 という単項式は、「x に''着目''すると、係数は -5abc、次数は3である」などという場合がある。
あるいは -5abcx^3 の a と bに着目すれば、(-5cx^3)ab と分けられ、a と b に着目したときのこの単項式の係数は -5cx^3、変数は ab で、次数は2であるといえる。
慣習的には a, b, c, \cdots などのアルファベットの最初の方の文字を定数を表すのに使い、\cdots , x, y, z などのアルファベットの最後の方の文字を変数を表すのに用いるが、一般的にはこの限りでない。
多項式の次数とは、多項式の同類項をまとめたときに、もっとも次数の高い項の次数をいう。たとえば x^3 + 3 x^2 y + 2y では、もっとも次数の高い項は x^3 であるので、この多項式の次数は3である。もし x^3 + 3 x^2 y + 2y（x は定数）であれば、すなわち多項式の y について着目すると、もっとも次数の高い項は 3 x^2 y と 2y であるので、この多項式の次数は1である。このとき着目した文字を含まない項 x^3 は定数項（ていすうこう、constant term）として数と同じように扱われる。
次の多項式の x または y に着目したときの次数と定数項をそれぞれいえ。
x に着目すると6次式、定数項は y^5 - 1。y に着目すると5次式、定数項は x^6 - 1。
x に着目すると3次式、定数項は -ad - bc + y^{100}。y に着目すると100次式、定数項は -ad - bcx^2 - bc。
x に着目すると4次式、定数項は q^9 y^2。y に着目すると4次式。定数項は存在しない。
たとえば、
のように、次数の高い項から先に項をならべることを降べき（こうべき）という。
※ なお、次数の大小については、次数が大きいことを「次数が高い」と言ったりしてもよい。つまり、次数の大小については、高低で言い換えてもよい。
さて、式を使う目的によっては、次数のひくい項から先に書いたほうが便利な場合もある。
たとえば、xが 約0.01 のような1未満の小さい数の場合、式 x^2 + 6x +7  の値を求めたいなら、文字xの次数の小さい項のほうが影響が高い。
なので、 目的によっては
のように、次数のひくい項から先に書く場合もある。
7 + 6x + x^2  のように、次数の低い項から先に項をならべることを昇べき（しょうべき）という。
演習問題
次の式をそれぞれ、降べき、昇べきの順に並べよ。
解答
多項式に2つ以上の文字があるとき、特定の1つの文字に注目して並び変えると、使いやすくなることがある。
たとえば、
の項を、xの次数が多い項から先に並びかえ、同類項をまとめると
となる。
この（例2）のように、特定の文字だけに着目して、その文字の次数の高い順に並びかえると便利なこともしばしばある。
(例2)は、xについて降べきの順に並び変えた多項式である。
着目してない文字については、並び換えのときは定数のように扱う。
いっぽう、xについて、次数のひくい項から順に並べると、次のような式になる。
このように、特定の文字の次数が低いものから順に並びかえると便利なこともしばしばある。
例3は、xについて 昇べき の順に並び変えた多項式である。
たとえば、式
という式の右辺
の次数は、いくらであろうか。
aとxを等しく文字として扱うのであれば、axの次数は
より 1＋1 ＝2 なので、この式の次数は2である。（項bは次数1なので、axの次数2よりも低いので無視する。）
しかし、もしこの式を、定数aを係数とする変数xについての一次関数とみるのであれば、一次式と思うのが合理的だろう。
このような場合、特定の文字だけに注目したその式の次数を考えるとよい。
たとえば、文字xだけに注目して、式 ax + b  の次数を決めてみよう。
すると、文字xに注目した場合の式 ax + b  の次数は1になる。
なぜなら
文字xに注目した場合の式 a  の次数は0である。
文字xに注目した場合の式 b  の次数は0である。
文字xに注目した場合の式 x  の次数は1である。
よって、文字xに注目した場合の項 ax の次数は、 0＋1 なので、1である。
このように考える場合、必要に応じてどの文字に注目したかを明記して「文字◯◯に注目した次数」のように述べるとよい。
多項式の積は分配法則を使って計算することができる。
例
(2x+1)(3x+4)=3x(2x+1)+4(2x+1)=6x^2+11x+4
このように多項式の積で表された式を複数の単項式の和の形にすることを、多項式を展開（てんかい、expand）するという。
ここで、(ax+b)(cx+d)を展開しよう。
A=ax+bとおくと、A(cx+d) = Acx+Ad = (ax+b)cx + (ax+b)d = acx^2 + bcx + adx + bd = acx^2 + (ad +   bc)x + bd
つまり、({\color{red}a}x+{\color{blue}b})({\color{magenta}c}x+{\color{green}d}) = {\color{red}a}{\color{magenta}c}x^2 + ({\color{red}a}{\color{green}d} + {\color{blue}b}{\color{magenta}c})x + {\color{blue}b}{\color{green}d}である。
a を n 回掛けたものを a^n と書き、aのn乗（-じょう、''a'' to the ''n''-th power）という。ただし a^1 = a と定義する。たとえば、
である。a, a^2, a^3, a^4, a^5, \cdots を総称して a の累乗（るいじょう、exponentiation）という。a^n の n を指数（しすう、exponent）という（a は底（てい、base）という）。
累乗どうしを掛けあわせた積は、次のように計算することができる。
\begin{align}
a^2 \times a^3 &= (a \times a) \times (a \times a \times a) \\
&= a^{2 + 3} \\
&= a^5
\end{align}
累乗どうしを割った商は、次のように計算することができる。
\begin{align}
a^3 \div a^2 &= \frac{ a \times a \times a }{ a \times a } \\
&= \frac{a}{1} \\
&= a
\end{align}
累乗の累乗は、次のように計算することができる。
\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}
積の累乗は、次のように計算することができる。
\begin{align}
(ab)^2 &= a \times b \times a \times b \\
&= a \times a \times b \times b \\
&= a^2 b^2
\end{align}
これらをあわせて指数法則（しすうほうそく、exponential law）という。
累乗の定義より明らか。
\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}
\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}
\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}
\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}
次の式を計算しなさい。
(-a^2b)^3 = (-1)^3 (a^2)^3 b^3 = -a^{2 \times 3}b^3 = -a^6b^3
次の式を展開せよ。
(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}
(a - b)^2 &= \{ a + (-b) \}^2 \\
&= a^2 + 2a(-b) + (-b)^2 \\
&= a^2 - 2ab + b^2
\end{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}
(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}
まとめると、次のようになる。
次の式を展開しなさい。
複雑な式の展開は、式の一部分を一つの文字において公式を使うとよい。
次の式を展開しなさい。
\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}
\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}
\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}
次の式を因数分解しなさい。
次の式を因数分解しなさい。
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}
\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}
\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}
\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}
{{コラム|対称式と交代式|;対称式
 a^2 + b^2 は、a と b を入れ替えて  b^2 + a^2 にしても、値はもとの式と同じままである。
このように、文字を入れ替えても同じままになる式のことを 対称式（たいしょうしき）という。
a,b の対称式のうち、式  a + b と 式  ab の2つを 基本対称式 という。
基本対称式いがいの対称式は、基本対称式の加減乗除で表すことができる。たとえば、
である。
交代式
同じ大きさの量を=で結んだ式を方程式と呼ぶことを既に学習した。ここでは、異なった量の大きさの違いを表す記号を導入し、その性質についてまとめる。
ある数A,Bがあるとき、AがBより大きいことをA > Bと表し、AがBより小さいことをA < Bと表す。ここで、<と>のことを不等号と呼び、このような式を不等式と呼ぶ。また、\le,\geも似た意味の不等式であるが、それぞれAとBが等しい値である場合を含むものである。
なお、日本の教育においては、\le,\geの代わりに、不等号の下に等号を記した\leqq,\geqqを使うことが多い。
x>7という不等式があるとき、xは7より大きい実数である。また、x \ge 7の時には、xは7以上の実数である。
不等式では等式と同じように、両辺に演算をしても不等号の関係が変わらないことがある。例えば、両辺に同じ数を足しても、両辺の大小関係は変化しない。ただし、両辺に負の数をかけたときには、不等号の向きが変化することに注意が必要である。これは、負の数をかけると両辺の値は、0を中心に数直線を折り返した地点に移されることによる。
thumb|300px|''x'' < ''y'' ならば ''x'' + ''a'' < ''y'' + ''a''.
thumb|''x'' < ''y'' かつ ''a'' > 0 ならば ''ax'' < ''ay''.
thumb| ''x'' < ''y'' かつ ''a'' < 0 ならば ''ax'' > ''ay''.
x > yが成り立つときには、x+3>y+3、4x > 4yも成り立つ。また、 -x < -yが成り立つ。
不等式の性質を使って
の両辺から3を引くと
よって
となる。
このように、不等式でも移項することができる。
グラフを用いて考えるとき、不等式はグラフ中の領域を表す。領域の境界は不等号を等号に置き換えた部分が対応する。これは、不等号が成立するかどうかがその線上で入れ替わることによっている。（詳しくは数学II 図形と方程式で学習する。）
y>x+1,y < 2x+1,x <3のグラフ(正しくは「領域」)を描け。
 y>x+1  のグラフ(領域)は次のようになる。ただし、境界は含まない。
なし|サムネイル|360x360ピクセル|1次不等式 y>x+1 が表すグラフ。
 y<2x+1 のグラフ(領域)は次のようになる。ただし、境界は含まない。
なし|サムネイル|360x360ピクセル|1次不等式 y<2x+1 が表すグラフ。
x<3のグラフ(領域)は次のようになる。ただし、境界は含まない。
なし|サムネイル|360x360ピクセル|1次不等式 x<3 が表すグラフ。
次の不等式を解け。
3x-1  & \le 9x-7\\
3x-9x & \le -7+1\\
-6x   & \le -6\\
x     & \ge 1
\end{align}
3(x-2) & > 2(5x-3)\\
3x-6   & > 10x-6\\
3x-10x & > -6+6\\
-7x    & > 0\\
x      & < 0
\end{align}
x+1  & < \frac {x-1} {3}\\
3x+3 & < x-1\\
3x-x & < -1-3\\
2x   & < -4\\
x    & < -2
\end{align}
いくつかの不等式を組み合わせたものを連立不等式といい、これらの不等式を同時に満たすxの値の範囲を求めることを、連立不等式を解くという。
次の連立不等式を解け。
(i)
(ii)
x \ge 1-x\\
2(x+1)>x-2
\end{cases}
(i)
x+2<2x+4から-x<2
10-x \ge 3x-6から-4x \ge -16
(1),(2)を同時に満たすxの値の範囲は
(ii)
x \ge 1-xから2x \ge 1
2(x+1)>x-2から2x+2>x-2
(1),(2)を同時に満たすxの値の範囲は
絶対値を含む不等式について考えよう。
絶対値|x|は、数直線上で、原点\mathrm{O}と点\mathrm{P} (x)の間の距離を表している。
したがって、a>0のとき
次の不等式を解け。
(i)
(ii)
(iii)
(iv)
(i)
(ii)
(iii)
(iv)