a^2+ab+b^2≧3ab
の証明と等号が成り立つ時