Theo tính chất của cấp số cộng, ta có \(u_1+u_4=u_2+u_3\)
Do đó : \(\Leftrightarrow\left(x-u_1\right)\left(x-u_2\right)\left(x-u_3\right)\left(x-u_4\right)=\left[x^2-\left(u_1-u_4\right)x+u_1u_4\right]\left[x^2-\left(u_2-u_3\right)x+u_2u_3\right]\)(*)
Đặt \(t=x^2-\left(u_1+u_4\right)x=x^2-\left(u_2+u_3\right)x\)
Khi đó (*) \(\Leftrightarrow f\left(t\right)=\left(t+u_1u_4\right)\left(t+u_2u_3\right)+9=t^2+\left(u_1u_4+u_2u_3\right)t+u_1u_4u_2u_3+9\)
Với \(\Delta_t=\left(u_1u_4+u_2u_3\right)^2-4u_1u_4u_2u_3-36=\left(u_1u_4+u_2u_3\right)^2-36\)
Rõ ràng \(\left|u_1u_4-u_2u_3\right|\le6\Rightarrow\Delta_t<0\leftrightarrow f\left(t\right)>0\)với mọi t
<=> A có nghĩa với mọi x