(b) Prove that if \(2a^3+27c=9ab\) then the roots of \(x^3 + ax^2 + bx + c = 0\) form an arithmetic sequence.
Solution sketched out as follows:
(Strictly, this proves that if the roots are in arithmetic sequence then the condition is true.)