Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Derivation

2*x^2-10*x > x^2-3*x

⇒ algebra.inequalities.to-equation, clipboard=[ineq == (2*x^2-10*x > x^2-3*x)]

2*x^2-10*x == x^2-3*x

⇒ algebra.equations.quadratic.move-left

x^2-7*x == 0

⇒ algebra.equations.quadratic.common-factor

x*(x-7) == 0

⇒ algebra.equations.quadratic.product-zero

x == 0 or x == 7

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

x < 0 or x > 7