解不等式
把连写的不等式拆成两个条件。 夹在中间的绝对值不等式,本质上是一个交集:
这两者的行为正好相反 —— 「大于」向外张开,「小于」向内收拢 —— 所以必须分别解,再取交集。
先解「大于」那一半。 当 时, 意味着 或 :
这是两条射线的并集 —— 也就是离 较远的那些点。
再解「不超过」那一半。 意味着 :
这是一条完整的区间带 —— 离 较近的那些点。
逐块取交集。 拿每条射线去和这条带子相交:
从距离的角度读这个答案。 就是 到 的距离,所以这个不等式要找的是距离大于 而至多为 的点 —— 相当于数轴上的一个圆环。两侧各贡献一段长度为 的区间:
注意括号的搭配:外端是闭的(来自 ),内端是开的(来自严格的 )。
扫描式验证。 在 上取 个精确有理数点测试, 恰好在 的点上成立,别处都不成立 ✓。端点单独检查: 时 ✓,应当包含; 时 ✗,必须排除。
Need to solve a different problem like this? Open the solver →