※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・形式科学の恒星群 数学冠・派生第1巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> 重複回避の方針: BOOK-0002(算術)は「数える・計算する」という具体の数どうしの操作を、BOOK-0025(幾何学)は「かたち・位置」を扱った。BOOK-0063(微分積分)は「変化そのもの」を数式に落とし込んだ。本冊が扱うのは、それらとは違う第四の道具——**まだ値のわからない数に、あらかじめ名前(文字)を与えて計算してしまう**という発想、代数(だいすう)である。
> 接続先: →BOOK-0002『算術』第1冊(因数分解は掛け算の逆再生として算術側で先に扱われており、本冊はその技法を方程式の武器として再利用する)、→BOOK-0025『幾何学』第1冊(座標という「数とかたちの握手」は、代数と幾何学が出会う場所として触れる)、→BOOK-0063『微分積分』第1巻(方程式を解く技術は、後に関数や極限を扱う土台になる)、→BOOK-0066『アルゴリズムとデータ構造』第1巻(解の公式のような「決まった手順で必ず答えに着く」仕組みは、アルゴリズムの精神そのものである)。
> 水準: 一〜四(基礎と歴史)。後半(水準五〜七: 群論・環論・体論などの抽象代数)は別巻で扱う。
---
# BOOK-0067 代数 — 名前のない数に名前を付ける(数学派生 第1巻)
> 学問の宇宙・形式科学の恒星群 数学冠・派生第1巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> 重複回避の方針: BOOK-0002(算術)は「数える・計算する」という具体の数どうしの操作を、BOOK-0025(幾何学)は「かたち・位置」を扱った。BOOK-0063(微分積分)は「変化そのもの」を数式に落とし込んだ。本冊が扱うのは、それらとは違う第四の道具——**まだ値のわからない数に、あらかじめ名前(文字)を与えて計算してしまう**という発想、代数(だいすう)である。
> 接続先: →BOOK-0002『算術』第1冊(因数分解は掛け算の逆再生として算術側で先に扱われており、本冊はその技法を方程式の武器として再利用する)、→BOOK-0025『幾何学』第1冊(座標という「数とかたちの握手」は、代数と幾何学が出会う場所として触れる)、→BOOK-0063『微分積分』第1巻(方程式を解く技術は、後に関数や極限を扱う土台になる)、→BOOK-0066『アルゴリズムとデータ構造』第1巻(解の公式のような「決まった手順で必ず答えに着く」仕組みは、アルゴリズムの精神そのものである)。
> 水準: 一〜四(基礎と歴史)。後半(水準五〜七: 群論・環論・体論などの抽象代数)は別巻で扱う。
---
## 入口の物語 — まだ見ぬ数に、先に名前を渡しておく
一つの惑星を思い浮かべてほしい。まだ望遠鏡で見つかっていない、しかし軌道計算の上ではそこにあるはずだとわかっている惑星だ。天文学者は、実際に発見するよりも前に、その惑星に「プラネットX」というような仮の名前を与え、その名前を使って軌道の方程式を組み立てることがある。名前さえ与えてしまえば、まだ姿を見ていない相手であっても、他の惑星との関係——引力、距離、周期——を数式に書き下すことができる。そして数式を解けば、名前だけの存在だったものの正体(位置や質量)が、計算の中からするりと姿を現す。
代数(だいすう、水準一: まだ値のわからない数を文字で表し、その文字を含む式を操作することで、値のわからない数の正体を明らかにする数学の分野)の発想は、これとまったく同じ構造をしている。「まだわからない数」に `x` という名前を先に与えてしまい、その `x` を使って分かっている条件を式に書き下す。そして式を操作することで、`x` の正体——具体的な数値——を引きずり出す。
なぜこの発想が革命的なのか。→BOOK-0002『算術』第1冊で見た足し算・引き算・掛け算・割り算は、すべて「すでに値がわかっている数」同士の操作だった。`3 + 4 = 7` という式では、3も4も7も、最初から具体的な数として手元にある。ところが代数では、`x + 3 = 7` のように、式の中に「まだ値のわからない登場人物」を混ぜ込む。そして「値をまだ知らないまま」その登場人物を移動させたり、掛けたり、分解したりする。**未知の数を、既知の数とまったく同じ資格で式の中に住まわせ、対等に計算してしまう**——これが代数という考え方の核心であり、人類が数千年かけてたどりついた大きな発想の転換点だった。
この冊子では、まず「まだわからない数に名前を付ける」という発想がどのように生まれ育っていったかを歴史とともにたどり、次に一次方程式・二次方程式という最も基本的な二つの武器を、実際に検算しながら手に入れる。最後に、その武器がやがて壁にぶつかり、まったく新しい数学(群論)への扉を開くところまでを覗き見て、本冊を締めくくる。
```
算術(BOOK-0002): 既知の数どうしの計算 3 + 4 = 7
代数(本冊) : 未知の数に名前を与えて計算 x + 3 = 7 → x = 4
```
### なぜ「名前を先に付ける」だけでこんなに便利になるのか
不思議に思う人もいるだろう。まだ値を知らないものに名前を付けたところで、値そのものが分かるようになるわけではないのに、なぜこれが強力な道具になるのか。
答えは、**名前を付けることで、初めて「操作の対象」にできる**という点にある。名前のない「わからないもの」は、頭の中でぼんやりと想像するしかなく、足したり掛けたりすることができない。しかし `x` という名前を与えたとたん、それは `x + 3` や `2x` のように、他の数とまったく同じ文法で操作できる「モノ」になる。いわば、代数は「わからなさ」そのものを、計算できる形に閉じ込める容器を発明したのだ。
これは日常の思考にもよく似た場面がある。探偵小説で、まだ正体のわからない犯人を「X」と呼ぶ場面を思い浮かべてほしい。名前を仮に与えることで、「Xは現場に14時にいた」「Xは被害者と知り合いだった」というように、わからない相手についての情報を積み重ね、矛盾なく組み合わせていくことができる。情報が十分に集まれば、Xの正体は自然と一つに絞り込まれる。方程式を解くという作業は、まさにこの「情報を積み重ねて、名前だけの存在の正体を絞り込む」推理のプロセスそのものなのである。
---
## 第一章: 方程式と恒等式 — 似ているようで全く違う二つの式(水準一)
### 等号の左右が「いつでも」等しいのか、「あるときだけ」等しいのか
代数を学ぶ上で最初につまずきやすいのが、**方程式(ほうていしき、水準一: 文字を含む等式のうち、特定の値を文字に代入したときだけ成り立つもの)**と**恒等式(こうとうしき、水準一: 文字を含む等式のうち、文字にどんな値を入れても常に成り立つもの)**の区別である。
たとえば `x + 3 = 7` という式を見てみよう。この式は `x` にどんな値を入れても成り立つわけではない。`x = 4` のときだけ左右が等しくなり(4 + 3 = 7)、それ以外の値、たとえば `x = 5` を入れると `5 + 3 = 8` となって左右は一致しない。このように、**特定の値のときだけ成り立つ等式**が方程式である。方程式を解くとは、「左右を等しくする、その特定の値」を見つける作業にほかならない。
一方、`(x + 1)² = x² + 2x + 1` という式を見てみよう。試しに `x = 0` を入れると、左辺は `1²= 1`、右辺は `0 + 0 + 1 = 1` で一致する。`x = 5` を入れると、左辺は `6² = 36`、右辺は `25 + 10 + 1 = 36` で、これも一致する。実は `x` にどんな値を入れても、この等式は必ず成り立つ。これが恒等式である。恒等式は「値を当てて探す」ものではなく、「式の変形として、いつでも同じ形に書き換えられる」ことを示すものだ。
この区別がなぜ重要か。方程式は「謎解き」であり、答え(未知の数の正体)を一つ(あるいは複数)見つけるゲームである。恒等式は「言い換え」であり、答えを探すのではなく、式をより扱いやすい形に変形するための道具箱そのものである。本冊のこのあとの章では、この二つを行き来しながら進む。恒等式(因数分解の公式など)を使って方程式を解きやすい形に変形し、最終的に方程式の答えにたどりつく、という流れだ。
### もう一つの具体例で確かめる
区別をもう少し身体に馴染ませるために、別の例も見ておこう。`3x - 2 = x + 4` という式は方程式だろうか、恒等式だろうか。試しに `x = 3` を代入すると、左辺は `3 × 3 - 2 = 7`、右辺は `3 + 4 = 7` で一致する。ところが `x = 0` を代入すると、左辺は `-2`、右辺は `4` となり一致しない。つまりこの式は「特定の値(x=3)のときだけ成り立つ」方程式である。
一方、`2(x + 5) = 2x + 10` という式はどうか。`x = 0` なら左辺 `10`、右辺 `10`。`x = 100` なら左辺 `2 × 105 = 210`、右辺 `200 + 10 = 210`。どんな `x` を入れても両辺は一致する。これは「分配法則(かけ算を、かっこの中の足し算のそれぞれの項に配って計算してよいという規則)」という恒等式そのものを、単に別の書き方で表しただけの式だからだ。
この二つの見分け方——「特定の値でだけ壊れるかどうかを、いくつかの値を試しに代入して確かめてみる」——は、本冊のこの先の章でも繰り返し使う、地味だが極めて有効な検算の作法である。
---
## 第二章: 一次方程式 — 天秤の喩えで移項を理解する(水準二)
### 天秤という身体アンカー
一次方程式(いちじほうていしき、水準二: 未知数 `x` が1乗の形でしか登場しない、最も単純な形の方程式)を解く上で、最も役に立つイメージが**天秤(てんびん、水準二: 両側の皿に乗せた重さを比べる、釣り合いで重さを測る道具)**である。
方程式の等号 `=` は、天秤の支点だと思ってほしい。左辺の重さと右辺の重さがちょうど釣り合っているとき、天秤は水平を保つ。ここで大事な規則が一つある。**天秤の両側に同じ重さを同時に足したり、同時に引いたりしても、釣り合いは崩れない**ということだ。左の皿に石を1個乗せたら、右の皿にも同じ1個分の重さを乗せない限り、天秤は傾いてしまう。逆に言えば、両側に同じ操作をする限り、天秤は釣り合ったままだ。
### 移項という操作の正体
方程式 `2x + 3 = 11` を考えよう。これは「未知数 `x` を2倍して3を足すと、11になる」という条件を天秤の言葉で表したものだ。目標は、この天秤を「`x =(何か)」という、`x` だけが左の皿に乗った状態まで、釣り合いを保ったまま整理していくことである。
まず、左辺にある `+ 3` を消したい。天秤の両側から同時に3を引けば、釣り合いは崩れない。
```
2x + 3 = 11
2x + 3 - 3 = 11 - 3 (両辺から3を引く)
2x = 8
```
次に、左辺の `2x` から `x` だけを取り出したい。両辺を2で割れば、これも釣り合いを保ったままの操作だ。
```
2x ÷ 2 = 8 ÷ 2
x = 4
```
**検算1**: `x = 4` を元の式 `2x + 3 = 11` に代入すると、`2 × 4 + 3 = 8 + 3 = 11` となり、右辺の11と確かに一致する。よって `x = 4` は正しい解である。
ここで注目してほしいのは、「左辺の `+3` が右辺に移動して `-3` になった」ように見える手順——これを**移項(いこう、水準二: 等式の一方の項を、符号を反対にして他方へ移す操作)**と呼ぶ——が、実は「天秤の両側から同時に同じ量を引く(あるいは足す)」という、たった一つの単純な規則の見た目上の言い換えにすぎないということだ。移項は魔法のルールではなく、天秤の釣り合いという物理的なイメージに支えられた、必然的な結果なのである。この「両辺に同じ操作をすれば釣り合いは崩れない」という一本の原理さえ握っておけば、どんなに複雑に見える一次方程式も、天秤を少しずつ整理していく作業として解くことができる。
### 未知数が両辺にある場合
もう一段複雑な例として、`x` が両辺に登場する `5x - 4 = 2x + 8` を考えてみよう。このままでは `x` だけの項と、数だけの項が左右に散らばっていて見通しが悪い。そこで天秤の両側から `2x` を同時に引き、右辺の `x` を消してしまう。
```
5x - 4 = 2x + 8
5x - 2x - 4 = 2x - 2x + 8 (両辺から2xを引く)
3x - 4 = 8
```
これで見慣れた形に戻った。あとは第二章冒頭と同じ手順で、両辺に4を足し、両辺を3で割る。
```
3x - 4 + 4 = 8 + 4
3x = 12
x = 4
```
**検算5**: `x = 4` を元の式に代入する。左辺は `5 × 4 - 4 = 20 - 4 = 16`。右辺は `2 × 4 + 8 = 8 + 8 = 16`。両辺が一致し、`x = 4` が正しい解だと確認できた。
ここで押さえておきたいのは、「`x` の項を移項する」ときも「数の項を移項する」ときも、天秤の規則はまったく同じだということだ。移項という言葉に振り回されず、「両辺に同じ操作をして、天秤の釣り合いを保ったまま式を整理していく」という一枚のイメージだけを持っていれば、どれだけ項が散らばった一次方程式でも同じ手順で解くことができる。
---
## 第三章: 二次方程式 — 三つの武器で同じ答えにたどりつく(水準三)
### 二次方程式とは何か
**二次方程式(にじほうていしき、水準三: 未知数 `x` の2乗の項を含む方程式。一般形は `ax² + bx + c = 0` )**は、一次方程式よりも一段複雑な謎解きである。ここでは `x² - 5x + 6 = 0` という具体例を使って、三つの異なる武器——因数分解・平方完成・解の公式——がすべて同じ答えにたどりつくことを、実際に検算しながら確かめていく。
### 武器その一: 因数分解
→BOOK-0002『算術』第1冊では、因数分解を「掛け算の逆再生」として、`12 = 2 × 2 × 3` のように具体的な数を部品に分解する技として学んだ。二次方程式でも同じ発想が使える。`x² - 5x + 6` という式を、`(x - □)(x - ○)` という掛け算の形に逆再生できないか、と考えるのだ。
`(x - a)(x - b)` を展開すると `x² - (a+b)x + ab` になる。これを `x² - 5x + 6` と見比べると、「足して5、掛けて6になる二つの数」を探せばよいとわかる。2と3を試すと、`2 + 3 = 5`、`2 × 3 = 6` で両方の条件を満たす。よって、
```
x² - 5x + 6 = (x - 2)(x - 3)
```
**検算2**: 右辺を展開して確かめる。`(x - 2)(x - 3) = x² - 3x - 2x + 6 = x² - 5x + 6`。確かに元の式と一致した。
さて、`(x - 2)(x - 3) = 0` が成り立つのはどんなときか。二つの数を掛けて0になるのは、少なくとも一方が0のときだけである(これを**ゼロ積の法則**と呼ぶ)。よって `x - 2 = 0` または `x - 3 = 0`、つまり `x = 2` または `x = 3` が解となる。
### 武器その二: 平方完成
因数分解は「都合よく分解できる数が見つかる」場合には強力だが、いつでも簡単に見つかるとは限らない。そこで、もっと機械的に使える技が**平方完成(へいほうかんせい、水準三: 二次式を `(x + □)² + △` という、完全な二乗の形とそれ以外の項に分ける変形)**である。
例として `x² + 6x + 5` を平方完成してみよう。まず `x²+ 6x` の部分に注目する。`(x + 3)² = x² + 6x + 9` であることを利用したい(3は6の半分)。つまり `x² + 6x = (x + 3)² - 9` と書き換えられる。これを元の式に戻すと、
```
x² + 6x + 5 = (x + 3)² - 9 + 5 = (x + 3)² - 4
```
**検算3**: 右辺を展開して確かめる。`(x + 3)² - 4 = x² + 6x + 9 - 4 = x² + 6x + 5`。元の式と一致した。
この技を `x² - 5x + 6 = 0` にも応用してみよう。`x² - 5x` の部分は、5の半分である `5/2` を使って `(x - 5/2)² - 25/4` と書き換えられる。よって、
```
x² - 5x + 6 = (x - 5/2)² - 25/4 + 6 = (x - 5/2)² - 1/4
```
これを0と置くと `(x - 5/2)² = 1/4` となり、両辺の平方根をとると `x - 5/2 = ±1/2`。よって `x = 5/2 + 1/2 = 3` または `x = 5/2 - 1/2 = 2`。因数分解で求めた答え(`x = 2, 3`)と完全に一致する。
### 武器その三: 解の公式と判別式
平方完成を、`ax² + bx + c = 0` という一般形に対してあらかじめ一度だけ行っておくと、どんな二次方程式にも使い回せる万能の道具ができあがる。これが**解の公式**である。
```
x = ( -b ± √(b² - 4ac) ) / (2a)
```
この公式の中の `b² - 4ac` という部分には特別な名前が付いている。**判別式(はんべつしき、水準三: 解の公式のルートの中身 `b² - 4ac` のこと。この値の符号によって、解の個数と種類が決まる)**である。判別式が正なら異なる二つの実数解、0ならちょうど一つの実数解(重解)、負なら実数の範囲では解を持たない(この場合の解は後の巻で扱う複素数の範囲に存在する)。
`x² - 5x + 6 = 0` に解の公式を当てはめてみよう。ここでは `a = 1`、`b = -5`、`c = 6` である。
**検算4**: 判別式は `b² - 4ac = (-5)² - 4 × 1 × 6 = 25 - 24 = 1`。判別式が正(1)なので、異なる二つの実数解を持つとわかる。続けて解の公式に代入すると、
```
x = ( -(-5) ± √1 ) / (2 × 1) = ( 5 ± 1 ) / 2
```
よって `x = (5 + 1) / 2 = 6 / 2 = 3` または `x = (5 - 1) / 2 = 4 / 2 = 2`。
因数分解で得た `x = 2, 3`、平方完成で得た `x = 2, 3`、そして解の公式で得た `x = 3, 2`——**三つの異なる武器が、寸分違わず同じ答えにたどりついた**。これは偶然ではない。同じ問い(この式を0にするxは何か)に対して、異なる道具で挑めば必ず同じ答えに収束する、という数学の一貫性そのものを示す検算である。
### なぜ三つも武器がいるのか
一つの問題に三つも解き方があると聞くと、遠回りに思えるかもしれない。しかし、それぞれの武器には得意・不得意がある。因数分解は、答えがきれいな整数になる場合には最速だが、`x² - 5x + 3 = 0` のように「足して5、掛けて3になる、都合のよい二つの整数」が存在しない場合には手が止まってしまう。平方完成は、どんな二次方程式にも必ず使えるが、手順がやや長い。解の公式は、平方完成をあらかじめ一般形に対して済ませておいた「完成品」であり、`a, b, c` の値さえ式から読み取れれば、あとは代入するだけで答えに到達できる。
つまり三つの武器は、優劣の関係ではなく、**同じ山への三つの登山ルート**なのだと考えるとよい。見晴らしのよい近道(因数分解)が使えるときはそれを使い、使えないときは確実な本道(平方完成、あるいはその完成形である解の公式)を使う。どの道を通っても山頂(正しい解)は一つに定まる——この「道は違っても答えは一致する」という保証こそ、代数という体系が持つ強さの証である。
### 判別式が負になる場合 — 実数解を持たない二次方程式
すべての二次方程式が、これまで見てきたようにきれいな実数解を持つとは限らない。たとえば `x² + 2x + 5 = 0` を考えてみよう。ここでは `a = 1`、`b = 2`、`c = 5` である。
**検算6**: 判別式を計算すると `b² - 4ac = 2² - 4 × 1 × 5 = 4 - 20 = -16`。判別式が負(-16)になった。解の公式に当てはめようとすると `x = ( -2 ± √(-16) ) / 2` となるが、負の数の平方根は、私たちがここまで扱ってきた実数(じっすう、水準三: 数直線上に位置を持つ、通常の意味での数)の範囲には存在しない。
このことは「解がない」ということではなく、「実数の範囲には解がない」ということを意味する。判別式が負になる二次方程式の解は、**複素数(ふくそすう、水準四: 実数に加えて、2乗すると負になる新しい数 `i` を組み合わせて作られる、拡張された数の体系)**という、実数をさらに拡張した数の世界に存在する。複素数そのものの体系立った扱いは、本冊の範囲を超えるため、ここでは「判別式の符号によって、答えの住む世界(実数の中か、複素数まで広げた先か)が変わる」という見晴らしだけを示し、深入りしないでおく。ここで重要なのは、判別式という一つの数(`b² - 4ac`)を計算するだけで、実際に方程式を解き切る前から「どんな種類の答えが待っているか」を先読みできる、という判別式の便利さそのものである。
---
## 第四章: 「未知の数に名前を付ける」発想の歴史(水準一〜四)
### ディオファントス — 記号の萌芽(3世紀ごろ)
代数の歴史をたどると、まず出会うのが古代ギリシャの数学者**ディオファントス(Diophantus、3世紀ごろに活動したとされる、アレクサンドリアの数学者)**である。彼の著作『算術(アリトメティカ)』には、未知の数を求める問題と、それを解くための手順が数多く記されている。ただし、ディオファントスが使っていた表記は、現在私たちが使う `x` のような一般的な文字記号とは異なり、特定の省略記号だったとされる。それでも「未知の数を一時的に一つの記号で表し、その記号を使って式を操作する」という発想の萌芽(ほうが、水準一: ものごとの兆し・初期の芽生え)が、すでにここに現れていた。この功績から、ディオファントスは「代数学の父」の一人として紹介されることが多い(ただし、代数的な発想の起源をめぐっては、古代バビロニアや古代エジプトにまでさかのぼる議論もあり、「誰が最初か」を一意に断定するのは難しいことは正直に述べておく)。
### アル=フワーリズミー — 「アル=ジャブル」という語源(9世紀)
代数(algebra)という言葉そのものの語源には、→BOOK-0066『アルゴリズムとデータ構造』第1巻でも触れた9世紀の数学者**アル=フワーリズミー(al-Khwarizmi、諸説あるが780年ごろ - 850年ごろ)**が関わっている。彼はバグダードで著した書物の中で、方程式を解くための体系的な手順をまとめた。その書物の題名に含まれる**「アル=ジャブル(al-jabr)」**という言葉——「(方程式の負の項を)移動して補う、元に戻す」といった意味合いを持つ言葉だとされる——が、ラテン語を経由してヨーロッパに伝わる過程で「algebra」という単語に姿を変えていった、というのが広く紹介されている語源説である。
面白いのは、まさに本冊第二章で見た「移項」という操作こそが、この「アル=ジャブル」という語の指す作業に近い、とされている点だ。「天秤の釣り合いを保ちながら項を移動する」という代数の基本操作が、そのままこの学問の名前の由来になった、というのは象徴的な符合である。ただし、語源の細部(どの版の写本にどう記されているか等)については研究者によって説明の重点が異なることがあり、本書では大枠のみを採用し、細部は諸説あることを明記しておく。
### タルタリアとカルダノ — 三次方程式をめぐる論争(16世紀)
一次方程式・二次方程式の解法が整理されたのち、数学者たちの関心は三次方程式(`x³` を含む方程式)に向かった。16世紀イタリアで、この問題に決定的な進展をもたらしたのが**タルタリア(Niccolò Tartaglia、1499年ごろ - 1557年、イタリアの数学者)**と**カルダノ(Gerolamo Cardano、1501年 - 1576年、イタリアの数学者・医師)**である。
タルタリアは三次方程式の解法を独自に発見していたが、当時の数学者の慣習として、その方法を秘密にしていた。カルダノはタルタリアに解法を教えてほしいと頼み込み、他言しないという約束のもとに解法を教わったとされる。ところがカルダノは後に、その解法を自著『アルス・マグナ(大いなる技法)』(1545年刊)の中で公表してしまった。これに対しタルタリアは激しく抗議し、二人の間には先取権(せんこうけん、水準三: ある発見や発明を最初に成し遂げた者としての権利)をめぐる論争が起きた。
この論争の詳細——カルダノがどこまで独自に発展させたのか、約束をどの程度破ったと言えるのかといった細部——については、現在でも評価が分かれる部分があり、本書では「解法の発見と公表をめぐって深刻な論争が起きたこと」自体は確かな史実として述べるが、どちらの言い分がどこまで正当だったかという価値判断は保留し、**未確定**として扱う。この論争は、代数という学問が「誰のものか」をめぐる人間くさいドラマを伴いながら発展してきたことを物語る一幕である。
### ヴィエトとデカルト — 記号化の完成(16〜17世紀)
三次方程式の論争と並行して、代数のもう一つの大きな革新が進んでいた。それが**記号化**である。フランスの数学者**ヴィエト(François Viète、1540年 - 1603年)**は、未知数だけでなく、既知の数(定数)にも文字を割り当てて式を書く方法を体系的に整備した人物として知られる。これにより、特定の数値の問題を解くだけでなく、「どんな数を当てはめても成り立つ、一般的な関係」を式として書き表せるようになった。
さらに、フランスの哲学者・数学者**デカルト(René Descartes、1596年 - 1650年)**が、現在私たちが当たり前のように使っている表記——未知数には `x, y, z` のようなアルファベットの後ろの方の文字を、既知の定数には `a, b, c` のような前の方の文字を使う、という慣習——を定着させたとされる。デカルトはまた、代数の式と幾何学の図形を座標(→BOOK-0025『幾何学』第1冊で扱った、位置を数の組で表す仕組み)を通じて結びつける「解析幾何学」の創始者としても知られる。「未知の数に文字で名前を付ける」という発想が、ヴィエトとデカルトの手によって、現代の私たちが教科書で見るのとほぼ同じ姿の記号体系にまで磨き上げられたのである。
### アーベル — 「五次方程式には代数的な一般解がない」という衝撃(1824年)
二次方程式には解の公式があった。三次方程式・四次方程式にも(タルタリアやカルダノ、そして他の数学者たちの努力により)解の公式が発見されている。当然、次の問いは「では五次方程式にも解の公式があるはずだ」というものだった。
ところが、ノルウェーの数学者**アーベル(Niels Henrik Abel、1802年 - 1829年)**は、**1824年**、驚くべき結果を証明した。五次以上の一般の方程式には、四則演算とべき根(平方根・立方根など)だけを使った「代数的な一般解の公式」は存在しない、という事実である。これは「まだ誰も解の公式を見つけていない」という単なる未解決問題ではなく、「そもそもそのような公式は原理的に存在しえない」という、はるかに強い主張だった。二次・三次・四次まで順調に見つかってきた解の公式の行列が、五次でぴたりと途切れる——この事実は当時の数学界に大きな衝撃を与えた。
### ガロア — 群論という新しい大陸への入口(1830年代)
アーベルの結果を受けて、「なぜ五次方程式には一般解の公式が存在しないのか」という理由そのものを明らかにしたのが、フランスの数学者**ガロア(Évariste Galois、1811年 - 1832年)**である。ガロアは、方程式の解たちが持つ「対称性」の構造そのものを調べるという、まったく新しい視点を持ち込んだ。この「対称性の構造」を調べる数学の分野が、現在**群論(ぐんろん、水準五: ものの集まりに対して定義された演算が持つ対称性の構造を調べる、代数学の一分野)**と呼ばれているものであり、ガロアの仕事はその出発点の一つとされている。
ガロアの生涯については、伝記的な事実として、彼が**1832年、決闘によって20歳という若さで命を落とした**ことが広く知られている。決闘の理由や経緯については諸説あり、政治的な対立や個人的な事情が絡んでいたと言われるが、細部を断定することは避け、「決闘で若くして亡くなった」という事実自体のみを確実な記録として述べるにとどめる。決闘の前夜、ガロアは自らの数学的な着想を手紙にまとめて残したという逸話がしばしば紹介されるが、この逸話の正確な細部についても研究者の間で議論があり、**未確定**な部分を含むことを明記しておく。
群論という新しい大陸そのものの探検——対称性の構造がどのように定義され、どのような性質を持つのか——は、本冊の範囲を超える。本冊では「二次方程式まではきれいな解の公式で解けたが、次数が上がるにつれて代数はやがて『公式で解く』という発想の限界にぶつかり、その限界の理由を説明するために、方程式そのものではなく解の"対称性の構造"を調べるという、群論というまったく新しい数学が生まれた」という、扉の手前までの見晴らしだけを示し、後半の巻へ探検を引き継ぐことにする。
---
## 出口の物語 — 名前を付けた先にあるもの
本冊の旅を振り返ろう。まだ値のわからない数に `x` という名前を先に与えてしまう——この発想の転換から、一次方程式の天秤の喩え、二次方程式の三つの武器(因数分解・平方完成・解の公式)、そしてその武器が五次方程式で限界にぶつかり、群論という新しい対称性の数学への扉が開かれるまでを見てきた。
冒頭で触れた「まだ見ぬ惑星に先に名前を与える」という喩えを思い出してほしい。人類は同じやり方で、まだ見ぬ数にも先に名前を与え、式という軌道計算を通じてその正体を暴いてきた。そして代数はそこで止まらず、「数そのもの」から「数の並びが作る構造」へと視野を広げ、群論・環論・体論といった抽象代数の大陸へと進んでいく。その大陸の探検は、本冊の続巻に譲ることにしよう。
---
## 補章: 検算総覧と練習問題(水準二〜三)
本冊で埋め込んだ検算を、ここで一覧にして振り返っておく。読者自身の手でもう一度なぞってみることを勧める。
1. 一次方程式 `2x + 3 = 11` → 移項と両辺を2で割る操作により `x = 4`。代入して `2×4+3=11` を確認。
2. 二次方程式 `x² - 5x + 6 = 0` の因数分解 `(x-2)(x-3)` → 展開して元の式と一致することを確認。
3. 平方完成 `x² + 6x + 5 = (x+3)² - 4` → 展開して元の式と一致することを確認。
4. 解の公式による `x² - 5x + 6 = 0` の解 `x = 2, 3`(判別式 `25-24=1`)→ 因数分解・平方完成の結果と一致することを確認。
5. 両辺に未知数がある一次方程式 `5x - 4 = 2x + 8` → `x = 4`。代入して両辺が16になることを確認。
6. 判別式が負になる例 `x² + 2x + 5 = 0` → 判別式 `4-20=-16`、実数解を持たないことを確認。
最後に、読者への小さな挑戦を残しておく。`x² - 7x + 12 = 0` を、本冊で学んだ三つの武器(因数分解・平方完成・解の公式)のすべてで解いてみてほしい。ヒント: 足して7、掛けて12になる二つの整数を探すところから始めるとよい(答えは `x = 3, 4` になるはずである — ぜひ自分の手で検算し、この一致を確かめてみてほしい)。この「自分の手を動かして、複数の道具が同じ答えに収束することを確かめる」という経験こそが、代数という学問の面白さの核心にある。
# BOOK-0067 代数 — 名前のない数に名前を付ける(数学派生 第1巻)