Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
3*x+2 == 5*x^2+3*x
⇒ algebra.equations.quadratic.cancel2 == 5*x^2
⇒ algebra.equations.coverup.times2/5 == x^2
⇒ algebra.equations.coverup.powersqrt (2/5) == x or -sqrt (2/5) == x
⇒ algebra.equations.quadratic.simpler-sqrt1/5*sqrt 10 == x or -1/5*sqrt 10 == x
⇒ algebra.equations.linear.flipx == 1/5*sqrt 10 or -1/5*sqrt 10 == x
⇒ algebra.equations.linear.flipx == 1/5*sqrt 10 or x == -1/5*sqrt 10