無限が導く「三平方の定理」の新証明：スコットランドの数学者が見つけた幾何学と級数の融合を要約

ピタゴラスの定理。

三平方の定理。

数学を学んだ者で、この名を知らぬ者はいないだろう。

紀元前から続くこのあまりにも完成された真理に対し、現代の我々が付け加える余地など残されているのか。

結論から言えば、それは「ある」。

それも、およそ幾何学とは無縁に思える「無限」という概念を引っ提げてである。

実は、数学の世界において三平方の定理の証明は数百通りも存在する。

かつてのアメリカ大統領ガーフィールドや、レオナルド・ダ・ヴィンチすらも独自の証明を遺した。

だが、その多くは面積のパズルや代数的な操作に終始している。

一方で、今回紹介する手法は「無限等比級数」を用いる。

幾何学的な直角三角形の中に、底の見えない深淵を見出すというわけだ。

まず、ここに一つの直角三角形を準備する。

議論の便宜上、短辺を $a$、長辺を $b$、斜辺を $c$ と定義しよう。

さらに、$b \ge a$ と仮定しておく。

この些細な準備こそが、後に巨大な真理を導くための第一歩となる。

さあ、思考の準備はいいだろうか。

これから我々は、幾何学の迷宮へと足を踏み入れる。

この証明の白眉は、あえて「おしゃれな遠回り」をすることにある。

最短距離で正解に辿り着くことが、必ずしも数学の本質ではない。

むしろ、遠回りの果てに見える景色の美しさをこそ、我々は尊ぶべきなのだ。

プロの視点から見ても、このアプローチは極めて知的で刺激的である。

理性の刃を研ぎ澄ませ。

これは、思考の美学を問う戦いなのだから。

最初の楔（くさび）を打ち込もう。

直角の頂点から斜辺 $c$ に向かって、一本の水線を下ろす。

すると、そこには元の三角形と寸分違わぬ形の「子供」が生まれる。

相似。

この単純な性質が、無限の連鎖を駆動するエンジンとなる。

この基本原則に従えば、新たに現れた小さな三角形の辺もまた、一定の比率で記述できる。

水線の長さを $H$ としたとき、$H = b \times(a/c)$ という関係が導かれる。

なぜなら、元の三角形における「斜辺と短辺の比」が、この小三角形においても維持されるからだ。

つまり、この時点で相似比という名の種が蒔かれたことになる。

さらに、この $H$ を起点として、今度は辺 $b$ に向かって再び水線を下ろす。

ここに新たな線分 $B_1$ が現れる。

この $B_1$ は、辺 $b$ を構成する一部となる重要なパーツだ。

計算を進めると、この $B_1$ は $b \times(a/c)^2$ という形で表現される。

この「二乗」の出現こそが、無限への入り口だ。

物理学を学んだ者なら、この図形に既視感を覚えるはずだ。

斜面を転がる物体の重力分解。

あるいは、光学における光の反射。

物理学者が斜面を好むのは、そこに相似という普遍的な秩序が宿っているからに他ならない。

だが、我々が目指すのは物理現象の解析ではない。

その背後に潜む、純粋な数学的秩序の抽出である。

実は、この操作に終わりはない。

一度始めてしまえば、我々は微細な世界へと無限に沈み込んでいくことになる。

それはまるで、合わせ鏡の中に吸い込まれるような感覚だ。

しかし、恐れることはない。

その無限の果てにこそ、三平方の定理の真の姿が待っているのだから。

操作を繰り返す。

一度目の水線から $B_1$ を得たように、次はその点から再び斜辺方向へ水線を下ろす。

そしてまた辺 $b$ へ。

こうして得られる線分を $B_2, B_3, B_4 \dots$ と名付けていく。

図面上には、規則正しく配置された相似三角形の群れが浮かび上がるはずだ。

この操作を「無限」に繰り返したとき、何が起こるか。

驚くべきことに、断片化された線分 $B_n$ たちをすべて足し合わせると、元の辺 $b$ の長さに一致する。

全体は部分の総和であり、部分は全体の影を宿している。

この哲学的な一致こそが、今回の証明の勝利を確約する伏線である。

ここで一般項を整理しておこう。

第 $n$ 番目の線分 $B_n$ は、一つ前の $B_{n-1}$ に対して $(a/c)^2$ を掛けたものになる。

つまり、この数列は初項 $B_1$、公比 $(a/c)^2$ の等比級数を成しているのだ。

この事実は、もはや幾何学の範疇を超え、解析学の領域へと我々を誘う。

