初等数论知识（附证明）

前言

数论真的是一种很好玩的东东啊，（特别是对笔者这种大脑硬件不过关的孩纸来说）。

如果有路过的大佬发现笔者的$LaTeX$还有证明，结论等有错误纰漏或者不完善的，欢迎留言评论or私下指出呀~！

什么是数论

度娘说:

数论是纯粹数学的分支之一，主要研究整数的性质。整数可以是方程式的解（丢番图方程）。有些解析函数（像黎曼ζ函数）中包括了一些整数、质数的性质，透过这些函数也可以了解一些数论的问题。透过数论也可以建立实数和有理数之间的关系，并且用有理数来逼近实数（丢番图逼近）。
按研究方法来看，数论大致可分为初等数论和高等数论。初等数论是用初等方法研究的数论，它的研究方法本质上说，就是利用整数环的整除性质，主要包括整除理论、同余理论、连分数理论。高等数论则包括了更为深刻的数学研究工具。它大致包括代数数论、解析数论、计算数论等等。

度娘难得讲得如此清晰

整除&同余

$a\mid b$ 及 $a$ 能整除 $b$ ，或 $b$ 是 $a$ 的倍数，$a$ 是 $b$ 的因子。

整除的性质

1 $a\mid b$ 且 $b\mid c$, 则 $a\mid c$ 。

其实看起来很易证，但笔者本着认真严谨求实的治学态度，再易证也要证的。（一本正经脸）

证：

$\because a\mid b$
$\therefore 不妨设:b=a\times k_b$

$又\because b\mid c$
$\therefore 不妨设:c=b\times k_c$
$\therefore c=(a\times k_b)\times c$
$\therefore c=a\times k_b\times c$
$\therefore a\mid c$

2 $a\mid b$ 且 $a\mid c\iff a\mid (bx+cy)(x\in z,y\in z)$

证：

$\because a\mid b$
$\therefore a\mid (bx),a\mid (cy)$
$\therefore a\mid (bx+cy)$

3 $a\mid b$ 则 $am\mid bm(m\in z且z\ne 0)$

$\because a\mid b$
$\therefore 不妨设b=ax$
又将其带入$am\mid bm$
$\therefore 原式=am\mid amx$
$\therefore am\mid bm$

4 设整数x, y满足下式：$ax+by=1$，且$a\mid n$ , $b\mid n$ 则$ab\mid n$

证：

$\because a\mid n且b\mid n$
$\therefore a\ne 0且b\ne 0$
$又\because ax+by=1$
$\therefore a,b不能同时为0$
$\frac{(ax+by)}{ab}=\frac{1}{ab}$
$\therefore \frac{x}{b}+\frac{y}{a}=\frac{1}{ab}$

$即证ab\mid n则为\frac{1}{ab}\times n=x(x\in z)$
$\therefore 原式=\frac{x}{b}\times n+\frac{y}{a}\times n=x(x\in z)$
$又\because a\mid n且b\mid n$
$\therefore x\in z$

5 若$b=q\times d+c$ 则 $d\mid b\iff d\mid c$

证

$\because 若证b=q\times d+c$ 则 $d\mid b\iff d\mid c$
$即证$
$当d\mid b时，d\mid c以及d\mid c时，d\mid b$

$\because d\mid b$
$设b为q\times d+c$
$\therefore d\mid (q\times d+c)$
$又\because d\mid qd$
$\therefore d\mid c$

$\because d\mid$