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