数学、この大いなる流れ

上野健爾

数学という学問は大きな誤解を受けているように思われます。特に、我が国では数学が受験と関係して、数学ができる子は頭の良い子という迷信を作り上げていることも、逆に数学嫌いを増加させ、数学という学問の姿を正しく伝えることの障害となっています。

数学という学問は今から2千数百年前の古代ギリシアで誕生したと言われています。実は、実用としての数学は古代の各文明で誕生していました。古代パピロニヤ
でも、古代中国でも数学は極めて高度に発達していましたから、古代ギリシアだけに学問としての数学の誕生を帰するのは不当であるかのように思われるかもしれま
せんが、実はこれには深い理由があります。古代パピロニヤでは数学は高度に発達し、単に実用のための数学の域を越えていたようです。しかしながら、古代ギリシ
ナのように数学そのもの成り立ちを深く追求した文化はありませんでした。古代ギ
リシアの数学の成果はユークリッドの「原本」として今なお、文化史上燦然と輝いています。ほとんど自明と思われる少数の公理（約束）から出発して図形の複雑な性質を解き明かしてしていくユークリッド「原本」の議論のたてかたは、その後長い間、学問を記述する模範と考えられてきました。学問のパラダイムの変換ということがいわれますが、少数の原理や法則から現象を記述しようとする態度は今なお、学問の基本であり、真に古代ギリシアを越えたパラダイムの変換は未だ起こっていないように私には思われます。
数学という言葉について

古代ギリシアには「数学」に当たる言葉はありませんでした。プラトンの対話編を読まれた方はお気付きのことと思いますが、古代ギリシアでは、今の数学に当たる部分は、幾何学、算術、和声学、天文学などと個別の分野名で呼ばれていました。
「幾何学を知らざるものこの門をくぐるべからず」とプラトンが始めたアカデメイアの門に書かれていたという話は聞かれた方も多いでしょう。こうした様々な学科は〃α勒〃αと古代ギリシャでは言いました。この言葉の複数形は〃α勒〃α丁αと言います。ピエタゴラス教団では魂を浄化するためにいくつかの〃αβり〃αTαを学ぶ必要がありました。中世になって、mathemataのなかから和声学や天文学、論理学などが学問として独立していって残りの学科がちょうど今日の数学と同じものとなり数学の名称としてラテン語のmathematicaという言葉が誕生しました。このように、数数学，この大いなる流れ（上野健爾）

学と言う言葉にはその誕生の時から総合的な学問としての意味を持っており、他の諸学問と密接に関係していたのです。

数学は英語では皆さんご存じのようにmathematicsと言いますが、語尾のsは複数を表すsで、このことは数学という学問の名称が硯れた歴史的事情に基づいています。しかし、一方では英語のmathematicsが単数扱いされるように数学は様々な分野が有機的に一体となった学問としての性格を持っています。0ⅩfordEnglish
Dictionaryの説明の一部を以下にあげておきます。特にmathematicsの用例に興味深いものがあります。
mathematics

Originally，thecollective nameforgeometry，arithmetic，andcertainphysicalsciences（asastronomyandoptics）invoIvinggeometricalreasoning・Inmodernuseapplied，（a）inastrictsense，tOtheabstractsciencewhichinvestigatesdeductivelytheconcluTSionsimplicitintheelementaryconceptionsofspatialandnumericalrelations，andwhich
includesasitsmaindivisionsgeometry，arithmetic，andalgebra；and（b）inawidersense，SOaStOincludethosebranchesofphysicalorotherresearchwhic
COnSistin the application ofthis abstract science to concretedata．When the wordis

usedinits widersense，theabstractscienceis distinguished aspuremathematics，a
its concrete applications（e．g．in astronomy，Various branches ofphysics，the theory ofprobabilities）asappliedormixedmathematics．
In earlyusealwaysconstruedasaplural，andusuallyprecededbythe．Inrecentuse
theiscommonlyomitted，andthen．isalmostalwaysconstruedasasing．，eXC．in（theん盲タんeγmα兢emαf吏c5．

1581MulcasterPositionsv・（1887）35Whosevse［sc・OfDrawing］allmodelling，allmathematikes，allmanuariesdofindeandconfessetobetosonotoriousandsoneedefu11．

1587HolinshedHisl・Scot．461／1Alearnedmaninallphilosophie，aStrOnOmieandthe
othermathematiks．

1596Shakes．Tbm．Shr．i．i．37The Mathematickes，and theMetaphysickes

themasyoufindyourstomackeseruesyou．
Zbid・ii・i・82As cunnlngIn Greeke，Latine，and other Languages，As the otherin
Musicke and Mathematickes．

a1618RaleighMahomet（1637）142HewrotediversbookesoftheMathematiques・
1641WilkinsMath．Magicki．ii．（1648）12Mathematicks．．isusuallydividedintopure
andmixed．

1696￣7塑塾inHearneR・Bru乃e sLan9tOftPref・147Mathematicks（atthattime・・）

