一些数论知识（不定期更新）

欧拉定理

//我写的一部分在百度上应该能找到

欧拉函数是数论中很重要的一个函数，欧拉函数是指：对于一个正整数n，小于n且和n互质的正整数（包括1）的个数，记作φ(n)。
完全余数集合（完全剩余系）：
定义：小于n且和n互质的数构成的集合为Z$_n$，称呼这个集合为n的完全余数集合。显然|Z$_n$|=φ(n)。
有关性质：
对于素数 p，φ(p)=p-1 。
对于两个不同素数p，q，它们的乘积n=p*q满足φ(n)=(p-1)*(q-1)。
这是因为Z$_n$={1,2,3,…,n-1}-{p,2p,…,(q-1) * p}-{q,2q,…,(p-1) * q}，则φ(n)=(n-1)-(q-1)-(p-1)=(p-1) * (q-1)＝φ(p)*φ(q)。
欧拉定理：
内容：对于互质的两个整数a、n，有$a$^φ(n)$≡1$ $mod$ $n$。
证明：
(1)令$Z_n=${$x_1$,$x_2$,···,$x$$_φ$$_($$_n$$_)$}，$S=${$a*x_1$ $mod$ $n$,$a*x_2$ $mod$ $n$,···,$a*x$$_φ$$_($$_n$$_)$ $mod$ $n$}。
①因为a与n互质，$x_i$(1≤i≤φ(n))与n互质，所以$a*x_i$与n互质，所以$a*x_i$ $mod$ $n$∈$Z_n$。
②当$i≠j$时，$x_i≠x_j$，由a，n互质可得$a*x_i$ $mod$ $n≠a*x_j$ $mod$ $n$（消去律）。
(2)$a$^φ(n)$*x_1*x_2*···*x_φ$$_($$_n$$_)$$mod$ $n$
$=(a*x_1)*(a*x_2)*···*(a*x_{φ(n)})$ $mod$ $n$
$=(a*x_1$ $mod$ $n)*(a*x_2$ $mod$ $n)*···(a*x_{φ(n)}$ $mod$ $n)$ $mod$ $n$
$=x_1*x_2*···*x_{φ(n)}$ $mod$ $n$
对比等式左右两端，因为$x_i(1≤i≤φ(n))$与n互质，所以$a$^φ(n)$≡1$ $mod$ $n$（消去律）。
注：
消去律：如果$gcd( c,n)=1$，则$ac ≡ bc$ $mod$ $n⇒$ $a ≡b$ $mod$ n <script type="math/tex" id="MathJax-Element-76">n</script>
消去律证明：
令ac=pn+r,bc=qn+r
移项，得ac-pn=r,bc-qn=r
即ac-pn=bc-qn
移项，合并同类项，得(a-b)c=(p-q)n
∵gcd(c,n)=1
∴n|(a-b)
由同余式定义知a≡b mod n.