zoukankan      html  css  js  c++  java
  • [学习笔记]一些求gcd的方法的证明

    辗转相除法

    证明有限性

    每次\(r=n\;mod\;m,n=m,n=r\).

    因为\(r<m,r\)是正整数,最小为\(1\),所以这个算法是有限的.

    证明正确性

    求证:\((n,m)=(m,n\;mod\;m)\).

    证明:设\((n,m)=k,n=kx,m=ky\),则\((x,y)=1\).

    \(n\;mod\;m=n-m\lfloor\frac{n}{m}\rfloor=k(x-y\lfloor\frac{x}{y}\rfloor)\)

    所以\(k|(m,n\;mod\;m)\)

    \(\\\)

    \(x=ya+b(0\leq{b}<y)\),则\(a=\lfloor\frac{x}{y}\rfloor\).

    假设\((y,x-ya)=c(c>1)\).

    \(y=cp,x-ya=cq\),则\((p,q)=1,x=cq+ya=c(q+pa)\).

    此时\(c|(x,y)\),与\("(x,y)=1"\)相矛盾.

    所以\((y,x-ya)=1\),即\((y,x-y\lfloor\frac{x}{y}\rfloor)=1\).

    所以\((m,n\;mod\;m)=k\)

    更相减损术

    证明有限性

    每次\(a'=min(a,b),b'=|a-b|,a=a',b=b'\).

    因为\(b'<min(a,b),b'\)是正整数,最小为\(1\),所以这个算法是有限的.

    证明正确性

    求证:\((n,m)=(m,n-m)\).

    证明:设\((n,m)=k,n=kx,m=ky\),则\((x,y)=1\).

    \(n-m=k(x-y)\)

    所以\(k|(m,n-m)\)

    \(\\\)

    假设\((y,x-y)=c(c>1)\).

    \(y=cp,x-y=cq\),则\((p,q)=1,x=c(p+q)\).

    此时\(c|(x,y)\),与\("(x,y)=1"\)相矛盾.

    所以\((y,x-y)=1\).

    所以\((m,n-m)=k\)

    2017-02-28 22:41:39

  • 相关阅读:
    3、Ubantu下安装nginx
    2、关于mongodb外部访问不成功的问题
    1. libcurl.so.4: cannot open shared object file: No such file or directory
    Php 笔记
    Jade之Plain Text
    Jade之Mixins
    Jade之Interpolation
    Jade之Template Inheritance
    Jade之Includes
    Jade之Filters
  • 原文地址:https://www.cnblogs.com/AireenYe/p/GreatestCommonDivisor.html
Copyright © 2011-2022 走看看