WereSCarCelookeduponasAcademlCalstudies．
1712BentleyCorr・（1842）II・449Mathematickswasbroughttothatheight，that［etc・］・
1726旦竺主立Guttiveri．i，Navigation，andotherPartsoftheMathematics，uSefu1tothosewhointend to travel．

1739JolmLyeBoerhaaveWks．IV．335Averyuncommonknowledgeofthemath−ematicks．

1755ManNo・35・3Mathematicsderivesitsaccuracy．・hlOmloglC．
1838DeMorganEss・，Probab・68Theapproximativemethodsofthehighermathemat一1CS．

数学，この大いなる流れ（上野健爾）

1875辿Plato（ed・2）IV・271Bythehelpofmathematics，Weformanotherideaof
SpaCe・「数学」という学問の名称は明治時代にmathematicsの訳語として確定しました。

漢字の「数」は日頃私たちが使っている「かず」の意味以外に「論理」とか「ことわり」といった意味があり、古代の中国ではそのような意味にむしろ使われていました。易の研究のことを数学とよんだこともあると聞いたことがあります。ラテン語でもmathematicaは占星術という意味を持っています。東西の全く異なる文化の中で似たような使われ方があることに驚かされます。

「数」の起源に関する白川静説を挙げておきましょう。白川説は必ずしも皆の賛同を得た説ではないということですが、「数」という漢字の持つ様々な意味の起源を説明するのには最適であるように思われます。

簡単に変えることほど、学問を粗末にしていることはないと思います。

1松本幸夫氏のご教示による

真数︼悪︻戯︼意

せん。わが国の数学の将来にとってゆゆしい事態であると思います。学問の名称を∵出机㌔舞㌢るしばしばしきりに意味に使われています1。また、わが国でも、明治時代、幸田露伴の随筆には「運命」の意味で数が使われています。こうして見てきますと、「数学」という名称はな
かなか深い意味を持っていることが分かります。最近のいわゆる大学改革でわが国の大学の多くの数学教室が名称の変更を余儀なくされ、数学という名称が大学からほとんど消えてしまったことは、「運命」だといってすまされてよいことではありま

熱㌢に盛んに使われていたようです。司馬遷の「史記」でも「常数」が「ことわり」の

告∵︑∵■

高

古代中国では「数」は数としての意味の他に、「ことわり」、「運命」といった意味

旬

爾遡旧字は激に作り︑莞＋支⁝靂は女子の髪をく紙ゆいあげた形ごれに支を加えて︑髪を乱すことを放りという︒数々として髪が乱れる意妄子を責めるときにその髪をうって乱したので責めることをいい︑乱れてばらばらになるので数多い意となり︑計数の意となる︒︹説文︺三下に﹁計芸るなり︒
支に従ひ︑婁霊アとするのは︑後起の蕪︒字もまた璧てでほない︒計数の赴くところほ必然であるから︑世運や運命をも数という︒
回せめる︑うながす︒固かず︑かぞえる︑よみあげる︑
計数︒呵数の理︑ことわり︑さだめ︑いさおい︒回わ
ざ︑はかりごと︑てだて︒但しばしば︑しきりに︑はやい︑すみやか︒甲コ二から五︑六の概数︒

トワル・シバく・シルシ・マホル・アマダ＼ビ／数奇

蘭馴︹名蕪抄︺救力字カゾフ・アマタ・コトワリ．コ

サチナシ︹字銘菓︺数シバく・カゾフ・サム●シトワリ．コトワル・アマク︑ビ・サク・シルシ・アマク

バラク・カズ・タビく÷ホル・シバシ・アマタ・コ

レ
国劇︹説文︺に敷声として琴薮の二字を収める︒
薮は大沢︑薮沢唇の地をいい︑数々として物の多い意であろう︒叛は炊夷叫簑︑といだ米をあげるざる︒その編みかたが︑乱れ髪に似ているのであろう︒
ゆえに字は赦に従う︒て責める意遠︵速︶si︒kは急疾︑政をその意に通簡明幽赦∽h3k︑貴︻Nhnkは声近く︑貢は財物を課し

不運︒不幸な運命︒︹漢書︑李広伝︺大用することがある︒

将軍︵筒音︶除難かに上指を安く︒以馬抽へらく︑︻数奇︼Hりくは欲する所を得ざらんと︒〜故に贋を徒ぎんと李廣は数奇︑葦烹んに首らしむること母箭︒恐らす︒席︑之れを知りて固節す︒

白川静「字通」より

数学，この大いなる流れ（上野健爾）

史記花推察澤列伝十九 1行目したから2行目にかけて「日中すれば則ち移り、月満つれば則ち欠け、物盛んなれば則ち衰う。天地の常数なり。」と読める。

当たり前のこと「幾何の時間に習って役に立ったことは三角形の三角形の二辺の長さの和は残りの辺の長さより長いということである、しかしこんなことは犬や猫も知っている」という趣旨のことを菊池寛が言ったと伝えられています。最近では、初等・中等教育の教科内容の厳選に関連して、教科課程審議会会長の三浦朱門氏は、教科のエゴ

数学，この大いなる流れ（上野健爾）を無くすために、たとえば数学では『曾野綾子のように「私は二次方程式もろくにできないけど、65歳になる今日まで全然不自由しなかった」という委員』を半分以上加えて数学教育の内容の見直しを行う必要があると発言しています（【6］）。私は俳

