＼当サイトではリンク広告を利用しています。／
今回は、数の不思議に満ちた「素数の公式」の中でもちょっと変わり種、ミルズの公式とミルズ定数についてご紹介します。
素数といえば、「2, 3, 5, 7, 11, 13, 17…」と続く、割り切れない数字たちのこと。数学の世界でも、暗号技術など現実世界でも大活躍の存在です。
でも、実はそんな素数に「公式」があるってご存じでしたか？
この記事では、
そんな疑問に、わかりやすく答えていきます！
まず、「素数の公式」と聞いて思い浮かぶのは、例えば「n を入れたら n 番目の素数が出てくる公式」みたいなやつですよね。
有名なのは、前回紹介したウィランズの公式や、マチャセビッチの多項式など。
ただしそれらは、
という“数学者向け”の式でした。
それに対して今回紹介するのは、「全ての素数が出るわけじゃないけど、出てくる数は全部素数！」という、ちょっと珍しい公式です。
その代表が…
🔷 ミルズの公式（Mills’ Formula）
そしてそこに出てくる謎の数字が…
🔷 ミルズ定数（Mills’ Constant）
ミルズ定数（Mills’ constant）とは、1952年に数学者ウィリアム・ミルズ（William Mills）が理論的にその存在を示した定数です。
その性質はズバリ！
ある定数 A が存在して、⌊A^(3^n)⌋
（Aを3^n乗し、整数部分を取ったとき）の結果がすべて素数になる！
…っていう、不思議な話。
たとえば、Aがその“魔法の定数”なら：
となり、結果はすべて素数！
ここが面白いところなんですが…
実は 正確な値は分かりません。
というのも、この「ミルズ定数」は、素数の分布に関する深い理論（たとえばリーマン予想）に依存していて、
という、存在はわかってるけど、見えない幻の定数なのです。
一応、近似値は次のように求められています：
A≈1.3063778838630806904686144926…
でも、これは「リーマン予想が正しいと仮定して」計算された値です。
では、ミルズの定理とミルズ定数を組み合わせてできる「ミルズの公式」を見てみましょう。
Pn=⌊A^3^n⌋
ここで、
この式に n=1,2,3,… と順番に入れていくと、素数だけが出てくる！
| n | 式の中身 ⌊A3n⌋ | 結果 |
|---|---|---|
| 1 | ⌊A^3⌋= 2 | 素数 ✅ |
| 2 | ⌊A^27⌋ = 11 | 素数 ✅ |
| 3 | ⌊A^81⌋= 1361 | 素数 ✅ |
…となります。
この不思議な公式、まるで「A をどんどんべき乗して切り捨てれば素数になる魔法」のよう！
さて、ここまで聞いて「え、これすごくない？素数ジェネレーターじゃん！」と思った方もいるかもしれません。
ですが…残念ながら、実用性はほぼゼロです😅
実用性はないけど、ミルズの公式はやっぱり面白い。
こういう「不思議だけど使えない公式」にこそ、数学のロマンが詰まってるのかもしれませんね。
数学の世界には、ウィランズの公式、マチャセビッチの多項式、そして今回紹介したミルズの公式のように、「発見したけど使えない」ロマンあふれる式がたくさんあります。
こういった公式を通して、「素数の奥深さ」や「数学の面白さ」に少しでも興味を持ってもらえたらうれしいです！