素数を生み出す式

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

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

No.2 ベストアンサー 回答者： noname#108554 回答日時： 2003/01/27 11:00

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

参考URL：http://www.amazon.co.jp/exec/obidos/ASIN/4320016 …

この回答へのお礼

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

お礼日時：2003/01/27 21:12

No.1 回答者： Hageoyadi 回答日時： 2003/01/26 15:03

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

この回答への補足

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

補足日時：2003/01/26 16:44