Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof for clalculus log rules

  1. Jun 8, 2009 #1
    proof for the differential log rule
    proof for the integral log rule

    please and thankyou
  2. jcsd
  3. Jun 9, 2009 #2


    User Avatar
    Science Advisor
    Homework Helper

    Do you mean why
    [tex]\frac{d}{dx} {}^a\log(x) = \frac{1}{x \operatorname{ln}(a)}[/tex]
    [tex]\int {}^a\log(x) \, dx = \frac{1}{\operatorname{ln}(a)}\left( x \log(x) - x \right)[/tex]?

    The second one is easiest: just differentiate the right hand side and check that you get the integrand (alog(x)) back.

    For the first one, I assume that you have defined the log function as
    [tex]a^{{}^a \log(x)} = x[/tex]
    (i.e. it inverts exponentiation) and that you will buy (or have somehow proven) that
    [tex]\frac{d}{dx} a^x = \operatorname{ln}(a) a^x.[/tex]

    Now consider the derivative of
    and use the chain rule.
  4. Jun 9, 2009 #3


    User Avatar
    Science Advisor

    How you prove such things depends strongly on how you define log x!

    It is common, in many calculus texts, to define the natural logarithm by
    [tex]ln(x)= \int_1^x\frac{1}{t} dt[/itex]

    Now the derivative rule follows trivially from the fundamental theorem of calculus. Further, you can show all the properties of the logarithm directly from that definition, including the facts that it is invertible and that its inverse function can be written as a real number to the x power.

    Once you have natural logarithm, the same rules and properties follow for [itex]log_a x[/itex] by using
    [tex]log_a(x)= \frac{ln(x)}{ln(a)}[/tex]

    Since this has nothing to do with "Differential Equations", I am moving it to "Calculus and Analysis".
    Last edited by a moderator: Jun 9, 2009
  5. Jun 9, 2009 #4
    I think he means the definition from algebra. I also think he means the proof that d(ln x)/dx=1/x.

    Am I right? Anyway,

    y=ln x[tex]\Rightarrow[/tex]x=e^y

    Using implicit differentiation,

    (e^y)(dy/dx)=1 so dy/dx=1/(e^y)
    but e^y=x so
  6. Jun 14, 2009 #5


    User Avatar
    Science Advisor

    That works, of course, assuming that you have already proved the derivative formula for [itex]e^x[/itex]. And that involves showing that
    [tex]\lim_{h\rightarrow 0}\frac{a^h- 1}{h}[/tex]
    exists. I think using the integral definition of ln(x) is much simpler. And I don't see any reason for using an "algebra definition" rather than a "calculus definition" to do a Calculus problem!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook