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

Derivative of constant function - proof

  1. Dec 22, 2004 #1
    Hi all,

    our professor wrote this proof (using the definition of derivative), that the derivative of constant function is 0:

    [tex]
    f(x) \equiv a
    [/tex]

    [tex]
    f^{'}(b) = \lim_{h \rightarrow 0} \frac{f(b+h) - f(h)}{h} = \lim_{h \rightarrow 0} \frac{a - a}{h} = 0
    [/tex]

    I'm not sure about the last step, because we have 0 denominator, don't we? Why isn't it here considered an indeterminate expression?

    Thank you.
     
  2. jcsd
  3. Dec 22, 2004 #2
    Long-winded explanation: lim(h -> 0) 0/h = 0 is equivalent to

    For all e > 0 there exists a d > 0 such that 0 < |h| < d => |0/h| < e.

    Notice that since 0 < |h|, h is never equal to 0. Thus |0/h| is always 0 (for the values of h we are interested in!), so that 0 < e for all d. (So we can let d = 1, for example).
     
  4. Dec 22, 2004 #3
    Thank you muzzo, I was confused with comparing it to the limits like

    [tex]
    \lim_{x \rightarrow 0} \frac{\sin x}{x} = 0
    [/tex]

    Where both nominator and denominator go to zero, but the difference is in that in this case we can't judge the result since both expressions are unlimitedly small, but not zero, unlike the proof, where nominator was legal zero. Am I right now?
     
  5. Dec 22, 2004 #4

    dextercioby

    User Avatar
    Science Advisor
    Homework Helper

    Yep,you're right.Differentiation should always be looked upon as process of evaluating a limit from a ratio.When the numerator is zero,as a difference between 2 identical constants,then the limit is identically zero,being a ratio bewteen zero and a positive/negative quantity,very,very,very small,but still nonnull.
    The formula for the derivative of a constant is the most simple,i guess u know that.In all other cases,u really need to compute that limit involved by the definition.

    Cheers and good luck!!

    Daniel.
     
  6. Dec 22, 2004 #5

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    A very important property of limits is this: if f(x)= g(x) for every x except c then they have the same limit at c (that's what you use over and over again for derivatives). Of course f(h)= 0/h and g(h)= 0 are exactly the same for h not equal to 0 so they have the same limit at 0: 0.

    Another way of defining the derivative of a function (at 00) is "the slope of the tangent line to the graph y= f(x) at x= x0". For any linear function, its graph is a straight line- it is its own "tangent line" and so its derivative is a constant: its slope. In particular, if f(x)= constant, the graph is a horizontal straight line and has slope 0.
     
    Last edited: Dec 22, 2004
  7. Oct 16, 2008 #6
    Hi all,
    if we want to prove the other way round, i.e. if the derivative is zero then f must be a constant function how could we do that? Any ideas?
     
  8. Oct 16, 2008 #7

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    That follows from the mean value theorem.
     
  9. Oct 19, 2008 #8
    INtegrals!!!!
     
  10. Oct 20, 2008 #9

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Just "integrals" isn't enough. If, for example, I know that df/dx= 2x, then I certainly know that f(x)= x2 is one possible value for f. I presume that you know that f must be of the form x2+ C where "C" is a constant but HOW do you know that? How do you know that there isn't some very strange function, perhaps one that no one has ever written down, that has derivative 2x? You know it because of the mean value theorem as morphism said.

    If F(x) and G(x) have the same derivative, F'(x)= G'(x) then (F- G)'= F'- G'= 0. Since the derivative of F- G is always 0, we can write [(F-G)(b)- (F-G)(a)]/(b-a)= (F-G)'(c)= 0 for any a and b. Then (F-G)(b)= (F-G)(a) for all a and b: F- G is a constant and F= G+ a constant.
     
    Last edited: Oct 20, 2008
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Derivative of constant function - proof
  1. Functional derivatives (Replies: 1)

  2. Functional derivation (Replies: 1)

  3. Constant function (Replies: 4)

  4. Functional derivative (Replies: 1)

Loading...