• 沒有找到結果。

元數與同餘式組

N/A
N/A
Protected

Academic year: 2022

Share "元數與同餘式組"

Copied!
7
0
0

加載中.... (立即查看全文)

全文

(1)

n 元數與同餘式組

許家甄 · 李昱宏 · 潘信鴻 · 何青瀚 · 徐含馥 · 羅春光

1. 前言

在 [2] 文中, 作者討論一組循環型的同餘式組問題





ab ≡ p (mod c) bc ≡ p (mod a) ca ≡ p (mod b)

的質數三元數解 (a, b, c) 存在之充要條件, 並證明了當 p = 1 或 −1 時, 同餘式組有唯一解 (2, 3, 5) 和 (2, 3, 7)。 本文目的是簡化 [2, 定理 3] 的證明, 並將問題推廣至 n 維的同餘式組, 即對 i = 1, . . . , n,

Y

j6=i

aj ≡ p (mod ai).

其中 a1, . . . , an 只須互質。 當 p = −1 時, 我們最少能找到一組解, 當 p = 1 時, 最少能找 到兩組解。 而且這些解都有一定的規律。 當 n = 4 時, 唯一性問題也可清楚討論 (請參考定理 3.1 和定理 3.2)。 更進一步地, 我們建立了互質 n 元數解存在的充分必要條件。

2. 解存在的充要條件

若 a, b, c 是互質正整數, 且 a < b < c , 我們稱 (a, b, c) 為三元數。 在 a, b, c 是質數的 假設下, [2] 文作者討論如 (2.1) 的循環型同餘式組的求解狀況。 他們發現, 當 p = ±1 時, 同 餘式組只有一組解, 分別是 (2, 3, 5) 和 (2, 3, 7)。 但對一般的 p, 不同的狀況都可能出現, 同餘 式組可能無解, 可能有一組解或二組解、 甚至三組解。 我們猜想任意多組解均可能出現。 眾所皆 知, 在同餘式組中, 中國剩餘定理是最重要的定理:

58

(2)

若 m1, m2, . . . , mk 是兩兩互質的正整數, 則同餘式組









x = b1 (mod m1) x = b2 (mod m2)

· · · ·

x = bk (mod mk)

有唯一解: x = b1θ1N1+ b2θ2N2+ · · · + bkθkNk (mod θ) 。 其中 θ = m1m2· · · mk, θi = θ/mi, 而 Ni 是 θi 對 mi 的乘法逆元素。

這個定理的證明方法, 是先構造 θiNi 使得 θiNi ≡ 1 (mod mi), 但對其它的 mj, 則 有 θiNi ≡ 0 (mod mj), 而所求 x 即為眾多 biθiNi 的總和 (見 [1])。 在本文中, 我們利用這 個精神簡化 [2] 文中定理3的證明。 值得注意的是, 此處我們不必假設 a, b, c 是質數, 只須假設 a, b, c 兩兩互質, 正如中國剩餘定理的假設。

定理2.1: 三元數 (a, b, c) 是同餘式組





ab ≡ p (mod c) bc ≡ p (mod a) ca ≡ p (mod b)

(2.1)

的整數解若且唯若

p ≡ ab + bc + ca (mod abc).

證明:

(⇐) 顯而易見, 故略。

(⇒) 由 (2.1) 式知

ab + bc + ca ≡ ab ≡ p (mod c);

ab + bc + ca ≡ bc ≡ p (mod a);

ab + bc + ca ≡ ca ≡ p (mod b).

因為 a、b、c 兩兩互質, 故

ab + bc + ca ≡ p (mod abc). 

我們定義 (a1, a2, . . . , an) 為 n 元數若 a1, . . . , an 是兩兩互質的 n 個正整數, 且滿足 a1 < a2 < · · · < an。

(3)

定理 2.2: 若 (a1, a2, . . . , an) 為 n 元數, 令 γ = a1a2· · · an, Γi = γ ai

, 則對所有 i = 1, 2, . . . , n

Γi ≡ p (mod ai) (2.2)

若且唯若

p ≡

n

X

i=1

Γi (mod γ).

證明: 明顯若 p ≡ Pn

j=1Γi (mod γ), 則對每一 ai, 有 p ≡ Γi (mod ai)。 反過來, 若 p ≡ Γi (mod ai), 則

n

X

j=1

Γj ≡ Γi ≡ p (mod ai).

因 a1, a2, · · · , an 兩兩互質, 故

n

X

j=1

Γj ≡ p (mod γ). 

3. 4 元數解

定理3.1: 若 (a, b, c, d) 是 4 元數, 且滿足









