- 文化偉人代表作圖釋書系:算術(shù)研究
- (德)卡爾·弗里德里?!じ咚?/a>
- 2376字
- 2020-08-05 15:51:48
第3節(jié) 對于給定模求與給定剩余同余的數(shù)的方法
32
從上面的結(jié)論,解決問題“對于給定的模,求與給定剩余所同余的數(shù)的方法”是很容易的,在下面的討論中也會(huì)很有用。指定模A,B,我們求數(shù)z,對于模A,B分別與數(shù)a,b同余。所有z的值都形如Ax+a,x是未知數(shù),而且要滿足Ax+a≡b(mod B)?,F(xiàn)在如果數(shù)A,B的最大公約數(shù)是δ,同余方程的完整解的形式為x≡v(mod B/δ)或者用等價(jià)的等式表達(dá),x=v+kB/δ,k為任意整數(shù)。因此,公式Av+a+kAB/δ包括了z的所有值,即z≡Av+a(mod AB/δ)是這個(gè)問題的完整解。如果我們在模A,B的基礎(chǔ)上再加一個(gè)模C,并且對于模C,z≡c,我們可以按照同樣的方式開展,因?yàn)橄惹皟蓚€(gè)條件已經(jīng)合并為一個(gè)。因此,如果AB/δ和C的最大公約數(shù)為e,并且假設(shè)同余方程(AB/δ)x+Av+a≡c(mod C)的解為x≡w(mod C/e),那么問題的解完全可以通過同余方程z≡ABw/δ+Av+a(mod ABC/δe)解得。我們觀察到AB/δ是A和B的最小公倍數(shù),ABC/δ是數(shù)A,B和C的最小公倍數(shù),那么容易推出不論有多少個(gè)模A,B,C,…,如果它們的最小公倍數(shù)是M,全部的解都可以用z≡r(mod M)來表示。但是當(dāng)并非所有的輔助同余方程都可解時(shí),我們斷定這個(gè)問題存在不可解的情況。但是顯然,當(dāng)所有的數(shù)A,B,C,…互質(zhì)時(shí),這種情況是不可能發(fā)生的。
例如,令數(shù)A,B,C,a,b,c分別為504,35,16,17,-4,33。這里的兩個(gè)條件z≡17(mod 504)和z≡-4(mod 35)等價(jià)于一個(gè)條件z≡521(mod 2520),加上條件z≡33(mod 16),我們最終得到z≡3041(mod 5040)。
33
當(dāng)所有數(shù)A,B,C,…都互質(zhì),可知它們的乘積是它們的最小公倍數(shù)。在這種情況下,多個(gè)同余式z≡a(mod A),z≡b(mod B),z≡c(mod C)…合起來就與單個(gè)同余式z≡r(mod R)等價(jià),式中R是數(shù)A,B,C,…的乘積。反過來,單個(gè)條件z≡r(mod R)也可以分解為多個(gè)條件,即如果R以任意方式分解為互質(zhì)的因數(shù)A,B,C,…,那么條件z≡a(mod A),z≡b(mod B),z≡c(mod C),…就把原始條件全部涵蓋。這條結(jié)論不僅提供了一個(gè)發(fā)現(xiàn)方程無解的快捷的方法,也是一種令人滿意的、優(yōu)雅的運(yùn)算方式。
34
如上,令z≡a(mod A),z≡b(mod B),z≡c(mod C)。將所有模都分解為互質(zhì)的因數(shù):A分解為A′A″A?,…;B分解為B′B″B?,…;使得數(shù)A′,A″,…,B′,B″,…要么都是質(zhì)數(shù),要么都是質(zhì)數(shù)冪。如果數(shù)A,B,C,…中的任何一個(gè)數(shù)已經(jīng)是質(zhì)數(shù)或質(zhì)數(shù)冪,則不用分解??芍?,上述條件可以用下面的條件來代替:z≡a(mod A′),z≡a(mod A″),z≡a(mod A?),…;z≡b(mod B′),z≡b(mod B″),…;…?,F(xiàn)在如果不是所有的數(shù)A,B,C,…都互質(zhì)(例如A和B非互質(zhì)),顯然A,B的所有質(zhì)除數(shù)并非都各不相同。在因數(shù)A,A″,A?,…中必定有一個(gè)因數(shù)在B′,B″,B?,…能夠找到等于它,或是它的倍數(shù),或是它的除數(shù)的因數(shù)。假設(shè)第一個(gè)可能性是A′=B′。那么條件z≡a(mod A′)和條件z≡b(mod B′)必定相同,即a≡b(mod A′或B′),因此其中一個(gè)可以忽略。但是如果z≡a(mod A′)不成立,這個(gè)問題就無解。其次,假設(shè)B′是A′倍數(shù),那么條件z≡a(mod A′)就一定包含在條件z≡b(mod B′)中,即從后者推出的z≡b(mod A′)必須與前者相同。由此可以推出條件z≡a(mod A′)可以忽略,除非它與其他條件矛盾(如果這樣問題便無解)。當(dāng)所有多余的條件都忽略以后,因數(shù)A′,A″,A?,…;B′,B″,B?,…;…中剩下的模就都是互質(zhì)的。然后我們就能確定問題是否可解,并按照上文描述的方法求解。
35
例如,如果按照上文(參考條目32),z≡17(mod 504),z≡-4(mod 35)和z≡33(mod 16),那么這些條件可以分解為下面的條件:z≡17(mod 8),z≡17(mod 9),z≡17(mod 7),z≡-4(mod 5),z≡-4(mod 7),z≡33(mod 16)。在這些條件中,z≡17(mod 8)和z≡17(mod 7)可以忽略,因?yàn)榍罢咭呀?jīng)包含在條件z≡33(mod 16)中,后者同于條件z≡-4(mod 7)。還剩條件

并且從這些條件我們有z≡3041(mod 5040)。顯然,通常這樣做會(huì)比較方便:把從同一個(gè)條件推導(dǎo)出的剩下的條件分別重新組合:例如,當(dāng)條件z≡a(mod A′),z≡a(mod A″),…中的一些被去掉之后,剩下的全部條件可以用z≡a取代,它的模是A′,A″,A?,…中所有剩下的模的乘積。因此,在我們的例子中,條件z≡-4(mod 5),z≡-4(mod 7)都被條件z≡-4(mod 35)所取代。進(jìn)一步可知,就簡化計(jì)算來說,去掉多余的條件并不是無關(guān)緊要的。但是,討論這些內(nèi)容或其他具體的技巧并不是我們的目的,這些方法的學(xué)習(xí)通過自己實(shí)踐比聽他人講述更加容易。
36
當(dāng)所有的模A,B,C,D,…都彼此互質(zhì),通常采用下面的方法更好。確定一個(gè)數(shù)α,它對于模A同余于1,而對于剩余所有模的乘積同余為0,即α是BCD…乘以表達(dá)式1/BCD…(mod A)的一個(gè)值(優(yōu)先選取最小值)(參考條目32)。類似地,令β≡1(mod B)及β≡0(mod ACD…),γ≡1(mod C)及γ≡0(mod ABD…),…。因此,如果我們求z使得它對于模A,B,C,D,…分別同余于a,b,c,d,…,我們可以取
z≡αa+βbγc+δd+…(mod ABCD…)
因?yàn)?,顯然αa≡a(mod A)且剩下所有的數(shù)βb,γc,δd,…都對于模A同余為0,所以z≡a(mod A)。對于其他的模可以做類似證明。當(dāng)我們解幾個(gè)同樣類型的問題,它們中的所有的模A,B,C,…的值保持不變,那么這種解法要優(yōu)于前一種解法,因?yàn)?span id="fzkvqhx" class="kindle-cn-italic">α,β,γ,…取同樣的值。在年代學(xué)中有這樣的問題:給定某年的小紀(jì),黃金數(shù)以及太陽活動(dòng)周,確定它的儒略年份。在這里可以取A=15,B=19,C=28;因?yàn)楸磉_(dá)式1/(19×28)(mod 15)或1/532(mod 15)的值是13,所以α=6916,按照同樣的方法可得β=4200和γ=4845。因此,我們要求的數(shù)是6916a+4200b+4845c的最小剩余,其中a是小紀(jì),b是黃金數(shù),c是太陽活動(dòng)周。
- 走進(jìn)奇妙的數(shù)學(xué)世界(小學(xué)一二年級(jí))
- 數(shù)學(xué)星球:人類文明與數(shù)學(xué)(萬物皆數(shù)學(xué))
- 武俠數(shù)學(xué)
- Blockchain for Business 2019
- 瘋狂的數(shù)學(xué)游戲
- 迷人的邏輯題
- 其實(shí)你對數(shù)學(xué)的誤會(huì)很大(共5冊)
- 數(shù)學(xué)教學(xué)論
- 別說你不懂?dāng)?shù)學(xué)
- 數(shù)學(xué)的雨傘下:理解世界的樂趣
- 中國數(shù)學(xué)雙基教學(xué)的史與思
- 救命的數(shù)學(xué)
- 越玩越聰明的印度數(shù)學(xué)和孫子算經(jīng)
- 數(shù)學(xué)原來可以這樣學(xué):初中篇
- 硅谷工程師爸爸的超強(qiáng)數(shù)學(xué)思維課:激發(fā)孩子的數(shù)感天賦