平面上满足约束条件
的点 形成的区域为 。区域 关于直线 对称的区域为 ,则区域 和区域 中距离最近的两点的距离为( )。
先用法向投影把两个对称区域分隔开,再让一对镜像点达到这个投影距离。
在区域 内有 ,故 ,等号在 取得。关于 反射后,区域 满足 。沿单位法向 ,任意两区域点的投影差至少为 ,距离因而不小于此数。点 的反射为 ,它属于 且 ,所以最近距离为 ,选 B。
同时满足 ,确是原三角区域的点。投影下界用实际镜像点达到,不是仅由两个支撑平行线的间距猜测。
对称凸域的距离可先看反射轴法向上的支撑间隔,再检验最近镜像点。
用反射轴法向的支撑投影给两个区域的距离下界,还需找一对实际镜像点证明该间隔可达。
核心工具:柯西不等式与投影、用平移、旋转、对称化简
已记下,谢谢!