関孝和
[Wikipedia|▼Menu]
『古今算法記』巻末の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]。しかし以後、連立高次方程式に帰着される問題は、和算の中心的課題ではなくなった。

また数値解析で数値解を求めるには、実数の定性的な性質(存在範囲・重根・個数)を解明し、効率的なアルゴリズムを確立しなけらばならない。関はホーナー法の収束を改善するため、ある精度から先は高次の項を省略する、ニュートン法同値の方法を提案した。また重根の存在条件を示した。これは元の方程式とその導多項式が共通解を持つための条件にほかならず、先の消去の理論の応用である。
主な門下生

建部賢明
:関孝和、弟の賢弘と共に『大成算経』を編纂した[8]

建部賢弘:建部賢明の弟。『発微算法』を解説した『発微算法演段諺解』を編纂した[9]

荒木村英:関孝和の遺著を整理して『括要算法』を編纂した[10]

脚注[脚注の使い方]
注釈^ 孝和が作成に携わった甲斐国絵図は17世紀後期に成立したと考えられているII型図(山梨県立博物館学芸員高橋修による分類)で、甲府徳川家家中において領内統治のために作成された。正保国絵図の影響を受け、甲斐独自の地域区分である九筋二領などの情報を盛り込んだものと評価されている。甲斐国絵図については高橋修「近世甲斐国絵図論序説-山梨県立博物館所蔵甲斐甲斐国絵図との対話-」『山梨県立博物館研究紀要』(第2集、2008)を参照
^ 読み札は「せきたかかず」でなく「せきこうわ」である。
^ 中村佳正編『可積分系の応用数理』第6章、裳華房、2000年、ISBN 4-7853-1520-2 には「3.1415926535微弱」と書かれているが、村田全「日本の数学 西洋の数学」によれば「3.14159265359微弱」と書かれている。関の「括要算法」巻四には「三尺一寸四分一厘五毛九糸二忽六微五繊三沙五塵九埃微弱」の記述が見られる。
^ 微弱は桁の丸め方を示す言葉である。関の「天文数学雑著」によると「九以上収めて一としこれを微弱という、五以上収めて一としこれを弱という」
^ ヤコブ・ベルヌーイの仕事が公開されたのは関の死後である。
^ 朱世傑著『四元玉鑑』では2次元の配列を用いて、最大4変数まで扱えるようにしているが、これ以上の一般化は不可能だった。
^ この問題は最近になって、これより簡単な方程式が得られず、そしてただ一つの実数解を持つことが確かめられた。

出典^ 杉本敏夫「関孝和の天文暦学研究 (数学史の研究 RIMS研究集会報告集)」『数理解析研究所講究録』第1513巻、京都大学数理解析研究所、2006年8月、104-111頁、.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}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.
^ “ ⇒零約術”. 数学の歴史博物館. 2020年12月23日閲覧。
^ 長田直樹「関孝和と大成算経 (『大成算経』の数学的・歴史学的研究)」『数理解析研究所講究録』第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。 
^ 関孝和・関流

参考文献
一次資料

『関孝和全集』
平山諦下平和夫広瀬秀雄編、大阪教育図書、1997年

『關孝和の「発微算法」―原本影印』和算研究所

『関孝和全集』3巻組、上野健爾・小川束編、岩波書店、2023年

二次資料

王青翔『「
算木」を超えた男 もう一つの近代数学の誕生と関孝和』東洋書店、1999年

藤原正彦『天才の栄光と挫折 数学者列伝』新潮選書、2002年、文春文庫、2008年

佐藤賢一『コレクション数学史 5 近世日本数学史 関孝和の実像を求めて』東京大学出版会、2005年

下平和夫『関孝和 江戸の世界的数学者の足跡と偉業』研成社、2006年

平山諦『関孝和 その業績と伝記』恒星社厚生閣、1981年

平山諦『和算の歴史 その本質と発展』至文堂 日本歴史新書、1954。


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:31 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef