Live data from Hacker News

Gabriel's Horn

en.wikipedia.org

21–30 of 31 posts

Re: Gabriel's Horn

#21
post #2

Also check out the Menger sponge, which has infinite surface area and zero volume: http://en.m.wikipedia.org/wiki/Menger_sponge

I think Sierpinski's triangle may also be of interest here, which, contrastly, approaches zero surface area: http://en.wikipedia.org/wiki/Sierpinski_triangle

not constrast; it's analogous, in lower dimension.

Sponge has infinite area and 0 volume. Sierpinski's triangle has infinite perimiter and 0 area.

Re: Gabriel's Horn

#22
post #10

I've thought it was paradoxical that infinitely long curves could have finite integrals ever since I first took calculus. For example, the integral of 1/x is |ln x|. I wonder why it takes three dimensions before people start getting upset.

The paradox is not the convergence of infinite long curves.. Read the paradox description. To fill the horn with paint you need a finite amount. To paint the outside of the horn you need an infinite amount. That is the paradox. The surface area of the inside is equal to the outside, yet one side requires a finite amount of paint while the other side requires an infinite amount. At least that's how I understand the pa…

It's the same thing. Imagine that you need one blob of paint for every tick-mark on the real axis. Infinite blobs of paint. (The resolution, in both scenarios, is that the size of a blob is not constant, and goes to infinitesimal)

Re: Gabriel's Horn

#23

This reminds me of a Putnam problem from a few years back, was something along the lines of: Construct a set of discs in R^2 s.t. no infinite straight line can be drawn without intersecting at least one disc, and the sum of the areas of all the discs is finite.

(approximate) logarithmic spiral of discs whose radii are the harmonic sequence?

(Awarded 1 point of 10 for being unable to specify the precise piecewise-linear spiral function)

Re: Gabriel's Horn

#24
post #7

I wonder what sound it would make. Can we model such a horn assuming a from, say, 1cm to some value p and simulate it?

One of the reasons that these sort of paradoxes can exist is because real numbers can get arbitrarily small. In principle, you could build a horn that very closely matches Gabriel's horn, but it would necessarily be an approximation of the mathematical object because you do not have available particles of arbitrary size with which to build. This last notion hints at an important property of the real numbers: they can be divided into pieces smaller than any size you can specify. They are useful abstractions upon which to build extremely successful models of reality [1], because at those scales, real numbers work very well. However, at extremely small scales, the correspondence between real numbers and reality breaks down. What does it mean to model a horn made of atoms with numbers that are arbitrarily small fractions of the width of an atom? This is not a 'real numbers / axiom of choice bad' rant, but rather I'd like to point out that real numbers exist in our minds, and using our physical intuition about to reason about them at very small scales is bound to lead to paradoxes.

[1] Electromagnetism, classical mechanics, etc

Re: Gabriel's Horn

#25

This reminds me of a Putnam problem from a few years back, was something along the lines of: Construct a set of discs in R^2 s.t. no infinite straight line can be drawn without intersecting at least one disc, and the sum of the areas of all the discs is finite.

Take a set of discs with radii 1/n. Their total area is finite but the sum of radii is infinite, so we can just use them to cover the X and Y axes. Yeah, this is pretty similar to Gabriel's horn.

Re: Gabriel's Horn

#26
post #10

I've thought it was paradoxical that infinitely long curves could have finite integrals ever since I first took calculus. For example, the integral of 1/x is |ln x|. I wonder why it takes three dimensions before people start getting upset.

I'm not sure how you intended the example, but it's probably a bad one: If you take the integral of 1/x, say from x=1 to infty, you don't get a finite amount (because ln x goes to infinity).

On the other hand, if you take 1/x^2 as the integrand, you get the desired effect: its antiderivative is -1/x, so the integral of 1/x^2 from x=1 to infty is finite (actually, it's 1).

By the way: For good fun with convergent series, take a look at the problem of escaping a lion in a circular arena at equal maximum speeds. Here's an example link to both question and answer: http://puzzling.stackexchange.com/questions/8140/escaping-a-...

IIRC, there is an even more fascinating story associated to the history of this problem, as the first published solution was actually incorrect.

Re: Gabriel's Horn

#27
post #10

I've thought it was paradoxical that infinitely long curves could have finite integrals ever since I first took calculus. For example, the integral of 1/x is |ln x|. I wonder why it takes three dimensions before people start getting upset.

I'm not sure how you intended the example, but it's probably a bad one: If you take the integral of 1/x, say from x=1 to infty, you don't get a finite amount (because ln x goes to infinity). On the other hand, if you take 1/x^2 as the integrand, you get the desired effect: its antiderivative is -1/x, so the integral of 1/x^2 from x=1 to infty is finite (actually, it's 1). By the way: For good fun with convergent seri…

Thanks for the correction! It's been a couple years since I've actually done any calculus. I couldn't remember the exact function, so I had to google - I guess I read too quickly.

Re: Gabriel's Horn

#28
post #10

I've thought it was paradoxical that infinitely long curves could have finite integrals ever since I first took calculus. For example, the integral of 1/x is |ln x|. I wonder why it takes three dimensions before people start getting upset.

The paradox is not the convergence of infinite long curves.. Read the paradox description. To fill the horn with paint you need a finite amount. To paint the outside of the horn you need an infinite amount. That is the paradox. The surface area of the inside is equal to the outside, yet one side requires a finite amount of paint while the other side requires an infinite amount. At least that's how I understand the pa…

From the article:

>Since the Horn has finite volume but infinite surface area, it seems that it could be filled with a finite quantity of paint, and yet that paint would not be sufficient to coat its INNER surface

Re: Gabriel's Horn

#29

Earlier quoted context omitted.

Or even just a convergent infinite series. Infinitely many positive numbers that sum to a finite number.

People don't tend to find that unintuitive. The Greeks had a nice geometric example in a square of side length 1: ┌┬┬─┬───┬───────┐ ├┘│3│ │ │ ├─┘-│ │ │ │ 64│ │ │ ├───┘ │ │ │ │ │ │ 3/16 │ │ │ │ │ ├───────┘ │ │ │ │ │ │ │ │ 3/4 │ │ │ │ │ │ │ └───────────────┘ 3/4 + 3/16 + 3/64 + 3/256 + ... is easy to visualize as successively filling in three quarters of an ever-smaller residual square. Intuitively, no matter how finel…

Now squeeze the top-left piece so it's half as wide but twice as tall (i.e. the same height as the full rectangle), and do this recursively. Same area, right? Then stack the L shapes on top of each other. Then you have one of these horns.

Re: Gabriel's Horn

#30
post #18

Earlier quoted context omitted.

Or even just a convergent infinite series. Infinitely many positive numbers that sum to a finite number.

This sum's finiteness seems pretty intuitive: 9 + 0.9 + 0.09 + 0.09 + 0.009...

Good example. Minor nitpick, you listed 0.09 twice.
Post reply on HN