摘要
本课研究素数,即自然数乘法的原子。本课证明每个大于 的自然数都有素因数,介绍埃拉托斯特尼筛法以及为什么筛到平方根就够了,并跟随欧几里得证明素数有无穷多个。随后证明欧几里得引理,即整除一个乘积的素数必整除它的某个因数,并借助它证明算术基本定理:每个大于 的自然数都能以唯一的方式写成素数的乘积。由素因数分解可以推出一个自然数的因数个数、完全平方数的刻画,以及每个不是完全平方数的自然数的平方根的无理性。
学习目标
- 区分素数与合数,并证明每个大于 的自然数都有素因数。
- 应用埃拉托斯特尼筛法,并说明为什么只需划去不超过上限的平方根的那些素数的倍数。
- 证明素数有无穷多个、欧几里得引理以及素因数分解的存在性与唯一性。
- 利用素因数分解计数和列举因数、识别完全平方数,并证明平方根的无理性。
素数与合数
在关于整除与带余除法的课中已经看到,每个自然数 都能被 和它自身整除。有些自然数除了这两个以外没有别的因数;它们是零件,所有其他自然数都由它们通过乘法组成。
定义(素数)。自然数 称为素数,如果 并且它的因数只有 和 。不是素数的自然数 称为合数:它可以写成 ,其中 且 。数 既不是素数也不是合数。
小于 的素数有以下十五个:
是唯一的偶素数,因为其他每个偶数都有因数 ,它既不同于 ,也不同于该数本身。排除 并非定义的任性之举:如果 是素数,素因数分解就不再唯一,因为 ,本课的核心定理就不得不带着一个例外来陈述。
良序原理
本课的证明依赖于归纳原理的一种形式,它对于关于因数的推理特别方便:良序原理,即每个非空的自然数集合都有最小元。它已在关于求和、数列与归纳法的课中由强归纳法推出,这里直接使用,不再重复其证明。
每个大于 1 的自然数都有素因数
本课的第一个结果保证,没有任何大于 的自然数能逃脱素数:总有一个素数整除它,而且可以在它最小的那些因数中找到。
每个自然数 都有素因数: 的大于 的最小因数是素数。此外,若 是合数,则它的最小素因数 满足 。图在数轴上标出 的因数。
证明
的大于 的因数组成的集合非空,因为它包含 本身;由良序原理,它有最小元 。
如果 是合数,,其中 ,那么因数 整除 ,并且由整除的传递性,它也整除 :它将是 中小于 的元素,与 的选取矛盾。所以 是素数。
现在设 是合数,并设 是它的最小素因数,也就是 的最小元。写出 ;由于 不是素数,,而且 也整除 。
由 的最小性得 ,再由乘法的单调性得到这个上界。
因此,要判断一个自然数 是否为素数,只需逐一试验素数 (满足 者):如果其中没有一个整除它, 就是素数。例如,对于 ,只需试验到 为止的素数,因为 :它不能被 、、、 或 整除,但能被 整除,并且 。相反, 不能被素数 、、、、 和 中的任何一个整除,又因为 ,所以 是素数。
正在加载内容…
已完成
登录账户以保存您的进度