スナネコです。拡張GCDについての質問に答えます。問題： 以下のように実装された extgcdがある。 整数 が を満たし、extgcd(a, b) の返り値を としたとき、 が成り立つことを示せ。 def extgcd(a, b): # ax+by=gcd(x,y) を満たす (x,y) を返す if b == 0: r…