李明波素数与合数定理的证(三).docVIP

李明波素数与合数定理的证明（三） 郝锡鹏 提要 介绍李明波对他过去提出的部分素数与合数定理的证明。 本文用表示正整数。2005年，李明波又突发奇想地概括出了关于合数充要条件的两个定理（在此沿用文献1中的定理编号） 定理8 +1是合数的充要条件是 （1） 定理9 +4是合数的充要条件是 （2） 定理9的证明 李明波的思路 李明波发现，如果把合数4抛开在外，那么定理8是可以被适当改进的：同余式的左侧只需一个阶乘函数就够了。由于大于4的正整数均可用表示，他经过慎重考虑，将同余式左侧的阶乘函数选为。因+4是合数，故+4有大于1而小于自身的因子和，且，使。 首先，当时，因的最小可能值是2，故的最大可能值是，为了确保积式中含有以内的全部正整数因子，他令，解得；其次，当时，为了确保积式中含有2个因子，他令，解得。 综上所述，只要，就能确保∣。即：当时，若是合数，则必有（2）式成立。 1 充分性 李明波在他上述思路的基础上，只需验证合数6和8对于定理9的（2）式成立与否即可：当时，是合数，有；当时，是合数，有。故知：当时，（2）式对于合数6和8式均成立；当时，我们在李明波的思路中已经证明了（2）式是成立的。 2 必要性 假设+4是素数，则由（2）式可知有素因子+4，但这显然是不可能的。故关于+4是素数的假设不成立，即+4只能是合数。 证毕。 结语 尽管定理9没有定理8简洁，但是李明波在他的定理9的基础上，轻而易举地给出了所以合数的一元函数表达式，这将是我们以后所要介绍的。 李明波倒是有一句名言：在前人踏遍的山梁上，仍有大量精美的琥珀。 参 考 文 献 [1] 郝锡鹏。李明波与素数及合数。北京：津乾论坛~津乾数学俱乐部~数论快车 2