abc猜想 反直觉的ABC 猜想原来是可直觉理解的( 八 )


C的指数不能更小的原因是它是A和B最大共轭差的指数,A和B有新的解表明A和B中有新的素因子,素数的区间规律决定了C的指数变化,如果C的指数太小,匹配的最大共轭差就不会产生新的相关素数。
于是得到c 与 rad的真数比上确界为4.27,或者说rad与c 的真数比下确界为 0.234,它所对应的品质 q上确界为 1.63,或下 确界0.61。 c可大于rad也可小于rad。上确界q=1.63是常数对数比, 转换为纯系数比 k=0.234。指数的上确界 1 所对应的下确界品质 q > 1,此时 c 可大于rad。下确界q=1 是常数对数比,转换为纯系数比k=1。产生素数 对的最大到最小共轭差周期范围是1到0.234之间,此时存在c大于rad。 还有 ε=1 时,满足 ε^-w ??rad^<c的解也是有限个的。情况同上,
当1 > 1/> 0.234时,不等式成立,ε-W m ε为rad微调后的等效系数。当微调系数大于等于1时,将变为大于c,如果微调系数小于0.234,abc三元方程将无解。
ε 取大于 1 的更大值时,有 ε^-w ??w^ε ??k>1,随着 w 的递增,依然会超过上确界1.63 所对应的系数,故c>ε^-w ??rad ^为有限个解,一旦超过上确界便无解。因 ε^-w ??rad^<c,ε^-w ??w^ε ??k>1。 相反,w 趋小不变时,c >ε^-w ??rad ^存在有限组解是成立的。
因为较小的素数是有限的,C中的素指数是无限开的,所以一定有满足不等式C > ε-W rad的解。当ε小于1且大于0时,不等式c > ε-w rad应替换为c < ε-w rad,否则无解。此时,不等式c < ε-w rad无穷多个解的存在性是有效的。
因为一旦新增素数确定时,从它开始趋大的素数是无限的。 因为趋大的素数是无限的,而 c 中的素数指数是无限开放的,所以无论是有添 加系数指数的不等式,还是没有添加的,三元解集都存在无穷组解,有无穷个 c 可以满足以上不等式,满足 a+b=c 的方程。 但 rad各因子的指数加上一个微小的改变量ε以及个数 w 所产生的系数,情况就不同了,不等式不能靠无限递增c中素数指数来保证小于c也成立,因为c 增加指数,会带来a、b 中的素数个数或大小的递增,左边中的各因子增量就会增大,故 c 中素因子的指数不能无限递增。
这样,当w有上确界时,c中素数因子t的总数也有上确界,其中t包含不同且相同素数的总数。一旦w是有限的,t是有限的,rad和c的质量q就有一个上界,随着不同素数w的增加,其对应的系数没有ε-wεk的大,因此三元解集的组合是有限的。因此,c > ε-w rad的三元解集是有限的。
其中最为关键的证明步骤是,三元方程的最简本原解性质决定了ABC 猜想弱版命题成立,而三元方程的最简本原解与通解的关联序列性质共同决定了ABC 猜想强版命题成立。尤其是素数的 个数w和指数ε进行微调后所产生的等价系数Cε,是一个0到∞的开集数域, 等价系数 Cε 为 0 到 0.234 时abc三元方程无解,等价系数为 0.234 到 1 时有小于 c 的不等式,等价系数为大于等于 1 时有大于 c 的不等式。为何越过一个极 值就无解?因为 a+b 可等价表达 c 的最简本原解和通解之间是有素数因子的上 限比值。
03,rad的微调等效系数为∞>Cε>1,所以大于c的不等式关系保持不变;
当1Cε>0.234,故大于c 的 不等式关系将变为小于 c;
当1ε> 0时,大于c的不等式无解,不满足abc三元方程。
根据可知有无穷组解的rad>c 经微调后仍然有无穷组解,系数调整不改变解集关系。弱版 ABC 猜想得证。
根据rad4。ABC猜想有无限个解,很多猜想可以直接证明是真的
根据哥德巴赫猜想和斋藤猜想获证得出的结论,不难得到如下定义域的不等式:当 rad>qt,或 rad<qt, 这个可证明 ABC 猜想弱版命题。而这个就是证明比尔猜想的引理。证明很直接,根据以上ABC猜想成立,即rad ≤xyz<z^2=x^a+y^b。

推荐阅读