数论基础-小白学算法必学（一天一夜的成果）万字

---

前言

本篇博客只是给出一些算法中常用的公式，公式的证明有兴趣的可以百度上搜也是可以的。
在最一般的意义下、数论研究各种数集合的性质.在本章中我们讨论某些特别重要的数的集合，包括整数、有理数和代数数集合.我们将简单介绍用有理数逼近实数的概念，也介绍序列(特别是整数序列)的概念，包括古希腊人所研究的一些垛积数序列.一个常见问题是如何由一些初始项来判定一个特别的整数序列.我们将简单讨论一下如何解决这种问题。

---

一、最大取整函数

1.定义
实数x的最大整数记为[ x ] ,是小于或等于x的最大整数。一般在计算机语言中的向下取整函数 floor（）

2.定理1
如果n是整数，则对于任意实数x，都有
$$[x+n]=[x]+n.$$

3.定理2
实数x的分数部分 记为{x} ，是 x与[x]的差即
$$x=x-[x].$$
4.定理3
当x为实数时
$$[x]+[x+1/2]=[2x].$$
5.定理4
所有实数x和y, 都有
$$[x+y]>=[x]+[y].$$
6.定理5
当 x 和y为实数时,
$$[2x]+[2y]>=[x]+[y]+[x+y].$$
7.定理6
当 x 和y为实数时,
$$[xy]>=[x]\ast [y]$$
8.定理7
当x为实数时，
$$-[-x]是大于或等于x的最大整数。$$
9.定理8

$$[x+1/2]是最接近x的整数.$$
10.定理9
如果 m, n是正整数，则当x为实数时，
$$[(x+n)/m]=[([x]+n)/m]$$

---

二、丢番图逼近

1.定理1
鸽笼原理
如果把k+1个或更多的的物品放入k个盒子中，那么至少有一个盒子中有两个或更多的物品。

2.定理2
狄利克雷逼近原理
如果 x 是一个实数 ，n是一个正整数，则存在整数a和b，1<=a<=n.使得
$$|ax-b|<1/n$$

---

三、和与积

1.等比数列的求和公式
公比q 首项a，$$Sum=\frac{a{q}^{n+1}-a}{q-1}$$

2.三角数，t1,t2,…tk 。是一个序列。tk，为第j行有j个点的k行三角序列中点的个数。
tn = （n+1)*n/2> $$t_n=\frac{n(n+1)}{2}$$
2.把两个三角阵列组合在一起，其中一个是n行另一个是n-1行，形成一个正方形阵列（如图，n=4）。

$$t_{n-1}+t_n=n^2$$. 这里 t n 是第n个三角形。

