Math ClubMath Club
v1 · padrão canônico

Lição 54 — Pochodna niejawna

Różniczkowanie y określonego niejawnie równaniem F(x, y) = 0. Reguła łańcucha, styczna do krzywych niejawnych, druga pochodna niejawna.

Used in: Equiv. Math III japoński (niejawna + funkcje odwrotne) · Equiv. Klasse 11 LK niemiecki · H2 Math singapurski (pochodne krzywych)

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

Definicja i Twierdzenie Funkcji Niejawnej

Motywacja

Krzywa płaska może być podana równaniem F(x,y)=0F(x, y) = 0 bez możliwości lub potrzeby wyznaczenia yy wprost. Koło x2+y2=r2x^2 + y^2 = r^2 i Liść Kartezjańskiego x3+y3=3axyx^3 + y^3 = 3axy są przykładami kanonicznymi. Pochodna niejawna omija tę przeszkodę.

Przepis formalny

Niech równanie F(x,y)=0F(x, y) = 0 określa yy jako funkcję xx w otoczeniu punktu (a,b)(a, b).

Przykład kanoniczny: koło

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

Różniczkując: 2x+2yy=02x + 2y\,y' = 0, stąd y=xyy' = -\dfrac{x}{y} (ważne dla y0y \neq 0).

Tabela klasycznych krzywych

KrzywaRównanie F(x,y)=0F(x,y)=0dy/dxdy/dx
Kołox2+y2r2=0x^2 + y^2 - r^2 = 0x/y-x/y
Elipsax2/a2+y2/b21=0x^2/a^2 + y^2/b^2 - 1 = 0(b2x)/(a2y)-(b^2 x)/(a^2 y)
Hiperbolax2/a2y2/b21=0x^2/a^2 - y^2/b^2 - 1 = 0(b2x)/(a2y)(b^2 x)/(a^2 y)
Liść Kartezjańskiegox3+y33axy=0x^3 + y^3 - 3axy = 0(ayx2)/(y2ax)(ay - x^2)/(y^2 - ax)

"Jeśli równanie łączące xx i yy nie może być rozwiązane dla yy w sposób jawny, wciąż możemy znaleźć yy' różniczkując równanie niejawnie." — OpenStax Calculus Volume 1, §3.8

Twierdzenie Funkcji Niejawnej (wersja 1D)

Kiedy zawodzi. Jeśli Fy(a,b)=0F_y(a, b) = 0, krzywa może mieć w tym punkcie styczną pionową, lub może nie określać funkcji lokalnie. Przykład: koło w punktach (±r,0)(\pm r, 0)Fy=2y=0F_y = 2y = 0 tam.

Druga pochodna niejawna

Stosujemy ddx\tfrac{d}{dx} ponownie do y=Fx/Fyy' = -F_x/F_y, używając reguły ilorazu i pamiętając, że yy zależy od xx.

Przykłady rozwiązane

Exercise list

