方程与不等式配合

e.g.　 若 $a,b,c\ge0$ 且 两式相减得 $b=(a+3)/2$，再得 $c=(9-3a)/2$。由非负性， 因此在这个条件下 $a$ 的最大值为 $3$，且可取 $b=3,c=0$ 验证达到。