素数を生み出す式

質問

１９７１年に、ソ連のマチアセビッチという人が、以下のような「素数を生み出す式」を作り出したそうですが、具体的な式の形について教えてください。

１．１９変数の多項式f(x1, x2, x3, ... ,x19)である。
２．x1,x2, ... ,x19のそれぞれに自然数を代入したとき、fの値が正ならばそれは素数である。
３．逆に、任意の素数pに対し、p=f(x1, x2, x3, ... ,x19)を満たす自然数x1,x2, ... ,x19が存在する。

回答No.2

noname#108554 · ベストアンサー

「素数の世界」という本にその多項式が書いてあります。

参考URL：

http://www.amazon.co.jp/exec/obidos/ASIN/432001684X/qid=1043632724/sr=1-2/ref=sr_1_0_2/249-8013886-3850745

お礼

ありがとうございます。早速その本を探してみます。

回答No.1

Hageoyadi

http://web2.incl.ne.jp/yaoki/asosuu3.htm
これ？
にしても中学一年生が答えてますねぇ・・・すごいや。

補足

ありがとうございます。
確かに【コメント】欄に言及がありますが、知りたいのは、f(x1, x2, x3, ... ,x19)の「具体的な形そのもの」なのです。（例：f=(x1+x2)*x3+x4*x5-x6・・・といった感じの）