【１】マチアセビッチの素数生成式

　１次式：ｆ（ｘ）＝ａｘ＋ｐに対して考えてみると，この等差数列の集合は無限に多くの素数を含む（ディリクレの算術級数定理）のですが，

　　ｆ（０）＝ｐ，ｆ（ｐ）＝（ａ＋１）ｐ

ですから，０，１，・・・，ｐ−１のとき，素数値をとるのが最良です．

　ｐ個の素数を連続してもつ等差数列としては，たとえば，

　　ｆ（ｘ）＝ｘ＋２は連続した２個の素数値２，３をとる．

　　ｆ（ｘ）＝２ｘ＋３は連続した３個の素数値３，５，７をとる．

　　ｆ（ｘ）＝６ｘ＋５は連続した５個の素数値５，１１，１７，２３，２９をとる．

　　ｆ（ｘ）＝１５０ｘ＋７は連続した７個の素数値７，１５７，３０７，４５７，６０７，７５７，９０７をとる．

　　ｆ（ｘ）＝１５３６１６００８０ｘ＋１１は連続した１１個の素数値をとる．

　　ｆ（ｘ）＝９９１８８２１１９４５９０ｘ＋１３は連続した１３個の素数値をとる．

　　ｆ（ｘ）＝３４１９７６２０４７８９９９２３３２５６０ｘ＋１７は連続した１７個の素数値をとる．

・・・しかし，すべての素数ｐに対して，このような等差数列が存在するかどうかは知られていません．

　それでは，多変数の高次多項式ではどうでしょうか．１９７１年，旧ソ連のマチアセビッチは，正の値がすべて素数の集合となる多項式が存在するという驚くべき事実を，ヒルベルトの第１０問題の副産物として発見しています．

　その式は３７次で２４個の変数をもつ多項式と２１次で２１個の変数をもつ多項式でした．この多項式は負の値もとり，また，素数は多項式の値として繰り返し出現します．（現在のこのような式の最低次数は５，最低変数は１０になっています．）

　すべての素数が作れて，この公式から素数が漏れることはありません．ただし，ほとんどが負の値となってしまうのでマチアセビッチの素数生成式は事実上役に立ちませんでした．この式からは素数について新しいことはほとんどわからなかったのです．なお，整数係数をもつ多項式が，常に素数値をとることは不可能であることは証明されています．一方，すべての素数をもれなくつくり，しかも素数以外はつくらない公式は知られていません．素数を完全に定義する式が存在することは証明されていませんし，存在しないともわかっていません．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