发信人: eigolomoh(异调)
整理人: 2sinxcosx(2003-10-23 20:59:58), 站内信件
|
北京数学版有人要看看它的尊容如何，我就贴出来，不要给吓坏了，呵呵。
(1-(w*z+h+j-q)^2 - ((g*k+2*g+k+1)*(h+j)+h-z)^2 - (2*n+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+4*d*y)^2+1-(x+c*u)^2)^2 - (n+l+v-y)^2 - ((a^2-1)*l^2+1-m^2)^2 - (a*i+k+1-l-i)^2 - (p+l*(a-n-1)+b*(2*a*n+2*a-n^2-2*n-2)-m)^2- (q+y*(a-p-1)+s*(2*a*p+2*a-p^2-2*p-2)-x)^2 - (z+p*l*(a-p)+t*(2*a*p-p^2-1)-p*m)^2)*(k+2)
这是一个有26个变量（恰好用a,b,c,……,x,y,z来表示）的多项式。如果它们取值为所有正整数的话，那么这个多项式的值域的正数部分就是所有素数组成的集合。
Matiiassevitch在1969年预言有这样一个多项式存在，但是一直要到7年以后，在1976才由J. Jones, D. Sato, H. Wada和D. Wiens将它显式地写出。 |
|