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

a<0 のとき 2a(b-c)^2 < 0 だから、上の不等式は常には成り立たんよな。