Exercise algebra.inequalities.quadratic
Description
solve a quadratic inequation
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
x^2-9/2*x < 7-3*x
⇒ algebra.inequalities.to-equation, clipboard=[ineq == (x^2-9/2*x < 7-3*x)]x^2-9/2*x == 7-3*x
⇒ algebra.equations.quadratic.move-leftx^2-3/2*x-7 == 0
⇒ algebra.equations.quadratic.simpler-poly2*x^2-3*x-14 == 0
⇒ algebra.equations.quadratic.abc, clipboard=[D == 121, a == 2, b == -3, c == -14, ineq == (x^2-9/2*x < 7-3*x)]x == 7/2 or x == -2
⇒ algebra.inequalities.give-solution, clipboard=[D == 121, a == 2, b == -3, c == -14]-2 < x < 7/2