歐拉函數.doc.docVIP

歐拉函數 維基百科，自由的百科全書 跳轉到: 導航, 搜尋 當n為1至1000的整數時的值 在數論中，對正整數n，歐拉函數是小於或等於n的正整數中與n互質的數的數目。此函數以其首名研究者歐拉命名，它又稱為φ函數、歐拉商數等。 例如，因為1,3,5,7均和8互質。 歐拉函數實際上是模n的同餘類所構成的乘法群（即環的所有單位元組成的乘法群）的階。這個性質與拉格朗日定理一起構成了歐拉定理的證明。 目錄 [隱藏] 1 歐拉函數的值 2 性質 3 生成函數 4 歐拉函數的走勢 5 其他與歐拉函數有關的等式 6 與歐拉函數有關的不等式 7 參考來源 編輯] 歐拉函數的值 （小於等於1的正整數中唯一和1互質的數就是1本身）。 若n是質數p的k次冪，，因為除了p的倍數外，其他數都跟n互質。 歐拉函數是積性函數，即是說若m,n互質，。證明：設A, B, C是跟m, n, mn互質的數的集，據中國剩餘定理，和C可建立雙射(一一對應)的關係。因此的值使用算術基本定理便知， 若 則。 例如 [編輯] 性質 n的歐拉函數 也是循環群 Cn 的生成元的個數（也是n階分圓多項式的次數）。Cn 中每個元素都能生成 Cn 的一個子群，即必然是某個子群的生成元。而且按照定義，不同的子群不可能有相同的生成元。此外， Cn 的所有子群都具有 Cd 的形式，其中d整除n（記作d?|?n）。因此只要考察n的所有因數d，將 Cd 的生成元個數相加，就將得到 Cn 的元素總個數：n。也就是說： 其中的d為n的正約數。 運用默比烏斯反轉公式來「翻轉」這個和，就可以得到另一個關於的公式： 其中 μ 是所謂的默比烏斯函數，定義在正整數上。 對任何兩個互質的正整數a, m（即 gcd(a,m) = 1），，有 即歐拉定理。 這個定理可以由群論中的拉格朗日定理得出，因為任意與m互質的a都屬於環 的單位元組成的乘法群 當m是質數p時，此式則為： 即費馬小定理。 [編輯] 生成函數 以下兩個由歐拉函數生成的級數都是來自於上節所給出的性質：。 由(n)生成的狄利克雷級數是： 其中ζ(s)是黎曼ζ函數。推導過程如下： 使用開始時的等式，就得到： 於是 歐拉函數生成的朗貝級數如下： 其對於滿足 |q|1 的q收斂。 推導如下： 後者等價於： [編輯] 歐拉函數的走勢 隨著n變大，估計 的值是一件很難的事。當n為質數時，，但有時又與n差得很遠。 在n足夠大時，有估計： 對每個 ε 0，都有n N(ε)使得 如果考慮比值： 由以上已經提到的公式，可以得到其值等於類似1 ? p ? 1的項的乘積。因此，使比值小的n將是兩兩不同的質數的乘積。由質數定理可以知道，常數 ε 可以被替換為： 就平均值的意義上來說是與n很相近的，因為： 其中的O表示大O符號。這個等式也可以說明在集合 {1, 2, ..., n} 中隨機選取兩個數，則當n趨於無窮大時，它們互質的機率趨於 6 / π2 。一個相關的結果是比值的平均值： [編輯] 其他與歐拉函數有關的等式 使得 使得 [編輯] 與歐拉函數有關的不等式 ，其中n 2，γ 為歐拉-馬歇羅尼常數。 ，其中n 0。 對整數n 6，。 當n為質數時，顯然有。對於合數的n，則有： [編輯] 參考來源 Milton Abramowitz、Irene A. Stegun， Handbook of Mathematical Functions， (1964) Dover Publications , New York. ISBN 0-486-61272-4. 24.3.2節. Eric Bach、Jeffrey Shallit， Algorithmic Number Theory, 卷 1, 1996, MIT Press. ISBN 0-262-02405-5, 8.8節，234頁. Kevin Ford, The number of solutions of φ(x)=m, Ann. of Math. 150(1999), 283--311. 柯召，孫琦：數論講義（上冊），第二版，高等教育出版社，2001 取自/zh-tw/%E6%AC%A7%E6%8B%89%E5%87%BD%E6%95%B0