句も短歌もできないけれども今日まで全然不自由しなかったからといって、国語の教科書から俳句や短歌をなくすべきだと主張する人に対して三浦朱門氏は何と反論されるのでしょうか。もちろん、こうした発言が堂々と教科課程審議会会長から出されることは、数学教育の 成果 であることは確かです。数学教育者のみならず数学者も大いに反省すべき点があることは確かです。それにしても、文筆を生業としている人たちが、学問を文化の一環として理解できないこと自体現在のわが国の文化の質が問題とされましょう。
これほど、極端でないにせよ、数学教育者と目される人たちの中にも不思議な主張をされる方がいます。工学で実際に使う多項式はせいぜい3、4次式までだからそれ以上の多項式を教える必要はない、数の計算でも三桁以上のかけ算を必要とする
もっとすばら機会はほとんどないから、そんな計算を授業でやる必要はない。……・
しい例を挙げれば、計算だけの微積分の指導要領を作成しておいて、高校の微積分は計算ばかりだから、高校で微積分をやる必要はないと発言された方もおられます。
こうした人たちは、数学を単なる知識の集積だとしか考えていません。ここに、数学に対する極めて大きな誤解があります。数学は単に新しい事実を見出すだけに終始してきたのではなく、新しい考え方、新しい見方を絶えず求めてきたのであり、基本になるのは考え方なのです。そして、その考え方が彼の時代に他の学問に本質的な寄与をすることがあります。数学は未来に向かって開かれた学問なのです。たとえば、文字式は現象を記述する手段として普遍的な手段となっており、水や空気の存在と同様にあまりに当たり前のことで、文字式の導入までに古代ギリシア以来千五百年以上もの長い年月が必要であったことなど、ふつうは思いもしないことでしょう。しかし、一般の式を文字を使って表すことを考えついたのは16世紀後半の
西洋の数学と17世紀後半の和算だけでした。このことについては後に触れることにします。

ここでは、少し趣向を変えて、菊池寛も言及している「三角形の二辺の長さの和は残りの辺の長さより長い」という初等幾何学の主張を考えてみましょう。この当たり前の事実から論理の力を借りれば、思いもかけない事実をたくさん導くことができることをみなさんと一緒に考えてみましょう。しかも、これらの事実が、現代
数学や現代物理学と深く関わっているのです。そのようなことは、もちろんユーク

リッドの時代には夢想だにできないことでした。これからお話しする小さな例からも数学が未来に向かって絶えず広がってきた歴史を推測していただけることを期待します。
「三角形の二辺の長さの和は残りの辺の長さより長い」という主張は「二点を結ぶ最短の線は直線である」という主張の帰結です。また、逆に「三角形の二辺の長数学，この大いなる流れ（上野健爾）

さの和は残りの辺の長さより長い」という主張から「二点を結ぶ最短の線は直線である」ことを示すこともできます。それは、二点を通る曲線を折れ線で近似することによって示すことができます。（正確には、曲線とは何であるか、きちんと 定義する必要がありますが、ここではこれ以上深入りしないことにします。）「二点を結ぶ最短の線は直線である」という主張がどれほど豊かな内容をもっているか、少し考えてみましょう。
まず手始めに次の間題を考えてみましょう。
問題1下図のように川を挟んでA点とβ点がある。川には岸に直角に橋を架けるものとする。A点からβへ行くのに距離が最短になるようにするにはどの地点に橋を架けたらよいか。

A

この問題には様々な解法が考えられます。たとえば川をなくして考えれば、二点を結ぶ最短の線は直線ですから、次のような解法があります。

数学，この大いなる流れ（上野健爾）
B
A
＼

β

＼

＼
＼
＼

＼

この間題を昨年の高校生講座で出したところ、授業が終わった後で一人の高校生がやってきて、先生、もっと良い解答があるというのです。下の図のように帽の広い橋を架ければ何も考える必要はないというのです。一本とられたと思いました。

幅の広い橋を架ければAからβへは直線で行くことができる。

この高校生は数学の問題と現実の問題とが少し違うことを知っていてこのような解法を持ってきたのでしょう。現実の橋は必ず幅があるのですが、最初の解答では橋の幅はないものとして考えています。上の問題を橋の幅が一定の長さdの時に考えることもできます。このときも、上と同様の考えで解くことができます。

数学，この大いなる流れ（上野健爾）
B

帽がdの橋を架けた場合このように、現実の問題を数学的に解くときには種々の理想化をして数学的なモデルをつくる必要があります。川幅は一定で川岸は直線になっているというのは現実とは少々違います。また、距離を測るときは誤差はつきものですし、帽が一定の橋を造るのも誤差の範囲内でしかできません。しかし、現実の問題を考える際には、問題に応じて理想化が必要です。川が蛇行していれば扱いやすい曲線で代用します。

所で、今は最短の距離を問題にしました。その替わりに道路と橋を建設する問題
を考えることもできます。

