>>664
gcd使ってたんですか。それでも3n + 5(n-m) = 1 のときに
この等式を満たす適当な組 [n, m]はどうやって探すんでしょうか？
拡張互除法は複雑なので手計算ではやらずいつもPCだよりなんですよね…

この試行錯誤を不要にしたいのが問題の本質なのですが、
いくら拡張gcdについて探してみても、n,mは>>659からもともと任意の変数なので決定できず、
gcdを使ってもこれを決定する根拠らしきものはありませんでした。
gcd[3,5]じゃなくてgcd[8,5]でも同じだと思うんですけど、やっぱりn=0, 1, 2,などと順に手計算するしかないのでしょうか