Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

(1-x)^2 == x+2

⇒ algebra.equations.quadratic.distr-square

1-2*x+x^2 == x+2

⇒ algebra.equations.quadratic.move-left

x^2-3*x-1 == 0

⇒ algebra.equations.quadratic.prepare-split

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

⇒ algebra.equations.quadratic.left-square

(x-3/2)^2 == 13/4

⇒ algebra.equations.coverup.power

x-3/2 == sqrt (13/4) or x-3/2 == -sqrt (13/4)

⇒ algebra.equations.coverup.onevar.minus-left

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

⇒ algebra.equations.coverup.onevar.minus-left

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

⇒ algebra.equations.quadratic.simpler-sqrt

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