問題2 道路を建設するのにA地点の側ではメートルあたりα円かかり、β地点の側では♭円かかり、橋の建設費はどの地点から橋を架けても一定のとき、かかる費用を最低にするためにはどこに橋を架けたらよいか。
これはきわめて現実的な問題です。この問題を直接考える替わりに、ここでは物理の問題、光の屈折の問題と関連させて考えてみることにします。
そのために、まず問題1を次のように変形した問題から考えることにしましょう。
問題1の変形 下図のようにA．β2点が川の片側にあります。A点から出発
して川岸に着きそれからβ点へ向かいます。歩く速さが一定の時、川岸のどの点を目指して進むと最短時間でβ点へつくことができるでしょうか。

1

1

数学，この大いなる流れ（上野健爾）⊥／一 ＼ ／／ ／一 ＼ ノー ／′￣、＼ J／／￣￣＼＼ J／一￣、＼ Jl ／／′￣、＼ J一′ ＼ ノー ／￣￣￣、、＼ J

／

l ／／
−／／

γ

A

この間題をさらに変形することもできます。たとえば、A点から川岸ま所ででは自転車で行き、川岸に着いたら自転車を降りて徒歩でβ点へ向かいます。このとき時間が最短になるためには川岸のどこを目指したら良いかという問題です。これは、先ほど述べた建設費を最低にする問題と実質的に同等の問題になります。
B

一′■、＼一 一・′、＼＼ノ ／一、＼、J
一′￣■、＼ J／′■、＼＼ J／￣、＼一 ／′￣＼− J

一斗

一一vl

一一−−−−、 J

この間題を解くために川岸をズ軸にして次のように座標を取ることにしましょう。そしてA点から単位時間あたり速さγ1で川岸へ向かい、川岸へ着いてからは

単位時間あたり速さγ2でβ点へ向かうものとします。

数学，この大いなる流れ（上野健爾）

A＝（0，α）点から川岸の点（ご，0）へ向かい、そこからβ＝（ゐ，C）点へ向かったとするとかかる時間は
c2＋（む−￡）2
γ1！−2となります。従って、この問題は函数
C2＋（♭−ご）2
タ（ご）＝
〃2

γ1

を0≦エ≦♭の範囲内で最小にする問題になります。これを初等的に解くのは難し
くなります。どうしても極限操作が必要となってくるからです。微積分をご存じの方は、函数タ（ご）が極大値または極小値を取るところは、導関数タ′（ご）が0にならなければならないことをご存じだと思います。微分係数と接線の関係を考えればこれは納得がいくことと思われます。ただし、これは極大、極小値を取るための必要条件であって、この条件が成り立つからといって必ずしも極大、極小値となるとは限りません。まして、最大値や最小値になるとは限りません。それにたいしては、ここの問題ででてきた答えが果たして極大、極小であるか、あるいは最大、最小であるかを吟味する必要があるわけです。幸いなことに、私たちが考えている問題ではタ′（ご）＝0の解ご0で函数タ（ご）は最小値を取ることが示されます。タ′（〇）を計算するとわー」ITタ′（ご）＝ー、ハ′∫∴・−・∫、ご

c2＋（む−ご）2が成り立ちます。従って〆（ご0）＝0では・I：0

d2＋エ岩 γ2J′−．J・いC2＋（ム→エ0）2が成立します。

B数学，この大いなる流れ（上野健爾）

これは上の図のように角度を取ると
Sin♂1

▼

Sin∂2 tJ2が成り立つことを意味します。エ0を直接求めることは面倒ですが、角度を使ってこのような簡明な形で表現することができます。特に机＝γ2であればβ1＝β2であることが分かります。これは、光の反射の法則と一致しています。これは偶然のことではなくて、上の問題は光の反射や屈折の問題と密接に関係しています。異なる媒質を通る光は通過する時間が最小になる道を通るという フェルマの原理があります。フェルマの原理を使って光の通り道を見いだせという問題と上の問題は実は数学的には同じ問題になります。
文字式

所で、上の問題を解くとき、何気なく訂やyなどの記号を使い、文字式を使いました。私たちは、これを当たり前のこととして使っていますが、実は文字式を自由に使えるようになるのには長い長い年月を必要としました。文字式の元祖に当たる
ものは善かれた記録としては、3世紀、アレキサンドリアで活躍したデイオファントスに遡ります。デイオファントスは古代ギリシアの伝統からはかけ離れた面があり、東方、特に古代バビロニアの伝統を引き継いでいるのではと言われていますが、確証は今のところありません。彼の式の記号は原始的なものでしたが、不思議なことにそれをさらに発展させる数学者は当時はありませんでした。

文字式が登場したのは16世紀のヨーロッパです。3次方程式の解法で有名なカル
ダノやタルタリヤはデイオファントスより進んだ記法を使っていますが、ヴイエタ
によって文字式の記法は本格化しました。ヴイユタの記法をもとに、デカルトはさらに進んだ文字式の使い方をし、座標幾何学（解析幾何学）を創始しました。デカ

ルトの座標幾何学は「方法序説」の付録として出版されました。ちなみにデカルトの「方法序説」は当時の西洋の共通語であるラテン語ではなくフランス語で善かれています。付録の幾何学は後にラテン語訳され、多くの注釈書が著されました。ラ

