文章目录

写在前面

最近学习了丘维声教授的课程《数学的思维方式与创新》,总结一下课程中关于素数的一些主要性质及证明。

素数、合数

与素数有关的一些性质及证明(一)_线性代数_03是大于与素数有关的一些性质及证明(一)_线性代数_04的整数,如果与素数有关的一些性质及证明(一)_线性代数_03的正因数只有与素数有关的一些性质及证明(一)_线性代数_04与素数有关的一些性质及证明(一)_线性代数_03自身,那么称与素数有关的一些性质及证明(一)_线性代数_03是一个素数(或质数),否则称与素数有关的一些性质及证明(一)_线性代数_03合数

定理:带余除法

任给与素数有关的一些性质及证明(一)_最大公因数_10,且与素数有关的一些性质及证明(一)_辗转相除法_11,则存在唯一的一对整数与素数有关的一些性质及证明(一)_辗转相除法_12,使得
与素数有关的一些性质及证明(一)_最大公因数_13
其中,与素数有关的一些性质及证明(一)_整除_14与素数有关的一些性质及证明(一)_整除_15分别称为与素数有关的一些性质及证明(一)_算法_16与素数有关的一些性质及证明(一)_整除_17除所得的余数

整除、因数

对于整数与素数有关的一些性质及证明(一)_线性代数_18,如果存在整数与素数有关的一些性质及证明(一)_辗转相除法_19,使得
与素数有关的一些性质及证明(一)_辗转相除法_20
那么称与素数有关的一些性质及证明(一)_整除_17整除与素数有关的一些性质及证明(一)_算法_16,记作与素数有关的一些性质及证明(一)_算法_23,否则,称与素数有关的一些性质及证明(一)_整除_17不能整除与素数有关的一些性质及证明(一)_算法_16,记作与素数有关的一些性质及证明(一)_算法_26。当与素数有关的一些性质及证明(一)_算法_23时,与素数有关的一些性质及证明(一)_整除_17称为与素数有关的一些性质及证明(一)_算法_16的一个因数,与素数有关的一些性质及证明(一)_算法_16称为与素数有关的一些性质及证明(一)_整除_17的一个倍数。

  • 任给与素数有关的一些性质及证明(一)_最大公因数_32,由于与素数有关的一些性质及证明(一)_算法_33,因此与素数有关的一些性质及证明(一)_算法_34,特别地,与素数有关的一些性质及证明(一)_线性代数_35
  • 整除具有反身性,传递性,但是没有对称性。

与素数有关的一些性质及证明(一)_线性代数_36命题:除数整除被除数的倍数和

与素数有关的一些性质及证明(一)_线性代数_37中,若与素数有关的一些性质及证明(一)_整除_38,则对任意整数与素数有关的一些性质及证明(一)_整除_39,有
与素数有关的一些性质及证明(一)_整除_40

公因数、最大公因数

  • 如果与素数有关的一些性质及证明(一)_最大公因数_41与素数有关的一些性质及证明(一)_整除_42,那么称与素数有关的一些性质及证明(一)_算法_43与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_辗转相除法_45的一个公因数(公约数)。
  • 整数与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_辗转相除法_45的一个公因数与素数有关的一些性质及证明(一)_最大公因数_48如果满足:与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_辗转相除法_45的任一公因数都能整除与素数有关的一些性质及证明(一)_最大公因数_48,那么称与素数有关的一些性质及证明(一)_最大公因数_48与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_辗转相除法_45的一个最大公因数(最大公约数)。
  • 约定:与素数有关的一些性质及证明(一)_线性代数_55表示两整数间正的最大公因数。
  • 任给与素数有关的一些性质及证明(一)_辗转相除法_56,由于与素数有关的一些性质及证明(一)_整除_57与素数有关的一些性质及证明(一)_线性代数_58,所以与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_最大公因数_61的一个公因数,任取与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_最大公因数_61的一个公因数与素数有关的一些性质及证明(一)_算法_43,显然与素数有关的一些性质及证明(一)_最大公因数_41,所以与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_整除_44与素数有关的一些性质及证明(一)_最大公因数_61的一个最大公因数。
  • 特别地,与素数有关的一些性质及证明(一)_最大公因数_61与素数有关的一些性质及证明(一)_最大公因数_61与素数有关的一些性质及证明(一)_最大公因数_61的最大公因数。

除数与被除数的最大公因数等于除数与余数的最大公因数

