If you're seeing this message, it means we're having trouble loading external resources on our website.

If you're behind a web filter, please make sure that the domains *.kastatic.org and *.kasandbox.org are unblocked.

Main content

L’Hôpital’s rule (composite exponential functions)

Sal uses L'Hôpital's rule to find the limit at 0 of (sinx)^(1/lnx).

Want to join the conversation?

  • mr pants teal style avatar for user Wrath Of Academy
    When I got to the step that Sal does at I applied L'Hôpital's rule to the whole thing again. I got the same answer, but Sal pointed out a slightly easier way by using the rule that "the limit of the product of two functions is equal to the product of their limits."

    I had forgotten that rule - is there a name for it, and a proof of it?
    (14 votes)
    Default Khan Academy avatar avatar for user
  • blobby green style avatar for user Andrew
    At Sal starts explaining how y should intuitively approach e, w/the expression lim x->0+ ln(y)=1. Right before that he shows that ln(y) = 1. Couldn't you instead just raise e to both sides of the equation and get e^ln(y) = e^1 thus y = e ?
    (8 votes)
    Default Khan Academy avatar avatar for user
  • blobby green style avatar for user Sahir Kurji
    10.23, how is he taking the derivative without doing the quotient rule. is that a mistake?
    (5 votes)
    Default Khan Academy avatar avatar for user
    • piceratops ultimate style avatar for user Just Keith
      No. He is not taking the derivative of the whole function, he is using l'Hopital's rule.
      This rule involves (but only valid if the limit is of a 0/0 or ∞/∞ form) taking the derivative of the numerator divided by the derivative of the denominator NOT the derivative of the entire function.

      In fact, with l'Hopital's rule, if you take the derivative of the whole function, you will get the wrong answer.

      In summary, l'Hopitals rule states that IF you have
      lim x→c f(x)/g(x)
      AND the derivative of g(x) exists and is not 0.
      AND one of the following is true:
      f(x) and g(x) both approach 0
      or
      f(x) and g(x) both approach ±∞
      THEN and only then:
      lim x→c f(x)/g(x) = lim x→c f'(x)/g'(x)
      This is NOT the derivative f(x) / g(x)
      (7 votes)
  • blobby green style avatar for user mongia.rachit
    At, , how is ln (sin x) ^ 1/ln (x) = {1/ln(x)} * ln (sin x) ?
    (4 votes)
    Default Khan Academy avatar avatar for user
    • primosaur ultimate style avatar for user Julia Pockat
      One of the rules for logarithms is that if a logarithm is raised to an exponent, it is the same as multiplying it by the value of the exponent by the rest of the equation. Since ln(sinx) is a natural logarithm, this applies, and so ln(sinx)^1/ln(x)=(1/ln(x))*ln(sinx). Feel free to comment back if you need clarification on this answer.
      (5 votes)
  • male robot hal style avatar for user RandomDad
    At , Why couldn't we factorize 0^0 as 0^1 / 0^1, which is 0/0 indeterminate value, since we know that 0^1/0^1 is 0^1-1 which is 0^0. He says justifications, what does he mean?
    (5 votes)
    Default Khan Academy avatar avatar for user
  • purple pi purple style avatar for user matthewalexanderglynn
    at Sal suggested taking the natural log of both sides. Where are more videos on this and questions on natural log (ln) derivatives?
    (3 votes)
    Default Khan Academy avatar avatar for user
  • blobby green style avatar for user Turner Adams
    At around in the video, would it be valid to, instead of splitting up the single limit into two and taking the first derivative of one, just take the second derivative of x*cos(x) / sin(x) to get
    cos(x) + (-x*sin(x)) / cos (x) ? When evaluating it, you still get 1 + 0 / 1, but is that just a coincidence?
    (2 votes)
    Default Khan Academy avatar avatar for user
    • piceratops ultimate style avatar for user Just Keith
      If I followed what you meant correctly, yes, that is a valid way of doing it.
      You can continue using multiple iterations of l'Hopital's provided the derivatives exist AND you continue to have 0/0 or ∞/∞ forms. If you have those forms, you do not necessarily have to split up the limit -- though doing so is often easier.

      Remember that l'Hopital's is NOT valid or true if you don't have 0/0 or ∞/∞ . So, you must be careful about that.
      (4 votes)
  • aqualine tree style avatar for user Fred
    So, is this alright? Rather than stop at taking the natural log, I then raised everything to a power of e, so as to ignore the whole "y=" side of the equation. This resulted in:
    e^((lnsinx)/lnx)
    Which accepts an x-value of 0 in order to evaluate the limit being equal to e.
    (2 votes)
    Default Khan Academy avatar avatar for user
    • purple pi purple style avatar for user redthumb.liberty
      The e^(ln(something)) is ultimately equivalent to ln|y| = ln|something|, because when you go to cancel the ln|y| = ln|something| you will use e: e^(ln|y|) = e^(ln|something|)

      For your posted example, where you declare that e^((ln|sin(x)|)/ln|x|) when evaluated at 0 directly results in e, is incorrect. As illustrated in the @ , you have a -∞/-∞ condition. You still need to cycle through the L'Hopital's iterations to the final resolvable state:

      L = lim  e^( (cos(x) - x*sin(x))/cos(x) )
      x→0+

      L = e^( (cos(0) - 0*sin(0))/cos(0) )

      L = e^( 1 - 0*0)/1 )

      L = e^( 1/1 )

      L = e
      (3 votes)
  • aqualine ultimate style avatar for user Insatiable
    Is it important to make a distinction between infinity/infinity and -infinity/-infinity? Do the negatives cancel each other out?
    (2 votes)
    Default Khan Academy avatar avatar for user
  • spunky sam blue style avatar for user Vishnu Gopalakrishnan
    From the point where sal said ' We take the product of the limits' or something like that , why can't we do the following:

    lim x cos x / sin x = 0/0 so taking the derivative of both the numerator and the denominator,
    lim cos x • -x sin x / cos x = 0 = lim x cos x / sin x = ln (sin x) /ln x =ln ((sin x)^ 1/ln x) = ln y = 1 as e to the power 0 = 1.
    (2 votes)
    Default Khan Academy avatar avatar for user

