多項式の方はこれ。さっきのも含めて、ウィルソンから出てくる。（漸化式には、素数pと2pの間に素数があることを利用している）
弟子は多分理解していないと思うが、まあがんばれば追っかけられるレベル。

274 ：１３２人目の素数さん ：2005/08/18(木) 01:26:15
>>263
以下の式に自然数を代入したとき、もし正の値になれば、必ず素数になる。しかも、全ての素数がこの式の値として現れる。
この式が素数を表す根拠も先にあった素数を表す式群の根拠も、ウィルソンの定理が元になっている。

f(a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,z)=
(k+1)[1-{X^2-(a^2-1)Y^2-1}^2-{b^2-(a^2-1)C^2-1}^2-{D^2-(F^2-1)E^2-1}^2
-{G^2-(a^2-1)H^2-1}^2-{g^2-((2k+2)^2-1)((2k+1)n)^2-1}^2
-{m^2-((I+2)^2-1)((I+1)a)^2-1}^2-{zG-Vz(a-z)H-(g-1)(2az-z^2-1)}^2]
ただし、上において、C,D,E,F,G,H,I,V,X,Yは、
V:=(ku+u-1)(i+j)+i
W:=Vh+i+j
H:=k+(t-1)(a-1)
G:=z+(a-n-1)H+(s-1)(2a(n+1)-(n+1)^2-1)
Y:=n+H+p
X:=W+(a-z-1)Y+(r-1)(2a(z+1)-(z+1)^2-1)
C:=2cY^2
D:=X=bd
E:=n+(e-1)Y
F:=a+b^2(b^2-a)
I:=n+V+W+z