Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

5 == 11-(2*x+1)^2

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

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

⇒ algebra.equations.coverup.power

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

⇒ algebra.equations.coverup.onevar.plus

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

⇒ algebra.equations.coverup.times

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

⇒ algebra.equations.coverup.onevar.plus

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

⇒ algebra.equations.coverup.times

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

⇒ algebra.equations.linear.flip

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

⇒ algebra.equations.linear.flip

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

⇒ algebra.equations.quadratic.distr-div

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