Xét phương trình thứ nhất: y3+3y+4=x3−3x2+6x
Đặt y=z−1 ta được: z3−3z2+6z=x3−3x2+6x
Xét hàm: f(t)=t3−3t2+6t
Ta có: f′(t)=3t2−6t+6>0,∀t∈R
Suy ra f(t) đồng biến trên R, dẫn tới z=x hay y=x−1
Thay y=x−1 vào phương trình thứ hai ta được:
m=5x2+8x+24(x+4)√x2+2 (vì dễ thấy x=−4 không thỏa mãn)
Xét hàm g(t)=5t2+8t+24(t+4)√t2+2 trên R∖{−4} ta được: [m<−5m≥4