§A1.3多項式の加減乗除と展開公式

最終更新

文字を含む式では、同じ式を異なる形で書くことがあります。たとえばx2−x2+xx^2-x^2+xはxxと等しい式です。整理する前に現れた項だけを見ていると、式全体がどのような形であるかを判断することができません。

数と文字の積を足し合わせた多項式では、同じ文字の部分を持つ項をまとめることによって、式の形を明らかにします。また、積を和へ書き直す展開も、式を比較したり計算したりするための基本的な操作です。

多項式の計算は、続く因数分解や方程式の変形の基礎となります。

本記事では、多項式の四則と展開の基本を説明します。

1 多項式と次数

係数を実数、文字の指数を非負整数として、3x2−2x+53x^2-2x+5のように単項式を有限個加えた式を多項式、または整式といいます。ここではxxを不定元とし、実数係数の多項式の全体をR[x]\R[x]と書きます。文字の部分が同じ項を同類項といいます。同類項をまとめた後、係数が00でない項の次数の最大値を、その多項式の次数といいます。すべての係数が00の多項式を零多項式といい、ここではその次数を定めません。零多項式の次数を−∞-\inftyとする規約もあります。

例 1.1.x2−x2+x=xx^2-x^2+x=xであるから、この多項式の次数は11である。整理前にx2x^2が書かれていても、二次式ではない。

2 多項式の加法と減法

同類項は係数を加減して一つの項にまとめます。異なる次数の項は、それぞれの次数の項として残します。

例 2.1. 二次の項、一次の項、定数項をそれぞれまとめると

(3x2−2x+5)+(x2+4x−1)=(3+1)x2+(−2+4)x+(5−1)=4x2+2x+4\begin{aligned} (3x^2-2x+5)+(x^2+4x-1) &=(3+1)x^2+(-2+4)x+(5-1)\\ &=4x^2+2x+4 \end{aligned}

となる。

減法では、引く多項式のすべての項の符号を反転してから加えます。たとえば−(x2+4x−1)=−x2−4x+1-(x^2+4x-1)=-x^2-4x+1です。引く多項式を括弧に入れると、符号を反転する範囲が明確になります。

3 分配法則と展開公式

多項式の乗法では分配法則を使い、一方の式の各項を他方の式の各項へ掛け、同類項をまとめます。積を和の形へ書き直す操作を展開といいます。

公式 3.1.a,b,xa,b,xを実数または実数係数多項式とする。このとき

(a+b)2=a2+2ab+b2,(a−b)2=a2−2ab+b2,(a+b)(a−b)=a2−b2,(x+a)(x+b)=x2+(a+b)x+ab,(a+b)3=a3+3a2b+3ab2+b3\begin{aligned} (a+b)^2&=a^2+2ab+b^2,\\ (a-b)^2&=a^2-2ab+b^2,\\ (a+b)(a-b)&=a^2-b^2,\\ (x+a)(x+b)&=x^2+(a+b)x+ab,\\ (a+b)^3&=a^3+3a^2b+3ab^2+b^3 \end{aligned}

が成り立つ。

証明. 分配法則により

(a+b)2=(a+b)(a+b)=a2+ab+ba+b2=a2+2ab+b2(a+b)^2=(a+b)(a+b)=a^2+ab+ba+b^2=a^2+2ab+b^2

となる。bbを−b-bに置き換えると、差の二乗の公式を得る。また

(a+b)(a−b)=a2−ab+ba−b2=a2−b2(a+b)(a-b)=a^2-ab+ba-b^2=a^2-b^2

であり

(x+a)(x+b)=x2+bx+ax+ab=x2+(a+b)x+ab(x+a)(x+b)=x^2+bx+ax+ab=x^2+(a+b)x+ab

となる。三乗は二乗の公式にa+ba+bを掛けて

(a+b)3=(a2+2ab+b2)(a+b)=a3+a2b+2a2b+2ab2+ab2+b3=a3+3a2b+3ab2+b3\begin{aligned} (a+b)^3&=(a^2+2ab+b^2)(a+b)\\ &=a^3+a^2b+2a^2b+2ab^2+ab^2+b^3\\ &=a^3+3a^2b+3ab^2+b^3 \end{aligned}

と求めることができる。▨

定理 3.2.A,BA,Bを零多項式でない実数係数多項式とし、次数をそれぞれm,nm,nとする。このとき、ABABの次数はm+nm+nである。

証明.AAの最高次の項をaxmax^m、BBの最高次の項をbxnbx^nとする。a,ba,bはともに00でない。積を展開したとき、次数m+nm+nの項はaxmax^mとbxnbx^nの積からだけ生じ、その係数はababである。一方の次数を最高次数より小さく選べば、積の項の次数はm+nm+nより小さくなる。

