关于取整的一些证明:
结论 1 1 1:
∀ a , b , c ∈ N , ⌊ ⌊ a b ⌋ c ⌋ = ⌊ a b c ⌋ \forall a,b,c\in\mathbb{N},\left\lfloor \frac{\left\lfloor\frac{a}{b} \right\rfloor}{c} \right\rfloor=\left\lfloor \frac{a}{bc} \right\rfloor ∀a,b,c∈N,⌊c⌊ba⌋⌋=⌊bca⌋
证明:
a b = ⌊ a b ⌋ + r , ( 0 ≤ r < 1 ) \dfrac{a}{b}=\lfloor\dfrac{a}{b}\rfloor+r,(0\le r<1) ba=⌊ba⌋+r,(0≤r<1)
⌊ a b c ⌋ = ⌊ ⌊ a b ⌋ c + r c ⌋ = ⌊ ⌊ a b ⌋ c ⌋ \left\lfloor \dfrac{a}{bc} \right\rfloor=\left\lfloor\dfrac{\left\lfloor\dfrac{a}{b} \right\rfloor}{c}+\dfrac{r}{c}\right\rfloor=\left\lfloor \dfrac{\left\lfloor\dfrac{a}{b} \right\rfloor}{c} \right\rfloor ⌊bca⌋=⎣ ⎢c⌊ba⌋+cr⎦ ⎥=⎣ ⎢c⌊ba⌋⎦ ⎥
结论 2 2 2 :
∀ a , b , c ∈ N , ⌈ ⌈ a b ⌉ c ⌉ = ⌈ a b c ⌉ \forall a,b,c\in\mathbb{N},\left\lceil \dfrac{\left\lceil\dfrac{a}{b} \right\rceil}{c} \right\rceil=\left\lceil \dfrac{a}{bc} \right\rceil ∀a,b,c∈N,⎢ ⎡c⌈ba⌉⎥ ⎤=⌈bca⌉
证明:
a b = ⌈ a b ⌉ − r , ( 0 ≤ r < 1 ) \dfrac{a}{b}=\lceil\dfrac{a}{b}\rceil-r,(0\le r<1) ba=⌈ba⌉−r,(0≤r<1)
⌈ a b c ⌉ = ⌈ ⌈ a b ⌉ c − r c ⌉ = ⌈ ⌈ a b ⌉ c ⌉ \left\lceil \dfrac{a}{bc} \right\rceil=\left\lceil\dfrac{\left\lceil\dfrac{a}{b} \right\rceil}{c}-\dfrac{r}{c}\right\rceil=\left\lceil \dfrac{\left\lceil\dfrac{a}{b} \right\rceil}{c} \right\rceil ⌈bca⌉=⎢ ⎡c⌈ba⌉−cr⎥ ⎤=⎢ ⎡c⌈ba⌉⎥ ⎤
推论1:
非负整数 x x x 按任意顺序依次除以(每次都向下或每次都向上取整) a = [ a 1 , a 2 , . . . , a n ] a=[a_1,a_2,...,a_n] a=[a1,a2,...,an] 得到的结果不变。
推论2:
令非负整数 x x x 除以 a = [ a 1 , a 2 , . . . , a n ] a=[a_1,a_2,...,a_n] a=[a1,a2,...,an] 的过程中每次都向下取整,得到的答案 y 1 y_1 y1。
令非负整数 x x x 除以 a = [ a 1 , a 2 , . . . , a n ] a=[a_1,a_2,...,a_n] a=[a1,a2,...,an] 的过程中随意取整,得到的答案 y 2 y_2 y2。
令非负整数 x x x 除以 a = [ a 1 , a 2 , . . . , a n ] a=[a_1,a_2,...,a_n] a=[a1,a2,...,an] 的过程中每次都向上取整,得到的答案 y 3 y_3 y3。
则 y 1 ≤ y 2 ≤ y 3 y_1\le y_2\le y_3 y1≤y2≤y3。其中 y 3 − y 1 ≤ 1 y_3-y_1\le 1 y3−y1≤1