finally 0^0 approaches 0 after 6 years!

Рет қаралды 462,462

9 ай бұрын

I finally came up with an example of a limit with the indeterminate form 0^0 and it approaches 0. Here's the video from 2017 "Can 0^0 approach 0?" • Can 0^0 approach 0?
Check out 0^0 approaches e: • a 0^0 limit that appro...
🛍 Shop my math t-shirt & hoodies: amzn.to/3qBeuw6
----------------------------------------
💪 Support the channel and get featured in the video description by becoming a patron: / blackpenredpen
AP-IP Ben Delo Marcelo Silva Ehud Ezra 3blue1brown Joseph DeStefano
Mark Mann Philippe Zivan Sussholz AlkanKondo89 Adam Quentin Colley
Gary Tugan Stephen Stofka Alex Dodge Gary Huntress Alison Hansel
Delton Ding Klemens Christopher Ursich buda Vincent Poirier Toma Kolev
Tibees Bob Maxell A.B.C Cristian Navarro Jan Bormans Galios Theorist
Robert Sundling Stuart Wurtman Nick S William O'Corrigan Ron Jensen
Patapom Daniel Kahn Lea Denise James Steven Ridgway Jason Bucata
Mirko Schultz xeioex Jean-Manuel Izaret Jason Clement robert huff
Julian Moik Hiu Fung Lam Ronald Bryant Jan Řehák Robert Toltowicz
Angel Marchev, Jr. Antonio Luiz Brandao SquadriWilliam Laderer Natasha Caron Yevonnael Andrew Angel Marchev Sam Padilla ScienceBro Ryan Bingham
Papa Fassi Hoang Nguyen Arun Iyengar Michael Miller Sandun Panthangi
Skorj Olafsen Riley Faison Rolf Waefler Andrew Jack Ingham P Dwag Jason Kevin Davis Franco Tejero Klasseh Khornate Richard Payne Witek Mozga Brandon Smith Jan Lukas Kiermeyer Ralph Sato Kischel Nair Carsten Milkau Keith Kevelson Christoph Hipp Witness Forest Roberts Abd-alijaleel Laraki Anthony Bruent-Bessette Samuel Gronwold Tyler Bennett christopher careta Troy R Katy Lap C Niltiac, Stealer of Souls Jon Daivd R meh Tom Noa Overloop Jude Khine R3factor. Jasmine Soni L wan na Marcelo Silva Samuel N Anthony Rogers Mark Madsen Robert Da Costa Nathan Kean Timothy Raymond Gregory Henzie Lauren Danielle Nadia Rahman Evangline McDonald Yuval Blatt Zahra Parhoun Hassan Alashoor Kaakaopuupod bbaa Joash Hall Andr3w11235 Cadentato Joe Wisniewski Eric Maximilian Mecke Jorge Casanova Alexis Villalobos Jm Law Siang Qi Tancredi Casoli Steven Sea Shanties Nick K Daniel Akheterov Roy Logan
----------------------------------------
Thank you all!
#calculus #math #mathforfun #blackpenredpen

Пікірлер: 1 200

@AndDiracisHisProphet 9 ай бұрын

man, BPRP always delivers. Awesome video, very clever idea and reasoning.

@blackpenredpen 9 ай бұрын

Here’s the man!!!! Btw I always remembered that comment and I was like wow finally!!!’

@AndDiracisHisProphet 9 ай бұрын

@@blackpenredpen I am flattered

@opensocietyenjoyer 9 ай бұрын

it should take you a minute to find a much simpler example: f(x) = e^x → 0 g(x) = x^(-1/2) → 0 f(x)^g(x) → 0

@aashsyed1277 9 ай бұрын

i think yoou mean e^-x because e to the x goes to infinity and when x goes to 0 g(x) goes to infinity@@opensocietyenjoyer

@hipposhark 9 ай бұрын

😯😯😯😯

@yoav613 9 ай бұрын

This limit should appear in wikipedia as "blackpenredpen's limit".

@ioangauss 9 ай бұрын

Oh yeeeeeh

@tintiniitk 9 ай бұрын

he also used blue pen you know.

@farukben 9 ай бұрын

@@tintiniitk in the information table: Pens used are black pen, red pen and blue pen (?).

@vsyovklyucheno 9 ай бұрын

On it! (Na, I'm joking. Would be great if someone did it though!)

@kevm7815 9 ай бұрын

Agree

@_Loki__Odinson_ 9 ай бұрын

No joke I was suffocating for those few seconds when he went forward without that negative. Just shouting at my laptop to somehow make that negative sign appear out of somewhere. Guess it worked

@blackpenredpen 9 ай бұрын

lol thanks!!

@60.09 9 ай бұрын

I would bet he would have re recored whole thing lol

@sparxumlilo4003 Ай бұрын

Infinity is not a defined number. I think there are flaws in his assumptions.

@andrew6341 9 ай бұрын

not enough people talk about how well you manage multiple markers in one hand. The way you cleanly switch between colors is really cool to just watch because the math goes way above my head 😅

@blackpenredpen 9 ай бұрын

Thank you!!

@philos22 9 ай бұрын

He's like a live printer

@majinuub619 8 ай бұрын

When you get familiar to using chopsticks, that would be easy.

@tupacalypse88 8 ай бұрын

it's pretty impressive 👍

@narudavidkun 8 ай бұрын

He is very proficient in that skill

@fabriziosantin6063 9 ай бұрын

The negative sign, e to the infinity is zero, not caring about ln, the ending... so many great tension moments. A big thumb up!

@iliqiliev 9 ай бұрын

🤣

@opensocietyenjoyer 9 ай бұрын

it should take you a minute to find a much simpler example: f(x) = e^x → 0 g(x) = x^(-1/2) → 0 f(x)^g(x) → 0

@blackpenredpen 9 ай бұрын

Thank u!!!

@Ing_jm_arias-arias 9 ай бұрын

I almost died with the negative sign.

@sharpnova2 9 ай бұрын

same. and i had a pretty good idea of what the final form was going to look like and was kind of looking forward to him getting to the end and finding that 0^0 = infinity

@dacosta2104 9 ай бұрын

I was stressing a lot 😂😂😂😂

@blackpenredpen 9 ай бұрын

I am sorry…

@effectz_end 8 ай бұрын

I was in pain

@pighaver 5 ай бұрын

SAME I WAS SO CONFUSED

@charlescalvin7063 8 ай бұрын

So basically, 0^0 approaches 0 when the base approaches 0 much, much quicker than the exponent.

@enkiduthewildman 9 ай бұрын

I'm used to BPRP being clever, and very smooth with proofs. But this is the first time I've seen the man so _aggressively_ math. It's scary but in a comforting way.

@gheffz 9 ай бұрын

Well done on finding a legitimate form where it does approach zero. *_And it worked!!!_*

@opensocietyenjoyer 9 ай бұрын

it's very easy to find a much simpler example: f(x) = exp(-x) → 0 g(x) = x^(-1/2) → 0 f(x)^g(x) → 0

@aguyontheinternet8436 9 ай бұрын

@@opensocietyenjoyer as x goes to infinity of course

@msq7041 9 ай бұрын

lim does not commute with this mapping.

@ciarangale4738 7 ай бұрын

@@opensocietyenjoyer I dont think you understood the exercise at hand.

@opensocietyenjoyer 7 ай бұрын

@@ciarangale4738 i did.

@Jazz-lo2ir 9 ай бұрын

I love how you can share your findings not just in a random paper published to some journal, but on youtube! It's stuff like this that reminds me how much I love mathematics, and your channel... :D

@blackpenredpen 9 ай бұрын

Thank you!!

@Fire_Axus 4 ай бұрын

your feelings are irrational

@OrbitalPulsar 9 ай бұрын

Im sorry, I'm still not happy with this. Your name is "blackpenredpen", and you did not use a black pen and red pen. Please redo this.

@deadlineuniverse3189 9 ай бұрын

Counterpoint: pause 4:47 and look at the board.

@theendofthestart8179 9 ай бұрын

Did you watch the video? Maybe you should lol

@-.SkyArt.- 9 ай бұрын

You guys they mean PEN. he’s using expo markers 😂

@theendofthestart8179 9 ай бұрын

@@-.SkyArt.- expo markers are a type of pen, you just dont know your definitions

@theendofthestart8179 9 ай бұрын

@@-.SkyArt.- ball point isnt the only type of pen

@twrk139 9 ай бұрын

I'm so glad that after 6 years, 0^0 finally decided to overcome his shyness and approach 0. I hope they will live happily ever after.

@boltez6507 Ай бұрын

it was a limit anyways, so basically the whole crux of the limit was that a smaller number i.e. base(

@johnwbuxton 9 ай бұрын

I love that in your search for this solution, you were looking for "the biggest zero"

@blackpenredpen 9 ай бұрын

Thanks 😆

@Fire_Axus 4 ай бұрын

your feelings are irrational

@jaybingham3711 9 ай бұрын

1:10 Admit it. When he started getting emotional, you full-on did that reflexive, empathetic gasp of response at his emotion. I'm still trying to recover. Math is so beautiful. 😭

@elisgrahn6768 9 ай бұрын

Your smile while revealing key steps throughout the whole video made my day! 😄

@jeremiahtablet 9 ай бұрын

This will now serve as a great example not only of your example mathematically but of how a subject that can be mundane and boring or disinteresting, such as mathematics and limits and derivation, can become incredibly engaging when given the right individual presenting it. It also, specific to me, will serve as further proof that I'm a nerd, bc I just sat here thrilled watching you do limits and understood every step of it, not knowing about the significance of this concept nor the purpose in the example, but simply loving the mathematical process you went through. This is how I have fun.

@dfhwze 9 ай бұрын

14:40 that mic drop was epic

@fifiwoof1969 9 ай бұрын

SPIKED it like scoring a touchdown. DAMN!😮

@fifiwoof1969 9 ай бұрын

14:45 DAMN!!!!!! I'm SO in love with you right now BlackPenRedPen! DAMN!!!!!

@MathFromAlphaToOmega 9 ай бұрын

This reminds me of one mathematician in the 19th century who used the bizarre notation 0^0^x. He said that when x is positive, 0^x=0, so 0^0^x=0^0=1. When x=0, we get 0^1=0. When x is negative, 0^x is infinite, so 0^0^x=0 again. Therefore, 0^0^x is the function that is 1 when x is positive and 0 when x ≤ 0. EDIT: It's true that 0^0 and 0^(negative number) don't make sense mathematically. I'm just repeating Libri's argument here. For more about this, Donald Knuth has an interesting paper called "Two Notes on Notation" that mentions this story.

@gonzalomorislara8858 9 ай бұрын

Based!

@laurentmeesseman4286 9 ай бұрын

The proofs you gave are just red herrings for arbitrarily setting 0^0 = 1 and 0^inf = 0.

@yurenchu 9 ай бұрын

Ah! So in essence we have f(x) = 0^0^x as a mathematical notation for a _step function_ (which is a primitive of the Dirac delta function).

@MathFromAlphaToOmega 9 ай бұрын

@@laurentmeesseman4286 I'm not claiming those equations are valid - I'm just giving the original rationale for that notation.

@ILSCDF 9 ай бұрын

@@laurentmeesseman42860^0 equaling 1 isn't arbitrary

@levelmake7758 7 ай бұрын

I can’t believe it. I’ve watched the video twice and done the calculations along with the video both times, and the math checks out. I’m both pissed off, and extremely impressed well done. Well done indeed. Have a Merry Christmas, and a wonderful New Year.

@jakeklic 9 ай бұрын

This has literally helped me better understand limits fundamentally after 12 months doing calc courses combined. A really bad 12 months where i learned a lot about failure, but still! wow!! What a pretty solution

@realthunder6556 9 ай бұрын

This was a must watch. Thank you for reminding me 0^0 is not just almost one

@lolerie 9 ай бұрын

This limit form is almost always 1.

@angeldude101 9 ай бұрын

@@lolerie Keyword: "almost." There's a reason it's considered an indeterminate form.

@yurenchu 9 ай бұрын

@@angeldude101 0^0 is always 1 . But the _limit form_ 0^0 is an indeterminate form. Likewise, 1^infinity is always 1 ; but the _limit form_ 1^infinity is an indeterminate form.

@Felixr2 9 ай бұрын

@@yurenchu 0^0 and 1^ infinity make no sense mathematically unless you're talking about the limit forms. Or would you argue that 0/0 is also always 1?

@jenkathefridge3933 9 ай бұрын

@@Felixr2Shouldn't 0^0 be 0 since your basically multiplying 0 by itself?

@lorenzobarbano8022 9 ай бұрын

I waited 6 years for this! This is great!!

@opensocietyenjoyer 9 ай бұрын

it should take you a minute to find a much simpler example: f(x) = e^x → 0 g(x) = x^(-1/2) → 0 f(x)^g(x) → 0

@blackpenredpen 9 ай бұрын

Thank you!!

@rakeshpaul99 9 ай бұрын

So glad this video popped up in my feed!! Great video with explanations (watching your first video actually)!

@taokodr 7 ай бұрын

Your enthusiasm earned a subscriber. Please don't lose that love and fire for what you do! :)

@alexdefoc6919 9 ай бұрын

Finally, I can be watch a daily upload! Btw I wanna say that you are my hero. Because of you I have found my love for math and am commited to going into theoretical physics. Thank you. ❤

@KennethChile 9 ай бұрын

Saw it on desmos from 10^199 to 10^200, the ln(x) function is decreasing but still far from 0 (0.1631), and the square root function is near to 0. Wow! Thanks!

@woffe8094 9 ай бұрын

Man this was amazing to watch. Idk how u do it but u make math really fun

@alexoxo9008 9 ай бұрын

I love your enthusiasm man keep up the good work :)

@sebastianem2405 9 ай бұрын

This is shocking and fascinating, thank you!

@opensocietyenjoyer 9 ай бұрын

not as shocking if you consider this much simpler and more obvious example: f(x) = e^x → 0 g(x) = x^(-1/2) → 0 f(x)^g(x) → 0

@lolerie 9 ай бұрын

@@opensocietyenjoyerno, it is shocking this limit form (0^0) is almost always one.

@adayah2933 9 ай бұрын

@@lolerie Maybe it is shocking to you... When (an) is any sequence convergent to 0+, obviously the sequence (an)^(-1/ln(an)) tends to 1/e. It follows that - if (bn) is a sequence that goes to 0+ significantly faster than -1/(ln(an)), then (an)^(bn) goes to 1, - if it goes to 0+ significantly slower than -1/(ln(an)), then (an)^(bn) goes to 0. And obviously the limit can be made equal to anything, it's just a matter of how (bn) compares to (-1/ln(an)).

@veggiemush 9 ай бұрын

That marker switching is pretty slick

@mjolnir3309 7 ай бұрын

congratulations! i can see how emotional you were, especially at the end.

@user-bt1uk8bb9v 8 ай бұрын

I as a student and long time viewer of your videos am very proud. i followed you with many gmails and you really inspires me thank you

@Honeythief_ 9 ай бұрын

The ending was hilarious, i know that feeling 😂

@blackpenredpen 9 ай бұрын

😂

@lolerie 9 ай бұрын

Limit form 0^0 is almost always 1. 0^0 is nowadays 1. Very nice example.

@blackpenredpen 9 ай бұрын

Thanks.

@rafiihsanalfathin9479 7 ай бұрын

Wtf almost always 1? if you take ln both sides and assuming the 0 on the bottom is never negative then lnL=0.ln0=0.-inf=-0.inf, so every 0.inf limit that is not 0 is counter example because e^m /= 1 if m /= 0

@lolerie 7 ай бұрын

@@rafiihsanalfathin9479 that is a theorem. It is almost everywhere 1.

@Q151_K56 7 ай бұрын

@@rafiihsanalfathin9479⁠idk what you’re saying for a lot of the comment, but what the commenter is saying is that most limits that when plugged in give 0^0 are equivalent to 1. If you take a class that involves L’ Hopital’s rule then you will probably notice this. It doesn’t mean that 0^0 is always equal to one, just that it does for many limits

@rafiihsanalfathin9479 7 ай бұрын

@@Q151_K56 what im saying is that limit that have the form of 0.∞ but have the value other than 0 counter example of what the commenter said. For example lim x->∞ 1/x . -x = -1 (ik this is crappy example but whatever), we can write -x into ln(e^-x) then we got lim x->∞ ln(e^-x)/x=-1 so lim x->∞ (e^-x)^(1/x)=1/e. In general any limit that have the form 0.∞ with the value other than 0 is a counter

@reeven1721 8 ай бұрын

I don't follow your channel, and I don't even have to do much math in my everyday job or life. But this legit made me miss calculus for the first time in 15 years. How it felt so much like the art of being clever. This is a beautiful proof.

@tobybartels8426 9 ай бұрын

The usual way to make 0⁰ approach any positive number C (at least the way I usually do it) is to take the limit of (e^(−1/|x|))^(−ln(C)×|x|) as x→0. Maybe this is not a good example in that the expression immediately simplifies to C, so there's no real work in taking the limit, although at least neither the base nor the exponent is constant this way. But of course it doesn't work for C=0.

@hadar2win609 9 ай бұрын

i was so angry about the minus sign i almost screamed at you

@fifiwoof1969 9 ай бұрын

You must have because I heard you like you were right outside my window! DAMN!!!!! ❤

@ABCD-hz5sq 9 ай бұрын

How can you take the natural log of that limit if it equals to 0? Isn't ln(0) undefined? Isnt that a contradiction in your proof? Or am i missing something here?

@imaginaryangle 9 ай бұрын

That ending with the Mic (pen) drop 😆 Congratulations! I was all giddy when I saw the video title, I knew it was going to be a treat 🤩

@opensocietyenjoyer 9 ай бұрын

it should take you a minute to find a much simpler example: f(x) = e^x → 0 g(x) = x^(-1/2) → 0 f(x)^g(x) → 0

@gibbogle 9 ай бұрын

Brilliant! Well done! Using the counter-intuitive lim X -> infinity was the crucial discovery.

@Lodekac 9 ай бұрын

In my country, instead of writing the limit as 𝑥 → 0⁺, we write the limit as 𝑥 ↓ 0 and instead of writing the limit as 𝑥 → 0⁻ , we write the limit as 𝑥 ↑ 0. :)

