和算

和算家求橢圓周長的方法(二)(Wasan’s method of finding the formula of the circumference of an ellipse Ⅱ)

和算家求橢圓周長的方法(二)
(Wasan’s method of finding the formula of the circumference of an ellipse Ⅱ)

臺北市立和平高中教師黃俊瑋

連結:和算家求橢圓周長的方法(一)

如前文〈和算家求橢圓周長的方法(一)〉所述,和田寧是最早造出正確橢圓周長展開式的數學家,然而,他的主要著作皆在西元1836年的一場大火中付之一炬,因此,我們只得以他授予的弟子們的傳書,一窺他求解橢圓周長的方法。

和田寧的弟子小出兼政,依據和田寧所授之傳書編成《圓理算經》,該書〈上卷〉的第五部份裡,提出了求橢圓周長問題:「譬今有如圖橢圓,只言長徑若干,短徑若干,問得周長術如何?」作者造橢圓周長公式的過程中,主要是利用分割求和的積分方式,輔以各類「圓理表」。以下,筆者進一步說明並分析他求橢圓周長的過程。

假設橢圓之長軸長為 \(2a\)、短軸長為 \(2b\),首先,小出兼政先利用「截弦順法對橢圓之長軸作分割,配對得到 \(n\) 段,讀者請參考圖一,以分割成配對 \(5\) 等分的情況為例作說明。此分割法是以左右配對 \(5\) 等分割的方式,對橢圓之長軸作分割,使其滿足:

 \(\overline{{A_1}{B_1}}=\overline {{A_1}{A_2}}+\overline {{B_1}{B_2}}=\overline{{A_2}{A_3}}+\overline{{B_2}{B_3}}= \overline{{A_3}{A_4}}+\overline{{B_3}{B_4}}=\overline{{A_4}A}+\overline{{B_4}B}=\frac{{2a}}{5}\)

這和現代教科書中所用的等分割方式有所不同。

56347_p1

圖一\(~~\)截弦順法截橢圓之長軸

和算家求橢圓周長的方法(一)(Wasan’s method of finding the formula of the circumference of an ellipse Ⅰ)

和算家求橢圓周長的方法(一)
(Wasan’s method of finding the formula of the circumference of an ellipse Ⅰ)

臺北市立和平高中教師黃俊瑋

相較於圓周長與而言,橢圓周長是早期數學家們感到棘手的問題。一般而言,我們可以利用定積分法,求得橢圓的面積。

首先,不失一般性,我們可把橢圓的長軸固定在 \(x\) 軸的方向上,
則其標準方程式為:\(\frac{x^2}{a^2}+\frac{y^2}{b^2}=1\) (長軸半長為 \(a\),短軸半長為 \(b\))。
當我們考慮函數 \(y=\sqrt{b^2-\frac{b^2}{a^2}x^2}=\frac{b}{a}\sqrt{a^2-x^2}\) 時,可以利用定積分求得橢圓面積為第一象限部份面積的 \(4\) 倍(如圖一所示),即 \(ab\pi\)。特別地,當橢圓的長軸與短軸等長(亦即當 \(2a=2b\))時,可得圓面積公式 \(\pi a^2\)。

56346_p1

圖一\(~~\)橢圓面積為第一象限部份面積(黃色部份)之四倍

和算裡的弧長之冪級數公式(二)(The formula of arc length in the form of power series in Wasan Ⅱ)

和算裡的弧長之冪級數公式(二)
(The formula of arc length in the form of power series in Wasan Ⅱ)

臺北市立和平高中黃俊瑋教師

連結:和算裡的弧長之冪級數公式(一)

〈和算裡的弧長之冪級數公式(一)〉裡,介紹了和算家建部賢弘所造的弧長冪級數公式,本文中,我們將以建部賢弘所用的方法為例,說明當時的數學家如何造出與弧長相關的正確冪級數公式。

建部賢弘《綴術算經》書中所提出的第十二個問題為「探弧數」,當中他詳細地說明了如何造出弧長公式的方法。假設圓直徑為一尺,欲求某段「弧長之半的平方」之值,建部賢弘首先「截矢一忽之弧二斜,次截造四斜,次截造八斜,次截造十六斜,逐如此倍截之數,求各截半背冪,依累遍增約術,得定半背冪。」這裡他先利用了割圓的方式,計算出弧長的近似值,再以他發明的數值逼近方法「累遍增約術」,求得弧長近似值五十餘位,並稱之為「定半背冪」。

