ここから数学IIの内容に入ります。この章の前半では、$(a+b)^n$ を何乗でも一気に展開できる「二項定理」を学びます。パスカルの三角形から出発して、組合せの記号 ${}_n\mathrm{C}_r$ を使った一般の形、特定の項の係数の求め方、係数の性質、そして3つの文字の場合(多項定理)まで進みます。後半は「整式の除法」です。整数の割り算と同じように、整式も商と余りを求められます。割り算の等式 $A = BQ + R$ は、第12章の剰余の定理や、式の値を手早く求める工夫につながります。
パスカルの三角形
第1章では ( a + b ) 2 (a+b)^2 ( a + b ) 2 と ( a + b ) 3 (a+b)^3 ( a + b ) 3 の展開を乗法公式として覚えました。では ( a + b ) 4 (a+b)^4 ( a + b ) 4 や ( a + b ) 5 (a+b)^5 ( a + b ) 5 はどうでしょう。毎回かけ算をくり返すのは大変なので、係数だけを取り出して並べてみます。
これをパスカルの三角形 といいます。たとえば4段目(n n n = 4 {}= 4 = 4 ) の 1 , 1, 1 , 4 , \ 4, 4 , 6 , \ 6, 6 , 4 , \ 4, 4 , 1 \ 1 1 から
( a + b ) 4 \displaystyle (a+b)^4 ( a + b ) 4 = a 4 \displaystyle {}= a^4 = a 4 + 4 a 3 b \displaystyle {}+ 4a^3b + 4 a 3 b + 6 a 2 b 2 \displaystyle {}+ 6a^2b^2 + 6 a 2 b 2 + 4 a b 3 \displaystyle {}+ 4ab^3 + 4 a b 3 + b 4 \displaystyle {}+ b^4 + b 4
と分かります。a a a の指数は 4 4 4 から 1 1 1 ずつ減り、b b b の指数は 0 0 0 から 1 1 1 ずつ増えます。各項の指数の和はいつも 4 4 4 です。
「上の2つを足す」理由は、( a + b ) 4 (a+b)^4 ( a + b ) 4 = ( a + b ) 3 ( a + b ) {}= (a+b)^3(a+b) = ( a + b ) 3 ( a + b ) と考えると見えてきます。たとえば a 2 b 2 a^2b^2 a 2 b 2 の項は、( a + b ) 3 (a+b)^3 ( a + b ) 3 の 3 a 2 b 3a^2b 3 a 2 b に b b b をかけたものと、3 a b 2 3ab^2 3 a b 2 に a a a をかけたものから生まれます。だから係数は 3 3 3 + 3 {}+ 3 + 3 = 6 {}= 6 = 6 です。
碁盤の目のような街で、いちばん上の交差点から下へ進む道順を考えてみましょう。左下か右下にしか進めないとき、ある交差点へ行く道順の数は「左上の交差点までの道順」と「右上の交差点までの道順」の和になります。パスカルの三角形の数は、ちょうどこの道順の数 になっています。
( a + b ) n (a+b)^n ( a + b ) n の係数は、両端を 1 1 1 にして「上の2つを足す」ことをくり返せば、すべて手に入るということです。
例題1:パスカルの三角形を用いた展開
パスカルの三角形を用いて、次の式を展開した式を求めなさい。
(1) ( x + 2 ) 4 (x+2)^4 ( x + 2 ) 4
(2) ( 2 a − b ) 5 (2a-b)^5 ( 2 a − b ) 5
【解答】
(1) 4段目の係数 1 , 1, 1 , 4 , \ 4, 4 , 6 , \ 6, 6 , 4 , \ 4, 4 , 1 \ 1 1 を使い、a a a を x x x 、b b b を 2 2 2 として当てはめます。
( x + 2 ) 4 \displaystyle (x+2)^4 ( x + 2 ) 4 = x 4 \displaystyle {}= x^4 = x 4 + 4 x 3 ⋅ 2 \displaystyle {}+ 4x^3 \cdot 2 + 4 x 3 ⋅ 2 + 6 x 2 ⋅ 2 2 \displaystyle {}+ 6x^2 \cdot 2^2 + 6 x 2 ⋅ 2 2 + 4 x ⋅ 2 3 \displaystyle {}+ 4x \cdot 2^3 + 4 x ⋅ 2 3 + 2 4 \displaystyle {}+ 2^4 + 2 4 = x 4 \displaystyle {}= x^4 = x 4 + 8 x 3 \displaystyle {}+ 8x^3 + 8 x 3 + 24 x 2 \displaystyle {}+ 24x^2 + 24 x 2 + 32 x \displaystyle {}+ 32x + 32 x + 16 \displaystyle {}+ 16 + 16 (2) 5段目の係数 1 , 1, 1 , 5 , \ 5, 5 , 10 , \ 10, 10 , 10 , \ 10, 10 , 5 , \ 5, 5 , 1 \ 1 1 を使い、a a a を 2 a 2a 2 a 、b b b を − b -b − b として当てはめます。
( 2 a − b ) 5 \displaystyle (2a-b)^5 ( 2 a − b ) 5 = ( 2 a ) 5 \displaystyle {}= (2a)^5 = ( 2 a ) 5 + 5 ( 2 a ) 4 ( − b ) \displaystyle {}+ 5(2a)^4(-b) + 5 ( 2 a ) 4 ( − b ) + 10 ( 2 a ) 3 ( − b ) 2 \displaystyle {}+ 10(2a)^3(-b)^2 + 10 ( 2 a ) 3 ( − b ) 2 + 10 ( 2 a ) 2 ( − b ) 3 \displaystyle {}+ 10(2a)^2(-b)^3 + 10 ( 2 a ) 2 ( − b ) 3 + 5 ( 2 a ) ( − b ) 4 \displaystyle {}+ 5(2a)(-b)^4 + 5 ( 2 a ) ( − b ) 4 + ( − b ) 5 \displaystyle {}+ (-b)^5 + ( − b ) 5 = 32 a 5 \displaystyle {}= 32a^5 = 32 a 5 − 80 a 4 b \displaystyle {}- 80a^4b − 80 a 4 b + 80 a 3 b 2 \displaystyle {}+ 80a^3b^2 + 80 a 3 b 2 − 40 a 2 b 3 \displaystyle {}- 40a^2b^3 − 40 a 2 b 3 + 10 a b 4 \displaystyle {}+ 10ab^4 + 10 a b 4 − b 5 \displaystyle {}- b^5 − b 5 − b -b − b の奇数乗は負になるので、符号が + + + と − - − で交互に並びます。
組合せの記号と二項定理
パスカルの三角形は、段が深くなると書くのが大変です。( a + b ) 10 (a+b)^{10} ( a + b ) 10 の係数を知りたいとき、10段すべてを書くのは遠回りです。そこで、係数を直接計算できる記号を使います。
n C r {}_n\mathrm{C}_r n C r は「コンビネーション n n n ,r r r 」 と読みます。分子は n n n から 1 1 1 ずつ減らして r r r 個かけた数、分母は r r r から 1 1 1 までかけた数です。たとえば
5 C 2 \displaystyle {}_5\mathrm{C}_2 5 C 2 = 5 ⋅ 4 2 ⋅ 1 \displaystyle {}= \frac{5 \cdot 4}{2 \cdot 1} = 2 ⋅ 1 5 ⋅ 4 = 10 , \displaystyle {}= 10, = 10 , 6 C 3 \displaystyle {}_6\mathrm{C}_3 6 C 3 = 6 ⋅ 5 ⋅ 4 3 ⋅ 2 ⋅ 1 \displaystyle {}= \frac{6 \cdot 5 \cdot 4}{3 \cdot 2 \cdot 1} = 3 ⋅ 2 ⋅ 1 6 ⋅ 5 ⋅ 4 = 20 \displaystyle {}= 20 = 20
です。選び方の数そのものは「場合の数と確率」の分野(第4章 組合せ)で詳しく学びます。ここでは計算のしかたと、なぜ展開の係数になるのかをつかめば十分です。
( a + b ) n (a+b)^n ( a + b ) n は、( a + b ) (a+b) ( a + b ) を n n n 個かけたものです。展開するとは、n n n 個のかっこそれぞれから a a a か b b b のどちらかを1つずつ取り出してかけ、それを全部足すことです。a n − r b r a^{n-r}b^r a n − r b r の項ができるのは、n n n 個のかっこのうち b b b を取り出すかっこを r r r 個選んだとき です。その選び方が n C r {}_n\mathrm{C}_r n C r 通りあるので、係数は n C r {}_n\mathrm{C}_r n C r になります。
喫茶店で n n n 人がそれぞれ「コーヒー」か「紅茶」を注文する場面に似ています。紅茶がちょうど r r r 杯になる注文のしかたは、「n n n 人のうち誰が紅茶を頼むか」を選ぶ数、つまり n C r {}_n\mathrm{C}_r n C r 通りです。かっこが客、a a a がコーヒー、b b b が紅茶にあたります。
二項定理とは、( a + b ) n (a+b)^n ( a + b ) n の a n − r b r a^{n-r}b^r a n − r b r の係数が「n n n 個のかっこから b b b を出すものを r r r 個選ぶ数」n C r {}_n\mathrm{C}_r n C r になる、ということです。
例題2:二項定理を用いた展開
(1) 7 C 3 {}_7\mathrm{C}_3 7 C 3 と 8 C 6 {}_8\mathrm{C}_6 8 C 6 の値を求めなさい。
(2) 二項定理を用いて、( x − 1 ) 6 (x-1)^6 ( x − 1 ) 6 を展開した式を求めなさい。
【解答】
(1)
7 C 3 \displaystyle {}_7\mathrm{C}_3 7 C 3 = 7 ⋅ 6 ⋅ 5 3 ⋅ 2 ⋅ 1 \displaystyle {}= \frac{7 \cdot 6 \cdot 5}{3 \cdot 2 \cdot 1} = 3 ⋅ 2 ⋅ 1 7 ⋅ 6 ⋅ 5 = 35 \displaystyle {}= 35 = 35 8 C 6 {}_8\mathrm{C}_6 8 C 6 は 8 C 6 {}_8\mathrm{C}_6 8 C 6 = 8 C 2 {}= {}_8\mathrm{C}_2 = 8 C 2 を使うと計算が短くなります。
8 C 6 \displaystyle {}_8\mathrm{C}_6 8 C 6 = 8 C 2 \displaystyle {}= {}_8\mathrm{C}_2 = 8 C 2 = 8 ⋅ 7 2 ⋅ 1 \displaystyle {}= \frac{8 \cdot 7}{2 \cdot 1} = 2 ⋅ 1 8 ⋅ 7 = 28 \displaystyle {}= 28 = 28 8個から6個を選ぶことは、選ばない2個を決めることと同じだからです。
(2) 二項係数は 6 C 0 {}_6\mathrm{C}_0 6 C 0 = 1 {}= 1 = 1 ,6 C 1 {}_6\mathrm{C}_1 6 C 1 = 6 {}= 6 = 6 ,6 C 2 {}_6\mathrm{C}_2 6 C 2 = 15 {}= 15 = 15 ,6 C 3 {}_6\mathrm{C}_3 6 C 3 = 20 {}= 20 = 20 で、残りは左右対称に 15 , 15, 15 , 6 , \ 6, 6 , 1 \ 1 1 です。b b b = − 1 {}= -1 = − 1 として当てはめると
( x − 1 ) 6 \displaystyle (x-1)^6 ( x − 1 ) 6 = x 6 \displaystyle {}= x^6 = x 6 − 6 x 5 \displaystyle {}- 6x^5 − 6 x 5 + 15 x 4 \displaystyle {}+ 15x^4 + 15 x 4 − 20 x 3 \displaystyle {}- 20x^3 − 20 x 3 + 15 x 2 \displaystyle {}+ 15x^2 + 15 x 2 − 6 x \displaystyle {}- 6x − 6 x + 1 \displaystyle {}+ 1 + 1 ( − 1 ) r (-1)^r ( − 1 ) r は r r r が奇数のとき − 1 -1 − 1 なので、符号が交互になります。
特定の項の係数
二項定理のありがたさは、全部を展開しなくても、ほしい項だけを取り出せることです。
( 2 x − 3 ) 5 (2x-3)^5 ( 2 x − 3 ) 5 の x 3 x^3 x 3 の係数なら、一般項は 5 C r ( 2 x ) 5 − r ( − 3 ) r {}_5\mathrm{C}_r\,(2x)^{5-r}(-3)^r 5 C r ( 2 x ) 5 − r ( − 3 ) r です。x x x の指数は 5 5 5 − r {}- r − r なので、5 5 5 − r {}- r − r = 3 {}= 3 = 3 から r r r = 2 {}= 2 = 2 と決まります。( 2 x ) 5 − r (2x)^{5-r} ( 2 x ) 5 − r の 2 2 2 や ( − 3 ) r (-3)^r ( − 3 ) r の − 3 -3 − 3 のように、文字にくっついている数も係数に含めるのを忘れないようにしましょう。
分厚い辞書で1つの単語を調べるとき、最初のページから順に読む人はいません。見出し語の並び方(五十音順)という規則を知っているから、目当てのページを一発で開けます。一般項は、展開式のどこに何があるかを示す規則 です。規則を知っていれば、ほしい項へまっすぐたどり着けます。
特定の項の係数は、一般項を書いて指数を合わせるように r r r を決めれば、全部を展開せずに求められるということです。
例題3:特定の項の係数
次の係数を求めなさい。
(1) ( 2 x − 3 ) 5 (2x-3)^5 ( 2 x − 3 ) 5 の展開式における x 3 x^3 x 3 の係数
(2) ( x 2 + 2 ) 5 (x^2+2)^5 ( x 2 + 2 ) 5 の展開式における x 6 x^6 x 6 の係数
(3) ( x − 2 y ) 7 (x-2y)^7 ( x − 2 y ) 7 の展開式における x 4 y 3 x^4y^3 x 4 y 3 の係数
【解答】
(1) 一般項は 5 C r ( 2 x ) 5 − r ( − 3 ) r {}_5\mathrm{C}_r\,(2x)^{5-r}(-3)^r 5 C r ( 2 x ) 5 − r ( − 3 ) r = 5 C r ⋅ 2 5 − r ⋅ ( − 3 ) r ⋅ x 5 − r {}= {}_5\mathrm{C}_r \cdot 2^{5-r} \cdot (-3)^r \cdot x^{5-r} = 5 C r ⋅ 2 5 − r ⋅ ( − 3 ) r ⋅ x 5 − r です。5 5 5 − r {}- r − r = 3 {}= 3 = 3 より r r r = 2 {}= 2 = 2 なので
5 C 2 ⋅ 2 3 ⋅ ( − 3 ) 2 \displaystyle {}_5\mathrm{C}_2 \cdot 2^3 \cdot (-3)^2 5 C 2 ⋅ 2 3 ⋅ ( − 3 ) 2 = 10 ⋅ 8 ⋅ 9 \displaystyle {}= 10 \cdot 8 \cdot 9 = 10 ⋅ 8 ⋅ 9 = 720 ‾ \displaystyle {}= \underline{720} = 720 (2) 一般項は 5 C r ( x 2 ) 5 − r ⋅ 2 r {}_5\mathrm{C}_r\,(x^2)^{5-r} \cdot 2^r 5 C r ( x 2 ) 5 − r ⋅ 2 r = 5 C r ⋅ 2 r ⋅ x 10 − 2 r {}= {}_5\mathrm{C}_r \cdot 2^r \cdot x^{10-2r} = 5 C r ⋅ 2 r ⋅ x 10 − 2 r です。10 10 10 − 2 r {}- 2r − 2 r = 6 {}= 6 = 6 より r r r = 2 {}= 2 = 2 なので
5 C 2 ⋅ 2 2 \displaystyle {}_5\mathrm{C}_2 \cdot 2^2 5 C 2 ⋅ 2 2 = 10 ⋅ 4 \displaystyle {}= 10 \cdot 4 = 10 ⋅ 4 = 40 ‾ \displaystyle {}= \underline{40} = 40 ( x 2 ) 5 − r (x^2)^{5-r} ( x 2 ) 5 − r の指数は 2 ( 5 − r ) 2(5-r) 2 ( 5 − r ) になることに注意します(第1章の指数法則)。
(3) 一般項は 7 C r x 7 − r ( − 2 y ) r {}_7\mathrm{C}_r\,x^{7-r}(-2y)^r 7 C r x 7 − r ( − 2 y ) r = 7 C r ⋅ ( − 2 ) r ⋅ x 7 − r y r {}= {}_7\mathrm{C}_r \cdot (-2)^r \cdot x^{7-r}y^r = 7 C r ⋅ ( − 2 ) r ⋅ x 7 − r y r です。x 4 y 3 x^4y^3 x 4 y 3 になるのは r r r = 3 {}= 3 = 3 のときなので
7 C 3 ⋅ ( − 2 ) 3 \displaystyle {}_7\mathrm{C}_3 \cdot (-2)^3 7 C 3 ⋅ ( − 2 ) 3 = 35 ⋅ ( − 8 ) \displaystyle {}= 35 \cdot (-8) = 35 ⋅ ( − 8 ) = − 280 ‾ \displaystyle {}= \underline{-280} = − 280
二項係数の性質
二項定理は「どんな a a a ,b b b でも成り立つ等式」です。そこで a a a ,b b b に都合のよい数を入れると、二項係数どうしの関係が得られます。
1つめは、パスカルの三角形の各段の和が 1 , 1, 1 , 2 , \ 2, 2 , 4 , \ 4, 4 , 8 , \ 8, 8 , 16 , \ 16, 16 , 32 , \ 32, 32 , … \ \ldots … と倍々に増えることを表しています。
宅配ピザで、n n n 種類のトッピングからいくつかを選ぶ場面を考えます。どのトッピングも「のせる」か「のせない」かの2通りなので、選び方は全部で 2 n 2^n 2 n 通りです。一方、この 2 n 2^n 2 n 通りを「のせる個数」で分けると、0 0 0 個が n C 0 {}_n\mathrm{C}_0 n C 0 通り、1 1 1 個が n C 1 {}_n\mathrm{C}_1 n C 1 通り、……、n n n 個が n C n {}_n\mathrm{C}_n n C n 通りです。同じものを2通りに数えたので、両者は等しくなります。
二項定理は、1 1 1 に近い数の累乗の近似値 を求めるのにも使えます。( 1 + 0.01 ) 10 (1 + 0.01)^{10} ( 1 + 0.01 ) 10 を展開すると、0.01 0.01 0.01 の累乗はどんどん小さくなるので、最初の数項だけで十分な精度が出ます。
二項定理に a a a = b {}= b = b = 1 {}= 1 = 1 などの具体的な数を入れると、二項係数の和が 2 n 2^n 2 n になるといった性質が一気に導けるということです。
例題4:二項係数の性質と近似値
(1) 6 C 0 {}_6\mathrm{C}_0 6 C 0 + 6 C 1 {}+ {}_6\mathrm{C}_1 + 6 C 1 + 6 C 2 {}+ {}_6\mathrm{C}_2 + 6 C 2 + ⋯ {}+ \cdots + ⋯ + 6 C 6 {}+ {}_6\mathrm{C}_6 + 6 C 6 の値を求めなさい。
(2) 7 C 1 {}_7\mathrm{C}_1 7 C 1 + 7 C 2 {}+ {}_7\mathrm{C}_2 + 7 C 2 + ⋯ {}+ \cdots + ⋯ + 7 C 7 {}+ {}_7\mathrm{C}_7 + 7 C 7 の値を求めなさい。
(3) 1.01 10 1.01^{10} 1.0 1 10 の小数第4位を四捨五入した値を求めなさい。
【解答】
(1) 公式4より 2 6 2^6 2 6 = 64 ‾ {}= \underline{64} = 64 です。
(2) 7 C 0 {}_7\mathrm{C}_0 7 C 0 から 7 C 7 {}_7\mathrm{C}_7 7 C 7 までの和は 2 7 2^7 2 7 = 128 {}= 128 = 128 です。そこから 7 C 0 {}_7\mathrm{C}_0 7 C 0 = 1 {}= 1 = 1 を除くので、128 128 128 − 1 {}- 1 − 1 = 127 ‾ {}= \underline{127} = 127 です。
(3) 1.01 10 1.01^{10} 1.0 1 10 = ( 1 + 0.01 ) 10 {}= (1 + 0.01)^{10} = ( 1 + 0.01 ) 10 を二項定理で展開します。
( 1 + 0.01 ) 10 \displaystyle (1 + 0.01)^{10} ( 1 + 0.01 ) 10 = 1 \displaystyle {}= 1 = 1 + 10 C 1 ⋅ 0.01 \displaystyle {}+ {}_{10}\mathrm{C}_1 \cdot 0.01 + 10 C 1 ⋅ 0.01 + 10 C 2 ⋅ 0.01 2 \displaystyle {}+ {}_{10}\mathrm{C}_2 \cdot 0.01^2 + 10 C 2 ⋅ 0.0 1 2 + 10 C 3 ⋅ 0.01 3 \displaystyle {}+ {}_{10}\mathrm{C}_3 \cdot 0.01^3 + 10 C 3 ⋅ 0.0 1 3 + ⋯ \displaystyle {}+ \cdots + ⋯ = 1 \displaystyle {}= 1 = 1 + 0.1 \displaystyle {}+ 0.1 + 0.1 + 0.0045 \displaystyle {}+ 0.0045 + 0.0045 + 0.00012 \displaystyle {}+ 0.00012 + 0.00012 + ⋯ \displaystyle {}+ \cdots + ⋯ 5項目以降は 10 C 4 ⋅ 0.01 4 {}_{10}\mathrm{C}_4 \cdot 0.01^4 10 C 4 ⋅ 0.0 1 4 = 0.0000021 {}= 0.0000021 = 0.0000021 のようにごく小さく、全部足しても小数第4位には届きません。よって 1.01 10 1.01^{10} 1.0 1 10 = 1.1046 ⋯ {}= 1.1046\cdots = 1.1046 ⋯ で、小数第4位を四捨五入すると 1.105 ‾ \underline{1.105} 1.105 です。
多項定理
二項定理は2つの項の和の累乗でした。項が3つになっても、同じ考え方で係数が求められます。
( a + b + c ) n (a+b+c)^n ( a + b + c ) n の n n n 個のかっこから、a a a を p p p 個、b b b を q q q 個、c c c を r r r 個取り出す方法の数を数えます。まず a a a を出すかっこを n C p {}_n\mathrm{C}_p n C p 通り選び、残り n n n − p {}- p − p 個から b b b を出すかっこを n − p C q {}_{n-p}\mathrm{C}_q n − p C q 通り選べば、残りはすべて c c c です。この積を計算すると n ! p ! q ! r ! \dfrac{n!}{p!\,q!\,r!} p ! q ! r ! n ! になります。
喫茶店の例に緑茶を加えて、n n n 人が「コーヒー・紅茶・緑茶」から1つずつ注文する場面で考えます。コーヒー p p p 杯、紅茶 q q q 杯、緑茶 r r r 杯になる注文のしかたの数が、a p b q c r a^pb^qc^r a p b q c r の係数です。
3つの項の和の累乗でも、a p b q c r a^pb^qc^r a p b q c r の係数は「n n n 個のかっこに a a a ,b b b ,c c c を割り当てる方法の数」n ! p ! q ! r ! \dfrac{n!}{p!\,q!\,r!} p ! q ! r ! n ! で求められるということです。
例題5:多項定理
次の係数を求めなさい。
(1) ( a + b + c ) 5 (a+b+c)^5 ( a + b + c ) 5 の展開式における a 2 b 2 c a^2b^2c a 2 b 2 c の係数
(2) ( x + 2 y − z ) 6 (x+2y-z)^6 ( x + 2 y − z ) 6 の展開式における x 3 y 2 z x^3y^2z x 3 y 2 z の係数
【解答】
(1) p p p = 2 {}= 2 = 2 ,q q q = 2 {}= 2 = 2 ,r r r = 1 {}= 1 = 1 なので
5 ! 2 ! 2 ! 1 ! \displaystyle \frac{5!}{2!\,2!\,1!} 2 ! 2 ! 1 ! 5 ! = 120 2 ⋅ 2 ⋅ 1 \displaystyle {}= \frac{120}{2 \cdot 2 \cdot 1} = 2 ⋅ 2 ⋅ 1 120 = 30 ‾ \displaystyle {}= \underline{30} = 30 (2) 一般項は 6 ! p ! q ! r ! x p ( 2 y ) q ( − z ) r \dfrac{6!}{p!\,q!\,r!}\,x^p(2y)^q(-z)^r p ! q ! r ! 6 ! x p ( 2 y ) q ( − z ) r です。x 3 y 2 z x^3y^2z x 3 y 2 z なので p p p = 3 {}= 3 = 3 ,q q q = 2 {}= 2 = 2 ,r r r = 1 {}= 1 = 1 として
6 ! 3 ! 2 ! 1 ! ⋅ 2 2 ⋅ ( − 1 ) 1 \displaystyle \frac{6!}{3!\,2!\,1!} \cdot 2^2 \cdot (-1)^1 3 ! 2 ! 1 ! 6 ! ⋅ 2 2 ⋅ ( − 1 ) 1 = 60 ⋅ 4 ⋅ ( − 1 ) \displaystyle {}= 60 \cdot 4 \cdot (-1) = 60 ⋅ 4 ⋅ ( − 1 ) = − 240 ‾ \displaystyle {}= \underline{-240} = − 240 二項定理のときと同じく、文字にくっついた 2 2 2 や − 1 -1 − 1 も係数に入れます。
整式の除法
ここから後半です。整数に割り算があるように、整式どうしにも割り算があります。
計算のしかたは、整数の割り算の筆算と同じです。
A A A ,B B B をそれぞれ降べきの順に整理する。A A A に欠けている次数があれば、その次数の係数を 0 0 0 として場所を空けておく。
A A A の最高次の項を B B B の最高次の項で割り、商の最初の項を立てる。
その項と B B B の積を A A A から引く。
残った式の次数が B B B の次数より小さくなるまで、2・3をくり返す。最後に残った式が余りである。
30 30 30 個のクッキーを 7 7 7 個入りの箱に詰めると、4 4 4 箱できて 2 2 2 個余ります(30 30 30 = 7 × 4 {}= 7 \times 4 = 7 × 4 + 2 {}+ 2 + 2 )。 余りの 2 2 2 個は 7 7 7 個に満たないので、もう1箱は作れません。整式の割り算も同じで、残った式の次数が割る式の次数より小さくなったら 、それ以上は割れません。これが余りの条件「R R R の次数 < < < B B B の次数」の意味です。特に、1次式で割った余りは定数になります。
整式の割り算は整数の筆算と同じ手順で進め、残りの次数が割る式の次数より小さくなったところで止めると、A A A = B Q {}= BQ = B Q + R {}+ R + R の形が得られるということです。
例題6:整式の除法
次の整式 A A A を整式 B B B で割ったときの商と余りを求めなさい。
(1) A A A = 2 x 3 {}= 2x^3 = 2 x 3 − 3 x 2 {}- 3x^2 − 3 x 2 + 4 x {}+ 4x + 4 x − 5 {}- 5 − 5 ,B B B = x {}= x = x − 2 {}- 2 − 2
(2) A A A = x 4 {}= x^4 = x 4 + 3 x 2 {}+ 3x^2 + 3 x 2 − x {}- x − x + 2 {}+ 2 + 2 ,B B B = x 2 {}= x^2 = x 2 − x {}- x − x + 1 {}+ 1 + 1
【解答】
(1) 筆算の各段を等式で書くと、次のようになります。
2 x 3 \displaystyle 2x^3 2 x 3 − 3 x 2 \displaystyle {}- 3x^2 − 3 x 2 + 4 x \displaystyle {}+ 4x + 4 x − 5 \displaystyle {}- 5 − 5 = 2 x 2 ( x − 2 ) \displaystyle {}= 2x^2(x - 2) = 2 x 2 ( x − 2 ) + ( x 2 + 4 x − 5 ) \displaystyle {}+ (x^2 + 4x - 5) + ( x 2 + 4 x − 5 ) x 2 \displaystyle x^2 x 2 + 4 x \displaystyle {}+ 4x + 4 x − 5 \displaystyle {}- 5 − 5 = x ( x − 2 ) \displaystyle {}= x(x - 2) = x ( x − 2 ) + ( 6 x − 5 ) \displaystyle {}+ (6x - 5) + ( 6 x − 5 ) 6 x \displaystyle 6x 6 x − 5 \displaystyle {}- 5 − 5 = 6 ( x − 2 ) \displaystyle {}= 6(x - 2) = 6 ( x − 2 ) + 7 \displaystyle {}+ 7 + 7 1行目で 2 x 3 ÷ x 2x^3 \div x 2 x 3 ÷ x = 2 x 2 {}= 2x^2 = 2 x 2 を立てて 2 x 2 ( x − 2 ) 2x^2(x-2) 2 x 2 ( x − 2 ) = 2 x 3 {}= 2x^3 = 2 x 3 − 4 x 2 {}- 4x^2 − 4 x 2 を引き、2行目・3行目も同じことをくり返しています。残りの 7 7 7 は定数(0次)で、B B B の次数 1 1 1 より小さいので止めます。立てた項をまとめて
商 2 x 2 + x + 6 ‾ , \displaystyle \text{商}\ \underline{2x^2 + x + 6}, 商 2 x 2 + x + 6 , 余り 7 ‾ \displaystyle \text{余り}\ \underline{7} 余り 7 (2) A A A には x 3 x^3 x 3 の項がないので、A A A = x 4 {}= x^4 = x 4 + 0 x 3 {}+ 0x^3 + 0 x 3 + 3 x 2 {}+ 3x^2 + 3 x 2 − x {}- x − x + 2 {}+ 2 + 2 と考えます。
x 4 \displaystyle x^4 x 4 + 0 x 3 \displaystyle {}+ 0x^3 + 0 x 3 + 3 x 2 \displaystyle {}+ 3x^2 + 3 x 2 − x \displaystyle {}- x − x + 2 \displaystyle {}+ 2 + 2 = x 2 ( x 2 − x + 1 ) \displaystyle {}= x^2(x^2 - x + 1) = x 2 ( x 2 − x + 1 ) + ( x 3 + 2 x 2 − x + 2 ) \displaystyle {}+ (x^3 + 2x^2 - x + 2) + ( x 3 + 2 x 2 − x + 2 ) x 3 \displaystyle x^3 x 3 + 2 x 2 \displaystyle {}+ 2x^2 + 2 x 2 − x \displaystyle {}- x − x + 2 \displaystyle {}+ 2 + 2 = x ( x 2 − x + 1 ) \displaystyle {}= x(x^2 - x + 1) = x ( x 2 − x + 1 ) + ( 3 x 2 − 2 x + 2 ) \displaystyle {}+ (3x^2 - 2x + 2) + ( 3 x 2 − 2 x + 2 ) 3 x 2 \displaystyle 3x^2 3 x 2 − 2 x \displaystyle {}- 2x − 2 x + 2 \displaystyle {}+ 2 + 2 = 3 ( x 2 − x + 1 ) \displaystyle {}= 3(x^2 - x + 1) = 3 ( x 2 − x + 1 ) + ( x − 1 ) \displaystyle {}+ (x - 1) + ( x − 1 ) 残りの x x x − 1 {}- 1 − 1 は1次で、B B B の次数 2 2 2 より小さいので止めます。
商 x 2 + x + 3 ‾ , \displaystyle \text{商}\ \underline{x^2 + x + 3}, 商 x 2 + x + 3 , 余り x − 1 ‾ \displaystyle \text{余り}\ \underline{x - 1} 余り x − 1 確かめとして ( x 2 − x + 1 ) ( x 2 + x + 3 ) (x^2 - x + 1)(x^2 + x + 3) ( x 2 − x + 1 ) ( x 2 + x + 3 ) + ( x − 1 ) {}+ (x - 1) + ( x − 1 ) を展開すると、A A A に戻ります。
除法の等式の利用
割り算の結果は、いつも A A A = B Q {}= BQ = B Q + R {}+ R + R という1本の等式で表せます。この等式を逆向きに使うと、いろいろな問題が解けます。
3つめの「次数下げ」を具体的に見てみます。x x x = 1 {}= 1 = 1 + 2 {}+ \sqrt{2} + 2 のとき、x x x − 1 {}- 1 − 1 = 2 {}= \sqrt{2} = 2 の両辺を2乗すると x 2 x^2 x 2 − 2 x {}- 2x − 2 x + 1 {}+ 1 + 1 = 2 {}= 2 = 2 、 つまり
x 2 \displaystyle x^2 x 2 − 2 x \displaystyle {}- 2x − 2 x − 1 \displaystyle {}- 1 − 1 = 0 \displaystyle {}= 0 = 0
です。3次式や4次式に 1 1 1 + 2 {}+ \sqrt{2} + 2 をそのまま代入すると計算が大変ですが、x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 1 {}- 1 − 1 で割っておけば、B Q BQ B Q の部分は 0 × Q 0 \times Q 0 × Q = 0 {}= 0 = 0 になり、1次以下の余り R R R だけを計算すれば済みます。
これは両替 に似ています。小銭がたくさんあると数えにくいので、「x 2 x^2 x 2 は 2 x 2x 2 x + 1 {}+ 1 + 1 と同じ」という両替のルールを使って、大きな次数を小さな次数へどんどん交換していきます。割り算は、その交換をまとめて行う手続きです。
等式 A A A = B Q {}= BQ = B Q + R {}+ R + R を使えば割られる式・割る式を逆算でき、B B B = 0 {}= 0 = 0 となる x x x では A A A の値が余り R R R の値だけで決まるということです。
例題7:除法の等式の利用
(1) 整式 A A A を x 2 x^2 x 2 + 1 {}+ 1 + 1 で割ると、商が x x x − 3 {}- 3 − 3 、 余りが 2 x 2x 2 x + 1 {}+ 1 + 1 である。A A A を求めなさい。
(2) x 3 x^3 x 3 + 2 x 2 {}+ 2x^2 + 2 x 2 + x {}+ x + x + 5 {}+ 5 + 5 を整式 B B B で割ると、商が x x x + 3 {}+ 3 + 3 、 余りが 2 x 2x 2 x − 1 {}- 1 − 1 である。B B B を求めなさい。
(3) x x x = 1 {}= 1 = 1 + 2 {}+ \sqrt{2} + 2 のとき、x 3 x^3 x 3 − x 2 {}- x^2 − x 2 − 3 x {}- 3x − 3 x + 2 {}+ 2 + 2 の値を求めなさい。
【解答】
(1) A A A = B Q {}= BQ = B Q + R {}+ R + R に当てはめます。
A \displaystyle A A = ( x 2 + 1 ) ( x − 3 ) \displaystyle {}= (x^2 + 1)(x - 3) = ( x 2 + 1 ) ( x − 3 ) + ( 2 x + 1 ) \displaystyle {}+ (2x + 1) + ( 2 x + 1 ) = x 3 \displaystyle {}= x^3 = x 3 − 3 x 2 \displaystyle {}- 3x^2 − 3 x 2 + x \displaystyle {}+ x + x − 3 \displaystyle {}- 3 − 3 + 2 x \displaystyle {}+ 2x + 2 x + 1 \displaystyle {}+ 1 + 1 = x 3 ‾ \displaystyle {}= \underline{\rule[-0.0833em]{0em}{0.9474em}x^3} = x 3 − 3 x 2 ‾ \displaystyle \underline{\rule[-0.0833em]{0em}{0.9474em}{}- 3x^2} − 3 x 2 + 3 x ‾ \displaystyle \underline{\rule[-0.0833em]{0em}{0.9474em}{}+ 3x} + 3 x − 2 ‾ \displaystyle \underline{\rule[-0.0833em]{0em}{0.9474em}{}- 2} − 2 (2) x 3 x^3 x 3 + 2 x 2 {}+ 2x^2 + 2 x 2 + x {}+ x + x + 5 {}+ 5 + 5 = B ( x + 3 ) {}= B(x + 3) = B ( x + 3 ) + ( 2 x − 1 ) {}+ (2x - 1) + ( 2 x − 1 ) なので
B ( x + 3 ) \displaystyle B(x + 3) B ( x + 3 ) = x 3 \displaystyle {}= x^3 = x 3 + 2 x 2 \displaystyle {}+ 2x^2 + 2 x 2 + x \displaystyle {}+ x + x + 5 \displaystyle {}+ 5 + 5 − ( 2 x − 1 ) \displaystyle {}- (2x - 1) − ( 2 x − 1 ) = x 3 \displaystyle {}= x^3 = x 3 + 2 x 2 \displaystyle {}+ 2x^2 + 2 x 2 − x \displaystyle {}- x − x + 6 \displaystyle {}+ 6 + 6 右辺を x x x + 3 {}+ 3 + 3 で割ります。
x 3 \displaystyle x^3 x 3 + 2 x 2 \displaystyle {}+ 2x^2 + 2 x 2 − x \displaystyle {}- x − x + 6 \displaystyle {}+ 6 + 6 = x 2 ( x + 3 ) \displaystyle {}= x^2(x + 3) = x 2 ( x + 3 ) + ( − x 2 − x + 6 ) \displaystyle {}+ (-x^2 - x + 6) + ( − x 2 − x + 6 ) − x 2 \displaystyle -x^2 − x 2 − x \displaystyle {}- x − x + 6 \displaystyle {}+ 6 + 6 = − x ( x + 3 ) \displaystyle {}= -x(x + 3) = − x ( x + 3 ) + ( 2 x + 6 ) \displaystyle {}+ (2x + 6) + ( 2 x + 6 ) 2 x \displaystyle 2x 2 x + 6 \displaystyle {}+ 6 + 6 = 2 ( x + 3 ) \displaystyle {}= 2(x + 3) = 2 ( x + 3 ) 割り切れて、B B B = x 2 ‾ {}= \underline{\rule[-0.0833em]{0em}{0.8974em}x^2} = x 2 − x ‾ \underline{\rule[-0.0833em]{0em}{0.8974em}{}- x} − x + 2 ‾ \underline{\rule[-0.0833em]{0em}{0.8974em}{}+ 2} + 2 です。余り 2 x 2x 2 x − 1 {}- 1 − 1 の次数 1 1 1 が B B B の次数 2 2 2 より小さいことも確かめられます。
(3) 上で見たように、x x x = 1 {}= 1 = 1 + 2 {}+ \sqrt{2} + 2 は x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 1 {}- 1 − 1 = 0 {}= 0 = 0 を満たします。x 3 x^3 x 3 − x 2 {}- x^2 − x 2 − 3 x {}- 3x − 3 x + 2 {}+ 2 + 2 を x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 1 {}- 1 − 1 で割ると
x 3 \displaystyle x^3 x 3 − x 2 \displaystyle {}- x^2 − x 2 − 3 x \displaystyle {}- 3x − 3 x + 2 \displaystyle {}+ 2 + 2 = x ( x 2 − 2 x − 1 ) \displaystyle {}= x(x^2 - 2x - 1) = x ( x 2 − 2 x − 1 ) + ( x 2 − 2 x + 2 ) \displaystyle {}+ (x^2 - 2x + 2) + ( x 2 − 2 x + 2 ) x 2 \displaystyle x^2 x 2 − 2 x \displaystyle {}- 2x − 2 x + 2 \displaystyle {}+ 2 + 2 = 1 ⋅ ( x 2 − 2 x − 1 ) \displaystyle {}= 1 \cdot (x^2 - 2x - 1) = 1 ⋅ ( x 2 − 2 x − 1 ) + 3 \displaystyle {}+ 3 + 3 なので、x 3 x^3 x 3 − x 2 {}- x^2 − x 2 − 3 x {}- 3x − 3 x + 2 {}+ 2 + 2 = ( x 2 − 2 x − 1 ) ( x + 1 ) {}= (x^2 - 2x - 1)(x + 1) = ( x 2 − 2 x − 1 ) ( x + 1 ) + 3 {}+ 3 + 3 です。x x x = 1 {}= 1 = 1 + 2 {}+ \sqrt{2} + 2 のとき x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 1 {}- 1 − 1 = 0 {}= 0 = 0 だから、求める値は 3 ‾ \underline{3} 3 です。
余りが定数になったので、2 \sqrt{2} 2 を代入する計算そのものが不要になりました。
※ここは発展ページ です。本文では、二項定理を「かっこから b b b を選ぶ数」という数え方で説明し、整式の割り算を筆算の手順として使いました。ここでは、二項係数を式で定めて二項定理を証明し、整式の割り算で商と余りが必ずただ1組に決まることを確かめます。
階乗と二項係数
定義1:階乗と二項係数
0 0 0 以上の整数 n n n に対し、n n n の階乗 n ! n! n ! を
0 ! \displaystyle 0! 0 ! = 1 , \displaystyle {}= 1, = 1 , n ! \displaystyle n! n ! = n ⋅ ( n − 1 ) ! \displaystyle {}= n \cdot (n-1)! = n ⋅ ( n − 1 )! ( n ≧ 1 ) \displaystyle (n \geqq 1) ( n ≧ 1 ) で定める。0 0 0 ≦ r {}\leqq r ≦ r ≦ n {}\leqq n ≦ n を満たす整数 r r r に対し、二項係数 を
n C r \displaystyle {}_n\mathrm{C}_r n C r = n ! r ! ( n − r ) ! \displaystyle {}= \frac{n!}{r!\,(n-r)!} = r ! ( n − r )! n ! と定める。
本文の公式2の分数 n ( n − 1 ) ⋯ ( n − r + 1 ) r ( r − 1 ) ⋯ 1 \dfrac{n(n-1)\cdots(n-r+1)}{r(r-1)\cdots 1} r ( r − 1 ) ⋯ 1 n ( n − 1 ) ⋯ ( n − r + 1 ) は、この定義の分子と分母を ( n − r ) ! (n-r)! ( n − r )! で約分したものです。定義から、n C 0 {}_n\mathrm{C}_0 n C 0 = n C n {}= {}_n\mathrm{C}_n = n C n = 1 {}= 1 = 1 と n C r {}_n\mathrm{C}_r n C r = n C n − r {}= {}_n\mathrm{C}_{n-r} = n C n − r はすぐに分かります。0 ! 0! 0 ! = 1 {}= 1 = 1 と決めておくのは、r r r = 0 {}= 0 = 0 や r r r = n {}= n = n のときにも同じ式が使えるようにするためです。
定理1:パスカルの規則
1 1 1 ≦ r {}\leqq r ≦ r ≦ n {}\leqq n ≦ n − 1 {}- 1 − 1 のとき
n C r \displaystyle {}_n\mathrm{C}_r n C r = n − 1 C r − 1 \displaystyle {}= {}_{n-1}\mathrm{C}_{r-1} = n − 1 C r − 1 + n − 1 C r \displaystyle {}+ {}_{n-1}\mathrm{C}_r + n − 1 C r 証明 右辺を定義1で書き、分母を r ! ( n − r ) ! r!\,(n-r)! r ! ( n − r )! にそろえる。
n − 1 C r − 1 \displaystyle {}_{n-1}\mathrm{C}_{r-1} n − 1 C r − 1 + n − 1 C r \displaystyle {}+ {}_{n-1}\mathrm{C}_r + n − 1 C r = ( n − 1 ) ! ( r − 1 ) ! ( n − r ) ! \displaystyle {}= \frac{(n-1)!}{(r-1)!\,(n-r)!} = ( r − 1 )! ( n − r )! ( n − 1 )! + ( n − 1 ) ! r ! ( n − 1 − r ) ! \displaystyle {}+ \frac{(n-1)!}{r!\,(n-1-r)!} + r ! ( n − 1 − r )! ( n − 1 )! = ( n − 1 ) ! ⋅ r r ! ( n − r ) ! \displaystyle {}= \frac{(n-1)! \cdot r}{r!\,(n-r)!} = r ! ( n − r )! ( n − 1 )! ⋅ r + ( n − 1 ) ! ⋅ ( n − r ) r ! ( n − r ) ! \displaystyle {}+ \frac{(n-1)! \cdot (n-r)}{r!\,(n-r)!} + r ! ( n − r )! ( n − 1 )! ⋅ ( n − r ) = ( n − 1 ) ! ⋅ n r ! ( n − r ) ! \displaystyle {}= \frac{(n-1)! \cdot n}{r!\,(n-r)!} = r ! ( n − r )! ( n − 1 )! ⋅ n = n ! r ! ( n − r ) ! \displaystyle {}= \frac{n!}{r!\,(n-r)!} = r ! ( n − r )! n ! = n C r \displaystyle {}= {}_n\mathrm{C}_r = n C r 2行目では r ! r! r ! = r ⋅ ( r − 1 ) ! {}= r \cdot (r-1)! = r ⋅ ( r − 1 )! ,( n − r ) ! (n-r)! ( n − r )! = ( n − r ) ⋅ ( n − 1 − r ) ! {}= (n-r) \cdot (n-1-r)! = ( n − r ) ⋅ ( n − 1 − r )! を使った。(証明終)
これは本文の公式1「上の段の左右2つの数の和」を式で書いたものです。
二項定理の証明
定理2:二項定理
1 1 1 以上の整数 n n n について
( a + b ) n \displaystyle (a+b)^n ( a + b ) n = ∑ r = 0 n n C r a n − r b r \displaystyle {}= \sum_{r=0}^{n} {}_n\mathrm{C}_r\,a^{n-r}b^r = r = 0 ∑ n n C r a n − r b r 証明 n n n = 1 {}= 1 = 1 のとき、右辺は 1 C 0 a {}_1\mathrm{C}_0\,a 1 C 0 a + 1 C 1 b {}+ {}_1\mathrm{C}_1\,b + 1 C 1 b = a {}= a = a + b {}+ b + b で成り立つ。
ある n n n で成り立つと仮定して、n n n + 1 {}+ 1 + 1 の場合を示す。
( a + b ) n + 1 \displaystyle (a+b)^{n+1} ( a + b ) n + 1 = ( a + b ) n ( a + b ) \displaystyle {}= (a+b)^n(a+b) = ( a + b ) n ( a + b ) = ∑ r = 0 n n C r a n + 1 − r b r \displaystyle {}= \sum_{r=0}^{n} {}_n\mathrm{C}_r\,a^{n+1-r}b^r = r = 0 ∑ n n C r a n + 1 − r b r + ∑ r = 0 n n C r a n − r b r + 1 \displaystyle {}+ \sum_{r=0}^{n} {}_n\mathrm{C}_r\,a^{n-r}b^{r+1} + r = 0 ∑ n n C r a n − r b r + 1 右辺で a n + 1 − r b r a^{n+1-r}b^r a n + 1 − r b r (1 1 1 ≦ r {}\leqq r ≦ r ≦ n {}\leqq n ≦ n ) の係数を集めると、1つめの和から n C r {}_n\mathrm{C}_r n C r 、 2つめの和(番号を1つずらしたもの)から n C r − 1 {}_n\mathrm{C}_{r-1} n C r − 1 が出る。定理1よりその和は n + 1 C r {}_{n+1}\mathrm{C}_r n + 1 C r である。両端の a n + 1 a^{n+1} a n + 1 ,b n + 1 b^{n+1} b n + 1 の係数はどちらも 1 1 1 = n + 1 C 0 {}= {}_{n+1}\mathrm{C}_0 = n + 1 C 0 = n + 1 C n + 1 {}= {}_{n+1}\mathrm{C}_{n+1} = n + 1 C n + 1 である。よって
( a + b ) n + 1 \displaystyle (a+b)^{n+1} ( a + b ) n + 1 = ∑ r = 0 n + 1 n + 1 C r a n + 1 − r b r \displaystyle {}= \sum_{r=0}^{n+1} {}_{n+1}\mathrm{C}_r\,a^{n+1-r}b^r = r = 0 ∑ n + 1 n + 1 C r a n + 1 − r b r となり、n n n + 1 {}+ 1 + 1 でも成り立つ。n n n = 1 {}= 1 = 1 から順にたどれば、すべての n n n で成り立つ。(証明終)
「n n n で成り立てば n n n + 1 {}+ 1 + 1 でも成り立つ」を示してドミノ倒しのように全体を示す方法を、数学的帰納法 といいます。数列の分野(第8章)で正式に学びます。本文では「かっこから b b b を選ぶ数」で説明しましたが、ここでは数え方を使わず、定理1の計算だけで証明できました。
整式の除法の定理
定理3:商と余りの存在と一意性
係数が実数の整式 A A A と、0 0 0 でない整式 B B B (次数 m m m ) に対し
A \displaystyle A A = B Q \displaystyle {}= BQ = B Q + R \displaystyle {}+ R + R ( R = 0 または R の次数 < m ) \displaystyle (R = 0 \ \text{または}\ R \ \text{の次数} < m) ( R = 0 または R の次数 < m ) を満たす整式 Q Q Q ,R R R がただ1組存在する。
証明 (存在)A A A = 0 {}= 0 = 0 または A A A の次数が m m m より小さいときは、Q Q Q = 0 {}= 0 = 0 ,R R R = A {}= A = A とすればよい。
A A A の次数 k k k が m m m 以上のとき、A A A ,B B B の最高次の係数をそれぞれ α \alpha α ,β \beta β (β \beta β ≠ 0 {}\neq 0 = 0 ) とし
A 1 \displaystyle A_1 A 1 = A \displaystyle {}= A = A − α β x k − m B \displaystyle {}- \frac{\alpha}{\beta}\,x^{k-m}B − β α x k − m B をつくる。右辺の2つの項は最高次の項 α x k \alpha x^k α x k が打ち消し合うので、A 1 A_1 A 1 は 0 0 0 か、次数が k k k より小さい。これが筆算の1段である。次数は 1 1 1 回ごとに少なくとも 1 1 1 下がるので、この操作は有限回で終わり、次数が m m m より小さい式(または 0 0 0 ) が残る。それを R R R 、 差し引いた項の和を Q Q Q とすれば A A A = B Q {}= BQ = B Q + R {}+ R + R となる。
(一意性)A A A = B Q 1 {}= BQ_1 = B Q 1 + R 1 {}+ R_1 + R 1 = B Q 2 {}= BQ_2 = B Q 2 + R 2 {}+ R_2 + R 2 と2通りに表せたとすると
B ( Q 1 − Q 2 ) \displaystyle B(Q_1 - Q_2) B ( Q 1 − Q 2 ) = R 2 \displaystyle {}= R_2 = R 2 − R 1 \displaystyle {}- R_1 − R 1 Q 1 Q_1 Q 1 ≠ Q 2 {}\neq Q_2 = Q 2 と仮定すると、第1章の厳密定義の「積の次数は次数の和」から、左辺の次数は m m m 以上である。一方、右辺は 0 0 0 か次数が m m m より小さい。これは矛盾なので Q 1 Q_1 Q 1 = Q 2 {}= Q_2 = Q 2 であり、このとき R 1 R_1 R 1 = R 2 {}= R_2 = R 2 も従う。(証明終)
一意性の証明では、第6章の背理法を使いました。「商と余りがただ1組」だから、例題7(2)のように A A A = B Q {}= BQ = B Q + R {}+ R + R から B B B を逆算できるわけです。
存在の証明で、A A A の係数を B B B の最高次の係数 β \beta β で割っていることに注意しましょう。係数を整数に限る と、この割り算ができないことがあります。たとえば x 2 x^2 x 2 を 2 x 2x 2 x で割ると商は 1 2 x \dfrac{1}{2}x 2 1 x となり、整数係数の範囲では商が見つかりません。係数が実数(または有理数)なら、0 0 0 でない数でいつでも割れるので、定理3が成り立ちます。