Java实现最大公约数类

Java实现最大公约数类

欧几里得算法源于《几何原本》命题VII.2给定两个不互质的数，可以找到它们的最大公约数。
配图与证明源于书本，本人仅是知识的搬运工，做了些小小的整理。

注解：下面 ‘测尽、测得’ 两个词沿用欧几里得的术语，现代数学术语已用 ‘除、除尽’ 代替。
首先，下个定义：AB和CD互质，即只有一个单位能测尽AB和CD。

命题：如果AB和CD不互质，那么总有某个数测尽它们。
设：AB和CD为给定的两个不互质的数
求：找到AB和CD的最大公约数

证明分析如下：
如果CD测尽AB，因为：它也自测尽，那么：CD是CD和AB的最大公约数。又：这也表明它是最大的，因为：没有大于CD测尽CD的数。
如果CD测不尽AB，那么：就用余数去量CD，如果量不尽，又用后边的余数去量前边的余数，直到后边的余数测尽前边的余数。
这最后的余数不是一个单位，否则AB和CD互质违背假设。
所以：某数可以测尽它的前面数的余数。

具体证明过程：
令：CD测AB得BE，余下EA小于CD，令：EA测CD得DF，余下FC小于EA。设CF测尽AE。
那么因为：CF测尽AE，AE测尽DF，所以：CF也测尽DF。
而它又测尽它自身，所以：它也测尽整个CD。
又：CD测尽BE，所以CF也测尽BE，它又同时测尽EA，所以：它测尽整个BA。
又：它也测尽CD，所以CF测尽AB、CD。
所以：CF是AB、CD的一个公约数。
我还要进一步说：它也是最大的。
如果CF不是AB和CD的最大公约数，那么必有一个大于CF的某数将测尽数AB和CD。设这个数为g。
那么因为：g测尽CD，CD测尽BE，所以：g也测尽BE。又：它也测尽整个BA，所以：它测尽余值AE。
又：AE测尽DF，所以：g也测尽DF。
同时它测尽整个DC，所以：它也测尽余值CF，即：较大的测尽较小的，这是不可能的。
所以：没有大于CF测尽AB和CD的数。

编写成类，方便日后调用。

package test;

public class Gcd {
   
	/**
	 *  The {@code Gcd} class for solving the greatest common divisor of two integers.
	 * @author GU
	 */
	
	/**gcd(m,n) = gcd(n mod m,m) (不妨设m<n 且r=n mod m ,r不