主题目录

二元二次式:配方、非负性与最值

拓展更新于 2026-09-29

本页目录

二元二次式的许多最值问题只需配方和一元二次函数。系数退化时可能出现整条直线上的最小值,不能一律假定只有一个最小值点。

二次齐次式的非负判据

设 Q(x,y)=Ax2+2Bxy+Cy2Q(x,y)=Ax^2+2Bxy+Cy^2。当 A>0A>0 时,

Q=A(x+BAy)2+AC−B2Ay2.Q=A\left(x+\frac BAy\right)^2+\frac{AC-B^2}{A}y^2.

因此 QQ 对所有实数 x,yx,y 非负,当且仅当 A≥0,C≥0,AC−B2≥0A\ge0,C\ge0,AC-B^2\ge0。必要性中 A,C≥0A,C\ge0 来自分别令一变量为零;当 A=0A=0 时,若 B≠0B\ne0,固定非零 yy 后改变 xx 可使表达式为负,所以必须 B=0B=0。

若要求除原点外恒正,则等价于 A>0,AC−B2>0A>0,AC-B^2>0。当 A>0,AC−B2=0A>0,AC-B^2=0 时,零值点构成直线 Ax+By=0Ax+By=0,不能称为只在原点取零。

含一次项时逐步配方

考虑 F=Ax2+2Bxy+Cy2+2Dx+2Ey+F0F=Ax^2+2Bxy+Cy^2+2Dx+2Ey+F_0,先设 A>0A>0。令

K=C−B2A,L=E−BDA,K=C-\frac{B^2}A,\qquad L=E-\frac{BD}A,

则

F=A(x+By+DA)2+Ky2+2Ly+F0−D2A.F=A\left(x+\frac{By+D}A\right)^2+Ky^2+2Ly+F_0-\frac{D^2}A.

若 K>0K>0,继续配方得最小值 F0−D2/A−L2/KF_0-D^2/A-L^2/K,唯一取到点为 y=−L/Ky=-L/K、x=−(By+D)/Ax=-(By+D)/A。

若 K=0,L=0K=0,L=0,最小值为 F0−D2/AF_0-D^2/A,在整条直线 Ax+By+D=0Ax+By+D=0 上取到。若 K<0K<0,或 K=0,L≠0K=0,L\ne0,令第一个平方项为零,再改变 yy,就能使 FF 任意小,因而无下界。

若 A=0A=0 而 C>0C>0,交换变量。若 A=C=0A=C=0,原式含非零交叉项或非零一次项时无下界;所有这些系数都为零时为常函数。若 A<0A<0 或 C<0C<0,固定另一变量为零即可看出无下界。

完整配方算例

对于

F(x,y)=2x2−4xy+8y2−4x−4y+1,F(x,y)=2x^2-4xy+8y^2-4x-4y+1,

配方得到

F=2(x−y−1)2+6(y−2/3)2−11/3.F=2(x-y-1)^2+6(y-2/3)^2-11/3.

故最小值为 −11/3-11/3,且只在 (x,y)=(5/3,2/3)(x,y)=(5/3,2/3) 取到。两个平方项必须同时为零,不能只分别找到各自最小值而不检查是否能同时实现。

若题目增加约束,例如 x,yx,y 必须为整数或属于某个区间,以上无约束取等点未必合法;应在约束下继续求最值。

约束中的平方和为零

若实数 a,ba,b 满足 (a2+4)(b2+1)=5(2ab−1)(a^2+4)(b^2+1)=5(2ab-1),移项配方得

(ab−3)2+(a−2b)2=0.(ab-3)^2+(a-2b)^2=0.

两项非负,所以 ab=3ab=3、a=2ba=2b。于是 (a,b)(a,b) 为 (6,6/2)(\sqrt6,\sqrt6/2) 或 (−6,−6/2)(-\sqrt6,-\sqrt6/2)。即使只求 b(a+1/a)b(a+1/a),也不应在中间漏去负号分支;由 ab=3,b/a=1/2ab=3,b/a=1/2,两组都给出 7/27/2。

平方和为零只对实平方直接成立。复数中 12+i2=01^2+i^2=0,两项并不分别为零。

圆约束上的齐次二次式

在 x2+y2=1x^2+y^2=1 上,设 x=cos⁡t,y=sin⁡tx=\cos t,y=\sin t,则

Ax2+2Bxy+Cy2=A+C2+A−C2cos⁡2t+Bsin⁡2t.Ax^2+2Bxy+Cy^2=\frac{A+C}2+\frac{A-C}2\cos2t+B\sin2t.

因此最小、最大值分别为

A+C−(A−C)2+4B22,A+C+(A−C)2+4B22.\frac{A+C-\sqrt{(A-C)^2+4B^2}}2,\qquad \frac{A+C+\sqrt{(A-C)^2+4B^2}}2.

这来自辅助角公式;当振幅为零时表达式为常数。圆半径为 rr 时,齐次二次式的最值整体乘以 r2r^2。

例如 x2+y2=1x^2+y^2=1 时,4x2−5xy+4y24x^2-5xy+4y^2 的范围为 [3/2,13/2][3/2,13/2]。相应地,若 4x2−5xy+4y2=194x^2-5xy+4y^2=19,则 x2+y2x^2+y^2 的范围为 [38/13,38/3][38/13,38/3],两端分别由 x=−yx=-y 与 x=yx=y 取得。

关联阅读

主题目录 · 全站目录