孙子剩余定理与高斯剩余定理.PDFVIP

數學傳播 35 卷 3 期, pp. 64-79 孫子剩餘定理與高斯剩餘定理 王翼勳 1. 引言 同餘理論是文藝復興時期的產物。 1801年高斯 「算術研究」 系統發展同餘理論, 其中一些 主要的結果, 已經為像費馬和歐拉這樣更早期的數學家所知。 1881年, 德國學者馬蒂生首先指出, 4世紀 「孫子算經」 物不知數問題的解法和高斯方法 一致。 此後西方著作中就將上述解法稱作中國剩餘定理。 我國秦 「顓頊曆」 等古六曆採用積年。 公認西漢末劉歆明確引入上元概念, 並實際計算了 三統曆和古四分曆的上元積年數據。 從劉洪 「乾象曆」(223年) 起, 八十餘家曆法都列出上元以 來積年數據作為曆法的第一條數據, 直到元郭守敬 「授時曆」(1280年) 才予廢止。 1208年 「開禧曆」 演紀積年法, 本身就是傳統曆法整數論近千年演繹的結晶, 是偉大數學 家高斯 「算術研究」 之前, 一個完整的整數論體系。 本文分析傳統曆法整數論的基礎: 滿去式、 週期齊同原理和以奇入算原理 , 對比高斯、 秦 九韶原文原術原意, 從而斷定, 以伴隨數為特徵的高斯剩餘定理 , 和可能以乘率為特徵的孫子剩 餘定理 , 都受曆法編制刺激而產生, 在各 自的文明背景中成長, 是同一個數學現象上的奇葩和碩 果。 1.1. 物不知數題 公元 4 世紀 「孫子算經」[1]有一道物不知數題: 今有物不知其數, 三三數之剩二, 五五數之剩三, 七七數之剩二。 問物幾何? 答曰: 二十三。 術 曰: 三三數之剩二, 置一百四十; 五五數之剩三, 置六十三; 七七數之剩二, 置三十。 並 之, 得二百三十三, 以二百一十減之, 即得。 凡三三數之剩一, 則置七十; 五五數之剩一, 則置二 十一; 七七數之剩一, 則置十五。 一百六以上, 以一百五減之, 即得。 由此而提煉歸納出的定理 , 一般稱孫子剩餘定理 , 世稱中國剩餘定理。 64 孫子剩餘定理與高斯剩餘定理 65 剩餘定理在不定分析史上佔有極重要地位, 相關解法的原則反映在插入理論、 代數理論及 算子理論 (泛函分析) 之中, 在計算機的設計中也有重要的應用。 古代民間長期流傳著具有類似的數學遊戲, 名稱很多, 如 「隔牆算」、 「翦管術」、 「秦王暗點 兵」、 「韓信點兵」、 「鬼谷算」 等等。 1592年, 明代數學家程大位 「算法統宗」 一書所載 「孫子歌」, 遠渡重洋 , 輸入 日本, 以口 訣形式, 介紹了 70、21和 15三個數字的妙用: 三人同行七十稀, 五樹梅花廿一枝, 七子團圓正月半, 除百令五便得知。 1.2. 物不知數題在西方的歷程 中國不定分析史料在西方的歷程, 是數學史上一個重要的課題[2]。 李儼[3]最早簡略提及馬蒂生、 康托、 三上義夫和赫師慎的工作。 近年, 楊瓊茹[4]詳盡收集東西方相關史料, 增加了朝鮮數學家慶善徵 (1616∼?)、 黃胤錫 (1729-1791) 內容, 有力地推動了這個課題的研究。 在歐洲[5], 和秦九韶同時代的義大利數學家斐波那契 (1170 ∼ 1250), 在 「計算之書」[6] (1202) 中給出了兩個一次同餘問題, 從形式到數據, 都和物不知數題相仿。 1734年, 歐拉在 Comm. Acad, (Petrop., 7, 1734-5, 46-66; Comm. Arith. Coll., I, 11-20) 一文研究了不定方程和一次同餘式 的解法[7]。 1801年, 高斯寫下 「算術研究」[8], 完善了同餘理論。 1839年 3 月畢甌在 「亞洲雜誌」(Journal Asiatique) 上發表了十二卷本 「算法統宗全書 總 目」。 卷五最後, 畢甌介紹了 「孫子算經」 的物不知數題, 但沒有給出解法。 1852年英國傳教士偉烈亞力[7] (A. Wylie, 1815∼1887) 在上海英文週報 「北華捷報」 上 發表 「中國數學科學札記」, 用秦九韶大衍術解釋物不知數題, 引起了歐洲學者的重視。