众所周知，gcd(x, y) = gcd(y, x%y) 但怎么证明其正确性，既保证我们这么做得到的答案一定是最大公约数 今天，我就来证明一下。 首先，我们要知道两条推论： 若 a|b，则 ka|b; 若 a|b，c|b ，则 (a±b)|c; 当我们知道这两条推论后，我们还需要知道一件事情，如果 a≤b， b≤a，则 a=b; ...