abc ≡ 1 (mod d) abd ≡ 1 (mod c) acd ≡ 1 (mod b) bcd ≡ 1 (mod a) 則 (a, b, c, d) = (2, 3, 7, 41) 或 (2, 3, 11, 13)。

證明: 利用以下引理 3.3, 得 a = 2, b = 3。 又令

6c = 1 + kd, (3.1)

6d = 1 + lc, (3.2)

2cd = 1 + mb. (3.3)

從 (3.2) 減去 (3.1) , (3.3) 減去 (3.1) 後可得:

d(k + 6) = c(l + 6), d(k + 2c) = 3(m + 2c).

(4)

因 b, c, d 兩兩互質且 b = 3, 所以 c|(k + 6), 且 3|(k + 2c)。 令 k + 2c = 3x,

k + 6 = cy, (3.4)

3(x + 2) = c(y + 2).

故 3|(y + 2)。 從 (3.1) 知 k < 6, 以此代入 (3.4), 得 y < 4, 所以 y = 1。 又從 (3.4) 知 1 ≤ k = c − 6 < 6.

故 c = 7 或 11, 即 k = 1 或 5, 且由 (3.1) 可得 d = 41 或 13。 因此 (a, b, c, d) = (2, 3, 7, 41)

或 (2, 3, 11, 13)。 

定理3.2: 若 (a, b, c, d) 是 4 元數, 且滿足









abc ≡ −1 (mod d) abd ≡ −1 (mod c) acd ≡ −1 (mod b) bcd ≡ −1 (mod a) 則 (a, b, c, d) = (2, 3, 7, 43)。

證明: 與上一定理相似。 a = 2, b = 3, 且 6c = kd − 1, 6d = lc − 1, 2cd = 3m − 1.

又 k + 2c = 3x, k + 6 = cy, 則 3|(y + 2)。 因 k < 6, 故 y = 1, 且 7 ≤ c < 12, 得 c = 7,

d = 43。 

引理3.3: 設 (a, b, c, d) 為4元數, 滿足









abc ≡ p (mod d) abd ≡ p (mod c) acd ≡ p (mod b) bcd ≡ p (mod a)

(5)

若 abc > p > −5, 則 a = 2, b = 3, 且 c < 12。

證明: 令









abc = dk + p abd = cl + p acd = bm + p bcd = an + p

(3.5)

其中 k, l, m, n 均為正整數, 且 a, b, c, d, 兩兩互質。 將以上等式兩兩相減, 可得 abc − abd = dk − cl, 故 c(ab + l) = d(ab + k) , 導致 c|(ab + k)。 同理, 有 abc − acd = dk − bm, 且 b(ac + m) = d(ac + k) , 故 b|(ac + k)。 另外, a(bc + n) = d(bc + k) , 得 a|(bc + k)。 令

ab + k = cx, (3.6)

ac + k = by, (3.7)

bc + k = az. (3.8)

從 (3.6) 減去 (3.7) 得

c(a + x) = b(a + y).

即 b|(a + x), 令

bs = a + x (3.9)

現在, 從 p > −5 和 (3.5) 知

dk < abc + 5 < abd

故 k < ab, 代入 (3.6), 得 x < 2a, 再代入 (3.9) 後, 得 0 < s < 3。

若 s = 2 , 則從 (3.9)、(3.6) 知 2b = a + x < 3a, 且

k = 2bc − ab − ac < ab. (3.10) 故有 2bc < a(2b + c), 即 c < 2b。 再將 (3.10) 代入 (3.8), 得

az = 3bc − ab − ac.

因此 a = 3, b = 4, x = 5。 代入 (3.10), k = 5c − 12 < 12, 矛盾。 故 s = 1, 即 b = a + x < 3a。 代入 (3.6),

k = bc − ab − ac < ab. (3.11)

(6)

再代入 (3.8), az = 2bc − ab − ac, 故 a = 2, b = 3 或 5。 若 b = 5, 從 (3.11) 得 c < 6, 矛

盾。 故 b = 3, 從 (3.11) 知 c < 12。 證畢。 

利用定理 2.2 和 引理 3.3, 我們可以得到一個快速求循環型同餘式組的方法。 例如: 如果 p = 2n 是一偶數, 且 1 < p < 30, 則 a = 2, b = 3, 所以

2n ≡ 6(c + d) + 5cd (mod 6cd)

≡ 6(c + d) − cd (mod 6cd) 因此,

2n + cd ≡ 6(c + d) (mod 6cd).

故 cd 必為偶數。 同餘式組 (2.2) 無 4 元數解。

4. n 元數解的規律

