素数近似公式，素数近似判断，检验和验证，求证:t=p

yangchuanju

素数的通项公式——一个不太重要的经典结论！

一个网名叫“超巨基数”的在2024-08-02 20:06撰文《素数的通项公式——一个不太重要的经典结论！》
介绍了由数学家马蒂亚塞维茨基（Matijasevič）等人编制的一个26参数素数通项公式，
提到了一个重要的数学结果：存在一个26变量的多项式，其正值结果恰好是素数。
其中，变量包括a到z共26个，k是一个特定的常数。这个多项式的设计使得当结果为正值时，结果一定是素数。
不过，需要注意的是，这个多项式虽然存在，但它的构造非常复杂，并且并不实用，因为它涉及到大量的变量和高次项，实际应用中并不容易处理。
转引自《个人图书馆》
http://www.360doc.com/content/24 ... 71_1136560355.shtml  

26参数多项式原文是图片形式，笔者将其复录为Word形式，难免有个别字母抄错，请需要研究该公式的人士与原图片进行核对。

26参数素数多项式是由1连减14个中括号的平方（一般是负数），再乘以k+2构成的——
(k+2)*{1-[wz+h+j-q]^2-[(gk+2g+k+1)*(h+j)+h-z]^2-[2n+p+q+z-e]^2
-[16*(k+1)^3*(k+2)*(n+1)^2+1-f^2]^2-[e^3*(e+2)*(a+1)^2+1-o^2]^2-[(a^2-1)*y^2+1-x^2]^2
-[16*r^2*y^4*(a^2-1)+1-u^2]^2-[((a+u^2*(u^2-a))^2-1)*(n+4d*y^2)+1-(x-cu)^2]^2-[n+l+v-y]^2
-[(a^2-1)*l^2+1-m^2]^2-[ai+k+1-l-i]^2-[p+l*(a-n-1)+b*(2an+2a-n^2-2n-2)-m]^2
-[q+y(a-p-1)+s*(2ap+2a-p^2-2p-2-x)^2-[z+pl*(a-p)+t*(2ap-p-1)-pm]^2}
（附注：第5个中括号原图片没有平方符号，但参数o为平方，疑惑参数0不是平方）
将26参数多项式表示的简单一点是(k+2)*{1-M}，式中M是14个中括号平方的和；
多项式要是素数的话，M必须是0；M要是0的话，14个中括号的平方必须都是0，因而14个中括号到必须是0；
至此问题转化为联解一个由14个方程组成的26元方程组；解出所有可能的k，再看一看k+2是不是都是素数才行！

整系数26元不定方程组
wz+h+j-q=0
(gk+2g+k+1)*(h+j)+h-z=0
2n+p+q+z-e=0
16*(k+1)^3*(k+2)*(n+1)^2+1-f^2=0
e^3*(e+2)*(a+1)^2+1-o^2=0亦或e^3*(e+2)*(a+1)^2+1-o=0
(a^2-1)*y^2+1-x^2=0
16*r^2*y^4*(a^2-1)+1-u^2=0
((a+u^2*(u^2-a))^2-1)*(n+4d*y^2)+1-(x-cu)^2=0
n+l+v-y=0
(a^2-1)*l^2+1-m^2=0
ai+k+1-l-i=0
p+l*(a-n-1)+b*(2an+2a-n^2-2n-2)-m=0
q+y*(a-p-1)+s*(2ap+2a-p^2-2p-2-x=0
z+pl*(a-p)+t*(2ap-p-1)-pm=0