裴蜀定理及证明

在数论中，裴蜀定理是一个关于最大公约数（或最大公约式）的定理。裴蜀定理得名于法国数学家艾蒂安·裴蜀，说明了对任何整数a、b和它们的最大公约数d，关于未知数x和y的线性丢番图方程（称为裴蜀等式）：

　　ax + by = m

　　有解当且仅当m是d的倍数。裴蜀等式有解时必然有无穷多个整数解，每组解x、y都称为裴蜀数，可用辗转相除法求得。

　　例如，12和42的最大公因子是6，则方程12x + 42y = 6有解。事实上有(-3)×12 + 1×42 = 6及4×12 + (-1)×42 = 6。

　　特别来说，方程 ax + by = 1 有解当且仅当整数a和b互素。

　　裴蜀等式也可以用来给最大公约数定义：d其实就是最小的可以写成ax + by形式的正整数。这个定义的本质是整环中“理想”的概念。因此对于多项式整环也有相应的裴蜀定理。

1．裴蜀定理: 对任何整数a、b，存在整数x、y，使得ax + by = (a, b)
   证明
    只证a和b均不为0的情况即可，且无妨假设a和b均大于0。
    记d = (a, b), 对ax + by = d，两边同时除以d，可得(a1)x + (b1)y = 1，其中(a1,b1) = 1。
　　转证(a1)x + (b1)y = 1。由带余除法：
　　① (a1) = (q1)(b1) + (r1), 其中0 < r1 < b1   
　　② (b1) = (q2)(r1) + (r2), 其中0 < r2 < r1   
　　③ (r1) = (q3)(r2) + (r3), 其中0 < r3 < r2   
　　     .....
　　④ (rn-4) = (qn-2)(rn-3) + (rn-2)               
　　⑤ (rn-3) = (qn-1)(rn-2) + (rn-1)               
　　⑥ (rn-2) = (qn)(rn-1) + (rn)                 
　　⑦ (rn-1) = (qn+1)(rn) + 1                   
故，由⑦和⑥推出(rn-2)An-2 + (rn-1)Bn-1 = 1              
    再结合⑤推出(rn-3)An-3 + (rn-2)Bn-2 = 1          
　　再结合④推出(rn-4)An-4 + (rn-3)Bn-3 = 1          
　　     .....
　　再结合③推出(r1)A1 + (r2)B2 = 1                  
　　再结合②推出(b1)A0 + (r1)B0 = 1                
　　再结合①推出(a1)x + (b1)y = 1          
   证毕。
2．重要推论：整数a与b互质的充要条件是，存在整数x、y，使得ax + by = 1
   证明
(1)  如果a与b互质
    因为(a, b) = 1，由裴蜀定理，存在整数x、y，使得ax + by = 1。
(2)  如果存在整数x、y，使得ax + by = 1
    因为(a, b)| ax + by，所以(a, b)| 1，推出(a, b) = 1，即a与b互质。
   证毕。