Раздел II. Дифференциальное исчисление функций одной переменной — § 2. Производные обратной функции, функции, заданной параметрически, и функции, заданной в неявном виде

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

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

Найти производную yx′y'_x от следующих функций, заданных неявно:

Задача 1053

arctg⁡yx=ln⁡x2+y2\operatorname{arctg}\frac yx=\ln\sqrt{x^2+y^2}(логарифмическая спираль).
Ответ:При x≠yx\ne yyx′=x+yx−yy'_x=\frac{x+y}{x-y}В точках x=yx=y касательная вертикальна.

Решение

Работаем на участках исходной кривой, где x≠0x\ne0: именно там определён арктангенс отношения y/xy/x. Дифференцирование выполним вдоль выбранной ветви y=y(x)y=y(x).
Дифференцируем обе части уравнения по xx. Для левой части получаем(arctg⁡yx)′=xyx′−yx21+y2x2=xyx′−yx2+y2\begin{aligned}
\left(\operatorname{arctg}\frac yx\right)'
&=
\frac{\dfrac{xy'_x-y}{x^2}}
{1+\dfrac{y^2}{x^2}}
=\frac{xy'_x-y}{x^2+y^2}
\end{aligned}
Правая часть имеет производную(ln⁡x2+y2)′=x+yyx′x2+y2\left(\ln\sqrt{x^2+y^2}\right)'
=\frac{x+yy'_x}{x^2+y^2}
Приравнивая производные и умножая на x2+y2x^2+y^2, находимxyx′−y=x+yyx′xy'_x-y=x+yy'_xСледовательно,(x−y)yx′=x+y(x-y)y'_x=x+yи при x≠yx\ne yyx′=x+yx−yy'_x=\frac{x+y}{x-y}Точка (0,0)(0,0) не входит в область определения исходного уравнения.
Поэтому при x=yx=y имеем x=y≠0x=y\ne0, а значит,x+y=2x≠0x+y=2x\ne0Это можно проверить параметризацией исходного уравнения. Положим u=y/xu=y/x, r=earctg⁡ur=e^{\operatorname{arctg}u}. Тогдаx=±r1+u2,y=ux,dxdu=x(1−u)1+u2,dydu=x+udxdu.x=\pm\frac{r}{\sqrt{1+u^2}},\qquad y=ux,
\qquad \frac{dx}{du}=\frac{x(1-u)}{1+u^2},\quad
\frac{dy}{du}=x+u\frac{dx}{du}.
При x=yx=y имеем u=1u=1, поэтому dx/du=0dx/du=0, а dy/du=x≠0dy/du=x\ne0. Следовательно, касательная вертикальна.
Демидович № 1053 — решение и ответ | Высшая математика — Профиматика