数学の代名詞とも言える「三平方の定理」には数百種類もの証明が存在しますが、今回ご紹介するのはスコットランドの数学者ジョン・アリオニ氏が考案した、極めてモダンで洗練された手法です。
この証明の最大の特徴は、図形の問題を「無限等比級数」という解析学のツールを使って解き明かす点にあります。
手順としては、まず任意の直角三角形（辺の長さをa, b、斜辺をcとする）を用意することから始まります。
次に、直角の頂点から斜辺に向かって水線を下ろし、元の三角形と相似な小さな直角三角形を内部に作ります。
ここからがこの証明の真髄です！
作成された小さな三角形に対し、さらに水線を下ろす操作を無限に繰り返していきます。
具体的には以下のステップで進めていきます。
① 直角の頂点から斜辺に対し垂直な線（水線）を引き、斜辺を分割する。
② 新しくできた三角形の頂点から、さらに隣接する辺へと垂直な線を引き続ける。
③ この操作を無限に繰り返すことで、元の辺bを構成する断片（b1, b2, b3...）を無限に生成する。
これらの断片の長さは、元の三角形の辺の比率（a/c）に基づいた規則的な減少を見せます。
つまり、隣り合う線分の比が常に一定となる「等比数列」の関係が成立しているのです。
この規則性に気づくことが、この証明を理解する最大の鍵となります。
各線分を足し合わせた総和は、元の辺bの長さに一致するはずではないでしょうか？
ここで無限等比級数の和の公式「S = 初項 / (1 - 公比)」を適用します。
幾何学的な構造から、公比が (a/c)^2 であることが導き出され、代数的な整理へと移行します。
この計算過程は、まさにパズルを解くような爽快感を伴います。
驚くべきことに、無限の足し算の結果を整理していくと、最終的に「c^2 = a^2 + b^2」というお馴染みの数式が忽然と姿を現します。
複雑な無限の連鎖が、最後にはこれ以上ないほどシンプルな形に収束するのです。
なぜあえて無限という複雑な概念を持ち出すのでしょうか？
それは、数学における異なる分野（幾何学と解析学）が、深い根底の部分で繋がっていることを証明するためです。
単に公式を覚えるのではなく、こうした「おしゃれな遠回り」を体験することで、数学の奥深さと自由さを再発見できるはずです。
アリオニ氏がFacebookを通じて発信したこの証明は、SNS時代の新しい数学の楽しみ方を提示してくれています。
この証明を一度理解すれば、図形を見る目が変わるかもしれません。
一見静止している三角形の中に、無限に続く動的なリズムが隠されていることに気づくからです。
忙しい日常の中で、こうした純粋な論理の美しさに触れることは、知的なリフレッシュにもなるでしょう。