数论中,过剩数又称作丰数盈数,一般指的是真因数之和大于自身的一类正整数,严格意义上指的是因数和函数大于两倍自身的一类正整数

Thumb
古氏积木展示12是一个过剩数:真因数之和超过自身

定义

一般定义

一般而言,过剩数是指使得函数 的正整数 ,其中 指的是 真因数之和 称作 盈度丰度

例如,12除本身外的所有正因数为12346,由于 ,且 ,因此12为过剩数,且12的丰度为

严格定义

更为严格地说,过剩数是指使得函数 的正整数 ,其中 指的是 的所有正因数(包括 )之和; 称作 盈度丰度

在这种定义下,12的正因数有1、 2、 3、 4、 6和12,由于 ,且 ,因此12为过剩数,且12的丰度为

性质

  • 最小的偶过剩数构成数列(OEIS数列A005101):
121820243036404248545660667072788084889096100102 ……
  • 最小的奇过剩数构成数列(OEIS数列A005231):
945、 1575、 2205、 2835、 3465、 4095、 4725、 5355、 5775、 5985、 6435、 6615、 6825、 7245、 7425、 7875 ……
  • 不能被2和3整除的最小过剩数是 5391411025,其质因数有 5、 7、 11、 13、 17、 19、 23 和 29(OEIS数列A047802)。
  • 亚努奇(Iannucci)在2005年给出了一个寻找不能被前个质数整除的最小过剩数的演算法[1]:若 表示不能被前 个质数整除的最小过剩数,则当 足够大时,对所有的 ,有
  • 除了完全数本身,完全数倍数都是过剩数[3]。例如,每个大于6之6的倍数都是过剩数,因为
  • 过剩数的倍数都是过剩数[3]。例如,20是过剩数,20及其倍数也都是过剩数,因为
  • 由于完全数倍数都是过剩数,过剩数的倍数也都是过剩数[3],因此奇数和偶数的过剩数都有无限多个。
Thumb
的分布情况(对数尺度)。其中为不超过的过剩数个数。
  • 过剩数的集合具有非零的自然密度[4],1998年 Marc Deléglise 证明了过剩数在自然数中的自然密度介于 0.2474 与 0.2480 之间[5]
  • 若一个过剩数不是完全数或其他过剩数的倍数,则这个数称为本原过剩数[6][7]
  • 若一个过剩数的丰度超过所有小于该数的过剩数的丰度,则这个过剩数称为高过剩数
  • 若一个过剩数的相对丰度 超过所有小于该数的过剩数的丰度,则这个过剩数称为超过剩数
  • 每个大于 20161 的整数都可以写成两个过剩数之和[8]
  • 不是半完全数的过剩数称为奇异数[9][2]:144
  • 丰度为1的过剩数称为准完全数,然而目前尚未找到准完全数[10]

相关概念

Thumb
低于100的过剩数、本原过剩数高过剩数超过剩数可罗萨里过剩数高合成数超级高合成数英语Superior highly composite number奇异数完全数亏数合数关系的欧拉图
  • 与过剩数相关的概念是完全数(真因数和等于本身,即 )和亏数(真因数和小于本身,即 )。最早将自然数分为过剩数、完美数和亏数的是 Nicomachus 于公元前100年所著的 Introductio Arithmetica。
  • 的丰度指数(过过剩指数)是指因数和与自身的比,即 [11];若一组相异的数 (无论是否为过剩数)拥有相同的丰度指数,则这些数互为友谊数
  • 变化时,满足 的最小自然数 构成数列 OEIS数列A134716),则 ,为第一个过剩数[12] 是一个增长速度很快的数列。
  • 丰度指数超过3的最小奇数为 [13]

参见

参考文献

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.