Задание. Найти неопределенный интеграл $\int \frac{\operatorname{ctg} x d x}{2}$
Решение. Константу вынесем за знак интеграла, и полученный интеграл найдем по формуле:
$$\int \frac{\operatorname{ctg} x d x}{2}=\frac{1}{2} \int \operatorname{ctg} x d x=\frac{1}{2} \ln |\sin x|+C$$Ответ. $\int \frac{\operatorname{ctg} x d x}{2}=\frac{1}{2} \ln |\sin x|+C$