Hopital rule proof

Поделиться
HTML-код
  • Опубликовано: 25 авг 2024
  • In this video, I give a proof of the celebrated l'Hopital's rule in calculus, which is a very useful tool to calculate limits. It is actually one of my favorite proofs, because it illustrates the beauty and elegance of analysis. Enjoy!
    I also get interrupted at some point, which is pretty funny too :P

Комментарии • 119

  • @blackpenredpen
    @blackpenredpen 5 лет назад +250

    @6:08 Hmmmm room 420 hahaha

  • @dogbiscuituk
    @dogbiscuituk 5 лет назад +178

    We should really call it "Bernoulli's Rule, sponsored by Guillaume de l'Hôpital".

  • @TheRandomTN
    @TheRandomTN 4 года назад +41

    Sorry I was looking for the conference. I guess I should go to room 420 now. Thanks

    • @drpeyam
      @drpeyam  4 года назад +5

      🤣🤣🤣

  • @harikishan5690
    @harikishan5690 5 лет назад +74

    @ 6:12 "are you practicing a talk?" ,"no just my fields medal acceptance speech"😂😂😂

    • @drpeyam
      @drpeyam  5 лет назад +9

      Hahaha 😂😂😂

  •  4 года назад +17

    Your enthusiasm is contagious, Doctor. Great video!

  • @albertemc2stein290
    @albertemc2stein290 5 лет назад +25

    I really really like L'Hopitals rule! It's usage is very easy and clear but the proof itself has many cases you have to account for :)

  • @8dolev
    @8dolev 5 лет назад +25

    My new life motto:
    @4:52 Epsilon means happiness

  • @henryhowe769
    @henryhowe769 2 года назад +5

    When you wrote "want to find" as "wtf" I most certainly did not read it as "want to find".

  • @glowmobile596
    @glowmobile596 3 года назад +6

    Love the excitement and enthusiasm shown here! Keep it up Dr P.

  • @Lily-zd6dx
    @Lily-zd6dx 5 лет назад +14

    at first it was weird then it was hilarious and honestly best teacher ever

  • @faith3174
    @faith3174 5 лет назад +13

    i love how there was a mini proof in this big proof. this has to be one of my favorite proofs ever

  • @anmolkagrecha1845
    @anmolkagrecha1845 4 года назад +6

    Your enthusiasm suits the beauty of the proof.

  • @shuddhoshawttoroy6257
    @shuddhoshawttoroy6257 3 года назад +5

    What an adventure of mathematics, an extremely good proof with complicated triangle inequality.

  • @connorchan1780
    @connorchan1780 5 лет назад +4

    i remember i poof it myself in the senior year in high school(in China, high school only has three years' courses), i was so happy. the profound understanding in calculus really launched my physics scores. and now i'm a undergrad in physics.

  • @maxweinstein1537
    @maxweinstein1537 5 лет назад +10

    Great video! In class, my teacher sketched out a non-rigorous proof of the 0/0 case where you use the local linearizations of f and g to approximate the ratio. Much more intuitive, but not as ironclad.

  • @dackid2831
    @dackid2831 4 года назад +9

    This was my first real crack at real analysis. Although I definitely didn't get all of it, I am starting to see some of the relationships analysis cares about (at least in this proof), and it makes me quite excited to study it!

  • @weerman44
    @weerman44 5 лет назад +2

    Awesome! I used to hate Analysis, but now I'm beginning to like it

  • @perappelgren948
    @perappelgren948 5 лет назад +2

    Once again, a great vid by Dr. P. 👍

  • @idkwhatthisis8054
    @idkwhatthisis8054 4 года назад +5

    Wish I had a professor like him. Professor at my college seem like they hate teaching.

  • @qwertyytrewq9791
    @qwertyytrewq9791 4 года назад

    I just love that you are so excited to show us the proof

  • @georges1055
    @georges1055 4 года назад +1

    22:48 That's the best math channel ever. no contest.

  • @yifanliu3971
    @yifanliu3971 2 года назад +1

    GREATEST TEACHER AND SHARER EVER !

  • @waterduck636
    @waterduck636 4 года назад +2

    I was using this thm since i was 16 and now understanding the proof in 24.

  • @wontpower
    @wontpower 4 года назад

    At my university, there is a severe lack of space to work alone. People are constantly looking for empty rooms to study, and 6:08 gave me flashbacks of this past semester.

  • @DoctrinaMathVideos
    @DoctrinaMathVideos 2 года назад

    It's basically an application of the general (extended) mean value theorem for derivatives.

  • @sayram23
    @sayram23 5 лет назад +6

    What book were you referencing at 14:55 ? Cant seem to find it online.

    • @drpeyam
      @drpeyam  5 лет назад +1

      Real Analysis by Pugh

    • @sayram23
      @sayram23 5 лет назад +1

      @@drpeyam Thank you very much! I'd never guess that name.

    • @greenland8376
      @greenland8376 3 года назад +1

      2 years later, this thread saved me a lot of time! thanks

  • @aysan7513
    @aysan7513 Год назад

    you're amazing peyam joon, thank u

  • @bandamkaromi
    @bandamkaromi 5 лет назад +1

    Bernoulli's rule or l'Hospital's rule ; I forgot the proof procedure of this rule. So, pleased.

  • @razterizer
    @razterizer 4 года назад +1

    At 4:17 I cannot unsee WTF as another anachronym. I mean delta, WTF?! Also 6:11 now reveals he is not making this video from his home as I earlier suspected.

  • @canulasli7232
    @canulasli7232 4 года назад +1

    Thanks!

  • @sakshampaliwal8170
    @sakshampaliwal8170 4 года назад

    I am a high school student, please tell me what is epsilon??? I was just taught lhopital without any proof!!!!

  • @markovwallenstein9357
    @markovwallenstein9357 Год назад

    the textbook by Pugh omits too many steps😭😭in the process of part A, thank you very much!

  • @ditang1162
    @ditang1162 2 года назад

    Can we just expand f and g with power series and we know that the constant terms are both 0s at the limit. Now given the ratio of f’ and g’ is L, meaning that the ratio of their 1st order term at the limit is L, now we integrate numerator and denominator and add back the constant term, the ratio is (0+ a*L+O1)/(0+a+O1) where a is just the result of integration. O1 is small. The ratio is still L at the limit.

  • @MrRyanroberson1
    @MrRyanroberson1 5 лет назад +1

    I wonder if you set c=0 during integration, aka from nding the principal integral of functions, that this works in reverse? Int(f)/int(g) approaches the same thing as f/g, and this could be use to define the behaviors of non-integratable functions

    • @gileadedetogni9054
      @gileadedetogni9054 2 месяца назад

      Ummm nice question man, I think it's not true, but can't give you a counterexample 🤣

  • @jonathangrey6354
    @jonathangrey6354 5 лет назад +3

    10:49 me when i learn knew calculus concepts such as the Fundamental Theorems of Calculus.

  • @sadececns00
    @sadececns00 Год назад +1

    Thanks a lot for showing us this proof. I have two questions Could anyone write me the real analysis book's name he mentioned I couldn't catch the author's name (my english is inadequate for that:) )? How do we know that by which constant should we multiply epsilon why and WHERE does he know g(X)^2 / 4[f(x)+g(x)]
    I saw different proofs and epsilon was multiplied by different things how can we decide/consider that factors?? thanks..

    • @drpeyam
      @drpeyam  Год назад +2

      Real analysis by Pugh

    • @sadececns00
      @sadececns00 Год назад

      @@drpeyam Hellooo thanks a lot for your respond that makes me really happy .Finally I found the book😃😃 Greetings from Türkiye....

  • @JorgetePanete
    @JorgetePanete 5 лет назад

    My accidental way of doing it was:
    1: trying to prove cauchy's theorem as a personal exercise, i wanted to graph it
    2: find the relative max and mins of f'(x)/g'(x), let this be h(x), we differentiate h(x), and let x be 0, we have 0=(f''(x)g'(x)-f'(x)g''(x))/g'(x)²
    3: we simplify and get f'(x)/g(x)=f''(x)/g''(x) when h'(x)=0,
    same thing but we have it differentiated once more, we just remove it for l'hopital's rule
    4: the not rigorous part, add lim in both sides :p

    • @JorgetePanete
      @JorgetePanete 5 лет назад

      i can't put a sub-zero when i need to say a point instead of x, but you know where they have to go

  • @namesurname1040
    @namesurname1040 Год назад

    If you have that f/g infinity/infinity you cant rewrite that as 1/g/1/f as the t gies to 0 and have again 0/0 so repeta the seame proof for 1/g and 1/f?

  • @ditang1162
    @ditang1162 2 года назад

    It’s actually my first time seeing WTF=want to find. Math is exciting.

  • @Yopperpo
    @Yopperpo 5 лет назад +2

    Dr Peyam why did you switch from doing videos on a chalkboard to whiteboard? :O

    • @drpeyam
      @drpeyam  5 лет назад +8

      My clothes got messy! And whiteboards are cleaner and I can use colors on them

  • @Lily-zd6dx
    @Lily-zd6dx 5 лет назад +2

    YALL HE SPEAKS FRENCH??? so dyou remember when i said best teacher ever? yeahh

  • @worldnotworld
    @worldnotworld 2 года назад +1

    "Epsilon means happiness"

  • @Gold161803
    @Gold161803 5 лет назад

    Doesn't t need to go to zero, in order for your substitution for f'(x) and g'(x) early on to have worked?

  • @wejoro26
    @wejoro26 3 года назад

    Beautiful proof, greetings from Mexico.

  • @arandomghost8819
    @arandomghost8819 3 года назад

    Dr peyam,I have a question......is it valid proof if I use cauchy mean value theorem to prove l hopital rule......as I am struggling quite a bit with epsilon delta proofs.....
    I am just a high school student so if you have any suggestions or explanations plz make it extremely simple.....thank you very much

  • @elbrohermanito3496
    @elbrohermanito3496 4 года назад

    Dr peyam Is it valid to proof this using cauchy's mean value theorem?

  • @aryavanshsaraf4357
    @aryavanshsaraf4357 4 года назад

    This is beauty of mathematics it makes people innocent ,like him

  • @Hassanotta
    @Hassanotta 5 лет назад +5

    4:20 “WTF”

  • @LamNguyen-yx2zd
    @LamNguyen-yx2zd 5 лет назад

    Great video! Thank you sir !

  • @Idk-hp3oo
    @Idk-hp3oo 5 лет назад +1

    So if i skimmed your video correctly you have proven the special case of L’hôpital’s rule (“0/0”) but how about (infinity/infinity)?

    • @drpeyam
      @drpeyam  5 лет назад +2

      Basically the infinity/infinity proof is similar, except you basically do things at infinity except at 0.

    • @Idk-hp3oo
      @Idk-hp3oo 5 лет назад

      Dr. Peyam's Show ty ;)

    • @Justin-dk9rl
      @Justin-dk9rl 5 лет назад +3

      You could argue about rigor but i think it also works if you define u(x)=1/f(x) and v(x)=1/g(x) in a neighborhood of a (the zero) so when f(x) and g(x) go to zero then u(x) and v(x) go to infinity. At that point you may use hopital on u and v or f and g, depending on what you need.

  • @paulg444
    @paulg444 3 года назад

    The guy brings his A game every time !!!

  • @MrRyanroberson1
    @MrRyanroberson1 5 лет назад

    3:55 I had to do a double take as "wait if g can never equal zero then how is g(x) going to zero" before realizing you meant the function of g couldn't be zero, g(x) not zero, but g can still be zero

  • @kizki2351
    @kizki2351 2 года назад

    Hey do you have a video explaining the logic at the start , about epsilon and delta ? It would be great

    • @drpeyam
      @drpeyam  2 года назад

      Yes google epsilon delta dr peyam

  • @dgrandlapinblanc
    @dgrandlapinblanc 5 лет назад

    Hello. Thanks. Always excellent.

  • @257_7
    @257_7 Год назад

    Nice Video

  • @cedricp.4941
    @cedricp.4941 5 лет назад +2

    Greetings from Belgium! A video suggestion : proof of Mertens theorem, i.e. the (Cauchy) product of a convergent series and an absolutely convergent series is a convergent series 😊

  • @michielhorikx9863
    @michielhorikx9863 5 лет назад

    Great video!

  • @nicolasrozenberg5209
    @nicolasrozenberg5209 4 года назад

    I wonder how people come up with such proofs. Even considering the fact that no technology was used back then

  • @ZonkoKongo
    @ZonkoKongo 5 лет назад +4

    Isn't it L'Hospital?

    • @drpeyam
      @drpeyam  5 лет назад +10

      Hôpital is the correct way to write it, unless you’re speaking 1800s French

    • @ZonkoKongo
      @ZonkoKongo 5 лет назад

      @@drpeyam Okay, thank you. Have seen many people spelling it with an s.

    • @michielhorikx9863
      @michielhorikx9863 5 лет назад

      @@ZonkoKongo that's what the ^ is for.

    • @passionateaboutmath1690
      @passionateaboutmath1690 5 лет назад +2

      @@drpeyam why should we use the "modern" version of his name?
      The marquis signed his writings with Hospital not Hopital. Over the years the s in some words has been supplanted by accents in the next vowel in this case ô. this change of names, however, occurred after the death of the Marquis, so his name should remain unchanged.
      Hospital is more correct. Among other things, the theorem was thought by bernoulli.

    • @aneeshsrinivas9088
      @aneeshsrinivas9088 2 года назад

      it is an alternate spelling, but then again this rule is so sick it makes sense

  • @sansamman4619
    @sansamman4619 3 года назад

    This video was sponsored by Bernoulli

  • @shiina_mahiru_9067
    @shiina_mahiru_9067 5 лет назад

    Now I would like you to do the same proof again, but this time, WITHOUT any note and Internet, with only papers and pens wwwww

  • @expl0s10n
    @expl0s10n Год назад

    4:05 I think we only need g’=/=0 in the proof

  • @rajvardhansinghsisodiya1095
    @rajvardhansinghsisodiya1095 9 месяцев назад

    which analysis book you said . Can anyone write it

  • @firemaniac100
    @firemaniac100 5 лет назад

    I think you forgot an absolute value at 20:55 when stating the reverse triangle inequality! However it does not have impact on the proof!

    • @sundayscrafter1779
      @sundayscrafter1779 5 лет назад +1

      Since |a-b| = |b-a|, you can write the inequality that way without it being weaker.

  • @user-br8so5qd8j
    @user-br8so5qd8j 5 лет назад

    If f(x) and g(x) are differentiable and f(a)=g(a)=0, then lim(x->a)f'(x)/g'(x)=lim(x->a)[f(x)-f(a)]/[g(x)-g(a)]=lim(x->a)f(x)/g(x) .

  • @manthansunilhalarnkar
    @manthansunilhalarnkar 5 лет назад

    One question, what are epsilon and delta?

    • @jacoboribilik3253
      @jacoboribilik3253 5 лет назад

      they are arbitrary real numbers you choose so that you can prove the limit exists. If the difference |L-F(x)| < epsilon when |x-a|< delta that means you can approach L as much as you wish provided you approach a. No matter how small epsilon is, 0.000000001 or 0.00000000000000000000000000000000000000000000000000000000001, you'll always be able to get closer and closer to L. Brillian idea isn't it?

  • @gordonchan4801
    @gordonchan4801 5 лет назад +3

    aka proofing the gangs are right

  • @erkanbey4504
    @erkanbey4504 2 года назад

    Love ya man ♡

  • @devincustodio2258
    @devincustodio2258 5 лет назад +2

    Want to find 420

  • @soheilshirmohamadi3449
    @soheilshirmohamadi3449 5 лет назад

    Nice job

  • @jrm6114
    @jrm6114 2 года назад

    lmao when he uses wtf for want to find

  • @jeffreyorihuela5909
    @jeffreyorihuela5909 5 лет назад

    do you follow a script ?

  • @andreamarin7744
    @andreamarin7744 4 года назад

    If you divide f(x) by x, you have f'(x), x is cancelled.

  • @holyshit922
    @holyshit922 2 года назад

    Case 0/0 is quite easy or I am wrong
    Let f(a) = 0 and g(a) = 0 it should be true for continuous functions
    Let's write our limit as follows
    limit((f(x)-f(a))/(g(x)-g(a)),x=a)
    Let's divide numerator and denominator by x-a
    limit(((f(x) - f(a))/(x-a))/((g(x) - g(a))/(x-a)),x=a)
    Let's use limit arithmetics to get
    limit(((f(x) - f(a))/(x-a))/((g(x) - g(a))/(x-a)),x=a)=limit((f(x)-f(a))/(x-a),x=a)/limit((g(x)-g(a))/(x-a),x=a)
    and we have limit of the backward difference quotient
    Case infinity/infinity is more complicated for me

  • @klementhajrullaj1222
    @klementhajrullaj1222 Год назад

    Avevana pensato che forse parlavo con se stesso, ecco perche sono entrati nella classe ed hanno trovato quella scusa! 😀😉

  • @harryiscool9619
    @harryiscool9619 5 лет назад +2

    this is the second comment. Hello, Dr. Peyam !

    • @drpeyam
      @drpeyam  5 лет назад +4

      Hi 😄

    • @harryiscool9619
      @harryiscool9619 5 лет назад

      @@drpeyam Grant Anderson from 3blue1brown, in his essence of calculus video on limits, made a really good intuitive proof on this which explains why this is true

    • @harryiscool9619
      @harryiscool9619 5 лет назад

      @3blue1brown

  • @wit1729
    @wit1729 8 месяцев назад

  • @MrRyanroberson1
    @MrRyanroberson1 5 лет назад

    Also I don't think I've ever noticed you're left handed! Unless you're ambidextrous

  • @sedeanimugamez5418
    @sedeanimugamez5418 5 лет назад +1

    Lmao I loved 6:08

  • @BartBuzz
    @BartBuzz 7 месяцев назад

    I know your proof is mathematically rigorous. But there is a much simpler proof at ruclips.net/video/AiQUe8M8dj8/видео.html

  • @RajeevKumarAnalysis
    @RajeevKumarAnalysis 4 года назад

    are you INDAIN...

  • @Mathin3D
    @Mathin3D 5 лет назад

    Dude sounds effeminate.