3.把两个三角形阵列·组合在一起，每个都是n行，形成一个有 n *n+1 个点的矩形阵列。
$$t_n=\frac{n(n+1）}{2}$$

4. $$\sum _{i=1}^n{j}^2=1^2+2^2+3^2+....+n^2=\frac{n\ast (n+1)\ast (2n+1)}{6}$$
5.$$\sum _{i=1}^n{j}^3=1^3+2^3+...+n^3=[\frac{n\ast (n+1)}{2}{]}^2.$$
6.$$\sum _{i=1}^{n}j\ast (j+1)=1\ast 2+2\ast 3+...+n\ast (n+1)=\frac{n(n+1)(n+2)}{3}.$$
7.$$1\ast 1!+2\ast 2!+...+n\ast n!=(n+1)!-1.$$
8.$$\sum _{i=1}^n(-1{)}^{j-1}{j}^2=1^2-2^2+3^2-....+(-1{)}^{n-1}{n}^2=(-1{)}^{n-1}\frac{n(n+1}{2}$$
9.七巧板问题就是把每一块按照正确的方法组合在一起。
**结论：**解决n快七巧板问题恰好需要移动n-1步。
10.对所有的正整数n递归定义如下函数：f(1)=1,f(2)=5,
且对n>2,f(n+1) =f(n) +2f(n-1),有
$$f(n)=2^n+(-1{)}^n$$
11.斐波那契数 的公式求法
$$a=\frac{1+\sqrt{5}}{2}b=\frac{1-\sqrt{5}}{2}$$
$$f_n=\frac{1}{\sqrt{5}}(a^n-b^n)$$

四.整除性

1.定义：如果a和b为整数且a $\ne$ b，我们说 a整除b是指存在整数c使得 b=ac。

2.定理1.8：如果 a|b，b|c ，则 a|c。

3.定义1.9：如果 a，b，m，n为整数，且
c|a，c|b，则
$$c|(ma+nb)$$

4.定义1.10（带余除法）：如果a和b是整数且b>0 ，则存在唯一的整数q和r，使得
$$a=bq+r0<=r<b$$
在该公式中 我们称 q为商，r为余数。我们还称a为被除数，b为除数。
5.性质1：如果a，b，c，d是整数，a和c非零，且满足
a|b，c|d ，则 ac|bd。
6.结论如果a为整数，则 3 整数 $$a^3-a$$
7.结论：

1. 如果两个形如 4k+1 的整数之积仍让是这个形式；
2. 如果两个形如 6k+5 的整数之积转化为 6k+1；
3. 而两个形如 4k+3 的整数之积则转化为 4k+1；

8.结论：

1. 每个奇数的平方都形如 8k+1；
2. 每个奇数的四次方都形如 16k+1；

9.结论：

1. 任意三个连续的整数的积都能被6整除。
2. 任意正整数 $$n,n^5-n可以被5整除$$
3. 三个连续的整数的立方和能被9整除。

五.整数的表示法和运算

(该章节内容会在后面进行补充）
1. 定理2.1：令b是正整数，b>1,则每个正整数n都可以被唯一的写成如下形式
$$n=a_k{b}^k+a_{k-1}{b}^{k-1}+...+a_{1}b+a_0$$

五.素数和最大公因子

1. 定理3.2：
如果n是一个合数，那么n一定有一个不超过$$\sqrt{n}$$的素因子。
2. 定义： 函数 $\pi (x)$表示不超过x的素数的个数。
$\pi (x)$可以用 $$\frac{x}{log(x)}来近似表示$$
3. 结论：
$$具有n^3+1形式的整数都不是素数，除了2.$$
4. 定义：
两个不同时为零的整数a，b的最大公因子就是指能同时整除a和b的最大的整数。记为 （a，b）
5. 定理3.6：
如果两个整数a，b，且（a，b）=d，那么
$$(a/d,b/d)==1$$
6. 定义：
如果两个整数a，b的最大公因子（a，b）==1，则称这两个数互素的。
7. 定理3.7：令a，b，c是整数，那么
$$(a+cb,b)=(a,b)$$
8. 定理：如果整数a，b互素，那么存在整数m，n，使得 ma+nb = 1 .
9. 结论：如果a，b是不全为零的偶数，那么
$$(a,b)=(a/2,b)$$
10. 结论：如果非零整数a，b，c互素，那么
$$(a,bc)=(a,b)(a,c)$$
11. 结论：如果k是整数，那么
$$整数6k-1,6k+1,6k+2,6k+3,6k+5两两互素$$
12. 结论：如果k是整数，那么
$$3k+2和5k+3互素$$
13. 结论：对于所有的整数
$$a，8a+3和5a+2互素$$

六.欧几里得算法

1. 定理：如果 e和d是整数且e = dq+r，其中q，r是整数，那么
   $$(e,d)=(d,r)$$

2. 定理：令 a，b是正整数，那么
   $$(a,b)=s_{n}a+t_{n}b,其中s_n和t_n$$是下面定义的递归序列的第n项。
   $$s_0=1,t_0=0,$$
   $$s_1=0,t1=1,$$则
   $$s_j=s_{j-2}-q_{j-1}{s}_{j-1}{t}_j=t_{j-2}-q_{j-1}{t}_{j-1}$$其中j=1,2…，n,
   $$q_j是欧几里得算法中每一步的商。$$

3. 结论：
   $$（a,b)=\{\begin{array}{ll}a& 如果a=b\\ 2(a/2,b/2)& 如果a，b都是偶数\\ (a/2,b)& 如果a是偶数，b是奇数\\ (a-b,b)& 如果a，b都是偶数，且a>b\end{array}$$

七.算术基本定理

1. 定理3.15（算术基本定理）：每个大于1的正整数都可以被唯一地写成素数的乘积，在乘积中的素因子按照非降序排列。
2. 引理3.4：如果a，b和c是正整数，满足（a，b） =1且 a|bc ,则 a|c .
3. 引理3.6：如果x和y为实数，则
$$max(x,y)+min(x,y)=x+y.$$
4. 定理3.16：如果a和b是正整数，则
$$[a,b]=ab/(a,b),其中[a,b]和(a,b)分别是a和b的最小公倍数和最大公因子$$
5. 定理：设 m和n是互素的正整数，如果
$$d_1和d_2分别是m和n的正因子，则d=d_1{d}_2是mn的正因子。$$
6. 结论：一个整数n的素因子分解中所有的幂次都是偶数当且仅当n是一个完全平方数。
7. 结论：$$如果p^a||m,p^b||n,则p^{a+b}|mn$$
8. 结论：
$$a^3|b^3,则a|b$$
9. 结论：$$如果a和b为正整数，则(a,b)=(a+b,[a,b])$$

10. 结论：$$[a,b,c]=\frac{abc(a,b,c)}{(a,b)(a,c)(b,c)}$$
11. 结论：$$如果a和b为正整数，则(a,b)=(a+b,[a,b])$$

八.因子分解法和费马数

1. 引理：如果n是一个正的奇数，那么n分解为两个正整数的积和表示成两个平方数的差是一一对应的。
$$n=ab=s^2-t^2$$
$$s=(a+b)/2,t=(a-b)/2$$
2. 费马数：
$$整数F_n=2^{2^n}+1被称为费马数,n>=2时，最后一位都是7$$
3. 定理3.20：
$$费马数的每个素因子都形如2^{n+2}k+1$$
4. 等式：
$$4x^4+1=(2x^2+2x+1)(2x^2-2x+1)$$ .

九.线性丢番图方程

1. 定理3.23：设a，b是整数且 d = （a,b). 如果 d 不能整除c 那么方程 ax + by = c 没有整数解 。如果 d|c ，那么有无穷解。另外，如果 x = x0 , y = y0 是方程的一个特解，那么所有的解可以表示为
   $$x=x_0+(b/d)n,y=y_0-(a/d)n,其中n是整数。$$

十.同余

1. 定义：
   $$设m是正整数，若a和b是正整数，且m|（a-b),则称a和b模同余$$
   $$记作a\equiv b(modm)$$
2. 定理4.1：若 a 和 b 是整数 ，则
   $$a\equiv b(modm)当且仅当存在整数k,使得a=b+km$$
3. 定理4.3：若 a,b,c和m是整数，m>0
   $$a\equiv b(modm)则$$
   $$(1)a+c=b+c(modm)$$
   $$a-c=b-c(modm)$$
   $$ac=bc(modm)$$
4. 定理4.4：若a,b,c和m是整数,m>0,d = (c,m),且有
   $$ac\equiv bc(modm),则$$
   $$a\equiv b(modm/d),当(c,m)=1时，a\equiv b(modm)$$
5. 定理4.7：若a,b,k和m是整数,k>0,m>0,且有
   $$a\equiv b(modm),则$$
   $$a^k\equiv b^k(modm)$$
   
6. 结论：若s是偶数，则
   $$a^2\equiv 0(mod4),奇数则是a^2\equiv 1(mod4)$$
7. 结论：
   $$1^3+2^3+...+(n-1{)}^3\equiv 0(modm)$$

十一.线性同与方程

1. 定义：x是未知整数，形如
   $$ax\equiv b(modm)称为一元线性同余方程$$
2. 定理4.10：设a,b和m 是整数，m>0,(a,m) = d 若 d不等于b，则
   $$ax\equiv b(modm)无解，若d|b,z则ax\equiv b(modm)恰有d个模m不同余的解$$
3. 推论：若a和m>0互素，且b是整数，则线性同余方程
   $$ax\equiv b(modm)恰有(a,m)=1个模m不同余的解。$$
4. 模的逆：给定整数a，有(a,m) = 1，称
   $$ax\equiv 1(modm)的一个解为a模m的逆$$
5. 定理4.11：设p是素数。正整数a是自身模p的逆，当且仅当
   $$a\equiv 1(modp)或a\equiv -1(modp)$$
6. 中国剩余定理：设m1,m2,…,mr 是两两互素的正整数，则同余方程组
   $$\begin{gathered} x\equiv a_1(mod{m}_1), \\ x\equiv a_2(mod{m}_2), \\ ... \\ x\equiv a_r(mod{m}_r), \\ 有模M=m_1{m}_2...m_r的唯一解。 \end{gathered}$$
7. 引理4.2：若a和b是正整数，则
   $$2^a-1模2^b-1的最小正剩余是2^r-1,其中r是a模b的最小正剩余。$$
8. 引理4.3：若a和b是正整数，则
   $$2^a-1和2^b-1的最大公约数是2\dots \dots （a,b)-1$$
