1.在数论中，贝祖等式也叫裴蜀等式，是一个关于最大公约数（或最大公约式）的定理，说明了对任何整数a、b 和 m，关于未知数x 和 y 的线性丢番图方程（称为裴蜀等式）：
2.有整数解时当且仅当m是a及b的最大公约数d的倍数。裴蜀等式有解时必然有无穷多个整数解，每组解x、y都称为裴蜀数
特别来说，方程ax+by=1有整数解当且仅当整数a和b互素