40 exercises · 10 with worked solution (25%)

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

    Dla koła x2+y2=1x^2 + y^2 = 1, znajdź dy/dxdy/dx.

  2. Ex. 54.2Application

    Dla elipsy x2/4+y2/9=1x^2/4 + y^2/9 = 1, oblicz dy/dxdy/dx.

  3. Ex. 54.3Application

    Dla xy=1xy = 1, oblicz dy/dxdy/dx przez różniczkowanie niejawne. Sprawdź że zgadza się z różniczkowaniem y=1/xy = 1/x wprost.

  4. Ex. 54.4Application

    Dla hiperboli x2/9y2/16=1x^2/9 - y^2/16 = 1, oblicz dy/dxdy/dx.

  5. Ex. 54.5Application

    Dla x3+y3=6xyx^3 + y^3 = 6xy, oblicz dy/dxdy/dx.

  6. Ex. 54.6Application

    Dla x22xy+3y2=1x^2 - 2xy + 3y^2 = 1, oblicz dy/dxdy/dx.

  7. Ex. 54.7ApplicationAnswer key

    Dla x2y+xy2=6x^2 y + xy^2 = 6, oblicz dy/dxdy/dx.

  8. Ex. 54.8Application

    Dla tany=x\tan y = x, oblicz dy/dxdy/dx. Zinterpretuj wynik jako pochodną arctanx\arctan x.

  9. Ex. 54.9ApplicationAnswer key

    Dla ey=xye^y = xy, oblicz dy/dxdy/dx.

  10. Ex. 54.10Application

    Dla ln(xy)=x+y\ln(xy) = x + y, oblicz dy/dxdy/dx.

  11. Ex. 54.11ApplicationAnswer key

    Dla x+y=4\sqrt{x} + \sqrt{y} = 4, oblicz dy/dxdy/dx i oceń w punkcie (1,9)(1, 9).

  12. Ex. 54.12ApplicationAnswer key

    Dla cos(x+y)=y\cos(x + y) = y, oblicz dy/dxdy/dx.

  13. Ex. 54.13Application

    Dla sin(xy)=x\sin(xy) = x, oblicz dy/dxdy/dx.

  14. Ex. 54.14Application

    Dla y3+3y=xy^3 + 3y = x, oblicz dy/dxdy/dx i omów czy pochodna istnieje we wszystkich punktach.

  15. Ex. 54.15ApplicationAnswer key

    Znajdź styczną do koła x2+y2=25x^2 + y^2 = 25 w punkcie (3,4)(3, 4).

  16. Ex. 54.16Application

    Dla elipsy x2+4y2=16x^2 + 4y^2 = 16, znajdź styczną w punkcie (2,3)(2, \sqrt{3}).

  17. Ex. 54.17Application

    Dla x2+xy+y2=7x^2 + xy + y^2 = 7, znajdź styczną w (1,2)(1, 2).

  18. Ex. 54.18ApplicationAnswer key

    Dla x3+y3=9x^3 + y^3 = 9, znajdź styczną w (1,2)(1, 2).

  19. Ex. 54.19Application

    Dla ysinx=xcosyy\sin x = x\cos y, oblicz dy/dxdy/dx.

  20. Ex. 54.20Application

    Dla okręgu x2+y2=1x^2 + y^2 = 1, określ wszystkie punkty stycznej poziomej i pionowej.

  21. Ex. 54.21Application

    Dla Liścia Kartezjańskiego x3+y3=3xyx^3 + y^3 = 3xy, oblicz dy/dxdy/dx i określ punkty stycznej poziomej.

  22. Ex. 54.22Application

    Dla Liścia Kartezjańskiego x3+y3=3xyx^3 + y^3 = 3xy, znajdź styczną w punkcie (3/2,3/2)(3/2, 3/2).

  23. Ex. 54.23Modeling

    Prawo gazów idealnych mówi PV=nRTPV = nRT. Trzymając TT stałe, użyj różniczkowania niejawnego aby znaleźć dP/dVdP/dV.

  24. Ex. 54.24ModelingAnswer key

    Dla krzywej y2+xy=12y^2 + xy = 12, określ czy istnieją punkty stycznej poziomej lub pionowej.

  25. Ex. 54.25Modeling

    W mikroekonomii krzywa obojętności U(x1,x2)=UˉU(x_1, x_2) = \bar{U} opisuje kombinacje dwóch dóbr które pozostawiają konsumenta obojętnym. Używając różniczkowania niejawnego, znajdź dx2/dx1dx_2/dx_1 — krańcową stopę substytucji.

  26. Ex. 54.26Modeling

    Dla lemniskaty (x2+y2)2=2(x2y2)(x^2+y^2)^2 = 2(x^2-y^2), oblicz dy/dxdy/dx w punkcie (3/2,1/2)(\sqrt{3}/2, 1/2).

  27. Ex. 54.27Modeling

    Użyj pochodnej logarytmicznej aby znaleźć yy' jeśli y=xxy = x^x (x>0x > 0).

  28. Ex. 54.28Modeling

    Użyj pochodnej logarytmicznej aby znaleźć yy' jeśli y=xsinxy = x^{\sin x} (x>0x > 0). Oceń w x=πx = \pi.

  29. Ex. 54.29Modeling

    Dla x2+y2=r2x^2 + y^2 = r^2, znajdź d2y/dx2d^2y/dx^2 w zakresie xx, yy i rr. Zinterpretuj znak yy'' dla y>0y > 0.

  30. Ex. 54.30Modeling

    Dla elipsy x2/a2+y2/b2=1x^2/a^2 + y^2/b^2 = 1, oblicz dy/dxdy/dx i d2y/dx2d^2y/dx^2.

  31. Ex. 54.31Understanding

    Dlaczego warunek Fy0F_y \neq 0 jest niezbędny do zastosowania Twierdzenia Funkcji Niejawnej?

  32. Ex. 54.32UnderstandingAnswer key

    Jaka jest główna zaleta różniczkowania niejawnego nad izolowaniem yy i różniczkowaniem jawnie?

  33. Ex. 54.33Understanding

    Użyj różniczkowania niejawnego aby pokazać że styczna do koła x2+y2=r2x^2 + y^2 = r^2 jest zawsze prostopadła do promienia w punkcie tangencji.

  34. Ex. 54.34Understanding

    Dla krzywej F(x,y)=0F(x,y)=0, wyjaśnij w jakich warunkach styczna istnieje, możliwie pionowa, i kiedy punkt jest singularny.

  35. Ex. 54.35Understanding

    Sprawdź że różniczkowanie x2+y2=r2x^2 + y^2 = r^2 niejawnie daje ten sam wynik co różniczkowanie y=±r2x2y = \pm\sqrt{r^2-x^2} jawnie.

  36. Ex. 54.36UnderstandingAnswer key

    Różniczkując niejawnie exy=x+ye^{xy} = x + y względem xx, jaki jest ddx[ey]\frac{d}{dx}[e^y]? Dlaczego nie jest to po prostu eye^y?

  37. Ex. 54.37Challenge

    Dla krzywej x4+y4=1x^4 + y^4 = 1, znajdź wszystkie punkty stycznej poziomej i pionowej.

  38. Ex. 54.38Challenge

    Dla elipsy x2/a2+y2/b2=1x^2/a^2 + y^2/b^2 = 1, oblicz yy'' niejawnie i uprość używając równania elipsy. (Odp: y=b4/(a2y3)y'' = -b^4/(a^2 y^3).)

  39. Ex. 54.39ChallengeAnswer key

    Dla sin(xy)+cos(x+y)=1\sin(xy) + \cos(x+y) = 1, oblicz dy/dxdy/dx w (0,0)(0, 0). Wyjaśnij dlaczego punkt jest singularny dla bezpośredniego wzoru.

  40. Ex. 54.40Proof

    Demonstracja. Udowodnij że (xa)=axa1(x^a)' = ax^{a-1} dla aRa \in \mathbb{R} arbitralnego (x>0x > 0), używając xa=ealnxx^a = e^{a\ln x} i reguły łańcucha. Wyjaśnij dlaczego dowód obejmuje przypadek aa niewymiernego.

Źródła

  • Active Calculus 2.0 — Boelkins · 2024 · §2.7 (Derivatives of Functions Given Implicitly). Główne źródło. Licencja CC-BY-NC-SA 4.0.
  • OpenStax Calculus Volume 1 — OpenStax · 2016 · §3.8 (Implicit Differentiation). Licencja CC-BY-NC-SA 4.0.
  • APEX Calculus — Hartman et al. · 2024 · v5 · §2.6 (Implicit Differentiation). Licencja 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.