指数函数上方点集的刚性运动覆盖
在平面直角坐标系 中,设 为正整数,定义点集
点集 都由 经过任意有限次平移或以原点为中心的 旋转所得到。若平面上的任意一点都属于 ,则 的最小值为 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
“无穷远方向”这里只是固定方向的远射线,不需凸分析。下界须先选一个落在所有有限个方向扇区之外的方向,再取共同足够远的点;不能给每份各挑不同的点。
想法从哪来:先在很远处沿射线观察一份区域,而不急着画有限范围内的重叠。 若射线向右,指数增长最终胜过线性;若射线向下,则纵坐标最终为负。因此一份区域能沿之延伸到无穷远的方向至多落在一个直角扇区,平移不会改变这个限制。方向总量先给出份数下界。 试四次直角旋转时,原区域在原点附近会留下缺口;先下移1使边界经过原点,再旋转。验证时不逐象限画图,而是假设存在遗漏点:上下两份的补集迫使 同号,左右两份却迫使异号。
单个指数函数上方区域在无穷远处只可能覆盖一个直角扇区的方向,这给出至少需要四份的下界。 上界则把下移后的区域依次旋转 ,用四个显式不等式证明它们没有共同遗漏点。
先证下界。对 作任意平移后,设沿单位方向 的射线上有任意远的点仍属于该集合。若 ,指数项的增长最终快于左边的 线性增长;若 ,左边最终趋于负无穷。因此可能延伸到无穷远的方向只能满足
这些方向位于一个圆心角为 的闭扇区。旋转只会转动这个扇区。
若只有三份这样的点集,三个方向扇区在单位圆上的总弧长至多为 。 可取一个不属于三者的方向;沿该方向充分远的点将同时落在三份点集之外。因此
再证四份足够。先把 向下平移 个单位,再依次绕原点旋转 ,得到
假设点 不属于这四个集合,则
式 (2) 在 时不可能成立;而当 时,两个端点 与 均与 同号,故 同号。 另一方面,不属于 又给出
式 (3) 又说明 ,且两个端点均与 异号,所以 异号,与上面矛盾。 故四个集合确实覆盖整个平面。结合 (1),最小值为
平移中的常数在沿射线趋于无穷时不改变方向扇区,所以下界适用于题目允许的任意有限次平移、 旋转的复合。上界中的四个不等式分别由同一个下移后的 作四次直角旋转得到, 没有使用伸缩或反射。
无界区域的有限覆盖题可分两步:先研究每份区域的“无穷远方向”得到数量下界,再选择等角度 旋转的候选构造。验证覆盖时,假设存在遗漏点,把所有补集不等式联立并制造符号矛盾。
有限点或局部图像不足以给下界,需提取每份区域的无穷延伸方向仅占90度,再构造四份移位旋转区域并证明全平面无遗漏。
核心工具:用平移、旋转、对称化简
已记下,谢谢!