整除及基本性质及证明

百度定义——若整数b除以非零整数a，商为整数，且余数为零，b为被除数，a为除数，即a|b（“|”是整除符号），读作“a整除b”或“b能被a整除”。a叫做b的约数（或因数），b叫做a的倍数。整除属于除尽的一种特殊情况。——来自度娘。

官方定义看上去如此晦涩难懂，但其实就是给定a,b，a=bc或a%b==0(b不为0）则称b|a
注意不要写成a|b了
注意不要写成a|b了
注意不要写成a|b了
则有几条基本性质：
1.若 a|b且b|a，则a=b或-b
2.若a|b,且b|c,则a|c
3.假设x不为0，若a|b,当且仅当xa|xb
4.若 a|b,且a|c，则对于任意x,y,都有a|xb+yc
下面给出弱智 严谨证明：
对于1,设
ax=b…5
by=a…6
(x,y为整数且x,y不为0）
则由6，a=by,
将a=by带入5，得：
bxy=b
所以xy=1
则x=1,y=1或x=-1,y=-1
则a=b或-b
对于2，设
ax=b
by=c
(x,y为整数且x,y不为0）
将b=ax带入by=c
则axy=c
所以a|c
对于3，设
b=ma
则xb=xam
则xa|xb
对于4，设
ma=b,na=c
则xb+yc=max+nay=a(mx+ny)
则a|xb+yc
OK，虽然这些结论显而易见，但证明也很简单 严谨的证明还是有必要的