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-11 == (3+2*x)^2
⇒ algebra.equations.quadratic.distr-square3*x^2-11 == 9+12*x+4*x^2
⇒ algebra.equations.quadratic.move-left-x^2-12*x-20 == 0
⇒ algebra.equations.quadratic.nice-factors(x+2)*(x+10) == 0
⇒ algebra.equations.quadratic.product-zerox == -2 or x == -10