Math ClubMath Club
v1 · padrão canônico

Lição 54 — Derivada implícita

Derivar y definido implicitamente por equação F(x, y) = 0. Regra da cadeia, tangente a curvas implícitas, segunda derivada implícita.

Used in: Equiv. Math III японский (неявная дифференцировка + обратные функции) · Equiv. Klasse 11 LK немецкий · H2 Math сингапурский (производные кривых)

ddx[F(x,y)]=0    dydx=F/xF/y\frac{d}{dx}\bigl[F(x,y)\bigr] = 0 \;\Longrightarrow\; \frac{dy}{dx} = -\frac{\partial F/\partial x}{\partial F/\partial y}
Choose your door

Rigorous notation, full derivation, hypotheses

Определение и теорема о неявной функции

Мотивация

Плоская кривая может быть задана уравнением F(x,y)=0F(x, y) = 0 без возможности или целесообразности выразить yy явно. Окружность x2+y2=r2x^2 + y^2 = r^2 и лист Декарта x3+y3=3axyx^3 + y^3 = 3axy — канонические примеры. Неявная производная обходит эту трудность.

Формальный алгоритм

Пусть F(x,y)=0F(x, y) = 0 — уравнение, определяющее yy как функцию от xx в окрестности точки (a,b)(a, b).

Канонический пример: окружность

x2+y2=r2x^2 + y^2 = r^2

Дифференцируя: 2x+2yy=02x + 2y\,y' = 0, откуда y=xyy' = -\dfrac{x}{y} (справедливо при y0y \neq 0).

Таблица классических кривых

КриваяУравнение F(x,y)=0F(x,y)=0dy/dxdy/dx
Окружностьx2+y2r2=0x^2 + y^2 - r^2 = 0x/y-x/y
Эллипсx2/a2+y2/b21=0x^2/a^2 + y^2/b^2 - 1 = 0(b2x)/(a2y)-(b^2 x)/(a^2 y)
Гиперболаx2/a2y2/b21=0x^2/a^2 - y^2/b^2 - 1 = 0(b2x)/(a2y)(b^2 x)/(a^2 y)
Лист Декартаx3+y33axy=0x^3 + y^3 - 3axy = 0(ayx2)/(y2ax)(ay - x^2)/(y^2 - ax)

"Если уравнение, связывающее xx и yy, нельзя разрешить для yy явно, мы всё ещё можем найти yy', продифференцировав уравнение неявно." — OpenStax Calculus Volume 1, §3.8

Теорема о неявной функции (одномерный случай)

Когда теорема не работает. Если Fy(a,b)=0F_y(a, b) = 0, кривая может иметь вертикальную касательную в этой точке или может не определять локально функцию. Пример: окружность в точках (±r,0)(\pm r, 0) — там Fy=2y=0F_y = 2y = 0.

Вторая неявная производная

Применяем ddx\tfrac{d}{dx} ещё раз к y=Fx/Fyy' = -F_x/F_y, используя правило частного и помня, что yy зависит от xx.

Решённые примеры

Exercise list

40 exercises · 10 with worked solution (25%)

