与其在 (a,b)(a,b)(a,b) 上施加可能误导性的线性约束，不如使用实际的 yyy 值，并用 aaa 和 yyy 表示 bbb。
方程 y2+ay+b−2=0y^2+ay+b-2=0y2+ay+b−2=0 等价于 b=2−y2−ayb=2-y^2-ayb=2−y2−ay。因此，对任意可行的 (a,b)(a,b)(a,b) 及其满足 ∣y∣≥2|y|\ge2∣y∣≥2 的对应实数 yyy，目标式就是所显示的表达式。