1-1. 単項式，多項式，整式について

例題1の解答．
答えは(a), (b), (c), (d) です．

例題1の解説．
(a) -x^3z = -1 \times x \times x \times x \times z 　単項式です．
(b) -4s^5t^2 = -4 \times s \times s \times s \times s \times s \times t \times t　単項式です．
(c) 2a^3b^2c^3de = 2 \times a \times a \times a \times b \times b \times c \times c \times c \times d \times e 　単項式です．
(d) 3　数だけの式も単項式になります．
(e) \frac{5 a c^2}{b} = 5 \times a \times \frac{1}{b} \times c \times c
一見すると数と文字だけの掛け算にも見えますが，文字の割り算(分数の分母に文字)が含まれているため単項式ではありません．分母に数だけがある場合は単項式ですが²例えば \frac{5 a b c^2}{3} のように，分母に文字があれば単項式ではありません．
※参考書で「 \times \frac{1}{b} は文字の掛け算だから単項式である」といった内容を読んだことがある人は，次のコラム（単項式の定義について困ったこと）を必ず読んでください．授業で同様の内容を教わった人も次のコラムを必ず読んでください．

　例題1の(e)の式 \frac{5 a c^2}{b} = 5 \times a \times \frac{1}{b} \times c \times c は単項式ではありません．

　しかし分母に文字がある式について「\times \frac{1}{b} は文字の掛け算なので単項式である」と主張する参考書を数冊発見しました．その中には，大手予備校から出版された参考書もあります．
　このように主張すること単体では，まだ問題にはなりません³正直かなりアウトですが，単項式という言葉は中学・高校の数学以外ではあまり見ないため，自由に定義してもいいと考えています．ただし，次数や多項式の定義をキチンとするならばのオハナシですが．．このように主張する参考書が抱える問題は次の2点です．
　一つ目の問題は，単項式の次数（このコラムの後に出てきます）を考える問題で，分母の文字の扱いについてスルーしている点です．スルーするくらいなら，最初から不思議な定義をやめろと言いたい．
　二つ目の問題は，分母に文字がある式を単項式と定義しておきながら，多項式の定義を「単項式の和である」と言っている点です．これが大問題です．そのように定義された多項式は，通常の多項式ではありません．多項式を拡張したものの一つであるローラン多項式になります．全く別のものを作り出しています．

　残念ながら，「分母に文字があっても単項式」と主張する参考書では，「多項式は単項式の和である」もしくは，それに類似する定義がなされていました．多項式を正しく定義できていません．⁴「なぜ単項式の次数を求める問題で分母に文字のある式が出てこないのか」「なぜ多項式の問題では分母に文字が出てこないのか」といった疑問に至れば，自然と辿り着く問題点です（中高生ならば勘違いしてもおかしくありませんが）．間違いは誰にでもあることですが，これは間違いの質が低すぎると言いたい．数学において大切な「考える」という行為をしていません．こんなものが大手予備校から出版されているとは，嘆かわしいばかりです．よって，これらの参考書に書かれた内容は誤りです．

　詳しい説明は省きますが⁵ひとつ前の注釈を読むと片鱗は分かると思います．「分母に文字のある式も単項式である」と主張する参考書は，ほぼ確実に危険物です．少し過激な表現になりますが，その参考書は資源ゴミか燃えるゴミで捨てましょう．

　ちなみに，コラムのタイトルに「困ったこと」と書いていますが，私は困っていません．困った内容の参考書があるだけです．

例題2の解答．
(a) -x^3z
係数：-1　　次数：4

(b) -4s^5t^2
係数：-4　　次数：7

(c) 2a^3b^2c^3de
係数：2　　次数：10

(d) 3
係数：3　　次数：0

(e) a
係数：1　　次数：1


例題2の解説．
(a) -x^3z = -1 \times x \times x \times x \times z
掛けられている数は -1 ，文字の個数は4個なので次数は 4 です．

(b) -4s^5t^2 = -4 \times s \times s \times s \times s \times s \times t \times t
掛けられている数は -4 ，文字の個数は7個なので次数は 7 です．

(c) 2a^3b^2c^3de = 2 \times a \times a \times a \times b \times b \times c \times c \times c \times d \times e
掛けられている数は 2 ，文字の個数は10個なので次数は 10 です．

(d) 3
掛けられている数は 3 ，文字の個数は0個なので次数は 0 です．

(e) a = 1 \times a
掛けられている数は 1 ，文字の個数は1個なので次数は 1 です．
数が掛けられていないように見えますが，このような場合は 1 が係数となります．

