a: =>x^3+x^2-5x+3>=0
=>x^3-x^2+2x^2-2x-3x+3>=0
=>(x-1)(x^2+2x-3)>=0
=>(x+3)(x-1)^2>=0(luôn đúng)
b: =>9<=(4-x)(x^2-x+3)
=>4x^2-4x+12-x^3+x^2-3x>=9
=>-x^3+5x^2-7x+3>=0
=>-x^3+3x^2+2x^2-6x-x+3>=0
=>(x-3)(-x^2+2x-1)>=0
=>-(x-3)(x-1)^2>=0(luôn đúng khi x<3)

