4. Theorem.. There does not exist a real solution to the quadratic equation 3x^2 12x + 17 = 0.

[Hint: It is not enough to just use the quadratic formula and indicate that the solutions are non-real; this type of argument implicitly uses some heavy-duty math, including the Fundamental Theorem of Algebra. Instead, use a proof by contradiction to show that such a real x cannot exist. Completing the square may be a helpful algebraic move.]

a) State strategy you'll use to prove.

b) Do proof.