>>787
>>791

786です。レスありがとうございます。
wikiでディオファントス方程式を調べてみたところ、本質的に難しい問題だということが分かりました。
グロタンディークは、名前だけは知っているのですが、私のレベルでは手が届きそうにありません。。。