Gọi x0 là nghiệm dương nhỏ nhất của phương trình 2.(cosx)^2+sinx-1=0. Mệnh đề

Câu hỏi :

Gọi ${\mathrm{x}}_0$ là nghiệm dương nhỏ nhất của phương trình $2{\cos }^2\mathrm{x}+\mathrm{sinx}-1=0$. Mệnh đề nào sau đây là đúng?