テン語は当時のヨーロッパの共通語としての役割を持っていたからです。
αご2＋占￡＋cのように式の係数にも文字を使って例は、残された文献としては、デカルトの時代のようです。1630年代のことです。

数学，この大いなる流れ（上野健爾）

大変興味深いことは、中国でも宋や元の時代に代数学がすばらしい発展をし、文字式の考え方が誕生します。元の時代の数学者宋元障は2ご3＋15ご2＋166諾㌧−4460＝0のような文字式次のように記しました。

ll

」川1

1⊥＿丁 元∃…⊥艮大ここで、元は未知数を表し、元が記してある行が1次式の係数です。方程式の係数を上から上から高い次数の順に記していきます。宋や元の時代の中国数学では方程式はすべて右辺は0の形、P（ご）＝0の形を考えましたので、上の式には0は現れません。今日でも2元1次方程式と言いますが元は未知数の意味なのです。

しかしながら、大変不思議なことはデカルトのように、式の係数にも文字を使い、一般の式を表すことを中国の数学者は考えつきませんでした。この元の代数学の影響を受けて、（実は中国では宋や元の時代の優れた数学は明の時代にはほとんど忘れ

去られ、我が国へ伝えられたのも不完全な形の数学でした）一般の文字式を表すことを考えついたのは江戸時代17世紀後半の関孝和でした。西洋での文字式の使用か

ら1世紀近く間がありますので、関の文字式は西洋の数学の影響を受けたのではと疑うことも可能です。
16世紀に日本にやってきて大きな影響を与えたのはイエズス会の宣教師であり、彼らは為政者に接近する手段として数学を勉強して来ていました。数学は特に暦法との関係で重要でした。数学が好きな宣教師がいても不思議でありませんから、当時の数学の知識が我が国に来なかったという保証はありません。デカルトの「方法序説」が我が国に来ていれば話としては大変面白いのですが、たとえ来ていてもフランス語を解する日本人はいなかったろうと思われます。また、当時のイエズス会の方針を考えれば宣教師によって数学の本が我が国へそれほどもたらされたとは考えられません。イエズス会は日本布教の途中で方針を転回し、積極的にラテン語の文献をもたらし日本人の教育を行いましたが、そのときの基準は純粋にイユズ ス会の教義を述べた文献のみを日本にもたらすことにありました。従って、教義論争に関係する文献は、反対派の考えを日本人が知ることになってまずいということで我が国へはもたらされませんでした（〔1］）。完全な思想統制のもとでのラテン語とキ

数学，この大いなる流れ（上野健爾）

リスト教の教義を中心の教育が行われたようです。
いずれにせよ、当時の人たちにとっては、中国からの数学の本が数学を勉強する

ための基本だったことは間違いありません。ラテン語の本を読める日本人はごくわずかであり、宣教師が自ら数学を教えない限り、西洋数学が日本人に伝わった可能性はなかったように思われます。平山諦氏によれば、こうした宣教師としてスピノラがあげられるとのことです（［2］）。この点に関しては、今後の研究が進むのを待つしかありません。しかし、いずれにせよ、関孝和が西洋数学の文字式を知っていた可能性は極めて低いと思われます。
中国数学の歴史できわめて不思議なことは、西洋数学を学んだ数学者がおり、優れた過去の数学を持っていたにも関わらず、中国数学の中で、文字式を積極的に使用する数学者が現れなかったことです。なぜ、西洋と我が国だけに文字式の使用が可能になったのか、文化史上きわめて興味ある問題です。
ところで、文字式にこだわるのは、一般の式を書き表すことを通して、式の変形を目で追うことができ、その式や結果のもつ意味を深く考えることが可能になることが一つの大切な理由です。たとえば2次方程式の根の公式を求める問題を考えてみましょう。
αご2＋らご＋c＝0，α≠0を次のように変形します。
α（‡・去）2＝去（わ2−4αC）

すなわち（目蓋）2＝（去）2（む2−4αC）と書けます。したがって、この両辺の平方根をとることによって

b ．ノ㍍−4αC

ヱ＋丁−＝土2（12（ユを得、結局根の公式は・・−／〉＿L、．辞二・レJ2（ユになります。この公式に具体的な数値を当てはめることによって具体的な方程式の根を求めることができます。しかし、実数だけしか知らなければ重大な問題が生じます。もし根号の中の数b2−4αCが負の数であればノぴ−4αCは実数の中には存在しないからです。すべての2次方程式の根を考える必要があれば、2来して負になる数を考える必要があります。古人はこうした 数 を考えると便利である、たとえば今の例ではすべての2次方程式は必ず2個の根を持つことになり（ただしら2一触c＝0のときは2個の根は重複しているとみなす）、例外をいちいち考えなくて良いことになります。こうしたこともあり、古人は2来して負になる数を虚数と名付けて、やむ数学，この大いなる流れ（上野健爾）

