算术基本引理

网上找了一圈，发现只有算术基本定理的证明和解释，而算术基本引理的相关说明确是不多，故而写一篇博文，供有需要的朋友查看。
本文是对潘承洞先生的《数论基础》第一章部分内容的解释

算术基本引理是，设p为素数，p能整除ab，且p不能整除a，则p能整除b（能力所限，不会打字符…）

证明：设a>0,b>0
由于p不能整除a，故有pa,2pa,3pa等一些数可以被p整除，设k0为是ka可以被p整除的最小的k，先证明k0 = p.
若k0 不等于p, 则0<k0<p, 写成带余数除法的形式为 p = qk0 + r,0<r<k0
r = p - qk0;
ar = ap - qk0a;
由于p能整除ap，p能整除qk0a,故p能整除ar，又r<k0，这与k0为最小的ka矛盾。
因此k0=p.
下面证明 p能整除b,
若p 不能整除b, 设b = qp + r ， 0<r<p
r = b - qp
ar = ab - qpa
同样能推出p能整除ar,这又与k0为最小的矛盾，故p能整除b.