A cute limit with 0^0 form and the answer is 0

Поделиться
HTML-код
  • Опубликовано: 31 дек 2024

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

  • @blackpenredpen
    @blackpenredpen  3 месяца назад +28

    Finally, 0^0 approaches 0 (after 6 years): ruclips.net/video/X65LEl7GFOw/видео.html

    • @neutronenstern.
      @neutronenstern. 3 месяца назад

      Proof that 0^0=0/0=0 (if we want to define it in any way)
      lets assume 0^0=a (a is any number) and 0/0=b
      then 0^0=0^(1-1)=0^1/0^1=0/0.
      now
      0/0=b
      =>b=0/0=(0+0)/0=0/0+0/0=b+b
      =>b=0
      =>0/0=0^0=0.

    •  3 месяца назад

      @@neutronenstern. Of course it would be more natural to make the quotient of to equal magnitudes equal to 1.

    •  3 месяца назад

      @@neutronenstern. b+b=2b whatever b is.

  • @cdkw2
    @cdkw2 3 месяца назад +76

    this should be a yearly series, 1 episode every year!

  • @RoyalYoutube_PRO
    @RoyalYoutube_PRO 3 месяца назад +35

    So... Big 0 means it reaches 0 the slowest

  • @Happy_Abe
    @Happy_Abe 3 месяца назад +15

    1/ln(-ln(x)) isn’t always defined. It only makes sense for 0

    • @yurenchu
      @yurenchu 3 месяца назад

      Substitute x = u² and it becomes a "double-sided" limit in u (although it's a bit of cheating; the 0s in the indeterminate form "0^0" never become double-sided).

    • @Happy_Abe
      @Happy_Abe 3 месяца назад

      @@yurenchu can use |x| at that point too.

    • @dlevi67
      @dlevi67 3 месяца назад

      @@Happy_Abe But is that continuous at x = 0? I think the u^2 form is, but I have doubts about the ¦x¦ form (haven't thought about it deeply - just 'skin reaction').

    • @yurenchu
      @yurenchu 3 месяца назад +1

      @@dlevi67 I just entered both variants into desmos. It appears that both can be "patched" to become continuous by defining f(0) = 0 , but neither is _differentiable_ at 0 .

    • @dlevi67
      @dlevi67 3 месяца назад

      @@yurenchu Thank you!

  • @LeoDevlin-q4f
    @LeoDevlin-q4f 3 месяца назад +126

    I think maths people and muggles have different thoughts on the word 'cute'

    • @ValidatingUsername
      @ValidatingUsername 3 месяца назад +1

      So cute proving nothing multiplied no times is nada.

    • @angeld23
      @angeld23 3 месяца назад +3

      @@ValidatingUsername I mean, other things raised to the power of zero are equal to one because no multiplications have taken place, and a product of no factors is just equal to the multiplicative identity (1) for the same reason that a sum of no terms is equal to the additive identity (0). Sure, you're doing repeated multiplication with zeroes, but by raising it to the power of zero, there aren't actually any zeroes being multiplied that can "get rid of" the implicit starting value of one.

    • @ValidatingUsername
      @ValidatingUsername 3 месяца назад

      @@angeld23 I’ve never heard of the additive identity but that’s hilarious.
      I know there are claims to have proofs for thinks like N^0 always equals 1 and I’ve memorized that and the reasons why but I don’t agree with it fundamentally, which also ties into my comment but also being meant as a kind of math humour.

    • @sobolzeev
      @sobolzeev 3 месяца назад +2

      ​@@ValidatingUsernameSo funny to see a person thinking that rising to power is multiple multiplication. Tell me, please, how you compute, say, 2^√2.

    • @sobolzeev
      @sobolzeev 3 месяца назад

      ​@@angeld23Will I surprise you by saying that some things raised to the power of zero can be equal to any positive number?

  • @eveeeon341
    @eveeeon341 3 месяца назад +15

    I can get on board with freestyle mathematics, I hope to see the Olympics adopt this pioneering new sport. 9:17

  • @Peter_1986
    @Peter_1986 3 месяца назад +12

    Maximum cuteness. 😍

  • @vincent.0705
    @vincent.0705 3 месяца назад +11

    Hey bprp! Remember the A level math exam you did a few months back? I wanted to ask you since you were not able to get to the last question of that exam, have you thought about doing that question on a separate video?

  • @narfwhals7843
    @narfwhals7843 3 месяца назад +8

    All this work to turn the limit back into e^lnx :3

  • @dimBulb5
    @dimBulb5 3 месяца назад +1

    Congratulations! This is a beauty!

  • @tambuwalmathsclass
    @tambuwalmathsclass 3 месяца назад +5

    The GOAT 🐐

  • @andreapaps
    @andreapaps 3 месяца назад +5

    This was definitely "cute" in a mathemagical way :D

  • @luigicappetta348
    @luigicappetta348 3 месяца назад +1

    That was a great and thought-out approach

  • @SyberMath
    @SyberMath 3 месяца назад +6

    Great video. 0⁰ = 1. Thanks 😁

  • @3rddegreeyt144
    @3rddegreeyt144 3 месяца назад +1

    Sar how can any periodic function can be expressed as a superposition of sine and cosine function of different time periods with suitable coefficients this line is written in a book in oscillation chapter and they are clubing this statement with Simple Harmonic Motion eqn

  • @陳彥廷-v2u
    @陳彥廷-v2u 3 месяца назад +4

    Actually this is just another e^(-inf)=0.
    Substitute y=ln(1/x), you get e^( -y/ln(y) ) -> 0 as y -> inf

    • @blackpenredpen
      @blackpenredpen  3 месяца назад +2

      True that. And like I said, my previous example was a bit more complicated. I like this one more! : )

    • @justintroyka8855
      @justintroyka8855 3 месяца назад

      Excellent. I was going to comment that, so I'm glad someone already did. It's an easier way to do the limit!

  • @TundeEszlari
    @TundeEszlari 3 месяца назад +2

    Sensational video.

  • @Cheesiestpuff
    @Cheesiestpuff Месяц назад

    you bring me hope

  • @rud.2007
    @rud.2007 3 месяца назад +2

    Damn I've always been wondering about this, but now I finally have an answer!

  • @StefanDempf-x4s
    @StefanDempf-x4s 2 месяца назад

    3:45 Is the inverse of the Ackermann function not technically the slowest?

  • @Regularsshorts
    @Regularsshorts 3 месяца назад +1

    Could you please compute the integral of [ a/(x^4 - a^2) ]dx

  • @Sh3ikhy
    @Sh3ikhy 3 месяца назад +2

    Can you create an equation that involves all of the trig functions?

  • @KelfranGt
    @KelfranGt 3 месяца назад

    that is indeed the cutest limit I have ever seen

  • @mdrdprtcl
    @mdrdprtcl 3 месяца назад

    This makes me so happy!

  • @Utesfan100
    @Utesfan100 3 месяца назад

    We can use the cube root of ln rather than nested logs to get a smaller 0 that still works.

  • @Fire_Axus
    @Fire_Axus 3 месяца назад

    It seems to be two sided in four complex directions. However, there could be directions where the limit is different from either side.

  • @scottleung9587
    @scottleung9587 3 месяца назад +1

    I'd like to see you and SyberMath debate what 0^0 is equal to. For the record, he still believes it's equal to 1 (if you're not taking the limit).

    • @dlevi67
      @dlevi67 3 месяца назад

      I don't think they would disagree. You can define 0^0 =1 in many contexts - just not all... and that's why in a general sense it's undefined.

  • @sobolzeev
    @sobolzeev 3 месяца назад

    I don't see the point. With the change of variables
    y = ln(ln(1/x)) → infinity
    or x = exp(- e^y), it is an example of the same very kind he started from: (exp(-e^y))^(1/y).
    One can simply take his original one
    (exp(-y^2))^(1/y),
    set x = (exp(-y^2), so
    y = √(ln(1/x)), and here you are:
    x^{1/√(ln(1/x))} →0 as x→0.
    I am glad if you see any fun here.

  • @riccardoalpini2840
    @riccardoalpini2840 3 месяца назад +2

    I think there's a problem when you apply De L'Hopital's rule, because the definition states that you can apply it if the limit of f(x) is equal to the limit of g(x) and is an indeterminate form, but in your case the limits do not approach the same value (different signs). There's also the problem that after applying De L'Hopital's rule the limit is not a Real value, contradicting the definition. Correct me if im wrong.

    • @justintroyka8855
      @justintroyka8855 3 месяца назад

      That's a very good observation. However, l'Hôpital's Rule doesn't require the top and bottom to be the same sign. It does also apply to the case where the top is going to infinity and the bottom is going to negative infinity (or vice-versa).

    • @narfwhals7843
      @narfwhals7843 3 месяца назад

      ​@justintroyka8855 does it also apply if one goes to 0 and the other to +- infinity?

    • @justintroyka8855
      @justintroyka8855 3 месяца назад +1

      @@narfwhals7843 No, because that's not an indeterminate form. A limit of the form 0/infty always goes to 0, and a limit of the form infty/0+ always goes to infty. L'Hôpital's Rule applies to limits of the form 0/0 or ±infty/±infty; those are indeterminate forms that can go to any value, so they require L'Hôpital's Rule or some other tool to find out what value they go to.

  • @Aivo382
    @Aivo382 3 месяца назад

    I thought it would be harder to solve, heh. Great one!

  • @stapler942
    @stapler942 3 месяца назад

    The key to having comparatively large zeroes is to draw the zero bigger!

  • @Hemimana
    @Hemimana 3 месяца назад

    I took a level further maths and maths so I can understand your videos

  • @xinpingdonohoe3978
    @xinpingdonohoe3978 3 месяца назад +2

    Now how about 0⁰→-1? Even if it's complex, there should be a simple one somewhere.

    • @yurenchu
      @yurenchu 3 месяца назад +3

      lim_{t --> ∞} [f(t)]^[g(t)]
      where
      f(t) = e^(-t)
      g(t) = iπ/(t+1)

  • @zhabiboss
    @zhabiboss 3 месяца назад +1

    I know you probably wouldn’t notice this but I got another problem I want you to solve!
    Prove that sqrt(1 + x^2) + sqrt(1 + x^2 + x * sqrt(3)) >= sqrt(3) geometrically.
    I got this problem in my geometry textbook in a paragraph about the law of cosine.
    Please help me solve it! 🙏 🙏

  • @ethohalfslab
    @ethohalfslab 3 месяца назад +2

    The graph of x^(1/ln(-ln(x))) is so weird, i don't understand it lol

  • @oneshot7456
    @oneshot7456 3 месяца назад

    Can you solve the indefinite integral of sqrt(1+sqrtx) pls?

  • @bartekabuz855
    @bartekabuz855 3 месяца назад

    If f,g are analytic near a with f(a)=g(a)=0 then the limit as z goes to a of f(z)^g(z) will always be 1

  • @nocturnalvisionmusic
    @nocturnalvisionmusic 3 месяца назад

    This is the cutest math ever 🥰😇

  • @sir_as6238
    @sir_as6238 Месяц назад

    1:00 isn't A^-infinity equal to 1? -Infinity is 1/infinity, thus zero, this would make A^0 which is equal to one. I don't know if I'm the one who got it wrong please someone confirm If I'm right or wrong

  • @bjorneriksson6480
    @bjorneriksson6480 3 месяца назад

    so, nothing not raised to the power of anything still equals nothing. Thanks for clearing that up!

  • @HassanElmessary
    @HassanElmessary 3 месяца назад +1

    Can you please
    Prove that the piecewise function
    f(x)=e^(-1/x^2 ) for x≠0
    0 for x=0
    Is differentiable at x=0
    Thanks in advance

    • @minecrafting_il
      @minecrafting_il 3 месяца назад

      By definition, f'(0) = e^(-1/x^2)/x, x->0, the limit clearly exists and is equal to 0, so the function is differentiable at 0 with derivative 0.

    • @yurenchu
      @yurenchu 3 месяца назад

      ​@@minecrafting_il Actually, the derivative of f(x) is
      f'(x) = 2 * (e^(-1/x²)) / x³
      But indeed,
      lim_{x-->0} e^(-1/x²) = 0
      and
      lim_{x--> 0} f'(x) =
      = lim_{x--> 0} 2*(e^(-1/x²))/(x³)
      ... substitute t = 1/x² ...
      = lim_{t--> +infinity} 2*(e^(-t))*(t√t)
      = lim_{t--> +infinity} (2t√t)/(e^t)
      ... using L'Hopital: [2t√t]' = 3√t , [e^t]' = e^t ...
      = lim_{t--> +infinity} (3√t)/(e^t)
      ... using again L'Hopital: [3√t]' = (3/2)/√t , [e^t]' = e^t ...
      = lim_{t--> +infinity} (3/2)/(√t * e^t)
      = (3/2)/(+infinity)
      = 0
      so f(x) is continuous and differentiable at x=0 , with f'(x) = 0 .

    • @minecrafting_il
      @minecrafting_il 3 месяца назад

      @@yurenchu you have taken the limit of the derivative, which is the same as the derivative IF IT EXISTS. You can have a derivative without a limit of the derivative at that point. I calculated the actual derivative.
      Try to take the derivative of x^2 cos(1/x^2) at 0

    • @HassanElmessary
      @HassanElmessary 3 месяца назад

      @@minecrafting_il I know but how did you show that this limit approaches zero

  • @tanhrs8711
    @tanhrs8711 3 месяца назад

    What about 0^x when x aproches 0 ?

  • @dotcomgamingd5564
    @dotcomgamingd5564 3 месяца назад +1

    What about x^(1/x)? That seems to approach zero pretty easily.

    • @yurenchu
      @yurenchu 3 месяца назад +2

      That doesn't have the form of 0^0 , but rather the form of 0^(infinity) .

    • @dotcomgamingd5564
      @dotcomgamingd5564 3 месяца назад +1

      @@yurenchu ahhh, makes sense. Thank you!

    • @yurenchu
      @yurenchu 3 месяца назад

      @@dotcomgamingd5564 You're welcome!

  • @amirhosseinrostamii
    @amirhosseinrostamii 3 месяца назад +1

    Perfect, I enjoyed😍😍😍😍😍👌🔥

  • @ashishraje5712
    @ashishraje5712 3 месяца назад

    Very nice

  • @yurenchu
    @yurenchu 3 месяца назад

    So now we also have 1^(+infinity) --> 0 , because
    lim_{x--> 0⁺} f(x)^g(x)
    where
    f(x) = e^[-1/ln(-ln(x))]
    g(x) = -ln(x)
    apparently equals 0 .
    EDIT: Corrected mistake, by adding a minus-sign.

  • @capnbug
    @capnbug 3 месяца назад +2

    Wow I just watched that other one

  • @shg4421-sb4vb
    @shg4421-sb4vb 3 месяца назад

    Why doesn't Wolfram Alpha show this result for exp(1/ln(-ln(x))) ?

  • @ongobong
    @ongobong 7 дней назад

    Now let's see Paul Allen's limit!

  • @tigerinthejungle_14
    @tigerinthejungle_14 3 месяца назад +1

    Yay Finally!!!!!!!

  • @nolan7800
    @nolan7800 3 месяца назад

    this was so cute

  • @extra...
    @extra... 3 месяца назад

    0^0 is 1
    Plug it in the exponential power series for evidence

    • @ngc-fo5te
      @ngc-fo5te 3 месяца назад

      That's not a proof. But defining it as 1 makes sense.

  • @bprpsecond
    @bprpsecond 3 месяца назад +2

    Is it good?

  • @Legendks-143b
    @Legendks-143b 3 месяца назад +1

    What if i take ln(-ln(ln(-ln(x))))

  • @somethingnewwithkaushiki6573
    @somethingnewwithkaushiki6573 3 месяца назад

    i plotted y=x^(x/0) on desmos and got a constant graph having y=0 but coudnt justify it... please explain what it is.. i also did it with e and got the same real graph

    • @MuffinsAPlenty
      @MuffinsAPlenty 3 месяца назад

      Strictly speaking, your function is undefined because it involves division by 0.
      However, Desmos is probably interpreting numbers divide by 0 as some kind of infinity.
      What I see when I plot this in Desmos is that the output is 0 everywhere on certain intervals. In particular, for x < -1 and for 0 < x < 1. I don't see any values for x > 1 or -1 < x < 0.
      If Desmos interprets a positive number divided by 0 to be positive infinity, then we can make sense of the right half of the graph. If x > 1, then we have a number greater than 1 raised to an "infinite" power, which blows up to infinity. So for all x > 1, we should get "infinity". Now, for 0 < x < 1, if you raise any of these numbers to the "infinity" power, you get 0, since numbers between 0 and 1 get smaller and smaller as you raise them to larger and larger powers.
      If Desmos interprets a negative number divided by 0 to be negative infinity, then we can make sense of the left half of the graph. Recall that a^(-b) = 1/(a^b). So essentially, we have x^(-"infinity") = 1/(x^"infinity"). If x < -1, then as you take higher and higher powers, the x^"infinity" will oscillate wildly but blast off to infinity and negative infinity. However, in either case, 1/("positive or negative infinity") is 0. On the other hand, for -1 < x < 0, we would get x^"infinity" should be 0 since larger and larger powers will make the overall number shrink. But 1/0 would blast off to infinity or negative infinity.
      So, again, technically your functions is undefined everywhere. But if we play fast and loose, and treat infinity and limits like numbers, we can make sense of the graph.

    • @somethingnewwithkaushiki6573
      @somethingnewwithkaushiki6573 3 месяца назад

      @@MuffinsAPlenty thank u

    • @somethingnewwithkaushiki6573
      @somethingnewwithkaushiki6573 3 месяца назад

      But 1 to the infinity is a 1 but the graph shows you 0 . Why???

    • @somethingnewwithkaushiki6573
      @somethingnewwithkaushiki6573 3 месяца назад

      Why dont u also try plotting the exact same graph on mathway plzz.. Its Different

  • @shivanshu6204
    @shivanshu6204 3 месяца назад

    So basically 0^0 can approach 0 if the exponent grows much much more slowly than the denominator. You could actually make the limit anything you want no? Just need to choose functions that diminish appropriately.

    • @MuffinsAPlenty
      @MuffinsAPlenty 3 месяца назад

      If you're using real-valued functions with a positive base function, yes, you could make the limit any nonnegative number you want (though negative numbers as limits are impossible unless you allow for complex numbers).
      If your exponent function is positive and approaches 0 significantly slower than the base function, then you could end up with 0 or any number between 0 and 1. If your exponent function is negative and approaches 0 significantly slower than the base function, then you could end up with any number greater than 1, or positive infinity. And if the exponent function approaches 0 at the same rate or faster than the base function, then you get 1 as the limit.

  • @romanbykov5922
    @romanbykov5922 3 месяца назад

    Interesting, though is much much more complicated than the first example.

  • @helmuntparra7926
    @helmuntparra7926 3 месяца назад +1

    No solo 0 elevado a la 0 es 1

  • @christoskettenis880
    @christoskettenis880 3 месяца назад

    Very nice

  • @adamrussell658
    @adamrussell658 3 месяца назад

    as x->0 x^x ->1 simple.

  • @MartialBoniou
    @MartialBoniou 3 месяца назад

    Cute!

  • @awoomywang
    @awoomywang 3 месяца назад

    So cute

  • @AndDiracisHisProphet
    @AndDiracisHisProphet 3 месяца назад

    that's cute

  • @EvaFuji
    @EvaFuji 3 месяца назад +1

    Freestyle video lmao

  • @Inverting_new_things
    @Inverting_new_things 3 месяца назад

    =0÷0
    =0^1 × 0^-1
    :a^m×a^n=a^m+n
    =O^1-1
    =0^0
    :0^0=0
    =0
    😅

  • @HeckYeahRyan
    @HeckYeahRyan 3 месяца назад

    oooh

  • @nobody8717
    @nobody8717 3 месяца назад

    uh, how hard is it to draw a vertical line at "0"?
    find out in this masterclass of mathematical engineering.

  •  3 месяца назад

    I mean prove not proof. Sorry for my lousy English and spell check.

  • @Qermaq
    @Qermaq 3 месяца назад

    I think you simply proved that 0^0 is indeterminate, and the limit will vary depending on how it's written. I mean, the limit as x goes to 0+ of x^0 is 1, and the limit as x goes to 0+ of 0^x = 0. You've shown us it could be e. In fact, you can make an expression and have the limit be any value you wish. I see wanting a defined value for this as a bit foolish, but math isn't supposed to be stodgy so if it's fun why not have fun?

    • @narfwhals7843
      @narfwhals7843 3 месяца назад

      He's not looking to define a value for 0^0. He's exactly showing different examples of getting the limit to be something different.

    • @yurenchu
      @yurenchu 3 месяца назад

      0^0 is not indeterminate. "Indeterminate" is a term that we apply to specific forms of _limits_ . So if a _limit_ takes the form of 0^0 , then we say this limit form is indeterminate; we must determine the correct value of the limit by a more elaborate means. Other indeterminate limit forms are 0/0 and 1^infinity .
      However, in most (if not all) contexts outside limits, the expression 0^0 has the value of 1, just as in most contexts (outside limits) the expression 1^infinity has the value of 1 . (In contexts outside limits, the expression 0/0 is _undefined_ .)

  • @christiannavarro3556
    @christiannavarro3556 3 месяца назад +1

    hello po

  • @Dionisi0
    @Dionisi0 3 месяца назад

    completely wrong, you cant treat reverse infitines as zeros, since those infinities are not the same, x^x is the only way

  • @kyliMC
    @kyliMC 3 месяца назад

    damn

  • @anonymouscheesepie3768
    @anonymouscheesepie3768 3 месяца назад

    lol

  • @neutronenstern.
    @neutronenstern. 3 месяца назад

    Proof that 0^0=0/0=0 (if we want to define it in any way)
    lets assume 0^0=a (a is any number) and 0/0=b
    then 0^0=0^(1-1)=0^1/0^1=0/0.
    now
    0/0=b
    =>b=0/0=(0+0)/0=0/0+0/0=b+b
    =>b=0
    =>0/0=0^0=0.

    • @CptFedora
      @CptFedora 3 месяца назад

      :/

    • @neutronenstern.
      @neutronenstern. 3 месяца назад +1

      @@CptFedora why the long face

    • @陳彥廷-v2u
      @陳彥廷-v2u 3 месяца назад +1

      Ok, let's accept that 0/0 = 0.
      If we insist that a/b + c/d = (ad + bc)/(bd) should still hold, then 1 = 1+0 = 1/1 + 0/0 = (1*0 +1*0)/(1*0) = 0/0 = 0. Boom, we get 1 = 0. How do you explain this?

    • @neutronenstern.
      @neutronenstern. 3 месяца назад +1

      @@陳彥廷-v2u well if we accept that( a+a)/a=2,then 0=1=2.
      yea saying 0/0=0 or 0/0=1 both gives problems.

    • @yurenchu
      @yurenchu 3 месяца назад +2

      Sorry, but that proof is wrong. Because x^(c-d) = (x^c)/(x^d) is not valid when x = 0 .
      Consequences of this invalid approach:
      x^(-3) = 1/(x^3)
      x^(-3) = x^(2-5) = (x^2)/(x^5)
      ==>
      1/(x^3) = (x^2)/(x^5)
      Suppose x = 0 . Then lefthandside becomes
      1/(x^3) = 1/(0^3) = 1/0 = ±infinity
      and righthandside becomes
      (x^2)/(x^5) = (0^2)/(0^5) = 0/0 = 0 (last step according to you reasoning)
      so that means that ±infinity = 0 ?

  • @peterkiedron8949
    @peterkiedron8949 3 месяца назад

    You have too much time apparently

  • @puneetbajaj786
    @puneetbajaj786 3 месяца назад

    When we talk about 0 to 0, we want both zeros to be equal. Otherwise we can define a number of constants for this.
    lim x -> inf (a^-x)^(1/x) ≈ 1/a
    Take any a and you get a series of numbers. So technically this approach of taking different zeros is wrong.

    • @yurenchu
      @yurenchu 3 месяца назад +1

      Actually, (a^-x)^(1/x) = 1/a for any positive real values of a and x , so it's not an "approaching" limit.