《數理精蘊》之有理與無理數及其他比例數.docx

1-

《數理精蘊》之有理與無理數及其他比例數

上傳書齋名：瀟湘館112XiāoXiāngGuǎn112

何世強HoSaiKeung

提要：《數理精蘊》有題目涉及現代數學所謂“有理數”與“無理數”。“有理數”可以度盡，“無理數”則不可也。此外本文尚涉及其他之比例數。

關鍵詞：有理數無理數度盡數正方數度盡

本文取材自清初《御製數理精蘊?上篇?卷五?面部二?勾股》。

筆者已有文名為〈再談《數理精蘊》之連比例三率法及內插項數〉，本文乃其延續。

本文主要談及現代數學所謂“有理數”與“無理數”。據《數理精蘊》所云，有部分之“無理數”可以以作圖法作出。所以“有理數”與“無理數”之概念並非純粹為現代數學。

〈第二十六條〉

凡兩線、兩面、兩體用“一度”﹝如尺寸之屬﹞，可以度盡者，此類之線、面、體皆為“有整分”可以度盡者也。設如有甲、乙兩線，甲線分為五分，乙線如甲線度分之得七分無餘，則此二線即為“一度”，彼此可以度盡者矣。

甲 5分

乙 7分

“無餘”指無“不盡之小數”。本節可算談及現代數學所謂“有理數”與“無理數”。例如上圖甲線為5分，乙線為7分，此兩線之長度為準確值，是為“一度”度盡，是為“有整分”﹝有整數之尺、寸、毫、釐…﹞，是為現代之“有理數”。

若將此二線各為正方面，各為正方體，則其兩面、兩體亦皆為“整分”，彼此可以“度盡”者也。

52=25 72=49

53=125 73=343

以上文意指以5分作一正方面及一正立方體，則分別得25方分及125立方分，兩數皆為整數，皆為“有整分”。

又以7分作一正方面及正立方體則分別得49方分及343立方分，兩數亦為整數，亦為“有整分”。

以上之說可以推廣，若一邊為整數，則此邊所作成之面積與體積皆必為整數。

若將以上之說法進一步推廣，若a為有理數，則a2、a3、a4、a5……，均為有理數。

《數理精蘊》曰：

至如兩線兩面、兩體不可以一度度盡者，此類之線、面、體皆為無整分可以度盡者也。如丙丁、戊己方面其丙丁邊線為五分，而丙戊對角線則為七分有餘，乃為彼此無度盡之數矣。

己 5 丙

5 √50=7.07107…

戊 丁

葢以丙丁邊之五分為度，則丙戊線得七分有餘，或將丙戊線為七分整而以其分為度，則丙丁線得五分不足，凡此類之線、面、體皆為無整分，彼此可以度盡之數也。

《數理精蘊》以上圖說明何謂“無整分”，即不能寫成整數，含無理數義。“彼此無度盡之數”指對角線與邊、面、立體均無公因數。上圖為一正方形邊長5分，其對角線長7.07107…分，即7分有餘。

又如將對角線之長定為7分，則一邊之長為√24.5=4.949747…分，即邊長5分不足。

《數理精蘊》指出正方形若邊長為有理數，則其對角線必為無理數，反之，若對角線長為有理數，則其邊長必為無理數，即正方形邊長與對角線同時為有理數不能並存，此乃《數理精蘊》之結論。

若正方形邊長為有理數為a，則對角線長為(√2)a，為無理數﹝√2為無理數，無理數乘以有理數仍為無理數﹞；若對角線長為有理數b，則邊長為b2，即2b2，亦為無理數。注意無理數乘以無理數可能成為有理數，例如√2×√4.5=

√9=3

〈第二十七〉

凡正方一邊線與對角線無一度可以彼此度盡者，葢以本方積與對角線所成方積比之必有一數非正方數也。

夫對角線自乘所作之方數為本方積之二倍，如本方積一，則對角線所作之方為二，本方積四，則對角線所作之方為八，此一與二、四與八之間無相連比例之整數，故一為正方數，則二非正方數；四為正方數，而八亦非正方數，二與八既非正方數，則邊必有零餘而不能盡矣。

所謂“正方數”乃指一數經開方後所得之根為整數。例如1、4、9、16、25、36、……是為“正方數”。

本條《數理精蘊》以比例三率法証明正方形之一邊與其對角線不能同時為有理數。

《數理精蘊》有所謂連比例三率，乃指首率：中率=中率：末率。可寫成分數即首率中率=中率末率，移項得關係式中率2=首率×

若首率=u2，末率=v2，u與v同為整數，兩率乃兩正方形面積，相乘後得：

中率2=u2×v2=(uv)2，此亦為一正方形面積。

中率=uv，此為正方形之邊長，亦為整數。uv亦可視之為一長方形面積，見筆者另文。

反之，若uv為無理數，則u或v其中一數必為無理數。

若一正方形邊長為1或2，則其邊平方為1或4，其對角線平方為2或8，其“邊平方”稱為“本方積”，其“對角線平方”稱為“對角線方積”，見下圖。

對角線方積

2或8

本方積 1或4

本方積為正方數，則對角線方積不能成正方數圖

本方積面積