Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

4*x^2+12*x+3 == 0

⇒ algebra.equations.quadratic.scale

x^2+3*x+3/4 == 0

⇒ algebra.equations.quadratic.prepare-split

x^2+3*x+9/4 == 3/2

⇒ algebra.equations.quadratic.left-square

(x+3/2)^2 == 3/2

⇒ algebra.equations.coverup.power

x+3/2 == sqrt (3/2) or x+3/2 == -sqrt (3/2)

⇒ algebra.equations.coverup.onevar.plus

x == -3/2+sqrt (3/2) or x+3/2 == -sqrt (3/2)

⇒ algebra.equations.coverup.onevar.plus

x == -3/2+sqrt (3/2) or x == -3/2-sqrt (3/2)

⇒ algebra.equations.quadratic.simpler-sqrt

x == -3/2+1/2*sqrt 6 or x == -3/2-1/2*sqrt 6