@_cyantist 9 ай бұрын

that makes way more intuitive sense!

@bhartisahay3750 9 ай бұрын

I'm gonna use this from now!

@nevemlaci2486 9 ай бұрын

we write x->0+0 and x->0-0

@ightimmaheadout290 9 ай бұрын

What country

@Pineapples05 9 ай бұрын

@@ightimmaheadout290netherlands

@ChadTanker 9 ай бұрын

I love how you can tell that he is very proud of this :D

@Aerobrake 7 ай бұрын

This is mindblowing, no MINDBREAKING even! Incredible work man!

@ionuttiplea4666 9 ай бұрын

Awesome. Cool explanation as well :) keep up the good stuff

@Allicrocogator 9 ай бұрын

I saw the thumbnail and I was filled with rage and confusion. But once I saw your function, I realized I was about to be wrong. The big 'oh shit' moment for me was at 11:52. I actually gasped. Very nice function!

@bobth6095 9 ай бұрын

If you read the wikipedia article for 0^0, it gives a bunch of examples for limits of the indeterminate form 0^0, but they all approach different values. For example, lim x to 0+ of (e^(-1/x^2))^x approaches 0, but lim x to 0+ of (e^(-1/x^2))^-x approaches -infinity. The limit lim x to 0+ of (e^(-1/x))^(ax) seems to always approach e^-a, which is not a constant value like 0. So you can't actually find a limit that gives the "correct" value as it approaches 0^0.

