Раздел I. Введение в анализ§ 8. Обратная функция. Функции, заданные параметрически

Демидович — задача 775

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 775

Доказать равенствоarctgx+arctg1x=π2sgnx(x0).\operatorname{arctg} x+\operatorname{arctg}\frac1x=\frac\pi2\operatorname{sgn}x\qquad(x\ne0).

Доказательство

Идея

Сначала пусть x>0x>0. Обозначим α=arctgx\alpha=\operatorname{arctg} x, тогда 0<α<π20<\alpha<\frac{\pi}{2}. Имеемtg(π2α)=ctgα=1x.\operatorname{tg}\left(\frac{\pi}{2}-\alpha\right)=\operatorname{ctg}\alpha=\frac1x.Число π2α\frac{\pi}{2}-\alpha принадлежит (0,π/2)(0,\pi/2), поэтому по определению арктангенсаarctg1x=π2arctgx.\operatorname{arctg}\frac1x=\frac{\pi}{2}-\operatorname{arctg} x.Значит,arctgx+arctg1x=π2.\operatorname{arctg} x+\operatorname{arctg}\frac1x=\frac{\pi}{2}.
При x<0x<0 используем нечетность арктангенса:arctgx+arctg1x=(arctg(x)+arctg1x)=π2.\operatorname{arctg} x+\operatorname{arctg}\frac1x
=
-\left(\operatorname{arctg}(-x)+\operatorname{arctg}\frac1{-x}\right)
=
-\frac{\pi}{2}.
Оба случая объединяются в формулуarctgx+arctg1x=π2sgnx,x0.\boxed{\operatorname{arctg} x+\operatorname{arctg}\frac1x=\frac{\pi}{2}\operatorname{sgn}x},\qquad x\ne0.

Что и требовалось доказать

Демидович № 775 — решение