最简勾股差.PDF

數學傳播 41 卷 1期, pp. 50-60 最簡勾股差 賴昱維 摘要: 本研究由勾股定差的素勾股數家族找到了最 簡勾股差的判別方法, 由此方法 可從正整數集合中直接挑 出最 簡勾股差。 關鍵詞: 勾股數、 Pell 數 列、 Pell 方程。 1. 緒論 清代數學家劉彞程由勾股數 (Pythagorean triple) 為邊長所構作的幾何圖形證明了勾股 差小於 10 且勾長小於 27 的最簡勾股三角形只有四種, 分別為勾股差為 1 的 (3, 4, 5) 與 (21, 20, 29) 以及勾股差為 7 的 (5, 12, 13) 與 (15, 8, 17), 更由此推論 「不存在勾股差為 3, 5, 9 的最簡勾股三角形」 (Paul Yiu, 1996)。 王重臻由已知的最簡勾股差數列發現 「對整數 k 而言, 最簡勾股差皆可寫成 |8k ± 1| 的形式」 (王重臻, 2007)。 我想知道 「對整數 k 而言, |8k ± 1| 皆是最簡勾股差」 是否正確, 卻發現 9 為 |8 × 1 + 1|, 可是 9 並不是最簡勾股差, 即 |8k ± 1| 並不全是最簡勾股差。 因此, 我想探討 「怎樣的正整數才是最簡勾股差?」 2. 預備知識 2.1. 名詞定義 2 2 2 勾股數: 又名畢氏數或商高數, 是符合畢氏定理 (a + b = c ) 的正整數解 (a,b,c)。 素勾股數: 又名互質畢氏數 (primitive Pythagorean triple), 即(a,b,c)的最大公因數等於 1。 勾股三角形 (Pythagorean triangle): 以勾股數為三邊長的直角三角形。 最簡勾股三角形: 以素勾股數為三邊長的直角三角形。 最簡勾股差: 素勾股數的勾股差, 即最簡勾股三角形的勾股邊長差。 素勾股數家族: 由同一生成公式產生的 {(a ,b ,c )}, 如歐幾里得家族 (the Euclid family): n n n 2 2 2 2 {(u − v ,2u v ,u + v ) | ∀ n,u ,v ∈ N,u v , (u ,v ) = 1,u ,v 一奇一偶}。 勾 n n n n n n n n n n n n n n 50 最簡勾股差 51 股定差的素勾股數家族: 素勾股數家族的 |a −b | 為定值, 如費馬家族 (the Fermat family): n n 2 2 2 2 {(P − P ,2P P ,P + P ) | n ∈ N,P = 2P + P ,P = 0,P = 1}。 n+1 n n+1 n n+1 n n+1 n n−1 0 1 2.2. Pell 數列與勾股定差的素勾股數家族 馬丁 (Martin) 在 1875 年先令 u = P , v = P , 然後由 Pell 數列 (Pell sequence) n n+1 n n P 產生勾股定差為 1 的費馬家族, 即引理 1 (Price, H. Lee, 2008)。 n 2 2 2