換句話說,上述定半背冪 \((\frac{s}{2})^2\) 這個數值,是建部賢弘所計算出,並認定正確的弧長近似值。
接著,建部據此數值,反過來探求弧長之冪級數公式。

和算裡的弧長之冪級數公式(一)(The formula of arc length in the form of power series in Wasan Ⅰ)

和算裡的弧長之冪級數公式(一)
(The formula of arc length in the form of power series in Wasan Ⅰ)

臺北市立和平高中黃俊瑋教師

早在中國漢朝《九章算術》裡,便出現了圓面積及弓形面積公式,然而,後者所給的僅是近似公式。隨著中算書的傳入,江戶時期日本數學家們對於圓周率與弧長公式的研究,卻深感興趣。前者顯然受到中國的影響,後者卻是十足的和算產物。譬如說吧,十七世紀初期,今村知商的《豎亥錄》(1639)就提出了新的弧長公式(其中,我們以 \(R\) 表示圓之直徑、\(c\) 表示弦、\(a\) 表示矢、以 \(s\) 表示弧長):

\(s = \sqrt {(R + \frac{a}{2}) \cdot 4a}\)

當然,這同樣也只是近似公式。若我們進一步考察和算早期發展過程所出現的弧長公式,多與

\(s = \sqrt {{c^2} + ({\pi ^2} – 4){a^2}}\)

和算中的行列式(5):拉普拉斯展開法(Determinants in Wasan (5): Laplace Expansion)

和算中的行列式(5):拉普拉斯展開法(Determinants in Wasan (5): Laplace Expansion)
國立臺南第一高級中學林倉億老師

連結:和算中的行列式(4):降階展開法

日本和算家對行列式展開的研究,在關孝和之後有了長足的進展。除了前文介紹過的井關知辰外,本文要介紹另一位和算家久留島義太 (Kurushima Yoshihiro, ?-1757)及其提出的行列式展開法,相當於今日所稱的「拉普拉斯 (Pierre-Simon Laplace, 1749-1827, 法國) 展開法」。

久留島義太屬於天才型的和算家,他對數學的認識並非來自老師的教導,而是從數學書《新篇塵劫記》中自學而來;後來與當時的和算家,特別是關流的和算家進行學術上的交流,豐富其數學研究的主題,並開拓新的研究領域,對後世和算的發展有著深遠的影響。因此,有人將他與關孝和、建部賢弘並稱為三大和算家。據後人的記載,久留島義太生性浪漫,雖然數學造詣很高,但沒有形成自己的門派,也沒有將著作出版,僅以稿本的形式在和算家間傳抄,身後留下《久氏遺書》一部。

和算中的行列式(4):降階展開法(Determinants in Wasan (4): The Reductive Algorithm)

和算中的行列式(4):降階展開法
(Determinants in Wasan (4): The Reductive Algorithm)
國立臺南第一高級中學林倉億老師

連結:和算中的行列式(3):關孝和的《解伏題之法》(下)

關孝和提出相當於今日的行列式求法後,吸引不少和算家相繼投入研究,不僅改正了關孝和算法中的錯誤(當行列式是五階以上時,所求得的值是錯的),也提出了新的算法。本文要介紹的,就是相當於今日高中課堂上俗稱的「降階展開法」,也稱為「范德蒙 (Vandermonde, 1735-1796, 法國) 展開法」。

在目前可見的文獻中,最早寫出這個算法的是井關知辰 (Izeki Tomotoki)。井關知辰在1690年所著的《算法發揮》上卷中,用「陽率」來稱呼行列式,而「陰率」則是行列式展開後的結果。例如,「平陽率」、「立陽率」、「三陽率」分別代表二階、三階、四階行列式,「平陰率」、「立陰率」、「三陰率」則代表對應的行列式展開式。井關知辰在書中最高列出了「四陽率」與「四陰率」,也就是五階行列式及其展開式,並寫下如何展開更高階「陽率」的方法。 

和算中的行列式(3):關孝和的《解伏題之法》(下)(Determinants in Wasan (3): Seki Takakazu’s Kai Fukudai no Ho (Methods of Solving Secret Questions), Part 2)

