Имеет ли уравнение cos2015x+tg2016x-sin2017x=0 хотя бы один корень? Ответ обоснуйте. (Даю 50 баллов)

Вольфрам Альфа показывает тысячи корней этого уравнения, но как это доказать, не решая самого уравнения - я не знаю.
Вот пара корней:
x1 = -0,00133839334359668...
x2 = 0,00177797901700658...
Вольфрам вычисляет корни только в таком приближенном виде,
эти корни через pi не выражаются.

Если ответ по предмету Математика отсутствует или он оказался неправильным, то попробуй воспользоваться поиском других ответов во всей базе сайта.