求n以内最大的k个素数以及它们的和_数论挖坟篇：整数的整除以及相关

一：相关定义和标记

• 记p是素数为
  ，其中
  表示素数集
• 表示a整除b，
  表示a不整除b
• 表示a与b的最大公因数
• 表示a与b的最小公倍数，通常写为
• 带余除数法是指：

二：整除、最大公因数、最小公倍数的基本性质

• 传递性，若
  则
• 可表示为线性组合，若
  使得
• 若
  则
  （
  即
  ）
• 对于1到
  之间的素数p，都有
  则
• 素数有无穷多个

证明：设只有有限个素数，

，考虑

，这说明了

是合数。其最小大于1的因数p，

。设

，

。则

即

导致了

矛盾。所以素数有无穷多个。

• （Bezout定理）

证明：使用辗转相除法。令

。不妨设

。设

，若

则辗转相处到此为止；否则用a除以

得

。由于

最终

。于是：

则

并且

所以

是a，b的公因数，所以

，又

所以

，所以

联立，得到

;由于

得到d能表示为

的线性组合，原命题得证。

• 则

证明：

• 则
• 则

三：最大公因数、最小公倍数的几何意义

表示

和

连成的线段上除了原点外的整点个数

表示

和

连成的线段上距离原点最近的整点横纵坐标乘积

四：一些有趣的题目

1.对于

，证明

证明：m=n显然成立，不妨设

则：

设

则

而

所以，

，即

；反过来，

即

2.

，证明：存在从小到大排列后成等差数列的

个正整数，它们中任意两项互素

证明：考虑数列

这是公差为n的等差数列。

若存在

满足

，考虑d的素因子p，则

，即

，所以

，由于

，知

，故总有

；然而

，根据

可知

矛盾。

原命题成立。

3.

都满足

证明：假设能够整除，去最小满足条件的n
由于

知

，进一步应有

即

。由于

时导致

(因为其中

）推出矛盾，故

。

设

则

，于是

，即

，于是

，与n的最小性矛盾。

故原命题成立。

4.求所有

，使得

n=1时为0，显然不成立
考虑

分为四类

时

是偶数，所以

，解得n=2

时，

是个合数

时，

仅k=0时为素数，n=3

所以

5.

，证明存在连续

个正整数，他们是合数

证明：给出一例，

符合

这个结论表明，两个素数之间的差可以任意大

6.

，证明

满足

证明：设

，令

时2，3会在

中出现，所以

，使用“素数有无穷多个”的证明方法，可证q的素因子p不再

中，即

，所以

所以命题成立

说明：相关定理：

（贝特朗猜想/契比雪夫定理）

7.求

满足

设

，根据相关性质，

所以

，即

由于

，所以

有以下两种情况

，解得

。设

，所以

，所以

，所以

，解得

，但是

与假设矛盾，无解

综上，

8.Fermat数

，证明

，有

证明：设

，则

而

是奇数，所以

9.

，

满足

，证明：

证明：根据条件，有

可知

p是奇素数，则

10.设所有素数依次有

，证明

时，

可以表示为三个大于一的正整数（可以相同）的乘积

证明：根据题意，

，且

，且

所以

可以写成两个正整数的积的形式，命题得证。

11.

表示k的最大奇因数，

，证明：

都有

证明：记

，根据定义有

类似的，

回到原题，n=1显然成立，假设对于

原命题都成立，考虑

n是偶数时：

成立
n是奇数时：运用

即可

综上命题成立。

12.对于

，且

，证明：m是素数

证明：设m是合数，则存在

使得

，所以

，而

，这导致了

，推出

矛盾，原命题成立

13.

，证明：

证明：对于

，总有

使用辗转相除法，设

，

，则

则左边：

14.

，证明n是合数的充分必要条件是

证明：记

当

时由题，

，推出

，从而

矛盾

所以

,

反过来，n是合数，

，令

恰好满足

得证

参考文献：冯志刚《数学奥林匹克小丛书》.华东师范大学出版社