整数连续做除法取整的一些结论

关于取整的一些证明：

结论 $1$：

$$\forall a,b,c\in \mathbb{N},\lfloor \frac{\lfloor \frac{a}{b}\rfloor }{c}\rfloor =\lfloor \frac{a}{bc}\rfloor$$

证明：

$\frac{a}{b}=\lfloor \frac{a}{b}\rfloor +r,(0\le r<1)$

$\lfloor \frac{a}{bc}\rfloor =\lfloor \frac{\lfloor \frac{a}{b}\rfloor }{c}+\frac{r}{c}\rfloor =\lfloor \frac{\lfloor \frac{a}{b}\rfloor }{c}\rfloor$

结论 $2$ :

$$\forall a,b,c\in \mathbb{N},\lceil \frac{\lceil \frac{a}{b}\rceil }{c}\rceil =\lceil \frac{a}{bc}\rceil$$

证明：

$\frac{a}{b}=\lceil \frac{a}{b}\rceil -r,(0\le r<1)$

$\lceil \frac{a}{bc}\rceil =\lceil \frac{\lceil \frac{a}{b}\rceil }{c}-\frac{r}{c}\rceil =\lceil \frac{\lceil \frac{a}{b}\rceil }{c}\rceil$

推论1：

非负整数 $x$ 按任意顺序依次除以（每次都向下或每次都向上取整） $a=[a_1,a_2,...,a_n]$ 得到的结果不变。

推论2：

令非负整数 $x$ 除以 $a=[a_1,a_2,...,a_n]$ 的过程中每次都向下取整，得到的答案 $y_1$。

令非负整数 $x$ 除以 $a=[a_1,a_2,...,a_n]$ 的过程中随意取整，得到的答案 $y_2$。

令非负整数 $x$ 除以 $a=[a_1,a_2,...,a_n]$ 的过程中每次都向上取整，得到的答案 $y_3$。

则 $y_1\le y_2\le y_3$。其中 $y_3-y_1\le 1$