ĐKXĐ: \(\left[{}\begin{matrix}x\ge9\\x\le0\end{matrix}\right.\)
\(\Leftrightarrow x^2-9x>1\Leftrightarrow x^2-9x-1>0\)
\(\Rightarrow\left[{}\begin{matrix}x>\frac{9+\sqrt{85}}{2}\\x< \frac{9-\sqrt{85}}{2}\end{matrix}\right.\)
Tập nghiệm của x khác rỗng\(\Rightarrow\) mệnh đề đã cho là mệnh đề đúng