易混 2025 年全国高中数学联赛一试(A 卷) 第 7 题 · P007112
两题都有单位向量和数量积限制,但只有取整等式额外产生整数性时,才能先把数量积分成有限几类。
一题由整数性和模的界获得离散分类;另一题仅有非负数量积,角度仍连续变化,须用单个角的凹凸性与边界构型优化。
两两非负数量积平面单位向量和的最小模
给定整数 。设
是平面单位向量,满足:对任意 ,均有
求
的最小值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
凹函数在闭区间的最小值至少可在一个端点取得,因为内部值不小于端点连线。这里只对一个角变量使用凹性,其他方向保持不动;两两方向差不超过直角保证二阶导数非正。
想法从哪来:只把模平方展开并舍掉非负点积,会给出偏弱下界;还需要用平面方向的共同约束。先选一个向量作方向零点,其他方向都可放在左右各直角的范围内;再用两两非钝角条件,发现最大方向差也不超过直角,因此所有向量能装入同一个小扇形。 固定其他方向,模平方关于一个方向角的二阶导数非正,说明沿这段角区间把它推到某一端不会增大目标。逐个推移后,只剩两端方向的整数分组。两端越分开越容易让和短,最后可以取成互相垂直,并把向量数尽量均分。向量允许重复正是等号构造的关键,奇偶差异来自分组数量必须为整数。
两两数量积非负意味着所有方向能放进一个张角不超过 的扇形。目标模的平方对 每一个方向角分别是凹函数,因此把方向逐个推到扇形两端不会增大目标;极值最终化为把 个向量尽量平均地分配到两个互相垂直方向。
先证明所有向量的方向角都可取在某个长度不超过 的区间内。固定 的方向为 ,其余方向角可取在 内。任意两个这样的角之差的绝对值不超过 ;由它们对应向量的 数量积非负,角差的绝对值实际上不超过 。故全体方向角的最大值与最小值之差
整体旋转后,可设
令
固定其余角度,只把 看成 的函数,则
所以 关于每个变量在区间 上分别为凹函数。对任一内部角 ,把它换成端点 或 中较优的一个不会增大 。逐个进行后, 可知 的最小值必可在所有方向角都属于 时取得。
设其中 个角为 , 个角为 。则
在整数 下, 在两数尽量接近时最小。因此
取两个互相垂直的单位向量,并令其中 个 等于第一个, 个等于第二个。所有两两数量积均为 或 ,且 (1) 取等号。 故所求最小值为
,即
凹性论证只在所有角差不超过 时使用,此条件已由题设先行证明。取等构造允许 向量重复,题目未要求向量互异;同向数量积为 、垂直数量积为 ,均满足非负条件。
平面单位向量两两成非钝角时,先把方向压入一个象限。若目标是向量和的模,模平方是 角差余弦之和;对单个角的凹性把连续优化压到两个边界方向,最后只剩平衡整数分组。
先证明所有方向被同一90度扇区包含,再利用逐变量凹性将全部向量推到两边界方向,最后按n奇偶均分并实现下界。
易混 2025 年全国高中数学联赛一试(A 卷) 第 7 题 · P007112
两题都有单位向量和数量积限制,但只有取整等式额外产生整数性时,才能先把数量积分成有限几类。
一题由整数性和模的界获得离散分类;另一题仅有非负数量积,角度仍连续变化,须用单个角的凹凸性与边界构型优化。
已记下,谢谢!