在直角坐标系中,设是坐标原点,定点,动点满足、。则的最大值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先把目标数量积写成坐标线性式。
利用可行域的一条上边界估计,再用另一条坐标限制决定最大值,并回查取等点。
目标为
由 及 ,
取 ,满足 及 ,并使两步估计同时取等。 所以最大值为
上下界 还给出 ,可行域是顶点 的三角形。目标在三顶点分别为2、6、3,与最大值6一致。
线性目标在多边形约束中,可先找一串能同时取等的线性估计;若直接检查顶点,也应先确认可行区域和全部顶点。
数量积化坐标后使用给定上下界即可达到最大。
核心工具:作差后证明非负
已记下,谢谢!