>>398

f＝g(a)＋{(aa+2a)−(bb+cc)/2}^2＋2a(b-c)^2＋(7/4)(bb-cc)^2≧g(a).

等号成立は b=c=±√(aa+2a) のとき。