考虑证明一个整除等式(和整除分块有关?)

考虑证明:

$$\lfloor \frac{\lfloor \frac{n}{i}\rfloor }{j}\rfloor =\lfloor \frac{n}{i\ast j}\rfloor$$

我们设右边$$\lfloor \frac{n}{i\ast j}\rfloor =k$$ $$k\le \frac{n}{i\ast j}<k+1$$ $$k\ast j\le \frac{n}{i}<(k+1)\ast j$$
此时因为$k\ast j$是整数,$(k+1)\ast j$也是整数,所以假如$\frac{n}{i}$是一个整数,那么$k\ast j\le \lfloor \frac{n}{i}\rfloor <(k+1)\ast j$
假如$\frac{n}{i}$不是整数,那么$\lfloor \frac{n}{i}\rfloor \le \frac{n}{i}<(k+1)\ast j$.又因为其向下取整,所以下限显然依旧是$k\ast j$(这部分严格证明可以通过分类其整数部分来证明,但是因为过于显然所以此处略过)

所以我们有$$k\ast j\le \lfloor \frac{n}{i}\rfloor <(k+1)\ast j$$那么显然有$$k\le \frac{\lfloor \frac{n}{i}\rfloor }{j}<(k+1)$$又因为显然$\frac{\lfloor \frac{n}{i}\rfloor }{j}$的整数部分只能取$k$,所以$\lfloor \frac{\lfloor \frac{n}{i}\rfloor }{j}\rfloor =k$,所以左右两个式子相等,所以证明成立.