@Hiltok 9 ай бұрын

This is another example of the definitional difference between something that approaches zero in the limit and zero itself. Various sums that approach zero in the limit will give various values of the limit of "0^0" while strictly 0^0 remains undefined, so there is no "correct" value to it. On the flip side (taking the inverse) of this is the fact that infinity exists outside the real numbers, so various sums approach infinity in the limit but they do not strictly equal infinity.

@MH-sf6jz 9 ай бұрын

I ways trying stuff out and I got the same result as you do. I wanted to find functions 0

@alansmithee419 9 ай бұрын

Yes, that's why it's called an indeterminate form. The same is true of others like 1^inf, 0^inf, 0/0, inf/inf etc. The answers depend on the limit functions you take to get there. This is what defines an indeterminate form. The purpose of this video is not to show that 0^0 equals anything, but rather that it *can* equal 0 if you set the limiting equations up correctly. I do feel like that should've been made clearer in the video. Edit: as pointed out below I made a mistake in saying that 0^inf is an indeterminate form

@AlbertTheGamer-gk7sn 9 ай бұрын

@@alansmithee419 0 to the power of infinity is not indeterminate. However, infinity to the power of 0 is. Also, indeterminate forms yield Aleph-Null as the answer, as we don't know the cardinalities, and also, the answer can be any number in an interval. Indeterminate forms are created because of you are trying to undo an "annihilation" function. An annihilation function yields only one output for all of its inputs, so if an inverse exists, it will have one input but have infinity outputs. However, on any occasion, only one answer can be correct, but because we don't know the cardinalities, all numbers within the interval is vacuously true, as a vacuous truth is defined as if a prerequisite is required to determine the truth or falsity of something, and that prerequisite is not present, we are unsure if it is true, so we will consider it as a vacuously true statement. Therefore, we can consider 0 divided by 0 to be equal to Aleph-Null, with all elements in that set to be vacuously truly equal.

@bobth6095 9 ай бұрын

@@alansmithee419 Yes, I was also clarifying that. I think the video was a little misleading, the point is that this a cool limit to solve

@HasanaliHeidari 6 ай бұрын

I looooooove the way that you were explaining. That was so cool. With that negative, I was just dying 😅. And I totally understood your feelings when you finished it.

@rays3761 7 ай бұрын

Feels like a blast from the past, years since calculus but this is amazing! Good work!

@serae4060 9 ай бұрын

Limx->inf (sqrt(2x+1)-sqrt(x))=Limx->inf((2x+1-x)/(sqrt(2x+1)+sqrt(x))=Limx->inf((x+1)/(sqrt(2x+1)+sqrt(x))=inf because a linear function grows faster than a sqrt function

@shashe42 7 ай бұрын

May I suggest purchasing refillable dry erase markers? Perhaps, if I may be so bold, one black and one red? They write much nicer and more consistently. They are cheaper in the long run for someone who uses whiteboards often. They are better for the environment. The nibs are replaceable as well. I got some that are made by Pilot. They're amazing. Edit: I see you used a blue one in there, so go for it! You earned it with this proof.

@pkvidmanback 8 ай бұрын

just watched the whole thing in awe.. very happy for you man! thumbs up from me :)

@martys9972 8 ай бұрын

Well done, especially with the stage walk-off at the end (mike drop!). On the one hand, 0^0 can be any non-negative number, so one can say that 0^0 is undefined. On the other hand, 0^0 can be defined to equal 1. This definition makes the most sense, since it removes the discontinuity in functions like x^0.

@PickleBryne 9 ай бұрын

By assigning L := lim(...), it acquires a fixed value (which you hypothesize to be 0). In that case, taking ln(L) is invalid, because ln is not defined at 0. On a separate note: have you tried visualizing x^y in 3D space? It might give a visual intuition at least. I'd be curious to see a multi-variable limit calculation of z = x^y, x->0, y->0.

@dmytrolyakhovolskyy964 9 ай бұрын

Exactly what I was going to write

@rajeevram4681 9 ай бұрын

This is only a problem in the sense that it highlights the difference between a limit approaching zero and being equal to zero. By setting L :=, he is not saying L is literally ' 'equal to' but that the value of L is assigned the value of the the approachment. Recall, that the definition of a limit doesn't assign a value to the limit. In this case, for all epsilon > 0, there exists a delta > 0 such that ... L < epsilon.

@lexyeevee 9 ай бұрын

@@rajeevram4681 what? of course limits have values; that's the whole point. otherwise integrals wouldn't have values. the expression on the inside can be said to approach the limit, but the entire point of the lim operator is to evaluate that limit

@blackpenredpen 9 ай бұрын

That 2017 video: Can 0^0 approach 0? kzfaq.info/get/bejne/fcmckpx8rsrUo6M.html

@joeboxter3635 9 ай бұрын

Why don't you use epsilon-delta proof to show this limit is 0. But this example is very nice. It's necessary, but not sufficient. Actually, I take that last sentence back - these are two different functions. And convergence is a property of the function. Even if their behavior seems the same at the point, it does not mean if one converged so will the other. You'd have to show that somehow there is an upper and lower bound error that converges to zero. Do this proof. Then if checks out, you might have a claim. But by the time you do that, why not go back to epsilon-delta proof.

@enderforces7013 9 ай бұрын

i have a doubt about the premise of the problem. If x->+inf everything works nice, but 0 as a number can both be reached with a positive limit and with a negative limit. If you plug in -inf in the limits, it doesn't work. I just didn't quite understand this.

@yurenchu 9 ай бұрын

@@enderforces7013 With these particular functions (f(x) = √(x+1) - √x , g(x) = 1/ln(ln(x)) ), we can't reach 0 from the negative side. For x

@enderforces7013 9 ай бұрын

@@yurenchu still, wouldn't it mean that the limit isn't defined in R?

@yurenchu 9 ай бұрын

@@enderforces7013 Which limit? The limit of [f(x)]^g(x) for these particular functions f(x) and g(x) as x goes to +infinity _is_ defined, namely it is 0 . Just as, for example, the limit of (1/2)^x exists for x --> +infinity , even though it doesn't exist for x --> -infinity. But you may have a point: can we find functions f(x) and g(x) such that the limit of [f(x)]^g(x) is 0 when f(x) and g(x) simultaneously approach 0 ; not only when f(x) and g(x) approach 0 from the positive side but also when f(x) and g(x) approach 0 from the negative side? blackpenredpen, your job is not yet done!

@benthomas9830 9 ай бұрын

great video, I had already started typing you forgot the negative!!! but then as I was about to post you noticed it lol

@ScienceCodeCreations 5 ай бұрын

This limit was fascinating! Great job BPRP!

@richyo1000 9 ай бұрын

Dude…I really like this, well explained and congratulations on figuring this out! ^_^

@blackpenredpen 9 ай бұрын

Thank you!!

@opensocietyenjoyer 9 ай бұрын

it should take you a minute to find a much simpler example: f(x) = e^-x → 0 g(x) = x^(-1/2) → 0 f(x)^g(x) → 0

@MuffinsAPlenty 9 ай бұрын

@@opensocietyenjoyer That doesn't work. In order for f(x) to approach 0, you need x approaching negative infinity. However, you can't have x approach negative infinity when talking about x^(-1/2).

@opensocietyenjoyer 9 ай бұрын

my bad, i forgot a minus sign: it should be e^-x @@MuffinsAPlenty

@klauzwayne4215 9 ай бұрын

Hey BPRP =) Considering how many people noticed the missing minus symbol, you are obviously doing a great job. Your presentation is well organised so it is easy to spot a mistake and your viewers are well enough educated to understand the error. Your are awesome and this fake proof looks very convincing :D I will have my students try to spot the false assumption ^^

@blackpenredpen 9 ай бұрын

Thank you for the nice words! However, I am not sure what you mean by "fake proof". This video isn't about "show 0^0 equals 0", it is about "a limit with the indeterminate form 0^0 being 0". You can also check out my other videos that 0^0->1 and 0^0->e. Cheers!! : )

