Slope of a Line Tangent to a Level Curve at a Point

In summary: C with respect to x to getDf = ∂f/∂x + ∂f/∂y dy/dx = 0, because f is constant. Then solve for dy/dx.
  • #1
Drakkith
Mentor
22,988
7,368

Homework Statement


The equation ## f(x,y) = f(a,b) ## defines a level curve through a point ## (a,b) ## where ## \nabla f(a,b) \neq \vec 0##. Use implicit differentiation and the chain rule to show that the slope of the line tangent to this curve at the point ##(a,b)## is ##-f_x(a,b)/f_y(a,b)## if ##f_y \neq 0##.

Homework Equations


##\nabla f(x,y) = f_x(x,y)\vec i + f_y(x,y)\vec j##

The Attempt at a Solution


Well, if we're using implicit differentiation, then I think ##y = f(x)## and ##\frac{\partial f(x,y)}{\partial y} = \frac{df(x,f(x))}{dx}\frac{dx}{dx}##
That would make it: ##\frac{df(x,y)}{dx} = \frac{df(x)}{dx}\frac{dx}{dx} + \frac{df((f(x))}{dx}\frac{dx}{dx}##
Since dx/dx = 1, that becomes: ##\frac{df(x,y)}{dx} = \frac{df(x)}{dx} + \frac{df((f(x))}{dx}##
However, the right term appears to go to zero (or right "branch" as my math teacher told us), leaving this as: ##\frac{df(x,y)}{dx} = \frac{df(x)}{dx}##

Assuming all that's correct, which I'm not sure it is, I'm now stuck. I can't see how to get the slope equal to ##-f_x(a,b)/f_y(a,b)##
 
Physics news on Phys.org
  • #2
Drakkith said:

Homework Statement


The equation ## f(x,y) = f(a,b) ## defines a level curve through a point ## (a,b) ## where ## \nabla f(a,b) \neq \vec 0##. Use implicit differentiation and the chain rule to show that the slope of the line tangent to this curve at the point ##(a,b)## is ##-f_x(a,b)/f_y(a,b)## if ##f_y \neq 0##.

Homework Equations


##\nabla f(x,y) = f_x(x,y)\vec i + f_y(x,y)\vec j##

The Attempt at a Solution


Well, if we're using implicit differentiation, then I think ##y = f(x)## and ##\frac{\partial f(x,y)}{\partial y} = \frac{df(x,f(x))}{dx}\frac{dx}{dx}##

Really bad idea to use ##f## for two different functions. Better to think of ##y = y(x)##. So you have ##f(x,y(x)) = C##, a constant. What happens if you differentiate that with respect to ##x## and solve for ##y'##?
 
  • #3
Drakkith said:
Well, if we're using implicit differentiation, then I think ##y = f(x)##
We can't do that, as ##f## is an already existing two-input function.

Let's assume the tangent is not parallel to the y-axis (If it is, we swap x for y in everything that follows and end up with the same result). Then there is a function ##g:\mathbb R\to\mathbb R## such that, for ##x## on some open interval ##U\subseteq \mathbb R## containing ##a##, the point ##(x,g(x))## is on the level curve. We use the function ##\gamma:x\mapsto(x,g(x))## to parametrize the curve and note that ##b=g(a)##, so that ##\gamma(a)=(a,b)##.

Since it is a level curve we have
$$0 =D(f\circ\gamma)(a)=D_1f(a,b)D\gamma^1(a)+D_2f(a,b)D\gamma^2(a)
=D_1f(a,b)D(x\mapsto x)(a)+D_2f(a,b)D(x\mapsto g(x))(a)$$
where
  • the operator ##D## means differentiate the unary function immediately following the symbol
  • ##D_k## means differentiate the function following the symbol wrt its ##k##th argument
  • ##\gamma^k## is the ##k##th component function of ##\gamma##
The second equality in the above expression is the total differential rule.

Next step is to perform the differentiations of the unary functions.
 
Last edited:
  • #4
LCKurtz said:
Really bad idea to use ##f## for two different functions. Better to think of ##y = y(x)##. So you have ##f(x,y(x)) = C##, a constant.

Ah, didn't think about using a different letter for the new function.

LCKurtz said:
What happens if you differentiate that with respect to ##x## and solve for ##y'##?

I... don't really know.

andrewkirk said:
Then there is a function ##g:\mathbb R\to\mathbb R## such that, for ##x## on some open interval ##U\subseteq \mathbb R## containing ##a##, the point ##(x,g(x))## is on the level curve. We use the function ##γ:x↦(x,g(x))\gamma:x\mapsto(x,g(x))## to parametrize the curve and note that ##b=g(a)##, so that ##γ(a)=(a,b)\gamma(a)=(a,b)##.