9. 定理4.13：
   $$正整数2^a-1和2^b-1是互素的，当且仅当a与b是互素的。$$

十二.同余的应用

1. 被2的冪整除检验：要判断一个整数n是否被2整除，只需检验它的最后一位数字能否被2整除。

2. 被5的冪整除检验：要判断一个整数n是否被5整除，只需检验它的最后一位数字能否被5整除。

3. 被3和9的冪整除检验：只需要检验n的各个位数之和是否能被3或9整除。

4. 被11的冪整除检验：是对n的各位数字交替相加减，所得到的整数
   $$a_0-a_1+a_2-...+(-1{)}^k{a}_k能被11整除$$

5. 被7、11、13的冪整除检验 结论：从整数的最右端开始连续的三位数字组成一组，再按照原顺序构成新的三位数，最后将他们连续的交替相加减而得到的整数。从而只需检验交替相减后的结果是否能被7,11，或13整除。

十三.特殊的同余式

1. 威尔逊定理：
   $$若p是素数，则(p-1)!\equiv -1(modp)$$
2. 定理6.2：
   $$设n是正整数且n\ge 2,若(n-1)!\equiv -1(modn),则n是素数$$
3. 费马小定理：
   $$设p是一个素数，a是一个正整数且p\nmid a,则a^{p-1}\equiv (modp)$$
