《海岛算经》题解.docVIP

《海島算經》題解 (資料來源：吳文俊，吳文俊文集（數學史部份），頁54-73，山東教育出版社，1986) (單位轉換：1里=180丈=1800尺，1丈=10尺，1步=6尺，1尺=10寸) 【一】望海島 今有望海島，立兩表，齊高三丈，前後相去千步，令後表與前表參相直。從前表卻行一百二十三步，人目著地取望島峯，與表末參合。從後表卻行一百二十七步，人目著地取望島峯，亦與表末參合。問島高及去表各幾何？ 答曰：島高四里五十五步；去表一百二里一百五十步。 術曰：以表高乘表間為實，相多為法，除之。所得加表高，即得島高。求前表去島遠近者：以前表卻行乘表間為實，相多為法。除之，得島去表數。 証： 從與得 ， 又從與得 ， 相減得 。 或 後表卻行×(島高–表高) – 前表卻行×(島高–表高) = 表間×表高 由此即得島高公式 又從得 前表去島×表高 = 前表卻行×(島高–表高)。 應用島高公式即得 【二】望松 今有望松生山上，不知高下。立兩表齊，高二丈，前後相去五十步，令後表與前表參相直。從前表卻行七步四尺，薄地遙望松末，與表端參合。又望松本，入表二尺八寸。复從後表卻行八步五尺，薄地遙望松末，亦與表端參合。問松高及山去表各幾何？ 答曰：松高一十二丈二尺八寸；山去表一里二十八步、七分步之四。 術曰：以入表乘表間為實。相多為法，除之。加入表，即得松高。求表去山遠近者：置表間，以前表卻行乘之為實。相多為法，除之，得山去表。 証： 先將松高圖與海島圖比較，視為海島，則表去島即此處之表去山，故由海島公式得 其次將前表兩測從松高圖中割裂而作松高輔助圖， 則從與得 ， 又從與得 ， 兩式相減得 ， 或即 前表卻行×松高 – 前表卻行×入表 = 表去山×入表。 由此得 這一公式在以後經常用到將稱之為松高輔助公式。以表去山公式代入這一輔助公式，即得所求松高公式。 【三】望邑 今有南望方邑，不知大小。立兩表東、西去六丈，齊人目，以索連之。令東表與邑東南隅及東北隅參相直。當東表之北卻行五步，遙望邑西北隅，入索東端二丈二尺六寸半。又卻北行去表一十三步二尺，遙望邑西北隅，適與西表相參合。問邑方及邑去表各幾何？ 答曰：邑方三里四十三步、四分步之三；邑去表四里四十五步。 術曰：以入索乘後去表，以兩表相去除之，所得為景差；以前去表減之，不盡以為法。置後去表，以前去表減之，餘以乘入索為實。實如法而一，得邑方。求去表遠近者：置後去表，以景差減之，餘以乘前去表為實。實如法而一，得邑去表。 証： 添作與。從勾股相似形與得 (景差) (=) 稱為景差，即得所求景差公式。 今將上圖與海島圖比較，視為海島，，為前後兩表，島高與去島公式即各變為邑方與邑去表公式 【四】望谷 今有望深谷，偃矩岸上，令句高六尺。從句端望谷底，入下股九尺一寸。又設重矩于上，其矩間相去三丈。更從句端望谷底，入上股八尺五寸。問谷深幾何？ 答曰：四十一丈九尺。 術曰：置矩間，以上股乘之，為實。上、下股相減，餘為法，除之。所得以句高減之，即得谷深。 証： 從與得 。 從與得 。 相減得 。 因 = 勾高 × (下股 – 上股)， = 間矩×上股， = 谷深 × (下股 – 上股)， 故得 谷深×(下股–上股) = 間矩×上股 – 勾高×(下股–上股)。 (=) 【五】望樓 今有登山望樓，樓在平地。偃矩山上，令句高六尺。從句端斜望樓足，入下股一丈二尺。又設重矩于上，令其間相去三丈。更從句端斜望樓足，入上股一丈一尺四寸。又立小表于入股之會，復從句端斜望樓岑端，入小表八寸。問樓高幾何？ 答曰：八丈。 術曰：上下股相減，餘為法；置矩閒，以下股乘之，如句高而一。所得，以入小表乘之，為實。實如法而一，即是樓高。 証： 視為山上之松，為前表，却行至以望松。則從望松輔助公式得 從勾股相似形與得 視為深谷，則從望谷公式得 由此諸式即得望樓公式 【六】望波口 今有東南望波口，立兩表南、北相去九丈，以索薄地連之。當北表之西卻行去表六丈，薄地遙望波口南岸，入索北端四丈二寸。以望北岸，入前所望表里一丈二尺。又卻後行去表一十三丈五尺。薄地遙望波口南岸，與南表參合。問波口廣幾何？ 答曰：一里二百步。 術曰：以後去表乘入索，如表相去而一。所得，以前去表減之，餘以為法；復以前去表減後去表，餘以乘入所望表里為實，實如法而一，得波口廣。 証： 補作等綫，今與望松題2相比較，令圖中，，， ，則，。今依望松公式有 或即 從勾股相似形與得 或即 以所得相多代入前波口廣公式，即得望波口公式 【七】望清淵 今有望清淵，淵下有白石