I'm sorry andrew, but I don't know what most of your notation means. Thank you very much for posting though. I appreciate it.
 
  • #5
Drakkith said:
I'm sorry andrew, but I don't know what most of your notation means.
The notation ##\gamma:x\mapsto (x,g(x))## is just a shorthand way of saying that ##\gamma## is a function from ##\mathbb R## to ##\mathbb R^2## and that ##\gamma(x)=(x,g(x))##. That is, ##\gamma## maps the real number ##x## to the point on the number plane with horizontal coordinate ##x## and vertical coordinate ##g(x)##.

The function ##\gamma## is a parametrization of the line we are interested in.
 
  • Like
Likes Drakkith
  • #6
andrewkirk said:
We can't do that, as ##f## is an already existing two-input function.

Let's assume the tangent is not parallel to the y-axis (If it is, we swap x for y in everything that follows and end up with the same result). Then there is a function ##g:\mathbb R\to\mathbb R## such that, for ##x## on some open interval ##U\subseteq \mathbb R## containing ##a##, the point ##(x,g(x))## is on the level curve. We use the function ##\gamma:x\mapsto(x,g(x))## to parametrize the curve and note that ##b=g(a)##, so that ##\gamma(a)=(a,b)##.

Since it is a level curve we have
$$0 =D(f\circ\gamma)(a)=D_1f(a,b)D\gamma^1(a)+D_2f(a,b)D\gamma^2(a)
=D_1f(a,b)D(x\mapsto x)(a)+D_2f(a,b)D(x\mapsto g(x))(a)$$
where
  • the operator ##D## means differentiate the unary function immediately following the symbol
  • ##D_k## means differentiate the function following the symbol wrt its ##k##th argument
  • ##\gamma^k## is the ##k##th component function of ##\gamma##
The second equality in the above expression is the total differential rule.

Next step is to perform the differentiations of the unary functions.
With all due respect, and by comments from Drakkith, the OP, this explanation is not helpful.

LCKurtz said:
So you have ##f(x,y(x)) = C##, a constant. What happens if you differentiate that with respect to ##x## and solve for ##y'##?
You can take the total derivative of f(x, y(x)).
 
  • #7
LCKurtz said:
Really bad idea to use ##f## for two different functions. Better to think of ##y = y(x)##. So you have ##f(x,y(x)) = C##, a constant. What happens if you differentiate that with respect to ##x## and solve for ##y'##?

Sorry, I've been super busy and haven't had the time to really dive into this.

Can we work through a small example? What would be a good equation for Y? ##y=g(x) = x^2 - y^2 ## ?
 
  • #8
Drakkith said:
Sorry, I've been super busy and haven't had the time to really dive into this.

Can we work through a small example? What would be a good equation for Y? ##y=g(x) = x^2 - y^2 ## ?
No. g(x) implies that g is a function of x alone, but you show it as involving both x and y.

Suppose you have the level curves of ##z = g(x, y) = x^2 - y^2## so you're looking at the equation ##x^2 - y^2 = C##, for some constant. Assuming that y can be written as a function of x; i.e., y = y(x) in an abuse of notation, then we can think of z as being ultimately a function of x alone.

So I'll take the total differential of both sides of ##x^2 - y^2 = C##.
But ##dz = \frac{\partial g}{\partial x}dx + \frac{\partial g}{\partial y}dy = d(C)##
Divide through by dx to get ##\frac{dz}{dx} = \frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx} = \frac{d(C)}{dx}##
This is the part I'm interested in: ##\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx} = \frac{d(C)}{dx}##
Fill in the rest and follow LCKurtz's advice to solve for y' (i.e., dy/dx).
 
  • #9
Mark44 said:
Assuming that y can be written as a function of x; i.e., y = y(x) in an abuse of notation, then we can think of z as being ultimately a function of x alone.

I think that's where I'm really getting confused. How can we write Y as a function of X in this case? Just solve for Y in the equation to get ##y=\sqrt{x^2-c}## ?
 
  • #10
Drakkith said:
I think that's where I'm really getting confused. How can we write Y as a function of X in this case? Just solve for Y in the equation to get ##y=\sqrt{x^2-c}## ?
You don't have to actually write the function. All you need to do is to assume that such a function exists in possibly some limited region.

The equation here, ##x^2 - y^2 = C##, represents a hyperbola with vertices on the x-axis, and opening left and right, away from the y-axis.
If ##x^2 - y^2 = C##, then ##y = \pm \sqrt{x^2 - C}##
For the positive square root, we get the upper halves of the two branches. For the neg. square root, we get the lower halves of the two branches.

