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