与素数有关的一些性质及证明(一)_线性代数_37中如果有等式
与素数有关的一些性质及证明(一)_线性代数_73
成立,那么与素数有关的一些性质及证明(一)_整除_74与素数有关的一些性质及证明(一)_算法_16与素数有关的一些性质及证明(一)_整除_17的最大公因数当且仅当与素数有关的一些性质及证明(一)_整除_74与素数有关的一些性质及证明(一)_整除_17与素数有关的一些性质及证明(一)_整除_15的最大公因数。

辗转相除法:求两整数最大公因数的统一方法

任给两个整数与素数有关的一些性质及证明(一)_线性代数_18,都存在它们的一个最大公因数与素数有关的一些性质及证明(一)_整除_74,并且与素数有关的一些性质及证明(一)_整除_74可以表示成与素数有关的一些性质及证明(一)_算法_16与素数有关的一些性质及证明(一)_整除_17的倍数和,即存在整数与素数有关的一些性质及证明(一)_线性代数_85,使得
与素数有关的一些性质及证明(一)_辗转相除法_86

互素

  • 与素数有关的一些性质及证明(一)_线性代数_87,如果与素数有关的一些性质及证明(一)_线性代数_88,那么称与素数有关的一些性质及证明(一)_整除_89与素数有关的一些性质及证明(一)_算法_90互素
  • 两个整数互素当且仅当它们的公因数只有与素数有关的一些性质及证明(一)_整除_91

与素数有关的一些性质及证明(一)_最大公因数_92定理:两整数互素的充要条件

两整数与素数有关的一些性质及证明(一)_线性代数_18互素的充要条件是:存在整数与素数有关的一些性质及证明(一)_线性代数_85,使得
与素数有关的一些性质及证明(一)_辗转相除法_95

证明

  • 必要性:由辗转相除法定理即可得到,下证充分性。
  • 充分性:设与素数有关的一些性质及证明(一)_整除_96成立,只需证明整数与素数有关的一些性质及证明(一)_整除_97互素,即证明与素数有关的一些性质及证明(一)_整除_98。任取与素数有关的一些性质及证明(一)_整除_97的一个公因数与素数有关的一些性质及证明(一)_算法_43,则有与素数有关的一些性质及证明(一)_最大公因数_101,由定理:除数整除被除数的倍数和,可以得到:与素数有关的一些性质及证明(一)_最大公因数_102,所以与素数有关的一些性质及证明(一)_辗转相除法_103,证毕。

互素整数的重要性质及推广

  1. 与素数有关的一些性质及证明(一)_整除_104中,如果与素数有关的一些性质及证明(一)_算法_105,且与素数有关的一些性质及证明(一)_整除_98,那么与素数有关的一些性质及证明(一)_算法_107
    证明:
    与素数有关的一些性质及证明(一)_整除_108与素数有关的一些性质及证明(一)_算法_107显然成立;若与素数有关的一些性质及证明(一)_算法_110,利用整数互素的充要条件得到:存在整数与素数有关的一些性质及证明(一)_整除_111,使得与素数有关的一些性质及证明(一)_整除_96,两边同乘以与素数有关的一些性质及证明(一)_算法_43得到:与素数有关的一些性质及证明(一)_辗转相除法_114,而显然有与素数有关的一些性质及证明(一)_最大公因数_115,根据命题:除数整除被除数倍数和,得到与素数有关的一些性质及证明(一)_辗转相除法_116.

性质1的简单应用

