孪生素数猜想的一个简单证明-西昌学院学报.PDFVIP

第32卷第4期 西昌学院学报（自然科学版） Vol.32，No.4 2018年12月 JournalofXichangUniversity（NaturalScienceEdition） Dec.，2018 doi：10.16104/j.issn.1673-1891.2018.04.011 孪生素数猜想的一个简单证明 叶雉鸠 （陕西财经职业技术学院会计一系，陕西 咸阳 712000 ） 摘要：对孪生素数猜想进行了探索性的测试和论证。借助Excel的计算功能，提出了一个数论IF函数。把孪生素数猜想的证明 转化为IF函数的求值问题。运用Excel对IF函数值的增性（不减性）进行了测试性研究。初步证明了IF函数值的非零性与不 减性。如果进一步采用数学机械证明，则有望成功解决孪生素数猜想问题。 关键词：数论函数；孪生素数猜想；IF函数；机械证明；同余数 中图分类号：O156.1 文献标志码：A 文章编号：1673-1891（2018）04-0047-04 A Simple Proof of the Twin Prime Conjecture YE Zhi-jiu (Department of Accounting No1, Shaanxi Technical College of Finance Economics, Xianyang, Shaanxi 712000, China) Abstract:Thispaperexploresandprovesthetwinprimeconjecture.WiththehelpofExcelscomputingfunction,a numbertheoretic-IFfunctionisproposed.Theproofoftwinprimeconjectureistransformedintotheevaluation problemofIFfunction.Excelisusedtodoatestabilitystudyontheincreasing(undiminished)valueofIFfunction. ItispreliminarilyprovedthatthevalueofIFfunctionisnon-zeroandnondecreasing.Ifwefurtherusemathematical mechanicalproof,itisexpectedtosolvethetwinprimeconjecturesuccessfully. Keywords: a number theory function; twin prime conjecture; IF function; the mechanical theorem proving; congruentnumbers. 10 的正整数a （a ≥11，a ∈N ），若同余式方程组（1） 0 引言 [1] 恒无正整数解，则孪生素数猜想成立 。 纵观孪生素数猜想的诸多论述，孪生素数展现 的规律是一个不断扩展衍变的过程。这一过程很 难用普通的代数式来进行描述或者表示，所以其证 明就很难用初等数论的方法来精确地完成。本文 （1） 通过IF 函数值的测试发现其衍变趋势过程具有不 减的单调性。如果这一单调性通过数学机械化能 够演算，则孪生素数猜想的研究可以推进一步了。 定义集合和函数： {奇素数}={3,5,7,11,…}=P