，下文将会提到。
线性丢番图方程.丢番图方程是以亚历山大数学家丢番图的名字命名的一类方程，它的解被限制在整数范围。关于整数"x"和"y"的线性丢番图方程形如：其中"a"、"b"、"c"是已知整数。这个方程可以写成关于"x"的同余式：令"g"为"a"和"b"的最大公约数，a、b都能被g整除，故"ax" + "by"能够被"g"整除。所以，"c"一定能够被"g"整除，不然方程就无解。方程两边若同时除以 formula_8，方程就变成了贝祖等式：其中"s"和"t"可以用扩展欧