定义

整除

整除 - 图1 如果 整除 - 图2 使得 整除 - 图3 那么就说 整除 - 图4 可被 整除 - 图5 整除,记作 整除 - 图6 且称 整除 - 图7整除 - 图8 的倍数 整除 - 图9整除 - 图10 的约数(或除数,因数),若 整除 - 图11 不能被 整除 - 图12 整除就记作 整除 - 图13

素数

设整数 整除 - 图14 如果它除了显然约数 整除 - 图15 外没有其他约数,那么 整除 - 图16 就称为不可约数,也叫做素数,若有 整除 - 图17整除 - 图18 不是不可约数,则称 整除 - 图19 为含数。当 整除 - 图20 时由于 整除 - 图21整除 - 图22 必同为不可约数或合数,所以不做特殊说明的话,不可约数(素数)指正的。

定理

  1. 整除 - 图23
  2. 整除 - 图24整除 - 图25
  3. 整除 - 图26整除 - 图27整除 - 图28整除 - 图29
  4. 整除 - 图30 那么 整除 - 图31
  5. 整除 - 图32整除 - 图33
  6. 整除 - 图34 那么 整除 - 图35
  7. 设整数 整除 - 图36 是它的全体约数。那么 整除 - 图37 也是它的全体约数。也就是说,当 整除 - 图38 遍历 整除 - 图39 的全体约数时 整除 - 图40 也遍历 整除 - 图41 的全体约数。此外,若 整除 - 图42 则当 整除 - 图43 遍历 整除 - 图44 的全体正约数时 整除 - 图45 也遍历 整除 - 图46的全体正约数。
  8. 整除 - 图47 是合数的充要条件是 整除 - 图48
  9. 整除 - 图49整除 - 图50 是不可约数,若 整除 - 图51整除 - 图52
  10. 整除 - 图53 是合数,则必有不可约数 整除 - 图54
  11. 设整数 整除 - 图55 那么 整除 - 图56 一定可表示为不可约数的乘积(包括 整除 - 图57 本身是不可约数),即 整除 - 图58 其中 整除 - 图59 是不可约数。
  12. 不可约数有无穷多个
  13. 设全体素数按大小排列的序列是整除 - 图60我们有整除 - 图61整除 - 图62这里 整除 - 图63 表示以 整除 - 图64 为底的对数且 整除 - 图65 表示不超过 整除 - 图66 的素数个数。

推论

设整数 整除 - 图67

  • 整除 - 图68 是合数,则必有不可约数 整除 - 图69
  • 整除 - 图70 可表示为 整除 - 图71 则必有不可约数 整除 - 图72

证明