Prove that if a, b, and c are positive real numbers, then
sqrt(a^2 + ab + b^2) + sqrt(a^2 + ac + c^2) + sqrt(b^2 + bc + c^2) >= sqrt(3) (sqrt(ab) + sqrt(ac) + sqrt(bc))
When does equality occur?
