讨了多项式中的裴蜀等式，并给出了相应的定理和证明。
整数中的裴蜀定理.对任意两个整数formula_1、formula_2，设formula_10是它们的最大公约数。那么关于未知数formula_4和formula_5的线性丢番图方程（称为裴蜀等式）：有整数解formula_27 当且仅当"formula_3"是formula_10的整数倍。裴蜀等式有解时必然有无穷多个解。formula_30时，方程有解当且仅当formula_1、formula_2互质。方程有解时，解的集