関孝和
時代 | 江戸時代 |
---|---|
生誕 | 1640年ごろ |
死没 | 宝永5年10月24日(1708年12月5日) |
別名 | 新助 |
墓所 | 浄輪寺 |
官位 | 贈従四位 |
幕府 | 江戸幕府 西の丸御納戸組頭、小普請 |
主君 | 徳川綱重、家宣 |
藩 | 甲府藩 勘定方吟味役 |
氏族 | 内山氏、関氏 |
父母 |
父:内山七兵衛永明 養父:関五郎左衛門 |
兄弟 | 永貞、孝和、永行、永章、女子、女子 |
子 | 平蔵、新七郎久之 |
関 孝和(せき たかかず)は、日本の江戸時代前期の和算家(数学者)、武士、甲府藩士のち旗本。本姓は藤原氏(結城一族)。内山氏の生まれで、関氏の養子となった。通称は新助[1]。字は子豹、号は自由亭。
生涯
[編集]関孝和の生涯については、あまり多くが伝わっていない。養子の関新七郎久之が重追放になり、家が断絶したことが理由の一つである[2]。
徳川忠長に仕えた武士・内山七兵衛永明の次男として生まれる[1][3]。祖父(血縁上は曾祖父)・内山吉明は元々芦田信蕃の家臣で、芦田康貞が上野国藤岡(現・群馬県藤岡市)に封じられるとそれに随い藤岡に住み、康貞の改易後も藤岡に留まった。慶長5年(1600年)の第二次上田合戦以降徳川家康の家臣となり、寛永6年(1629年)以降は徳川忠長に附属させられたが忠長の改易により吉明・永明は牢人となり藤岡に閑居した。永明は寛永16年(1639年)御天守番となり徳川の家臣に復帰した[4][2]。
孝和の生年は寛永12年(1635年)から20年(1643年)の間で諸説あり、はっきりしない。生誕地は上野国藤岡と江戸小石川の2説ある。実父が寛永16年(1639年)に藤岡から江戸に移っているので、生年がそれ以前ならば生地は藤岡、それ以後なら生地は江戸と推測される[5]。
5歳のころ[要出典]、甲斐国甲府藩(現・山梨県甲府市)の勘定を勤める関五郎左衛門の養子となり、甲府藩主徳川綱重とその子綱豊(徳川家宣)に仕えて勘定方吟味役(勘定方用改)を勤めた[2][6]。宝永元年(1704年)に家宣が将軍世嗣となり江戸城西の丸に入ると、孝和も直参・旗本となり、西の丸納戸組頭を拝命して300俵を与えられた[2][7][1]。
没後30年ほどして書かれた『武林隠見録』によると、師につかずに吉田光由の『塵劫記』によって独学したとされる[2]。
孝和は甲府藩における国絵図(甲斐国絵図[注 1])の作成に関わり、また平安時代以来改暦が行われていなかった宣明暦に変えて授時暦を深く研究して改暦の機会をうかがっていたが、その後渋川春海により貞享暦が作られたため、暦学において功績を挙げることはかなわなかった[8]。
宝永3年(1706年)11月4日に職を辞し小普請となった[7][1]。
宝永5年10月24日(1708年12月5日)、死去[7]。牛込弁天町(現在の東京都新宿区)の浄輪寺に葬られている[9]
死後
[編集]関の死後もその学統(関流)はめざましく発展し、山路主住に至り免許制度などを整え、和算の圧倒的な中心勢力になる。有力な和算家はほとんどが関流に属するようになっていった。
関孝和は関流の始祖として、算聖とあがめられた。明治以後、和算が西洋数学にとって代わられた後も、日本数学史上最高の英雄的人物とされた。
上毛かるたでも「和算の大家 関孝和」[注 2]と詠われている。
-
関孝和の銅像と顕彰碑(群馬県藤岡市)
-
関孝和の銅像
-
関孝和の墓(藤岡市光徳寺)
業績
[編集]関は和算が中国の模倣を超えて独自の発展を始めるにあたって、重要な役割を果たした。特に宋金元時代に大きく発展した天元術を深く研究し、根本的な改良を加えた。延宝2年(1674年)に『発微算法』を著し、点竄術(てんざんじゅつ)による代数の計算法を発明して、和算が高等数学として発展するための基礎を作った。 世界で最も早い時期に終結式を用いた変数消去の一般論を見出した。この終結式の表現において行列式に相当する式が現れている。
また暦の作成にあたって円周率の近似値が必要になったため、1681年頃に正131072角形を使って小数第11位まで算出した。関が最終的に採用した近似値は「3.14159265359微弱」[注 3][注 4]だったが、エイトケンのΔ2乗加速法[11]を用いた途中計算では小数点以下第16位まで正確に求めている[12]。これは世界的に見ても、数値的加速法の最も早い適用例の一つである(西洋でエイトケンのΔ2乗加速法が再発見されたのは1876年、H.von.Nägelsbachによってである[12][13])。ヤコブ・ベルヌーイとは独立かつやや早くにベルヌーイ数を発見していたことも知られている[注 5]。
一方で、西洋の微分積分学の発展より前に、方程式の求根の際に導関数に相当するものを計算したり、求長・求積に関する業績を挙げており、今日の微分法と積分法の基礎を発見していた。関がアイザック・ニュートンやゴットフリート・ライプニッツよりも前に微分積分学を創始したとするには異論があるが、基礎の発見を先に成しえていたのは事実である。
無理数などの不尽数を連分数や分数で近似する零約術について論じた[14]。
点竄術
[編集]関の最大の業績は、天元術を革新して傍書法・点竄術を確立したことである。これは記号法の改良と理論の前進の双方を含み、後に和算で高度な数学が展開するための基礎を提供した。
天元術は中国で発達した代数的解法である。求める数を未知数(天元の一と呼ぶ)とし、演算を施して方程式を立てる。問題を1元方程式に帰着できれば、次数に拘わらず算木によるホーナー法で近似的に解けた。しかし明代に入ると中国では天元術は衰え、もっぱら李氏朝鮮で継承されてゆく。朝鮮での発展や日本への流入の過程は今日でも不明な点が多い。日本では17世紀に入ってから、主に京阪の和算家の橋本正数・沢口一之らによって熱心に研究された。沢口の『古今算法記』(寛文10年、1670年)は、天元術の学習がほぼ完了したことを示している。
天元術には多変数の高次方程式を扱えない欠点があった。これは未知数を記号ではなく算木を置く場所で表現しているからで、例えば (1 3 4) の配置は1変数の多項式 または多変数の1次式 のいずれかを表す[注 6]。したがって2個目以降の未知数を文章による議論で消去してから、天元術を用いらねばならなかった。
『古今算法記』巻末の15問の未解決問題(遺題)はまさに多変数の方程式を必要とした。関は『発微算法』(延宝2年、1674年)でそれらすべての解を与えている。それは傍書法、すなわち算木による数ではなく紙の上の文字によって算式を論じる代数筆算を用い、2個目以降の未知数を文字で表して多変数の方程式を表現し、それを点竄術で処理して求めた。
ただし『発微算法』には変数を消去した後の1元方程式が書かれているだけで(それすらも詳細を端折った解答もあった)、その背景にある傍書法は一切表に現れていない。加えて初期の版では若干の誤りがあったため、正当性に疑いを持つ者も現れた。例えば佐治一平は15の回答のうち12が誤りだと主張した(実際には佐治の指摘のほとんどは的外れだった)。また佐治の師にあたる田中由真は『算法明解』(延宝7年、1679年)で、別の解答を関とは独立に発明した点竄術・傍書法を用いて与えた。
これに対して建部賢弘が『発微算法演段諺解』(貞享2年、1685年)で点竄術とそれを用いた解法の詳細を公開し、併せて若干の誤りを(場合によっては注記せずに)訂正している。さらに『解伏題之法』(天和3年、1683年)では終結式を用いた消去の一般的な理論を示し、加えて終結式を表現するために行列式に相当するものを導入した。ただし関は3次・4次の行列式は正しい表示を与えているが、5次については符号の誤りがあり、常に0になってしまう。やや後の1710年以前に完成した『大成算経』(建部賢明・建部賢弘との共著)で、第1列についての余因子展開を一般の行列について正しく与えている。
類似の結果は大阪の井関知辰による『算法発揮』(元禄3年、1690年)にも見られる。また、田中の『算学紛解』(1690年?)にもその萌芽と思しき消去方法がみられる。『解伏題之法』も『大成算経』も公刊されていないので、これらの研究は独自になされたと思われる。関と京阪の和算家との交流には不明な点が多い。また『大成算経』の存在にもかかわらず、後の関流の有力な和算家たちが『解伏題之法』を訂正して正しい展開式を得る研究を続けていて、この理由も今のところ不明である。
なおゴットフリート・ライプニッツが行列式を導入したのは関と同じ1683年ころだが、『解伏題之法』に比較して一般性に劣る。一般の行列式の公式や終結式の理論が発見されるのは18世紀の中ごろだった。先立って楊輝(中国、1238年? - 1298年)は『詳解九章算術』で、ジェロラモ・カルダーノは『偉大なる術』(Ars magna de Rebus Algebraicis, 1580年)で、数字係数の二元一次連立方程式の解を行列式と同様の計算式で与えている。
この一連の研究により、数学の問題は多元の代数方程式に表現できれば、原理的には解けることになった。また中国数学以来の伝統で、幾何の問題はピタゴラスの定理などを用い機械的に代数に落として処理していたので、これで実に広範な問題が原理的には解けるようになった。
ただしこの解法を実際に実行するのは多くの場合、計算量が膨大で現実的ではない。そのため『発微算法』でも方程式のみを求めていて、数値解の計算には進まなかった。ある問題は最終的に得られる方程式の次数が1458次にもなってしまい、方程式を具体的に書き下すことすらできなかった[注 7]。しかし以後、連立高次方程式に帰着される問題は、和算の中心的課題ではなくなった。
また数値解析で数値解を求めるには、実数根の定性的な性質(存在範囲・重根・個数)を解明し、効率的なアルゴリズムを確立しなけらばならない。関はホーナー法の収束を改善するため、ある精度から先は高次の項を省略する、ニュートン法と同値の方法を提案した。また重根の存在条件を示した。これは元の方程式とその導多項式が共通解を持つための条件にほかならず、先の消去の理論の応用である。
主な門下生
[編集]- 建部賢明:関孝和、弟の賢弘と共に『大成算経』を編纂した[15]。
- 建部賢弘:建部賢明の弟。『発微算法』を解説した『発微算法演段諺解』を編纂した[16]。
- 荒木村英:関孝和の遺著を整理して『括要算法』を編纂した[17]。
脚注
[編集]注釈
[編集]- ^ 孝和が作成に携わった甲斐国絵図は17世紀後期に成立したと考えられているII型図(山梨県立博物館学芸員高橋修による分類)で、甲府徳川家家中において領内統治のために作成された。正保国絵図の影響を受け、甲斐独自の地域区分である九筋二領などの情報を盛り込んだものと評価されている。甲斐国絵図については高橋修「近世甲斐国絵図論序説-山梨県立博物館所蔵甲斐甲斐国絵図との対話-」『山梨県立博物館研究紀要』(第2集、2008)を参照
- ^ 読み札は「せきたかかず」でなく「せきこうわ」である。
- ^ 中村佳正編『可積分系の応用数理』第6章、裳華房、2000年、ISBN 4-7853-1520-2 には「3.1415926535微弱」と書かれているが、村田全「日本の数学 西洋の数学」によれば「3.14159265359微弱」と書かれている。関の「括要算法」巻四には「三尺一寸四分一厘五毛九糸二忽六微五繊三沙五塵九埃微弱」の記述が見られる。
- ^ 微弱は桁の丸め方を示す言葉である。関の「天文数学雑著」によると「九以上収めて一としこれを微弱という、五以上収めて一としこれを弱という」
- ^ ヤコブ・ベルヌーイの仕事が公開されたのは関の死後である。
- ^ 朱世傑著『四元玉鑑』では2次元の配列を用いて、最大4変数まで扱えるようにしているが、これ以上の一般化は不可能だった。
- ^ この問題は最近になって、これより簡単な方程式が得られず、そしてただ一つの実数解を持つことが確かめられた。
出典
[編集]- ^ a b c d 『寛政重脩諸家譜』巻1515「関」
- ^ a b c d e 下平 1991, p. 147.
- ^ 城地 2009, p. 59.
- ^ 『寛政重脩諸家譜』巻223「内山」
- ^ 丸山 1961, p. 15.
- ^ 城地 2009, pp. 59–60.
- ^ a b c 城地 2009, p. 60.
- ^ 杉本敏夫「関孝和の天文暦学研究 (数学史の研究 RIMS研究集会報告集)」『数理解析研究所講究録』第1513巻、京都大学数理解析研究所、2006年8月、104-111頁、ISSN 18802818、NAID 110004786501、2021年4月1日閲覧。
- ^ 新宿・史跡文化財散策マップ 浄輪寺 関孝和の墓 - 新宿区観光協会
- ^ 田尻佐 編『贈位諸賢伝 増補版 上』(近藤出版社、1975年)特旨贈位年表 p.24
- ^ 『括要算法』刊行300 年を記念して
- ^ a b 中村佳正編『可積分系の応用数理』第6章
- ^ H.von.Nägelsbach. Arch. Math. Phys. 59. (1876) 147-192.
- ^ “零約術”. 数学の歴史博物館. December 23, 2020閲覧。
- ^ 長田直樹「関孝和と大成算経 (『大成算経』の数学的・歴史学的研究)」『数理解析研究所講究録』第1831巻、京都大学数理解析研究所、2013年4月、85-103頁、ISSN 1880-2818、NAID 120005554452。
- ^ 上野健爾「関孝和と江戸時代の数学」『学術の動向』第21巻第6号、日本学術協力財団、2016年、6_74-6_79、doi:10.5363/tits.21.6_74、ISSN 1342-3363、NAID 130005420498。
- ^ 関孝和・関流
参考文献
[編集]一次資料
[編集]二次資料
[編集]- 王青翔『「算木」を超えた男 もう一つの近代数学の誕生と関孝和』東洋書店、1999年
- 藤原正彦『天才の栄光と挫折 数学者列伝』新潮選書、2002年、文春文庫、2008年
- 佐藤賢一『コレクション数学史 5 近世日本数学史 関孝和の実像を求めて』東京大学出版会、2005年
- 下平, 和夫「科学史入門:関孝和と建部賢弘」『科学史研究』第30巻第178号、日本科学史学会、1991年、147-153頁、doi:10.34336/jhsj.30.178_147。
- 下平和夫『関孝和 江戸の世界的数学者の足跡と偉業』研成社、2006年
- 城地, 茂「関孝和伝記史料再考 : 一関博物館蔵肖像画・「寛政12 年関孝和略伝」・『断家譜』」『人間社会学研究集録』第4巻、大阪府立大学大学院人間社会学研究科、2009年2月、57-75頁、doi:10.24729/00002976。
- 平山諦『関孝和 その業績と伝記』恒星社厚生閣、1981年
- 平山諦『和算の歴史 その本質と発展』至文堂 日本歴史新書、1954。ちくま学芸文庫、2007年
- 村田全『日本の数学 西洋の数学』中公新書、1981。ちくま学芸文庫、2008年
- 小川束『和算 江戸の数学文化』中公選書、2021年
- 竹之内脩 『関孝和、人と業績』 日本数学会、2008
- 丸山, 清康「関孝和伝の問題点」『群馬文化』第5巻第10号、1961年10月1日、14-17頁。
- 『三上義夫著作集 第2巻 関孝和研究』日本評論社、2017。佐々木力総編集、柏崎昭文編集補佐
関連項目
[編集]外部リンク
[編集]- 電子復刻『発微算法』(関孝和)
- O'Connor, John J; Edmund F. Robertson "Takakazu Seki Kowa". MacTutor History of Mathematics archive.
- 四日市大学関孝和数学研究所