二的平方根（TheSquareRootofTwo）国立中央大学数学系单维彰.PDF

二的平方根 （The Square Root of Two ） 國立中央大學數學系單維彰副教授 摘要：證明二的平方根不是有理數，也就是說，證明二的平方根是無理數。順便 示範數學定理與引理的敘述風格，以及 「證明」的一種寫法。 關鍵詞： 無理數 、數線 、十進制小數 、三一律 。 二的平方根記作 ，讀作「根號二」。 是一個代數式，而不是如 2 、1.4142 2 2 這樣的數字 。 代表那個平方後會等於2 的正數，也代表一個面積為2 的正方 2 形之邊長 ；它是方程式2 的唯一正根。 x 2 為什麼我們不用數字去表現根號二而非要寫成 呢？那是由於 無法寫成整 2 2 數、有限小數或無窮循環小數這樣的數字 ，也不能寫成分數。也就是說， 不 2 是有理數，它是無理數。 在證明 為無理數之前，我們要先敘述並證明一個引理 （Lemma ）。 2 【引理】 令n 是一個正整數，則 n 是偶數 = n2 是偶數 。 [證明] 正命題 假設 為偶數，則根據偶數之定義，必有一整數 使得 。而由於 n k n 2k n2 (2k )2 4k 2 2(2k 2 ) ，則無論k 值為何，其結果必定為偶數，故得證。 逆命題 若 2 為偶數且假設 為奇數，則根據奇數之定義，必有一整數 使得 n n k n 2k =+1 。由於n2 (2k =+1)2 4k 2 =+2k +1 2(2k 2 =+k ) +1 ，則無論k 值為何， n2 必定為奇數，但此與前提不符。由於所有的正整數不是偶數就是奇數， 既然n 不是奇數，則n 必為偶數。 引理其實也是定理 （Theorem ），也就是經過證明，確保無誤的一個數學命題。 只是，相較而言，引理的內容較為輔助性，而定理的內容較為獨立。定理和引理 的分別，屬於價值的判斷而不是優劣或輕重的判斷。 【定理】 2 n 不可能有互質的正整數m 、n ，使得 2 2 。 m [證明] 2 n 2 2 2 如果 m 、n 是互質的正整數 ，但是 2 ，則 。可見 是偶數。 2m n n 2 m 根據引理，則n 必為偶數，所以存在一正整數k 使n 2k 。將之代回前式： 2m2 n2 (2k )2 4k 2 化簡為 2 2 2 ，由此可知 為偶