tion::::整数中的裴蜀定理.对任意两个整数formula_1、formula_2，设formula_10是它们的最大公约数。那么关于未知数formula_4和formula_5的线性丢番图方程（称为裴蜀等式）：有整数解formula_27当且仅当"formula_3"是formula_10的整数倍。裴蜀等式有解时必然有无穷多个解。formula_30时，方程有解当且仅当formula_1、formula_2互质。方程有解时，解的集合是所有解中，恰有二解("x","y") 满足formu