這一頁不是取代畢氏定理,而是讓學生看見畢氏數背後的結構。有些整數邊長,可以從最大兩邊的差與和快速辨識,而不必每次都從頭計算。
拖曳 \(m,n\) 或選擇範例,觀察歐幾里得公式如何生成三邊,以及最大兩邊的差會落在哪一類。
把三邊排成 \(a<b<c\)。若最大兩邊相差 1,也就是 \(c-b=1\),則:
因此,只要最大兩邊相差 1,再看兩者的和是否為完全平方數,就能直接看出最短邊。
| 畢氏數 | 觀察 | 直接看出 |
|---|---|---|
| 3, 4, 5 | \(4+5=9\) | \(\sqrt{9}=3\) |
| 5, 12, 13 | \(12+13=25\) | \(\sqrt{25}=5\) |
| 7, 24, 25 | \(24+25=49\) | \(\sqrt{49}=7\) |
| 9, 40, 41 | \(40+41=81\) | \(\sqrt{81}=9\) |
若最大兩邊相差 2,也就是 \(c-b=2\),則:
因此可檢查 \(2(c+b)\) 是否為完全平方數。
| 畢氏數 | 觀察 | 直接看出 |
|---|---|---|
| 8, 15, 17 | \(2(15+17)=64\) | \(\sqrt{64}=8\) |
| 12, 35, 37 | \(2(35+37)=144\) | \(\sqrt{144}=12\) |
快速辨識並不是額外背一條技巧,而是把畢氏定理反向改寫:
選兩個整數 \(m>n>0\),可得到:
| \(m,n\) | 生成結果 | 類型 |
|---|---|---|
| \(2,1\) | \((3,4,5)\) | 差 1 型 |
| \(3,2\) | \((5,12,13)\) | 差 1 型 |
| \(4,1\) | \((8,15,17)\) | 差 2 型 |
| \(5,2\) | \((21,20,29)\) | 整理為 \((20,21,29)\) |