Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
8 == (x-7)^2
⇒ algebra.equations.coverup.powersqrt 8 == x-7 or -sqrt 8 == x-7
⇒ algebra.equations.coverup.onevar.minus-left7+sqrt 8 == x or -sqrt 8 == x-7
⇒ algebra.equations.coverup.onevar.minus-left7+sqrt 8 == x or 7-sqrt 8 == x
⇒ algebra.equations.quadratic.simpler-sqrt7+2*sqrt 2 == x or 7-2*sqrt 2 == x
⇒ algebra.equations.linear.flipx == 7+2*sqrt 2 or 7-2*sqrt 2 == x
⇒ algebra.equations.linear.flipx == 7+2*sqrt 2 or x == 7-2*sqrt 2