Video transcript

- [Voiceover] What I would like to tackle in this video is what I consider to be a particularly interesting limits problem. Let's say we want to figure out the limit as X approaches zero from the positive direction of sine of X. This is where it's about to get interesting. Sine of X to the one over the natural log of X power and I encourage you to pause this video and see if you can have a go at it fully knowing that this is a little bit of a tricky exercise. I'm assuming you have attempted. Some of you might have been able to figure out on the first pass. I will tell you that the first time that I encountered something like this, I did not figure it out at the first pass so definitely do not feel bad if you fall into that second category. What many of you all probably did is you said okay, let me think about it. Let me just think about the components here. If I were to think about the limit, if I were to think about the limit as X approaches zero from the positive direction of sine of X, well that's pretty straightforward. That's going to be zero, so you could think of like this part of it is going to approach zero but then if you say, and you could say, I guess I should say. The limit as X approaches zero from the positive direction of one over natural log of X and this is why we have to think about it from the positive direction. It doesn't make sense to approach it from the negative direction. You can't take the natural log of a negative number. That's not in the domain for the natural log but as you get closer and closer to zero from the negative direction, the natural log of those values, you have to raise E to more larger and larger negative values. This part over here is going to approach negative infinity. It's going to go to negative infinity. One over negative infinity, one divided by super large or large magnitude negative numbers, well, that's just going to approach zero. You could say that this right over here is also going to be, is also going to be equal to zero. That doesn't seem to help us much because if this thing is going to zero and that thing is going to zero, it's kind of an implication that well maybe this whole thing is going to zero to the zero power but we don't really know what zero, let me do the some, those color. Zero to the zero power but this is one of those great fun things to think about in mathematics. There's justifications why this could be zero, justifications why this could be one. We don't really know what to make of this. This isn't really a satisfying answer. Something at this point might be going into your brain. We have this thing that we've been exposed to called L'Hopital's rule. If you have not been exposed to it, I encourage you to watch the video, the introductory video on L'Hopital's rule. In L'Hopital's rule, let me just write it down. L'Hopital's rule helps us out with situations where when we try to superficially evaluate the limit, we get indeterminate forms things like zero over zero. We get infinity over infinity. We get negative infinity over negative infinity and we go into much more detail into that video. It seems this is kind of, it feels like we're getting a zero to a zero. It's kind of we're getting the strange beast and at least evokes the notion of L'Hopital's rule. You will not be, as we'll see in a few seconds, you're not wrong to, for that L'Hopital's rule neuron to be triggering in your brain although you can't apply it directly to this right over here. L'Hopital's rule does not apply to or directly apply to the zero to the zero form but what we can do is construct a problem where L'Hopital's rule will apply and then use that to solve, to figure out what this is going to be. This was essentially the tricky part of this exercise. Well what do I mean? Well if we set Y equal to Y of and maybe let me write it this way. If we set, and I'll write Y, I could just write Y but I'll say Y is clearly a function of X. If we say Y of X is going to be sine of X, sine of X to the one over natural log of X. This thing right over here is essentially saying what's the limit as X approaches zero from the positive direction of Y and once again we don't know. Maybe it's zero to the zero but we don't know what zero to zero actually is. What we could do, what we could do and this is a trick that you see a lot and anytime you get kind of weird things with exponents and whether you're doing limits or derivatives, as you'll see it's often times useful to take the natural log of both sides. Well what happens if you take the natural log of both sides here? On the left-hand side you're going to have the natural log, the natural log, and whenever I think of natural log and E the way I always think about them, the color green for some bizarre reason but we'll say the natural log of Y is equal to. If you take the natural log of this thing, actually let me just, I don't want to skip steps here because this is interesting. This is going to be the natural log of all of this business of sine of X, let me write this way. Sine of X, sine, I want to do this in that orange color. The natural log of sine of X to the one over the natural log of X. Well we know from our exponent prior our logarithm properties, the logarithm of something to a power, that's the same thing as the power. One over natural log of X times the logarithm, this case the natural logarithm of whatever taking the sine of X here. Sine of X or we could say the natural log of Y. Want to keep, stay color consistent for at least one more step. The natural log of Y is equal to, if we just rewrite this this is going to be the natural log of sine of X, the natural log of sine of X over the natural log of X. Well this is all interesting but why do we care about this? Why did I do this? Well instead of thinking about what is the limit? What is the limit as X approaches zero from the positive direction of Y? Let's think about what the natural log of Y is approaching as we approach, as X approaches zero from the positive direction. Let's figure out what the limit of this expression right over here is as X approaches zero from the positive direction. What is a natural log of Y? What is this whole thing? Not Y, what is the natural log of Y approaching? Let's think about that scenario. Let me write, do this in a new color. We want to figure out what is the limit as X approaches zero from the positive direction of this business and I'll just write it in one color. The natural log of sine of X over the natural log of X. I don't know, I wrote one time in print, one time in cursive. I'll just be consistent right over there. Now why is this interesting? Let's see in the numerator here, this thing's going to approach zero, natural log of zero you're going to approach negative infinity. This thing right over here natural log of, as you approach it from the positive direction. Once again you're going to approach negative infinity. This gives you that indeterminate form. This is giving you that indeterminate form of negative infinity over negative infinity which is neat because this triggers or at least tells us that L'Hopital's rule may be appropriate here. We could say that this is going to be equal to the limit as X approaches zero from the positive direction. Let me give myself a little bit more real estate to work up with and I can take the derivative of the numerator and the derivative of the denominator. Derivative of the numerator, so the derivative of the numerator, I'm going to apply the chain rule here. Derivative of sine of X is cosine of X and then the derivative, the natural log of sine of X with respect to sine of X is going to be one over sine of X. This is going to be over sine of X, so that's the derivative of the numerator. Then the derivative of the denominator is just going to be one over X, one over X. This is all going to be equal to, this is equal to the limit as X approaches zero from the positive direction of I could write this as cosine of X, cosine of X. Let's see, if I'm dividing by X. I'm dividing by X, I am going to get, this is going to be X over sine of X, X over sine of X. When I apply and when I try to take the limit here I'm going to get a zero, once again we got a zero over zero. This doesn't feel too satisfying but once again this is where our limit properties might be useful. As you can tell, this is not the most trivial of problems but this is going to be the same thing and this will take a little bit of pattern recognition. This is the same thing as because we know that the limit of the product of two functions is equal to the product of their limits, this is the same thing as the limit, the limit as X approaches zero from the positive direction of, if we take this part, let me do this in a different color. If we take this part, that's not a different color. If we take this part right over here, so that's going to be X over sine of X and then times the limit. Let me put parenthesis here times the limit, the limit as X approaches zero from the positive direction of cosine of X, of cosine of X. Now this thing right over here is pretty straightforward. You can just evaluate it at zero, you get one. This thing right over here is equal to one but what's this thing? This might ring a bell. You might have seen the limit as X approaches zero, of sine of X over X. This is just the reciprocal of that. This is X over sine of X but when you just superficially try to evaluate it. You get zero over zero so you can then apply L'Hopital's rule to this thing. Once again this is quite an interesting scenario we find ourselves in. This is going to be the same thing as the limit as X approaches zero from the positive direction. Derivative at the top is one, derivative at the bottom, is cosine of X. Well, this is just going to be one over cosine of zero is one, so this is just going to be equal to one. We got to apply L'Hopital's rule again and realize that this limit is going to be equal to one. One times one is one so this thing right over here is equal to one. This thing right over here, this thing right over here is going to be, this thing right over here is going to approach one which tells you that this thing is approaching one. What do we now know? We now know and I'll write it out in language. We now know that the limit of the natural log of Y, the limit of the natural log of Y as X approaches zero from the positive direction is equal to one. If the natural log of Y is approaching one, what is Y approaching? Well in order for the natural log, so once again we just know this thing right over here. We know this thing is one and this thing is a natural log of Y. We now know that this thing, the limit as X approaches zero of this thing is one and that's the same thing as a limit as X approaches zero from the positive direction of the natural log of Y. These things are equivalent, is equal to one. Well the natural log of Y is approaching one so if the natural log of Y is approaching, let me write it this way. The natural log of Y is approaching one. Well what must Y be approaching? Well to get the natural log of something that gets you one, well Y must be approaching E because natural log of E is one. Then Y must be approaching E and we are done because that's what we cared about. We cared about what is Y, this is Y, remember, we defined this whole thing as Y. We said what is Y approaching as X approaches zero from the positive direction? Well we figured out that the natural log of Y is approaching one as X approaches zero from the positive direction. That means that Y must be approaching E. This tells us that this thing, this thing right over here is equal to E which is somewhat mind blowing. We seen other, the E is popping up and it's involving sine of X and of course natural log of X, you expect E to be involved somehow. It is a pretty fascinating problem in my mind.