Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

(7+2*x)^2 == 7

⇒ algebra.equations.coverup.power

7+2*x == sqrt 7 or 7+2*x == -sqrt 7

⇒ algebra.equations.coverup.onevar.plus

2*x == -7+sqrt 7 or 7+2*x == -sqrt 7

⇒ algebra.equations.coverup.times

x == (-7+sqrt 7)/2 or 7+2*x == -sqrt 7

⇒ algebra.equations.coverup.onevar.plus

x == (-7+sqrt 7)/2 or 2*x == -7-sqrt 7

⇒ algebra.equations.coverup.times

x == (-7+sqrt 7)/2 or x == (-7-sqrt 7)/2

⇒ algebra.equations.quadratic.distr-div

x == -7/2+sqrt 7/2 or x == -7/2-sqrt 7/2