前言
數論(英語:Number theory)是純粹數學的分支之一,主要研究整數的性質,被稱為「最純」的數學領域。
數學是科學的皇后,數論是數學的皇后
數學王子 高斯
隨著課綱的更動,中學數學的數論內容也愈來愈少,印象中在七年級數學第1冊第2章,因數與倍數,最大公因數與最小公倍數,然後就沒了。
在這麼少的內容裡,我們學了什麼?
- 因數與倍數
- 常用倍數判別法
- 質數與質因數分解
- 標準分解式
- 公因數與最大公因數
- 求最大公因數的方法
- 公倍數與最小公倍數
這一篇文章,我們就來跳脫課綱,將內容稍微擴充一些,讓同學對於數論有多一些認識。先從107年臺南特招的一道題目開始吧:
「有一個正整數,它與20的最小公倍數比它的7倍還要多1314,則這個正整數會有多少個正因數?」
這是一道幾乎所有七年級學生都感到困難的問題,高中學生或是有興趣的讀者不妨自己先想想,再繼續往下閱讀喔!
為了方便說明,先設此正整數為 a,依題意可列出以下方程式 [a,20]=7a+1314由此等式可知 [a,20]>7a 這個觀察會用到。
接著,我們知道「任何兩數的乘積等於其最大公因數乘以最小公倍數」,因此有以下關係式[a,20]=\frac{a\times 20}{(a,20)}
a 與 20 的最大公因數可以是多少呢?
如果,(a,20)=1,則[a,20]=20a;如果(a,20)=2,則[a,20]=10a,其它情況都不可能。(為什麼?留給讀者想一下喔)
情況1:若 [a,20]=10a,則 10a=7a+1314可解得 a=438
情況2:若 [a,20]=20a,則 20a=7a+1314此時a不是整數,不須考慮。
接著我們要想想,如何找出 438 這個整數有多少個正因數呢?
首先先將這個數字寫成標準分解式:438=2\times3\times 73
因此共有 2\times 2\times 2 = 8 \ \ 個正因數
這一題就結束了。但我們這篇文章才要剛開始,我想再多問幾個問題。
問題1:438這個數字的正因數總和是多少呢?
這個問題有人知道,有人不知道。我直接說說一般的情況。
如果將一個整數寫成標準分解式:p_1^{a_1}\times p_2^{a_2}\times … p_r^{a_r}
其中 p_i, 1\leq i \leq r 皆為質數,a_i, 1\leq i\leq r 皆為非負整數。
那麼其正因數個數為 (a_1+1)\times (a_2+1) \times … (a_r+1)其正因數的總和為
(1+p_1+p_1^2+…+p_1^{a_1})\times(1+p_2+p_2^2+…+p_2^{a_2})\times…\times(1+p_r+p_r^2+…+p_r^{a_r})
原因不難理解,在這裡就不贅述了。
完美數的出現
正因數總和與該整數之間有什麼關係嗎?
有一種數很特別,就是其正因數的總和會是其數字本身的2倍,這樣的數被稱為「完美數」(perfect number)。在博士熱愛的算式這部影片中,就有提到這樣的數字。
為了方便說明,我們以符號 \sigma(n) 表示正整數 n 的正因數總和。因此完美數 n 滿足以下等式 \sigma(n)=2n
換句話說,一個完美數 n 除了自己以外的正因數總和會等於自己。寫成符號就是 \sigma(n)-n=n
那麼有哪些數是完美數呢?同學可以試試,不難發現數字 6 的正因數總和為 12,因此6是完美數。這應該是最小的完美數了。
下一個完美數是多少呢?
答案是 28,讀者不妨驗證看看。一直找下去,接下來是 496、8128。接下來會自然萌生幾個問題:
問題1:完美數是否有規律,能否寫出其一般式?
問題2:完美數是否一定是偶數呢?
問題2,至今仍然為開放性問題(open problem),沒人知道答案。
問題1已經被解決,寫成定理如下:
設 n 是一個正整數,那麼 n 是一個偶完美數的充要條件為 n=2^{p-1}(2^p-1) 其中 2^p-1是一個質數。
我們先來解決一個比較簡單的問題,如果 2^p-1 是質數,那麼 p 必定是質數。
假設 p 是合數,可將其寫成 p=a\times b,其中 a>1, b>1,因此 2^p-1=2^{ab}-1=(2^a)^b-1=(2^a-1)((2^a)^{b-1}+(2^a)^{b-2}+…+2+1)因為 2^p-1是質數,且(2^a)^{b-1}+(2^a)^{b-2}+…+2+1>1,因此 2^a-1=1,即 a=1,造成矛盾。因此 p 是質數。
附帶一提,形如 2^p-1的質數被稱為梅森質數。
接著進入這個定理的證明:假設 n 是一個偶完美數,因此將其寫成 n=2^ab其中 a,b 均為整數,且 b 是一個奇數。那麼\sigma(n)=\sigma(2^ab)=\sigma(2^a)\sigma(b)=(\frac{2^{a+1}-1}{2-1})\sigma(b)=(2^{a+1}-1)\sigma(b) 因為 n 是完美數,因此 \sigma(n)=2n=2(2^ab)=2^{a+1}b結合以上兩式,可得
(2^{a+1}-1)\sigma(b)=2^{a+1}b\tag{1}
因此2^{a+1}|(2^{a+1}-1)\sigma(b)
因為 2^{a+1} 與 2^{a+1}-1 互質,所以 2^{a+1}|\sigma(b)故存在一個整數 c 滿足 \sigma(b)=2^{a+1}c\tag{2}
利用第(2)式中的 \sigma(b) 代入第(1)式可得 (2^{a+1}-1)2^{a+1}c=2^{a+1}b等號兩邊消去2^{a+1}可得(2^{a+1}-1)c=b\tag{3}
接著用反證法證明 c=1:
假設 c>1,那麼由第 (3) 式可知,b 至少有3個不同的因數,分別為 1、b、c,因此 \sigma(b)\geq 1+b+c然而,\sigma(b)=2^{a+1}c=(2^{a+1}-1)c+b=b+c 造成矛盾。因此 c=1。由第(3)式可得 b=2^{a+1}-1,由第(2)式可得 \sigma(b)=2^{a+1}=b+1
這裡要留意的是,\sigma(b)=b+1,表示 b 是質數,因此 n=2^ab=2^a(2^{a+1}-1)其中 2^{a+1}-1是一個質數。
另一方面,假設 n=2^{p-1}(2^p-1),其中 p 與 2^p-1 皆為質數。我們的目標是要去證明 \sigma(n)=2n
\begin{aligned} \sigma(n) &=\sigma(2^{p-1}(2^p-1)) \\ &=\sigma(2^{p-1})\sigma(2^p-1)) \\ &=(\frac{2^p-1}{2-1}) 2^p \\ &=(2^p-1)2^p \\ &=2^p(2^p-1) \\ &=2(2^{p-1}(2^p-1)) \\ &= 2n \end{aligned}
證明到此結束。這個證明有點難度又不會太難,很適合作為入門高等數學的練習。
有了對完美數的刻劃後,我們可以更容易找出幾個完美數:
當 p=2 時,2\times(2^2-1)=6
當 p=3時,2^2\times(2^3-1)=28
當 p=5時,2^4\times(2^5-1)=496
當 p=7時,2^6\times(2^7-1)=8128
當 p=11時,2^{10}\times(2^{11}-1)=2096128
讀者不妨再找找,你可以找到多大的完美數呢?
這邊文章先寫到這邊,下篇文章見。
筆者簡介

歡迎訂閱 數學數位學習電子報
國中數學線上教學line@帳號

No comments! Be the first commenter?