|

楼主 |
发表于 2023-5-22 20:57
|
显示全部楼层
大约公元前350年欧几里得在他伟大的十三卷著作原本中用了许多篇幅来讨论素数特别是他证明了每一个比1大的数即每个比1大的正整数要么本身是一个素数要么可以写成一系列素数的乘积如果不考虑这些素数的在乘积中的顺序那么写出来的形式是唯一的例如
14=2×721=3×7等等
等号右边的表达式分别是数14与21的素数分解这样我们能把欧几里得的结果表达为每一个大于1的奇数要么是素数要么具有唯一的次序变化不计素数分解这个事实被称为算术基本定理它告诉我们素数好比化学家的原子所有整数得以构成的基本砌块
算术基本定理(The fundamental theorem of arithmetic) 即唯一分解定理, 告诉我们每一个大于1 的整数若不是质数都可以写成有限多个质因子的乘积且经过适当排序其写法唯一. 此定理看似自然且明显, 但仍需一个正式的证明.
这里我们又碰到一个典型的有关存在性与唯一性的问题. 这里的存在性指的就是对一大于1 的整数可以找到有限多个质数使其可以写成这些质数的乘积, 而唯一性就是指的就是写法唯一. 由于正整数和负整数的分解只差一个负号, 我们只需考虑正整数的情况. |
|