從《孫子算經》到秦九韶《數書九章》對一次同餘式問題的研究成果,在19世紀中期開始受到西方數學界的重視。1852年,英國傳教士偉烈亞力向歐洲介紹了 《孫子算經》的“物不知數”題和秦九韶的“大衍求一術”;1876年,德國人馬蒂生指出,中國的這一解法與西方19世紀高斯《算術探究》中關於一次同餘式 組的解法完全一致。從此,中國古代數學的這一創造逐漸受到世界學者的矚目,並在西方數學史著作中正式被稱為“中國剩餘定理”。
在中國數學史上,廣泛流傳著一個“韓信點兵”的故事:
韓信是漢高祖劉邦手下的大將,他英勇善戰,智謀超群,為漢朝的建立了卓絕的功勞。據說韓信的數學水平也非常高超,他在點兵的時候,為了保住軍事機密,不讓 敵人知道自己部隊的實力,先令士兵從1至3報數,然後記下最後一個士兵所報之數;再令士兵從1至5報數,也記下最後一個士兵所報之數;最後令士兵從1至7 報數,又記下最後一個士兵所報之數;這樣,他很快就算出了自己部隊士兵的總人數,而敵人則始終無法弄清他的部隊究竟有多少名士兵。
這個故事中所說的韓信點兵的計算方法,就是現在被稱為“中國剩餘定理”的一次同餘式解法。它是中國古代數學家的一項重大創造,在世界數學史上具有重要的地位。
最早提出並記敘這個數學問題的,是南北朝時期的數學著作《孫子算經》中的“物不知數”題目。這道“物不知數”的題目是這樣的:
“今有一些物不知其數量。如果三個三個地去數它,則最後還剩二個;如果五個五個地去數它,則最後還剩三個;如果七個七個地去數它,則最後也剩二個。問:這些物一共有多少?”
用簡練的數學語言來表述就是:求這樣一個數,使它被3除余2,被5除余3,被7除余2。《孫子算經》給出了這道題目的解法和答案,用算式表示即為:
用現代的數學術語來說,這幅“開方作法本源圖”實際上是一個指數為正整數的二項式定理係數表。稍懂代數的讀者都知道: 《孫子算經》實際上是給出了這類一次同餘式組 的一般解:
其中70、21、15和105這四個數是關鍵,所以後來的數學家把這種解法編成了如下的一首詩歌以便於記誦:
“三人同行七十(70)稀,
五樹梅花二一(21)枝。
七子團圓正半月(15),
除百零五(105)便得知。”
《孫子算經》的“物不知數”題雖然開創了一次同餘式研究的先河,但由於題目比較簡單,甚至用試猜的方法也能求得,所以尚沒有上升到一套完整的計算程式和理論的高度。真正從完整的計算程式和理論上解決這個問題的,是南宋時期的數學家秦九韶。秦
九韶在他的《數書九章》(見圖1一7一1)中提出了一個數學方法“大衍求一術”,系統地論述了一次同餘式組解法的基本原理和一般程式。
秦九韶為什麼要把他的這一套計算程式和基本原理稱為“大衍求一術”呢?這是因為其計算程式的核心問題是要“求一”。所謂“求一”,通俗他說,就是求“一個 數的多少倍除以另一個數,所得的餘數為一”。那么為什麼要“求一”呢?我們可以從“物不知數”題的幾個關鍵數字70、21、15中找到如下的規律:
圖1-7-1 文瀾閣四庫全書本《數書九章》書影
其中70是5和7的倍數,但被3除餘1;21是3和7的倍數,但被5除餘1;15是3和5的倍數,但被7除餘1,任何一個一次同餘式組,只要根據這個規律 求出那幾個關鍵數字,那么這個一次同餘式組就不難解出了。為此,秦九韶提出了乘率、定數、衍母、衍數等一系列數學概念,並詳細敘述了“大衍求一術”的完整 過程。(由於解法過於繁細,我們在這裡就不展開敘述了,有興趣的讀者可進一步參閱有關書籍。)直到此時,由《孫子算經》“物不知數”題開創的一次同餘式問 題,才真正得到了一個普遍的解法,才真正上升到了“中國剩餘定理”的高度。
相關詞條
-
餘數
餘數是指在整數的除法中,只有能整除與不能整除兩種情況。當不能整除時,就產生餘數,取餘數運算:a mod b = c(b不為0) 表示整數a除以整數b所得...
數學術語 在風水學中的套用 -
數學定理列表
數學定理列表(按字母順序排列) 以下列出了許多數學定理,供查閱與引用。
-
中國剩餘定理
中國剩餘定理也有人稱為“韓信點兵”,是由中國人首先提出的。
中國剩餘定理 相關條目 -
同餘定理
數論中的重要概念。給定一個正整數m,如果兩個整數a和b滿足a-b能夠被m整除,即(a-b)/m得到一個整數,那么就稱整數a與b對模m同餘,記作a≡b(m...
理論背景 同餘符號 性質 相關定理 -
孫子定理
孫子定理是中國古代求解一次同餘式組(見同餘)的方法。是數論中一個重要定理。又稱中國餘數定理。一元線性同餘方程組問題最早可見於中國南北朝時期(公元5世紀)...
公式 文獻 交換環上推廣 數論相關 例題解析 -
餘數系統
"餘數系統是一種無權的運算,各個模運算之間具有天然的獨立、並行特性
-
剩餘定理
《孫子算經》所給答案是N=23。 在第一組數中找出“除以7餘2”的最小數——30; 在第三組數中找出“除以3餘2”的最小數——35;
問題敘述 孫子算經之解法 現代數論求解 背景介紹 -
費馬小定理
費馬小定理(Fermat's little theorem)是數論中的一個重要定理,在1636年提出。如果p是一個質數,而整數a不是p的倍數,則有a^(...
發展簡史 驗證推導 定理意義 套用 Python程式碼 -
中國大學生數學競賽
2009年,第一屆全國大學生數學競賽(The Chinese Mathematics Competitions (簡稱CMC) 開始舉辦。作為一項面向本...
競賽簡介 歷屆情況 競賽組委會 競賽用書 競賽大綱