和算中的行列式(3):關孝和的《解伏題之法》(下)(Determinants in Wasan (3): Seki Takakazu’s Kai Fukudai no Ho (Methods of Solving Secret Questions), Part 2)
國立臺南第一高級中學林倉億老師

連結:和算中的行列式(2):關孝和的《解伏題之法》(上)

〈和算中的行列式(2):關孝和的《解伏題之法》(上)〉介紹了關孝和如何從解多元高次方程組中,發展出類似今日行列式的概念。然而,即便是今日,多元高次方程組求解仍是一件困難的工作。所以,關孝和能處理多元高次方程組,更顯得他在數學上的造詣深厚。以下透過幾個簡單的實例,讓讀者更熟悉關孝和的方法,也指出這個方法也有無能為力的時候。

例1:解 $$\left\{ \begin{array}{l} {(x – 1)^2} + {(y – 1)^2} = 1\\ {(x – 2)^2} + {(y – 2)^2} = 5\\ {(x – 3)^2} + {(y – 3)^2} = 13 \end{array} \right.$$。

【關孝和的方法】:

方程組可整理成 $$\left\{ \begin{array}{l} ({y^2} – 2y + 1) – 2x + {x^2} = 0\\ ({y^2} – 4y + 3) – 4x + {x^2} = 0\\ ({y^2} – 6y + 5) – 6x + {x^2} = 0 \end{array} \right.$$,

利用係數所成行列式 $$\left| {\begin{array}{*{20}{c}} {{y^2} – 2y + 1}&{ – 2}&1\\ {{y^2} – 4y + 3}&{ – 4}&1\\ {{y^2} – 6y + 5}&{ – 6}&1 \end{array}} \right| = 0$$,

但左式展開後各項均消去,得到 $$0=0$$ 的恆等式,而非 $$y$$ 的方程式,因此無從求 $$y$$ 之值。

和算中的行列式(2):關孝和的《解伏題之法》(上)(Determinants in Wasan (2): Seki Takakazu’s Kai Fukudai no Ho (Methods of Solving Secret Questions), Part 1)

和算中的行列式(2):關孝和的《解伏題之法》(上)
(Determinants in Wasan (2): Seki Takakazu’s Kai Fukudai no Ho (Methods of Solving Secret Questions), Part 1)
國立臺南第一高級中學林倉億老師

連結:和算中的行列式(1):創立者關孝和

關孝和《解伏題之法》(1683年)的主要內容是解多元高次方程組。他提出了六個步驟:真虛、兩式、定乘、換式、生剋、寄消。其中的第五個步驟「生剋」,就相當於今日將行列式展開的過程,其「生」(以紅色表示)、「剋」(以黑色表示)就是在決定展開後每一項的正、負號。以今日的術語來說,關孝和在書中提出相當於將二至五階行列式展開的方法,並寫下二至四階的行列式展開式。

以二階行列式為例,關孝和呈現的方式如下表一,

然後說乙丙相乘是「生」,丁甲相乘是「剋」,

用今日符號表示的話,就是 54862_eq1

關孝和還用下圖一來表示這規則。

54862_p1

和算中的行列式(1):創立者關孝和(Determinants in Wasan (1): Seki Takakazu, the originator)

和算中的行列式(1):創立者關孝和
(Determinants in Wasan (1): Seki Takakazu, the originator)
國立臺南第一高級中學林倉億老師

日本江戶時代 (1603-1867,即德川幕府時代) 的數學家在吸納了來自中國的數學知識後,獨立發展出許多新理論及新算法,後人就將這時期的數學稱為「和算」,這時期的數學家就稱為「和算家」。在這些和算家中,最突出也最具代表性的一位,就是關孝和。他不但被後世稱為「算聖」,更是世界上最早提出行列式的人之一。

我們對關孝和的生平所知不多,就連他是不是在1642年出生的,現在仍有爭議;不過,1708年離開人世,這殆無疑問。關孝和本姓內山,過繼給一位關姓武士後才改姓。關孝和是甲府宰相德川綱重及其子德川綱豐的家臣,擔任「勘定吟味役」的職位,相當於會計總管的職務。在德川綱豐成為德川將軍的養子後,關孝和也就成為幕府直屬的武士,官至「御納戶組頭」,負責幕府的用具。總而言之,關孝和在官途上並沒有什麼特別之處,就是以家臣的身份,為領主奉獻心力。

相較於平凡的仕途,關孝和在數學上的成果就更顯得非凡燦爛了。