cosx≥√3/2
先算出一个周期[-π,π]上的解集
因为cos(±π/6)=√3/2
所以-π/6≤x≤π/6
推广到实数R上,解集是2kπ-π/6≤x≤2kπ+π/6,k∈Z