Докажем, что \(\frac{1 - \cos(2x)}{\sin(2x)} = ctg(x)\)
Воспользуемся формулами: \(1 - \cos(2x) = 2\sin^2(x)\) и \(\sin(2x) = 2\sin(x)\cos(x)\)
Тогда: \[\frac{1 - \cos(2x)}{\sin(2x)} = \frac{2\sin^2(x)}{2\sin(x)\cos(x)} = \frac{\sin(x)}{\cos(x)} = ctg(x)\]
Что и требовалось доказать.
Ответ: Доказано