1 定義と基本概念
1.1 多項式の定義
多項式は、数と文字を有限個の加法・減法・乗法で組み合わせた式である。通常は、各項が単項式で構成され、その和として表される。たとえば、\(3x^2-2x+1\) は一変数多項式の典型例である。
1.2 単項式と係数
単項式は、数と変数の積で表される1つの項を指す。式の前に付く数は係数と呼ばれ、項の大きさや符号を決める。たとえば \(5x^3\) では 5 が係数であり、\(x^3\) の部分が変数成分である。
1.3 変数と次数
多項式に含まれる文字を変数という。次数は、多項式の複雑さを表す基本的な尺度で、項ごとの指数を手がかりに定める。
1.3.1 全次数
一つの項に複数の変数があるとき、全次数は各変数の指数の和で定義される。多項式全体の次数は、各項の全次数のうち最大のものとして扱われる。
1.3.2 各変数の次数
多変数多項式では、各変数について個別の次数を考えることがある。これは、特定の変数に着目した性質を調べる際に有用である。
1.4 同類項
同類項は、変数部分が同じ項どうしを意味する。これらは係数だけをまとめて計算できるため、式の整理に欠かせない。たとえば \(2x\) と \(5x\) は同類項であり、加えると \(7x\) になる。
2 表現と種類
2.1 一変数多項式
一つの変数だけを含む多項式で、最も基本的な形である。関数の解析や方程式の学習において、出発点として扱われることが多い。
2.2 多変数多項式
二つ以上の変数を含む多項式である。幾何学、物理、組合せ論などで現れ、変数間の関係を式で記述する際に用いられる。
2.3 整係数多項式
係数が整数である多項式をいう。整数のまま扱えるため、因数分解や整除性の議論で便利である。
2.4 有理係数多項式
係数が有理数で構成される多項式である。分数を許すことで、計算の自由度が増し、代数的な操作が行いやすくなる。
2.5 実係数多項式
係数が実数である多項式を指す。実数全体での連続関数としても見られ、グラフや近似の議論と結びつきやすい。
3 基本的な計算
3.1 加法
多項式の加法では、同類項をまとめて係数を足し合わせる。項の並びは自由だが、整理すると見通しがよくなる。
3.2 減法
減法は、引く多項式の各項の符号を反転してから加える操作である。括弧の扱いに注意すると、計算ミスを減らしやすい。
3.3 乗法
多項式の乗法では、各項どうしを掛け合わせ、その結果を整理する。展開後は同類項を統合して、標準的な形に整える。
3.3.1 分配法則
分配法則は、掛け算が足し算に対してどのように働くかを示す基本法則である。多項式の展開は、この性質を土台としている。
3.3.2 展開
展開とは、積の形を和の形に広げる操作である。式変形の中心的な技法であり、因数分解の逆操作でもある。
3.4 除法
多項式の除法では、被除式を除式で割り、商と余りを求める。整数の筆算と似た構造を持ち、代数計算の重要な手段となる。
3.4.1 余り
割り切れない場合には、商に加えて余りが現れる。余りの次数は通常、除式の次数より小さくなる。
3.4.2 割り切れる場合
余りが 0 なら、除式は被除式を割り切るという。これは因数であることと同値で、後の定理や分解に直結する。
4 性質と定理
4.1 結合則
結合則は、加法や乗法で括り方を変えても結果が変わらない性質である。多項式の計算を柔軟に進めるうえで基礎となる。
4.2 交換則
交換則は、順序を入れ替えても和や積が同じになることを示す。項の並べ替えや整理を正当化する基本的な法則である。
4.3 分配則
分配則は、1つの項が複数の項に対してどのように掛かるかを表す。乗法と加法をつなぐ中核的な規則である。
4.4 多項式の恒等式
恒等式は、変数の値に依らず常に成り立つ等式である。多項式では、式変形によって同じ内容を別の形で表す場面が多い。
4.5 因数定理
因数定理は、ある値を代入したときに 0 になる条件と、対応する一次因子の存在を結びつける。根を調べる際の出発点として重要である。
4.5.1 余り定理
余り定理は、多項式を \(x-a\) で割ったときの余りが、\(x=a\) を代入した値に等しいことを述べる。計算を簡略化する便利な道具である。
4.5.2 解と因数の関係
方程式の解が多項式の根であるとき、その値に対応する一次因子が存在する。これにより、解の探索と因数分解が相互に結びつく。
5 因数分解
5.1 共通因数による因数分解
各項に共通して含まれる因数をくくり出す方法である。最も基本的で、他の手法の前処理としても頻繁に用いられる。
5.2 公式による因数分解
特定の形に当てはめて分解する方法である。既知の恒等式を利用するため、見分けられれば計算が速い。
5.2.1 平方差
\(a^2-b^2=(a-b)(a+b)\) の形を利用する分解である。2乗どうしの差に現れ、代表的な公式の一つである。
5.2.2 完全平方
\(a^2\pm2ab+b^2=(a\pm b)^2\) の形にまとめる方法である。二項の和や差の2乗として認識すると整理しやすい。
5.2.3 和と差の立方
\(a^3\pm b^3\) は、一次式と二次式の積に分けられる。立方の和差は、やや高い次数の因数分解でよく現れる。
5.3 グループ分けによる因数分解
項をいくつかのまとまりに分け、共通因数を順に取り出す方法である。項数が多い式で効果を発揮し、構造を見つけやすくする。
5.4 高次式の因数分解
3次以上の多項式を分解する方法で、根の探索や既知の公式の利用が鍵となる。場合によっては、繰り返し因数分解を行う必要がある。
6 多項式の根
6.1 根の定義
多項式にある値を代入して 0 になるとき、その値を根という。根は方程式の解と同じ意味を持つ場合が多い。
6.2 重根
同じ根が複数回現れるとき、その根は重根であるという。重なりの次数は、因数の繰り返しの回数で表される。
6.3 根と係数の関係
根の情報は、係数と密接に結びついている。特に、低次数の係数や対称式として表される組み合わせに特徴がある。
6.3.1 一次の係数との関係
多項式の標準形では、根の和が一次の係数と関連する。これは、解の位置と式の形を結ぶ重要な関係である。
6.3.2 対称式
根の和、積、組み合わせた和など、順序に依存しない式を対称式という。係数との対応を調べる際に中心的な役割を果たす。
6.4 複素数の根
実数では解を持たない多項式でも、複素数まで広げると根が現れることがある。これにより、多項式の理解はより統一的になる。
7 多項式方程式
7.1 一次方程式
一次多項式を用いた方程式で、最も単純な代数方程式である。解は基本的な移項と割り算で求められる。
7.2 二次方程式
2次の多項式による方程式で、因数分解、平方完成、解の公式などで解かれる。代数学の代表的な学習題材でもある。
7.3 三次方程式
3次多項式の方程式で、一次因子を見つけて次数を下げる方法がよく使われる。一般的な解法は二次方程式より複雑である。
7.4 高次方程式
4次以上の方程式は、個別の因数分解や数値的手法を組み合わせて扱うことが多い。すべてを単純な公式だけで解けるとは限らない。
7.5 解法の考え方
多項式方程式の解法では、まず構造を見て、因数分解や置換を試みる。必要に応じて近似や補助的な手段を使い、解の候補を絞る。
8 多項式の割り算と最大公約数
8.1 筆算による割り算
多項式の筆算は、整数の筆算に似た手順で商を求める方法である。次数をそろえながら順に処理するのが特徴である。
8.2 組立除法
一次式で割るときに特に有効な簡略法である。係数だけを使って計算できるため、手順が短くなる。
8.3 最大公約多項式
複数の多項式に共通する因数のうち、次数が最大のものをいう。整数の最大公約数に相当する概念として働く。
8.4 ユークリッドの互除法
連続して割り算を行い、余りを用いて最大公約多項式を求める方法である。計算の規則性が高く、理論上も重要である。
9 関数としての多項式
9.1 多項式関数
変数に数を代入して値を返す関数として多項式を見る立場である。代数的な式と関数的な挙動を同時に扱える。
9.2 グラフの特徴
多項式関数のグラフは滑らかで、途中で不連続になることがない。次数や係数によって全体の形が大きく変わる。
9.2.1 端の様子
入力の絶対値が大きくなるとき、グラフが上に伸びるか下に沈むかは最高次項の影響を受ける。偶数次と奇数次でも傾向が異なる。
9.2.2 極値
極値は、関数値が近傍で最大または最小になる点である。多項式関数では、こうした点が曲線の形を理解する手がかりになる。
9.2.3 変曲点
変曲点は、曲線の凹凸が切り替わる点である。グラフの曲がり方を調べる際に、重要な特徴として現れる。
9.3 近似と補間
多項式は、複雑な関数を近似するためによく使われる。与えられた点を通る多項式を作る補間も、数値解析で広く利用される。
10 応用
10.1 幾何への応用
面積や体積、図形の関係式を表す際に多項式が使われる。座標幾何では、直線や曲線の条件を式として整理するのに役立つ。
10.2 物理への応用
運動、エネルギー、波形の近似などに多項式が現れる。式を簡潔に記述できるため、モデル化の基礎として有用である。
10.3 数値計算への応用
多項式は、数値的な評価や補間、近似計算で重要な役割を持つ。計算機で扱いやすく、誤差解析の対象にもなりやすい。
10.4 計算機代数での利用
記号計算では、多項式の展開、因数分解、除法、簡約が中心的な処理となる。自動化との相性がよく、代数ソフトウェアの基本要素である。
11 関連する概念
11.1 形式的べき級数
形式的べき級数は、多項式を無限に拡張したように見える表現である。収束よりも記号的な操作を重視する点で、多項式と似ていながら異なる。
11.2 有理式
多項式どうしの商で表される式を有理式という。分母に多項式を含むため、定義域や約分の扱いが重要になる。
11.3 代数的数
整数係数多項式の根として表せる数をいう。数の分類において、多項式は代数的性質を調べる基盤となる。
11.4 代数学の基本定理
複素数係数の非定数多項式は、複素数の範囲で少なくとも1つの根を持つという定理である。多項式が複素数上で完全に分解できることを支える中心命題である。