Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
0 == x^2-12
⇒ algebra.equations.coverup.onevar.minus-left12 == x^2
⇒ algebra.equations.coverup.powersqrt 12 == x or -sqrt 12 == x
⇒ algebra.equations.quadratic.simpler-sqrt2*sqrt 3 == x or -2*sqrt 3 == x
⇒ algebra.equations.linear.flipx == 2*sqrt 3 or -2*sqrt 3 == x
⇒ algebra.equations.linear.flipx == 2*sqrt 3 or x == -2*sqrt 3