The strange story of an almost unknown prime number counter: The Rafael Barrett formula

1903 年にラファエル・バレットがアンリ・ポアンカレに宛てた手紙で提案され、1930 年代にウルグアイの数学者によって発見・発表された、長らく未知であった素数カウント関数に関するバレットの公式とその課題について、本論文ではその概要と分析を提示する。

要約

この論文は、数学と文学が不思議な形で交差する、とてもロマンチックな物語を語っています。専門用語を避け、身近な例え話を使って、この「見知らぬ素数カウンター」の話を日本語で解説します。

📜 物語の舞台：作家が隠した「数学の魔法」

まず、主人公はラファエル・バレットという人です。彼はスペイン生まれですが、南米のパラグアイやウルグアイで活躍した、とても才能ある作家（文章を書く人）でした。彼の本は、戦争で荒廃した国々の悲しみや、人間の生き方について深く考察したエッセイ（評論や随筆）であり、数学とは無縁に見える存在でした。

しかし、この論文は、バレットが実は**「数学の天才」**の顔も持っていたことを発見した話です。

🔢 素数（そすう）とは何か？

話を進める前に、少しだけ「素数」についておさらいしましょう。
素数とは、**「1 と自分自身以外では、きれいに割り切れない数字」**のことです（2, 3, 5, 7, 11, 13...）。
これらは数字の世界の「原子」のようなもので、すべての数字をこの素数だけで組み立てることができます。

数学者たちは長年、「ある数字（n）より小さい素数は、全部でいくつあるんだろう？」という謎に挑んできました。これを**「素数カウンター（素数数え上げ）」**と呼びます。

🕵️‍♂️ 発見された「1903 年の手紙」

この論文の核心は、バレットが 1903 年に、当時の世界最高の数学者アンリ・ポアンカレに送った、**「1 枚の手紙」**に隠された秘密です。

この手紙は、バレットが亡くなった後、1930 年代にウルグアイの数学者エドゥアルド・ガルシア・デ・ズニャによって発見されました。ズニャは驚きました。「作家のバレットが、こんな複雑で美しい**『素数を数えるための公式』**を作っていたなんて！」

その公式は、**「バレットの公式」**と呼ばれています。

🎪 公式の仕組み：「シネマ・マジック」のような計算

この公式は、一見するととても難しそうに見えます。しかし、その仕組みを簡単に言うと、**「数字を回転させて、素数だけを取り出す魔法のフィルター」**のようなものです。

• 普通の数え方： 1, 2, 3... と順番に数えて、素数かどうか一つずつチェックする（大変！）。
• バレットのやり方： 複雑な三角関数（サイン関数）と階乗（掛け算の連続）を組み合わせることで、**「素数なら 1、素数じゃないなら 0」**という信号を自動的に発する仕組みを作りました。

まるで、**「素数という特別な宝石だけを取り出す、自動選別機」**を設計したようなものです。
例えば、10 までの数字をこの機械に通すと、「1, 2, 3, 5, 7」の 5 つが素数としてカウントされます（当時のバレットは「1」も素数とみなしていました）。

🧩 なぜこれが重要なのか？

この公式がすごいのは、**「作家が数学者に送った」という点と、「その公式から、素数の分布の法則（素数定理）を導き出せるか？」**という新しい問いを生んだ点です。

1. 文学と数学の融合： エッセイストのような感性を持つバレットが、論理の塊である数学の公式を生み出したことは、人間の脳の可能性を示しています。
2. 未解決の謎： この公式は、素数を「数える」ことはできますが、**「素数が無限に広がっていくとき、その分布がどうなるか（素数定理）」**という大きな法則を、この公式から直接証明できるのでしょうか？

論文の最後は、読者（あなたも含めて）にこんな問いかけをしています。

「このバレットの公式を使って、素数の巨大な法則（素数定理）を、何か新しい『ひらめき（ヒューリスティック）』で見つけ出すことはできるだろうか？」

🌟 まとめ

この論文は、単なる数学の解説書ではありません。
**「作家が、100 年前に数学者に送った、忘れられた『魔法のレシピ』」**が発見され、それが現代の数学者たちを再び考えさせ始めた、というミステリー小説のような物語です。

バレットの公式は、素数を数えるための「完璧な機械」を作りましたが、その機械から「宇宙の法則」を読み解く鍵を、まだ誰も見つけていません。もしかすると、あなたや次の世代の誰かが、その鍵を見つけるかもしれません。

---

一言で言うと：
「エッセイストのバレットが、素数を数える『魔法の公式』を数学者に送った。それは 100 年眠っていたが、今、その公式から『素数の世界の法則』を導き出せるかという、新しい冒険が始まっています」という話です。

技術概要

ご提示された論文「The strange story of an almost unknown prime number counter: The Rafael Barrett formula（ほとんど知られていない素数カウンターの奇妙な物語：ラファエル・バレットの公式）」に基づき、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを日本語で記述します。

1. 問題設定 (Problem)

本論文は、1903 年にラファエル・バレット（Rafael Barrett）がアンリ・ポアンカレ（Henri Poincaré）宛てに送ったとされる、素数の個数を算出する公式の再発見と分析を主題としています。

