Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
(3+2*x)^2-3*x^2+11 == 0
⇒ algebra.equations.quadratic.distr-square9+12*x+4*x^2-3*x^2+11 == 0
⇒ algebra.equations.linear.merge20+12*x+x^2 == 0
⇒ algebra.equations.quadratic.nice-factors(x+2)*(x+10) == 0
⇒ algebra.equations.quadratic.product-zerox == -2 or x == -10