Exercise algebra.inequalities.quadratic
Description
solve a quadratic inequation
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
4*x^2+6*x < x^2+3*x+18
⇒ algebra.inequalities.to-equation, clipboard=[ineq == (4*x^2+6*x < x^2+3*x+18)]4*x^2+6*x == x^2+3*x+18
⇒ algebra.equations.quadratic.move-left3*x^2+3*x-18 == 0
⇒ algebra.equations.quadratic.simpler-polyx^2+x-6 == 0
⇒ algebra.equations.quadratic.nice-factors(x-2)*(x+3) == 0
⇒ algebra.equations.quadratic.product-zerox == 2 or x == -3
⇒ algebra.inequalities.give-solution, clipboard=[]-3 < x < 2