证明Euclid算法

我恨数论

设:
p = ⌊ a b ⌋ p = \lfloor{\frac{a}{b}}\rfloor p=ba
c = a m o d    b c = a \mod b c=amodb


a = p ⋅ b + c a = p \cdot b + c a=pb+c


m = g c d ( a , b ) m = gcd(a,b) m=gcd(a,b)
n = g c d ( b , c ) n = gcd(b,c) n=gcd(b,c)

证明
∵ m = g c d ( a , b ) \because m = gcd(a,b) m=gcd(a,b) ∴ m ∣ a 且 m ∣ b \therefore m \mid a 且 m \mid b mamb ∵ m ∣ b \because m \mid b mb ∴ m ∣ ( b ⋅ p ) \therefore m \mid (b \cdot p) m(bp) ∵ m ∣ a \because m \mid a ma ∴ m ∣ ( a − b ⋅ p ) \therefore m \mid (a - b \cdot p) m(abp) ∵ a = b ⋅ p + c \because a = b \cdot p + c a=bp+c ∴ c = a − b ⋅ p \therefore c = a - b \cdot p c=abp ∴ m ∣ c \therefore m \mid c mc ∵ m ∣ b 且 m ∣ c \because m \mid b 且m \mid c mbmc ∴ m 是 b , c 的 公 约 数 \therefore m是b,c的公约数 mb,c ∵ n 是 b , c 的 最 大 公 约 数 \because n 是b,c的最大公约数 nb,c ∴ m ≤ n \therefore m \leq n mn

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值