markdown完成除法算法证明

证明

---

1. 要证明:设a、b、c∈Z，如果a|b、b|c，则a|c。

---

$$\because a|b、b|c$$
$$\therefore 存在且唯一存在整数m、n满足b=am和c=bn$$
$$\therefore c=bn=amn\therefore c/a=mn$$
$$\therefore a|c成立$$

$$2.要证明：如果c|a、c|b，则对任意m、n\in Z，有c|(Ma+nb)$$

$$\because c|a、c|b$$
$$\therefore 存在且唯一存在整数i、j满足a=ci和b=cj$$
$$\therefore ma=cim,nb=cjn$$
$$\therefore ma+nb=cim+cjn=c(im+jn)$$
$$\therefore c|(ma+nb)成立$$

$$3.证明a=qb+r的存在性$$

$$构造集合S=a-bk:k\in Z且a-bk\ge 0。$$
$$显然，集合S非空。由良序原则，存在一个最小元r\in S，且r=a-qb。$$
$$因此，a=qb+r,r\ge 0。且由a=qb+r得\frac{a}{b}=q+\frac{r}{b}，显然有\frac{a}{b}\ge q，$$
$$而\frac{a}{b}是个有理数，故它的取值范围将限制为q\le \frac{a}{b}＜q+1。$$
$$因此q+\frac{r}{b}＜q+1即\frac{r}{b}＜1即r＜b$$

$$4.证明唯一性$$

$$假定存在两对整数对q1和r1、q2和r2，且q1\ne q2、r1\ne r2$$
$$那么有q1b+r1=q2b+r2=a$$
$$\therefore (q1-q2)\ast b=r2-r1。$$
$$\because q1\ne q2，且q1和q2都是整数，$$
$$\therefore q1-q2是个非零整数，$$
$$无论是r1＞r2还是r1＜r2$$
$$必然是不满足0\le r＜b这个条件的。$$