本节书摘来自华章计算机《算法基础》一书中的第2章，第2.2节，作者：（美）罗德·斯蒂芬斯（rod stephens）著，更多章节内容可以访问云栖社区“华章计算机”公众号查看
两个整数的最大公约数（greatest common divisor，gcd）是指两个整数共有约数中最大的一个。例如，gcd(60，24)为12，因为12是60和24共有约数中最大的。（最大公约数也许看起来像一个深奥的功能，但是它实际上在加密程序中十分有用，这些加密程序被广泛用于金融通信安全等领域。）
注 如果gcd(a，b)＝1，那么a和b被称作互质（relatively prime或coprime）。
一个找到最大公约数的方法是将两个因数分解并且找到它们共有的因数。但是希腊数学家欧几里得在他著于公元前300年的论述《几何原本》中记录了一个更快捷的方法。以下伪代码展示了这个算法的现代版。因为它是基于欧几里得的著作，这个算法被叫做欧几里得算法（euclidian algorithm或euclid抯 algorithm）：
例如，计算gcd(4831，3003)。表2-2展示了a、b和每一步b除以a的余数m的值。
当b为0时，变量a即为最大公约数，本例中最大公约数为231。验证一下结果，考虑到4851＝231×21，而3003＝231×13，因此231是两数的公约数。21和13除1之外没有共同的因数，所以231是4851和3003的最大公约数。
最大公约数
如果你愿意的话，这是另一个可以跳过的数学解释。
欧几里得算法的关键是这个事实：gcd(a, b)＝gcd(b, a mod b)。
要理解为什么这是正确的，可以考虑取模运算符的定义。如果余数r＝a mod b，那么对于整数m，a＝m×b＋r。如果g是a和b的最大公约数，g是b的约数，所以g也必定是m×b的约数。因为g是a的约数并且a＝m×b＋r，g必定是m×b＋r的约数。因为g是m×b的约数，它也一定是r的约数。
这证明了g是b和r的约数。g＝gcd(b，r)的意思是g是能够约分b和r的最大整数。
假设g是一个比g大的整数，并且g 是b和r的约数，那么g也是m×b的约数。但是a＝m×b＋r，所以g也是a的约数。这就意味着g不是a和b的最大公约数。这与g是a和b最大公约数的条件矛盾，因为这与g＞g的假定产生了矛盾，因此不存在这样的g，故g为a和b的最大公约数。
这个算法是较为快捷的，每两次while循环中，b值被一个因数至少减少为其1/2。因为b值在每两次迭代中被一个因数减少至少1/2，所以这个算法的运行时间复杂度至多为o(log b)。
对速度的需求
欧几里得算法中的b值在每两次while循环中被一个因数至少减少为其1/2。为了一探究竟，令ak、bk和rk为第k次迭代中a、b和r的值，并且认为对于任意整数m，a1＝ m1×b1＋r1。在第二次迭代中，a2＝b1而b2＝a1。
如果r1≤b1/2，那么可知b2≤b1。
假设r1＞b1，在第三次迭代中，a3＝b2＝r1并且b3＝r2。根据定义，r2＝a2 mod b2，且与b1 mod r1相等。由于我们假设r1＞b1/2，所以r1能够除b1一次并且留下余数(b1-r1)。
由于我们假设r1＞b1/2，故可知(b1-r1)≤b1/2。
回到最初的方程式：(b1-r1)＝(b1 mod r1)＝(a2 mod r2)＝r2＝b3。因此b3≤b1/2，这是我们要证明的。