商高赵爽与刘徽关於勾股定理的证明.PDFVIP

商高、 趙爽與劉徽關於勾股定理的證明∗ 曲安京 一. 緣起 引發了新一輪 “商高是否證明了勾股定理”的 「周髀算經」 是流傳至今最古老的一部 討論。 天算典籍, 它的成書年代保守估計應在公元 1989 年, 台灣李 國偉先生在 “第二屆 前一世紀。 該書開篇記述周公與商高的問答, (台灣) 科學史研討會”上發表論文, 拋開趙爽 將中國數學史的源流回溯到公元前十一世紀, 注, 以為 「周髀」 原文已經表明商高證明了勾 由於商高的答辭 中論 述了勾股定理的 內容, 股定理[2]。 因此歷來深受研究者的重視。 幾乎同時, 陳良佐教授與美國程貞一先 勾股定理在中國傳統數學 (尤其是幾何 生亦發表論文, 再論商高答周公問, 他們給出 學) 中的重要性無論怎樣定位恐皆不會過分。 的證明圖幾乎一致, 但陳教授以為商高原文 遠在三國時代的趙爽注釋 「周髀」 並撰著 “句 尚有個別疑點, 只是求弦的方法, 未必稱得 股圓方圖說”之前, 有關勾股定理及勾股形問 上是對勾股定理的證明[3]; 而程貞一教授則 題的討論已經出現在 「周髀算經」 及 「九章算 主張, 商高已給出了該定理一個一般性的證 術」 等著作中, 但中算家究竟何時給予勾股定 明[4]。 理以嚴格的證明, 則是人們對商高答周公問 1993年, 西安李繼閔先生發表論文, 給 所寄寓濃厚興趣的原因所在。 出商高原文另一種不同解釋, 李繼 閔教授 本世紀五十年代, 中國大陸的數學史界 以為, 前述三位學者將術 文 中的 “矩”理解 曾就 「周髀」 中是否給出勾股定理一般形式 為直角四邊形, 缺乏 中算根據, 李文認為, 的證明, 展開過頗為熱烈的討論, 但終因其原 “矩”的古義一為 “矩線”, 一為 “磬折形”(即曲 文有關文字過於隱晦而難於疏通, 結果不了 尺形);“矩”演變為今 日 “矩形”的概念, 則是 了之。 明代西方數學傳入中國之後的事[5]。 1982年, 台灣陳良佐先生發表文章, 討 上述四種論點, 除陳良佐先生外, 皆力主 論趙爽的 “勾股圓方圖注”, 首次從探析趙爽 商高已證明勾股定理 , 李國偉先生以為趙爽 對 「周髀」 中商高答問一段文字注釋的角度, 注與原文難相吻合, 李繼閔先生則逐字訓解 給出了原文一些極富啟發性的說明[1], 由此 趙注, 認為它與經文完全一致。 ∗本文係筆者系列論文 “「周髀」 當論之四”。 寫作時, 多次與古克禮 ( C. Cullen) 博士討論, 承惠予指點, 獲益良多, 特此致謝。 20 商高、 趙爽與劉徽關於勾股定理的證明 21 1994年 10 月底, 筆者受紐約李氏基金 曆度 , 夫天可不階而升 , 地不可 資助到英國劍橋李約瑟研究所做為期一年的 得尺寸而度 , 請問數安從 出?”商高 訪學, 11 月中, 倫敦大學古克禮 (C. Cullen) 曰:“數之法 出於 圓方, 圓出於