關孝和(1642年—1708年12月5日),通稱新助,字子豹,號自由亭,是日本江戶時代數學家。關孝和在日本數學史上有重要地位,是數學流派「關流」的開山鼻祖,被日本人稱為「算聖」[1]。他的主要貢獻包括發展了筆算代數「傍書法」,提出方程組求解理論並發展出行列式判別式等概念,建立有關圓弧幾何問題的理論(後來被稱為「圓理」)等等[2]。主要著作有《發微算法》、《括要算法》(死後由弟子出版)、《三部抄》、《七部書》(弟子間秘密流傳)等等。

關孝和
關孝和
出生寬永19年(1642年)?
江戶
逝世寶永5年10月24日(1708年12月5日)
江戶
職業日本江戶時代數學家
日語寫法
日語原文関 孝和
假名せき たかかず
平文式羅馬字Seki Takakazu

生平

 
關孝和

關孝和出身武士家庭。父親內山永明,本姓安間,與養父同為駿河大納言德川忠長屬下任職。1632年,大納言被幽禁在上野國高崎,內山永明也到上野國隱居。1639年,又被召到江戶供職,全家移居江戶[3]。關孝和原來姓內山,後來被過繼到一個叫做關五郎左衛門的武士家中,因而改姓[4]。關孝和在孩童時候就表現出超人的數學天賦,被稱為神童。長大後,他繼承關氏家業,曾在甲府宰相德川綱重與其子德川綱豐家做過勘定吟味床役(相當於會計檢查官),掌管財賦。1704年12月,德川綱豐成為第五代幕府將軍德川綱吉的養子而進江戶城的西之丸,孝和也因此成為幕府直屬的武士,官至御納戶組頭,直到1706年11月退休[3]

1708年10月24日,關孝和病逝,葬於江戶的牛込七軒寺町淨輪寺.諡號法行院宗達日心居士[3]

數學成就

關孝和的數學著作有近二十本,但大都在1685年之前寫成。他生前發表的著作只有一部《發微算法》。他的學術成就主要有「傍書法」、演段術、行列式、「零約術」、圓理等。

傍書法和演段術

關孝和在他的《三部抄》中闡述了「傍書法」和演段術。「傍書法」是用來表示方程式的方法。關孝和把未知數用甲乙來表示,把係數和加減乘除運算標在未知數的旁邊。這樣可以簡潔地表示方程式或方程組。以「傍書法」為基礎,關孝和介紹了一系列解方程式和方程組的算法,並稱之為「天元演段術」,之後又歸納為「歸原整法」。後來的「關流」弟子稱這種方法為「點竄法」[3][5]

代數方程式求解和行列式理論

在《三部抄》的最後一部《解伏題之法》中,關孝和研究了各類代數方程式與方程組的解法。他使用將方程組中不同方程式乘以不同的係數或算式後相減的方法來消去未知數,得到一元的(高次)方程式,然後求數值解。其中主要有略、省、約、縮、疊、括六種方法。「略」是指將一個方程式乘以一個算式後從另一方程式中減去;「省」是指將一個方程式的各項中的公因式約去;「約」是指將一個方程式的各項中的公因數約去;「縮」則是指當兩個方程式中都只有未知數 的偶數次冪時,用未知數的平方 代替 ,得到次數較低的方程式的方法;「疊」是指將兩個方程式分別乘以一個算式再相減以消去某些項;「括」是把未知數的相同冪次的係數合起來,即合併同類項[3]。做這樣的消去法時,關孝和只將方程式的係數縱橫寫成方陣的形式,實際上就是行列式。關孝和還提出了兩種計算行列式的值的方法:逐式交乘法和交式斜乘法。

曲線求長和立體求積

關孝和創立的求曲綫長度、曲邊圖形面積或立體體積的方法被後來的和算家稱為圓理。其研究主要記載在《括要算法》的第四卷中。其中包括「求圓周率術」、「求弧矢弦率術」和「求立圓積率術」。關孝和曾經求得圓周率的小數點後11位小數,但他無法確定其準確度。求弧長時關孝和建立了類似牛頓插值公式的方法,可以說是和牛頓差不多時間發現了這一公式。此外,他還通過「増約術」求得球體的體積公式。

教育事業

關孝和是一個傑出的教育家,曾經師從於他的有數百人。其中,最突出的有荒木村英建部賢弘建部賢明日語建部賢明兩兄弟。關孝和的弟子構成了一個龐大的數學流派——關流。

參見

參考文獻

引用

  1. ^ 彰師大數學系數學史,《關孝和》. [2010-03-12]. (原始內容存檔於2004-08-24). 
  2. ^ 曹亮吉,《和算──日本的傳統數學(一)》,《科學月刊》1987年02月206期. [2014-10-16]. (原始內容存檔於2014-10-20). 
  3. ^ 3.0 3.1 3.2 3.3 3.4 吴培群,《关孝和》. [2010-03-12]. (原始內容存檔於2010-01-30). 
  4. ^ Joshi Shigeru, Seki Takakuzu's Biography and "Kanjo-gata Wasan Era" (PDF). [2010-03-12]. (原始內容 (PDF)存檔於2014-12-01). 
  5. ^ 蘇意雯,天元術vs.點竄術. [2010-03-12]. (原始內容存檔於2016-03-04). 

來源