蓝书上的错误原因在不一定有\(x_1-\lfloor px_1\rfloor+q=\lfloor x_1-px_1\rfloor+q\)，因为减号不一定能够移进移出，但是加号可以
我们现在要证明的就是\(x_1-\lfloor px_1\rfloor≥x_2-\lfloor p(x_2+q)\rfloor\)，既然减号不可以我们就移项利用加法
也就是证\(x_1+\lfloor p(x_2+q)\rfloor≥x_2+\lfloor px_1\rfloor\)
即\(\lfloor x_1+p(x_2+q)\rfloor≥x_2+\lfloor px_1\rfloor\)
有\(\lfloor x_1+p(x_2+q)\rfloor≥\lfloor x_1+px_2\rfloor\)
故即证\(\lfloor x_1+px_2\rfloor≥x_2+\lfloor px_1\rfloor=\lfloor x_2+px_1\rfloor\)
我们尝试证明\(x_1+px_2≥x_2+px_1\)，这个显然了
标签：lfloor,px,rfloor,减号,蚯蚓,移项 From： https://www.cnblogs.com/dingxingdi/p/18178586