因数定理

代数学において因数定理は多項式の因数多項式の根を結び付ける。具体的には、(一変数)多項式であるとき、が の因数となるのは、 (つまり、が多項式の根となる)場合のみである。この定理は多項式剰余定理の特別な場合である[1] [2]

この定理は、加法と乗法の基本的な性質から導かれる。したがって、係数と元が体だけでなく任意の可換環属する場合にも、この定理は成立する

特に、多変数多項式は変数の 1 つに関して単変数と見なすことができるため、次の一般化が成り立ちます。および が多変数多項式であり、が に依存しない場合、が の因数である場合、かつ が零多項式である場合に限り、は の因数となります。

多項式の因数分解

因数定理が一般的に適用される 2 つの問題は、多項式の因数分解と多項式方程式の根を求める問題です。これらの問題は本質的に同等であるというのが、この定理の直接的な帰結です。

因数定理は、多項式から既知の零点を削除し、未知の零点はすべてそのまま残すという手法にも用いられます。これにより、零点の発見が容易になる低次多項式が得られます。抽象的に言えば、この方法は以下のようになります。[3]

  1. 多項式の最高係数と定数項から、多項式の零点候補を演繹します。(有理根定理を参照。)
  2. 因数定理を使用して、が の因数であると結論付けます
  3. たとえば、多項式長除算または合成除算を使用して、多項式を計算します
  4. の任意の根はの根であると結論付けます多項式次数は の多項式次数より1小さいので、 を調べることで残りの零点を見つけるのが「簡単」になります

多項式が完全に因数分解されるまでこの処理を続けます。この場合、すべての因数はまたは上で約分不可能になります

の因数を求める

解答:上記の多項式を

定数項= 2
係数

2 のすべての因数はとです。 を代入すると次のようになります。

つまり、 はの因数であるをで割ると

商 =

したがって、

これらのうち、二次因数は二次方程式の公式を使ってさらに因数分解することができ、二次方程式の根として与えられる。したがって、元の多項式の3つの既約因数は、およびである。

証明

ここでは定理のいくつかの証明を示します。

が の因数である場合、 であることが直ちにわかります。したがって、以下ではその逆のみが証明されます。

証明1

この証明は、 に対するステートメントを検証することから始まります。つまり、となる任意の多項式に対して、となる多項式が存在することを示します。そのためには、明示的に と書きます。ここで、 となるので となることに留意してください。したがって、 となります。これでこのケースが証明されました。

残るは、一般の の定理をの場合に帰着させて証明することです。そのために、 がに根を持つ多項式であることに注目してください。上記に示したことから、ある多項式 に対してが成り立ちます。最終的に、 となります

証明2

まず、と が任意の可換環(同じ環)に属する場合、恒等式が成り立つことに注目してください。これは括弧内の値を掛け合わせることで示されます。

任意の可換環について、 の係数列 を書きますあるについて と仮定します。すると となります。各被加数は、上で議論したの形の式の因数分解により を因数として持つことがわかります。したがって、 はの因数であると結論付けます

証明3

この定理は、多項式のユークリッド除算を用いて証明できます。ユークリッド除算して を得ます。 なので、 は定数です。最後に、 であることに注意してください。したがって、 となります

上記のユークリッド除算は、が単項多項式であるため、あらゆる可換環で実行可能であり、したがって、多項式長除算アルゴリズムには係数の除算は含まれません。

他の定理の系

これは多項式剰余定理でもありますが、逆にそれを示すために使うこともできます。

多項式が多変数であっても、係数が代数的に閉じた体を形成する場合、零点定理は重要かつ深い一般化となります。

参考文献

  1. ^ サリバン、マイケル(1996)、代数と三角法、プレンティスホール、p.381、ISBN 0-13-370149-2
  2. ^ Sehgal, VK; Gupta, Sonal (2009年9月)、Longman ICSE Mathematics Class 10、Dorling Kindersley (インド)、p. 119、ISBN 978-81-317-2816-1
  3. ^ バンサル、RK、「総合数学IX」、ラクシュミ出版、p.142、ISBN 81-7008-629-9
Retrieved from "https://en.wikipedia.org/w/index.php?title=Factor_theorem&oldid=1316747705"