Да, существуют. Например, если взять a=2 и b=1, то уравнение примет вид 2*cos(x)-cos(2x)>1, что выполняется для многих значений x.
Да, существуют. Например, если взять a=2 и b=1, то уравнение примет вид 2*cos(x)-cos(2x)>1, что выполняется для многих значений x.