Краткий ответ: тождество
\[
\sqrt{\frac{1+\cos\alpha}{1-\cos\alpha}}-\sqrt{\frac{1-\cos\alpha}{1+\cos\alpha}}=2\ctg\alpha
\]
верно при \(0<\alpha<\frac{\pi}{2}\).
Доказательство
Так как \(0<\alpha<\frac{\pi}{2}\), то \(\sin\alpha>0\). Преобразуем каждый корень:
\[ \sqrt{\frac{1+\cos\alpha}{1-\cos\alpha}} = \sqrt{\frac{(1+\cos\alpha)^2}{1-\cos^2\alpha}} = \frac{1+\cos\alpha}{\sin\alpha}. \]
Аналогично:
\[ \sqrt{\frac{1-\cos\alpha}{1+\cos\alpha}} = \sqrt{\frac{(1-\cos\alpha)^2}{1-\cos^2\alpha}} = \frac{1-\cos\alpha}{\sin\alpha}. \]
Вычитаем:
\[ \frac{1+\cos\alpha}{\sin\alpha} - \frac{1-\cos\alpha}{\sin\alpha} = \frac{2\cos\alpha}{\sin\alpha} = 2\ctg\alpha. \]
Следовательно, левая часть равна правой — тождество доказано.
Проверка: при \(\alpha=\frac{\pi}{4}\) слева получается \(2\), справа \(2\ctg\frac{\pi}{4}=2\). Всё сходится.