第 1 讲
知识点
定义 1
对任给的两个整数 a,b(a,b=0),如果存在整数 q,使得 b=aq,那么称 b 能被 a 整除(或 a 能整除 b),记作 a∣b。否则称 b 不能被 a 整除,记作 a∤b。
性质 1
如果 a∣b,则 a∣(−b) 且 (−a)∣b,反之亦然。
性质 2
如果 a∣b,b∣c,则 a∣c。
性质 3
如果 a∣b,a∣c,则对于任意整数 x,y,有 a∣bx+cy。
练习
-
求证:3n+1(n 为正整数)能被 2 或 22 整除,但不能被 2 的更高次幂整除。
证明:n=1 时,3n+1=4,2∣4,22∣4。
只要证明 8∤3n+1,命题即得证。
- 如果 n 为奇数,3n+1=4(3n−1−3n−2+…−3+1)。而括号内为 n 个奇数的和差,仍为奇数,所以 8∤3n+1。
- 如果 n 为偶数,可得 4∤3n+1
读者自证不难。
Q.E.D.
-
是否存在 100 个不同的正整数,使得他们的和等于他们的最小公倍数?
解:存在。
构造 100 个数:
$$1,2,2\times3^1,2\times3^2,\ldots,2\times3^{97},3^{98}
$$然后自己算去。
Q.E.D.
-
求所有的有理数 a,使得 ∣4a−2∣≤1,并且 A=27a44a−1 为整数。
解:由题得 41≤a≤43。
设 a=yx [(x,y)=1]。
则计算得 A=27x44xy3−y4。
∵(x,y)=1,
∴x4∣4x−y。
∴x∣4x−y。
∴x∣y。
∴x=1。
∴A=27y3(4−y)。
又 a=y1≥41,
∴2≤y≤4。
经检验,当 y=3,a=31 时,A 为整数。
Q.E.D.
第 2 讲
知识点
对于正整数 n>1,如其因数仅有 1 与 n,称 n 为素数,否则 n 为合数。1 既不是素数也不是合数。
性质 1
设 n 为大于 1 的正整数,p 为 n 的最小的大于 1 的因数,则 p 为素数。
性质 2
如果对任意 1∼n 之间的素数 p 都有 p∤n,则 n 为素数。
性质 3
素数有无穷多个。
性质 4
偶质数只有一个:2。
算术基本定理
设 n 是大于 1 的正整数,则 n 可以分解为若干个素数的乘积的形式,而且他是唯一的。即存在唯一的一组素数 p1,p2,…,pn 及指数 α1,α2,…,αn,使得 $n=p_1^{\alpha_1}\times p_2^{\alpha_2}\times\ldots\times p_n^{\alpha_n}$。
n 的因数个数为
d(n)=i=1∏n(αi+1)
因数和为
$$\sigma(n)=\prod\limits_{i=1}^n(p_i^{\alpha_i}+p_i^{\alpha_i-1}+\ldots+p_i+1)
$$
练习
-
设 n≥2 为整数,b 为合数。若有 r 个不同的正整数整除 b,则至少有 r 个正整数整除 ab−1。
解:设 s1∼sr 两两不等,且 ∀1≤i≤r,si∣b。
则
$$\begin{aligned}a^b-1&=(a^{s_1}-1)(a^{b-s_1}+a^{b-2s_1}+a^{b-3s_1}+\ldots+a^{s_1}+1)\\&=(a^{s_2}-1)(a^{b-s_2}+a^{b-2s_2}+a^{b-3s_2}+\ldots+a^{s_2}+1)\\&=\ldots\\&=(a^{s_r}-1)(a^{b-s_r}+a^{b-2s_r}+a^{b-3s_r}+\ldots+a^{s_r}+1)\end{aligned}
$$又 ∵s1∼sr 两两不等
∴as1−1,as2−1,…,asr−1 两两不等。
∴ 至少有 r 个数整除 ab−1。
Q.E.D.
-
试证:已知 n 为大于 1 的奇数,则在 21−1,22−1…,2n−1−1 中,至少有一个能被 n 整除。
证明:显然 n∤2i(0≤i<n)。
其余数必为 1∼n−1。
根据抽屉原理,必存在两个整数 1≤p<q<n,使得 2p≡2q(modn)。
而 2q−2p=2p(2q−p−1),因此 n∣2p(2q−p−1)。
又 ∵(n,2p)=1,
∴n∣2q−p−1。
Q.E.D.
-
试证:存在无穷多个正整数 n,使得 n∣2n+2。
证明:如 n 为偶数,且 n∣2n+2,n−1∣2n+1(它是存在的,例如 n=2),
则对于 n′=2n+2 也满足条件。
设 2n+2=nk(k 为奇数)。
$\because 2^{nk}+1=(2^n+1)\left[(2^n)^{k-1}-(2^n)^{k-2}+\ldots-2^n+1\right]$
∴2n+1∣2nk+1,即 n′−1∣2n′+1。
设 2n+1=m(n−1)(m 为奇数),
同理可得 2n−1+1∣22n+1+1,即 n′∣2n′+2。
由此可生成无数个这样的 n。
Q.E.D.