を得ず必要なときだけ使いました。積極的に虚数を使ったのはオイラーでした。虚
数単位に盲を使うことはオイラーに始まります。
その後ガウス、コーシーを経てリーマンによって複素函数論が建設され、複素数は数学にとってなくてはならないものになりました。そして、今日では電気工学でも欠かせないものになっています。（電気では虚数単位として五ではなくJを使います。記号盲は電流を表す記号として昔から用いられているからです。）また、量子力学では複素数を使う必要があります。
もう一つ大切なことは文字式を使うことによって様々な硯象を数学的に表現できるようになることです。このことによって、数学が他の学問と結びつき、自らを豊かにして行きました。ただ、和算の場合は江戸時代の社会や文化の関係で、自然科学は発達せず、こうした意味での文字式の使用はありませんでした。しかしながら、江戸時代後期から明治時代初期にかけて西洋数学が我が国に本格的に入り、和算から洋算へと移行するとき、その移行は比較的簡単に行われました。これは高度に発達した和算があったおかげです。
京都大学の附属図書館には1952年に佐藤則之氏が寄贈された和算書のコレクショ
ンがあります。これは関流の和算家であり、備後福山藩の藩校誠之館で明治5年まで数学の教授をした氏の祖父佐藤則義（1820−96）の遺著である和算書の一部です。これらはすべて写本ですが、その中に和算から洋算への移行を示す興味深い著
作があります。1次方程式の解法で和算の記号と未知数訂yとの対応を記したものです。この例のように、文字式に関する限り、一番基本の部分では単に記号を置き換え、縦書きを横書きに置き換えれば良かったのです。
もちろん、そうはいっても種々の問題はありました。和算では括弧の使用がありませんでしたので、式を書き表すのが大変でしたし、また和算では函数の概念がはっきりとは出来上がっていませんでしたので、こうした概念的なことを勉強することは当時は大変だったと思われます。

一‖⊥⊇＝

中国数学書、和算書での記数法

佐藤則義著「算法浅間抄解」（京都大学附属図書館蔵）

楕円の接線とシュタイナーの問題
さて、話が脱線してしまいましたのでもう一度もとの問題に戻りましょう。今度は、楕円の接線について考えてみましょう。二点からの長さの和が一定である点の軌跡を楕円といいます。また、この二点を楕円の焦点といいます。楕円の接線に村しては次の図のように接点と二つの焦点を結ぶ線分と接線とのなす角が等しくなります。

数学，この大いなる流れ（上野健爾）

この事実の証明は次の図を見ていただければお分かりになると思います。ただし、ここで楕円の内部の二点を結ぶ線分は楕円に含まれる、言い換えると楕円は凸であるという事実を使いました。
P−E

楕円というと皆さんの中には惑星の軌道のことを思われる方も多いことと思います。太陽系の惑星は太陽を一つの焦点とする楕円軌道を措いているという事実はチェ
コ・ブラー

エの詳細な観測結果を基にしてケプラーによって発見されました（ケプ

ラーの第一法則、1605年）。ケプラーは惑星の運動に関する三法則で有名ですが、当時は占星術師としても有名でした。彼は、アポロニウスの円錐曲線論に詳しく、それがケプラーの法則の発見につながっています。一方、彼は太陽系の惑星がなぜ6個しかないのか（天王星の発見は1781年Wノ、−シェルによる）、その理由を考え、正多面体が5個しかないことを使って説明しようとしました（［4】）。しかし、それでは十分に説明できないことが分かると星型多面体ヤアルキメデス多面体を考え、説明しようと試みました。彼は、宇宙の調和に関して確固たる信念を持ち、それを説明しようと試みたわけです。彼の第三法則が発表された著書［5］では和声学につい数学，この大いなる流れ（上野健爾）ての考察も含まれいます。 古代ギリシアのどュタゴラス教団の人たちは、惑星が天球の中を運動するとき調和のとれた音を出していると信じていたという伝説が伝えられていました。ケプラーはこうした惑星の昔を［5】の中に記しています。

HARMONICISLtB．Ⅴ．

207・

mp坤n6nifaippo亡榔iま）p⊂rrワ亡皿亡亡5血：idquodalゃまm亡nOn C▲＝エpo紬⊂qX即1ml−quamPCrCOn【mua皿伽i⊂m如【arumln【e∫∫nCd心＝写立食文盲転ba【urnuS

Jupiヒ⊂r一一

ポニふ一
一 ＿．．．．．．．−−一丁■：￣

≡立正立
石＝＝＝
■
■
Venu∫

−−■■■■■■■■l■■■l・■

挺表至撃妄毒壷転−■■・■・・・・・・・■■■■■■■■■■■■■■■■■■■■・−■■■■■■■l■−山aJjf⊂r己

Tc汀a

葵垂

表壷蜃
璽≡箋
軒≡≒毒 山crcurius▼

Hiclocurnhabc【CEiam）

甲m血i＝mplitu一。1

楕円は二次曲線の仲間ですが、二次曲線は円錐曲線とも呼ばれます。円錐曲線は

