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.scalex^2+3*x+3/4 == 0
⇒ algebra.equations.quadratic.prepare-splitx^2+3*x+9/4 == 3/2
⇒ algebra.equations.quadratic.left-square(x+3/2)^2 == 3/2
⇒ algebra.equations.coverup.powerx+3/2 == sqrt (3/2) or x+3/2 == -sqrt (3/2)
⇒ algebra.equations.coverup.onevar.plusx == -3/2+sqrt (3/2) or x+3/2 == -sqrt (3/2)
⇒ algebra.equations.coverup.onevar.plusx == -3/2+sqrt (3/2) or x == -3/2-sqrt (3/2)
⇒ algebra.equations.quadratic.simpler-sqrtx == -3/2+1/2*sqrt 6 or x == -3/2-1/2*sqrt 6