Another inequality inspired by Erdős

あなたは、整数の隠された秘密に捧げられた数学の一分野である、数論という広大で静かな図書室で働く探偵であると想像してください。この世界において、数字は単にリンゴの数を数えるための道具ではありません。数字は独自の個性、関係性、そして厳格な規則を持つキャラクターなのです。この図書室における最も有名な規則の一つは、「ベルトランの仮説」と呼ばれる数百年前の観察です。これは、6より大きい数を選べば、そのすぐ下の特定の近傍には、必ず少なくとも一つの素数（1とその数自身でしか割り切れない数）が潜んでいるというものです。ポール・エルデシュのような伝説的な数学者たちは、二項係数（組み合わせの数を数える際に得られる数値）を用いた巧妙なトリックを用いて、これらの規則を証明してきました。しかし、時として最も興味深い謎は、大きく派手な定理ではなく、証明を簡略化しようとする際に突如として現れる、静かで奇妙な不等式の中にあります。これらは、数学者に「これは常に真なのか、それとも数字の中に巧妙な例外が隠れているのだろうか？」と頭を悩ませさせる「特異点」なのです。

『エルデシュに触発されたもう一つの不等式』と題されたこの論文は、そのような巧妙な不等式の一つを深く掘り下げています。著者であるバラ・バティコヴァー、トマーシュ・J・ケプカ、ペトル・C・ニェメツは、正の整数に関する特定の数学的関係を調査しています。彼らは、すべての数 $n$ に対して、いくつかの特別な「キャラクター」を定義します。それは、$2n$ に 3 がいくつ入るかに関連する値 $z(n)$、$2n$ の平方根に関連する値 $m(n)$、そして 2 の累乗に関連する値 $r(n)$ です。そして、これらを組み合わせて複雑な式 $y(n)$ を作り出し、単純な問いを投げかけます。「この式は常に負なのか、常に正なのか、それとも符号が入れ替わるのか？」という問いです。この論文は、この式が決してゼロにはならないこと（決して完璧に境界線上に着地しないこと）を証明し、どの数が式を負にし、どの数が正にするのかを正確に描き出しています。これは、非常に長い通りにあるすべての家を一つずつチェックして、電気がついているか消えているかを確認するようなものです。ほとんどの家はパターンに従っていますが、一部の特定の住所では、電灯の挙動が異なるのです。

大いなる数の探索

物語は過去への回顧から始まります。1845年、J. ベルトランという数学者が大胆な推測をしました。すなわち、$n$ が 6 より大きい任意の数に対して、$n-2$ と $n^2$ の間に常に素数が存在するということです。その後、優雅でシンプルな証明で知られる天才ポール・エルデシュは、これの少し異なるバージョンを証明するための新しい方法を考案しました。その過程で、彼はいくつかの珍しい不等式に遭遇しました。その一つである $x(n)$ という値を含む不等式は、すでにこれらと同じ著者による以前の論文で研究されていました。彼らは、$x(n)$ は通常は負であるが、436、451、529、545、546 というごくわずかな数の場合に限り、ちょうどゼロになることを発見しました。

さて、著者たちは、先ほどの不等式の「血縁」にあたる、 $y(n)$ と呼ばれる兄弟のような不等式に注目します。この新しい式は、2 の累乗と $n$ の累乗を混ぜ合わせた、より複雑なものになっています。この論文の目的は、一つのパズルを解くことです。正の整数 $n$ に対して、どのような場合に $y(n)$ は 0 未満になるのか？ そして決定的なのは、$y(n)$ が正確に 0 になることはあるのか？ ということです。

二段構えの攻撃

これを解決するために、著者たちは、拡大鏡とハイテクスキャナーの両方を使う探偵のように、二つの異なる戦略を用います。

戦略 1：純粋算術的アプローチ
まず、彼らは「純粋算術」を用います。これは、微積分の滑らかな曲線を使用せず、整数のルールに厳格に従うことを意味します。彼らは無限の数直線を取り扱い可能な塊へと分解します。彼らは、$m(n)$ と $r(n)$ の値が一定に保たれる特定の数値範囲が存在することに気づきます。これにより、数字を区間にグループ化することが可能になります。

彼らはこれらの区間の巨大な地図を作成します。例えば、1 から 403 までの数字を調べ、各ブロックにおける $y(n)$ の符号を確認します。すると、小さな数（1, 2, 3, 4 など）の場合、$y(n)$ は正であることがわかります。しかし、$n=5$ から、それは負へと反転します。それは長い間負の状態を維持しますが、その後、ジェットコースターのように、特定のセクションで下降したり上昇したりします。

慎重な計算と累乗の比較（例えば、$2^{20}$ が $3^{15}$ より大きいかどうかをチェックすることなど）を用いて、彼らは $y(n)$ が以下の特定の範囲で負であることを証明します。

• 5 から 335 まで。
• 338 から 350 まで。
• 365 から 368 まで。

また、彼らは $y(n)$ が決してゼロにならないことも証明します。それは厳格な「どちらか一方」の状況であり、数は正か負のいずれかであり、決して中立な境界線上に座ることはありません。その他のすべての数（1 から 4、および 336, 337, 351 から 364、そして 369 以上すべて）において、値は正となります。

戦略 2：微積分アプローチ
彼らの作業を再確認し、連続的な数学の視点から見た場合でもこれらの結果が成立することを示すために、著者たちは初等微積分を使用します。彼らは、離散的な整数の問題の挙動を模倣する、滑らかで波打つ関数 $F(x)$ を考案します。

彼らはこの曲線の形状を分析します。曲線がいずれ永遠に上昇し続けることを示します。曲線が「ゼロ線」（x軸）を横切る場所を見つけることで、彼らは整数値の $y(n)$ が正になるか負になるかを予測できます。

• $n$ が非常に大きい場合（具体的には $n \ge 404$ の場合）、値は間違いなく正であることを証明します。
• 曲線を用いることで探索範囲を絞り込み、いかなる「負の挙動」も特定の窓（およそ 5 から 379 の間）の中で起こり得ることを確認します。
• この窓の中にある特定の整数点をチェックすることで、第一の戦略で見出した正確な境界を裏付けます。

最終的な判決

論文は、領域の決定的な地図を提示して締めくくられます。不等式 $y(n) < 0$ （つまり式が負であること）は、$n$ が以下の 3 つのグループのいずれかに属する場合にのみ真となります。

1. $5 \le n \le 335$
2. $338 \le n \le 350$
3. $365 \le n \le 368$

逆に、$y(n) > 0$ （つまり式が正であること）は、$n$ が 1 から 4 の間にある場合、または負のゾーンの間の隙間にある場合、あるいは $n$ が 369 以上である場合です。

最も重要なことに、著者たちは、いかなる正の整数に対しても $y(n)$ が決して 0 にならないことを絶対的な確信を持って証明しています。式が完璧に消滅してしまうような「魔法の数」は存在しません。それは正と負の厳格な二進法の世界であり、中立な領域はありません。

この研究は、古風な数合わせの技術と現代的な解析ツールの組み合わせの力を証明するものです。専門外の人々にはニッチなパズルのように見えるかもしれませんが、これは数学の基礎を強固に保つための、細心の注意を払った一歩一歩の検証の姿を表しています。それは、抽象的な数の世界においても、一つ一つのケースが重要であり、時には、例外が「存在しない」ことを正確に知ることこそが、最も興味深い発見となることがあるということを示しているのです。