专题 初等数论初步从入门到放弃

1、整数的整除

定义1 设$a,b$为整数，$b̸=0$，若存在整数$q$，使得$a=bq$, 那么$b$整除$a$，记作$b|a$

1.1 整除的基本性质

性质1.1 若$a|b$, $b|a$, 则$a=b$ 或 $a=-b$
证明
$$\{\begin{array}{l}a|b⟺b=aq\\ b|a⟺a=bp=apq\end{array}\Rightarrow pq=1,即p=1,q=1或p=-1,q=-1\Rightarrow a=b或a=-b$$

性质1.2 若$a|b$, $b|c$, 则$a|c$
证明
$$\{\begin{array}{l}a|b⟺b=aq\\ b|c⟺c=bp=apq\end{array}\Rightarrow a|c$$
性质1.3 若$a|b$, $a|c$, 则对任意整数$x$,$y$，恒有$a|bx+cy$
证明
$$\{\begin{array}{l}a|b⟺b=aq\\ a|c⟺c=ap\end{array}\Rightarrow bx+cy=aqx+apy=a(qx+py)⟹a|bx+cy$$

1.2 带余除法（欧几里得除法）

带余除法（欧几里得除法）： 给定$a$,$b$，存在唯一 $a=bq+r$, $0\le r＜|b|$
证明

2、素数

定义2 在大于1的自然数中，除了1和它本身以外不再有其他因数的数称为素数。

2.1 素数的相关性质

性质2.1 一个大于1的整数总能分解成一些素数的乘积
证明

性质2.2 素数有无穷多个
证明
我们用反证法，假设素数个数有限。那么我们设有限的$k$个素数为$m_1,m_2,m_3..m_k$,并设$N=m_1\ast m_2\ast m_3\ast ...\ast m_k$,那么$N+1$必定为素数。这与假设相矛盾，故假设不成立，即素数有无穷多个。

性质2.3 一个数除$1$以外的最小正因数一定是素数（反证，假设$p$不是，那么$q|p$…）
证明

2.2 素数的判断

算法原理 若$1$~ $\sqrt{n}$ 之间的素数都不能整除$a$,则$a$是素数。
代码如下：

#include <bits/stdc++.h>
using namespace std;

bool is_prime(int x)
{
   
	if(x==1) return 0;
	for(int i=2;i*i<=x;++i)
		if(x%i==0) return 0;
	return 1;
}

int main()
{
   
	for(;;)
	{
   
		int x; scanf("%d",&x);
		if(is_prime(x)) printf("Yes\n");
		else printf("No\n");
	}
	return 0;
}

2.3 素数的筛法

埃拉托斯特尼筛法（埃氏筛法）

算法原理

素数的倍数一定不是素数。我们可以用一个长度为$N+1$的数组保存信息（$true$表示素数，$false$表示非素数），先假设所有的数都是素数（初始化为$true$），从第一个素数$2$开始，把$2$的倍数都标记为非素数（置为$false$），一直到大于$N$；然后进行下一趟，找到$2$后面的下一个素数$3$，进行同样的处理，直到最后，数组中依然为$true$的数即为素数。

P.S:特别的，11既不是素数，也不是合数，所以$1$要置为$false$
例如，我们要求