@klauzwayne4215 9 ай бұрын

@@blackpenredpen The fact that a->0 and b->0 doesn't ensure a^b -> 0^0

@blackpenredpen 9 ай бұрын

Interesting and I did not know that. Do you have an example of this? Thanks.

@KingOf_B 8 ай бұрын

"this fake proof looks very convincing". Oh my. The math community has some bite.

@evenanything 7 ай бұрын

@@ZaikaNoSeidoikr

@Kedatgahbelu12 9 ай бұрын

I was about to complain he left out the (-1) from what he factored out, until I watched the video to the end. The lesson of today, be patient to the end before posting a comment. Over all, awesome video, awesome explanation, some what easy step to follow.😎👍🏽

@cosimobaldi03 9 ай бұрын

since the base function tends to zero like 1/2*sqrtx, you can substitute it, and the limit still works. sto you get (1/2*sqrt x ) ^ 1/ln ln x, which is mostly the same as (1/sqrt x) ^ 1/ln ln x = (1/x) ^ 1/ 2ln ln x, which is similar to (1/x) ^ 1/ln ln x, which still tends to zero as x-> +infinity. You can also write it as x ^ 1/ ln (-ln x), as x -> 0+. It's basically the same limit, just in a simplified form!

@FineDesignVideos 9 ай бұрын

You can even do simpler stuff like (e^-x)^(1/sqrt(x))

@0over0 9 ай бұрын

I prefer the argument for 0^0 being 1. Consider f(x) = x^x. f'(x) = x^x (lnx+1). Roughly: We examine lim(x→0+) of f(x). We can see that the sign of f' near 0 is < 0: Let D (delta) be positive. If D is small enough, ln(D) < -1, ie, ln(x) < -1. So ln(x)+1 < 0.Then it's also true that x^x (ln(x)+1) < 0. Since f' is negative for small enough D, f(x) is finite increasing as x approaches 0 from the right. And as it does, f(x) gets closer and closer to 1. So f(x) has a definite limit, which, I submit, is 1.

@budderman3rd 9 ай бұрын

This isn't an agrument its just a limit he found. Limits are never the actual answer to the exact number, so don't worry.

@nbvehbectw5640 8 ай бұрын

Why are you examining the function x^x, and not x^y? It's not like base and power should always be equal to each other. Sure, if the only case where you use powers satisfies this, then this argument works. But in most cases this restriction is too strong, so you need to look at function of 2 arguments f(x, y) = x^y.

@0over0 8 ай бұрын

You're right. Approaching 0 in 2 ways is better!@@nbvehbectw5640

@commieTerminator 7 ай бұрын

Your argument doesn't imply 0^0 *being* 1. It implies *approaching* 1 *if* the function x^x is used

@Aerobrake 7 ай бұрын

I would love to see a video on this argument!

@monkesoldier3002 9 ай бұрын

I have no clue who that guy is and my math isn't good enough to understand everything yet but just listening to him makes me like math even more

@emilegiesler9272 16 күн бұрын

Remarkable- g00d explanation of the types of Infinity and corresponding types of zero.

@RodrigoRodrigues-vw9ii 9 ай бұрын

I'm in the obligation of congratulating you for the massive amount of effort put on this video and solve one of if not the most confusing undeterminations in math. Amazing work and awesome video!!!🎉🎉🎉

@fabiod.674 9 ай бұрын

I not sure it is the resolution, but is a solution only for this function.

@RodrigoRodrigues-vw9ii 9 ай бұрын

@@fabiod.674 this function doesn't represent itself but a group of functions like a archetype of functions (you can add a infinite amount of constants in a couple of places and will be limited by 0 anyways) and what it proves is that 0^0 is in fact limited by 0 in some cases (this kind of cases).

@2hamsi 9 ай бұрын

What happens with the "-" sign at 9:30 ?

@2hamsi 9 ай бұрын

Oh i should watch the video first😂

@SkydivingSquid 9 ай бұрын

10:28 I am just curious... did you drop the negative? Shouldn't it be -xlnx ? Since you multiplied by -1 to cancel.. and the cancel would result in -1 in the right numerator.. ? EDIT - he fixed it. Thank god.

@abhishankpaul 9 ай бұрын

Having that negative sign return back gave me more relief than actually getting to see a 0⁰ form of limit

@yves888 7 ай бұрын

Love this guys passion

@AltisiaK 9 ай бұрын

As a long time viewer since before your channel became so popular, I love to how passionate you were working this out! I love exploring exponents of zero myself and was in the middle of writing up an idea for working with exponents equal to or less than zero. I stopped working on it after dropping out of a mathematical physics bachelors degree during the height of covid isolation and my poor mental health. After seeing this video I have to ask, would you be interested in talking to me about it?

@dilara1028 9 ай бұрын

We can only seperate the limit if both limits exist. In this case since lim(lnx) goes to infinity as x goes to infinity, the limit does not exist. So the seperation does not work here. (Or am I missing something?)

@legendgames128 9 ай бұрын

Doesn't a limit not exist only when the limit can't converge? Like x->infinity for sin(x)?

@davidlawrence7937 9 ай бұрын

I picked up on that but it still approaches 0 seemingly, just need a slightly more rigorous proof.

@dilara1028 9 ай бұрын

@@legendgames128 as I know, if a limit does not converge then it is divergent. So still, the limit does not exist.

@beginneratstuff 9 ай бұрын

Yep, this is what I was thinking.

@kentgauen 9 ай бұрын

I was searching for this comment lol all the while thinking “am i missing something”

@killrade4434 9 ай бұрын

