Euclid 欧几里得算法（c语言递归版）

1.算法描述

使用Euclid算法编写递归函数求两个正整数A.B的最大公约数（GCD,Greatest Common Divisor):

• 如果A能整除B,则最大公约数是B.
• 否则，最大公约数等于B和A%B的最大公约数。

2.算法证明

Euclid算法用公式可以表示为：
$$GCD(A,B)=GCD(B,A\%B)$$
首先我们先弄清楚几个基本概念：

• 对于整数 A,B，若存在整数 k,使得$A=B\ast k$，则称B被A整除。
• 若A无法整除B，则 A = B ∗ n + R A=B*n+R