ゴールドバッハ予想の背後に潜む「3つの幾何学モード」――素数対を (M±d) として眺める新しい座標系
はじめに
数学の未解決問題に向き合うとき、プロであるかアマチュアであるかという肩書は、本質的な意味を持たないのかもしれません。
真理の前では、私たちは等しく一人の探求者です。
大切なのは、自分の考えをどこまで真摯に検証し、間違いがあれば修正し、そこからさらに問いを育てていけるか。
私は、数学について考えるとき、「人は議論することで賢くなれる」という言葉を大切にしています。
今回の記事も、その姿勢から生まれました。
これまで私は、ゴールドバッハ予想
$$
2M=p+q
$$
に現れる素数対を、中心 (M) からの距離 (d) によって
$$
p=M-d,\qquad q=M+d
$$
と表す見方を考えてきました。
すると、
$$
pq=(M-d)(M+d)=M^2-d^2
$$
となります。
さらに相乗平均
$$
G=\sqrt{pq}
$$
を導入すると、
$$
G^2+d^2=M^2
$$
です。
これはまさにピタゴラスの定理と同じ形をしています。
もちろん、これだけでゴールドバッハ予想が証明されるわけではありません。
しかし、素数対を「二つの素数」という静的な組としてではなく、
中心 (M) と距離 (d) から生まれる幾何学的な点
として眺めることができます。
この記事では、この座標系から見えてくる「3つのモード」と、そこから自然に現れる半素数
$$
N=pq=M^2-d^2
$$
について整理してみます。
なお、本稿で扱う結果は、ゴールドバッハ予想の証明ではありません。
むしろ、
ゴールドバッハ予想を別の座標系から眺めると、どのような構造が見えるのか
を探る試みです。
第1章 素数対を「中心と距離」で表す
ゴールドバッハ予想では、2より大きい偶数を二つの素数の和として表します。
偶数を
$$
2M
$$
と書けば、
$$
2M=p+q
$$
です。
ここで
$$
d=\frac{q-p}{2}
$$
と置くと、
$$
p=M-d,\qquad q=M+d
$$
と書けます。
したがって、素数対を探す問題は、
ある中心 (M) に対して、どの距離 (d) なら (M-d) と (M+d) がともに素数になるか
という問題に言い換えられます。
このとき積は、
$$
N=pq
$$
なので、
$$
N=(M-d)(M+d)
$$
すなわち
$$
\boxed{N=M^2-d^2}
$$
となります。
さらに、
$$
G=\sqrt{pq}
$$
と置けば、
$$
G^2=M^2-d^2
$$
ですから、
$$
\boxed{G^2+d^2=M^2}
$$
が得られます。
ここには、直角三角形と同じ数学的構造があります。
ただし、これはあくまで代数的な恒等式です。
「ピタゴラス型の式が現れた」こと自体が、素数の存在を保証するわけではありません。
この区別は非常に重要です。
第2章 素数はなぜ (6n±1) に現れるのか
2と3以外の素数 (p) は、
$$
\boxed{p\equiv1\pmod6\quad\text{または}\quad p\equiv5\pmod6}
$$
すなわち
$$
\boxed{p=6n\pm1}
$$
の形をしています。
これは、整数を6で割った余りを考えれば簡単に分かります。
$$
0,1,2,3,4,5
$$
のうち、
0なら2または3の倍数
2なら2の倍数
3なら3の倍数
4なら2の倍数
です。
したがって、2と3以外の素数が入り得る場所は
$$
1,\ 5
$$
だけです。
ここから、素数を探す空間をある程度「圧縮」して見ることができます。
ただし、「自然数全体のちょうど3分の1が素数候補になる」という表現には注意が必要です。
6個の整数のうち候補となる剰余類が2つなので、剰余類としては約3分の1です。
しかし、これは素数が3分の1の密度で存在するという意味ではありません。
実際、素数の密度は大きな数になるほど低下します。
ここではあくまで、
素数が入り得ない合同類を最初から除外する
という意味で「3分の1の圧縮」と捉えるのが適切です。
第3章 中心 (M) に現れる「3つの幾何学モード」
ここからが、このモデルで特に面白いところです。
$$
(p=M-d,\ q=M+d)
$$
が2と3以外の素数だと仮定します。
すると (p,q) はともに
$$
6n\pm1
$$
です。
一方、
$$
p+q=2M
$$
なので、(M) を3で割った余りによって、(d) の合同条件も変化します。
この関係を整理すると、3つのモードに分類できます。
モードA：
$$
M\equiv0\pmod3
$$
このとき
$$
2M\equiv0\pmod6.
$$
(p,q) が2と3以外の素数なら、6を法として一方が1、もう一方が5になる必要があります。
したがって、
$$
2d=q-p\equiv\pm4\pmod6
$$
となり、
$$
\boxed{d\equiv\pm2\pmod6}
$$
です。
つまり、
$$
\boxed{d=6n\pm2}
$$
という偶数の格子が現れます。
モードB：
$$
M\equiv1\pmod3
$$
このとき
$$
2M\equiv2\pmod6.
$$
この場合、(p,q) は同じ剰余類
$$
1+1\equiv2\pmod6
$$
に入る必要があります。
そのため、
$$
q-p
$$
は6の倍数となり、
$$
\boxed{d\equiv0\pmod6}
$$
です。
したがって、
$$
\boxed{d=6n}
$$
という格子になります。
モードC：
$$
M\equiv2\pmod3
$$
このとき
$$
2M\equiv4\pmod6.
$$
2と3以外の素数について考えると、(p,q) は5の剰余類に入る組み合わせが対応します。
そのため、
$$
q-p
$$
は6の倍数ですが、(d) は奇数になります。
したがって、
$$
\boxed{d\equiv3\pmod6}
$$
すなわち、
$$
\boxed{d=6n\pm3}
$$
という格子が現れます。
この3つをまとめると、
$$
\boxed{
\begin{array}{c|c}
M\pmod3 & d\pmod6\\
\hline
0 & \pm2\\
1 & 0\\
2 & 3\\
\end{array}}
$$
となります。
ここで重要なのは、これは「素数が必ず存在する」という定理ではないことです。
これは、
もし (M-d) と (M+d) が2と3以外の素数なら、距離 (d) はこの合同条件を満たさなければならない
という必要条件です。
したがって、この3モードは「素数対の存在を保証するレール」ではなく、
素数対が存在するとき、その素数対が乗っている合同類のレール
と考えるのが正確です。
第4章 半素数 (N=pq) に現れる美しい恒等式
ここで、幾何学的な表現から一歩進みます。
$$
N=pq
$$
と置きます。
素数対
$$
p=M-d,\qquad q=M+d
$$
なので、
$$
\boxed{N=M^2-d^2}
$$
です。
さらに、(p,q) が異なる素数なら、
$$
\phi(N)=\phi(pq)=(p-1)(q-1)
$$
です。
したがって、
$$
\begin{aligned}
\phi(N)
&=(M-d-1)(M+d-1)\
&=(M-1)^2-d^2.
\end{aligned}
$$
つまり、
$$
\boxed{\phi(N)=(M-1)^2-d^2}
$$
となります。
ここで (N) と (φ(N)) の差を取ってみます。
$$
\begin{aligned}
N-\phi(N)
&=(M^2-d^2)-((M-1)^2-d^2)\
&=M^2-(M-1)^2\
&=2M-1.
\end{aligned}
$$
したがって、
$$
\boxed{\displaystyle N-\phi(N)=2M-1}
$$
です。
これは非常に美しい式です。
しかも、驚くべきことに、距離 (d) が完全に消えています。
第5章 「距離」が消える意味
この式をもう一度眺めてみます。
$$
N=M^2-d^2
$$
と
$$
\phi(N)=(M-1)^2-d^2
$$
では、どちらにも同じ
$$
-d^2
$$
が含まれています。
そのため差を取ると、
$$
N-\phi(N)=2M-1
$$
となります。
つまり、同じ中心 (M) から生まれた素数対については、距離 (d) がどれだけ変化しても、
$$
N-\phi(N)
$$
は一定です。
これは、このモデルの中でかなり興味深い「不変量」です。
たとえば (M=50) なら、
$$
2M-1=99.
$$
実際、
$$
(p,q)=(3,97)
$$
では、
$$
N=291,\qquad\phi(N)=192
$$
なので、
$$
291-192=99.
$$
また、
$$
(p,q)=(11,89)
$$
では、
$$
N=979,\qquad\phi(N)=880
$$
なので、
$$
979-880=99.
$$
さらに、
$$
(p,q)=(47,53)
$$
では、
$$
N=2491,\qquad\phi(N)=2392
$$
なので、
$$
2491-2392=99.
$$
距離 (d) が
$$
47,\ 39,\ 3
$$
と大きく変化しても、
$$
N-\phi(N)=99
$$
は変わりません。
これは「半素数の積構造」と「中心 (M)」を結びつける、一つの美しい関係だと考えています。
第6章 (M=50) と (M=51) を比較する
具体例を見てみます。
(M=50)
$$
2M=100
$$
です。
素数対として、
$$
(3,97),(11,89),(17,83),(29,71),(41,59),(47,53)
$$
などが得られます。
それぞれについて、
$$
d=\frac{q-p}{2}
$$
は、
$$
47,39,33,21,9,3
$$
となります。
これらはすべて
$$
d\equiv3\pmod6
$$
を満たしています。
これは
$$
M=50\equiv2\pmod3
$$
というモードCと一致します。
各 (N=pq) に対して、
$$
N-\phi(N)=99
$$
が成立します。
(M=51)
次に中心を一つ進めて、
$$
M=51
$$
とします。
このとき、
$$
2M=102
$$
です。
たとえば、
$$
(5,97),(13,89),(19,83),(23,79),
$$
$$
(29,73),(31,71),(41,61),(43,59)
$$
などの素数対があります。
対応する距離は、
$$
46,38,32,28,22,20,10,8.
$$
これらはすべて
$$
d\equiv\pm2\pmod6
$$
に入っています。
これは
$$
M=51\equiv0\pmod3
$$
に対応するモードAです。
さらに、
$$
N-\phi(N)=101
$$
が各ペアで成立します。
つまり、中心を
$$
50\rightarrow51
$$
と一つ動かすと、許される (d) の合同類も切り替わり、
$$
99\rightarrow101
$$
という不変量の値も移動します。
ここには、単発の素数対だけを眺めていると見えにくい「中心 (M) に沿った構造」が現れています。
第7章 では、これはゴールドバッハ予想の証明なのか？
ここが最も重要なところです。
結論から言えば、
$$
\boxed{\text{現時点では、ゴールドバッハ予想の証明にはなっていません。}}
$$
理由は明確です。
ゴールドバッハ予想が要求しているのは、
任意の (M>1) に対して、少なくとも一つの (d) が存在し、
(M-d) と (M+d) がともに素数になること
です。
一方、ここまでの議論から分かるのは、
もし (M-d) と (M+d) がともに素数なら、
(d) は特定の合同類に入る。
ということです。
これは、
$$
\text{素数対が存在する}
$$
から
$$
\text{許される }d\text{ の条件}
$$
を導いているのであって、その逆、
$$
\text{許された }d
$$
から
$$
\text{必ず素数対が存在する}
$$
を証明しているわけではありません。
ここには大きな論理の差があります。
第8章 反例を仮定したとき、何が言えるのか
仮にゴールドバッハ予想が偽だとします。
すると、ある (M) について、
$$
2M
$$
が二つの素数の和として表せないことになります。
この場合、候補となるすべての (d) に対して、
$$
M-d,\qquad M+d
$$
の少なくとも一方が素数ではありません。
したがって、
$$
N_d=M^2-d^2
$$
は、その (d) に対応する素数対の積としては成立しません。
ここまでは論理的に言えます。
しかし、
$$
N_d
$$
が半素数でないことから、
$$
\phi(N_d)+N_d
$$
が必ず一定割合で急落する、といった結論を導くには、別途厳密な証明が必要です。
さらに、
「許された (d) のすべてでそのような急落が起きることは不可能である」
という主張も、現段階では証明されていません。
したがって、
「反例は幾何学的に拒絶される」
という表現は、現在の段階では証明済みの事実ではなく、検証すべき仮説として扱うべきでしょう。
第9章 むしろ、ここから何を研究できるのか
今回のモデルには、まだ研究できる問いがあります。
たとえば、
問い1
各 (M) に対して、合同条件を満たす (d) のうち、
$$
M-d,\quad M+d
$$
がともに素数となるものはどの程度存在するのか？
問い2
半素数
$$
N=M^2-d^2
$$
について、
$$
N-\phi(N)=2M-1
$$
という関係を、素数対以外の因数構造と比較すると何が見えるのか？
問い3
(M) を連続的に動かしたとき、
$$
M\pmod3
$$
による3モードの切り替わりと、素数対の個数にはどのような関係があるのか？
問い4
「許される (d)」を合同条件だけで絞った場合と、実際の素数判定まで行った場合で、候補数はどのように減少するのか？
問い5
もしゴールドバッハ反例が存在すると仮定した場合、その (M) における候補 (d) の分布には、通常の (M) と異なる統計的特徴が現れるのか？
こうした問いなら、計算実験によって具体的に検証できます。
第10章 「証明」ではなく「座標系」を作る
今回の試みで私が一番面白いと思っているのは、ゴールドバッハ予想を別の座標系で眺められることです。
通常なら、
$$
2M=p+q
$$
という「和」の問題として考えます。
しかし、
$$
p=M-d,\qquad q=M+d
$$
と置けば、
$$
pq=M^2-d^2
$$
となり、そこから
$$
G^2+d^2=M^2
$$
という幾何学的な形が現れます。
さらに、
$$
N=pq
$$
と置けば、
$$
N-\phi(N)=2M-1
$$
という数論的な不変量が現れます。
つまり、
$$
\boxed{
\text{和}
\longrightarrow
\text{中心と距離}
\longrightarrow
\text{幾何学}
\longrightarrow
\text{半素数}
\longrightarrow
\phi(N)
}
$$
という複数の見方を、一つの式の連鎖として眺めることができます。
これは、少なくとも私にとっては、とても興味深い構造です。
おわりに 〜証明できないからこそ、問い続ける〜
ゴールドバッハ予想は、非常に単純な形をしているにもかかわらず、現在もなお完全な証明が知られていない巨大な問題です。
だからこそ、一つのアイデアだけで簡単に決着するとは考えないほうがよいのでしょう。
今回の考察にも、まだ証明されていない部分があります。
むしろ、そこを曖昧にして「完全証明」と呼ぶのではなく、
何が恒等式として証明できるのか
何が合同条件として分かるのか
何が数値実験で確認できるのか
そして、どこから先がまだ仮説なのか
を明確に分けることが、数学的には大切なのだと思います。
今回見つかった
$$
\boxed{G^2+d^2=M^2}
$$
という幾何学的関係、
$$
\boxed{N=M^2-d^2}
$$
という半素数の表現、
そして
$$
\boxed{N-\phi(N)=2M-1}
$$
という距離 (d) が消える不変量。
これらがゴールドバッハ予想そのものを証明するわけではありません。
しかし、問題を別の角度から眺めるための「新しい座標系」にはなり得るかもしれません。
数学では、答えを見つけることだけが価値なのではなく、
まだ見えていない問いを、見える形にすること
にも大きな意味があります。
「人は議論することで賢くなれる」。
最初は間違っていた式も、反例を一つずつ確認し、他者からの指摘を受け、計算し直すことで、より正確な形へ変わっていきます。
それは数学の難しさであると同時に、数学の面白さでもあるのでしょう。
これからも、ゴールドバッハ予想という巨大な問いを前に、結論を急がず、一つずつ検証しながら考えていきたいと思います。
そしていつか、この「中心 (M) と距離 (d)」という座標系の先に、まだ誰も見つけていない構造が現れることを期待しています。
