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

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

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

Найти y′y' и y′′y'', если:

Задача 1150

x2+y2=aearctan⁡yx,a>0.\sqrt{x^2+y^2}=ae^{\arctan\frac yx},
\qquad a>0.

Решение

Продифференцируем обе части уравнения по xx.
Производная левой части:(x2+y2)′=2x+2yy′2x2+y2=x+yy′x2+y2\left(\sqrt{x^2+y^2}\right)' = \frac{2x + 2yy'}{2\sqrt{x^2+y^2}} = \frac{x + yy'}{\sqrt{x^2+y^2}}Производная правой части:(aearctan⁡yx)′=aearctan⁡yx⋅11+(yx)2⋅(yx)′=aearctan⁡yx⋅x2x2+y2⋅y′x−yx2=aearctan⁡yxxy′−yx2+y2\left(ae^{\arctan\frac yx}\right)' = ae^{\arctan\frac yx} \cdot \frac{1}{1 + \left(\frac{y}{x}\right)^2} \cdot \left(\frac{y}{x}\right)' = ae^{\arctan\frac yx} \cdot \frac{x^2}{x^2+y^2} \cdot \frac{y'x - y}{x^2} = ae^{\arctan\frac yx} \frac{xy' - y}{x^2+y^2}По условию aearctan⁡yx=x2+y2ae^{\arctan\frac yx} = \sqrt{x^2+y^2}, поэтому правая часть равна:x2+y2⋅xy′−yx2+y2=xy′−yx2+y2\sqrt{x^2+y^2} \cdot \frac{xy' - y}{x^2+y^2} = \frac{xy' - y}{\sqrt{x^2+y^2}}Приравниваем производные левой и правой частей:x+yy′x2+y2=xy′−yx2+y2  ⟹  x+yy′=xy′−y\frac{x + yy'}{\sqrt{x^2+y^2}} = \frac{xy' - y}{\sqrt{x^2+y^2}} \implies x + yy' = xy' - yВыразим y′y':y′(x−y)=x+y  ⟹  y′=x+yx−yy'(x - y) = x + y \implies y' = \frac{x+y}{x-y}Найдём вторую производную:y′′=(x+yx−y)′=(1+y′)(x−y)−(x+y)(1−y′)(x−y)2y'' = \left( \frac{x+y}{x-y} \right)' = \frac{(1+y')(x-y) - (x+y)(1-y')}{(x-y)^2}Раскроем скобки в числителе:(1+y′)(x−y)−(x+y)(1−y′)=x−y+xy′−yy′−(x+y−xy′−yy′)=−2y+2xy′=2(xy′−y)(1+y')(x-y) - (x+y)(1-y') = x - y + xy' - yy' - (x + y - xy' - yy') = -2y + 2xy' = 2(xy' - y)Подставим y′y':2(xy′−y)=2(xx+yx−y−y)=2x2+xy−xy+y2x−y=2(x2+y2)x−y2(xy' - y) = 2\left( x\frac{x+y}{x-y} - y \right) = 2\frac{x^2+xy - xy+y^2}{x-y} = \frac{2(x^2+y^2)}{x-y}Таким образом, вторая производная:y′′=2(x2+y2)x−y(x−y)2=2(x2+y2)(x−y)3y'' = \frac{\frac{2(x^2+y^2)}{x-y}}{(x-y)^2} = \frac{2(x^2+y^2)}{(x-y)^3}

Проверка

Исходное уравнение требует x≠0x\ne0. Формулы относятся к точкам с x≠yx\ne y. При x=yx=y касательная вертикальна, как показывает параметризация из №1053 с дополнительным масштабом a>0a>0; конечной первой производной там нет.
Демидович № 1150 — решение | Высшая математика — Профиматика