性质定理

辗转相除

(qn+r,n)=(r,n)(qn+r,n)=(r,n)
(a,b)=(a±b,b)=(a,b±a)(a,b)=(a\pm b,b)=(a,b\pm a)

分数性质

分数一定为有限小数或者无限循环小数
若分母p含有质因数2和5,则肯定是有限小数
若分母p不含质因数2和5,则只需证明 mp\frac{m}{p} 可以写成 n999...\frac{n}{999...} 的形式,那么该分数即为无限循环小数
先证明一个引理:
若p为质数且 p7p\geq7,则 9,99,999,...,999...999,99,999,...,999...99 中一定有p的倍数
用反证法证明:
若没有p的倍数,则有 aiaj(mod p)a_i\equiv a_j (mod\ p) (ai>aja_i>a_j)
aiaj999...9000...000(mod p)a_i-a_j \equiv 999...9000...00 \equiv 0 (mod\ p)
p999...99p|999...99
矛盾,得证
mp\frac{m}{p} 可以写成 n999...\frac{n}{999...} 的形式
19=0.1111...\frac{1}{9}=0.1111...
199=0.010101...\frac{1}{99}=0.010101...
1999=0.001001001...\frac{1}{999}=0.001001001...
n999...\frac{n}{999...} 可以写成 0.abcd..0.abcd.. 的循环,证毕

费马小定理

(a,p)=1(a,p)=1 且p为质数,则有:

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

首先证明一个引理:
对于m的一组完系:a1,a2,...,ama_1,a_2,...,a_m(k,m)=1(k,m)=1ka1,ka2,...,kamka_1,ka_2,...,ka_m 也为m的一组完系
使用反证法证明:
ka1,ka2,...,kamka_1,ka_2,...,ka_m 不为m的一组完系,由抽屉原理可得必有 kaikaj(mod m)ka_i \equiv ka_j (mod\ m)
得:k(aiaj)0 (mod m)k(a_i-a_j)\equiv 0\ (mod\ m)
(k,m)=1(k,m)=1p(aiaj)p|(a_i-a_j)
矛盾,证毕
0,1,2,...,p10,1,2,...,p-1 为模p的一组完系
由上述引理可知:0,a,2a,...,a(p1)0,a,2a,...,a(p-1) 也为模p的一组完系
得:(p1)!ap1(p1)! (mod p)(p-1)!\equiv a^{p-1}(p-1)!\ (mod\ p)
(p1)!(ap11)0 (mod p)(p-1)!(a^{p-1}-1)\equiv 0\ (mod\ p)
p(p1)!(ap11)p|(p-1)!(a^{p-1}-1)
又p为质数,则p(ap11)p|(a^{p-1}-1) 得证

裴蜀定理

已知 (a,b)=d,则对于任意整数 x,y,都满足 ax+by=kd(kZ)ax+by=kd(k\in Z)
特别地,存在 x,y 使得 ax+by=dax+by=d

毕达哥拉斯三角形

概念:三边均为整数的三角形
令三边分别为 a,b,c
则三边平方关系一定有 奇+偶=奇,不会出现其它情况
取任意正整数 m,n,且(m,n)=1,m>n kNk\in N^*
通解为:
           ~~~~~~~~~~~ a=k(2mn)a=k(2mn)
           ~~~~~~~~~~~ b=k(m2n2)b=k(m^2-n^2)
           ~~~~~~~~~~~ c=k(m2+n2)c=k(m^2+n^2)

欧拉函数 ϕ(n)\phi(n)

特别地,我们有 (0,1)=1
n2n\geq2 时,(0,n)≠1
ϕ(1)=ϕ(2)=1\phi(1)=\phi(2)=1
对于大于等于 3 的整数 ϕ(n)2\phi(n)\geq2
当 p 为质数时,有:
(p,m)=1    (pn,m)=1(p,m)=1\iff(p^n,m)=1
ϕ(pn)=pnpn1\phi(p^n)=p^n-p^{n-1}

解法

已知 (m,n) 和 [m,n] 求 m,n

例:已知 (m,n)=12,[m,n]=72,求 m,n,其中 m>nm>n
m=12m1,n=12n1m=12m_1,n=12n_1(m,n)=1(m,n)=1
[m,n]=[12m1,12n1]=12[m1,n1]=72[m,n]=[12m_1,12n_1]=12[m_1,n_1]=72
[m1,n1]=6[m_1,n_1]=6
m1=3,n1=2m_1=3,n_1=2m1=6,n1=1m_1=6,n_1=1
代入求解即可
核心思路是缩小取值范围

求不定方程通解

ax+by=cax+by=c
x0,y0x_0,y_0 为不定方程特殊解
令原方程为 ax+by=0ax'+by'=0
得到 x=b(a,b)tx'=-\frac{b}{(a,b)}ty=a(a,b)ty'=\frac{a}{(a,b)}t 其中 tZt \in Z
通解为:
            x=x0+x=x0b(a,b)t~~~~~~~~~~~~x=x_0+x'=x_0-\frac{b}{(a,b)}t
            y=y0+y=y0+a(a,b)t~~~~~~~~~~~~y=y_0+y'=y_0+\frac{a}{(a,b)}t