0
$\开始组$

(注意:这是从MO交叉发布的,因为它在那里不太受欢迎。将删除生产任务单岗在一些中。)

观察一个偶数完美数$M=(2^p-1)\cdot{2^{p-1}}$和一个奇数完美数$N=q^k N^2$具有类似的乘法形式。(事实上,据推测$k=1$这个预言可以追溯到笛卡尔($1638$).)

这是我的第一个问题:

初始问题

除了乘法形式外,偶完全数和奇完全数之间还有其他已知的关系吗?

我问是因为一个相关的查询在这里.

事实上,如果我们能证明这一点$$\左|2^r-t\右|=1$$对于美元$$t(美元)$令人满意的$n^2-q^k=2^r t$$\gcd(2,t)=1$然后我们就有了证据$n<q^k$,其中包括棕色的估计$q<n$($2016$)将产生一个反驳笛卡尔猜想$k=1$.


注意,对于偶数完美数,我们实际上有$$(2^p-1)-2^{p-1}=2^{p-1\ 1}-1=\bigg(2^{\dfrac{p-1{2}}+1\ bigg)\ bigg(2_{\dfrac{p-1neneneep{2}{-1\big)=ab$$因子分解在什么时候起作用$M\n每季度6$(注意$\gcd(a,b)=1$.)

我们计算得出$$\左|a-b\右|=2$$


讨论

在超链接的MO问题,我们考虑了奇数完美数的以下(总结)情况,现在我们检查偶数完美数:

案例1: $$2^{\dfrac{p-1}{2}}<\min(a,b)=2^{\ dfrac{p-1}{2]}-1$$

请注意案例1显然不成立。

案例2: $$最小值(a,b)=2^{\dfrac{p-1}{2}}-1$$

请注意案例2显然如此。

它遵循(模仿结果的不平等$q^k<n\cdot{\left | 2^r-t\ right |}$对于奇数完美数)$$2^p-1<{2^{\dfrac{p-1}{2}}\cdot{\left|a-b\right|}={2^}\dfrac{p-1{2}{}}\cdot{2}={2 ^{\ dfrac{p+1}{2{}}$$

最后一个不等式意味着$$p<-\dfrac{2\bigg(\log(2)-\log$$这与$p\geq 2美元$.

案例3: $$\max(a,b)=2^{\dfrac{p-1}{2}}+1<2^{\dfrac{p-1}{2}}$$

请注意案例3显然不成立。


注意,对于偶数完美数,我们确实有 $$2^{\dfrac{p-1}{2}}<2^p-1$$其中“模仿“猜测$n<q^k$对于上面的奇数完全数。


这是我对这篇文章的最后一个问题:

最后一个问题

是否在讨论这一节从本质上否定了奇数完全数的存在?


编辑(于2022年7月25日-马尼拉时间下午7:15添加)

再三考虑,我认为上面的论点只有排除 $\左|a-b\右|=2$。自$ab=2^{p-1}-1$总是很奇怪,而且$ab\equiv 3\pmod 4美元$始终保持(对于$p>2$)然后我们可以写$$\左|a-b\右|=2^y z$$对一些人来说美元\geq 1$z美元$令人满意的$\gcd(2,z)=1$(请注意$\left | a-b\right |=2^y z$不是正方形.)

这将导致仔细考虑各种后果。


编辑(于2022年7月26日-马尼拉时间晚上10:25添加)

$ab\equiv 3\pmod 4美元$保持,然后$$\开始{cases}{a\equiv 1\pmod 4\\b\equiv 3\下午4点}\结束{cases}$$$$\开始{cases}{a\equiv 3\pmod 4\\b\equiv 1\pmod 4类}\结束{cases}$$无论哪种方式,我们都可以获得$$2^y z=\左|a-b\右|\等于2\pmod 4$$让我们知道$y=1$.

根据讨论我们最终得出$$z\geq 3>2=2^y$$

因此,我们知道$$\分钟(2^y,z)=2^y=2$$虽然$$\最大值(2^y,z)=z$$

$\端组$
1
  • $\开始组$ 我知道,如果$O=u^vw^2$是一个完美数(奇数或偶数),那么我们有方程$$\gcd(w^2,\sigma(w^2))=\frac{\sigma(w^2)}{u^v}=\frac{2w^2}{\sigma(u^v)}=\frac{D(w^2)}{s(u^v)}=\frac{2s(w^2)}{D(u^v)},$$其中$\sigma(x)=\sigma_1(x)$是经典除数和对于正整数$x$,$D(x)=2x-\σ(x)$是缺乏$x$的值,并且$s(x)=\sigma(x)-x$是等分总和共$x$个。 $\端组$ 2022年7月25日6:04

2个答案2

重置为默认值
0
$\开始组$

(这是一个部分答案。)


$(2^p-1)\cdot{2^{p-1}}$是一个偶数完美数不同于 $6$.

回想一下$\左|a-b\右|=2z$对一些人来说整数 $z(美元)$令人满意的$\gcd(2,z)=1$,还有那个$z\geq 3美元$注意,给定$$ab=2^{p-1}-1=\比格$$

请注意$$\gcd\Bigg(2^{\dfrac{p-1}{2}}+1,2^{\ dfrac{p-1}{2]-1\Bigg)=1$$

我们考虑以下子情况。

案例1: $2^{\dfrac{p-1}{2}}>z>2$

我们从案例1那个$$\bigg(2^{\dfrac{p-1}{2}}-z\biggs)\bigg-(2^}\dfrac{p-1{2}{+2\big)>0$$可以重新表示为$$2^{p-1}-2z>{2^{\dfrac{p-1{2}}}\cdot\left|2-z\right|$$从中可以看出$$ab+1-\左|a-b\右|>\sqrt{ab+1}\cdot\left|2-\dfrac{\left|1-a\right|}{2}\right|。\标记{1}$$

注:我试着问新型网络搜索引擎而且看起来确实如此解决不平等问题(1)其中所有变量均为正值。因此,我推测这是需要考虑的正确情况(参见案例2(见下文)。事实上,我们知道2^{\dfrac{p-1}{2}}<2^ p-1美元$琐碎地持有。

案例2: 2^美元$

我们从案例2那个$$2^{\dfrac{p-1}{2}}\geq2>z\geq3$$这是一个矛盾。

案例3: $z>2^{\dfrac{p-1}{2}}\geq 2$

我们从案例3那个$$\bigg(2^{\dfrac{p-1}{2}}+2\biggs)\bigg-(2^}\dfrac{p-1{2}{-z\big)<0$$可以重新表示为$$2^{p-1}-2z<{2^{\dfrac{p-1{2}}}\cdot{\left|2-z\right|}$$从中可以看出$$ab+1-\左|a-b\右|<\sqrt{ab+1}\cdot\左|2-\dfrac{\left|a-b\right|}{2}\right|。\标记{2}$$

注:我试着问新型网络搜索引擎而且看起来确实如此解决不平等问题(2)其中所有变量均为正值。

案例4: $2\geq2^{\dfrac{p-1}{2}>z$

我们从案例4那个$$2\geq2^{\dfrac{p-1}{2}>z\geq3$$这是一个矛盾。

案例5: $z>2\geq2^{\dfrac{p-1}{2}}$

我们从案例5那个$$2z=\左|a-b\右|>2^{p-1}=ab+1$$这就产生了矛盾$$\bigg(a\geq1\bigg)\land\biggs(b<\dfrac{a-1}{a+1}\big)$$

案例6: $2>z>2^{\dfrac{p-1}{2}}$

我们从案例6那个$$2>z>2^{\dfrac{p-1}{2}}$$这意味着$$1>\dfrac{p-1}{2}$$我们最终得到$$p<3$$这与我们的要求相矛盾$p>2$.

$\端组$
2
  • $\开始组$ 请注意,此答案中的案例可总结如下:案例1案例2:$$\max(2^y,z)\leq 2^{\dfrac{p-1}{2}}$$案例3案例4:$$\min(2^y,z)\leq2^{\dfrac{p-1}{2}}\leq\max(2^y,z),$$和案例5案例6:$$2^{\dfrac{p-1}{2}}\leq\min(2^y,z)$$ $\端组$ 2022年7月25日15:30
  • $\开始组$ 请注意,此答案中的案例摘要现在可以更新如下:案例1案例2:$$\max(2,z)=z\leq 2^{\dfrac{p-1}{2}}$$案例3案例4:$$\min(2,z)=2\leq2^{\dfrac{p-1}{2}}<\max(2,z)=z$$和案例5案例6:$$2^{\dfrac{p-1}{2}}\leq\min(2,z)=2$$ $\端组$ 2022年7月26日3:33
0
$\开始组$

(这个帖子目前正在建设中,我会尽快回复。)

发布了另一个答案,因为前面的答案已经太长了。


结果摘要

其余需要考虑的情况包括:

案例1: 2^美元$

案例3: $z>2^{\dfrac{p-1}{2}}\geq2$


一般来说,考虑以下关系$$\Bigg(2^{\dfrac{p-1}{2}}+1\Bigg)\Bigg(2^}\dfrac{p-1{2}{-1\Biggs)=2^{p-1neneneep-1=\左|2^p-1-2^{p-1\right|=ab\tag{1}$$$$\左|a-b\右|=2z\标签{2}$$

来自关系(1),请注意,对于美元$十亿美元$,如果你解决了美元$.

此后,从关系(2),一个人可以解决$z(美元)$使用的值美元$十亿美元$从上一步获得。


这样,在案例1案例3简化为有限计算。

$\端组$

你必须登录来回答这个问题。

不是你想要的答案吗?浏览标记的其他问题.