I was about to call you out but you seen your mistake and corrected. Good job dude. Keep it up.

@blackpenredpen 9 ай бұрын

Thank you!!

@momentouscrazynoob1709 9 ай бұрын

Insane! Amazing example! Man, now I can't see 0⁰ in the same light again! 👏 👏 👏 👏 👏 👏

@yarninkenobi6002 9 ай бұрын

Hi, I have a mathematical question. I'd be happy if someone will help me with it. If you use Euler's identity, you can see that e^(iπ) = -1. Now, square both sides to get e^(2iπ) = 1. Now take the natural log on both sides, and 2iπ = 0. And now, divide by 2i to get π = 0. How is this working?

@heroponriki518 9 ай бұрын

im not even taking calculus yet but my guess is that ln only takes the principal value of it because with imaginary numbers exp function is cos + isin its like how 0 is not the same as 2pi just because they have the same cos value

@elquesohombre9931 9 ай бұрын

ln(e^2ipi) is not the same ln as ln(1) (I THINK. IM NOT AN EXPERT TAKE THIS WITH A GRAIN OF SALT). ln can be treated as the inverse of e^x when dealing with complex and imaginary values and not a simple log function, so you are not performing the same operation to both sides of the equation I don’t think. Again, this is almost certainly inaccurate somewhere considering I’m not a mathematician.

@H1tM4rK3r3D 9 ай бұрын

Credit to Akiva Weinberger "On the complex numbers, the logarithm isn't a function; rather, it's a multifunction (returns multiple values for one argument). This is how e^(2πi)=e^(0) doesn't imply 2πi=0 after taking logs; ln(1) is all integer multiples of 2πi"

@user-yy7bq1zx8r 9 ай бұрын

In complex world we dont use just ln, we use Ln (starting from the capital letter). They’re quite similar, but Ln produces infinite amount of outputs for one input Actually, there are more functions in complex analysis which are analogous to normal ones and they are distinguished by that capital letter

@Hiltok 9 ай бұрын

Remember that Euler's formula tells us that e^(iθ) = cosθ+i.sinθ. So, when we evaluate e^(i2π), we get cos(2π)+i.sin(2π), which gives us 1+0=1. But we also have e^(i2kπ) = cos(2kπ)+i.sin(2kπ) =1 for k ϵ Z. Because Cosine and SIne are cyclic with period of 2π, any "inverse" of them will not be a function. Recall that invertible functions must be 1-1 and onto. So, we can't really have a usual kind of inverse of exponentiation (logarithm) when using complex powers. The best you can do is recognize that seeking the inverse of a complex exponential will generate an infinite set of solutions of the form a+i.(b+2kπ) for k ϵ Z and a,b ϵ R. As noted by @user-yy7bq1zx8r, this Complex Logarithm is notated using a capital L (Ln or Log). Have a look at the Wikipedia article on Complex Logarithm to start digging deeper. en.wikipedia.org/wiki/Complex_logarithm

@JadenWong 9 ай бұрын

Absolute genius. Now show 0^0 can approach i

@abhirupkundu2778 9 ай бұрын

Shame on u for copying other's things instead of thinking it urself

@BlockCheddar 7 ай бұрын

I get the emotional feelings behind this video because learning about some cool math thing that you thought wasn't possible or was really difficult is an emotional experience

@frostin8615 9 ай бұрын

What an amazing work, I’m in awe

@frimi8593 9 ай бұрын

I’m confused about a certain step, when you take the natural log of both sides of the equation lim … = L, aren’t you presupposing that L is a number?

@lexyeevee 9 ай бұрын

it's a minor abuse of notation, but you can do all the same work as e^(ln ...) inside the limit and it comes out exactly the same

@gilalon 9 ай бұрын

A much simpler example is 1/(x^x) to the power of 1/x. (x goes to infinity as in the video).

@GoddamnAxl 9 ай бұрын

Seems legit😂, how did he not see this or are we hallucinating

@firesickle 9 ай бұрын

This is literally my favorite video on youtube now.

@zepplinkiwigamer8217 9 ай бұрын

This channel is one of those things I do not understand at all, but in a few years will watch again and say, "pretty easy"

@fmakofmako 9 ай бұрын

Lim of sqrt(2x+1)-sqrt(x) is infinity as x goes to infinity

@blackpenredpen 9 ай бұрын

👍

@o_s-24 9 ай бұрын

Yup. Because you'll basically have x/sqrtx

@expchrist 9 ай бұрын

Amaze!

@blackpenredpen 9 ай бұрын

Thank you!

@worldnotworld Ай бұрын

It's a big day! Very well done!

@Bjowolf2 9 ай бұрын

So will this limit not depend on your choices of functions in L - i.e. depend on how quickly each product part goes towards zero as x goes to infinity -? If you try with smaller and smaller values for x, you will get closer and closer to 1 ( from below ), which seems to contradict your result.

@donwald3436 9 ай бұрын

What is Chain Rule do you mean chen lu?

@fifiwoof1969 9 ай бұрын

It's not a mic drop moment - he SPIKED it like he scored a touchdown! (Exits stage left!)😮😮😮😮😮 Stand proud and flex your testicles sir - BRAVO! 👏👏👏👏👏

@nightytime 9 ай бұрын

what

@modolief 9 ай бұрын

Such an awesome video I love this!!!

@Drakonus_ 9 ай бұрын

Though I have studied Calculus for 1 semester in the past, this video still left me scratching my head in confusion as to why it works.

@ffggddss 9 ай бұрын

