一些基础数论的知识和证明

算术基本定理

$N=p^{{\alpha }_1}\ast p^{{\alpha }_2}\ast ...\ast p^{{\alpha }_k}$

约数个数

$({\alpha }_1+1)\ast ({\alpha }_2+1)...\ast ({\alpha }_k+1)$

证明：

已知$N=p^{{\alpha }_1}\ast p^{{\alpha }_2}\ast ...\ast p^{{\alpha }_k}$
设$d=p^{{\beta }_1}\ast p^{{\beta }_2}\ast ...\ast p^{{\beta }_k}$，且$d$是$N$的一个约数，对于$[{\beta }_1,{\beta }_k]$的每一种取法，$d$都是$N$的不同约数。
对于${\beta }_1$，可以取$[0,{\alpha }_1]$，即存在${\alpha }_1+1$种取法；对于${\beta }_2$，可以取$[0,{\alpha }_2]$，即存在${\alpha }_2+1$种取法；对于${\beta }_k$，可以取$[0,{\alpha }_k]$，即存在${\alpha }_k+1$种取法。
由乘法原理得，约数个数为$({\alpha }_1+1)\ast ({\alpha }_2+1)...\ast ({\alpha }_k+1)$
证毕。

约数之和

$(p_1^0+p_1^1+...+p_1^{{\alpha }_1})\ast (p_2^0+p_2^1+...+p_2^{{\alpha }_2})\ast ...\ast (p_k^0+p_k^1+...+p_k^{{\alpha }_k})$

证明

已知$N=p^{{\alpha }_1}\ast p^{{\alpha }_2}\ast ...\ast p^{{\alpha }_k}$
$(1)$计算$p^{{\alpha }_1}$的约数之和，显然有$(p_1^0+p_1^1+...+p_1^{{\alpha }_1})$
$(2)$计算$p^{{\alpha }_2}$的约数之和，显然有$(p_2^0+p_2^1+...+p_2^{{\alpha }_2})$
…
(k)计算$p^{{\alpha }_k}$的约数之和，显然有$(p_k^0+p_k^1+...+p_k^{{\alpha }_k})$

由乘法原理得，约数之和为$(p_1^0+p_1^1+...+p_1^{{\alpha }_1})\ast (p_2^0+p_2^1+...+p_2^{{\alpha }_2})\ast ...\ast (p_k^0+p_k^1+...+p_k^{{\alpha }_k})$
证毕。

欧拉函数

设$\phi (N)$为$[1,N]$中与$N$互质的数的个数。
$N$可以分解质因数为$N=p^{{\alpha }_1}\ast p^{{\alpha }_2}\ast ...\ast p^{{\alpha }_k}$
存在公式$\phi (N)=N(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_k})$

证明

欧拉函数的证明使用容斥原理。
$1.$减去$p_1,p_2...p_k$的倍数的个数，即$\frac{N}{p_i}$
$2.$加上$p_i\ast p_j$的倍数的个数，即$\frac{N}{p_i\ast p_j}$
$3.$减去$p_i\ast p_j\ast p_k$的倍数的个数，即$\frac{N}{p_i\ast p_j\ast p_k}$
$...$
得到：$N-\frac{N}{p_i}+\frac{N}{p_i\ast p_j}...$，化简得$N(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_k})$。
证毕。

欧拉定理

若$a$与$n$互质，则$a^{{\varphi }_{(n)}}\equiv 1$ ($mod$ $n$)

证明

设$[1,n]$中与$n$互质的数分别为$a_1,a_2...a_{{\varphi }_{(}n)}$。由于$a$与$n$互质，所以$a\ast a_1,a\ast a_2...a\ast a_k$也分别与$n$互质，且互不相同。

关于互不相同的证明

假设$a\ast a_1与a\ast a_2$相同，则有如下式子

$a\ast a_1\equiv a\ast a_2$ ($mod$ $n$)
$a(a_1-a_2)\equiv 0$ ($mod$ $n$）
$a_1-a_2\equiv 0$ ($mod$ $n$)
$a_1=a_2$
与${\varphi }_{(n)}$的定义矛盾，故$a\ast a_1,a\ast a_2...a\ast a_k$互不相同

整理得以下式子
$a\ast a_1,a\ast a_2...a\ast a_k\equiv a_1,a_2...a_{{\varphi }_{(}n)}$ ($mod$ $n$)
$a^{{\varphi }_{(n)}}\ast (a_1,a_2...a_{{\varphi }_{(n)}})\equiv a_1,a_2...a_{{\varphi }_{(}n)}$ ($mod$ $n$)
$a^{{\varphi }_{(n)}}\equiv 1$ ($mod$ $n$)
证毕。

费马小定理

$a^{p-1}\equiv 1$ ($mod$ $p$)

证明

见欧拉定理的证明过程