Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
x^2-5*x-24 == 8*x^2+4*x-24
⇒ algebra.equations.quadratic.cancelx^2-5*x == 8*x^2+4*x
⇒ algebra.equations.quadratic.move-left-7*x^2-9*x == 0
⇒ algebra.equations.quadratic.common-factor-x*(7*x+9) == 0
⇒ algebra.equations.quadratic.product-zerox == 0 or 7*x+9 == 0
⇒ algebra.equations.coverup.onevar.plusx == 0 or 7*x == -9
⇒ algebra.equations.coverup.timesx == 0 or x == -9/7