定义区间 的长度 均为 ，多个互无交集的区间的并集长度为各区间长度之和，例如 的长度 。用 表示不超过 的最大整数，例如 。记 。设 ， ，若用 、 和 分别表示不等式 、方程 和不等式 解集区间的长度，则当 时， .