最一般形式的裴蜀定理:
$记n\in \mathbb N_+,a_1,a_2,...,a_n\in \mathbb Z,d=\gcd(a_1,a_2,...,a_n),则$
$存在b_1,b_2,...,b_n\in \mathbb Z,使得\sum_{i=1}^{n} a_i b_i=d$
推论?你可能是指:
$对任意n\in \mathbb N_+,存在m_n\in \mathbb N_+,使得$
$对任意a_1,a_2,...,a_n\in \mathbb N_+\cap (m_n,+∞),d=\gcd(a_1,a_2,...,a_n),则$
$存在b_1,b_2,...,b_n\in \mathbb N_+,使得\sum_{i=1}^{n} a_i b_i=d$