■連続数のピタゴラス三角形(その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

が成立する.これらの恒等式はひとつ置きにうまくいくようである.

===================================