辗转相除法与斐波那契数列的联系

 这里大概用的是第二类数学归纳法，其中有一个tricky的地方：因m > n，m / n所得整数部分 ≥ 1，这才有m ≥ n + (m - floor(m / n) * n)。