Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
6 == (6*x-3)^2
⇒ algebra.equations.coverup.powersqrt 6 == 6*x-3 or -sqrt 6 == 6*x-3
⇒ algebra.equations.coverup.onevar.minus-left3+sqrt 6 == 6*x or -sqrt 6 == 6*x-3
⇒ algebra.equations.coverup.times(3+sqrt 6)/6 == x or -sqrt 6 == 6*x-3
⇒ algebra.equations.coverup.onevar.minus-left(3+sqrt 6)/6 == x or 3-sqrt 6 == 6*x
⇒ algebra.equations.coverup.times(3+sqrt 6)/6 == x or (3-sqrt 6)/6 == x
⇒ algebra.equations.linear.flipx == (3+sqrt 6)/6 or (3-sqrt 6)/6 == x
⇒ algebra.equations.linear.flipx == (3+sqrt 6)/6 or x == (3-sqrt 6)/6
⇒ algebra.equations.quadratic.distr-divx == 1/2+sqrt 6/6 or x == 1/2-sqrt 6/6