ab=0ab=0ならば非零の数aaで割ってb=0b=0となるので、ab≠0ab\ne0である。したがって、ABABの最高次数はm+nm+nである。▨

例 3.3. 実数係数多項式A=x2+xA=x^2+x、B=−x2+1B=-x^2+1は、ともに二次式である。和はA+B=x+1A+B=x+1なので一次式であり、最高次の項が相殺されている。積の次数は、定理 3.2により2+2=42+2=4である。積をすべて展開しなくても、最高次の項が−x4-x^4であることから四次式だと分かる。

これらの公式を逆向きに使うと、和の形の式を積の形に書き直す因数分解を行うことができます。

4 多項式の除法

公式 4.1. 実数係数多項式AAと零多項式でない実数係数多項式BBに対して

A=BQ+RA=BQ+R

を満たし、R=0R=0であるか、RRの次数がBBの次数より小さい実数係数多項式Q,RQ,Rがただ一通り定まる。QQを商、RRを余りという。A=0A=0の場合は商も余りも00である。

筆算では、割られる式の最高次の項を消すように商の項を選び、除式とその項の積を引きます。残った式が00になるか、除式より次数が小さくなるまで繰り返します。

例 4.2.x2+5x+3x^2+5x+3をx+2x+2で割る。最高次の項を割るとx2/x=xx^2/x=xであるから、商にxxを置いて

(x2+5x+3)−x(x+2)=3x+3(x^2+5x+3)-x(x+2)=3x+3

とする。次に3x/x=33x/x=3であるから、商に33を加えて

(3x+3)−3(x+2)=−3(3x+3)-3(x+2)=-3

とする。残り−3-3の次数は00であり、除式の次数11より小さいので終了する。したがって商はx+3x+3、余りは−3-3であり

x2+5x+3=(x+2)(x+3)−3x^2+5x+3=(x+2)(x+3)-3

となる。

§A1.10 整式の除法・剰余の定理・因数定理では、基礎の計算に続いて、余りと代入値の関係、余りが00となる条件を扱います。

5 符号と検算

展開後は、x2x^2の項、xxの項、定数項をそれぞれ集め、同類項をまとめます。減法では、括弧を外す際に各項の符号を反転したかを確かめます。

注意 5.1. 展開の検算として、x=1x=1やx=2x=2を展開前と展開後の式へ代入し、値を比較することができる。値が異なれば計算は誤りである。ただし、いくつかの値で一致することだけでは、多項式が等しいことの証明にはならない。

閑話休題:三つの積による乗法 十進表記237237は、2x2+3x+72x^2+3x+7にx=10x=10を代入した値です。数の乗法にも、多項式の展開と同じ分配法則を使います。nn桁どうしの通常の筆算では、1桁どうしの乗法を約n2n^2回行います。1960年、コルモゴロフはこれより本質的に速い方法はないだろうとセミナーで予想しましたが、23歳の学生カラツバが1週間後に別の方法を示したと伝えられています。

(ax+b)(cx+d)(ax+b)(cx+d)の展開で必要な係数はacac、ad+bcad+bc、bdbdです。ここで

ad+bc=(a+b)(c+d)−ac−bdad+bc=(a+b)(c+d)-ac-bd

なので、acac、bdbd、(a+b)(c+d)(a+b)(c+d)の三つの積から全係数を求めることができます。桁を半分に分けてこの方法を繰り返すと、乗法の回数はおよそn1.58n^{1.58}に減ります。

その後はフーリエ変換を使った高速乗算が開発され、2019年にはnlog⁡nn\log n級の方法が得られました。この計算量は理論限界の候補と考えられています。高速乗算は、暗号で用いる数百桁の整数の演算や、円周率の兆桁計算にも使われています。

例題

条件と何を求めるかを確認してから、式と答えの対応を見比べてください。

実数係数の式として、次の式を展開せよ。

解法の型展開公式に当てはめる(因数分解の「答えの形」)

  1. (1)(x−3)(x−6)(x-3)(x-6)
  2. (2)(x+4)(x−4)(x+4)(x-4)
  3. (3)(x+3)(x−3)(x+3)(x-3)
  4. (4)(x−6)2(x-6)^{2}
  5. (5)(2x+5)2(2x+5)^{2}

解法の型分配法則で各項を掛け、同類項をまとめる

  1. (1)(x−2)3(x-2)^{3}
  2. (2)(x+1)3(x+1)^{3}
  3. (3)(3x−4)(x+5)(3x-4)(x+5)
  4. (4)(x−4)(4x−1)(x-4)(4x-1)
  5. (5)(3x+1)(4x+3)(3x+1)(4x+3)

演習

問題を解いてから「解答・解説」を開けます。

実数係数の式として、次の式を展開せよ。

演習を読み込み中…

演習を読み込み中…