で書いたように、
整数a,b,cがa^2+ab+b^2=c^2 を満たし、sを s=3/2×(a+b)-c と定義すると、
(a-s)^2+(a-s)(b-s)+(b-s)^2=(c-s)^2
と
a^2+a(-a-b)+(-a-b)^2=c^2
が成り立つのでした。
これを一般化して、
nを整数とするとき、a^2+ab+b^2+n=c^2 ,s=3/2×(a+b)-cとすると、
(a-s)^2+(a-s)(b-s)+(b-s)^2+n=(c-s)^2
と
a^2+a(-a-b)+(-a-b)^2+n=c^2
が成立していることに気付きました。
以上です!お読みいただきありがとうございました!