欧几里得算法又名辗转相除法求最大公约数

若d能整除a且d能整除b，则d能整除a+b，同时d还能整除ax+by（即a的若干倍+b的若干倍）

核心：a和b的最大公约数就等于b和a mod b的最大公约数

两个整数被称为"互质"（或"互素"）指的是它们的最大公约数（GCD）为1。换句话说，互质的两个数没有除了 1 以外的公共因数。判断两个数是否互质：计算它们的最大公约数，如果最大公约数是1，则它们是互质的。

裴蜀定理（Bézout's identity）是一个重要的数论定理，也叫做裴尔定理（Bézout's lemma）。该定理表明：对于任意两个整数 a 和 b，存在整数 x 和 y，使得它们的最大公约数（GCD）可以表示为 ax + by。如果 a 和 b 是整数，且它们不全为 0，那么存在整数 x 和 y，使得 ax + by = gcd(a, b)。