Application 22Understanding 6Modeling 8Challenge 3Proof 1
  1. Ex. 54.1Application

    Для окружности x2+y2=1x^2 + y^2 = 1 найдите dy/dxdy/dx.

  2. Ex. 54.2Application

    Для эллипса x2/4+y2/9=1x^2/4 + y^2/9 = 1 вычислите dy/dxdy/dx.

  3. Ex. 54.3Application

    Для xy=1xy = 1 найдите dy/dxdy/dx неявным дифференцированием. Проверьте, что совпадает с дифференцированием y=1/xy = 1/x явно.

  4. Ex. 54.4Application

    Для гиперболы x2/9y2/16=1x^2/9 - y^2/16 = 1 вычислите dy/dxdy/dx.

  5. Ex. 54.5Application

    Для x3+y3=6xyx^3 + y^3 = 6xy вычислите dy/dxdy/dx.

  6. Ex. 54.6Application

    Для x22xy+3y2=1x^2 - 2xy + 3y^2 = 1 вычислите dy/dxdy/dx.

  7. Ex. 54.7ApplicationAnswer key

    Для x2y+xy2=6x^2 y + xy^2 = 6 вычислите dy/dxdy/dx.

  8. Ex. 54.8Application

    Для tany=x\tan y = x вычислите dy/dxdy/dx. Интерпретируйте результат как производную arctanx\arctan x.

  9. Ex. 54.9ApplicationAnswer key

    Для ey=xye^y = xy вычислите dy/dxdy/dx.

  10. Ex. 54.10Application

    Для ln(xy)=x+y\ln(xy) = x + y вычислите dy/dxdy/dx.

  11. Ex. 54.11ApplicationAnswer key

    Для x+y=4\sqrt{x} + \sqrt{y} = 4 вычислите dy/dxdy/dx и оцените в точке (1,9)(1, 9).

  12. Ex. 54.12ApplicationAnswer key

    Для cos(x+y)=y\cos(x + y) = y вычислите dy/dxdy/dx.

  13. Ex. 54.13Application

    Для sin(xy)=x\sin(xy) = x вычислите dy/dxdy/dx.

  14. Ex. 54.14Application

    Для y3+3y=xy^3 + 3y = x вычислите dy/dxdy/dx и обсудите, существует ли производная во всех точках.

  15. Ex. 54.15ApplicationAnswer key

    Найдите касательную к окружности x2+y2=25x^2 + y^2 = 25 в точке (3,4)(3, 4).

  16. Ex. 54.16Application

    Для эллипса x2+4y2=16x^2 + 4y^2 = 16 найдите касательную в точке (2,3)(2, \sqrt{3}).

  17. Ex. 54.17Application

    Для x2+xy+y2=7x^2 + xy + y^2 = 7 найдите касательную в (1,2)(1, 2).

  18. Ex. 54.18ApplicationAnswer key

    Для x3+y3=9x^3 + y^3 = 9 найдите касательную в (1,2)(1, 2).

  19. Ex. 54.19Application

    Для ysinx=xcosyy\sin x = x\cos y вычислите dy/dxdy/dx.

  20. Ex. 54.20Application

    Для окружности x2+y2=1x^2 + y^2 = 1 определите все точки горизонтальной и вертикальной касательной.

  21. Ex. 54.21Application

    Для листа Декарта x3+y3=3xyx^3 + y^3 = 3xy вычислите dy/dxdy/dx и определите точки горизонтальной касательной.

  22. Ex. 54.22Application

    Для листа Декарта x3+y3=3xyx^3 + y^3 = 3xy найдите касательную в точке (3/2,3/2)(3/2, 3/2).

  23. Ex. 54.23Modeling

    Закон идеального газа говорит PV=nRTPV = nRT. Сохраняя TT постоянным, используйте неявное дифференцирование для поиска dP/dVdP/dV.

  24. Ex. 54.24ModelingAnswer key

    Для кривой y2+xy=12y^2 + xy = 12 определите, существуют ли точки горизонтальной или вертикальной касательной.

  25. Ex. 54.25Modeling

    В микроэкономике кривая безразличия U(x1,x2)=UˉU(x_1, x_2) = \bar{U} описывает комбинации двух товаров, оставляющие потребителя безразличным. Используя неявное дифференцирование, найдите dx2/dx1dx_2/dx_1 — предельную норму замещения.

  26. Ex. 54.26Modeling

    Для лемнискаты (x2+y2)2=2(x2y2)(x^2+y^2)^2 = 2(x^2-y^2) вычислите dy/dxdy/dx в точке (3/2,1/2)(\sqrt{3}/2, 1/2).

  27. Ex. 54.27Modeling

    Используйте логарифмическую производную для поиска yy', если y=xxy = x^x (x>0x > 0).

  28. Ex. 54.28Modeling

    Используйте логарифмическую производную для поиска yy', если y=xsinxy = x^{\sin x} (x>0x > 0). Оцените в x=πx = \pi.

  29. Ex. 54.29Modeling

    Для x2+y2=r2x^2 + y^2 = r^2 найдите d2y/dx2d^2y/dx^2 в терминах xx, yy и rr. Интерпретируйте знак yy'' для y>0y > 0.

  30. Ex. 54.30Modeling

    Для эллипса x2/a2+y2/b2=1x^2/a^2 + y^2/b^2 = 1 вычислите dy/dxdy/dx и d2y/dx2d^2y/dx^2.

  31. Ex. 54.31Understanding

    Почему условие Fy0F_y \neq 0 необходимо для применения теоремы о неявной функции?

  32. Ex. 54.32UnderstandingAnswer key

    Каково основное преимущество неявного дифференцирования перед выражением yy и явным дифференцированием?

  33. Ex. 54.33Understanding

    Используйте неявное дифференцирование для демонстрации того, что касательная к окружности x2+y2=r2x^2 + y^2 = r^2 всегда перпендикулярна радиусу в точке касания.

  34. Ex. 54.34Understanding

    Для кривой F(x,y)=0F(x,y)=0 объясните, в каких условиях касательная существует, возможно вертикальна, и когда точка сингулярна.

  35. Ex. 54.35Understanding

    Проверьте, что неявное дифференцирование x2+y2=r2x^2 + y^2 = r^2 даёт тот же результат, что явное дифференцирование y=±r2x2y = \pm\sqrt{r^2-x^2}.

  36. Ex. 54.36UnderstandingAnswer key

    При неявном дифференцировании exy=x+ye^{xy} = x + y по xx, чему равна ddx[ey]\frac{d}{dx}[e^y]? Почему это не просто eye^y?

  37. Ex. 54.37Challenge

    Для кривой x4+y4=1x^4 + y^4 = 1 найдите все точки горизонтальной и вертикальной касательной.

  38. Ex. 54.38Challenge

    Для эллипса x2/a2+y2/b2=1x^2/a^2 + y^2/b^2 = 1 вычислите yy'' неявно и упростите, используя уравнение эллипса. (Отв: y=b4/(a2y3)y'' = -b^4/(a^2 y^3).)

  39. Ex. 54.39ChallengeAnswer key

    Для sin(xy)+cos(x+y)=1\sin(xy) + \cos(x+y) = 1 вычислите dy/dxdy/dx в (0,0)(0, 0). Объясните, почему точка сингулярна для прямой формулы.

  40. Ex. 54.40Proof

    Доказательство. Докажите, что (xa)=axa1(x^a)' = ax^{a-1} для произвольного aRa \in \mathbb{R} (x>0x > 0), используя xa=ealnxx^a = e^{a\ln x} и правило цепи. Объясните, почему доказательство охватывает случай aa иррационального.

Источники

  • Active Calculus 2.0 — Boelkins · 2024 · §2.7 (Derivatives of Functions Given Implicitly). Основной источник. Лицензия CC-BY-NC-SA 4.0.
  • OpenStax Calculus Volume 1 — OpenStax · 2016 · §3.8 (Implicit Differentiation). Лицензия CC-BY-NC-SA 4.0.
  • APEX Calculus — Hartman et al. · 2024 · v5 · §2.6 (Implicit Differentiation). Лицензия CC-BY-NC 4.0.

Updated on 2026-05-05 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.