Основы мат. анализа Примеры

Проверить тождество cot(x+y)=(cot(x)cot(y)-1)/(cot(y)-cot(x))
Этап 1
Предоставленное уравнение не является тождеством.
 — не тождество