Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Derivation

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-left

3*x^2+3*x-18 == 0

⇒ algebra.equations.quadratic.simpler-poly

x^2+x-6 == 0

⇒ algebra.equations.quadratic.nice-factors

(x-2)*(x+3) == 0

⇒ algebra.equations.quadratic.product-zero

x == 2 or x == -3

⇒ algebra.inequalities.give-solution, clipboard=[]

-3 < x < 2