Biết rằng có số thực a>0 sao cho a^(3cos2x)>=2cos^2(x)

Câu hỏi :

Biết rằng có số thực a>0 sao cho $a^{3\cos \left(2x\right)}\ge 2{\cos }^2\left(x\right), \forall x\in \mathrm{ℝ}$. Chọn mệnh đề đúng.