Triangle ABC has sides a, b, and c, and circumradius R. Prove that a^2 + b^2 + c^2 <= 9R^2. When does equality occur?
