Źródło TeX:
(\operatorname{arcctg} x)'=-\frac{1}{1+x^2}