>>967 >>969
合ってそうです。

ちなみに一般のk>0に対して
a^2 +b^2 =abc +k
の解で（cは定数と考えて）a^2 +b^2が最小となるものを(a, b) [|a|≧|b|]とすると
( (b^2 -k)/a, b ) もまた一解なので、|b|>√kのとき
a^2 +b^2≦{(b^2 -k)/a}^2 +b^2 すなわち|a|<|b|となり矛盾します。
故に |b|≦√k がいえます。