Math ClubMath Club
v1 · padrão canônico

第54课 — 隐函数求导

对由方程 F(x, y) = 0 隐式定义的 y 进行求导。链式法则、隐曲线的切线、隐函数二阶导数。

Used in: 日本高中数学3级(隐函数+反函数) · 德国11年级LK班(隐曲线导数) · 新加坡H2数学(曲线导数)

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 是在点 (a,b)(a, b) 附近将 yy 定义为 xx 的函数的方程。

典型例子:圆

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)

"如果关联 xxyy 的方程无法显式求解 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

二阶隐函数求导

y=Fx/Fyy' = -F_x/F_y 再应用 ddx\tfrac{d}{dx},使用商法则并记住 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),在点 (3/2,1/2)(\sqrt{3}/2, 1/2) 处计算 dy/dxdy/dx

  27. Ex. 54.27Modeling

    如果 y=xxy = x^x (x>0x > 0),使用对数导数求 yy'

  28. Ex. 54.28Modeling

    如果 y=xsinxy = x^{\sin x} (x>0x > 0),使用对数导数求 yy'。在 x=πx = \pi 处评估。

  29. Ex. 54.29Modeling

    对于 x2+y2=r2x^2 + y^2 = r^2,用 xxyyrr 表示 d2y/dx2d^2y/dx^2。解释对 y>0y > 0yy'' 的符号。

  30. Ex. 54.30Modeling

    对于椭圆 x2/a2+y2/b2=1x^2/a^2 + y^2/b^2 = 1,计算 dy/dxdy/dxd2y/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'' 并使用椭圆方程简化。(Resp: 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,在 (0,0)(0, 0) 计算 dy/dxdy/dx。解释为什么该点对直接公式是奇异的。

  40. Ex. 54.40Proof

    证明。 证明对任意 aRa \in \mathbb{R} (x>0x > 0),(xa)=axa1(x^a)' = ax^{a-1},使用 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-11 · Author(s): Clube da Matemática

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