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

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