This is all you need:
##\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx} = \frac{d(C)}{dx}##
Complete the work where I left off and follow LCKurtz's advice to solve for y' (i.e., dy/dx).
 
  • #11
Mark44 said:
This is all you need:
##\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx} = \frac{d(C)}{dx}##
Complete the work where I left off and follow LCKurtz's advice to solve for y' (i.e., dy/dx).

Oh, is that all you need to do? Alright. Well, solving ##\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx} = \frac{d(C)}{dx}## for y' gives me:

##\frac{\partial g}{\partial y}\frac{dy}{dx} = -\frac{\partial g}{\partial x} \frac{dx}{dx}##

Since ##\frac{dx}{dx} = 1##, that becomes ##\frac{\partial g}{\partial y}\frac{dy}{dx} = -\frac{\partial g}{\partial x}##

Then: ##\frac{dy}{dx} =-\frac{\frac{\partial g}{\partial x}}{\frac{\partial g}{\partial y}}##

Which is the same as: ##-f_x(a,b)/f_y(a,b)##

Wow, I don't think I would have ever figured out that the ##\frac{dy}{dx}## in ##\frac{\partial z}{\partial x}=\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx}## was the same as the slope of the tangent line in the XY-plane. No wonder I was so lost.

Thanks all.
 
  • #12
Drakkith said:
Wow, I don't think I would have ever figured out that the ##\frac{dy}{dx}## in ##\frac{\partial z}{\partial x}=\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx}## was the same as the slope of the tangent line in the XY-plane.
Just a small point, which might seem like a nit pick, but is actually quite important. What you wrote as
$$\frac{\partial z}{\partial x}=\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx}$$
should be
$$\frac{dz}{dx}=\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx}$$
Usually, minor deviations in notation make the item meaningless, which is good because one can then often infer what was intended because one can see what changes need to be made to make the notation meaningful.

But ##\frac{\partial z}{\partial x}## is perfectly meaningful in this context, and means something completely different from ##\frac{dz}{dx}##. The former is the slope of the surface in the direction of a line parallel to the ##y## axis. The latter is the slope of the surface in the direction of a level curve - which will almost certainly not be parallel to the ##y## axis. They will almost certainly give different numbers.

This issue of partial differentiation and its relation to total differentiation is fraught with traps, which I attribute to the widely-used system of notation being unsatisfactory and proliferating ambiguity.
 
  • #13
andrewkirk said:
Just a small point, which might seem like a nit pick, but is actually quite important. What you wrote as
$$\frac{\partial z}{\partial x}=\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx}$$
should be
$$\frac{dz}{dx}=\frac{\partial g}{\partial x} \frac{dx}{dx} + \frac{\partial g}{\partial y}\frac{dy}{dx}$$

Whoops! I knew that! (It's because z is ultimately a function of one variable, x. Right?)
 

Related to Slope of a Line Tangent to a Level Curve at a Point

1. What is the slope of a line tangent to a level curve at a point?

The slope of a line tangent to a level curve at a point is the rate of change of the level curve at that specific point. It can also be thought of as the instantaneous rate of change at that point.

2. How is the slope of a line tangent to a level curve at a point calculated?

The slope of a line tangent to a level curve at a point can be calculated by finding the derivative of the level curve at that point. This can be done using the formula for finding the derivative, or by using the concept of the limit of the slope of secant lines.

3. What does the slope of a line tangent to a level curve at a point represent?

The slope of a line tangent to a level curve at a point represents the direction and rate of change of the level curve at that point. It can also be interpreted as the steepness of the curve at that specific point.

4. How does the slope of a line tangent to a level curve at a point relate to the gradient of the level curve?

The slope of a line tangent to a level curve at a point is equal to the magnitude of the gradient of the level curve at that point. This means that the slope of the tangent line and the gradient have the same value, but the gradient also includes the direction of the slope.

5. Can the slope of a line tangent to a level curve at a point be negative?

Yes, the slope of a line tangent to a level curve at a point can be negative. This means that the curve is decreasing at that point. However, if the level curve is a constant function, the slope of the tangent line will be 0.

Similar threads

  • Calculus and Beyond Homework Help
Replies
5
Views
824
  • Calculus and Beyond Homework Help
Replies
6
Views
940
  • Calculus and Beyond Homework Help
Replies
3
Views
224
  • Calculus and Beyond Homework Help
Replies
2
Views
627
  • Calculus and Beyond Homework Help
Replies
2
Views
530
  • Calculus and Beyond Homework Help
Replies
9
Views
671
  • Calculus and Beyond Homework Help
Replies
13
Views
454
  • Calculus and Beyond Homework Help
Replies
21
Views
1K
  • Calculus and Beyond Homework Help
Replies
18
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
793
Back
Top