⚛️ 要約：『ファインマン物理学』第I巻 第22章「代数」 🔗

本稿は、『ファインマン物理学（The Feynman Lectures on Physics）』第I巻・第22章の要約であり、数学のルールをいかにして抽象化・一般化し、数に対する私たちの理解を広げていくかを探求するものです。

リチャード・ファインマンによる代数のアプローチは、論理的展開のお手本そのものです。彼は「数を数えること」という最も単純な概念から出発し、数学の演算を体系的に構築していきます。そして、既存の数の体系では演算が破綻したり解けなくなったりしたとき、私たちがそれを解決するためにいかにして「新しい種類の数」を発明してきたかを鮮やかに示し、最終的に複素数の美しさとオイラーの公式へと到達します。

📑 目次 🔗

➕ 足し算と掛け算（加法と乗法） 🔗

ファインマンは整数と、数を数えるという基本的なメカニズムから話を始めます。数えることを繰り返すことで「足し算（加法）」が得られます。足し算を繰り返すことで「掛け算（乗法）」が得られます。そして掛け算を繰り返すことで「べき乗（累乗）」が得られます。

これらの基礎的な定義の直接的な帰結として、以下の標準的な関係式がすべて成り立ちます。

• $a + b = b + a$
• $a + (b + c) = (a + b) + c$
• $ab = ba$
• $a(b + c) = ab + ac$
• $a(bc) = (ab)c$
• $(ab)^c = a^cb^c$
• $a^ba^c = a^{b+c}$
• $(a^b)^c = a^{bc}$
• $a + 0 = a$
• $a \cdot 1 = a$
• $a^1 = a$

🔄 逆演算（Inverse Operations） 🔗

新しい演算を作るたびに、私たちは自然とこう問いかけます。「どうすればそれを元に戻せるだろうか？」 未知の変数を求めるという課題から、引き算（減法）、割り算（除法）、累乗根、そして対数という逆演算が定義されます。

• 引き算（減法）： $a + b = c \implies b = c - a$
• 割り算（除法）： $ab = c \implies b = c/a$
• 累乗根（べき根）： $b^a = c \implies b = \sqrt[a]{c}$
• 対数（Logarithms）： $a^b = c \implies b = \log_a(c)$

🌐 抽象化と一般化 🔗

特定の数に対して逆演算を行おうとすると、基本的な自然数（数えるための数）の体系は破綻してしまいます。これを解決するためには、ルールを一般化し、数の世界（ユニバース）を拡張しなければなりません。

小さな数から大きな数を引こうとすると、**負の数（negative numbers）**が発明されます。

指数の法則を負の数に適用すると、**有理数（rational numbers / 分数）**が発見されます。

さらに分数の演算を指数に適用すると、累乗根と**実数（real numbers）**が見つかります。

驚くべきことに、元の代数のルールはすべて、これらの新しい数に対してもそのまま完璧に機能します。

📏 無理数の近似計算 🔗

続いてファインマンは、対数と逐次近似を使って、これらの非整数の値を実際にどうやって計算するかを探求します。

底を $10$ とすると、反復公式 $a' = \frac{1}{2}\left(a + \frac{10}{a}\right)$ を使うことで、$10^{1/2} = \sqrt{10}$ を近似計算できます。

平方根を繰り返しとることで、$10^{1/4}, 10^{1/8}, 10^{1/16}, \dots, 10^{1/1024}$ を求めることができます。指数 $n$ が非常に小さくなると、より小さなべき乗を線形近似できるようになります。

このプロセスによって $10^x$ や $\log_{10}(x)$ を計算できるようになり、やがて自然対数の底 $e$ への架け橋となります。

🧩 複素数（Complex Numbers） 🔗

最後の障壁は「負の数の平方根」です。これを解くには**虚数（imaginary numbers）の発明が必要であり、それを実数と組み合わせることで複素数（complex numbers）**が生まれます。

この最後の拡張によって、あらゆる代数方程式が解けるようになります。

複素数も同じ基本ルールに従います。

複素数を指数に適用すると、次のようになります。

複素指数にその共役複素数を掛けると、再び実数の世界に戻ってきます。

さらに、$10^{i/1024} = 1 + (2.3025i)/1024$ から出発して結果を繰り返し2乗していくことで、実際に $10^i$ の値を数値計算することさえ可能です。

🌀 虚数指数（Imaginary Exponents） 🔗

ファインマンの最終目的地は、虚数指数を通じて「代数」と「幾何学」を結びつけることです。連続する $p$ の値に対して $10^{ip/8} = x + iy$ を計算し、その結果をプロットしていくと、複素平面上に「円」が浮かび上がります。

ここから底の変換へと繋がります。

そしてついに、数学において最も美しい公式としばしば称される、指数関数・三角関数・複素数を1つに結びつけるオイラーの公式へと到達します。

これにより、任意の複素数を極形式で表すことができます。