Tìm tập hợp các giá trị thực của tham số [m] sao cho bất phương trình
Bất phương trình \( \Leftrightarrow m \ge \frac{1}{2}{x^2} - {\log _2}x = f\left( x \right) \Rightarrow m \ge \mathop {\min }\limits_{\left[ {1;3} \right]} f\left( x \right)\)
Ta có \(f'\left( x \right) = x - \frac{1}{{x\ln 2}} \Rightarrow f'\left( x \right) = 0 \Leftrightarrow x - \frac{1}{{x\ln 2}} = 0 \Leftrightarrow x = \pm \frac{1}{{\sqrt {\ln 2} }}\).
Tính \(\left\{ \begin{array}{l}f\left( 1 \right) = \frac{1}{2}\\f\left( {\frac{1}{{\sqrt {\ln 2} }}} \right) = \frac{1}{{2\ln 2}} + \frac{1}{2}{\log _2}\left( {\ln 2} \right)\\f\left( 3 \right) = \frac{9}{2} - {\log _2}3\end{array} \right. \Rightarrow \mathop {\min }\limits_{\left[ {1;3} \right]} f\left( x \right) = f\left( {\frac{1}{{\sqrt {\ln 2} }}} \right) = \frac{1}{{2\ln 2}} + \frac{1}{2}{\log _2}\left( {\ln 2} \right)\).
Suy ra \(m \ge \frac{1}{{2\ln 2}} + \frac{1}{2}{\log _2}\left( {\ln 2} \right) \Leftrightarrow m \in \left[ {\frac{1}{{2\ln 2}} + \frac{1}{2}{{\log }_2}\left( {\ln 2} \right); + \infty } \right)\). Chọn D.