《測圓海鏡》圓城圖之諸弦篇﹝1﹞說
《測圓海鏡》圓城圖之諸弦篇﹝1﹞說
上傳書齋名:瀟湘館112 Xiāo XiāngGuǎn 112
何世強 Ho Sai Keung
提要:《測圓海鏡》之“圓城圖式”含十四勾股形,連同原有之大勾股形共十五勾股形。此等勾股形三邊形成一系列之恆等式,本文主要談及各勾股形與諸弦相關之等式。
關鍵詞:諸弦、大弦、邊弦、黃長弦
《測圓海鏡》乃金‧李冶所撰,書成於 1248 年,時為南宋淳祐八年。該書卷一“圓城圖式”主要討論與十五勾股形相關之等式。
本文所引用之勾股式源自“圓城圖式”之十五勾股形,a1、b1、c1 乃最大勾股形天地乾之勾、股及弦長。故 a1、b1、c1 又稱為大勾﹝地乾﹞、大股﹝天乾﹞及大弦﹝天地﹞。
《測圓海鏡》之〈諸弦〉篇涉及諸勾股形之斜邊,本文重點在於証明諸弦之等式,諸弦之位置可參閱以下兩圖。
所有等式皆與十五勾股形有關。十五勾股形中最大者為天地乾,其三邊勾股弦分別以 a1、b1、c1 表之,其餘十四勾股形三邊之勾股弦則分別以 ai、bi、ci 表之,其中 1 < i ≦ 15。但 ai、bi、ci 均可以 a1、b1、c1 表之,此乃《測圓海鏡》之精髓。注意 i 為直角之點,亦可表一勾股形。另外勾股定理成立,即
ai2 + bi2 = ci2。
有關以 a1、b1、c1 表 ai、bi、ci 之式可參閱筆者另文〈《測圓海鏡》“圓城圖式”之十二勾股弦算法〉。
以下左為“圓城圖式”右為“圓城圖式十五句股形圖”。
注意圓徑為 a1 + b1 – c1,見上圖之東南西北圓。至於各弦之名稱及位置可參閱上兩圖。
以下為與諸弦有關之等式:
大弦為大勾與股圓差共。又為大股與勾圓差共。邊弦乃邊股平勾共。又為大股內減平弦上勾股較。底弦乃底勾髙股共。又為大勾內加一個髙差。黃廣弦為大股內減虛股。又為邊股
股共。黃長弦乃大勾內減虛勾。又為底勾明勾共。髙弦乃大差弦內減明弦。又為明弦虛弦共。平弦乃小差弦內減
弦。又為
弦虛弦共。大差弦乃大股內減大差勾。又為髙弦明弦共。又大弦內去黃長弦。小差弦為大勾內減小差股。又為平弦
弦共。又為大弦內去黃廣弦。
以下為各條目之証明:
大弦為大勾與股圓差共。
已知大弦﹝在勾股形天地乾﹞又名通弦(天地) = c1;“圓”指圓徑。
股圓差 = b1 – (a1 + b1 – c1) = c1 – a1。
大勾﹝在勾股形天地乾﹞又名通勾 = a1;
大勾與股圓差共 = a1 + c1 – a1 = c1。等號最右方是為大弦。
又為大股與勾圓差共。
已知大股﹝在勾股形天地乾﹞ = b1;
勾圓差 = a1 – (a1 + b1 – c1) = c1– b1,
大股與勾圓差共 = b1 + c1 – b1 = c1。等號右方是為大弦。
邊弦乃邊股平勾共。
已知天川邊弦﹝簡稱邊弦﹞:c2 =
(c1 + b1 – a1)。
天西邊股﹝簡稱邊股﹞:b2 = b1 –
(a1 + b1 – c1) =
(c1 + b1 – a1) 。
平勾在勾股形月川青 = a8 =
=
( a1 +b1 – c1) 。
平勾亦在勾股形川地夕= a9。
邊股平勾共 = b2 + a8 =
(c1 + b1 – a1) +
(a1 + b1 – c1)
=
(b1c1 + b12 –b1a1 + a12+ a1b1 – a1c1)
=
(b1c1 + c12 –a1c1)
=
(c1 + b1 – a1)。
比較兩式,可知邊弦 = 邊股平勾共。
又為大股內減平弦上勾股較。
平股在勾股形月川青。
已知平股 = b8 =
(a1 + b1 – c1)。平勾 = a8 =
=
( a1 +b1 – c1) 。
平弦上勾股較 = b8– a8 =
(a1 + b1 – c1) –
(a1 + b1 – c1)
=
(a1 + b1 – c1)(1 –
)
=
(a1 + b1 – c1)(b1 – a1)
=
(b12 –a12 – c1b1 + c1a1) 。
大股內減平弦上勾股較 = b1 –
(b12 –a12 – c1b1 + c1a1)
=
(2b12 – b12 + a12+ c1b1 – c1a1)
=
(b12+ a12 + c1b1 – c1a1)
=
(c12 + c1b1 – c1a1)
=
(c1 + b1 – a1)。
比較答案兩式可知相等,所以邊弦 = 大股內減平弦上勾股較。
底弦乃底勾髙股共。
底弦在勾股形日地北。底弦 = c3=
( a1 – b1 + c1) 。
北地底勾﹝簡稱底勾﹞= a3= a1 –
(a1 + b1 – c1) =
(a1 – b1 + c1) 。
髙股在勾股形天日旦= b6 =
=
( a1 +b1 – c1) 。
底勾髙股共 = a1+ b6 =
=
(a1 – b1 + c1) +
(a1 + b1 – c1)
=
(a12 – a1b1 + a1c1 + a1b1 + b12 –b1c1)
=
(c12 + a1c1 –b1c1)
=
(a1 – b1 + c1) 。
比較答案兩式,可知相等,所以底弦 = 底勾髙股共。
又為大勾內加一個髙差。
大勾在勾股形天地乾。已知大勾 = a1。
髙勾﹝即日旦或山朱﹞:a6 =
(a1 + b1 – c1)。
髙股﹝即天旦或日朱﹞:b6 =
=
( a1 +b1 – c1) 。
“髙差”即髙勾髙股差 = b6 – a6。
髙勾髙股差=
(a1 + b1 – c1) –
(a1 + b1 – c1)
=
(a1 + b1 – c1)(
– 1)
=
(a1 + b1 – c1)(b1 – a1)。
大勾內加一個髙差 = a1 +
(a1 + b1 – c1)(b1 – a1)
=
[2a12 + (b12 –a12 – c1b1 + c1a1)]
=
(b12+ a12 – c1b1 + c1a1)
=
(c12 –c1b1 + c1a1)
=
(a1 – b1 + c1) 。
比較答案兩式可知相等,所以底弦 = 大勾內加一個髙差。
黃廣弦為大股內減虛股。
已知天山黃廣弦﹝簡稱黃廣弦﹞= c4 =
(a1 + b1 – c1) 。
已知大股﹝在勾股形天地乾﹞ = b1 。
虛股即月泛股﹝又稱太虛股﹞= b13 =
=
(c1 – b1)(c1 – a1)。
大股內減虛股 = b1 –
(c1 – b1)(c1 – a1)
=
[a1b1 – (c12 –c1a1 – b1c1 + b1a1)]
=
[a1b1 – c12+ c1a1 + b1c1 – b1a1]
=
[ – c12 + c1a1 + b1c1]
=
(a1 + b1 – c1) 。
比較答案兩式,可知黃廣弦 = 大股內減虛股。
又為邊股
股共。
已知天西邊股﹝簡稱邊股﹞= b2= b1 –
(a1 + b1 – c1) =
(c1 + b1 – a1) 。
股在勾股形山川東。
股 = b15 =
=
(a1c1 – a12 –b1a1 –2b12 + 2b1c1)
=
(c1 – b1)(a1 – c1 + b1)。
邊股
股共 = b2+ b15 =
(c1 + b1 – a1) +
(c1 – b1)(a1 – c1 + b1)
=
(a1c1 + a1b1 – a12 + a1c1 – a12 – b1a1 – 2b12 + 2b1c1)
=
(2a1c1 – 2a12 –2b12 + 2b1c1)
=
(2a1c1 – 2c12+ 2b1c1)
=
(a1 + b1 – c1) 。
所以黃廣弦 = 邊股 +
股。
黃長弦乃大勾內減虛勾。
已知月地黃長弦﹝簡稱黃長弦﹞:c5 =
(a1 + b1 – c1) 。
大勾 ﹝在勾股形天地乾﹞= a1。
虛勾﹝在勾股形月山泛﹞ = a13 =(a1 + b1 – c1) –
(c1 – a1)
=
(b1a1 + b12 – b1c1 – a1c1 +a12)
=
(c1 – b1)(c1 – a1)。
大勾內減虛勾 = a1 – a13= a1 –
(c1 – b1)(c1 – a1)
=
[b1a1 – (c12 –c1a1 – b1c1 + a1b1)]
=
[b1a1 – c12+ c1a1 + b1c1 – a1b1]
=
[ – c12 + c1a1 + b1c1]
=
(a1 + b1 – c1) 。
所以黃廣弦 = 大勾內減虛勾。
又為底勾明勾共。
底勾在勾股形日地北。
已知北地底勾﹝簡稱底勾﹞= a3 = a1 –
(a1 + b1 – c1) =
(a1 – b1 + c1) 。
南月勾在勾股形日月南。
南月勾﹝又稱明勾﹞= a14=
(c1 – a1)(b1 – c1 + a1)。
底勾明勾共 = a3+ a14 =
(a1 – b1 + c1) +
(c1 – a1)(b1 – c1 + a1)
=
(b1a1 – b12+ b1c1 + 2a1c1 – a12 – c12– b1a1 + b1c1)
=
(2b1c1 +2a1c1 – 2c12)
=
(a1 + b1 – c1) 。
所以黃廣弦 = 底勾+明勾。
髙弦乃大差弦內減明弦。
已知天日上髙弦﹝簡稱上髙弦﹞:c6 =
( a1 +b1 – c1) 。髙弦可為 c7。
大差弦在勾股形天月坤。天月大差弦﹝簡稱大差弦﹞:c10 =
(c1 – a1) 。
日月為明弦﹝簡稱明弦﹞:c14 =
(c1 – a1)(b1 – c1 + a1)。
大差弦內減明弦 = c10 – c14 =
(c1 – a1) –
(c1 – a1)(b1 – c1 + a1)
=
(c1 – a1) [1 –
(b1 – c1 + a1)]
=
(c1 – a1)(2a1 – b1 + c1 – a1)
=
(c1 – a1)(a1 – b1 + c1)
=
(c1 – a1)( – b1 + c1 + a1)
=
(– b1c1 + b1a1 + c12 – a12)
=
(– b1c1 + b1a1 + b12)
=
( a1 +b1 – c1) 。
所以髙弦 = 大差弦內減明弦。
又為明弦虛弦共。
已知明弦 = c14=
(c1 – a1)(b1 – c1 + a1)。
虛弦在勾股形月山泛。虛弦﹝簡稱太虛弦﹞= c13 =
(c1 – b1)(c1 – a1)。
明弦虛弦共 = c14+ c13
=
(c1 – a1)(b1 – c1 + a1) +
(c1 – b1)(c1 – a1)
=
(c1 – a1)(b1 – c1 + a1 + 2c1 – 2b1)
=
(c1 – a1)( –b1 + c1 + a1)
=
(–b1c1 + b1a1+ c12 – a12)
=
(–b1c1 + b1a1+ b12)
=
(a1 + b1 – c1) 。
所以髙弦 = 明弦 + 虛弦。
平弦乃小差弦內減
弦。
已知月川上平弦﹝簡稱上平弦﹞= c8=
(a1 + b1 – c1) 。
山地小差弦﹝簡稱小差弦﹞= c11 =
(c1 – b1) 。
山川
弦﹝簡稱
弦﹞= c15 =
(c1 – b1)(a1 – c1 + b1)。
小差弦內減
弦 = c11 –c15 =
(c1 – b1) –
(c1 – b1)(a1 – c1 + b1)
=
(c1 – b1) [1 –
(a1 – c1 + b1)]
=
(c1 – b1) [2b1 – a1 + c1 – b1]
=
(c1 – b1) [b1 – a1 + c1]
=
(c1 – b1) [– a1 + c1 + b1]
=
(– a1c1 + a1b1 + c12 – b12)
=
(– a1c1 + a1b1 + a12)
=
(a1 + b1 – c1) 。
所以平弦 = 小差弦內減
弦。
又為
弦虛弦共。
已知
弦 = c15 =
(c1 – b1)(a1 – c1 + b1)。
虛弦 = c13=
(c1 – b1)(c1 – a1)。
弦虛弦共 =
(c1 – b1)(a1 – c1 + b1) +
(c1 – b1)(c1 – a1)
=
(c1 – b1)[
(a1 – c1 + b1) + (c1 – a1)]
=
(c1 – b1)[a1 – c1 + b1 + 2c1 – 2a1]
=
(c1 – b1)[–a1 + c1 + b1]
=
(– a1c1 + a1b1 + c12 – b12)
=
(– a1c1 + a1b1 + a12)
=
(a1 + b1 – c1) 。
所以平弦 =
弦虛弦共。
大差弦乃大股內減大差勾。
已知天月大差弦﹝簡稱大差弦﹞:c10 =
(c1 – a1) 。
大股﹝在勾股形天地乾﹞ = b1。
大差勾在勾股形天月坤,又稱坤月勾:a10 =
=
(c1 – a1) 。
大股內減大差勾 = b1 – a10= b1 –
(c1 – a1)
=
[b12 – a1c1+ a12]
=
[c12 – a1c1]
=
(c1 – a1)。
所以大差弦 = 大股內減大差勾。
又為髙弦明弦共。
已知髙弦 = c6=
( a1 + b1 – c1) 。明弦 = c14 =
(c1 – a1)(b1 – c1 + a1)。
髙弦明弦共 = c6 + c14=
( a1 + b1 – c1) +
(c1 – a1)(b1 – c1 + a1)
=
( a1 +b1 – c1) [1 +
(c1 – a1)]
=
( a1 +b1 – c1)(b1 + c1 – a1)
=
[b1 –(c1 – a1)](b1 + c1 – a1)
=
[b12 – (c1 – a1)2]
=
[b12 – c12 –a12 + 2c1a1]
=
[ – 2a12 + 2c1a1]
=
(c1 – a1)。
所以大差弦 = 髙弦 + 明弦。
又大弦內去黃長弦。
已知大弦﹝在勾股形天地乾﹞= c1。黃長弦在勾股形月地泉。
月地黃長弦﹝簡稱黃長弦﹞= c5 =
(a1 + b1 – c1) 。
大弦內去黃長弦 = c1 – c5 = c1 –
(a1 + b1 – c1)
=
(b1c1 – c1a1 – c1b1 + c12)
=
(– c1a1 + c12)
=
(c1 – a1)。
所以大差弦 = 大弦內去黃長弦,去,減也。
小差弦為大勾內減小差股。
已知小差弦﹝在勾股形山地艮﹞ = c11 =
(c1 – b1) 。大勾 = a1;
山艮股﹝又稱小差股﹞:b11 =
=
(c1 – b1) 。
大勾內減小差股 = a1 – b11= a1 –
(c1 – b1)
=
(a12 – b1c1 + b12)
=
(c12 – b1c1)
=
(c1 – b1)。
所以小差弦 = 大勾內減小差股。
又為平弦
弦共。
已知月川上平弦﹝簡稱上平弦﹞ = c8=
(a1 + b1 – c1) 。
山川
弦﹝簡稱
弦﹞= c15 =
(c1 – b1)(a1 – c1 + b1)。
平弦
弦共 = c8+ c15 =
(a1 + b1 – c1) +
(c1 – b1)(a1 – c1 + b1)
=
(a1 + b1 – c1) [1 +
(c1 – b1)]
=
(a1 + b1 – c1) [1 +
(c1 – b1)]
=
(a1 + b1 – c1)(a1 + c1 – b1)
=
[a1 –(c1 – b1)](a1 + c1 – b1)
=
[a12 – (c1 – b1)2]
=
[a12 – c12 –b12 + 2c1b1]
=
[ – 2b12 + 2c1b1]
=
(c1 – b1)。
所以小差弦 = 平弦
弦共。
又為大弦內去黃廣弦。
已知大弦=c1;黃廣弦 = c4=
(a1 + b1 – c1) 。
大弦內去黃廣弦 = c1 – c4 = c1 –
(a1 + b1 – c1)
=
(a1c1 – c1a1 – c1b1 + c12)
=
(– c1b1 + c12)
=
(c1 – b1)。
所以小差弦 = 大弦內去黃廣弦。
以下為《測圓海鏡細草》原文: