I didn't think it was possible to have a finite area circumscribing an infinite volume but on page 89 of Nonplussed! by Havil (accessible for me at Google Books) it is claimed that such is the goblet-shaped solid generated by revolving the cissoid y$^2$ = x$^3$/(1-x) about the positive y-axis between this axis and the asymptote x = 1. What do you think?
-
3What exactly are you asking? – Arturo Magidin Jan 25 '11 at 05:35
-
I am asking if Havil is mistaken. – ThudanBlunder Jan 25 '11 at 08:12
-
1@ThudanBlunder: Then perhaps you should actually ask it? As, in the body of your question? – Arturo Magidin Jan 25 '11 at 14:11
-
1With a small bit of work (involving compact cut-offs and such) and some regularity assumptions on the boundary surface, you can actually show that the claim of a finite area surface bounding an infinite volume violates the isoperimetric inequality. – Willie Wong Jan 25 '11 at 15:08
-
@Arturo Magidin: Yes, you are right. I had a few things on my mind and suffered a lapse of concentration. 'What do you think?' is a silly question. – ThudanBlunder Jan 25 '11 at 18:20
-
@Willie Wong: Coincidentally, I recently started a thread about the isoperimetrical quotient on another [url=http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_easy;action=display;num=1292959653]forum[/url], and so I ought to know the answer. But I thought I would see what the experts think, - sorry, I mean I would check with the experts. – ThudanBlunder Jan 25 '11 at 19:30
-
That URL is http://tinyurl.com/6ej6k4b – ThudanBlunder Jan 25 '11 at 19:40
4 Answers
First, let's have a proper link to the book, alright?
Now, as can be seen, they are talking about the cissoid of Diocles, which has the Cartesian equation $y^2=\frac{x^3}{a-x}$ . One can check that the cissoid encloses a finite area along with its asymptote: $\frac34\pi a^2$ ; thus you can expect the corresponding surface of revolution to have finite volume.
- 111
-
2To add to this: Havil's interpretation is surely wrong. Look at the quote on the next page from de Sluze: levi opera deducitur mensura vasculi, pondere non magni, quod interim helluo nullus ebibat which he translated as "a drinking glass that has small weight but the heaviest of drinkers cannot empty". The key is the word "weight". A physical goblet has material thickness. So imagine the goblet itself being the volume of revolution formed by the vertical asymptote and the cissoid--it has finite volume and hence finite weight (assuming a constant density material for the goblet). – Willie Wong Jan 25 '11 at 14:51
-
2But the amount of liquid it can hold, being the volume of revolution between the y axis and the cissoid, is infinite. Hence a goblet of finite weight (and by rescaling, arbitrarily small weight) but "infinite volume". – Willie Wong Jan 25 '11 at 14:52
The interpretation is mangled. The volume is finite but the surface area infinite, much like Gabriel's Horn. The idea of the quote is much as in Gabriel's Horn: since the volume is finite, you can imagine "filling it up" with a finite amount of paint. But the surface area is infinite, which suggests that you are "painting" an infinite surface with a finite amount of paint, a paradox (of course, quantum mechanics gets in your way, even theoretically). So you get an unbounded area (which de Sluze and Huygens called "infinite") that can be "covered" with a finite quantity (the amount of "paint").
- 398,050
I'm looking at the quote right now, and it must be wrong. The goblet is infinitely tall, with a radius of approximately 1, so it must have infinite area as well. The quote at the end by de Sluze refers to the weight being finite (proportional to the volume under the curve, above the x-axis), while the cup itself can hold an infinite volume. No matter how you play with this, the surface area must be infinite.
- 3,721
Havil is correct except for a couple of misleading inaccuracies.
The key is that the Cup of de Sluze is a solid object (as @willie-wong points out), not just a surface like Torricelli's Trumpet. It is an infinitely tall cylindrical cup, the inside of which is the curved rotation of the cissoid. Havil explains how it is generated: "The solid concerned is contained between the rotation of the upper half of the cissoid and the vertical asymptote about the y-axis".
The misleading items are
- Havil says that "their solid has finite surface area and infinite volume", but actually the solid has finite volume and infinite capacity.
- Figure 8.6 shows only the interior surface of the solid, not the whole thing.
So the point is that you could make the cup from a finite amount of material, but it could hold an infinite amount of liquid. Of course, it would be impossible to put anything into the cup or drink from it, since it has no lip!
- 101