Is the derivative equal to one over the derivative of the inverse?

Click For Summary
The relationship (dy/dx) = 1/(dx/dy) holds true for one-to-one functions where an inverse exists, as both derivatives are defined. For functions that are not one-to-one, the inverse may not be well-defined, making the statement invalid. The discussion emphasizes that this relationship can also apply to partial derivatives, but the context of the variables must be clearly defined. A proof using the definition of derivatives demonstrates that the relationship is valid for invertible functions. Overall, the statement is confirmed under specific conditions of invertibility and well-defined inverses.
Crosson
Messages
1,256
Reaction score
4
Is it true that (dy/dx) = 1/(dx/dy) ? Is it still true if these are partial derivatives of a function of multiple variables? (All this, assuming that the inverse function exists)

Can anybody prove it in terms of the definition of a derivative? or any sort elementary proof at all? (I can almost convince my self it is true with Linear Algebra).

I haven't seen it proven in any books, but it is true for all of the functions I know of. Can I get a definitive answer?
 
Physics news on Phys.org
yes, dy/dx= 1/(dx/dy), when both are defined.

It doesn't make sense to ask about it for partial derivatives in the manner you do.

Suppose that y=f(x) implicitly defines y as a function of x. differentiate both sides wrt y

1 = df(x)/dy

apply the chain rule

1= (dx/dy) (df/dx)

or

1= (dx/dy)(dy/dx)

For partials you'd need to be more specific, are x and y both variables of this functions, or is, y=f(x,z,w...) the thing you're after? You can apply what I did above in the partial case for the second type.
 


The statement that the derivative of a function is equal to one over the derivative of its inverse is not always true. This only holds for functions that are invertible and have a well-defined inverse function.

For a one-variable function, the statement can be written as: (dy/dx) = 1/(dx/dy). This is only true for functions that are one-to-one, meaning that each input value corresponds to a unique output value. In this case, the inverse function exists and the statement holds true.

However, for functions that are not one-to-one, the inverse function may not exist or may not be well-defined. In this case, the statement is not true.

This also applies to partial derivatives of functions with multiple variables. The statement (dy/dx) = 1/(dx/dy) is only true if the function is invertible and has a well-defined inverse function. Otherwise, it does not hold.

To prove this statement, we can use the definition of a derivative. The derivative of a function f(x) at a point x=a is defined as the limit of the difference quotient as h approaches 0:

f'(a) = lim(h->0) (f(a+h) - f(a))/h

Similarly, the derivative of the inverse function g(x) at a point x=b is defined as:

g'(b) = lim(h->0) (g(b+h) - g(b))/h

Now, if we let h = 1/f'(a), we can rewrite the first equation as:

f'(a) = lim(h->0) (f(a+1/f'(a)) - f(a))/1/f'(a)

Using the definition of the inverse function, we can replace f(a+1/f'(a)) with g(f(a)):

f'(a) = lim(h->0) (g(f(a)) - f(a))/1/f'(a)

Now, we can substitute this into the second equation:

g'(b) = lim(h->0) (g(b+h) - g(b))/h = lim(h->0) (f(a+1/f'(a)) - f(a))/1/f'(a) = f'(a)

Therefore, we can conclude that g'(b) = f'(a) = 1/(f'(a)), which proves the statement for invertible functions.

In conclusion, the statement (dy/dx) = 1/(dx/d
 
There are probably loads of proofs of this online, but I do not want to cheat. Here is my attempt: Convexity says that $$f(\lambda a + (1-\lambda)b) \leq \lambda f(a) + (1-\lambda) f(b)$$ $$f(b + \lambda(a-b)) \leq f(b) + \lambda (f(a) - f(b))$$ We know from the intermediate value theorem that there exists a ##c \in (b,a)## such that $$\frac{f(a) - f(b)}{a-b} = f'(c).$$ Hence $$f(b + \lambda(a-b)) \leq f(b) + \lambda (a - b) f'(c))$$ $$\frac{f(b + \lambda(a-b)) - f(b)}{\lambda(a-b)}...

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 12 ·
Replies
12
Views
3K