√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
が成立する.これらの恒等式はひとつ置きにうまくいくようである.
===================================