以此規律進行, 則知 (2, 3, 7, 43, 1807) 和 (2, 3, 7, 43, 1805) 是同餘式組 (2.2) 對應 著 p = −1 和 p = 1 的5元數解。 而下一組的6元數解, 是 (2, 3, 7, 43, 1807, 3263443) 和 (2, 3, 7, 43, 1807, 3263441)。

構造數列 β1 = 2, β2 = 3, βn+1 = β1β2. . . βn+ 1。 顯然, 數列 {βi} 遞增且兩兩互質。

定理4.1: 對所有 n ≥ 2, 向量 Bn := (β1, β2, . . . , βn) 滿足同餘式組

Γi(Bn) ≡ −1 (mod βi), i = 1, 2, . . . , n, (4.1) 其中 Γi(Bn) =Q

j6=iBn,j, 而 Bn,j 是向量 Bn的第 j 項。 又令 An := (β1, β2, . . . , βn+1−2), 若 An 滿足同餘式組, 則

Γi(An) ≡ 1 (mod An,i), i = 1, 2, . . . , n. (4.2) 證明: 利用數學歸納法。 當 n = 2 時, B2 = (2, 3); 當 n = 3 時, B3 = (2, 3, 7), 已知命 題成立。 假設命題對 n = k 成立, 即

Γi(Bk) ≡ −1 (mod βi), i = 1, 2, . . . , k.

則對 i = 1, 2, . . . , k,

Γi(Bk+1) = Γi(Bk) · βk+1

≡ (−1) · βk+1 (mod βi)

≡ −1 (mod βi).

(7)

Γk+1(Bk+1) ≡ β1β2· · · βk (mod βk+1),

≡ −1 (mod βk+1).

同理, 也有 Γi(Ak+1) ≡ 1 (mod Ak+1,i), 其中, i = 1, 2, . . . , k + 1。 定理得證。  另外, 我們還找到另一規律, 已知 (2, 3, 11, 13) 是對應 p = 1 的 4 元數解, 容易得知 11 = 2 · 6 − 1 , 13 = 2 · 6 + 1。 以此規律, 得知 (2, 3, 7, 83, 85), (2, 3, 7, 43, 3611, 3613) 也 是同餘式組 (2.2) 對應於 p = 1 的 5 元數解和 6 元數解。 從而引伸出以下定理。

定理 4.2: 考慮 (n + 2) 元數 Cn+2 = (β1, β2, . . . , βn, 2γ − 1, 2γ + 1), 其中 γ = β1β2· · · βn。 則有

Γi(Cn+2) ≡ 1 (mod Cn+2,i) i = 1, . . . , n + 2。

證明: 當 n = 1 時, C3 = (2, 3, 5), 命題成立。 事實上, 對任意 n ≥ 1, 若 1 ≤ i ≤ n, 由 定理 4.1 知

Γi(Cn+2) ≡ (−1)(−1) · 1 ≡ 1 (mod βi).

另外,

Γn+1(Cn+2) ≡ 2γ ≡ 1 (mod 2γ − 1); Γn+2(Cn+2) ≡ −2γ ≡ 1 (mod 2γ + 1).

由數學歸納法, 定理得證。 

後記: 此論文是97學年度中山大學應用數學系高高屏數學科高中科技人才培育計畫高三班專題

研究課程之部份成果, 感謝教育部中教司對本研究的補助。

參考資料

1. 華羅庚, 從孫子的神奇妙算談起, 見 『華羅庚科普著作選集』, 凡異出版社, 2002 年。

2. 羅春光、 洪劭軒、 黃拓儒, 質數三元數和同餘式組, 數學傳播季刊, 第 21 卷, 第二期 (1997), 66-70。

—本文作者許家甄是中山大學附屬中學高三生;李昱宏是高雄中學高三生;潘信鴻是高雄市立 中正高中高三生;何青翰是高雄師範大學附屬中學高三生;徐含馥是屏東女中高三生;羅春光是 中山大學應用數學系教授。—

參考文獻

相關文件

[r]

致謝: 感謝中央研究院所舉辦的暑期研習, 讓筆者有機會受到薛昭雄老師的悉心指導, 也謝謝 老師常常幫忙看我們所寫的東西, 改正我們的缺點與錯誤。 另外, 特別感謝孫維良同學在本文撰

[r]

[r]

如果函數是由基本函數所組成,至少需要注意:分式函 數分母會等於 0

Cyril Banderier, Jean-Luc Baril, Celine Moreira Dos Santos, Right-jumps &amp; pattern avoiding permutations, Discrete Mathematics and Theoretical Computer Science, vol.18 : 2,

[r]

我們已經學過了一元一次方程式與二元一次方程式,在本章中,我們將學習一元二次