• 背景: ガウスとラグランジュによって提唱され、1896 年にアダマールとラ・ヴァレ・プッサンによって証明された「素数定理」は、$n$ 以下の素数の個数 $\pi(n)$ が $n/\ln(n)$ に漸近することを示しています（式 1）。
• 課題: 従来の素数定理は解析的なアプローチで導出されましたが、バレットが考案したような「離散的な素数カウンター（素数の個数を直接数える式）」から、どのようにして素数定理の極限（式 1）を導き出せるか、あるいはその導出が可能かどうかという問題が提起されています。

2. 手法と背景 (Methodology & Background)

著者エドゥアルド・ミズライ（Eduardo Mizraji）は、以下の歴史的・数学的アプローチを用いています。

• 歴史的文献の再評価: 1930 年代にウルグアイの数学者エドゥアルド・ガルシア・デ・ズニガ（Eduardo García de Zúñiga）によって発見され、1935 年にモンテビデオの雑誌で発表されたバレットの公式を再検討しました。バレットはスペイン生まれの作家・評論家であり、パラグアイやウルグアイで活動しましたが、この数学的な側面は長らく注目されていませんでした。
• ウィルソンの定理の応用: バレットの公式は、素数論における古典的な定理であるウィルソンの定理（$p$ が素数であることと $(p-1)! + 1 \equiv 0 \pmod p$ が同値であること）に基づいて導き出されています。ガルシア・デ・ズニガは、この定理からバレットの公式がどのように導かれるかを示しました。
• 付録による新証明: 本論文では、バレットの公式の導出プロセスを補完する新しい証明を付録として提示しています。

3. 主要な貢献と結果 (Key Contributions & Results)

論文の中心的な貢献は、バレットの公式の提示とその挙動の分析です。

• バレットの公式（Barr(n)）の提示:
  自然数 $n$ 以下の素数の個数を表す公式として、以下の式が提示されました（式 2）。
  $$\text{Barr}(n) = 3 + \sum_{k=5}^{n-1} \frac{\sin\left(\frac{(k-1)!\pi}{k}\right)}{\sin\left(\frac{\pi}{k}\right)}$$
  この式は、ウィルソンの定理に基づいています。具体的には、$k$ が素数の場合、$(k-1)! \equiv -1 \pmod k$ となるため、分子の正弦項は $\sin(-\pi/k) = -\sin(\pi/k)$ となり、分数全体は $-1$となります（※注：原文の文脈や符号の扱いにより、項が加算される構造として解釈されますが、本公式の核心は$k$ が素数の場合にのみ特定の値をとる項が現れる点にあります）。

  • 定数項の意義: 公式の先頭にある定数「3」は、総和の開始点が $k=5$ であるため、除外された最初の 2 つの素数（2 と 3）の個数を補うために加えられています。

• 数値的検証:
  具体的な数値例として、$n=6$ から $n=17$ までの計算結果が示されています。

  • $\text{Barr}(6) = \text{Barr}(7) = 4$
  • $\text{Barr}(8) \dots \text{Barr}(11) = 5$
  • $\text{Barr}(12) = \text{Barr}(13) = 6$
    といったように、この公式が実際に $n$ 以下の素数の個数を正しくカウントしていることが確認されています。

• 極限への到達可能性に関する考察:
  無限に発散する素数カウンターから、素数定理の極限（$n/\ln(n)$）を導き出すことが可能かという問いに対し、コルナンとロビンスの『数学とは何か』で紹介された統計的アプローチ（ヘルツによる提案）を引用し、そのような「巧妙なヒューリスティック（発見的アプローチ）」が存在する可能性を指摘しています。

4. 意義 (Significance)

• 学際的な発見: 評論家（エッセイスト）として知られていたラファエル・バレットが、高度な数学的洞察（素数理論）を持っていたことを再評価し、文学と数学の交差点における歴史的な事実を明らかにしました。
• 数学史的な補完: 長らく忘れ去られていた公式を再発見し、その数学的正当性を現代の視点から検証しました。
• 理論的課題の提起: 最も重要な意義は、**「離散的な素数カウンター（バレットの公式）から、連続的な極限である素数定理をどのように導き出せるか？」**という未解決の数学的課題を提起した点です。
  • 現在のところ、この公式から直接素数定理の極限を導く明確なヒューリスティックは確立されていません。
  • 本研究は、この「不可能性」が証明されていない限り、何らかの巧妙な推論によって極限に到達できるかもしれないという可能性を残すことで、今後の数学的研究の新たな方向性を示唆しています。

結論

本論文は、ラファエル・バレットという人物の多面的な才能を紹介すると同時に、ウィルソンの定理に基づく素数カウンター公式（正しい式：$\text{Barr}(n) = 3 + \sum_{k=5}^{n-1} \frac{\sin((k-1)!\pi/k)}{\sin(\pi/k)}$）を再評価し、それが素数定理の極限とどのように関連するかという深遠な数学的問いを提起する重要な研究です。特に、統計的・発見的アプローチによる素数定理の導出可能性について考察を深める契機となっています。