辗转相除法（欧几里得算法）

关注

原创最新推荐文章于 2026-02-17 10:31:41 发布 5.3k 阅读 AI 写同款· GEO 优化 ›

如何理解辗转相除法（欧几里得算法）的原理 欧几里得算法又称辗转相除法，用于计算两个非负整数a，b的最大公约数。以上原理成立，于是求两个数的最大公约数时，我们可以根据这个逻辑，进行逐次用前一个的除数除以余数，直到余数为0为止。辗转相除法基于如下原理：两个整数的最大公约数等于其中较小的数和两数相除余数的最大公约数。设两数a、b(b<a)的最大公约数为c，c=gcd(a,b)，且存在m,n,使得。那么a和b的最大公约数将会是nc，即b，与原设定相矛盾，令r为a除以b的余数，r=a mod b，即存在k使得。那么377和319的最大公约数为29。阅读详情

辗转相除法，又叫欧几里德（Euclidean）算法，是求最大公约数的算法。辗转相除法首次出现于欧几里得的《几何原本》（第VII卷，命题i和ii）中，而在中国则可以追溯至东汉出现的《九章算术》。

计算公式gcd(a,b) = gcd(b,a mod b)。

算法简介：

欧几里德算法是用来求两个正整数最大公约数的算法。是由古希腊数学家欧几里德在其著作《The Elements》中最早描述了这种算法,所以被命名为欧几里德算法。
扩展欧几里德算法可用于RSA加密等领域。
假如需要求 1997 和 615 两个正整数的最大公约数,用欧几里德算法，是这样进行的：

1997 / 615 = 3 (余 152)
615 / 152 = 4(余7)
152 / 7 = 21(余5)
7 / 5 = 1 (余2)
5 / 2 = 2 (余1)
2 / 1 = 2 (余0)
至此，最大公约数为1

以除数和余数反复做除法运算，当余数为 0 时，取当前算式除数为最大公约数，所以就得出了 1997 和 615 的最大公约数 1。

程序设计：

辗转相除法是利用以下性质来确定两个正整数 a 和 b 的最大公因子的：
⒈ 若 r 是 a ÷ b 的余数，且r不为0，则
gcd(a,b) = gcd(b,r)
⒉ a 和其倍数之最大公因子为 a。
另一种写法是：
⒈ 令r为a/b所得余数（0≤r<b）
若 r= 0，算法结束；b 即为答案。
⒉ 互换：置 a←b，b←r，并返回第一步。

算法版本：

C语言：

/*
欧几里德算法：辗转求余
 原理： gcd(a,b)=gcd(b,a mod b)
 当b为0时，两数的最大公约数即为a
 getchar()会接受前一个scanf的回车符
*/
#include<stdio.h>
unsigned int Gcd(unsigned int M,unsigned int N)
{
    unsigned int Rem;
    while(N > 0)
    {
        Rem = M % N;
        M = N;
        N = Rem;
     }
     return M;
 }
 int main(void)
{
    int a,b;
    scanf("%d %d",&a,&b);
    printf("the greatest common factor of %d and %d is ",a,b);
    printf("%d\n",Gcd(a,b));
    return 0;
 }

C++：

#include <algorithm> // std::swap for c++ before c++11
#include <utility> // std::swap for c++ since c++11
int gcd(int a，int b)
{
    if (a < b)
        std::swap(a, b);
    return b == 0 ? a : gcd(b, a % b);
}

Java：

 int gcd(int m,int n)
{   if(n == 0){
        return m; 
    }
    int r = m%n;
    return gcd(n,r)
}

Python：

def gcd(a, b):
    while a != 0:
        a, b = b % a, a

    return b

模P乘法逆元：

对于整数a、p，如果存在整数b，满足ab mod p =1，则说，b是a的模p乘法逆元。

定理：a存在模p的乘法逆元的充要条件是gcd(a，p) = 1
证明：
首先证明充分性

如果gcd(a，p) = 1，根据欧拉定理，aφ（p) ≡ 1 mod p，因此
显然aφ（p)-1 mod p是a的模p乘法逆元。

再证明必要性

假设存在a模p的乘法逆元为b
ab ≡ 1 mod p
则ab = kp +1 ，所以1 = ab - kp
因为gcd(a，p) = d
所以d | 1

所以d只能为1

收录于

笔记

本内容遵循 CC 4.0 BY-SA 版权协议

欧几里得算法（辗转相除法）本博客主要讲了欧几里得算法，出示了几道例题。阅读详情