维基百科:1729
![]() |
接触过数论的人可能会知道数学家哈代及拉马努金曾讨论数字1729是否有趣的轶事,哈代认为1729是无趣(不特别)的数字,但拉马努金认为那是有趣(特别)的数字。
依照维基百科的数字的关注度指引,若一个数字有3个不相关的数学性质,此数字有足够的关注度,因此可以单独成立一个条目。
有一些数学性质是人们公认特别的性质(例如1729可用二种不同的方式表示为二个立方数的和,而且是具有此特性的数字中最小的一个),不过也可能有些数学性质是一些人觉得特别,一些人觉得不特别的,因此需要有方法来判定一个数学性质是否“足够特别”。
以下的问卷可以用来判断一个数字的数学性质“有趣”或“特别”的程度。问题的目的是在判断一个数字是否有够特别的数学性质,以致可以单独建立成条目。若一个数字建立成条目后,条目中除了这些够特别的数学性质外,也可以包括此处认为不特别的性质。
问卷
在以下的问题中,若数字N具有此项数学性质,则逻辑函数f(N)为真。
1.在小于 107 的数字中,有多少个(记为n)没有N具有的这项数学性质?若很难求得准确的n值,也可以估算得到大略的数值。此数值n就是数字N在此数学性质上的初始点数。
2.是否有专业数学家在经同行审阅的论文或书藉中提到此数学性质,而且其中特别提到N?
- 若有,该数学家的埃尔德什数Ő是多少?(由于此数会用来当除数,若此数学家就是埃尔德什本人,令Ő=1以免出现分母为0的情形。)将问题1得到的点数除以Ő,若除不尽,可以四舍五入。若数学家的年代早(如莱昂哈德·欧拉),不会有埃尔德什数,则依照英文维基百科中数学家条目的分级来决定Ő,顶级(top-priority)的数学家其Ő = 1、高级(high-priority)的Ő = 3、中级(medium priority)的Ő = 5、其他的分级(low/unassessed priority)Ő = 10。若此数学家知名程度足以在维基百科上建立条目,但又不确定其埃尔德什数,则令Ő = 10。
- 若没有,将问项1的点数减107。
3.在具有此数学性质的数字的递增数列中,数字N出现什么位置?若出现在第1个,k = 1,若出现在第2个,k = 2,以此类推,将刚刚所得的点数减去k。
4.若在不同的进位系统(基数为b)中,f(N)是否可能为假?
- 若否,跳到问题5。
- 若是,针对2到16的基数b,确认f(N)的数值,若某基数b下f(N)为真,点数加 b,否则点数减bN。
5.在整数数列线上大全(OEIS)中是否有具有此数学性质的数字所组成的数列,且其中有特别列出数字N?
- 若有,将点数加上整数数列线上大全中该数列的A编号。
- 若没有,跳到问题7。
6.该数列的关键字栏位中有哪些关键字?
- core:将整数数列线上大全中最新加入数列的A编号减去该数列的A编号,相减的结果加入点数中。
- nice:将该数列的A编号加入点数中。
- hard:将该数列的A编号再加入点数中。
- more:将该数列的A编号再加入点数中。
- base:再度确认问题4是否回答正确。
- less:从点数中扣掉该数列的A编号。
- 其他:每个关键字点数加一。
7.现在点数还有多少?
- 点数 > 0:此数字的这项性质很特别。
- 点数 = 0:可自行决定此数字的这项性质是否特别。
- 点数 < 0:此数字的这项性质不特别。
举例
1729
假设现在维基百科没有1729的条目,想建立1729的条目,已找到1729有以下的数学性质:
- 1729是奇数。
- 1729是卡迈克尔数。
- 在107以内有105个卡迈克尔数,一开始的点数是9999895。
- Wacław Sierpiński曾发表一篇名为《A Selection of Problems in the Theory of Numbers》的论文,论文的第51页有关于卡迈克尔数的说明,Sierpiński的Erdős数为2,因此点数除2,结果为4999948。
- 在卡迈克尔数的列表中,1729是第3个,点数减3变成4999945。
- 卡迈克尔数的性质和进位系统无关,此问题跳过。
- 1729有在整数数列线上大全中的数列A002997出现,点数加2997,成为5002942。
- 数列A002997有关键字nice,因此点数再加2997,另外也有关键字nonn及easy,因此点数再加2。
- 目前点数为5005941,因此1729为卡迈克尔数的这个性质特别。
- 1729是哈沙德数。
- 在十万以内有11872个哈沙德数,因此可推算在107以内有1187200个哈沙德数, 一开始的点数是8812800。
- 找不到有数学家发表论文提到1729是哈沙德数的事实,因此点数减107,变成-1187200。
- 1729是第364个哈沙德数,点数再减364,变成-1187564。
- 1729在 4、5、7、8、13、16进制中也是哈沙德数,因此点数上升为-1187511,但1729在 2、3、6、9、11、12、14、15进位中不是哈沙德数,因此点数下降为-1291251。
- 在整数数列线上大全中列出的数列A005349中,最大数字是204,1729未列在其中。
- 跳过这一题。
- 目前点数为-1291251,因此1729为哈沙德数的这个性质不特别。
- 1729可以用一种以上的方法表示为二个立方数的和。
- 在107以内有150个数字有此性质,一开始的点数是9999850。
- G. H. Hardy在他的书中有关Ramanujan的部分提到1729的这项性质,而Hardy的Erdős数Ő = 2,因此点数变成4999925。
- 1729是有这个性质的最小数字,因此点数减1成为4999924。
- 此性质和进位系统无关,跳过此问题。
- 在整数数列线上大全中列出的数列A001235中有包括1729,因此点数变为5001159。
- 此数列的关系字有nice,因此分数再加1235,另一个关键字为nonn,因此分数再加1。
- 目前点数为5002395,因此1729可以用一种以上的方法表示为二个立方数的和的性质特别。
- 1729是邹赛尔数。
- 在107以内有54个邹赛尔数,一开始的点数是9999946。
- 在Eric W. Weisstein的《CRC Concise Encyclopedia of Mathematics》中有提到1729是邹赛尔数,由于不确定Weisstein's的Erdős数,设Ő = 10,因此点数成为999995。
- 1729是第三个邹赛尔数,因此点数成为999992。
- 此性质和进位系统无关,跳过此问题。
- 在整数数列线上大全中列出的数列A051015中有包括1729,因此点数变为1051007。
- 此数列只有一个关系字有nonn,因此分数再加1。
- 目前点数为1051008,因此1729是邹赛尔数的这项性质特别。
因此1729有三项特别的性质,可以为1729创建条目,不过仍应阅读WP:NUM以寻求更多关于数字条目的信息。
170141183460469231731687303715884105727
现在考虑要创建一个双梅森质数 的条目。
- 170141183460469231731687303715884105727是双梅森数。
- 在小于107的整数中只有2个双梅森数,因此启始的点数是9999998。
- Pomerance及Crandall在《Prime numbers: a computational perspective》中提及此数字是 双梅森数,而Pomerance的Erdős数为1,因此点数仍为9999998。
- 170141183460469231731687303715884105727是第4个双梅森数,因此点数变成9999994。
- 双梅森数的特性和进位系统无关,因此跳过此问题。
- 此数字有出现在数列A077586中,因此点数变成10077580。
- 数列A077586只有一个关键字nonn,因此点数变成10077581。
- 最后点数为10077581,因此170141183460469231731687303715884105727是双梅森数的这个性质有趣。
因此目前已找到一个此数字有趣的性质,还需要再找出二个170141183460469231731687303715884105727有趣的性质,才能为此数字创造条目。
虚构的第一个及第二个奇完全数
假设有人发现了二个奇完全数OP1及OP2。现在需确认是否可以为OP1及OP2创建条目?
- OP1及OP2是奇完全数。
- OP1及OP2至少会大过10300(因为用计算机已经证实了10300以内,没有奇的完全数),因此一开始的点数为107。
- 数学家知道一些OP1及OP2的性质,例如至少有几个质因数,但不知道此数字的所有性质(若已知道所有性质,就可以发现此奇完全数了),因此点数扣掉107,得到0。
- 因为OP1及OP2分别是第一个及第二个奇完全数,因此点数扣掉1或2,得到-1或-2。
- 完全数和进位系统无关,跳过此问题。
- OP2完全没有在OEIS中出现。
- 跳过此问题
- 最后点数为-1或-2,表示OP1及OP2是个奇完全数这个性质不有趣。
若将要考虑的性质改为“OP1及OP2是奇数”,此问题最后的点数会低于-10300,可以确定这个性质很不有趣。而目前的点数是-2,“OP1及OP2是奇完全数这个性质不有趣”的说服力可能就比较低一些。
OP1及OP2的发现可能会是数学界的大事,因此也可能会有数学家开始研究这个数字,也许他们会发现此数字除了奇完全数之外其他有趣的性质。
不过若OP1及OP2没有其他有趣的性质,可能还不能为OP1及OP2创建一个条目。
1023458967
假有人想要创建全位数1023458967的条目,而且除了该数字是全位数外,不晓得其他的性质。
- 1023458967是全位数。
- 启始的点数是107。
- 在Eric W. Weisstein的《CRC Concise Encyclopedia of Mathematics》中有提到全位数,但假设在找的时候,未注意到其实此书未提及1023458967是全位数,以上范例中提到Weisstein的Erdős数是10,因此点数变成106。
- 1023458967是第17个全位数,因此点数变成999983。
- 1023458967在2、3、4、5、6进位中是全位数,因此点数变成1000013,但7、8、9及11到16进制中都不是全位数,因此点数变成-107462191522。
- 在数列A050278中有1023458967,因此点数变成-107462141244。
- 此数列的关键字有nonn, base, fini,因此点数加2(nonn, fini),而且确认未漏掉第4题(base)。此规则在当数列关键字为base时,不增减分数,不过此处假设找资料的人决定将数列的编号加入点数中。
- 即使这次在问题2及6用了比较宽松的方式处理,不过最后点数为-104934263958,无疑地可以确认1023458967为全位数这个性质不有趣。
N(任何大整数,如455806042838)
设455806042838是一个等于455806042838的数。
- 当然没有一个等于455806042838的数小于10000000,一开始的点数为10000000。
- 当然没有。因此点数变成0。
- 当然仅有一个数等于455806042838。点数变成-1。
- 不可能。跳过此问题。
- 当然没有。跳过此问题。
- 跳过此问题。
- 最后的点数是-1,因此455806042838是一个等于455806042838的数这个性质不有趣。
K(n)
假设一个Ő = 10的数学家发现,K(1)=3,K(n)=2^(K(n-1))-1,K(n)均为质数。
参照
|