欧几里得算法描述
设
$$ a = kb + r $$
得
$$ \gcd(a,b) = \gcd(a,r) = \gcd(a, a\pmod b) $$
证明
设 d = gcd(a,b), 也就是 d|a, d|b
有 r = a – kb
两边都除 d, r/d = a/d – kb/d = m, 由于m为正整数，所以 d|r
得到 d|a, d|b, d|r
gcd(a,b) = gcd(a,r)
欧几里得算法描述
设
$$ a = kb + r $$
得
$$ \gcd(a,b) = \gcd(a,r) = \gcd(a, a\pmod b) $$
证明
设 d = gcd(a,b), 也就是 d|a, d|b
有 r = a – kb
两边都除 d, r/d = a/d – kb/d = m, 由于m为正整数，所以 d|r
得到 d|a, d|b, d|r
gcd(a,b) = gcd(a,r)