数学
高校生
解決済み

ユークリッド互除法の証明の意味がよく分からないのですが、

gcd(a,b)=Gとして
a=a'G、b=b'G(a'とb'は互いに素)と表し、

a=bQ+rのとき
r=a'G-b'GQより
r=G(a'-b'Q)から、rはGを約数にとる。
また、(a'-b'Q)とb'は互いに素であるから、
rとbはGを最大公約数にとる。

と自分なりに解釈したんですが、この解釈でも正しいんでしょうか?
回答よろしくお願いします!

回答

疑問は解決しましたか?