解关于 的不等式:
把左边读成「总距离」。 由于 ,这个式子就是 到 的距离加上 到 的距离。位于 与 之间的任何点,总距离恰好是 (两个定点之间的间隔);一旦跑到外面,超出多少就要多付两倍。所以这个不等式问的是:哪些点的总路程预算不超过 ?
在分界点处分段。 绝对值里的两个式子分别在 和 处变号,所以要分三段处理:、、。
情形 。 此时 且 ,两个绝对值都要变号:
(除以 时不等号方向要反过来。)与 取交集,得 。
情形 。 现在 而 ,于是
被完全消掉了:这一段里每个 都使不等式成立,所以整个区间 都属于解集。这正是第 1 步里预言的那段「平底」。
情形 。 两个式子都非负:
与 取交集,得 。
把三段并起来,再验一下端点。
验算:在 处左边等于 ,所以端点取得到;在 处等于 ,理应排除。换个写法,答案就是 。
Need to solve a different problem like this? Open the solver →