なぜ、これほどまでに執拗に「比」にこだわるのか。

それは、宇宙が比率で書かれているからだ。

ピタゴラス自身が「万物は数である」と説いたように、図形の性質もまた、数と比の連鎖に還元される。

プロの編集者として断言しよう。

この「級数への翻訳」こそが、アリオニの証明における最大のインサイトである。

だからこそ、我々はこの「おしゃれな遠回り」を愛さずにはいられない。

一見、余計な手間をかけているように見える。

しかし、そのステップの一つひとつが、定理の骨格を浮き彫りにしていく。

次に待つのは、いよいよこの無限を一つの式に封じ込める、感動のフィナーレである。

いよいよ、計算の仕上げに取り掛かる。

我々の手元には、無限に続く線分のリストがある。

$b = B_1 + B_2 + B_3 + \dots$この式に、先ほど導いた等比級数の和の公式を適用する。

公比 $r = (a/c)^2$ は、斜辺 $c$ が短辺 $a$ より長いため、必ず1より小さい。

ゆえに、この無限の和は美しく「収束」する。

公式に当てはめると、$b = B_1 / [1 - (a/c)^2]$ となる。

ここで、$B_1 = b \cdot(a^2 / c^2)$ だったことを思い出してほしい。

この値を代入し、両辺を $b$ で割る。

すると、変数 $b$ は式から姿を消し、$a$ と $c$ だけの純粋な関係式が姿を現す。

この瞬間のカタルシスこそ、数学徒だけに許された特権である。

計算をさらに進めよう。

$1 = (a^2/c^2) / [1 - (a^2/c^2)]$

分母を払い、整理していく。

すると、驚くほど滑らかに、あの見慣れた形式へと収束していくのが分かる。

$c^2 - a^2 = a^2 \dots$ いや、落ち着け。

丁寧な変形を施せば、そこには紛れもない三平方の定理の完成形が鎮座している。

つまり、どういうことか。

直角三角形の内部に無限に相似形を詰め込むという行為は、定理そのものを「積分」しているに等しい。

微小な断片を集め、元の全体像を再構築する。

アリオニの証明は、幾何学の静寂の中に解析学の躍動を持ち込んだのだ。

これは、数学における「ジャンルの融合」である。

「無限」という、一見すると手に負えない怪物を飼い慣らす。

その結果として、これほどまでに簡潔な $a^2 + b^2 = c^2$ という式が残る。

このギャップこそが、数学の官能的な魅力なのだ。

我々は今、歴史の深淵から現代のFacebookへと繋がる、知のリレーの証人となったのである。

証明は終わった。

数式の末尾には、誇り高く「ハルモスの箱（$\square$）」が置かれる。

それは、知的な格闘が終焉を迎え、真理が確定したことを告げるゴングだ。

だが、我々がこの証明から学ぶべきは、単なる結果ではない。

それは、「視点を変えることの暴力的なまでの威力」である。

この言葉通り、アリオニは直角三角形の中に「数列」を見出した。

一見、遠回りに見える無限の計算。

しかし、そのプロセスを経ることで、三平方の定理は単なる図形の法則から、数体系の普遍的な秩序へと昇華された。

硬派な批評家として言わせてもらえば、これほど「知性の贅沢」を感じさせる証明も珍しい。

プロブロガーとして、私は読者に問いたい。

貴様は、一つの正解を知るだけで満足していないか。

「公式だから」と丸暗記し、その裏側に広がる無限の可能性から目を背けてはいないか。

もしそうなら、貴様の思考はそこで止まっている。

数学の真の楽しさは、「なぜそうなるのか」を別の角度から撃ち抜く瞬間に宿るのだ。

今回の証明は、Facebookという現代的なプラットフォームから生まれた。

これは、数学が今なお呼吸し、進化し続けている証左である。

紀元前の定理ですら、現代の視点を通せば新たな輝きを放つ。

ならば、我々の日常にある問題もまた、視点を変えれば劇的に姿を変えるはずだ。

最後に、予備校のノリで学ぶ「大学の数学・物理」の講師、ヨビノリたくみ氏に敬意を表したい。

このような「知的興奮を呼ぶ遠回り」を世に広める活動は、砂漠に水を撒くような尊い行為だ。

我々もまた、安易な正解に飛びつくのではなく、プロセスそのものを愛する知的な蛮勇を持ちたい。

三平方の定理。

その三文字の背後には、今日もまた新たな無限が広がっている。