參考資料:
潘承洞 潘承彪 《初等數論》（第三版）
閔嗣鶴 嚴士健 《初等數論》（第四版）
作為第一節, 這些都是相當基礎的內容, 但是我們可以感受揣摩其定義, 推導的嚴謹性.
定義: 設 \(a,b\in\mathbb, a\neq 0\), 若 \(\exist q\in\mathbb\) 使得 \(b=qa\), 則稱 \(b\) 能被 \(a\) 整除 (\(a\) 整除 \(b\)), 記作 \(a\mid b\), 並稱 \(a\) 是 \(b\) 的因數, \(b\) 是 \(a\) 的因數. 反之, 則記作 \(a\nmid b\).
在之後的定理和性質中, 我們預設各未知量為整數.
有如下性質:
1. \(a\mid b \leftrightarrow a\mid -b \leftrightarrow -a\mid b \leftrightarrow -a\mid -b\)
2. \(a\mid b,b\mid c\rightarrow a\mid c\)
3. \(a\mid b,a\mid c\rightarrow\forall x,y: a\mid bx+cy\)
4. \(\forall k\neq0: a\mid b \leftrightarrow ka\mid kb\)
5. \(a\mid b,b\mid a\rightarrow a=\pm b\)
6. \(a\mid b\rightarrow |a|\leqslant|b|\)
7. \(\forall a,b,c,a\neq0,b=qa+c: a\mid b\leftrightarrow a\mid c\)
8. \(\forall f(x)=\sum_^a_ix^i\in\mathbb[x]: d\mid b-c\leftrightarrow d\mid f(b)-f(c)\)
性質7根據定義是顯然的. 性質8由 \(b-c\mid b^j-c^j\) 立得.
設有 \(a,b,a\neq 0\), 則 \(\exist q,r\) 滿足 \(b=qa+r, 0\leqslant r<|a|\), 並稱 \(q\) 是 \(b\) 除以 \(a\) 的商, \(r\) 為 \(b\) 除以 \(a\) 的餘數.
這裡對存在性和唯一性作簡單論證.
存在性:
作序列 \(\cdots, -2a,-a,0,a,2a,\cdots\), 即 \(a\) 的所有倍數, 則 \(b\) 必在某一對相鄰項之間, 即 \(\exist q: qa\leqslant b<(q+1)a\),
此時設 \(r=b-qa\), 有 \(b=qa+r, 0\leqslant r<|a|\). 存在性證畢.
唯一性:
設 \(\exist q',r',b=q'a+r',0\leqslant r'<|a|,r'\neq r\), 不妨設 \(r'>r\), 作差得 \(0\leqslant r'-r<|a|,r'-r=(q-q')a\).
有 \(r'-r>0\), 則 \(a|r'-r, |a|\leqslant r'-r\), 矛盾. 唯一性證畢.
素數和合數一般在 \(\mathbb\) 中定義.
設 \(p\in\mathbb, p\neq0,1\). 若 \(p\) 只有因數 \(1,p\), 稱 \(p\) 為素數. 若其還有其他因數, 稱 \(p\) 為合數.
於是自然數就被分成了 \(0,1\), 素數, 合數 四部分. 在之後的定理或性質中, 我們認為 \(p,q\) 代表素數.
這裡, 我們列舉一些簡單的性質, 並定性給出埃拉託色尼 (eratosthenes) 篩法.
1. \(a\) 是合數 \(\leftrightarrow a=bc, 1
2. \(a>1,a|p\rightarrow a=p\)
3. \(a\) 是合數 \(\rightarrow\exist p:p|a\)
4. \(\forall a\leqslant2,\exist p_1,\cdots,p_s\rightarrow a=p_1\cdots p_s\)
5. \(\forall a>2,a\) 為合數, \(\exist p|a,p\leqslant\sqrt\)
6. 素數有無窮個.
前兩個性質都是根據定義顯然的. 下面給出剩餘性質的證明.
性質3: 考慮 \(a\) 的所有大於 \(1\) 的因數組成的集合, 取其中最小的, 則這個數就為素數 (否則這個數還有大於 \(1\) 的因數, 這也是 \(a\) 的因數,與最小性矛盾), 證畢.
性質4:
反證法, 考慮不能用素數乘積表示的最小的數, 則這個數為合數 (若為素數則與不能用素數乘積表示矛盾).
根據性質1, 該數可以被表示為另外兩數的乘積, 且這兩個數不屬於上述集合 (否則與最小性矛盾).
於是我們可以將這兩個數表示為素數乘積. 則原數也可以表示為素數乘積. 矛盾. 證畢.
性質5:
反證法. 根據上述證明, 我們知道這個數至少可以被表示為兩個素數的乘積, 又因為這些素數根據反證假設都是大於 \(\sqrt\) 的,得出它們的乘積大於 \(a\), 矛盾.
根據以上論證, 我們事實上可以獲得更廣泛的結論: 若乙個數可以被表示為 \(s\) 個素數的乘積, 那麼這些素數中一定存在某個數 \(p_i\leqslant \sqrt[s]\).
性質6: 反證法. 設全部的素數為 \(p_1,\cdots, p_s\), 則 \(p_1\cdots p_s+1\) 不被任何乙個素數整除, 矛盾.
根據性質5, 我們可以得到埃拉託色尼篩法: 將 \(2\) 至 \(\sqrt\) 之間的所有素數的倍數刪去, 就得到了 \(n\) 以內的素數表.
就以 \(n=10\) 為簡單例子.
初始為 \(2,3,4,5,6,7,8,9,10\).
當前未被篩選到的是 \(2\),它是素數. 篩去其所有倍數.
剩餘 \(3,5,7,9\), 則 \(3\) 為素數, 繼續篩去其所有倍數:
剩餘 \(5,7\), 而我們已經完成了對所有小於 \(\sqrt\) 的素數的倍數的剔除. 故剩餘的都為素數.
綜上所述, \(10\) 以內的全部素數為 \(2,3,5,7\).
數論 1 1整除
教堂 從某個教堂出發，逐個訪問這些教堂，並回到出發點。這些教堂有規律的組成m n的矩形，兩個教堂之間最短距離為1.輸入 m n 輸出至少需要走的路程。如果m或者n至少有乙個是1，則走的路程為一條直線，最少距離為教堂總個數 1再 2,教堂總個數可以通過判斷m和n最大值來求出。另一種情況是m n為奇數或...
數論 整除分塊
sum n lfloor frac rfloor 如果我們暴力求解，複雜度是 o n 的，那程式幾天也跑不完。思考一下，其實我們的瓶頸，就是出於 i 太多了。那列舉什麼量，才能讓列舉的數量變少？我們把 f x frac y lfloor f x rfloor 的圖象畫了出來。明顯地看到，在 x 比較...
整除分塊（數論分塊）
乙個有 趣的問題 求 sum n lfloor frac ni rfloor n leq 10 顯然不能直接做廢話 經過一番冷靜推理暴力打表 我們發現以下性質 1.large lfloor frac ni rfloor 最多只有 2 sqrt 種取值 證明 對於 i le sqrt,只有 sqrt ...