[數論] 進階質數與模運算
[2021 Jul 29] 初稿
[2021 Aug 17] 我發現 Miller-Rabin 質數測試部分是爛掉的,之後會把這部分重寫,請先不要參考
[2025 Feb 10] 拿掉質數跟原根,以及重新修整一些敘述。這兩個主題有機會的話會(大概不是在這裡)補上。
質數
待補。
除法
Newton–Raphson 除法
與直式除法不同的是,Newton–Raphson 除法的目的是在除法的式子中:
如果能找到
所以如果能找到一個方程式
最好想到的方程式是
雖然
如果把第
也就是說誤差會持續被開平方根,但同時也表示初始值
進階模運算
數論函數
其實數論函數本身沒有什麼特殊的,基本上就是符合
積性函數
一個積性函數要滿足:
- 定義域是
,也就是說要是數論函數 - 當
,
以下都是積性函數:
— 歐拉函數 — 莫比烏斯函數 (當 固定)— 最大公因數 — 1 函數
另外積性函數有個很重要的性質:
狄利克雷卷積
定義狄利克雷卷積的目的在於: 讓數論函數的乘法是狄利克雷卷積、加法是普通加法, 就可以讓數論函數是一個交換環(一個環但多滿足交換律)。
定義兩個數論函數的狄利克雷卷積如下:
注意它也有另一個形式:
而狄利克雷卷積滿足下列運算:
- 交換律
- 證明:用第二種形式就很顯然,因為整數乘法有交換律。
- 結合律
- 證明:用第二種形式也很顯然,因為下面總和會是三個東西乘起來
然後 的總和。
- 證明:用第二種形式也很顯然,因為下面總和會是三個東西乘起來
- 分配律
- 證明:可以自己驗。
- 有單位函數
使得- 其中
- 其中
- 對於任意數論函數
,若 ,則存在唯一的 ,使得可以先構造,因為要有
, ,
而對 ,有以下這件事:所以可以直接用
推出因為前面有交換律所以自然會有
假如有兩個
都有 ,那 所以 ,反元素唯一。
- 積性函數的狄利克雷卷積還是積性函數
- 證明:
令
,
- 證明:
令
三個裡面有兩個是積性的,那剩下的也是。證明:如果
是那直接根據上面。如果不是那不失一般性假設 是。 反證一下,根據良序定理(粗淺的說,我們可以把整數數對排好順序,然後找最小的東西), 若不是積性,那可以找到最小的組合 互質使得 。 這邊最小的定義可以找 最小的。 這代表說所有 都會還有 。 這步第一個是因為只有 這組是不能用上面的方法拿掉的(這剛好也是我們想要的)。 第二是因為 的所有方法會一一對應到 , 因為 互質,任何質因數一定只有一邊有效。所以
,矛盾。 是積性。
- 積性函數的反元素(不是反函數)還是積性函數
- 由上一點可證
莫比烏斯反演
首先,觀察到
原因是因為:
假如
(考慮到取二次方以上都是
當
根據這個性質,可以發現如果有兩個函數滿足
對於某些跟因數有關的函數可以做出這樣的轉換。
因數
因數個數
對於一個整數
簡單的因數個數
首先需要知道的有:
(在
接下來,如果
然後又由一點點的排列組合,
現在要證明的是,對於任何
換句話說就是:
證明的方式是,
首先,把
左邊的部分用
把每個質因數分開討論,
分母是指數成長,分子是線性成長,所以在這個條件下
對於夠大的質數,想要比較的是
由於
那對於
由於
競程中似乎有一個上界是
有了這個上界之後,可以更進一步把他限制得更緊:
首先,要達到更緊的上界,要先把
分母的部分可以用剛剛用過的
所以
當然這個上界可以再逼近一點,不過
把
為了方便討論,把小於
當然還是可以再更逼近一點,但是這裡有個小技巧:
在處理
(因為是漸近符號,可以這樣操作)
質因數種類數
首先,先定義一個東西叫做質數階乘,對於質數
把質因數種類數表示成
所以
令
接下來就是把
所以:
其中
把它用上下界代入:
由這個結論得知,
Reference
The Divisor Bound
Primorial
Prime number theorem
Upper bound number of distinct prime factors
Chebyshev function
Inequalities On The Lambert W Function And Hyperpower Function