例題3の解答と解説．
[ ]の中の文字に着目します．

(a) -x^3z　　[ x ]
係数：-z　　次数：3
z は数として扱います．

(b) -4s^5t^2　　[ t ]
係数：-4s^5　　次数：2
t は数として扱います．

(c) 2a^3b^2c^3de　　[b と c]
係数：2a^3de　　次数：5
a と d と e は数として扱います．

　単項式の積の次数がどうなるか観察してみましょう．次の計算を見てみます．

4x の次数は 1 ，-3a^2bc^3 の次数は 6 ，-12a^2bc^3x の次数は 7 となります．つまり

となっています．他の次数1の単項式と次数6の単項式の積についても成り立つか見てみましょう．

どうやら以下の式
(次数1の単項式) \times (次数6の単項式) = (次数7の単項式)
は次数の条件を満たすどのような単項式についても成り立ちそうです．

　これをさらに一般化してみます．

この法則が成り立つか，確認してみてください．また，なぜこのような法則が成り立つのか考えてみましょう．

例題4の解答．

(1) -2ab \times 4a^2b^2 = -8a^3b^3

(2) 3x^2y \times 5x^3y^2z^2 = 15x^5y^3z^2

(3) ab^2 \times (-2ac) \times 3a^4b^2 = -6a^6b^4c

　単項式 0 の次数は何でしょうか．

　数だけなので次数は 0 であると考えるかもしれません．しかし実際には 0 の次数は「定義されていない」のです．

　ここでは，なぜ 0 の次数は定義されていないのか，考えてみましょう．

ひとつ前の探求の項目で単項式の積の次数について考えました．そこで以下のような法則について考えました．

単項式の積では上記の法則が成り立ちます．ただし 0 の次数を 0 と仮定すると，この法則が当てはまらなくなります．片方の単項式が 0 だった場合，つまり (次数mの単項式) \times 0 のとき何が起こるか見てみましょう．この場合，

となります．ここで 0 の次数を 0 だと仮定します．すると，

となってしまい，(次数mの単項式) \times (次数nの単項式) = (次数 m+n の単項式)の法則が成り立たなくなってしまいます．(次数mの単項式) \times (次数 0 の単項式) = (次数 m の単項式) となってほしいのですが，そうならないのです．このことから，0 の次数を 0 と考えることには違和感が生じます．かといって，0 の次数を 0 以外の数にすることにも違和感があります⁶大学の数学では，ある操作のために 0 の次数を適当な負の数にしたり，負の無限大と定義することがあります．．

　このような理屈で，0 の次数は「定義されていない」と考えることができそうです．この考え方が正しいかは，正直分かりません．ひとつの考え方としてこのようなものもある，というだけです．

　実は今回の単項式の積に限らず，0 の掛け算は様々な例外を抱えています．実数の掛け算においては 0 以外の数では逆数を考えることができます．実数 a の逆数とは，a に掛けると 1 となる数 \frac{1}{a} のことです．例えば，4 の逆数は \frac{1}{4} です．しかし 0 に逆数は存在しません．0 に何を掛けても 1 にはならず，必ず 0 となるためです．

　話を元に戻しましょう．0 は掛け算において特別なのです．そのため， 0 の次数も定義されないのかもしれませんね．

例題5の解答．
多項式は(a), (b), (c)です．
また(b)の定数項は 12 ，(c)の定数項は -8 です．

(d) 3 は数だけの式なので単項式です．
(e) \frac{c^2}{b} が単項式ではありません．単項式でないものが足されているため多項式ではありません．

例題6の解答．
(a) -x^2z + 3z - 56x^2 -12y
次数：3

(b) s^3t^2 - s^2t + 6s^2 - 12st + 12
次数：5

(c) x^3 - 6x^2 + 12x - 8
次数：3

(d) 3a^4b^2 + a^4b - 8a^3b^2 + 2a^3 -9a^2 +ab -19a + 23
次数：6

例題6の解説．
(a) -x^2z + 3z - 56x^2 -12y
最も次数の高い項は -x^2z で，その次数は 3 です．

(b) s^3t^2 - s^2t + 6s^2 - 12st + 12
最も次数の高い項は s^3t^2 で，その次数は 5 です．

(c) x^3 - 6x^2 + 12x - 8
最も次数の高い項は x^3 で，その次数は 3 です．

(d) 3a^4b^2 + a^4b - 8a^3b^2 + 2a^3 -9a^2 +ab -19a + 23
最も次数の高い項は 3a^4b^2 で，その次数は 6 です．

例題7の解答と解説．
[ ]の中の文字に着目します．

