Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
x+2 == 1-2*x+x^2
⇒ algebra.equations.quadratic.move-left-x^2+3*x+1 == 0
⇒ algebra.equations.quadratic.scalex^2-3*x-1 == 0
⇒ algebra.equations.quadratic.prepare-splitx^2-3*x+9/4 == 13/4
⇒ algebra.equations.quadratic.left-square(x-3/2)^2 == 13/4
⇒ algebra.equations.coverup.powerx-3/2 == sqrt (13/4) or x-3/2 == -sqrt (13/4)
⇒ algebra.equations.coverup.onevar.minus-leftx == 3/2+sqrt (13/4) or x-3/2 == -sqrt (13/4)
⇒ algebra.equations.coverup.onevar.minus-leftx == 3/2+sqrt (13/4) or x == 3/2-sqrt (13/4)
⇒ algebra.equations.quadratic.simpler-sqrtx == 3/2+1/2*sqrt 13 or x == 3/2-1/2*sqrt 13