考虑证明:
⌊ ⌊ n i ⌋ j ⌋ = ⌊ n i ∗ j ⌋ \lfloor \frac{\lfloor \frac{n}{i} \rfloor}{j} \rfloor=\lfloor \frac{n}{i*j} \rfloor ⌊j⌊in⌋⌋=⌊i∗jn⌋
我们设右边
⌊
n
i
∗
j
⌋
=
k
\lfloor \frac{n}{i*j} \rfloor=k
⌊i∗jn⌋=k
k
≤
n
i
∗
j
<
k
+
1
k\leq\frac{n}{i*j}<k+1
k≤i∗jn<k+1
k
∗
j
≤
n
i
<
(
k
+
1
)
∗
j
k*j\leq\frac{n}{i}<(k+1)*j
k∗j≤in<(k+1)∗j
此时因为
k
∗
j
k*j
k∗j是整数,
(
k
+
1
)
∗
j
(k+1)*j
(k+1)∗j也是整数,所以假如
n
i
\frac{n}{i}
in是一个整数,那么
k
∗
j
≤
⌊
n
i
⌋
<
(
k
+
1
)
∗
j
k*j\leq\lfloor \frac{n}{i} \rfloor<(k+1)*j
k∗j≤⌊in⌋<(k+1)∗j
假如
n
i
\frac{n}{i}
in不是整数,那么
⌊
n
i
⌋
≤
n
i
<
(
k
+
1
)
∗
j
\lfloor \frac{n}{i} \rfloor\leq\frac{n}{i}<(k+1)*j
⌊in⌋≤in<(k+1)∗j.又因为其向下取整,所以下限显然依旧是
k
∗
j
k*j
k∗j(这部分严格证明可以通过分类其整数部分来证明,但是因为过于显然所以此处略过)
所以我们有 k ∗ j ≤ ⌊ n i ⌋ < ( k + 1 ) ∗ j k*j\leq\lfloor \frac{n}{i} \rfloor<(k+1)*j k∗j≤⌊in⌋<(k+1)∗j那么显然有 k ≤ ⌊ n i ⌋ j < ( k + 1 ) k\leq\frac{\lfloor \frac{n}{i} \rfloor}{j}<(k+1) k≤j⌊in⌋<(k+1)又因为显然 ⌊ n i ⌋ j \frac{\lfloor \frac{n}{i} \rfloor}{j} j⌊in⌋的整数部分只能取 k k k,所以 ⌊ ⌊ n i ⌋ j ⌋ = k \lfloor \frac{\lfloor \frac{n}{i} \rfloor}{j} \rfloor=k ⌊j⌊in⌋⌋=k,所以左右两个式子相等,所以证明成立.