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