第185回 シーズン19 エピソード5

古代ギリシアの数学（前編）

双倉図書館にて

ユーリ「楔形文字で $\SQRT{2}$ が出てくるとは思わなかったにゃあ！」

僕「確かにそうだね……そうだ、ミルカさんやテトラちゃんを探さなくちゃ」

ユーリ「だーいじょぶだって。会えるって。 それより、あっちの部屋を見てみよーよ！　古代ギリシアのコーナーだ！」

僕「おっ、いよいよギリシアか」

ユーリ「いよいよ？」

僕「うん。ギリシアだと有名人がたくさんでてくるよね。 タレス、ピタゴラス、アリストテレス、ユークリッド、 アルキメデス、アポロニウス、ヘロン……」

ユーリ「聞いたことある」

僕「誰が出てくるのかな」

ユーリ「パネルはあそこから始まるみたい」

古代ギリシア

僕「これは時代背景の解説だね。ええと『第1回オリンピック大会は紀元前776年に開かれた……当時のギリシア数学については、 何もわかっていない……紀元前6世紀に、ようやく二人の人物、タレスとピタゴラスが現れた』だって。カール・ボイヤー『数学の歴史』より、一部修正のうえ引用、と。紀元前6世紀ということは、紀元前600年から紀元前501年の間になるね」

ユーリ「さっきまで見てたバビロニアの楔形文字は何年の話だっけ」

僕「六十進法の計算は紀元前1750年ごろの話だね」

ユーリ「バビロニアの計算が紀元前1750年で、 タレスとピタゴラスが紀元前6世紀……ってことは、千年以上違う？」

僕「そうだね。 いま僕たちはバビロニアのコーナーから古代ギリシアのコーナーにほんの数歩で移ってきたけど、 そのあいだに千年以上の時間が過ぎてることになるね」

ユーリ「ほえー……」

僕「現代から考えたら、タレスとピタゴラスは二千数百年以上前ってことだね」

ユーリ「すごーく昔なんだ……」

タレス

僕「ええと……解説の続きはこうなってる。 『二人〔タレスとピタゴラス〕の著した数学上の傑作そのものはどちらも残っていないうえ、 タレスかピタゴラスのどちらかがほんとうにそのような傑作を著したという確証もない。 かれら二人の初期数学者の業績は、 かれらの身辺に生まれたあまり信用のおけない言い伝えにもとづき再編成されなければならない』 とのこと」

ユーリ「へんなの」

僕「何が？」

ユーリ「だって、古代エジプトやバビロニアのほうがずっと古いんでしょ。 それなのに、 タレスとピタゴラスの書いたものが残ってないっておかしくない？」

僕「確かに……いや、でも、名前が残ってるとはいえるね。 リンド・パピルスに残っていた名前はファラオの名前だったり、書記の名前だったり、超えらい人だったわけだよね。 タレスやピタゴラスのような一般人の名前が残っているのはすごいんじゃないかな」

ユーリ「ふむふむ」

ユーリ「当時の記録がないのに、タレスの業績だって何で言えるの？」

僕「解説があるよ。『タレスから千年後、エウデモスが書いた数学史があり……』」

ユーリ「ははーん。タレス当時の記録はないけど、千年後の記録はあったってことかー」

僕「『……ただし、その数学史は紛失してしまった』」

ユーリ「なくなったんかいっ！　おーい、なくすなよー」

僕「『しかし、紛失前に誰かがその数学史の一部を要約しており……』」

ユーリ「よかった。一部分でも残ってたんだー」

僕「『……ただし、その要約の原本も紛失してしまった』」

ユーリ「また、なくなったんかいっ！　おーい、しっかりしてくれよー」

僕「『しかし、5世紀にプロクロスが『ユークリッド原論第1巻の注釈』に要約の内容を組み込んでいた』とのこと」

ユーリ「なにそれー。ギリギリでバトンを渡してるみたい！　あっぶなー」

僕「スリリングだね。ここまでの解説はボイヤー『数学の歴史』から一部修正」

ユーリ「こっちにもタレスの話があるみたい」

僕「おもしろいなあ」

ユーリ「その気になれば……」

ピタゴラス

僕「パネルにも書いてあったけど、 タレスとピタゴラスはどちらもエジプトとバビロニアを旅し、当時の学問を学んだって。 ピタゴラスがタレスの弟子であったという説もあるけれど、 これも、正しいところはよくわからないと」

ユーリ「わかんないことばっかり」

僕「ピタゴラスは最終的に当時ギリシアの植民地であったイタリアのクロトンに落ち着いてピタゴラス派という集団を作った、と。 これは哲学的・宗教的な団体だったそうだ」

ユーリ「へー」

僕「現在、ピタゴラス個人に帰されてる業績も、 実際にはピタゴラス派の人たちによってまとめられたものである可能性が高い。 でも、ピタゴラス派の書いたものは残っていない。 ピタゴラス派の主張は、後の時代の研究によって推測されたもの、と」

ユーリ「またですか。残ってないもの多いね」

僕「『哲学』や『数学』という言葉を作ったのはピタゴラス派だといわれている。 哲学は《知を愛すること》という意味で、数学は《学ぶべきこと》という意味」

ユーリ「かっこいい！」

僕「ピタゴラス派の考えの底には《万物は数である》というものがある」

ユーリ「ばんぶつ？」

僕「すべては数である、という意味だね。いろんなものが数から生まれてくるということかなあ」

ユーリ「歴史、飽きてきた。クイズに行こーよ」

僕「これは、わかる？」

ユーリ「あー、これ解いたことある」

僕「覚えてるんだ」

ユーリ「階差数列を考えるんじゃなかったっけ。 $1,3,6,10,15,\ldots$ の階差数列は、 $2,3,4,5,\ldots$ でしょ？」

ユーリ「だから結局、 $n$ 番目の三角数ってゆーのは、 $1$ から $n$ まで足した数ってこと」

僕「それで？」

ユーリ「頭と尻尾を足して二で割るんじゃなかったっけ？　だから、 $\frac{n(n+1)}{2}$ だ！」

僕「正解だね」

ユーリ「あっ、クイズの後半、解くの忘れてたじゃんかー！ 《それを図形を使って証明できますか》のほう、考えてなかった！」

僕「ほんとだね。失敗失敗」

ユーリ「もー！」

僕「決まったパターンの数が、三角形という形を生み出しているとも考えられるんだね。なるほど」

ユーリ「何がなるほど？」

僕「ピタゴラス派の《万物は数である》ということにつながるなと思ったんだよ。 数が形を生み出している……」

ユーリ「うーん、そっかなー。コジツケっぽくない？」

素数と直線

僕「次のパネルもクイズだよ」

ユーリ「素数……」

僕「素数っていうのは《$2$ 以上の整数で、 $1$ とその数自身でしか割り切れない数》のことだよ。 $2,3,5,7,11,13,17,\ldots$」

ユーリ「お兄ちゃん、ユーリは素数のてーぎくらい、知ってるよ！」

僕「それはそれは」

ユーリ「素数って直線？　何で直線？　素数じゃないと曲線なの？」

僕「あ、わかった。ちょうほ……」

ユーリ「ストーップ！　考えてるときにしゃべらないで！」

僕「はいはい」

ユーリ「……わかんない。ヒント出てこないかにゃあ（ちらっちらっ）」

僕「ヒントは、長方形に並べてみると……」