Обоснуй, что у уравнения \(\cos^2 x \cdot \sin x\) \(= 1\) нет решения.

Какие из утверждений используются в ходе доказательства?

• \(\operatorname{tg} x \cdot \operatorname{ctg} x = 1\)
• \(\cos(x+y) = \cos x \cos y + \sin x \sin y\)
• \($-1 \lt \cos x \lt 1$\)
• \(|cosx| \le 1\)