分圓多項式是指某個n次本原單位根滿足的最小次數的首1的整係數多項式（它必定是不可約多項式）。
基本介紹
- 中文名：分圓多項式
- 外文名：cyclotomic polynomial
- 定義：指某個n次根滿足的最小次數
- 學科：數學
定義,性質與證明,
定義
對於整係數多項式我們還有一個簡單的事實:如果多項式f(x)在有理數域上可約,那么對任意的素數p，
也可約。反過來，如果存在素數p,
不可約,那么f(x)必定是不可約的，這就為判定不可約多項式提供了另一個有效的法則，它把有理數域(整數環)上的多項式轉化到了一個有限域上去了，這個有限域正是素域
。這樣事實上我們必須要建立有限域上的多項式的理論，才能更好的套用這個方法。下面的一個例子是這方面的一個典型套用：
我們將多項式
分解，它所分解得到的不可約多項式稱為分圓多項式。事實上,分圓多項式的定義可以用以下的方式來得到：設ε是
的一個根,即ε是n次單位根，如果對任意的自然數k<n,ε都不是x^k-1的根，那么稱ε為n次本原單位根.由所有n次本原單位根構成的多項式就稱為n次分圓多項式。
性質與證明
我們套用上段後面的定義來證明n次分圓多項式是不可約的整係數多項式。
我們先來給出本原單位根的一些簡單性質以及看一些低次的分圓多項式：
1.α是n次本原單位根，那么
也是n次本原單位根,若且唯若
.實際上所有n次本原單位根的個數就是歐拉函式
。
證明：現在設
是全體n次本原單位根，那么n次分圓多項式就是：
，由於每個n次單位根必定是某個d次單位根，d|n,於是
.
由這個公式,我們可以得到
,
,
,
。一般的，
.p是素數。
順便指出，由分圓多項式的這個公式,比較兩端的次數,我們立即得到初等數論關於Euler函式的著名結論：
.
2.分圓多項式
是不可約的整係數多項式。
證明：設α是n次本原單位根，
是整係數不可約本原多項式使得
,取素數q，使得(q,n)=1.則
也是一個n次本原單位根。假定
是整係數不可約本原多項式使
，下證
.
因為
與
有公共根α，因此
。
同樣,有
。但是與都是不可約的整係數多項式，若不成立，則與互素，於是
。記
，其中g(x)也是整係數多項式。由於α也是的根，所以
。h(x)是整係數多項式.現在把這些多項式係數模素數q計算有
。如此這些多項式相當於看成有限域
上的多項式，由域上多項式的分解的唯一性,作為上的多項式，它的每個不可約因子
整除
,因而也整除，這樣在模q中有
，且
,因此
，但是係數模q計算時
沒有重因式(多項式有重因式的充分必要條件是這個多項式與它的導函式有1次或1次以上的公因式)，矛盾！因此,，說明
也是
的根，因此每個整數m，只要(m,n)=1，則
也是的根，這就是說每個n次本原單位根都是的根，於是
。
上述證明中實際上是證明了的根都是的根，應當還需證明除了這些根外無其他的根。這個事實只需注意到所有d次本原單位根(d|n)構成的所有的分圓多項式無重根即可(即無重根)。
這樣，我們可以如此定義n次分圓多項式:它是某個n次本原單位根滿足的最小次數的首1的整係數多項式(它必定是不可約多項式)。套用本原單位根與擴域的知識可以解決以下的問題：設n是正整數,則
是有理數若且唯若n=1,2,3,4,6;即
。當然我們也可以套用多項式的最基本的知識來解決它,設
,利用三角公式得到關於x的多項式即可。