(a) 3a^4b^2 + a^4b - 8a^3b^2 + 2a^3 -9a^2 +ab -19a + 23　　[ a ]
次数：4　　定数項：23
b は数として扱います．

(b) s^3t^2 - s^2t + 6s^2 - 12st + 12 　　[ t ]
次数：2　　定数項：6s^2 + 12
s は数として扱います．最も次数が高い項は s^3t^2 になります．また t が含まれない項は全て定数項となります．

(c) -x^2z + 3z - 56x^2 -12y　　[ x と z ]
次数：3　　定数項：-12y
y は数として扱います．最も次数が高い項は -x^2z になります．

例題8の解説．
[ ]の中の文字に着目して，次数の高い項から順に並び替えます．

例題8の解答．
(1)
4a^5 -12a^4 - 3a^3 + 3a^2b^2 +2ab -3b + 23
次数が等しい項は逆でも良い．つまり以下のような答えでも良い．
4a^5 -12a^4 - 3a^3 + 3a^2b^2 +2ab + 23 -3b

(2)
6x^6 - x^4y +x^3y^2 - x^2 - 12xy + 12x
次数が等しい項は逆でも良い．以下は別解．
6x^6 - x^4y +x^3y^2 - x^2 +12x - 12xy

　単項式の解説で少しお話ししましたが，文字の割り算が含まれる場合，つまり分数の分母に文字がある場合は単項式ではありません．これは多項式にも当てはまります．単項式の和が多項式なので，文字の割り算が含まれる項がある式は多項式ではありません．

　この条件を別の表現で表してみます．
　文字が分数の分母にある場合でも，指数の形で表すことができます．
\frac{1}{a} = a^{-1} \\ \frac{1}{a^2} = a^{-2}
というふうに表します．一般化すると
\frac{1}{a^n} = a^{-n}
となります．
　また，文字の正の平方根 \sqrt{a} を含む式も，単項式や多項式ではありません．正の平方根を指数の形で，\sqrt{a} = a^{\frac{1}{2}} と表すことができます．

　ここまでの話をまとめて，多項式の条件を言い換えてみます．つまり，多項式に含まれる文字の冪指数⁷指数の右上に載っている数のこと．a^n における n の部分のこと．は正の整数でなければならない，という条件があると言えます．これは，文字の割り算や，文字の正の平方根を含まないという条件を，少しお堅く言い直した条件です．この条件は高校の教科書ではあまり書かれていないことです．

　ちなみにこの条件を緩くして，冪指数が負の整数の場合でもOKにした多項式をローラン多項式といいます．大学進学後に学ぶ人が居るかもしれません．私も詳しいわけではありませんが，なかなか面白そうです．

　数学の世界では「この条件を緩くしたらどうなるか」「この条件を無くすとどうなるか」「条件を足したらどうなるか」といったことを考えることで，新しく興味深い洞察に辿り着くことがあります．そのために，定義や定理に含まれる条件を明確にする必要があるのです．

例題9の解答．
(1)
3x^3 - 2x^3 + 4x^2 + x^2 - 5x + 8x -12 + 3 \\ = (3 - 2)x^3 + (4 + 1)x^2 + (-5 + 8)x + (-12 + 3) \\ = x^3 +5x^2 + 3x -9

(2)
a^2b^2 + 3a^2b - 5a^2b^2 -6ab + a + 12 + 5ab -4 \\ = -4a^2b^2 + 3a^2b - ab + a + 8

例題10の解答．

A + B \\ = 3x^4 - x^3 + x^2 - 3x + 2y - 4 + x^4 - 2x^3 - 2x^2 + 2x + 3 \\ = 4x^4 - 3x^3 - x^2 - x + 2y - 1


A - B \\ = 3x^4 - x^3 + x^2 - 3x + 2y - 4 - (x^4 - 2x^3 - 2x^2 + 2x + 3) \\ = 3x^4 - x^3 + x^2 - 3x + 2y - 4 - x^4 + 2x^3 + 2x^2 - 2x - 3 \\ = 2x^4 + x^3 + 3x^2 -5x + 2y - 7

　大学の数学では，単項式が多項式に含まれることが多々あります．つまり，高校の数学における整式と同じ意味で，多項式という言葉が使われるということです．

　ただ「整式」という言葉も決して悪い言葉ではありません．整数と同じように加減乗除ができる式，という性質をよく表した言葉だと思います．整式同士の足し算，引き算はすでに例題10で学習しました．掛け算もこの後の「展開公式」のページで学習します．割り算については，もう少し先で学習することになりますが，整数のときと同様に商と余りを求めることができます．