基础数论算法（1）整除与同余

只是想系统的学一下数论而已orz于是打算写这么一个系列
参考的书目是《信息学奥赛之数学一本通》，不过这书特别的坑所以大概只会选择其中一部分来说说（应付NOIP就行了在意那么多做什么hhh）
此外会参考前几日培训时zhx的讲课内容以及P2O5dalao的笔记。至于剩余的参考内容等，到了涉及的时候再说吧。

---

（I）整除

整除是数论的重要基础。

一、整除的定义与符号表示

设a为非零整数，b为整数。若$\exists$q∈Z，满足b=a·q，则称b可被a整除或a整除b，记作a|b，同时b是a的倍数，a是b的因子。

二、整除的基本性质

(1)a|b,b|c$\Rightarrow$a|c
(2)a|b,a|c$\Leftrightarrow \forall x,y\in Z,a|(b\times x+c\times y)$
(3)$若m\neq 0,则a|b\Leftrightarrow (m·a)|(m·b)$
(4)$x,y\in Z,且\exists a,b使ax+by=1,a|n,b|n \Rightarrow(a·b)|n$

证明：
$\because a|n,b|n$
∴ab|bn,a