英語ではconicsectionといいます。字義通り、円錐の切り口としてでてくる曲線です。この観点からアポロニウスは円錐曲線の性質を詳しく研究しました。彼の時代にはまだ文字式も、ましてや座標の考えもありませんでしたが、彼は座標幾何学のすぐ近くまで到達していました。アポロニウスの著作を勉強したフェルマはデカル
トと独立に座標幾何学に到達しました云フェルマの座標幾何学は斜交座標をも考えていた点でデカルトより進んでいましたが、生前は発表されることがありませんでした。

さて、楕円の接線の性質を使うことによって、シュタイナーの問題を考えてみましょう。シュタイナーの問題というのは三点A，β，Cに村して、点Pを点Pから三点への距離の和戸オ＋戸万＋戸否が最小になるように決めよという問題です。実はこの間題はすでにフェルマが考察していました。
C数学，この大いなる流れ（上野健爾）

三点A，β，Cが一直線上にあるときは簡単に解が分かります。点Cが線分A，β上にあるときは点Cが求める点Pです。このことから点Cが線分Aβよりそれほど経れていなければ点Pは点Cと一致するか点Cからそれほど離れていないことが予想され、事実、点Pは点Cに他ならないことが示さます。

A

A

C

B

B

しかし、三角形AβCのそれぞれの角が1200より小さい時は事情がまったく変わってくることが示されます。以下、三角形AβCのすべての内角は1200より小さいと仮定します。まず点Pは存在するとすれば三角形の辺の上、または内部にあることが次の図よりすぐに分かります。線分PAが辺ACと点P′で交わるとき、戸頂十両＞有戸＝戸頂＋戸否が成立します。したがって、戸オ＋戸否十戸否＞
戸貢＋戸万＋戸否が成立します。

数学，この大いなる流れ（上野健爾）

次に点Pは辺Aβ上にないと仮定します。点A，βを焦点とし点Pをその上の点とする楕円を描いてみます。この時、点Cを中心として半径が百戸の円rは点Pで楕円と接することが分かります【）

これは次のようにして、証明することができます。もし、点Pで楕円と円rが接することがなければ、円rは楕円と点Pおよびもう一つの点Qで交わります。
この時下の図のように点Cから楕円への最短線C月を引くと点月での楕円の接線とC月とは直交することが分かります。したがって戸否＞扇否が成立し、楕円の性
質戸方＋戸否＝京哀＋扇膏を使うと戸方＋戸万＋宇戸＞言方＋京否＋扁否が成り立つ
ことが分かります。これは、点Pの性質に反します。
T

この考察と以前の楕円の接線に関する結果より、点クでの楕円の接線を考えることによって／APC＝∠βPCを得ます。さらに、点Pが辺βCにないと仮定する、同様の議論をにより∠βPA＝∠CPAを得ます。すなわち／APC＝／βアC＝／Cf）A＝1200を得ます。この条件を満足する点をトリチェリ点と呼びます。トリチェリ点は次のように作図できます。

数学，この大いなる流れ（上野健爾）

以上の議論により、シュタイナーの問題の解を与える点はトリチェリ点であるか、または三角形の頂点であるかのいずれかであることが分かります。しかし、三角形の頂点はシュタイナー問題の解は与えません。これは次のように証明できます。点

Aを考えましょう。点Aから直線Cf），βPへおろした垂線の足をそれぞれQ，月と記しましょう。先の楕円を使った考察から／Aj〕Q＝／AJ〕月＝600であることが分かります0従って直角三角形APQ，A用で巧＝三万＝両であることが分かります。また直角三角形Aβ月ではAβが斜辺ですので互膏＞膏扇が成り立つ
ことが分かります。同様に直角三角形AC（？で有戸＞否百が成り立ちます。
A

以上のことより

万雷＋瓦否 ＞ 否扁＋爾
＝ 戸否＋戸扁＋戸否＋戸百＝丙＋詔＋喜丙＋…詔＝ PA＋Pβ＋PC

数学．この大いなる流れ（上野健爾）が成立します。これは点Aがシュタイナーの問題の解を与えないことを意味します。
これでシュタイナーの問題は解決されたように思われるかもしれませんが、今までの議論は点Pが存在すると仮定して議論してきたことに注意しましょう。証明できたことは点Pが存在するとすればトリチェリ点であるということです。そこで、最後に点Pが実際に存在することを示しましょう。そのために、三角形AβCを頂点βを中心にして600反時計回りに回転してみます。点Qに対してこの操作で600回転して得られ点をQ■と記しましょう。
B

この時三角形βQQ■は正三角形であり、QA＋Qβ＋QC＝QC＋QQ■＋Q＊A■となりますoB

A
したがってこの和の最小値は百万言であり、最小値は点々が線分CA■上にあるときであることが分かります。これは／βQC＝1200を意味し、点Qはトリチェリ

点であることが分かります。このようにしてトリチェリ点がシュタイナー問題の解を与えることが分かります。
ここまで来ると、最初の初等幾何学の主張「三角形の二辺の長さの和は他の一辺より長い」のように当たり前の結果ではありません。しかし、今までの議論で大切な役割をしたのは、この当たり前の主張です。このように、論理の力によって私達の思いもかけない事実を見出すことができるのです。また、逆にこうした論理の力

数学．この大いなる流れ（上野健爾）