So the problem you faced for so long, and have at last solved, was to find f and g such that the limits as x-> 0⁺ of f(x) and g(x) are both 0, while that of f(x)^g(x) is also 0. Congratulations! It seems like there should be a simpler solution, but perhaps there isn't. Fred

@blackpenredpen 9 ай бұрын

Thank you, Fred. Definitely a satisfying feeling!

@ffggddss 9 ай бұрын

@@blackpenredpen Yes, and rightfully so. Meanwhile, I'm trying my hand at other solutions. BTW, I misstated the problem in my comment. Should have said "... limits as x->∞ ..." I think they are essentially equivalent, though, by simply replacing the argument of f and g (i.e., x) with its reciprocal, 1/x.

@thenarwhalmage 8 ай бұрын

Even with all the effort you took to get that thing to approach 0 it is worth noting that it is an incredible slow function. It actually has a positive slope until it hits around 50, and after that it just goes down glacially slow. The y value is still at 0.005 when x is at 10^15. That is insane for a function that approaches 0, especially when you consider that that hump only peaks at around 0.143.

@frozenpeak1524 9 ай бұрын

hey there, i doubt you will see this but i had an idea that seemed dumb but ill ask anyway. would -1^infinity = positive 1 or negative 1? if its neither then what is it?

@HxTurtle 9 ай бұрын

this must be the greatest, most impactful video ever uploaded to KZfaq 😲 when else did we get to see an important proof for the first time on here? this video going to write history, I'm dead sure about this.

@karl131058 9 ай бұрын

In set theory, 0^0 = 1, and no analytic limit can change that! 😇

@budderman3rd 9 ай бұрын

Doesn't matter for any limit when limits only approaches instead of actual there or adding to.

@first_m3m3 9 ай бұрын

In signals processing, we use 0^0 =1 as well. Otherwise, some important assumptions brake... or that is what I remember, hahaha

@HatakeKakashi_07 9 ай бұрын

Sir i am very weak in maths how i improving in math and start calculas pls sir say something

@proximitygaming8253 9 ай бұрын

get better.

@gobbleguk 9 ай бұрын

get gud

@ShinyMudkipsArmy 9 ай бұрын

imo calculus is just formulas; make sure you are good with algebra and a little bit of trig (understanding trig identities and understanding unit circle)

@blackpenredpen 9 ай бұрын

Watch my videos. 😃

@That_One_Guy... 9 ай бұрын

Study math

@pratyushgora 9 ай бұрын

From now on, this is my favorite limit

@astrovicis 7 ай бұрын

Genius. Well done.

@davidbrisbane7206 9 ай бұрын

The confusing here is that we aren't actually evaluating 0⁰. We are evaluating the limit, L, of the function f(x)^[g(x)], where f(x) and g(x) approach 0, as x approaches 0. We aren't saying 0⁰ approaches one particular value and based on the choice of f(x) and g(x) the limit L appear to be able to take any value we want it to.

@canyoupoop 9 ай бұрын

Yes that's what inderminate form means kinda

@GCarrot91 9 ай бұрын

It's not confusing at all lol. He literally has "limit" on the title and the whiteboard the whole time...

@budderman3rd 9 ай бұрын

Exactly

@appsenence9244 9 ай бұрын

It feels like we missed something. When we use so many tricks it is easy to make a small mistake. My first guess would be that we played too much with infinity for this to work. But I'm not sure... Maybe we could start a discussion about this, or maybe you can make a video going in depth about what could be wrong with this derivation? Thanks for a cool video tho!

@michaelzumpano7318 9 ай бұрын

Yeah, take a look at 2:18. If you carry out the multiplication on the numerator, this is X+1-X = 1 identically. But not so if you look for the values of the polynomial. For example (1+1)^1/2-(1)^1/2 is not equal to 1. Neither is (1+1)^1/2+(1)^1/2. I think it’s important that the square root of a polynomial is not a polynomial. We could convert the sq roots to a polynomials to actual polynomials with a Taylor series but it might not be necessary. If you plot [(x+1)^1/2 - (x)^1/2] and [(x+1)^1/2 + (x)^1/2 you get two functions that cross, form a node. So you don’t get a single value. It is indeterminate. I think this is explained better with some basic concepts in algebraic geometry, but I would have to review it. But yes, I think this derivation of 0^0 might be more complicated.

@dex3865 9 ай бұрын

⁠@@michaelzumpano7318not sure if I understood your point correctly, but he's just using the special product formula: (a + b) * (a - b) = a^2 - b^2 Thus: (sqrt(x + 1) + sqrt(x)) * (sqrt(x+1) - sqrt(x)) = sqrt(x+1)^2 - sqrt(x)^2 = x + 1 - x = 1. It's not that complicated…

@light_asaii4858 9 ай бұрын

Doesnt work at 11:15 he's assuming that lim of infinity/infinity is 1

@appsenence9244 9 ай бұрын

@@light_asaii4858 I'm sure in some cases you can do that. In most cases actually. Actually, only if the fraction can be simplifed to 1, then you take the limit after, and because there is no 'x' left, the limit become what is left, which is 1 in this case.

@anywallsocket 9 ай бұрын

@@light_asaii4858No, he’s not assuming that. It’s the result of the limit. You can verify it yourself with wolfram.

@ctsirkass 9 ай бұрын

I was about to write a comment about the negative sign but I decided to see the result first because it might not be that important. He put it back in and my heart went back to its place.

@morgavileon8482 9 ай бұрын

14:32 "this right here, it's like the biggest zero.. But! If i have 1/ln of x, that was still not enough. So.. i put another one, and it worked!" Great idea, brilliant solution, deserved joy of Eureka, deserved like ❤

@blackpenredpen 9 ай бұрын

Thanks!