1 共通因子の基本概念
共通因子とは、対象となる複数の数や式を同時に割り切る「共通の割り算の相手」を指す概念である。整数では共通して割り切れる正の整数として捉えられ、最大のものは最大公約数として扱う。多項式では同時に割り切る多項式因子として整理され、最大の共通因子は「次数が最大」のものとして位置づけられる。ここで「最大」の意味は、整数では大きさ、添字としては多項式では次数で規定される。
1.1 整数における共通因子
整数 \(a,b,\dots\) に対し、正の整数 \(d\) がそれらをすべて割り切るとき、\(d\) は共通因子である。割り切るとは、各整数が \(d\) の倍数であることを意味し、言い換えれば商が整数として得られる状態を指す。共通因子は複数存在しうるが、なかでも最大の共通因子は最大公約数として一意に定まる（正の約数として）。この整理によって、約分や整式の簡約における同じ基準が形成される。
1.2 多項式における共通因子
多項式における共通因子とは、複数の多項式をすべて割り切る多項式 \(d(x)\) のことである。多項式 \(f(x),g(x),\dots\) に対し、ある多項式 \(q(x)\) が存在して \(f(x)=d(x)q(x)\) が成り立つとき、\(d(x)\) は \(f(x)\) の因子である。同様に複数の多項式に対して因子として同時に現れるものが共通因子となる。
多項式の場合、定数倍はしばしば「同じ因子」として扱われるため、最大の共通因子の表現は整数とは違う発想で整理される。つまり、次数が最大となるクラス（定数倍を除いた同等性）が最大の共通因子に相当する。
1.2.1 定義と割り算の意味
多項式環では、割り算は「多項式の長除法」によって定義される。すなわち、\(f(x)\) を \(d(x)\) で割ったとき余りが 0 であれば、\(f(x)\) は \(d(x)\) で割り切れる。ここで余り 0 とは、商 \(q(x)\) を用いて \(f(x)=d(x)q(x)\) と完全に分解できることに等しい。この性質に基づき、複数の対象多項式を同時に余りなしで割る多項式が共通因子になる。
1.2.2 定数倍の扱い（同伴因子）
多項式の因子は、定数倍すると見た目が変わるが分解の構造は同じであることが多い。たとえば \(d(x)\) と \(c\cdot d(x)\)（\(c\neq 0\)）は、同じ多項式を割り切る能力を共有し、同じ次数構造をもつ。そこで「同伴因子」という考え方が導入される。最大共通因子を「次数が最大」の対象として扱う際には、定数倍による違いを除いた同等性として整理するのが自然である。
1.3 例によるイメージ
共通因子の理解は、具体例に即して「同じ割り算の相手が複数の対象に対して成立する」という状況を掴むことで深まる。整数では約数の共通部分、多項式では因数分解における共通の因子に対応する。
1.3.1 整数の具体例
たとえば 12 と 18 の共通因子には、1,2,3,6 がある。いずれも 12 を割り切り、同時に 18 も割り切る正の整数である。この集合の最大要素は 6 であり、よって最大公約数は 6 となる。なお 12 と 18 の積に着目しても、共通部分としての 6 が約分の基準になる。
1.3.2 多項式の具体例
たとえば \(f(x)=x^2-1\)、\(g(x)=x^3-x\) を考える。これらはそれぞれ \(x^2-1=(x-1)(x+1)\)、\(x^3-x=x(x^2-1)=x(x-1)(x+1)\) と因数分解できる。したがって共通因子としては \((x-1)\) と \((x+1)\) が現れ、さらに \((x^2-1)\) も共通因子となる。最大の共通因子は次数 2 の \((x^2-1)\) であり、定数倍を除けば同じ次数の最大因子に収束する。
2 最大公約数・最大の共通因子
最大公約数（整数）や最大の共通因子（多項式）は、「共通因子のうち最大」という基準を形式化した概念である。整数では値の大きさ、表示の揺れを避けるため正の約数として一意に取り扱う。多項式では定数倍の同等性のもとで次数が最大のものを採用する。
2.1 最大公約数（整数の場合）
整数の最大公約数は、与えた複数の整数を同時に割り切る正の整数のうち最大のものとして定義される。最大であることは、別の共通因子が存在してもその値を超えないことに対応する。よって最大公約数は、共通因子の「集約点」として働き、約分や合同式の前処理にも関わる。
2.1.1 同値な定義
最大公約数 \(d\) は「最大の共通因子」であると同時に、同値な条件として次の性質が挙げられる。たとえば任意の共通因子 \(c\) があるとき、必ず \(c\) は \(d\) を割り切る（\(c\mid d\)）という関係が成り立つ。逆に、複数の整数を割り切るどの正の整数も最大公約数の倍数にはならず、従属関係によって最大の役割が保証される。
2.1.2 ユークリッドの互除法との関係
最大公約数はユークリッドの互除法で効率よく求められる。互除法の本質は、余りを使って問題のサイズを段階的に縮める点にある。具体的には \(a\) を \(b\) で割った余りを \(r\) とすると、\(\gcd(a,b)=\gcd(b,r)\) が成り立つ。この関係により、繰り返し適用することで最終的に余りが 0 となる時点の値が最大公約数になる。
2.2 多項式の最大の共通因子
多項式の「最大の共通因子」は、共通因子のうち次数が最大となる因子として理解する。多項式環では定数倍の取り扱いがあるため、厳密には単一の多項式に固定せず、同伴因子まで含めた同等性クラスとして述べるのが通常である。
2.2.1 最大共通因子と既約因子
共通の因子を見つける過程では、既約因子（これ以上分解できない基本単位）との対応が重要になる。共通因子が既約因子の積として表現されるとき、最大の共通因子は「共通に現れる既約因子の次数（多重度）をまとめる」役割を果たす。すなわち、各既約因子について、どの多項式にも含まれている分の強さ（指数）が最小となる量を集めることで共通部分が構成される。
2.2.2 既約性・正規化の考え方
最大共通因子の表現には、正規化（ある基準で代表を固定する操作）が関係する。例として、最高次係数を 1 にする（モニック化）ことで同伴因子による差を除くことができる。こうした正規化を行うと、次数最大の共通因子が実際の多項式として一意に記述できるようになり、計算結果を比較しやすくなる。
3 共通因子の求め方
求め方は対象が整数か多項式かで変わるが、基本は「割り切れる条件を満たす共通の構造」を見つけることである。整数では素因数分解や互除法が中心になり、多項式では因数分解に基づく方法や多項式版互除法、さらに剰余列を用いる考え方が使われる。
3.1 整数の共通因子の探索
整数の共通因子は、最終的に最大公約数へと帰着しやすい。共通因子全体を列挙したい場合も、最大公約数の約数として表現できるため、計算の核は最大公約数にある。
3.1.1 素因数分解による方法
素因数分解に基づく方法では、各整数を素数の冪の積として表し、それぞれで共通する素数の冪を最小指数で揃える。たとえば \(a\) と \(b\) の分解が \[ a=p_1^{\alpha_1}\cdots p_k^{\alpha_k},\quad b=p_1^{\beta_1}\cdots p_k^{\beta_k} \] のように与えられるなら、最大公約数は \(p_i^{\min(\alpha_i,\beta_i)}\) の積として得られる。共通因子はこの最大公約数の正の約数として復元できる。
3.1.2 互除法による方法
互除法は、素因数分解をせずに最大公約数を求める。前述の関係 \(\gcd(a,b)=\gcd(b,r)\) を利用し、余りの計算を繰り返していく。計算量は入力の大きさに対して現実的であり、特に大きな整数に対しても扱いやすい。求めた最大公約数を用いれば、共通因子の候補の整理も可能になる。
3.2 多項式の共通因子の探索
多項式では分解や除算が中心になる。因数分解を行えば共通因子を直接読むことができるが、一般には計算が重くなりうるため、互除法や剰余の連鎖を使う方法が実用的である。
3.2.1 因数分解からの導出
多項式を既約因子（または既約に近い形）へ分解し、共通に現れる因子の積を作ることで最大の共通因子を得る。各既約因子について、多重度（何回出現するか）を比較し、両方に共通する分の多重度だけを残すのが基本手順である。分解が容易な場合には直観的で、結果も追いやすい。
3.2.2 ユークリッドの互除法（多項式版）
多項式版互除法も、ユークリッドの性質を多項式の長除法に置き換えて適用する。割り算で得られる余りを次の割る多項式として更新し、余りが 0 になるまで繰り返す。最大の共通因子は、正規化すれば（たとえばモニック化すれば）計算途中の値と一致して得られる。
3.2.3 連続する剰余と最大共通因子
互除法では、剰余列の各項が共通因子を共有するという性質を持つ。つまり、ある段階で得られた剰余は、それ以前の分解構造と同じ共通因子を保持する。最終的に余りが 0 となる直前の非零項（正規化したもの）が最大の共通因子に対応する。この見方をすると、計算は「剰余列の収束」だと捉えられる。
4 応用と関連概念
共通因子は単独の理論ではなく、約分、整式の簡約、連立条件の整理など多方面で使われる。ここでは代表的な関連概念として、ベズーの等式、約分、相対的素性、最小公倍数との関係を扱う。
4.1 ベズーの等式（整数・多項式）
ベズーの等式は、最大公約数（あるいは最大の共通因子）が「線形結合として表せる」ことを述べる。整数の場合、\(\gcd(a,b)=d\) ならば整数 \(x,y\) が存在して \(ax+by=d\) が成り立つ。多項式でも同様に、最大共通因子 \(d(x)\) は \(f(x)u(x)+g(x)v(x)=d(x)\) の形で表現できる。線形結合が得られることで、解の構造理解や、約分・合同式の背景にある仕組みが明確になる。
4.2 約分・整式の簡約
共通因子は分数の簡約や整式の整理に直結する。共通因子を見つけて分子分母（あるいは式の共通部分）を割ると、同じ値を保ちながら表現が簡潔になる。
4.2.1 分数式の簡約
整数の分数 \(\frac{a}{b}\) を既約にしたいとき、分子と分母の最大公約数で両方を割るのが標準的手順である。これにより、約分後の分子と分母は互いに素になる。多項式分数の場合も、分子と分母の多項式としての最大共通因子で割り、同様に既約な形へ整える。
4.2.2 因数を用いた整理
整式の簡約では、共通因子が因数分解として見える場合が多い。式を因数分解して共通する部分をくくり出すことで、計算の見通しが良くなる。たとえば同じ因子が複数の項に現れるとき、その因子を外にまとめることで表現がコンパクトになる。これは代数的操作の効率化と、後続の方程式解法（因数分解に基づく根の抽出）にもつながる。
4.3 相対的素性（互いに素）
相対的素性は「共通因子がない」ことを表す概念である。整数では 2 つの数が互いに素とは、最大公約数が 1 であることを指す。多項式でも同様に最大の共通因子が定数（正規化すれば 1）となる状態が互いに素に相当する。
4.3.1 共通因子がないことの意味
互いに素であることは、整数なら共通の素因数を共有しないという意味に対応する。多項式では、正規化された最大共通因子が定数になり、非自明な共通因子による共通構造が存在しないことを意味する。結果として、共通部分に基づく約分ができない状態になり、連立条件の独立性の指標にもなる。
4.3.2 直観的な判定方法
直観的には、最大公約数の有無を確かめればよい。整数なら素因数の重なりを見ればよい場合が多く、多項式なら因数分解後に共通因子が残るかを確認できる。計算を実行する際は互除法を使うと手早いことが多く、特に大きな入力では分解に頼らない方針が有効になる。
4.4 最小公倍数との関係
最小公倍数は共通因子の「対になる概念」として理解できる。整数では積と最大公約数・最小公倍数が結びつき、多項式でも同様の対応が成り立つ（正規化と同伴因子の扱いを踏まえた形で）。
4.4.1 積の関係（整数）
整数 \(a\) と \(b\) に対し、最大公約数を \(d\)、最小公倍数を \(\mathrm{lcm}(a,b)\) とすると、 \[ ab = d\cdot \mathrm{lcm}(a,b) \] が成り立つ。これは、共通部分（最大公約数）を一度割り引いた構造が、非共通部分を含めて最小公倍数として組み立てられることを反映した関係である。ゆえに最大公約数を求められれば最小公倍数も容易に得られる。
4.4.2 多項式での対応関係
多項式では、積と最大共通因子・最小公倍数の関係が同型の形で表される。具体的には、最大共通因子と最小公倍数の積が、対象多項式の積に相当する（同伴因子や正規化の違いを除いた）関係として理解される。実務上は、共通因子を正規化して扱い、比較の基準を揃えることで関係が利用しやすくなる。