■連続数のピタゴラス三角形(その40)
√2に収束する1次分数列のために,連続した平方数の和に等しい平方数を考える.
n^2+(n+1)^2=m^2
このとき,m:nは近似的に√2になる.
===================================
m^2=n^2+(n+1)^2=2n^2+2n+1が成立すれば,
(2m+3n+1)^2+(2m+3n+2)^2=(3m+4n+2)
も成立する.
(2m+3n+a)^2+(2m+3n+a+1)^2=(3m+4n+b)^2
左辺=(2m+3n)^2+2a(2m+3n)+a^2+(2m+3n)^2+2(a+1)(2m+3n)+(a+1)^2
=2(2m+3n)^2+(4a+2)(2m+3n)+2a^2+2a+1
右辺=(3m+4n)^2+2b(3m+4n)+b^2
左辺−右辺=−m^2+2n^2+(8a+4−6b)m+(12a+6−8b)n+2a^2+2a+1−b^2
=(8a+4−6b)m+(12a+4−8b)n+2a^2+2a−b^2
8a−6b=−4
12a−8b=−4
24a−18b=−12
24a−16b=−8
−2b=−4,b=2,a=1
2a^2+2a−b^2=0 (OK)
(2m+3n+1)^2+(2m+3n+2)^2=(3m+4n+2)^2
これ以外に解はない.
===================================
m^2=2n^2+2n+1
(12m+17n+a)^2+(12m+17n+a+1)^2=(17m+24n+b)^2
では成立するだろうか?
左辺=(12m+17n)^2+2a(12m+17n)+a^2+(12m+17n)^2+2(a+1)(12m+17n)+(a+1)^2
=2(12m+17n)^2+(4a+2)(12m+17n)+2a^2+2a+1
右辺=(17m+24n)^2+2b(17m+24n)+b^2
左辺−右辺=−m^2+2n^2+(48a+24−34b)m+(68a+34−48b)n+2a^2+2a+1−b^2
=(48a+24−34b)m+(68a+32−48b)n+2a^2+2a−b^2
===================================
48a−34b=−24
68a−48b=−32
1632a−1156b=−816
1632a−1152b=−768
−4b=−48,b=12,a=8
2a^2+2a−b^2=128+16−144=0
===================================
[まとめ]m^2=2n^2+2n+1のとき,
(12m+17n+8)^2+(12m+17n+9)^2=(17m+24n+12)^2
が成立する.これらの恒等式はひとつ置きにうまくいくようである.
===================================