Featuring Tom Crawford.
Check out Brilliant (get 20% off their premium service): brilliant.org/numberphile (sponsor)
More links & stuff in full description below ↓↓↓
Extra footage from this interview: • Gabriels Horn (extra) ...
Tom Crawford's website, with links to his work and other outreach: tomrocksmaths.com
More Tom Crawford videos on Numberphile: bit.ly/Crawford_Videos
Infinity Paradoxes: • Infinity Paradoxes - N...
Vuvuzelas on Sixty Symbols (our physics channel): • How can you filter out...
Numberphile is supported by the Mathematical Sciences Research Institute (MSRI): bit.ly/MSRINumberphile
We are also supported by Science Sandbox, a Simons Foundation initiative dedicated to engaging everyone with the process of science. www.simonsfoundation.org/outr...
And support from Math For America - www.mathforamerica.org/
NUMBERPHILE
Website: www.numberphile.com/
Numberphile on Facebook: / numberphile
Numberphile tweets: / numberphile
Subscribe: bit.ly/Numberphile_Sub
Videos by Brady Haran
Patreon: / numberphile
Numberphile T-Shirts and Merch: teespring.com/stores/numberphile
Brady's videos subreddit: / bradyharan
Brady's latest videos across all channels: www.bradyharanblog.com/
Sign up for (occasional) emails: eepurl.com/YdjL9
:: Slaps horn :: "This baby can hold π paint"
😭😭😭😭
pi paint, otherwise known as gravy
nniice))))))))))))))
@Someone Who is but NONE what do u mean infinite? Pi certainly isn’t infinite
@@shivam5105 but it doesn't end, so the amount of paint would not end.
“It’s always nice when π appears out of nowhere” Starts pushing squares against each other on a frictionless surface.
What KIND of pie, though? Rhubarb or pumpkin? No thank you....
For any who don't know this reference, this is a reference to a 3Blue1Brown video where he calculated pi based on how many times blocks with different mass ratios (all multiples of 10) hit each other before the bigger block and smaller block diverged. It's an amazing video
@@rtpoe its prob a typo, he will change it
@@JGMeador444 but its squares not cubes
@@JGMeador444 not true, the Pi comes from taking logarithm of the mass ratio. CollisionCount = Log10 10^(I N Pi) = I N Pi, where I is imaginary.
Thank you for bringing our attention to this bug. Our team is working on it and we hope to have it patched in the next update.
LOL
Hahaha 😂
damn, devs really do be taking all the fun out of the game.
It’s amazing how intuitive his explanation of the volume of a solid of revolution is.
It's probably not the solid that you imagine ... it is not defined at the center. ←----------O-----------→ You can't rotate something around the very something that doesn't exist and expect it to represent the volume defined by the exterior surface area, because it is undefined at the axis. That undefined center has infinite volume. That is what he leaves out to produce the 'paradox' ... by using a slight of hands you are tricked into believing it. I don't know if it is by accident ... maybe he is tricking himself. But I suspect he is smart enough to know better.
@@ejrupp9555 I don't get you, can you be more specific ?
@@ejrupp9555 Disc integration is a completely legitimate method of computing the volume of a solid of revolution. The axis in the center doesn't matter; it doesn't contribute any amount of volume. If you want, you can use disc integration to calculate the volume of a finite solid, such as a cone, and you will get the correct result. You can even use disc integration to calculate the volume of a finite section of Gabriel's horn, which could theoretically be verified with a physical model, and as you take bigger and bigger sections, the volumes you get will asymptotically approach π.
@@ejrupp9555 you're speaking absolute nonsense
@@kameronpeterson3601 well you are speaking about being @infinity ... so ...
"Gabriel must have an incredibly small mouth if he's blowing in the small end". End?
Beginning? Says the Gabriel with his small mouth on the other side
This is guy doing mathematic, what a world are we living in?
well after all, considering how many angels can dance on the tip if a pin, it makes sense the mouthpiece must approach zero. something like that.
Yeah
What he means is that there is no end as it's an infinite object, so there is no part of to put in your mouth and blow.
Yo, making an approximation of this horn and filling it up then measuring the volume would be a great new addition to Matt's weird ways of calculating π
@@c0ldc0ne ... calculated every March 14th.
Yeah, use approximation techniques to see how long your horn would have to be to be accurate out to...say like 10 decimal places, and then make a prototype. Man, I want a 3D printed one of these now.
Doesn’t one have to use pi during the creation of the horn? I am a bit skeptical to the claim that pi comes out of nowhere
@@Nia-zq5jl If you 3D print it, each layer would be a circle, with radius 1/x, no pi here.
@@Nia-zq5jl Do you use pi when drawing circles using a compass?
I like how the paradox is making people assume you cannot paint an infinite surface. Yes, you can, just have to make the pain infinitely thin
... or have an infinite amount of paint.
Well, it’s more about how you would never be able to paint it in a finite amount of time
@@fun_nuggets2514 Sure, but you'd never be able to make that much paint in finite time either.
Exactly what I was thinking.
Exactly, they make a horrible mistake claiming that you can never paint the outside, or even inside because the surface area is infinite. If course you can, in fact it requires no paint at all (an infinitesimal fraction of PI)
Absolutely loved it where you skipped the pain and substituted for “bigger than 1” just to get to the proof. Something I didn’t really encounter in maths at school. Mind blown in lots of ways on this video
This was used in my Calc 2 class in things like the comparison test, where we can compare a very complicated series to something that is easy to compute to prove divergence or convergence. For example we know that 1/((n^2)+1) < 1/(n^2), and since we know an infinite series of 1/(n^2) converges, we then know the first converges as well. the same can also be applied to divergence
"It's always nice when π appears out of nowhere" *sad revolution noises*
I know what you mean but in this case I think it came from the volume of the section and after intigration pi was all that was left.
exactly what i though lol. "we plug pi in the beginning and get it at the end. out of nowhere, incredible!"
@@captainoates7236 His point is that is not "out of nowhere". Pi is defined by the geometry of a circle. When there is a circle, pi usually appears some way or another. In some cases we can all agree that it is hard to see where there is a circle in the problem, but in this case it was really obvious. It is a figure you get by rotation along an axis. Pi was bound to show up
You actually always get pi when doing a revolution 😃
@@Sigmav0 you just took that whole thing to a new level haha
"You can't argue with the maths." Well. I CAN argue with the maths. I'll lose. They kicked me out of the math club a long time ago and told me never to return.
I can argue too, I just can't win...
I got booted from debate club because my only argument was “well f@ck you too!” Lol
AN idiot will argue the math based on their own ignorance... perfect case in point... the fool that thinks one over infinity is equal to zero... mic drop.
@@slthbob I smiled ... seems we live in the same reality ... not many of us here.
Be thankful they didn't try to drown you
I think you could paint the outside by placing the horn into a horn made by revikving 2/x and filling the larger horn which itself has finite volume
as a chemist i was assuming the volume would be dependent on the size of a molecule of paint haha. great video i love your channel
I thought of that too, but then it occurred to me that the molecule size would affect the painting of the outside of the horn as well. An infinitely small horn would be smaller than a molucule. But then, what is the horn made of? Since you are the chemist you can say, what is bigger, a molecule of tin/copper or one of paint?
So if I make Lucifer's horn from a revolution of 2/X, put 3π of paint in it, put Gabriel's horn inside with π paint in it, I seemed to have accidentally painted Gabriel's horn inside and out. 😂
"Welcome to Sherwin-Williams. How much paint do you want?" "Pi."
There's your horn of Pi Paint Mr. Backes!
Careful though, it's infinitely long. But we do sell infinite limos in the infinity aisle, just outside this dimension. Have fun shopping!
You get Pi cubic-units of paint in a paint can that is 2 units wide and 1 unit high. Not standard paint can dimensions at Home Depot, but easy enough to imagine.
You don't need exactly pi units, just at least that much, so I'll just take 4 and have some left over.
@@QW3RTYUU just have the horn be set with the skinnier end touching the edge of an infinity pool. Easy peasy engineering solution.
That man has the disheveled nature and wild look in his eyes of someone who has looked into infinite and saw it staring back.
He looked into the void. The void ran away.
i thought he looked like dantdm
Or some spell-slinging anime wizard boy. He even has some sick pokeball ink.
He has the look of someone with gender disphoria.
It occurred to me that painting - in mathematical terms - involves a layer of paint that is infinitely thin. This would cancel out the infinitely large surface area if we were using even a very small amount of volume of paint. In other words, even the tiniest volume of paint can paint even the largest area - if the thickness of the paint is zero.
Indeed. In fact, this comparison of volume to surface area is nonsensical unless there is some defined thickness to the layer of paint. A mathematical "painting" of the surface with no thickness would literally require no paint at all in terms of volume (thickness times area).
@@googleyt2622 The whole thing with the paint is to visualise that the surface area is infinite
@@shadowcween7890 No, the surface area is infinite whether your imagine it painted or not. This "thought experiment" implies that painting that surface would require an infinite amount of paint. The "visualization" of the infinite surface is the horn of infinite length. None of these purely mathematical constructs can be related to a volume of paint (i.e., an amount of paint) except a measurement of volume. Even this is pure hypothetical in this situation since at some point the molecules of paint will no longer fit in the ever decreasing space between the walls of the horn. The horn is not real and could not be constructed physically and could never be filled with something that will not fit inside. The whole thing with the paint is to force your mental concepts of purely mathematical constructs to be confounded by notions regarding actual physical objects in the real world.
This makes this make sense to me. The word problem simply doesn't work in the real world.
@@googleyt2622 Yeah but if the wall of the horn is infinitely thin then the internal surface area of the horn would be equal to the exterior surface of the horn. If the horn is filled with paint then clearly, there is more than enough paint to coat the entire internal surface _and_ the external surface too. In fact, you would have enough paint to cover the external surface in a layer of paint that is almost half as deep as the radius of the horn at the points being painted. Right? I mean; okay, we can slice the horn to give us a way to calculate volume and surface area but we are missing the fact that each slice represents a disc of paint. And only the paint at the circumference of that disc is in contact with the internal surface of the horn. And of course, the amount of paint in contact with the internal surface of the horn is very small compared to the amount of paint contained in the rest of the disc. If you were to transfer all the paint _not_ in contact with the internal surface to the external surface, you would end up with a torus with almost twice the radius of the original disc, wouldn't you? And both the internal _and_ external surfaces would most definitely be coated with paint, right? The real question is: how many infinite horns could be coated with paint, inside and out, using paint from just one horn?
Surface area and volume is two different units, it's like comparing apples to oranges. To know if we have enough paint to cover the area we need to state the amount of paint as an area. Thus if the area of the horn is infinite m2 then we need to get the, for arguments sake, pi m3 volume to a surface area. How do we do this? Let's spread the paint out onto a surface, to get the volume to become a surface we need to devide by the thickness of the paint on the surface that we are covering. Since this is a purely mathematical construct and we are not dealing with phisics we can say that the thickness will tend towards 0. Thus lim x->0 (pi/x) and since the thickness will always be positive we can say that the area that the paint can cover tends towards infinity.
Yes that answers Brady's question
Yeah, the paradox runs on the assumption that the amount of surface a perfect mathematical paint can cover is dependant on it's volume, when it's not. I'm surprised the video didn't mention this...
"Conical Frustum" sounds like an uncomfortable urological condition.
proctological
never trust a frustum
thrustum
Not to mention his formula seems off, it should be Area = mean({minor arc-length, major arc-length})×B
I have my frustum snipped off, but that must have been frustrating.
"Gabriel's horn has a finite volume" Never have I so violently disagreed with such a logically sound and well explained argument/claim.
I remember going over this in college. It wasn’t called Gabriel’s Horn, we didn’t talk about paint, and it wasn’t called a paradox. We simply derived and noted the relationship between the two solutions as being counterintuitive. A surface of revolution with a finite volume and an infinite surface area. The infinite surface area is no problem at all. The horn is infinitely long, of course the surface area is infinite. It’s the volume that’s tricky. But this may help- remember that this is a bottomless pit. The volume approaches a limit, but never gets there. You can always add a fraction of what you just added, dividing it forever and never getting to the volume. So the sense of infinity is still present.
@@HollywoodF1 Indeed sir... Pi is a ratio not a definable numerical value...
@@slthbob yes, and given that it is an infinite decimal... saying that the volume is pi, and Pi is finite... is an illogical statement
@@Mcboogler Well said.... Pi is a ratio not a definable value
@@HollywoodF1 Wow, you seem very smart
I think you could actually paint the horn. The paradox comes from assuming that a finite volume of paint can't cover an infinite area but the horn proves that you can't assume that. Simply fill the horn with paint, freeze it, and take it back out of the horn. The paint is now a solid copy of the horn and thus has finite volume but infinite surface area, therefor a finite volume of paint can have and cover an infinite area.
I agree with your comment that Gabriel's Horn actually shows that a finite amount of paint can cover an infinite volume.
Construct the horn out of a very gradually permeable paper (like a kind of felt) and fill it with paint.
You are not painting it, you are just filling it
@@BrazilianImperialist True but in each case the entire surface is in contact with a substance.
@@BrazilianImperialistWouldn’t its volume always be infinity minus a lesser degree of infinity though? The horn’s external boundaries would still have to be infinitesimally slightly larger than its interior, no?
I initially learned about Gabriel's horn from a book I'm reading called "The Math Book" and came to this video to learn more about it. I watched this video twice now and just noticed the book I'm reading is on the top shelf in the video! Great explanation by the way!
7:12 "Can't fit any more. Can't fit any less" ...you definitely could fit less though!
Probably just to make it more cool
Can't fit less if you're adding exactly pi.
does it count as fitting if it's less? I feel like if it doesn't fill the space it's a partial fit. You can put a person that's too sizes too small into a shirt, but there's extra space so it doesn't fit unless you get more person (I guess we usually think about that one the other way around).
@@CaptainOblivion looks like the problem here is that "fit" can mean either "is the right size for" and also "can be placed inside of". I was using the latter (e.g. "two units of paint would fit in the horn").
Mathematician: Rotate. Pi: It's Free Real Estate.
π
Attn: Jim Boonie
Ro tat e
I remember learning of this in calc 2, and I was fascinated. This recaptured that exact feeling for me
These were extraordinarily intelligent questions asked. "If you fill the horn with paint, haven't you painted it too?" Excellent point.
I think the real key to the paradox is that these are different units. Any finite amount of volume can theoretically spread into an infinite area if you can spread it infinitely thin, so you CAN paint the horn (e.g. the inside, by filling it) with a finite amount of paint.
Exactly. No matter how much 2D paint you use it will always add up to zero volume.
There is a limit to how thinly paint can be applied. 1 molecule thick is the minimum. So theoretically, Any finite amount of volume can not be spread over an infinite surface area. These type of problems are where pure math separates from applied maths. The paradox makes the same assumption you made here. The math isn't wrong, its the assumption that you can limit ds as dx goes to zero in the physical universe, which you can't.
If you're saying paint can only be applied at one molecule thick and not infinitely thin, than the diameter of the horn also has to have the limitation of a one molecule thick wall, and it can only get as small as one molecule at its point, making it finite. They are both infinite or both finite
@@keyonastring Exactly.
The serious problem consists of a minimal thickness of ink. So, from outside, you cannot paint it with a finite amount of ink (pi). Now, considering the minimal thickness, filling it from inside will not guarantee that the interior surface area will be all painted. There comes a point where the regional volume will not suffice to paint the surrounding surface area. It's simple. I don't think this has to do with the boundary between applied and pure math. Also, the volume is clearly finite and surface area infinite.
Interestingly, the word “frustum” is taken directly from the Latin which means “crumb, or morsel” so comparing it to a pizza crust was more accurate than he ever imagined!
but also, Conical Frustum = C(onical F)rust(um) = Crust (+ some detritus)
@@CaTastrophy427 Onical Fum
@@RuthlessDutchman oyfum
This guy teaches surface area and volume of revolution in 20 minutes better than my professor does in 2 weeks.
Or it is just you paying more atention because u chose to watch this video lol
@@pedroaleb omg comment was best but reply was savage 😀
@@pedroaleb i'll argue that since my calc professor completely skipped over the 'why' of a lot of things (for example, he never talked about ds or the area of a conical fruntum, simply gave the formulas as needed with no explanation) and as a result I barely retained the info. This guy managed to actually explain it in a 17 min video which I applaud
@@reilandeubank i agree. he does it very well. but there is certainly a difference between school, wich you have to attend even if you dont want to, and youtube videos and other content that you actively go after and chose to watch
The solution of the paradox is simply that there are pi volumetric units, but infinite surface units. However, since there are infinite surfaces in a volume, you can "paint" infinite surfaces with any finite volume of paint.
A nice way to think about this (and resolve the paradox), is that we are basically thinking about 2 different types of paint as if they are the same. When you fill the horn you are thinking of 3-dimensional paint particles, but when you are painting the horn's surface you are only thinking of 2-dimensional paint plates. If we would try to fill the horn with 2D paint, we would never finish. In fact, we wouldn't even be able to fill a tiny bit of it, because our 2D paint plates have height zero. This matches our intuition that something that fills out a volume must be more than something that only covers the surface. Contrary, if we would try to paint the surface of the horn (let's say the outside) with the 3D paint, we are making it unintentionally thicker everywhere as well (presumably by a constant epsilon > 0). If a covered surface is epsilon > 0 thicker than before, then the thickness of the horn doesn't converge to zero like explained at the beginning of the video, but converges to a constant > 0. Now, of course the paint we would need to cover the surface is still infinite, but the paint we would need to fill the entirety of the horn including the epsilon-thick surface is also infinite.
But the volume inside wouldn't change no matter how thick of a layer of paint is on the outside, wouldn't it? But then again, it wouldn't be surprising anymore that you would need an infinite amount of 3D paint to paint the outside when the outside is always bigger than a constant > 0.
The paint we need to cover the entity of the horn is just pi not infinite even if we consider the tiniest of volume.
Yeah, Imagine if you would pour a finite amount of (“mathematical”) liquid on an infinite plane. If it spread across only a part of the plane it would have some thickness. You could then take the top half of the liquid and spread it across another part of the infinite plane. The liquid will now have twice amount of area but half the thickness. This can be repeated infinite times such that the thickness becomes infinitely small but the area become infinitely big. Finite paint can paint any infinite area in that sense, and in that sense there is no paradox
I like the abstract theoretical dimensional analysis of paint, but volumes and surface areas aren't types of paint, theres no reason we can't have finite-volume-filling infinite-areas, finite-area-filling infinite-lengths, finite-length-filling points, etc., space filling curves and convergent series are just a part of calculus and without them there would be no calculus
Exactly. It's like how a coastline has infinite length but the area of the country is not infinite. This "paradox" may get you into Oxford but you would lose marks in grade school for not including the units!
The animations on this channel just keep getting better.
I’ve been geeking out over Gabriel’s Horn for almost twenty years. This video made me very happy
I did the maths as well. The whole point is that since the integral of the surface area turns out to be of logarithmic type, then a definite integral to "infinity" (limit of it), is actually infinite (the upper limit is log(inf) = inf) where as with volume the integral is of the form -1/x so the limit goes to zero at the upper limit and hence, a finite integral.
I feel like part of the reason that this is confusing is that it implies that it is reasonable to compare sizes of different dimensions. In some sense, any 3-dimensional size larger than zero is larger than any 2-dimensional size, even infinite. A single drop of paint that has no limit to how thinly it can be spread can cover an entire plain.
That's what I was going to say. What is the surface area of the interior of a volume? If you reduce it to molecules then it's no longer infinite, and neither is the surface of the horn. This is essentially Hilbert's Curve in another form.
Exactly this. The whole thing is only paradoxical if we assume that the paint layer has a fixed thickness. Of course, when painting the inner side of the horn this is not possible. The thickness of the paint layer must go to 0 as the diameter of the horn does.
Lowe’s left the paint mixer on overnight.
Yes, this is the intuitive resolution to the paradox. Real paint is made of small particles of finite size. If you had a paint made of infinitesimally small particles, then it would only take an arbitrarily small amount of it to paint Gabriel's horn. Since Pi is larger than many arbitrarily small numbers, you could use that volume of paint to cover the surface of Gabriel's horn and still have enough left over to fill it up like a cup.
This kind of rational explanation is refreshing to read. I'm getting _really_ tired of so called paradoxes that always seem to involve algebra with infinities. Once they even mention infinity, it should be obvious that all logic based on real-word physics flies out of the window.
I think I can resolve the paradox. When we normally talk about "painting" a surface, we choose a thickness of paint, say 1 millionth of a meter. Then the amount of painted needed to paint the surface would be the surface area times the thickness. If the surface area is infinite, that's an infinite amount of paint, no matter how thin the layer of paint is. Does that mean you can't paint the surface? No, not really. You can instead use a variable thickness of paint. Suppose you paint the region from x=1 to x=2 to a thickness of 1 micrometer. Then the region from x=2 to x=3 to a thickness of 0.5 micrometers, and the region from x=3 to x=4 to a thickness of 0.25 micrometers, etc. The region from x=n to x=n+1 is given a thickness of 1/n micrometers. Then this only requires a finite amount of paint. That's what's happening when you fill Gabriel's horn with paint. You're painting the inside of the horn, but the thickness of paint gets less and less as you go.
Nope. That's contradicted by the video. Nowhere in the video do they talk about "normal" paint with a thickness. Only about *surface area*. The surface area of the outside of the horn is infinite! (The same is true of the inside, too, because the horn has no thickness, therefore the two surface areas are the same.) So even an infinite amount of zero-thickness paint is needed to coat the horn, never mind your "thinner and thinner" paint.
@@ModestJoke an infinite area of zero thickness paint can be painted by an arbitrary amount of paint.
@@ModestJoke The comment of Daryl only deals with the apparent paradox that arises when one imagines actually filling the horn and sees that by doing so paint will cover its whole inner surface. What is brought by Daryl's comment is that the mathematical area does not equal the amount of paint needed to cover it: the thickness of your coat of paint is a critical value to determine the amount of paint you will use. Therefore if you want to apply Gabriel's horn problem to a somewhat more realistic setting, you need to consider the thickness of your coat of pain, and if your thickness decreases as suggested by Daryl, the amount of paint needed to cover the horn will remain finite. Therefore the paradox is solved.
@@mcaelen2539 exactly if you fix the thickness of the paint to 0.01% of the diameter of the horn the amount of paint becomes finite.
@@ModestJoke You are a prat.
I'm a student of topography, I'm gonna be very simple, you are basically just stretching a solid with finite volume infinitely, so no matter how long it becomes it's always gonna have that finite volume, and for Gabriel's horn that's why it's width becomes infinitesimally small in order to compensate for that finite volume the shape got. Same goes for 2d shapes.
You are right, that didn't even cross my mind. Only difference is, that in this paradox the shape is finite. Which is the same paradox, a finite shape of infinite length. Just like pi. A finite value, yet it has an infinite number of decimals. That's the core of this paradox. But basically it's just Zeno's paradox in a different setting. As in your example. Half the width and double the length into infinity. (Thinking of a rectangle for simplicity). Same area, infinitely long circumference.
Ok, but if we fill it first then stretch it infinitely there is always more paint to always fill the expanding surface area no?
@@LOKOFORLOKI1 u can actually fill it if u puor the paint in it, the paint will start filling up at nearly infinite speed at the beginning and then as it reaches the upper wider end it will fill up a bit slower and it will take the same amount of time it would have taken to fill up a container with the same constant volume.
Assuming the horn is of negligible thickness, this claim asserts that the finite volume of paint that fills the horn will not coat the horn. However, if the horn is of infinitesimal thickness, the surface area of the inside and the outside are the same. Since the inside is holding the finite volume of paint, that volume of paint is touching the entire surface area. CLEARLY that volume of paint can also completely cover the surface of the horn.
I came to the same conclusion that the volume includes the surface. This requires a proper answer.
It's the same paradox. You just painted an infinitely large surface with a finite amount of paint. There are many versions of this, Zeno's paradox, Koch's paradox.
"If you are bigger than infinity, you are infinity." -Dr. Tom Crawford
I remember when they covered this trick in a module on proof, my mind was blown. Such a simple idea. Similar to the monotone convergence theorem, just with divergence instead.
@CHARLEE SANTOS infinity is not 2^1024, it's infinity.
@CHARLEE SANTOS infinity is a concept not a number dude.
@CHARLEE SANTOS 2^1024 is a finite number. Meaning it is a measurable static value. Infinity is the concept of being infinite ie not finite, where there is no countable number to describe the situation, and it has no “end” or “value” so to speak
@CHARLEE SANTOS I’m letting it sink in and I’m still confused
so this is the 3D version of the “mathematicians walk into a bar” joke, where the bartender just serves them 2 pints
Their bellies may be full of beer, but their throats remain dry.
...when all they really needed was some pi to be full
They should have known their limits.
Inspired by the comment of the background voice, I would suggest to wrap the 1/x-horn with a second one, following the function 2/x. This horn, measured from x=1 to infinity, has the volume 4*pi. Filling the space between the two horns takes us the finite amount of 3*pi units of paint. So we could paint our 1/x-horn also from the outside. If we are restricted to pi units of paint we have to tighten the outer horn to y=sqr(2)/x.
I feel like this, much like the perimeter of a fractal, can be painted. You would need to cover an infinite surface area in this case, but that's entirely possible. You would have to dump the entire horn in paint and the outside would be painted. If you made another infinite horn say, twice as large at every point so your horn fits inside it, you could fill it with paint while your horn is there (wouldn't take much paint) and your horn would be painted. This reminded me of like an infinitely long, higher dimensional fractal. You can easily have a fractal with an infinite perimeter and very finite area, and you could easily surround the whole thing with paint to paint the edges.
If you have paint that is so infinitely thin that it is able to run down into the tip you are also able to use a finite amount of it to spread an infinitesimally thin layer across the whole surface.
“The surface area of a conical frustum is just AB” No talk to me I angy
I tried to repeat the calculation and got AB(1+B/(2R)). Where R is the distance to the center. Since B is dx, and goes to 0, this doesn't impact the calculation, but the statement that its just AB seems wrong.
@@yoelcalev2763 Definitely. If you test A = R, AB as shown would give the area of any circle to be 0. My hunch is he sloppily labelled the wrong side of the shape and B should be the outside curve, but I haven't done the math.
I think ab+(theta b^2)/2 is equivalent to AB(1+B/(2R)) because: ab(1+b/(2R)) = ab+ab^2/(2r) a/r = theta ab+ab^2/(2r) = ab+ (theta b^2)/2
@@yoelcalev2763 a) You need to expand again so you'll get [Adx +(dx)^2]/(2R) the (dx)^2 is sloppily said nothing compared to dx (which is already infinitesimally small). Provided that your formula was derived properly. b) If you go by arc lengt sector formula you'll find also a cure to the paradox: let C be the arc length of the outer circle so area is the difference between [C*(R+B)]/2 and [A*R]/2. Integration over both, individually culminates in a difference infinity minus infinity. Something quite often measured "finite" by physicist but highly frowned upon by mathematicians. c)Try to calculate {(A+C)/2}*B ;-)
@@yoelcalev2763 I got the same thing. Perhaps the shape is incorrect and it's not the area of a big sector minus the area of a small sector, but a rectangle in which the ends are shifted up into a smile, so those lengths are still vertical instead of slanted like in the video
Anyone else wondering why he didn't just use cylinders again for the surface area?
It should work. Since we're doing surface area, we'd have the area of the cylinder, which is 2пr dx. With the limiting/integral process, this should become exactly the surface area. When you do the actual integral, you get 2п ln|x|, with the bounds from 1 to infinity. Plugging the bounds in yields infinity.
Especially since the area of the conical frustum is the same as the area of a rectangle, A * B. (I realize now I was wrong, but he does end up approximating the area with a rectangle anyway, so the slant does not matter, since even the rectangle approximation diverges..)
This is the approach I take when I show this to A-Level students. But I also liked the approach here showing off a neat trick for proofs, whilst also avoiding having to go into integrals of arc lengths.
@@gabrielhermesson9926 yes both approaches yield infinity but they are not equal (e.g. if the problem were finite). For the volume it doesn't matter. I will try to explain this intuitively. Let dV be the volume of the truncated cone and dV'=(1/x)^2пdx the volume of the (less accurate) cylinder. There is some factor v(x) that depends on x, such that dV=v(x)*dV'. For dx->0 it is clear that v(x)->1 and dV=dV'. However, the situation is different for the lateral surface area. Let dA be the lateral surface area of the truncated cone and dA'=2п(1/x)dx the lateral surface area of the (less accurate) cylinder. There is some factor a(x) that depends on x, such that dA=a(x)*dA'. For dx->0 the factor is still a(x)->sqrt(1+(d(1/x)/dx)^2) and dA≠dA'. As you can see, the factor that correlates the differentials is what matters and if you do the integration (=summation), the factor will still affect the whole sum, even if dx->0. (e.g. by factoring out the factor if it were constant, you get the idea)
@@markussteiner1105 That makes sense, though it feels a little hand wavy with the factors. Also, it feels intuitive to my math sense, but not my common sense. I was ABOUT to argue that, due to that factor a(x) that the integral with cylinders would provide a smaller surface area--and by solving that you can then state that the actual surface area would be larger. But then I realized that is exactly what they did in the video around 14:50 (though they didn't state it as such with the cylinders).
Actually, for real life, there would be no paradox, since atoms are finitely small, so at a certain point you would run out of paint atoms while painting towards the tip of the horn. Even more, painting with atoms, which would be assimilated with small spheres, means you would have an infinite number of mathematical points between each point where the atoms would touch (be tangent to) Gabriel's horn. After painting with the last atom, you would have a 'longer' infinite segment of the horn not painted. So trying to understand mathematical results with real physical knowledge is hard to comprehend, although our brain is more inclined towards finding examples in real life. This paradox is a nice example. Thank you for the video.
So way less than a π amount of paint, probably an e size can would do.
Another way to resolve the paradox - you can't actually fill the horn from the top because it's infinitely long, so it would take an infinite amount of time for that last little bit to trickle down far enough for there to be room for the last droplet of paint. This is the same as saying it would take an infinite amount of time to paint the horn by pouring paint into it (which would be the case even if the surface area were finite). The mistake that leads to the paradox is in thinking that the finite volume of the horn is fillable.
how 2 paint the horn: fill the inside with paint dump the paint out, this will result in a coating of paint inside the horn. turn the horn inside out refill the horn with paint and dump it out again
Wouldn't the shapes fit inside each other and stack? Fill one with paint then dip a second inside.
you would be infinitely trying to turn the horn inside out
WOW! I think, in that case. you'll dump out (Pi - infinty that stayed on the surface) paint. booom wanna try twice? that's expensive
@@1988ryan1 Come back when you work out how to get an infinitely long object inside another.
@@Bosstastical Just like the concept of the horn is theoretical, i could easily say go create an infinity long object to begin with, and then take an infinity long amount of time to get the paint inside. So finding the end and doing my process would take no time at all because you already have to use up an infinite amount of time finding the end and getting the paint in there in the first place. My point is just that the paint can in fact cover the surface area you just need an infinity thin layer of paint by squishing it.
"... we will need to do an integral." Ok. That's my stop. Have a nice weekend!
Why bro integrals are fun
You've been doing integrals ever since you had to find the area or volume of a simple shape, such as a square, cube, circle, or cylinder.
@@harleyspeedthrust4013 To me it's like watching a French video when you don't speak a word of French. Just more headache-inducing because you get a liiitle bit of it and your brain automatically tries to understand the rest (and fails spectacularly, every single time).
@@mesa176750 That's quite a stretch. Collegial integrals are nothing like that.
He does walk through the integrals really nicely
What if, hear me out, the reason it appears to be a paradox is because we’re not thinking of it in the right way. Imagine, as the horn extends the internal diameter progressively shrinks so much that no particle in the universe can fit through it anymore, therefore in terms of the volume it is finite (aka, the volume tends to a value). Whereas, in terms of surface area, because the horn is constantly extending forever, that means there will always be an area (no matter how small) that needs to be covered. So, therefore as the horn extends to infinite the volume will reach a finite point but the area will progressively reach infinite
Well in mathematics, there's no such thing as the concept of particles like science.. For me, the way you can understand the concept and why it is not actually a paradox is that the value of π itself is irrational even though it's finite. You can never get to the exact π volume of paint because the numbers after its decimal point will never end.. just like the length of the horn.
Doesn't matter how close or precise you can be, the exact π volume of paint can never be achieved
The trouble comes when thinking of the paint as a surface. It isn't, but it's tempting to think of it that way as if it's equivalent to the surface area. But the paint has some volume, even if we make it infinitely thin, otherwise we couldn't fill the horn. Think of the paint being between your original horn and a slightly larger horn, and the paint is filling the gap between the two horns. We know the paint can't have infinite volume, or it wouldn't fit in the horn. Note that making the outer horn a little bigger does not make its volume infinite. We can make the outer horn as big or as small as we want as long as it's less than infinity, so the paint can be as thick or thin as we want it. But as long as the paint is between the gap between the two horns, it must be a finite amount, since it takes up finite volume. If we took off the horn when the paint is dry, it would be clear we still don't have an infinite amount of paint. And yes, the paint would still have infinite surface area, but still finite volume, just like the horn.
I am a Mechanical Engineering drop-out of 17 years, and I literally followed every single step of this. Thank you, Mr. Walton, Mr. Roy and whoever my calculus professor was in college.
No problem!
@@danielwalton0416 lol imagine if this was actually real
@@danielwalton0416 you being his professor I mean
@@mihailmilev9909 it is
@@jenm1 doubtful, but it could be considering this is a math video.
Explanation of the paradox for anyone who is curious: The paradox is the result of using two seperate models for how it is treating the paint in the two different scenarios. In the "Fill" scenario we treat the paint as a pure mathematical volume; which can be compressed and shrunken infinitely. This is not how paint actually exists in the real world. Which is to say, in the real world paint is made up of a finite number of paint particles with their own, immutable volume. However, in the "Paint the surface" scenario he switces from treating the paint as the mathematical idea of volume to treating it like actual paint, which can only be spread over a finite area because it is made up of a finite number of paint particles, and once they run out, you are out of paint. So now we can choose between two different paint models: If we treat paint as it actually is (as a finite collection of particles with finite, immutable volume) then you can neither paint the surface area nor can you completely fill the horn. You cannot paint the surface because you will eventually run out of particles, and you cannot fill the horn completely because eventually the horn will be too thin for the paint particles to fit. However, if we stick to the "Fill" example's model and treat paint like a pure mathematical volume. Then you can easily both fill the inside and also paint the surface area. In fact, when treating paint like this, *Any* amount of "paint" would be sufficient to paint the surface, both inside and out trivially. This is because you can (as demonstrated in his explanation) morph the "paint" into a shape wherein it maintains it's volume, but has infinite surface area and is wrapped around the horn. Interestingly enough, while treating paint consistently in this manner, you could not both fill the horn completely And paint the outside if you only had π units of paint. However if you had any amount of paint more, say π+0.0000000000000001 units of paint, you could both fill the horn completely and paint the outside completely as well.
Very useful, thanks
thanks for thisd explanantion
Thank you that was amazing
for those who can not wrap their head around this - imagine a pancake. The thinner you make it the bigger pane you need. As the thickness will approach 0, the area covered by the pancake will approach infinity. However, the volume is still the same.
I think you could paint the surface with the finite amount of paint that fills the volume. You just continually decrease the thickness of paint used. This is essentially what's happening with the paint that fills the volume anyway. Paradox resolved.
We gotta give props to Brady for asking such a wonderful question, 16:04.
That was a brilliant question. Currently looking for an explanation in the comments...
Explanation is that you CAN paint the horn. By pouring the paint into the horn you've painted it, though the coat of paint gets thinner and thinner and thinner as you go down the horn. This is one example of how you can paint an infinite surface with a finite amount of paint.
Why can't we just fill the horn with paint and let it dry? I think to answer this we need to ask what does it mean to paint a surface? One answer is: Painting a surface is to cover the suface with paint such that the paint forms a 1mm thick coating on top. (1mm is not important and can be any non-zero amount). By this meaning, to paint a surface with surface area S we need S*0.1mm amount of paint. Thus we need infinity*0.1mm=infinity amount of paint to paint the surface of the horn. Now let us try painting by pouring pi amount of paint into the horn. Because the horn becomes thiner and thiner as we go, after a point the horn will become thinner than 1mm and the paint inside it cannot form a 1mm coating required for 'painting the surface'. To sum up: If we try to paint the horn by pouring paint into it, as we go further near the mouth piece the coating of paint becomes smaller and smaller and the paint becomes fainter and less visible as we go and thus pouring the paint will not 'paint' the horn in the narrower regions.
Think of it this way: What is the surface area inside the paint in the bucket? It's a volume so it's like a larger order of infinite because it has an additional dimension to it. Take a peek at Hilbert's Curve (infinite in length but folded into a finite area), or see that the probability of selecting any single point (1D) from a continuous number line (2D) is exactly 0% even though you obviously did pick one, to get a sense of how moving between dimensions makes them not really comparable. You could use any ridiculously small 3D volume and cover the horn completely. The paradox here is setting up the expectation that you could never paint a 2D surface. The paint only runs out if you are considering it as molecules of paint bonding to an infinite brass surface, but if it's just a 3D, infinitely divisible volume, then it could be spread to nearly ( but still >0) thickness and cover any infinite surface. In fact, 0% of the volume makes contact with the interior of the horn, it's all still leftover to fill the horn to the rim.
Finite volume, but infinite horniness 😳😩
I approve this message.
Thanks, i hate it.
then clop
@@mamoonblue you're welcome
@@SuviTuuliAllan ...
7:23 can't we still assume the small limiting part is still cylinder, use 2πrdx and then just integrate it from 1 to ∞? S.A=integral of(2πdx/x) from 1 to ∞ would give S.A=2π(ln∞) which would still tend toward infinity, but an easier calculation
My thought exactly. Especially because B should go to 0 as it is equal to dx. I stopped watching after that thought. Thx.
The way I reconcile the filling it with paint _not_ painting the surface is similar to how I think about fractals -- the questions of "how much space does this take up?" and "how much surface is there?" are different problems -- you can draw a finite area around a fractal, but it has an infinite surface (you can keep making smaller and smaller faces). Similarly here, the "space" the horn takes up is pi, but the surface of that space is infinite. If you think about the physical space, you end up getting down to some atomic unit (Planck length, likely, or the size of the paint molecule) that stops you from creating the infinite surface, but that's not the case for a surface in the reals.
Instead of getting stick bugged in math the equivalent is getting Pi'd where Pi just pops out of nowhere lol
Except here it's not really out of nowhere, since the entire thing is circular. The general difference between calculating a plain old area under a curve and this kind of rotational volume calculation is literally just a pi in front of the integral. Same paradox arises with jsut the plain intagration, no 3D needed, and there's no pi. But this version showcases the bizzareness more, I guess.
I was thinking about Brady’s question about being able to fill up the volume with a finite amount of paint but needing an infinite number of paint for the surface. I think the idea is this: in ANY finite amount of VOLUME of paint, we can cover an infinite surface area. If you put your finite volume of paint in a can, there are an infinite number of cross sections we can take of the can of paint, so we can cover an infinite surface area.
Thank you for this. I was approaching a similar answer, but hadn't quite gotten there yet, and in the meantime I was going a bit crazy.
You can put the thing differently like this. If the horn is filled with paint, each cross section has different thickness of paint. As the horn narrows down to nothing as we reach infinite, the cross section of paint will narrown down to zero. The further down you go, the less paint you need. No matter how large surface area you cover with it, the less paint you need. The area goes to infinite, but the amount of surface area a volume of paint covers goes to infinte too. As you divide those two infinities with each other, they will cancel each other. The total volume of paint needed to paint the whole inner surface is π.
@@timokokkonen5285 you cannot divide and cancel two infinities
@@pulkitmohta8964 he literally just did.
@@pulkitmohta8964 You can if the two rates at which the infinities are being approached are the same (i.e. L'Hopital's Rule)
I’ve thought of a second paradox that arises when you try to fill the horn with paint. Assume we are in a frictionless, surface tension-less, atmosphere-less etc., etc. world but gravity is the same as earth’s. You start pouring the paint and the first bit is continually accelerating down the horn. However, because the horn is infinitely long, it will never reach the bottom in a finite amount of time. That will mean there is always space to be filled further down the horn, so you actually cannot empty your pi units of paint from its can. But, since the first paint poured will always be accelerating, it can’t “get in the way” of the paint you continue to pour. So you should be able to empty the can. But, of course that would mean there is still unfilled space inside the horn. Which would mean, actually you can’t empty the can and so on.
That's the problem with using real world analogies for mathematical concepts that approach limits. As soon as you go real world, you also have to deal with the Planck length, but the paint must be infinitely thin, or it couldn't fill the parts of the horn where 2y < Planck length. Then you end up with a situation where the paint "particles" have no dimension (or we would need an additional dy term to account for the paint application, or the paint wouldn't be able to fit into the infinitely small part of the horn) but they still have volume, or how else could they fill the horn...?
Here's a bit for calming down your intuition: when we think of painting things, we think of some constant finite thickness of paint. But if we get a very narrow segment of horn far away at big x, and get a paint out of it, to paint its surface, we just couldn't get enough of thickness. And for any fixed thickness we can get far enough, because volume shrinks faster then surface. Idk, this cured my mind.. Same for his confusion about transparent horn: at some point horn is narrow enough, so we would not consider this enough thick to count as painted.
I’m learning from Numberphile! I was like “one series will converge, but the other will diverge”. All thanks to Numberphile and other similarly awesome channels.
this^^ :)
@@TomRocksMaths it’s the guy from the video!!! Hello!
@@romerobryan83 Hello!
But.. By filling the horn, the paint literally touches the horn.. aAaAA infinity melts my brain every time
But only because the paint has surface tension Edited on July 23 2021. This was as an example of bringing molecular density into it.
@@ADHD9009 The calculation didn't account for surface tension, it just gave the volume of the horn, which is finite, meaning it can be completely filled up using paint leaving no part of the horn untouched. But at the same time the surface area is infinite which means it shouldn't be possible to touch one entire side of the horn.. Because that would require an infinite amount of paint. But it is possible because the volume is finite
@@rysea9855 It does actually account for surface tension. Just in an abstract way. At some point x the diameter will be to narrow for paint or even protons to fit into. But it will still continue on towards infinity.
@@rysea9855 you can fill an infinite surface area only with paint that you can spread infinitely thin.
@@cerealdude890 What you're saying is that ∞/∞
I believe the answer to this paradox is that a 3-dimensional object is uncountably infinitely larger than a 2-dimensional object. Any 3D object of finite volume can theoretically have infinite surface area. This is why paint with pi units of volume can cover the infinite surface area inside the horn.
Indeed, after all the paint covers the entire inner surface of the horn (which is also infinite and identical in size to the outside)+ some left over.
I figured out how to make this paradox make sense! You're saying if you have filled up the inside, haven't you painted the inner surface area? A way to compare area and volume is to give the area a constant thickness, like how thick a coat of paint do you want on the inside? Say you want it to be ε>0 units thick. If SA = 2π ∫_1^∞ 1/x √[1+1/x^4] dx. The surface area would say that you need ε × SA cubic units of paint. But past x = 1/ε, the thickness of the paint will escape the inside of the horn, no matter how small ε is, no matter how thin a layer of paint. You could approximate the volume of paint to coat the inside as the volume of revolution of the area between (1/x) and (1/x - ε). But since (1/x - ε) intersects the x-axis, that volume would be constrained by the original volume of Gabriel's Horn. Or, painting the outside, the volume of paint could be approximated by the volume of revolution of the area between (1/x + ε) and (1/x). As x →∞, the coat of paint approaches an infinite cylinder of paint with radius ε. No matter how small ε is.
I've used this a few times as an Oxford Maths admissions interview question, but I guess I can't anymore now you all know the answer... :p
Hehe... BPRP also did a video about this a while back, so yeah.
Well, I won't be aplying, but I do feel bad that my professors were nothing like you when explaining. Yes, I can function in life without the higher math knowledge, but after finding your and Numberphile videos, my hunger increases with each one.
Better that than my Oxford interview where they made me sketch tons of different trig functions. Always hated sketching graphs freehand.
So, someone like Matt Parker could, for instance, construct a long enough Gabriels horn, in order to fill it all the way up such that he gets an approximation for Pi? 🤔
No. This is pure maths and assumes that the horn has no width to its surface. If you were to construct something like it it wouldnt be infinite and the surface width would make it never come near a pi aproxymation.
@@egggge4752 yeah but for the real world wouldn't it be close enough? like anything after 3.14 for most things is just an academic exercise. Like if you make Gabriel's horn 100 units long your height is 0.0100, adding another 100 units only changes that height to 0.0050 units, another 100 height is 0.0033 units. The returns are diminishing. You've effectively already converged on the volume within a precision level of 3-4 sig figs.
It would depend on how close you get the interior of your horn to the ideal 1/x cross section and, if you get it decently narrow at its end, upon the viscosity and adhesion of your paint.
The error bars are going to be pretty big when constructing it, but that's never stopped him before
For those curious -- If a horn was constructed with a mouth radius of 1cm, it would need to be roughly 5 meters long (or longer) to achieve 3.14~ ml precision.
I propose the following formulation: For any pot of paint that we give ourselves in advance, we can always find a trumpet long enough (but not infinite!) such that we have enough paint to fill it but not to paint it . This formulation makes the result even more impressive, because it avoids having to resort to infinity (this only uses the limit in the integrals) which naturally tends to make "every strangeness possible".
There's nothing remarkable about that, though. The inside of something is always going to have less area than the outside unless the object has no thickness.
@@WalterLiddy on the contrary, we are talking about the interior area of the trumpet, and this implies that we fill the trumpet completely but that the interior edge is not completely painted, which is obviously completely counterintuitive
Here's how to resolve the paradox! A single tiny drop of paint can spread over as huge of a surface as you want, so long as the paint's thickness on the surface is sufficiently thin. As you progress down the length of the horn, the horn gets more and more narrow, so the thickness of the paint filling it gets infinitesimally smaller, which allows the finite volume of paint to cover an infinitely large surface.
You cant go smaller than molecules though, its not paint anymore at that level.
@@Henry14arsenal2007 Maths. Not physics, not chemistry, not the paint counter at B&Q; maths.
@@SpeckleKen Indeed, i think any physical analogy to make it more "understandable" actually hurts understanding.
I'm guessing he doesn't have a tattoo of Gabriel's Horn because it'd take infinite ink?
Sounds like a challenge...
Not if, for example, he had the tattoo wrap around his wrist. That would make the smallest part touch the largest part (because it's wrapping around), so he could just stop there and say that it keeps going.
@@vibaj16 or it could be facing outwards / inwards
@@BlackKillerGamer If you mean viewed along the x axis, yeah, finite ink then. It might be hard to know what one's looking at, might just look like a filled circle depending on the rendering choices, but then the story.
Ooh! Formula for crossection! NO! Formula shadow!
CORRECTION: At 8:55, Area of "Net of Conical Frustum" = A*B, but "A"arc should be taken at mid section of Frustum and not at the uppermost portion as shown in the video.
Thanks, I was wondering why my calculations didn't work! ^^'
Yeah. It was coming as AB + B^2(θ/2).
Yeah, I also didn't get why he chose not to derive it. Just have the area of the ring with radii a and b: pi(b^2-a^2) and multiply it by the proportion that the angle makes to 2pi, so pi(b^2-a^2)*theta/(2pi). Cancel the pi, expand the difference of squares and note that a*theta is the length of the inner curve, b*theta - outer curve.
Thank you. His statement didn't seem to match any kind of stretching I could imagine to transform the shaded shape into a rectangle of equivalent area. Area = 0.5 * (sector angle in radians) * (outer_radius^2 - inner_radius^2) Area = 0.5 * (sector angle in radians) * (outer_radius + inner_radius) * (outer_radius - inner_radius) Area = slant_height * (sector angle in radians) * (outer_radius + inner_radius) / 2 Area = slant_height * (outer_arc_length + inner_arc_length) / 2 Area = slant_height * average_arc_length As (slant height) approaches zero, the difference between (the outer arc length) and (the inner arc length) approaches zero. So the ( *_average_* of the outer and inner arc lengths) is approximately equal to either (the inner arc length) or (the outer arc length). He chose the inner arc length as the approximation he carried forward because that is where he was calculating 'y'. I went on a web search because I didn't want to do the "four pages of algebra" he described. Nothing I found seemed to suggest that the area of a similar shape of finite size would be the (inner arc length) * (slant height).
The simplified form of Bernoulli's equation can be summarized in the following memorable word equation: static pressure + dynamic pressure = total pressure. Pressure (P) can be estimated from velocity (V) using the simplified Bernoulli equation: P=4V2. can be ignored, thus: ΔP=4V2. In aortic stenosis, peak pressure gradient is 4×(peak velocity)2 through the valve.
I love how he addresses his cameraman and makes him part of the video
One really cool detail about this: Early on, the voice behind the camera points out that the volume of the horn appears infinite because you can always keep adding a little bit more at the end, infinitely, which is technically true. So the fact that the answer resolves to Pi, a number that famously has an infinite number of digits, really fits this perfectly. You can always keep adding smaller and smaller amounts at the end, and yet it is a finite constant. The volume is finite, but indefinite.
It's a trick. The thickness of the coating of paint we're applying is zero, which is why it doesn't "use up" any volume of paint at all!
We painting nothing on the outside
Yeah, any finite volume of paint, if you can spread it infinitely thin, can cover an infinite area. The paradox is the intuitive thinking that an infinite area requires infinite paint.
But if the coat of paint has a thickness of 0, then you haven't put any paint on. Zero paint means unpainted. In order for a surface to be painted, it has to have some positive thickness of paint on it. Thus, Gabriel's Horn takes an infinite amount of paint to paint. But since the interior becomes smaller and smaller, it eventually gets thinner than any thickness of the coat of paint you care to define. At some point, the "thickness" of the paint filling it up, will be less than the thickness of the coat of paint you want to apply to the outside. And it will get thinner and thinner, in a way that converges to a finite number. So the volume is finite, but the surface is infinite. You can reach a similar paradox with fractals. The Koch Snowflake has a finite area, but an infinite perimeter. Which means you can paint over the whole thing, but you can't trace its outline. The interesting thing about Gabriel's Horn is that you can create this paradox without having to make it a fractal. It's a very simple shape.
@@PhilBagels Best explanation
@@PhilBagels I think this is purely about how you interpret words that have no everyday meaning in the situation you are trying to describe here, and that's the full source of the paradox. Let's say that if I fill a volume completely bounded by surfaces with ideal liquid - there are no places where the liquid is not touching the surface(s), otherwise there would be void to fill. If I interpret that liquid as paint, I have definitely painted all inner surfaces that bound that volume for a very reasonable definition of painiting of an inside of anything, I don't have to reflect an arbitrary number for thickness of paint, if it's full, it is painted from inside (and for usual objects it's more than just painted, I could pour something out). Then for Gabriel's horn I have just painted it's infinite area (from inside) with finite amount of paint (and also could pour some out). Well, that is exactly what mathematically happens here. Its just that for infinitely thin and long horn neither filling the inside nor painting from outside is something you can do with physical paint, and that's where the "intuition" breaks and paradox emerges. All the horns pictured in the video are infinitely shorter and (on average) infinitely thicker than Gabriel's horn (the mathematical one, not the physical one), so they also don't help with building any reasonable intuition about Gabriel's horn's properties. Mathematically, it's just properties of the geometry, that are (invented/discovered to be) very different from everyday objects. And same goes for the fractals you mention.
Designer: 1) Decide on paint thickness. 2) Calculate volume of paint needed to cover the total surface on the inside. 3) Using the formula derived for volume it the paint covering the total surface should always be less than π. Painter: 1) Fill the horn with π 2) Decant
Why filling the horn with paint doesn't mean you can paint it: Although it isn't mentioned here, it has to be assumed that painting the horn means giving it a coat of paint with non-zero thickness (otherwise you don't need any paint to do it). Let's call the thickness t. Since the area of paint held by a section is pi r^2 dx and the paint required to paint that section is 2pi r t dx, there r
"Technically this is a derivative, I kinda treated them as fractions, it's fine for now" Is this physics or what?
Physics is maths anyway so 🤷♀️
Be aware that's just two steps away from engineering where Pi becomes 3,14 and everything has to have finite values.
You can treat them as fractions for the most part and you'll be gucci. If you ever solve differential equations you basically abuse the differentials and beat them into submission with math hacks
@@harleyspeedthrust4013 "And now dx cancels out dx and we have a perfectly fine Integral in respect to dy"
@@Fubinii thats why i love fizicks
Loving the vibe of this guy. Pokemon tats, bright eyed when talking math, and lip piercing is rarely seen in the same person.
I'm also like him , I like both piercing and maths 😂😂
Yeah, none of the other guys with Pokémon tats that talk about math have lip piercings. I'm just kidding btw, it's a joke
@@jjackandbrian5624 lol
@@TomRocksMaths DAMN ITS YOU WOAHHHHH
Understanding how the surface area is infinite is easy enough. The tricky bit is imagining how an infinitely long horn can have a finite volume. And the trick to imagining that is understanding how the sum of an infinitely long series can converge on a finite number. The area of a cross section of the horn decreases faster than the circumference of that cross section as x increases. That's why the volume can converge, while the surface area diverges. On another note, watching this made me think of other shapes with finite volume but infinite surface area, and that's trivial to make if the surface is a fractal. There's a similar bit of math involved in that paradox as well. The surface area is the sum of a divergent series, while the volume is a convergent one. Presumably you could also construct an object of infinite volume in a 4d space, but have it contain a finite amount of 4d-space within it using a similar principle.
The resolution to this paradox is, if you go sufficiently deep into the neck of the horn filled with paint, the thickness of the paint becomes so thin that the difference between a painted and unpainted horn becomes both invisible and unmeasurable.
Next video: Gabriel's wedding cake, the discrete version of Gabriel's horn
Vsauce subscriber, I see
Hey Vsauce, Michael here
@@jimi02468 Or is it?
you can make the sponge cake, but never completely ice it :)
@@mondolee yes you can: pour icing over it until every part is iced
I love Tom's enthusiasm and he's great at explaining things. Very nice!
A non-paradoxical paradox: the reason there seems to be a paradox here is because of an unstated (and absurd) assumption, that the thickness of the paint is uniform throughout the length of the trumpet! If the paint thickness tapers off as 1/x, adding another 1/x term to the integral, the volume of surface paint will be finite. This is exactly why the interior surface is coated with a finite volume of paint: that paint must taper off at least as fast as 1/x to fit inside the trumpet.. I didn’t read all 3,904 comments to see if anyone else mentioned this and apologize if they did. And I find it disappointing that the author of the post didn’t realize this. It is not at all unique to have a finite volume(surface) enclosed with an infinite surface(boundary), e.g., the Mandelbrot set is a finite surface area but its boundary is (hideously) infinitely long.
Oh wow! this is the first time, I came up with the solution by myself, before watching the explanation 🤗🤗🤗🤗
This is exactly what we want. *The real maths*
Either human brain should be wrong or mathematics
I'm glad you approve :)
Newton time traveling to the future to learn calculus from Numberphile, so he can go back in time and pretend to invent it.
I prefer complex maths
Is the first Numberphile video to calculate in full an integral using antiderivatives? After the video from a couple weeks ago with ‘e’ where they did a derivative. Real calculus is so rare on Numberphile!
I adore how excited he is about this problem. Absolutely captivating!
You can paint an infinite area with a finite amount of paint if you assume the paint coating has infinitesimal thickness. Additionally, if you filled the horn with pi volume units of paint, you already painted its surface from the inside ;)
You can also do this in two dimensions, with a triangle, whose apex moves parallel to the base an infinite distance, the area remains a finite constant but the perimeter approaches infinity.
The Gabriel's horn in the ear was a classy touch, well played
ngl it's kind of the opposite of classy
I'm glad you noticed
@@ogg5 "well, that's just like... Your opinion man"
@@TomRocksMaths may I ask you a really tough question?
@@K.E.L-117 sure
For anybody bothered by the lack of intuition in the result, maybe this will help. What we have here is a finite volume contained within an infinite surface area. Consider the fractal coastline problem, wherein the coast length of a piece of land increases towards infinity as you account for smaller and smaller bumps, but the area of the land contained within the coastline stays approximately the same. This is an analogous situation where we have a finite area contained within a boarder of infinite length. Just increase everything by one dimension to get back to Gabriel's horn. If you were comfortable with the fractal coastline problem, now maybe you're comfortable with Gabriel's horn. If you aren't comfortable with the fractal coastline, then I've just doubled your anxieties; you're welcome.
How about the reverse? Can we have the infinite measure of (n+1) dimensional figure enclosed in finite measure of (n) dimensional figure? Seems obvious, but how do one goes about proving it? Or just definition of higher measure relies on finite measure of lower one?
Well, if you take the horn, fill it up, empty it, cut it in half, fold it inside out so the painted side is now on the outside, fill the horn again, empty it, and done. A painted horn with an infinite surface and a finite amount of paint used (less than 2 pi). Assuming the horn is made out of bendable material, of course.
You know, one way to resolve the counterintuitive aspect of this is to go down a dimension. If you graph 1/x^2, it seems at least reasonable that the area under the curve between 1 and infinity is finite (and it is), but the length of the bounding curve is obviously infinite. Really there's just something fundamentally different about the measures of different integer dimensions that the analogy of "painting" fails to encapsulate.
@@anthonyyoung7333 Of course the exact decay is irrelevant; so long as you use 1/x^p with exponent 1/n < p
@@anthonyyoung7333 I'm just saying that we can look at the "area" of a solid figure (say a ball, or the region bounded by Gabriel's horn) - not the area of its boundary (the surface area), but the actual area of the solid figure. This is of course infinite - each 2D slice has positive area and there are uncountably many of them - but it's still a sensible quantity (measure theory is the language in which one can talk about such things), and it demonstrates how there's nothing counterintuitive about a fixed set having finite volume-measure but infinite area-measure. In the case of Gabriel's horn, we're not looking at the same set; we start with the volume of the solid and then restrict to its boundary and consider its area. The fact that we call both of these things "paint" obscures the fact that they are in no way measuring the same thing. Put another way, if fill Gabriel's horn with 3D paint, then you have indeed painted the surface, but just because you used a finite amount of paint measuring in 3D doesn't mean that the paint covering the surface has finite 2D measure. Here's another interesting example (dissecting unintuitive things in math often involves understanding a bunch of related examples): plot the so-called "topologist's sine curve," i.e., f(x) = sin(1/x) from 0 to 1, and look at the area it encloses with respect to the x-axis. The area is finite - it's a bit over 1/2 - but the curve itself has infinite length. This works in any number of dimensions: the volume bounded by the hypersurface sin(1/x) will always be finite, but the area of the hypersurface itself will always be infinite.
Mostly because painting is a real world process and mathematical objects don't really behave like real world objects, see Banach/Tarsky paradox.
*"The human brain is the most complex structure in the whole entire universe"* _-Human Brain._
*Obama Giving Obama a medal meme*
The reason I want to be a neuroscientist
@Questa Semplice Animazione it's the brain mass to body mass ratio that counts. Not a tiny brain in those terms.
"Some other big horns" in the middle of this mathy explanation nearly slayed me
It could have been *so* different...
You certainly CAN paint it if you make the paint a 1/x decreasing thickness as you paint down the horn, which corresponds to what you have to do to fill it.
BTW, pi is the volume of the horn at infinity. So we can never actually put pi's worth of paint into Gabriel's horn.
Part one: Use the volume of simple disks which get infinitely thin. Part two: Use the surface area of this crazy shape and just trust me when I tell you the formula. "JUST USE THE SURFACE AREA OF A SET OF CYLINDERS YOU DONUT!" - Gordon "Maths" Ramsey
For volume calculations, you can consider them cylinders with infinitesimal thickness, because the slant won't change the volume. But for surface calculations, the slant makes a huge difference because that's all they operate on.
@@HarzemTube But if you look at a segment of the horn, you can easily show the surface area of a cylinder will be strictly less than the surface area of the horn. The cross-section of the cylinder will be a horizontal line and the cross-section of the horn will be a bowed out hypotenuse. Because the result of the cylinders' surface area is still infinite you get the same result. But you skip the "leaps of faith" shown in the video. Note: you'll need to take the cylinder radius at x+1 segment, for each segment so its radius is less than equal to the horn's.
Exactly how far can you paint the horn with Pi (or x) units of paint?
@@neure Depends how thick you put the paint on. There's no need to know the exact surface area for the proof in the video. So why make things more complex then they need to be?
I guess this is similar to cutting a square in half infinitely, with the formula 1/(2^n). The total area is 1, but you can always add total perimeter length when you cut the next square in half.
We know that a solid can have infinite surface area with finite volume. Therefore, you can have a finite volume of paint with an infinite surface area. Thus, Pi units of paint can cover the internal surface area of the horn.
@@Noah55555 Horn has fixed volume but infinite surface area Paint in shape of horn has fixed volume but infinite area. Paint has infinite surface area therefore can paint the whole horn
If you think about it, it's kind of similar to being infinitely accurate about a moment in time. Eventually, that moment is passed. No matter how accurate you are about that moment, time moves on. So, at some point the amount of volume added infinitely, it becomes infinitesimal. Furthermore, eventually you'd have a space inside the tube that is smaller than the particles or molecules of whatever material is being poured into the tube. So, it can't be infinite due to the finite regression of particles size as we understand.