Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

-4*x^2-4*x+5 == 0

⇒ algebra.equations.quadratic.scale

x^2+x-5/4 == 0

⇒ algebra.equations.quadratic.prepare-split

x^2+x+1/4 == 3/2

⇒ algebra.equations.quadratic.left-square

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

⇒ algebra.equations.coverup.power

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

⇒ algebra.equations.coverup.onevar.plus

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

⇒ algebra.equations.coverup.onevar.plus

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

⇒ algebra.equations.quadratic.simpler-sqrt

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