>>120の補足
> (a-2b)^2+3b^2≧0
この式にした上で
> よって、a^2+7b~2≧4ab
このように証明が終わる理由がわからないです