辗转相除法（欧几里得算法）用于计算两个数的最大公约数(GCD)。
基本原理：gcd(a, b) = gcd(b, a mod b)，直到余数为0，此时的除数就是GCD。
动画展示了每一步的除法过程：a ÷ b = 商 ... 余数，然后将b赋值给a，余数赋值给b，重复直到余数为0。