>>364
ですが、例えば

全ての自然数xについて関数f(x)=ax^2+bx+cは自然数になるならば、a+b+cは自然数となる

この場合だったらx=1を代入すればいいだけじゃないですか

何故>>362はこの方法は使えないのでしょう？