对于素数与素数有关的一些性质及证明(一)_线性代数_117, 有与素数有关的一些性质及证明(一)_线性代数_118
证明:
对组合数与素数有关的一些性质及证明(一)_整除_119显然有与素数有关的一些性质及证明(一)_线性代数_120, 而显然与素数有关的一些性质及证明(一)_线性代数_121,与素数有关的一些性质及证明(一)_辗转相除法_122, 所以由性质1, 可得与素数有关的一些性质及证明(一)_辗转相除法_123.

  1. 与素数有关的一些性质及证明(一)_整除_104中,如果与素数有关的一些性质及证明(一)_整除_125,且与素数有关的一些性质及证明(一)_整除_98,那么与素数有关的一些性质及证明(一)_整除_127
    证明:
    根据与素数有关的一些性质及证明(一)_算法_107,有整数与素数有关的一些性质及证明(一)_算法_129使得与素数有关的一些性质及证明(一)_辗转相除法_130。由于与素数有关的一些性质及证明(一)_最大公因数_131,因此与素数有关的一些性质及证明(一)_辗转相除法_132。又由于与素数有关的一些性质及证明(一)_整除_98,因此由性质1得到与素数有关的一些性质及证明(一)_算法_134,从而有整数与素数有关的一些性质及证明(一)_算法_135使得与素数有关的一些性质及证明(一)_辗转相除法_136,所以有与素数有关的一些性质及证明(一)_算法_137,即得到与素数有关的一些性质及证明(一)_整除_127
    推广:
    与素数有关的一些性质及证明(一)_整除_104中,如果与素数有关的一些性质及证明(一)_整除_140,且与素数有关的一些性质及证明(一)_线性代数_141两两互素,那么与素数有关的一些性质及证明(一)_整除_142.
  2. 与素数有关的一些性质及证明(一)_整除_104中,如果与素数有关的一些性质及证明(一)_线性代数_144,且与素数有关的一些性质及证明(一)_最大公因数_145,那么与素数有关的一些性质及证明(一)_线性代数_146
    证明:
    根据与素数有关的一些性质及证明(一)_线性代数_147,得到:有整数与素数有关的一些性质及证明(一)_辗转相除法_148,使得
    与素数有关的一些性质及证明(一)_算法_149
    将上述两式左右两边分别相乘,得到
    与素数有关的一些性质及证明(一)_算法_150
    于是由整数互素的充要条件得到:与素数有关的一些性质及证明(一)_线性代数_146.
    推广:
    与素数有关的一些性质及证明(一)_整除_104中,如果与素数有关的一些性质及证明(一)_辗转相除法_153,那么与素数有关的一些性质及证明(一)_辗转相除法_154

素数的重要性质

与素数有关的一些性质及证明(一)_辗转相除法_155是大于与素数有关的一些性质及证明(一)_线性代数_04的整数,则下列命题等价:

  1. 与素数有关的一些性质及证明(一)_辗转相除法_157是素数;
  2. 对任意整数与素数有关的一些性质及证明(一)_整除_89,都有与素数有关的一些性质及证明(一)_整除_159或者与素数有关的一些性质及证明(一)_整除_160
  3. 对整数与素数有关的一些性质及证明(一)_辗转相除法_161,从与素数有关的一些性质及证明(一)_辗转相除法_162可以推出:与素数有关的一些性质及证明(一)_整除_159或者与素数有关的一些性质及证明(一)_算法_164
  4. 与素数有关的一些性质及证明(一)_辗转相除法_157不能分解成两个比与素数有关的一些性质及证明(一)_辗转相除法_157小的正整数的乘积。

证明

  • 1->2:由于与素数有关的一些性质及证明(一)_辗转相除法_157是素数,所以有与素数有关的一些性质及证明(一)_整除_160或者与素数有关的一些性质及证明(一)_线性代数_169,而后者可得出与素数有关的一些性质及证明(一)_整除_159.
  • 2->3:由于与素数有关的一些性质及证明(一)_辗转相除法_162,假设与素数有关的一些性质及证明(一)_算法_172,则由性质2,有与素数有关的一些性质及证明(一)_整除_160,再由整数互素的性质1,得到与素数有关的一些性质及证明(一)_算法_164
  • 3->4:假设与素数有关的一些性质及证明(一)_辗转相除法_175,则由整除的反身性得到与素数有关的一些性质及证明(一)_整除_176,由性质3得到:与素数有关的一些性质及证明(一)_整除_177或者与素数有关的一些性质及证明(一)_线性代数_178,矛盾。
  • 4->1:任取与素数有关的一些性质及证明(一)_辗转相除法_157的一个正因数与素数有关的一些性质及证明(一)_整除_89,则存在正整数与素数有关的一些性质及证明(一)_算法_90,使得与素数有关的一些性质及证明(一)_最大公因数_182,根据性质4,与素数有关的一些性质及证明(一)_整除_183或者与素数有关的一些性质及证明(一)_整除_184,当与素数有关的一些性质及证明(一)_整除_183时,与素数有关的一些性质及证明(一)_算法_186,因此与素数有关的一些性质及证明(一)_辗转相除法_157的正因数只有与素数有关的一些性质及证明(一)_算法_188,从而与素数有关的一些性质及证明(一)_辗转相除法_157为素数。

算术基本定理

任一大于与素数有关的一些性质及证明(一)_线性代数_04的整数与素数有关的一些性质及证明(一)_算法_16都能唯一地分解成有限多素数地乘积。

其中,唯一性是指:如果与素数有关的一些性质及证明(一)_算法_16有两个这样的分解式:
与素数有关的一些性质及证明(一)_算法_193
则一定有与素数有关的一些性质及证明(一)_辗转相除法_194,且适当排列因数地次序之后有:
与素数有关的一些性质及证明(一)_算法_195