はじめに — 宇宙人へ送る最初の挨拶
もし遠い星に住む知的な存在へメッセージを送るなら、最初の一言に何を送るべきでしょうか。日本語も英語も彼らには意味をなさないでしょう。詩も、音楽も、絵も、解釈が分かれるかもしれません。
二〇世紀、この問いを真剣に考えた科学者たちは一つの答えにたどり着きました。数学を送ろう、というものです。二足す二は四という事実、素数の一覧、円の周と直径の比。こうしたものは地球でもアンドロメダでも同じはずだ、と彼らは信じました。私たちが自然数を発明したのではなく発見したのなら、宇宙のどこに住む誰であれ、同じものを発見したはずだからです。
数学のもっとも神秘的な点がここにあります。数学は人間の言語の一つのように見えながら、どこか人間より先に存在していたかのように感じられます。この文章では数学が宿すいくつかの美しさをともに歩いてみます。素数の神秘から始まり、無限のいくつもの大きさを過ぎ、もっとも美しいと呼ばれる一行の等式へ。そして最後には古い問いと向き合うことになります。数学は発見か、発明か。
本題に入る前に、これから歩く風景の地図を一枚ひろげてみます。数学の美しさはある一つの時代に完成したのではなく、何千年もかけていくつもの文明が一片ずつ加えながら育ててきたものです。以下は、この文章で出会う人物や発想が歴史のどのあたりに置かれるかを、ごく粗く描いた年表です。
[数学の美しさ — 粗い年表]
紀元前約300年 ユークリッド 素数の無限性を証明
紀元前約250年 エラトステネス 素数をふるい分ける方法を考案
一三世紀 フィボナッチ ウサギの問題から数列を紹介
一七世紀 デカルト・フェルマ 座標と幾何をつなぐ
一八世紀 オイラー もっとも美しい等式を残す
一九世紀 ガウス・リーマン 非ユークリッド幾何の扉を開く
一九世紀末 カントール 無限に大きさがあることを証明
二〇世紀 現代数学 未解決問題と応用へ広がる
この年表が示すのは、数学が一人の頭から一気に湧き出たのではなく、長い対話のように続いてきたという事実です。ユークリッドが投げた問いに二千年後の数学者が答え、その答えがまた新しい問いを生みます。では、その対話の最初の場面、素数の世界へ入ってみましょう。
第一部 素数 — 数の原子たち
これ以上分けられない数
2、3、5、7、11、13…これらの数には共通点があります。1と自分自身でしか割り切れず、ほかのどんな数できれいに割り切ることもできません。こうした数を素数と呼びます。逆に4は2かける2に、6は2かける3に分かれます。
素数が特別なのは、すべての自然数の材料になるからです。どんな自然数も、素数の積としてただ一通りに分けられます。12は2かける2かける3です。ほかのやり方はありません。だから素数はよく「数の原子」と呼ばれます。物質を分けて分けていけば原子にたどり着くように、数を掛け算の観点で分けて分けていけば素数にたどり着きます。
終わりがないことの優雅な証明
素数は無限に多いのでしょうか、それともどこかで終わるのでしょうか。この問いへの答えは二千年以上も前に出ました。古代ギリシアの数学者ユークリッドが残した証明は、今日でも数学の美しさを語るときに真っ先に挙げられる宝石です。
彼の論証はこう進みます。もし素数が有限なら、それらをすべて集めて並べられるはずです。さて、そのすべての素数を掛け合わせ、さらに1を足した新しい数を考えてみます。この新しい数は、私たちの持つどの素数で割っても、つねに1が余ります。とすれば、この数はそれ自身が素数であるか、一覧にない別の素数を約数として持たねばなりません。どちらにせよ「すべての素数を集めた」という仮定と矛盾します。したがって素数に終わりはありません。
この証明の美しさは単純さにあります。黒板の隅に書ききれる短い論証が、「無限」という巨大な事実を手のなかに渡してくれるのです。数学者はこの種の論証を「背理法」、つまり反対を仮定して矛盾を引き出す方法と呼びます。
[ユークリッドの論証の骨格]
仮定: 素数は有限 → p1, p2, ..., pn がすべて
新しい数 N = (p1 × p2 × ... × pn) + 1
N をどの pi で割っても余り 1
→ N は新しい素数か、新しい素数を約数に持つ
→ 「すべて集めた」という仮定と矛盾
結論: 素数は無限に多い
素数をふるい分ける
素数が無限に多いことは分かりましたが、ではどの数が素数なのかをどう見分ければよいのでしょうか。もっとも古く直観的な方法は、ユークリッドとほぼ同じ時代を生きたエラトステネスが考案した「ふるい」です。やり方は手でなぞれるほど簡単です。まず2からある数までを書き並べます。次にもっとも小さい素数である2を残し、2の倍数をすべて消します。続いて生き残ったもっとも小さい数3を残し、3の倍数を消します。こうして順にふるっていくと、最後まで消されずに残った数こそが素数です。
[エラトステネスのふるい — 2から20まで]
最初: 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
2の倍数を消す → 4 6 8 10 12 14 16 18 20 が消える
3の倍数を消す → 9 15 が消える
5の倍数を消す → すでに消えている
生き残り: 2 3 5 7 11 13 17 19
この単純な手続きが興味深いのは、掛け算という「つくる」演算だけを使って、素数という「これ以上つくれない」数を逆に見つけ出す点にあります。何がつくれないかを通して、何がもっとも基本かを浮かびあがらせるのです。
いまも解けない謎
興味深いことに、素数は二千年以上の研究をもってしても、まだ秘密のすべてを明け渡してはいません。素数は数直線の上で不規則に散らばって見えますが、その分布には奇妙な規則性も隠れています。「双子素数」、すなわち11と13のように2だけ離れた素数の組が無限に多いのかどうかは、まだ誰も確かには分かりません。単純に見える問いが何百年も未解決のまま残っているという事実そのものが、素数の深さを物語ります。一方で、この扱いにくい性質は今日のインターネットの安全や暗号技術の土台にもなっています。
未解決のまま残る素数の謎は双子素数だけではありません。いくつかをさらにのぞくと、もっとも単純な問いがもっとも深い淵へ続くことを実感します。
- **ゴールドバッハ予想**: 2より大きいすべての偶数は、二つの素数の和として書けるという予想です。4は2足す2、10は3足す7、100は3足す97。数えきれない偶数で確かめられていますが、すべての偶数で正しいという証明はまだありません。
- **素数の分布**: 大きな数になるほど素数はしだいにまばらになります。そのまばらになる速さには驚くほど正確な規則があり、その規則のもっとも深い秘密は一九世紀の数学者リーマンが投げた一つの予想に触れていて、これは今日の数学でもっとも有名な未解決問題に数えられます。
- **素数の砂漠**: 素数が一つもないまま長く続く区間を、いくらでも長くつくれることが証明されています。つまり素数はどこでも密でも、どこでもまばらでもありません。
このように素数は、もっとも身近な数でありながら、もっとも見知らぬ数でもあります。小学生でも定義は理解できますが、人類最高の数学者たちも、その深いところでは今なお道を探しています。
第二部 無限 — 数えられる無限と数えられない無限
無限にも大きさがあるのか
「無限」という言葉を聞くと、私たちはよく「果てしなく大きな一つ」を思い浮かべます。ところが一九世紀後半、ドイツの数学者ゲオルク・カントールは衝撃的な考えを示しました。無限にも互いに異なる大きさがある、というのです。
まず数えられる無限を見ましょう。自然数1、2、3、…は無限に多いです。偶数2、4、6、…も無限に多いです。一見、偶数は自然数の半分のようですが、カントールは両者を一対一に対応づけられることを示しました。1は2と、2は4と、3は6と…こうして漏れなく対が合います。対が完璧に合えば、二つの集合の大きさは同じです。部分が全体と同じ大きさでありうるというこの逆説が、無限の最初の驚きです。
無限ホテルという思考実験
この逆説をより生き生きと示す有名な話があります。部屋が無限に多いホテルを想像してみます。一号室、二号室、三号室…と果てしなく続き、そのすべての部屋が客で満ちています。ふつうのホテルなら空室がないので、もう客を受け入れられません。ところがこの無限ホテルは違います。
新しい客が一人到着したとしましょう。支配人はすべての客に、一つ隣の部屋へ移ってほしいと頼みます。一号室の客は二号室へ、二号室の客は三号室へ、こうして全員が次の番号の部屋へ移ります。すると一号室が空き、新しい客がそこに入ります。満室のホテルが新しい客を受け入れたのです。一人ではなく無限に多い新しい客が来ても、似た方法で席を用意できます。
[無限ホテル — 新しい客を一人受け入れる]
最初: 1→客A 2→客B 3→客C ...
依頼: 各客は (自分の部屋番号 + 1) の部屋へ移る
結果: 1→空き 2→客A 3→客B ...
新しい客が一号室へ入る
この話が滑稽に感じられるなら、それこそ無限が私たちの日常的な直観からどれほど離れているかの合図です。有限の世界で「満室」とは「もう受け入れられない」という意味ですが、無限の世界ではそうではありません。無限を扱うとは、こうした慣れ親しんだ常識をひととき脇に置き、定義と論理だけを信じてついていくことなのです。
より大きな無限
では、すべての無限は同じ大きさでしょうか。ここでカントールの真の天才が輝きます。彼は、0と1のあいだの実数、すなわち0.1、0.1415…、0.333…といったすべての小数を自然数と対応づけようとする試みが必ず失敗することを証明しました。
彼の論証は「対角線論法」と呼ばれます。誰かが0と1のあいだのすべての実数を漏れなく一覧に書いたと主張したとしましょう。カントールはその一覧の一番目の数の一桁目、二番目の数の二桁目、三番目の数の三桁目…と対角線に下りながら、各桁をわざと別の数字に変えた新しい数をつくります。この新しい数は、一覧のどの数とも少なくとも一桁で異なります。したがって一覧にはありません。「すべて書いた」という主張は崩れます。
結論は驚くべきものです。実数の無限は自然数の無限より「大きい」のです。無限にも階層があります。カントールのこの発見は当初激しい反発を招きましたが、今日では現代数学の土台の一つとして根を下ろしています。
[対角線論法の直観]
主張された一覧:
1番: 0. (a) b c d ...
2番: 0. e (f) g h ...
3番: 0. i j (k) l ...
...
対角線の数字 (a, f, k, ...) をすべて別の値に変えると
→ 一覧のどの行とも異なる新しい数ができる
→ ゆえに一覧は決して完全ではない
第三部 数学の言葉 — 記号はどう生まれたか
数学が今日のように簡潔で力強くなった背後には、一つの隠れた立役者がいます。記号です。今日の私たちは足す、引く、等しいといった記号を当たり前のように使いますが、これらはみな誰かがある時点で発明したものです。それ以前の数学者たちは、私たちが一行で書く式を長い文章に書き下さねばなりませんでした。
たとえば「ある数に三を足すと七になる」を、昔の数学者は文字どおり文章で書きました。今ならば短い記号いくつかで終わる話です。足すと引くの記号は一五世紀ごろのヨーロッパの商人や数学者のあいだで定着し、等しいの記号は一六世紀に、ある数学者が「これ以上に等しいものはない」という意味で、長さの等しい平行な二本の線を選んで使ったことに始まると伝えられます。
[同じ意味、別の時代の書き方]
言葉で書いた時代:
「未知の数に三を足したものが七に等しい」
記号が生まれたあと:
(未知の数) + 3 = 7
→ 同じ考えだが、記号のおかげで一目で入ってくる
記号の力はただ短くする点にあるのではありません。よい記号は思考そのものを変えます。複雑な関係を一目で見えるようにし、手がほとんど自動で式を変形するのを助けます。ある哲学者はよい表記を「思考の半分を肩代わりしてくれる道具」と言いました。私たちが紙の上で式をあちこち動かしながら答えに近づくとき、じつはよく設計された記号の案内を受けているのです。
ここで先送りした問いがそっと頭をもたげます。足すの記号や等しいの記号は明らかに人間の発明品です。けれども、その記号が指し示す「足す」「等しい」という関係そのものも発明でしょうか、それとも発見でしょうか。記号とそれが指すものとのあいだのこの微妙な距離こそ、文章の終わりで出会う大きな問いの小さな予告編です。
第四部 黄金比とフィボナッチ — 自然のなかの数
ウサギから始まった数列
一三世紀イタリアの数学者レオナルド・フィボナッチは、ウサギの繁殖を単純化した問題を扱うなかで一つの数列を紹介しました。1、1、2、3、5、8、13、21、34…規則は単純です。直前の二つの数を足すと次の数になります。1足す1は2、2足す1は3、3足す2は5。
この数列の魔法は隣りあう二つの数の比に現れます。数列を下りながら大きな数をその前の数で割ると、その比がしだいにある特定の値へ近づきます。およそ1.618…という数で、これを黄金比と呼びます。
美の比率?
黄金比は長らく芸術や建築で「調和のとれた比率」として語られてきました。ただしここでバランスのとれた態度が必要です。古代の建築や名画が意図的に黄金比で設計されたという主張の多くは、後世にあてはめた解釈や誇張である場合が少なくありません。黄金比が美的にとくに優れているということも、科学的に断定するのは難しいのです。
しかし自然のなかでフィボナッチ数がしばしば現れるのは確かな事実です。ヒマワリの種の螺旋、松ぼっくりの鱗、ある植物の葉が茎に並ぶ角度などにフィボナッチ数が観察されます。これは神秘的な偶然というより、種や葉をできるだけ隙間なく配置しようとする成長の過程で自然に浮かびあがる効率的な解だ、という説明が説得力を得ています。自然は美を求めたのではなく効率を求め、その結果が私たちの美しいと感じる模様になったのかもしれません。
| 概念 | 定義 | 興味深い点 |
| --- | --- | --- |
| フィボナッチ数列 | 前の二つの数を足してつくる数列 | 自然の螺旋によく観察される |
| 黄金比 | およそ1.618の比率 | 隣りあうフィボナッチ数の比が収束する |
| 螺旋配置 | 葉・種の効率的な配置 | 空間を隙間なく満たす解 |
第五部 幾何学 — 発見と発明のあいだの試験場
平行線から始まった疑い
数学は発見か発明かという問いを、もっとも劇的に見せた舞台が幾何学です。ユークリッドは幾何学を、いくつかの明白に見える出発点、すなわち公理の上に築きました。その大半は、誰も疑わないほど自明に見えました。二点を結ぶ直線は一つだけだ、というように。
ところがただ一つ、「平行線公理」と呼ばれる命題は、どこかほかのものより複雑で、自明さに欠けて見えました。大ざっぱに言えば、ある直線の外の一点を通り、その直線と決して交わらない直線はちょうど一つだけだ、という内容です。多くの数学者が二千年のあいだ、この公理をより単純なものから導こうと苦心しました。しかしみな失敗しました。
別の幾何が可能だという発見
一九世紀になって、何人かの数学者が大胆な試みをしました。平行線公理をわざと変えてみたらどうなるか。もし矛盾が飛び出すなら、もとの公理が正しいという間接的な証明になるはずです。ところが驚いたことに、矛盾は出ませんでした。代わりに、完全に一貫しながらも私たちには見慣れない新しい幾何学があらわれました。
こうした幾何学を非ユークリッド幾何学と呼びます。その世界では三角形の三つの角の和が180度でないこともあり、平行線がいくつもあったり、まったくなかったりします。はじめは純粋に抽象的な好奇心の産物のように見えました。ところがずっとのち、アインシュタインが重力を説明し、宇宙の空間そのものが曲がっているという絵を示したとき、まさにこの非ユークリッド幾何学がその言葉となったのです。
ここで発見と発明の緊張が鮮やかになります。平行線公理を変えるという決定は、明らかに人間の自由な選択、すなわち発明のように見えます。しかしそうしてつくった新しい幾何が一貫しているかどうかは、人間が決められません。それは発見されるべき事実です。さらに、その抽象的な幾何が実際の宇宙の形と合うという事実は、誰も意図しなかった発見でした。幾何学は、発明の自由と発見の必然が一つの場で出会う試験場なのです。
[一つの点、いくつもの幾何]
ユークリッド: 平行線がちょうど一つ → 平らな面
双曲幾何: 平行線がいくつも → 鞍のように曲がった面
楕円幾何: 平行線がない → 球のように丸い面
三つともに内部の矛盾がない
第六部 確率 — 直観がもっとも欺かれる場所
数学の美しさは、いつも優雅な等式や巨大な無限にだけあるのではありません。ときにそれは、私たちの直観がいかにたやすく外れるかを暴く、すこし意地悪な形でやってきます。確率はまさにそういう分野です。
誕生日が重なる確率
一つ問いを投げてみます。一つの部屋に何人ほど集まれば、そのうち二人の誕生日が同じになる可能性が半分を超えるでしょうか。一年は365日なので、直観的にはかなり多くの人が必要に思えます。100人? 180人? ところが実際の答えは23人です。たった23人集まれば、誕生日が重なる二人がいる確率が半分を超えます。
直観が外れる理由は、私たちが何気なく「自分と同じ誕生日の人」を思い浮かべるからです。けれども問いが尋ねているのは「誰でも二人」の誕生日が重なる可能性です。23人いれば、二人を組にする場合の数はなんと253通りにもなります。組の数がこれほど速く増えるので、そのうち少なくとも一組が重なる確率は、私たちが感じるよりはるかに速く大きくなります。
[誕生日問題 — 直観と計算]
直観: 「365日もあるから多くの人が必要だろう」
計算: 23人 → 重なる確率 約50%
50人 → 重なる確率 約97%
鍵: 「自分と同じ日」ではなく「任意の二人」
23人のあいだの組 = 253通り
直観と証明の距離
誕生日問題が教える教訓は単純です。感覚は出発点にすぎず、結論にはなれないということです。確率の世界では、私たちの本能はしばしば道に迷います。ばくち打ちが「今度こそ出る番だ」と信じることも、まれな出来事が一度起きると大きな意味を与えてしまうことも、すべてこのずれの例です。数学が美しい一つの理由は、まさにこの地点で、冷たい計算が熱い直観を正してくれるところにあります。そしてその訂正の結果がしばしば直観より驚きに満ちている、それもまた一つの美しさです。
第七部 オイラーの等式 — もっとも美しい一行
数学者に「もっとも美しい式」を挙げよと言うと、しばしば登場するのが、一八世紀の偉大な数学者レオンハルト・オイラーの名を冠した一行の等式です。この文章は数式を枠のなかに記す規則に従うので、その姿を以下に慎重に写してみます。
オイラーの等式 (言葉で書き下した形)
e の (i かける パイ) 乗に 1 を足すと 0 になる。
ここで
e : 自然対数の底、約 2.718 (成長・複利の数)
i : 二乗すると -1 になる虚数単位
パイ : 円周率、約 3.14159 (円の数)
1, 0 : 算術の出発点となる二つの数
この一行がなぜそれほど称えられるのでしょうか。まったく異なる世界で生まれた五つの基本定数が、まるで約束したかのように一つの式のなかで出会うからです。e は成長と複利の世界から、パイ は円と幾何の世界から、i は想像上の数から、そして0と1はもっとも基礎的な算術から来ます。それらがただ一行のなかで、ちょうど0という結果でかみ合うという事実は、多くの数学者に、宇宙が何か深い秩序で織られているという感覚を与えます。
もちろん「美しい」という感覚は主観的です。けれども、これほど遠く離れた概念が思いがけず結びつく瞬間に、数学者が共通して経験する一種の震えがあります。それは新しい風景を見つけた登山家の感情にも似ています。
第八部 ピタゴラスの定理 — 目で見る証明
数学の美しさを語るうえで、ピタゴラスの定理を欠かすことはできません。直角三角形において、斜辺を一辺とする正方形の面積は、ほかの二辺をそれぞれ一辺とする二つの正方形の面積を足したものに等しい。この一文は二千五百年を超えるあいだ数えきれない人を魅了し、知られている証明だけで数百種類にのぼります。
この定理がとりわけ愛される理由の一つは、言葉や記号ではなく、図だけでその真実を感じられる点にあります。同じ大きさの正方形を二つ用意し、そのなかに同じ直角三角形を四つ、別々のやり方で置いてみます。一方では三角形が残した空きが斜辺の上の正方形一つになり、もう一方では二辺の上の二つの正方形になります。大きな正方形も同じで、なかの三角形四つも同じなので、残った空きの面積も同じはずです。こうして言葉なく、ほとんど手ぶりだけで証明が終わります。
[ピースを並べ替える証明の直観]
同じ大きさの大きな正方形を二つ用意
それぞれに同じ直角三角形を四つ、別々に配置
配置A: 空き = 斜辺の上の正方形ひとつ
配置B: 空き = 二辺の上の正方形ふたつ
大きな正方形も同じ、三角形四つも同じなので
→ 空きの面積も等しい
→ 斜辺の二乗 = 二辺の二乗の和
言葉のない図が、きびしい論証と同じ確信を与えうるという事実は、証明が必ずしも記号の行列である必要はないことを思い出させます。よい図はそれ自体が一つの論証になりえます。さらに興味深いのは、この単純な定理が、さきほど出会った距離や座標、そして空間が曲がっていうるという非ユークリッド幾何の出発点とも深くつながっていることです。もっとも見慣れた直角三角形ひとつが、宇宙の形を問う問いへとつながっていきます。
第九部 対称 — 変えても変わらないもの
数学者が美しさを感じるもう一つの場所が対称です。対称といえば、ふつうは左右がそろった蝶の羽や雪の結晶を思い浮かべます。けれども数学での対称はより広い意味をもちます。ある対象に何か変化を加えても本質がそのままであるとき、私たちはそこに対称があると言います。
正方形を考えてみましょう。90度回しても、180度回しても、鏡に映すように裏返しても、正方形は最初とまったく同じに見えます。こうした「形をそのままにする変化」を集めてみると、それらが互いによく組み合わさった仕組みをつくることが分かります。二つの変化を続けて行った結果も、やはり形をそのままにする変化であり、どの変化にもそれを元に戻す相棒があります。こうして変化がつくる構造を、数学では群と呼びます。
[正方形をそのままにする変化たち]
回転: 0度、90度、180度、270度
裏返し: 横軸・縦軸・二つの対角線を基準
これらの変化をつなげても
→ やはり正方形をそのままにする変化になる
→ 変化たちは閉じた一つの構造(群)をつくる
この発想が強力なのは、対称の言葉が数学を超えて自然のもっとも深い法則にまで伸びていくからです。物理学では、ある対称があるたびに、それに対応する保存則がついてくることが知られています。時間をずらしても物理法則が変わらないという対称からエネルギー保存が、空間をずらしても変わらないという対称から運動量保存が出てきます。結晶の規則正しい配列、粒子の分類、さらには宇宙の基本的な力を理解することまで、その土台には「変えても変わらないもの」を探す対称の数学が敷かれています。美しく見えるものが同時にもっとも根本的でもあるという点で、対称は数学的な美しさの一つの頂です。
第十部 証明の美しさ — 疑いえない真理
数学がほかの学問と決定的に違う点は証明にあります。科学は実験と観察で仮説を支えますが、新しい証拠が出れば結論は変わりうります。けれども一度きびしく証明された数学の定理は、適切な前提のもとで永遠に真です。ピタゴラスの定理は二千年たってもなお真であり、一万年後も真でしょう。
よい証明には美学があります。同じ定理でも長く複雑な証明があれば、一目で核心を見せる短く優雅な証明もあります。数学者は後者をよく「あの本から出た証明」と冗談めかして言います。まるでどこかにもっとも完璧な証明だけを集めた理想の本があり、運のよい数学者がその一ページをのぞき見たかのように。
証明の美しさはただ短さにあるのではありません。まったく関係なく見えた二つの概念をつないだり、複雑な問題を突然単純な視点に変えて解いたりするところにあります。よい証明を読んだあとの感覚は、よくできた推理小説の最後の章を閉じるときの「ああ、そういうことだったのか」という爽快さに似ています。
第十一部 数学は発見か発明か
いま私たちは、はじめに先送りした大きな問いの前に立っています。数学は人間がつくり出したものでしょうか、それとももとから存在していたものを人間が発見したのでしょうか。この問いに定まった正解はなく、哲学者と数学者が長く議論してきた主題です。両方の視点を公正に見てみましょう。
- **発見だという視点(プラトニズム)**: 素数は人間がいる前から素数であり、円周率は誰が計算しても同じ値です。数学的真理は私たちの心の外に、未知の大陸のように存在し、数学者はそれを探検する者だという見方です。「宇宙は数学の言葉で書かれている」という表現がこの立場に似合います。
- **発明だという視点**: 数学は人間が世界を扱うためにつくった精巧な言語であり規則の体系だという見方です。私たちが公理(出発点となる約束)を定め、そこから結果を引き出すのだから、数学はチェスの規則のように人間の創作物に近いというのです。
- **その中間の視点**: 基本概念は発見に近いが、それを表す記号と体系は発明に近いと見る折衷的な見方もあります。
興味深いのは、物理学者がしばしば直面する一つの謎です。純粋な好奇心からつくられた抽象的な数学が、数十年あるいは数百年のちに自然現象を説明するのに驚くほどぴったり合うことが多いのです。ある物理学者はこれを「数学が自然科学で見せる不合理なほどの有効性」と表現しました。なぜ人間の頭のなかの抽象が星や原子の動きと合うのか、これ自体がまだ深い謎です。
さきほど出会った幾何学の話は、この問いのよい試金石になります。非ユークリッド幾何学ははじめ、何の役にも立たない純粋な発明のように見えましたが、数十年のちに宇宙の実際の形を説明する道具として発見されました。発明が発見に変わったのでしょうか、それとも初めからそこにあったものを人間が遅れて気づいたのでしょうか。この文章はどちらかが正しいと強いることはしません。ただ、この問いを抱えて歩くだけでも、次に数を数えるとき、小さな驚きを覚えるかもしれません。
第十二部 数の広がり — 0と負の数、そして無理数
私たちはここまで自然数と素数、実数と無限を自由に行き来してきましたが、じつはこれらの数がすべて最初から人に受け入れられたわけではありません。数の歴史はそれ自体が、人間が自分の直観を一度ずつ越えながら新しい種類の数を受け入れてきた長い旅です。
最初にあったのは数えるための自然数でした。けれども「何もないこと」を一つの数として書くこと、すなわち0の発明は、驚くほど遅れてやってきました。0は単なる空白ではなく、位取りの仕組みを可能にした決定的な鍵でした。0があってはじめて、十の位と百の位を位置だけで区別できたからです。インドで位を埋める記号として整えられた0は、その後いくつもの文明を経て、世界の数の書き方を変えてしまいました。
負の数はさらに長く疑われました。「0より小さい数」という発想は、しばらくのあいだ途方もないものと見なされました。何かが何もないことより少なくありうるとは、直観に反していたからです。けれども、借金と資産、反対の方向のように負の数が自然にあてはまる場面が積み重なるにつれ、負の数はしだいに一人前の数として根を下ろしました。
[数が広がってきた道]
自然数 1, 2, 3, ... 数えることから始まる
0 何もないことを書く 位取りの鍵
負の数 0より小さい数 借金・反対の方向を担う
有理数 整数の比 割り算を閉じる
無理数 分数で書けない数 対角線の長さで発見
もっとも衝撃的な広がりは無理数でした。一辺の長さが1の正方形の対角線を考えてみます。その長さは確かに存在するのに、どんな分数でも正確に書くことができません。古代ギリシアで、すべての数は整数の比で表せると信じていた人々にとって、こうした長さの発見は世界観を揺るがす出来事でした。明らかに定規で引ける長さが、彼らの知る数の体系の外にあったのです。
この歴史が与える教訓は深いものです。数学は完成した形で与えられたのではなく、直観とぶつかるたびにその直観を磨きながら育ってきました。0も、負の数も、無理数も、はじめは「そんなものが数であるはずがない」という抵抗を受けましたが、ついには世界をより正確に記述するより広い数の体系として受け入れられました。さきほど出会った虚数 i もまた、この旅の一場面です。数の歴史は、いわば発見と発明がどのように交互に働くかを示す、もっとも長い証拠なのです。
第十三部 日常のなかの数学
数学は黒板の上だけにあるのではありません。私たちが気づかないだけで、日常のいたるところにしみこんでいます。
- 音楽の和音は単純な整数比の振動から美しく聞こえます。オクターブは振動数がちょうど二倍の関係です。
- 地図アプリがもっとも速い道を探すとき、その背後ではグラフ理論という数学が動いています。
- 写真を圧縮して小さなファイルにするとき、見えないところで数学的な変換が起きています。
- 天気予報の確率、保険料の計算、選挙結果の分析にも、統計と確率という数学が敷かれています。
- 銀行口座やメッセージを守る暗号は、さきほど見た素数の積を逆に分けるのが難しいという事実に頼っています。
- 建物や橋が崩れないように支える力の配分にも、見えない幾何と微積分が働いています。
- 推薦アルゴリズムが次の曲や次の動画を選ぶとき、その土台には巨大な行列と確率の計算があります。
数学を知るということは、複雑な公式を覚えることというより、世界をもう一枚深くのぞく眼鏡を持つことに近いのです。同じヒマワリを見ても、そのなかの螺旋を思い浮かべられ、同じ歌を聞いても、そのなかの比率を想像できるようになります。
主要な用語の整理
長い話を締めくくる前に、この文章で出会った主な概念を一か所に集めてみます。
| 用語 | 一行の定義 | この文章での登場 |
| --- | --- | --- |
| 素数 | 1と自分自身でしか割り切れない数 | 数の原子、ユークリッドの証明 |
| 背理法 | 反対を仮定して矛盾を引き出す証明 | 素数が無限であることを示すとき |
| 数えられる無限 | 自然数と一対一に対応づけられる無限 | 偶数と自然数の大きさ |
| 対角線論法 | 一覧が完全になりえないことを示す論証 | 実数がより大きな無限であることの証明 |
| 黄金比 | およそ1.618の比率 | フィボナッチ数の比が収束する |
| 非ユークリッド幾何 | 平行線公理を変えた一貫した幾何 | 発見と発明の試験場 |
| ピタゴラスの定理 | 斜辺の二乗は二辺の二乗の和 | 目で見る証明 |
| 対称(群) | 変えても本質がそのままの構造 | 自然法則と保存 |
| 無理数 | 分数で書けない数 | 正方形の対角線の長さ |
| プラトニズム | 数学を発見と見る立場 | 発見か発明かの論争 |
おわりに — 宇宙の言葉を学ぶということ
もう一度、宇宙人へ送る最初の挨拶に戻りましょう。私たちが数学を最初の一言に選んだのは、それが人間だけの約束ではなく、宇宙のどこでも通じうる共通の言葉のように見えるからでした。
素数は数の原子として揺るぎなくその場を守り、無限は一つではなくいくつもの大きさで存在し、遠く離れた定数たちは一行の等式のなかで0として出会います。平行線を一本変えると新しい幾何が開き、23人が集まると誕生日が重なるという事実は私たちの直観を揺さぶりました。これらすべてが人間の発明なのか発見なのかは、いまも開かれた問いです。けれども答えが何であれ、その風景の前で覚える驚きは減りません。
もしかすると数学のもっとも大きな美しさは、まさにこの驚く力なのかもしれません。もっとも冷たくきびしく見える学問が、同時に私たちにもっとも大きな驚きを贈るという逆説。次に星を見上げるとき、その間の距離や光の速さ、そしてそれを書き下した数たちを、一度だけ思い浮かべてみてはどうでしょうか。
そして忘れないでください。この風景はすべて、誰にでも開かれています。数学の美しさを感じるのに、難しい計算も特別な才能も要りません。ただ一度立ち止まって「なぜだろう」と問う心、見慣れたもののなかに見知らぬ秩序を見つける小さな好奇心があれば十分です。この文章がその好奇心に小さな火種を一つ残せたなら、それで十分です。
考えてみる問い
- もし別の星に知的な存在がいるなら、彼らも私たちと同じように素数を発見したでしょうか。なぜそう思いますか。
- 「部分が全体と同じ大きさでありうる」という無限の逆説を友人に説明するなら、どう言いますか。
- 満室の無限ホテルが新しい客を受け入れられるという話で、もっとも受け入れがたかったのはどの部分でしたか。
- 平行線公理を変えてつくった新しい幾何が実際の宇宙を説明するようになったことは、発見に近いでしょうか、発明に近いでしょうか。
- 誕生日問題のように、あなたの直観が計算の前で大きく外れた経験はありますか。
- 0や負の数がはじめ「数ではない」と拒まれた話を聞いて、どんなことを思いますか。
- 左右対称のように私たちが美しいと感じる対称が、同時に自然の深い法則でもあるという点は偶然でしょうか。
- あなたが見たなかで、もっとも「美しい」と感じた数や模様は何でしたか。
参考資料
- [Stanford Encyclopedia of Philosophy — Platonism in the Philosophy of Mathematics](https://plato.stanford.edu/entries/platonism-mathematics/)
- [Stanford Encyclopedia of Philosophy — The Philosophy of Mathematics](https://plato.stanford.edu/entries/philosophy-mathematics/)
- [Encyclopædia Britannica — Prime number](https://www.britannica.com/science/prime-number)
- [Encyclopædia Britannica — Georg Cantor](https://www.britannica.com/biography/Georg-Cantor)
- [Encyclopædia Britannica — Fibonacci sequence](https://www.britannica.com/science/Fibonacci-number)
- [Encyclopædia Britannica — Leonhard Euler](https://www.britannica.com/biography/Leonhard-Euler)
- [Encyclopædia Britannica — Non-Euclidean geometry](https://www.britannica.com/science/non-Euclidean-geometry)
- [Encyclopædia Britannica — Sieve of Eratosthenes](https://www.britannica.com/science/Sieve-of-Eratosthenes)
- [Encyclopædia Britannica — Birthday problem](https://www.britannica.com/science/birthday-problem)
- [Encyclopædia Britannica — Pythagorean theorem](https://www.britannica.com/science/Pythagorean-theorem)
- [Encyclopædia Britannica — Symmetry](https://www.britannica.com/science/symmetry-physics)
현재 단락 (1/196)
もし遠い星に住む知的な存在へメッセージを送るなら、最初の一言に何を送るべきでしょうか。日本語も英語も彼らには意味をなさないでしょう。詩も、音楽も、絵も、解釈が分かれるかもしれません。