1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A more rigorous argument

  1. Jan 9, 2009 #1
    Hey, in my Schaum' Outline Calculus it says Dx(ex) = ex
    Let y = ex. Then ln(y) = x. By implicit differentiation, [tex]\frac{1}{y}[/tex]y' = 1
    therefor y' = y = ex

    For a more rigorous argument, let f(x) = ln(x) and f-1(y) = ey.
    Note that f'(x) = [tex]\frac{1}{x}[/tex]. By Theorem 10.2(b).

    (f-1)'(y) = [tex]\frac{1}{f'(f**-1(y))}[/tex],

    That is Dy = [tex]\frac{1}{1/e**y}[/tex] = ey

    10.2(b): Let f be one-to-one and continuous on the interval (a,b) Then:
    If f'x(x0 is differentiable and f'(x0) != 0, then f-1 is
    differentiable at y0 = f(x0) and (f-1)'(y0)
    = [tex]\frac{1}{f'(x0}[/tex]

    Now, my question is what does "more rigorous argument" mean and what makes the second one more rigorous.
    Last edited: Jan 9, 2009
  2. jcsd
  3. Jan 9, 2009 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    The first argument uses the fact (your "10.2(b)") that if y= f(x) and x= f-1(y) then
    [tex]\frac{dx}{dy}= \frac{1}{\frac{dy}{dx}}[/tex]
    The second argument proves that is true for this particular function, as part of the proof.
  4. Jan 10, 2009 #3
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: A more rigorous argument
  1. Develop the argument: (Replies: 7)

  2. How rigorous is Apostol? (Replies: 15)