On unsolvable equations of prime degree

巨大で複雑なパズルを解こうとしている自分を想像してみてください。数学の世界において、これらのパズルは方程式と呼ばれます。何世紀もの間、数学者たちは「根号」（平方根や立方根など）と呼ばれる特別な道具セットを使って、特定の大きさのパズル（二次、三次、四次方程式）を解いてきました。

しかし、大きな疑問が生じました。私たちは同じ道具を使って、あらゆる方程式を解くことができるのだろうか？

ユリウス・ブジェジンスキ（Juliusz Brzeziński）とジャン・スティーブンス（Jan Stevens）によるこの論文は、特定のタイプ、すなわち素数次（3、5、7、11...など）の方程式というパズルに取り組んでいます。具体的には、それ以上小さなパーツに分解できない（既約である）方程式に焦点を当てています。

彼らが発見した物語を、分かりやすく説明します。

1. 「実数」の根と「虚数」の根

あらゆる方程式には、「根（解）」と呼ばれる解が存在します。いくつかの根は実数（2、-5、$\pi$ など）であり、標準的な数直線上にプロットできます。他の根は、虚数単位 $i$ を含む複素数であり、別の「目に見えない」次元に存在します。

昔、**レオポルト・クローネッカー（Leopold Kronecker）**という数学者が、これらの素数次方程式に関する興味深い観察を残しました。

もし、ある方程式が根号によって解ける（解ける道具を持っている）場合、その次数が奇数の素数（5や7など）であれば、その根は**「すべて実数である」か、あるいは「実数はたった一つだけである」かのどちらかである。**

中間はありません。3つの根が実数で、2つが虚数であるような方程式は存在し得ません。「全か無か」なのです。

2. 「初等的な」探偵作業

通常、これを証明するには、ガロア理論（代数の宇宙を解き明かすマスターキーのようなもの）と呼ばれる、非常に高度でハイテクな道具箱が必要です。しかし、著者たちは、よりシンプルで「初等的」な道具を用いて、まるで虫眼鏡で謎を解くようにこの証明を行いたいと考えました。

彼らは、1世紀以上前の**ハインリヒ・ウェーバー（Heinrich Weber）**による証明に着目しました。ウェーバーは単純な論理を用いてこれを示そうとしましたが、その証明には隠れた罠がありました。

罠（「漏れているバケツ」）：
ウェーバーの証明は、方程式を解く過程で新しい道具（根号）を付け加えるたびに、それが常に「きれいな」道具であることを前提としていました。しかし、時として、付け加える道具は「漏れていたり」「壊れていたり」することがあります（数学的には、これらは可約な根号と呼ばれます）。

• 比喩： ブロックで塔を積み上げている場面を想像してください。ウェーバーは、すべてのブロックが完璧で中身の詰まった立方体であることを前提としていました。しかし、時には、すでにひびが入っていたり、中が空洞だったりするブロックを誤って掴んでしまうことがあります。もし、ひび割れたブロックの上に積み上げてしまったら、ウェーバーが予想もしなかった形で塔が揺れたり、崩壊したりするかもしれません。
• 結果： ウェーバーはこれらの「ひび割れたブロック」を考慮に入れていなかったため、彼の証明には論理的な隙間が生じました。後の教科書はこの証明をコピーし、その誤りを広めてしまいました。

3. 著者たちの解決策

ブジェジンスキとスティーブンスは、その漏れを塞ぐために介入しました。彼らはウェーバーのアイデアを捨て去ったのではなく、単に基礎を補強したのです。

彼らは、両方のケース（「完璧なブロック」である既約根号と、「ひび割れたブロック」である可約根号）を正しく扱う、より短く新しい証明を作成しました。

• 彼らは、たとえ方程式を解くために「ひび割れたブロック（可約根号）」を使用したとしても、そのルールは依然として成立することを示しました。つまり、**「すべてが実数か、あるいは実数は一つだけか」**というルールです。
• 彼らは、複素共役（方程式を鏡に映して見るようなもの）を用いた巧妙なトリックを用いました。方程式が「鏡の中」でどのように振る舞うかをチェックすることで、もし2つの根が実数であれば、「鏡」の性質によって他のすべての根も実数にならざるを得ないことを証明できたのです。

4. な なぜこれが重要なのか（「だから何なのか？」）

この論文は、このルールが、ある種の方程式が根号では解けないことを証明するための強力な手段であることを説明しています。

• テスト： もし、あなたが次数5（五次方程式）の式を見つけ、それが3つの実数解と2つの虚数解を持っているとしたら、その方程式は直ちに根号では解けないことが分かります。
• 例： 著者たちは、$X^5 - 4X - 2 = 0$ という方程式を例に挙げています。これをグラフに描くと、実軸を3回横切ることが分かります。これは実数の根が「1つより多く」、かつ「すべて」でもないため、クローネッカーのルールに抵触します。したがって、標準的な根号を用いてその根を表す公式を書くことは、数学的に不可能です。

まとめ

この論文は、有名な橋を修理する作業員のようなものです。

1. 橋： どの数学のパズルが解けて、どれが解けないのかを教えてくれるルール（クローネッカーの定理）。
2. ひび割れ： 「壊れた道具（可約根号）」を無視してしまった古い設計図（ウェーバーの証明）にある間違い。
3. 修理： 著者たちは、たとえ「壊れた道具」を使ってもルールが成立することを示し、橋を補修しました。
4. 結果： 私たちは今、最も高度で複雑な数学的メカニズムを使わずとも、解がいくつ「実数」であるかを数えるだけで、「この特定のパズルは解けない」と自信を持って断言できるようになったのです。

この論文は、1世紀前の数学的な誤りを清算し、解けない方程式を特定するための、明確でシンプルな方法を提供する、歴史的な探偵物語なのです。