Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

11 == (x-7)^2+3

⇒ algebra.equations.coverup.onevar.plus

8 == (x-7)^2

⇒ algebra.equations.coverup.power

sqrt 8 == x-7 or -sqrt 8 == x-7

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

7+sqrt 8 == x or -sqrt 8 == x-7

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

7+sqrt 8 == x or 7-sqrt 8 == x

⇒ algebra.equations.quadratic.simpler-sqrt

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

⇒ algebra.equations.linear.flip

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

⇒ algebra.equations.linear.flip

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