关于绝对值的基本不等式[[x]-[y]]