本文详细证明了对于任意非负整数a和任意正整数b，它们的最大公约数等于b与a对b取模结果的最大公约数这一数学定理。证明过程分为两部分，先证明了最大公约数的一个因数同时整除b和a对b取模的结果，再证明后者能整除前者。
定理如下：
对任意非负整数a和任意正整数b, gcd(a,b） = gcd(b,a mod b)
首先证明 gcd(a,b) | gcd(b,a mod b)
设 gcd(a,b) = d
a mod b = a - b*k (k = a/b 向下取整的整数)
易得 d | a mod b 和 d | b 得出 d | gcd(b,a mod b) (d 为 最大公约数的一个因数)
接下来证明 gcd(b,a mod b) | gcd(a,b)
设 gcd(b, a mod b) = d 得 d | b, d | a mod b
a mod b = a - b*k 得 d | a
得出 d | gcd(a,b)
得证
扫一扫
766
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