4. 定理6.4：
   $$设p是素数且a是一个正整数，则a^p\equiv a(modp)$$
5. 定理6.5：
   $$设p是素数,a是一个正整数且p\nmid a,那么a^{p-2}是a模p的逆$$
6. 欧拉$\varphi$函数：
   $$定义为不超过n且与n互素的正整数的个数$$
7. 定义：
   KaTeX parse error: Can't use function '$' in math mode at position 12: 模n的既约剩余系是由$̲\phi$个整数构成的集合，集…
8. 欧拉定理：设m是一个正整数，
   $$a是一个整数且(a,m)=1,那么a^{\varphi (m)}\equiv 1(modm)$$

十三.完全数

1. 两个函数：
   $$\tau (n)：n的正因数个数，\sigma (n)：n的正因数之和$$
2. 完全数定义：
   $$如果n是一个正整数且\sigma (n)=2n，那么n称为完全数$$
3. 定理7.10：正整数m是一个偶完全数当且仅当
   $$n=2^{m-1}(2^m-1),其中m\ge 2是使得2^m-1是一个素数的整数$$
4. 定理7.11：
   $$如果m是一个正整数且2^m-1是一个素数,则m必是素数$$

十四.某些非线性丢番图方程

1. 丢番图方程：如果对一个方程只求解它的整数（或有理数）解，我们便称该方程为丢番图方程。
   

毕达哥斯拉方程组

1. 定义：
   $$\begin{gathered} 满足x^2+y^2=z^2 \\ 的正整数三元组被称为毕达哥斯拉三元组 \end{gathered}$$
2. 定义：
   $$一个毕达哥斯拉三元组x,y,z称为本原的，如果(x,y,z)=1$$
3. 引理：如果x,y,z为一个本原毕达哥斯拉三元组，则
   $$(x,y)=(y,z)=(x,z)=1$$
4. 引理 ：若r，s，t为正整数，且(r,s)=1,rs=$t^2$,则
   $$存在整数n,m，使得r=m^2,s=n^2$$

平方和

1. 定理13.4：如果m和n都可以表示为两个整数的平方和，那么mn同样也可以表示为两个整数的平方和。

2. 引理13.4：如果p是一个4m + 1 形式的素数，其中m是整数，那么也存在整数x和y，使得
   $$x^2+y^2=kp对于p的正整数k成立。$$

3. 定理13.6：如果正整数m和n都可以表示成四个整数的平方和，那么mn也可以。
   

4. 定理13.7：正整数n可以表示成两个整数的平方和，当且仅当n的每一个4k + 3 形式的素因子在n的素幂分解形式中为偶次方。

5. 定理13.5 ：如果p是一个素数，那么就存在一个整数k，k<p使得
   $$\begin{gathered} kp=x^2+y^2+z^2+w^2 \\ 存在正整数解。 \end{gathered}$$

6. 定理13.8 ：如果p是一个素数，那么方程
   $$\begin{gathered} p=x^2+y^2+z^2+w^2 \\ 存在正整数解。 \end{gathered}$$

佩尔方程

后续会跟新。

.博主码字不易，希望对大家有帮助！