Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

12*x == 3*(x-2)*(x+6)

⇒ algebra.equations.quadratic.same-con-factor

4*x == (x-2)*(x+6)

⇒ algebra.equations.linear.distr-times

4*x == x^2+4*x-12

⇒ algebra.equations.quadratic.cancel

0 == x^2-12

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

12 == x^2

⇒ algebra.equations.coverup.power

sqrt 12 == x or -sqrt 12 == x

⇒ algebra.equations.quadratic.simpler-sqrt

2*sqrt 3 == x or -2*sqrt 3 == x

⇒ algebra.equations.linear.flip

x == 2*sqrt 3 or -2*sqrt 3 == x

⇒ algebra.equations.linear.flip

x == 2*sqrt 3 or x == -2*sqrt 3