Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

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

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

6 == (2*x+3)^2

⇒ algebra.equations.coverup.power

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

⇒ algebra.equations.coverup.onevar.plus

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

⇒ algebra.equations.coverup.times

(-3+sqrt 6)/2 == x or -sqrt 6 == 2*x+3

⇒ algebra.equations.coverup.onevar.plus

(-3+sqrt 6)/2 == x or -3-sqrt 6 == 2*x

⇒ algebra.equations.coverup.times

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

⇒ algebra.equations.linear.flip

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

⇒ algebra.equations.linear.flip

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

⇒ algebra.equations.quadratic.distr-div

x == -3/2+sqrt 6/2 or x == -3/2-sqrt 6/2