如何分土地：欧几里得算法的证明

1. 如何分土地

这个问题是关于将一块1680×640的土地均等地划分成尽可能大的正方形块。

试着考虑一下这个问题是否能转换为我们熟悉的问题：求1680与640的最大公约数。当我们将一块土地分成正方形小块地时,这些小块地的边长必定是被分割的大块地两条边长的共同约数;这样就清楚明白了。

我们在学习高中课程时就掌握了通过称为'辗转相除法'的方法来计算这一数值；然而，在学习了一些编程概念之后我们会认识到被称为'辗转相除法'的方法确实是一种典型的算法——正是如此；因为它又被称为欧几里得算法。

我们普遍使用过这种方法，在高中阶段。然而，在学习过程中并未掌握该方法正确性的推导路径。缺乏这一层保障，则无法有效解决上述土地划分问题。基于此，在此背景下我们计划先证明该算法的有效性和可靠性。

2. 欧几里得算法的运算过程：

先让我们复习一下欧几里得算法的基本概念，并假设这一方法成立的前提下进行计算；然后我们就可以找出16和12的最大公约数（我们知道其结果必然是4）。

我们首先选取两个值中较小的一个作为基准值（基准值设为A），然后将另一个较大的值作为被除值（被除值设为B）。接着我们将被除值B依次减去基准值A直到两者相等为止，在此过程中记录下每次减法操作后的结果变化情况。

在上述操作过程中如果我们发现某次减法操作后所得的结果不再变化则说明此时所得结果即