辗转相除法(欧几里得算法)求 最大公约数与最小公倍数+推论与证明。