裴蜀(贝祖)定理及其证明

定理

$\large{ax+by=c,x\in Z^*,y\in Z^*}$成立的充要条件是$\large{\gcd(a,b)|c}$

 

证明

设$\large {s=\gcd(a,b)}$,显然$\large{s|a}$,并且$\large {s|b}$

又因为$\large {x,y\in Z^*}$

所以$\large{s|ax,s|by}$

显然要使得之前的式子成立,则必须满足$\large c$是$\large a$和$\large b$的公约数的倍数

又因为$\large x$和$\large y$是正整数

所以$\large c$必然是$\large a,b$最大公约数的倍数。

因此,证得该定理成立

 

说明

该定理完全可以推广到若干数的线性组合

 

例题的话,请看这里:Luogu 4549 裴蜀定理/Min

posted @ 2018-07-16 11:22  Mystical-W  阅读(...)  评论(...编辑  收藏