は数学を学ぶことによって身につけることができます。数学は役に立つか立たないかという議論がよく行われますが、水や空気のように知らない内に数学の恩恵を受けていることは多いのです。
ところで、シュタイナーの問題は3点だけでなく4点以上の点の配置に対しても考えることができます。この時の考察も上の三点の場合が基礎となる。しかし、点の配直によっては点Pは必ずしも一意的には決まらないことがあります。
これまで考えてきた最小値を求める問題は、もっと一般的には函数の極大、極小を求める問題になります。この問題は、物理の最小作用の原理とも密接に関係しています。二点間を結ぶ最短の曲線は線分であるという性質は平らな空間、すなわちユークリッド空間の性質です。現実の世界では空間は曲がっています。私たちの住む世界がユークリッド幾何学が成立する世界であるかどうかは19世紀初頭すでにガ

ウスが問題にして、巨大な三角形の内角の和が1800であるかどうかを測定をしました。三角形の内角の和が1800であることが空間がユークリッド的であることを判定できる条件になります。ガウスのこの壮大な実験は残念ながら測定誤差の範囲内で三角形の内角の和は1800となり、成功しませんでした。このことはもちろん、私たちの住んでいる世界はほとんどユークリッド的であることを意味します。
一般の曲がった空間では二点間を結ぶ最短の曲線は測地線と呼ばれます今まで考えてきた問題は変分法と呼ばれる数学の一分野の簡単な場合です。変分法は物理では最小作用の原理を通して大切な働きをしています。上で、光の屈折に関するフェルマの原理について少し触れました。一般相対性理論によれば光は測地線に沿って進み、太陽の様に質量の大きな物体の周りでは空間はゆがみ、測地線は直線では無くなってしまいます。したがって、太陽の周りでは光は曲がって進むことになります。このことが、日食の時観測され、アインシュタインの一般相対性理論の正しさが示されたことをご存知の方も多いことと思います。変分法は現代の数学、物理学
で大切な役割をしています。このように「三角形の二辺の長さの和は残りの辺の長さより長い」という当たり前の主張から、一見関係のないと思われる幾何学的な性質が論理の力によってたくさん導くことができます。これが、数学の持つ力です。お￣まけに、導かれた種々の性質はその奥深いところで様々に絡み合って美しい数学を作り上げています。最小作用の原理、変分法については名著［3］があります。一読をお勧めします。
以上のような事実に目を向ければ、数学は伊藤 仁斎が「童子問」でいうように博学そのものであると思います。

一にして寓に之く、これを博学と謂う。常にして萬又萬、之を多学と謂う。博学はかぞ 猶根あるの樹、根よりして而して幹、而して葉、而して果実、繁茂桐密、算え数うべい／二 からずと難ども、然れども一気流注して、底らずという所無く、いよいよ長じていよ数学，この大いなる流れ（上野健爾）
せんきいらん王んひんぷん、∈】ム′＝さん／1

いよやまざるがごとし。多学は猶労綜の花2、枝葉果実、頭頭相排し3、爛漫績紛、 ふここう

観つべく愛すべきと碓ども、然れども乾燥枯稿4、長養を受けず5、限り有って増す
こと無きがごとし。猶生死の相反するがごとし。概して之を一にすべからず。（伊藤仁斎「童子問」巻の下、第三十三章）

刃瑠−↓誓−︹−﹁﹁1

一塊愚蜜柑旦

．ノ

．一﹁■

ノご
ノ
﹂

4枯れている

5養育されて成長させられることがない﹁了．二JJレけ＋■−

2布切れの造花

3頭をならべて押し合いへし合いする

向登／粛闇値覚層賢像

ノ伊藤仁斎「童子間」巻の下（明治三七年再刊本）
第三十三章が第二十三章と誤刻されている

謂登芝及肝‰要一十二者

1■

ユ頚骨以篭

車音諒．言崖在官滋養妄

ーノ

■ ／

■芽集哀流磋鹿野叡風嘗裔諮巳ガ

ヽト

魯裾野櫛ナ涙脆我蚤優勝

打数ず蟹然乾煉布桶不登蒼生夙之舶鹿書簡一一芝ぽ励虜東風雅之著者敦軒孝寺三者ノ数学．この大いなる流れ（上野健爾）

今日は、初等幾何学の当たり前の主張から出発して、当たり前でない事実が沢山説明できることをお話ししました。易しい事実の背後にも、数学の深い世界が控えていることを感じとっていただけたら幸いです。

文献［1】井上 勝美「キリシタン思想史研究序説」ぺりかん社、1996年［2］平山 諦「和算の誕生」恒星閣厚生社、1993年［3］S・Hildebrandt＆A・Tromba：TheParsimoniousUniverse，Copernicus，1995［4］J・Kepler「宇宙の神秘」（大槻［5］J・Kepler：HarumoniumMundi（宇宙の調和（和音））［6］「教育」今後の方向 偏差値中心の学習から自発的学習をめざす、
三浦朱門・放課審会長に聞く、週間教育Pro4月1日号、p6−11（うえのけんじ，京都大学大学院理学研究科）