Exposition:
In two dimensions, there is a (are many) straightforward explanation(s) of the fact that the perimeter (i.e. circumference) and area of a circle relate to the radius by 2πr and πr2 respectively. One argument proceeds by approximating these quantities using regular cyclic polygons (equilateral, equiangular, on the circle of radius r), noting that such a polygon with n sides can be decomposed into n isosceles triangles with peak angle 2πn, base length 2rsinπn, and altitude rcosπn . Then, associating the circle with the limiting such polygon, we have,
P=limn→∞n⋅base length =limn→∞2r⋅πnπsinπn=2πr ,
and similarly, (via trig identity)
A=limn→∞n(12 base × altitude )=limn→∞r2⋅2π2n2πsin2πn=πr2 .
Question:
Could someone offer intuition, formulas, and/or solutions for performing a similarly flavored construction for the surface area and volume of a sphere?
Images and the spatial reasoning involved are crucial here, as there are only so many platonic solids, so I am not seeing immediately the pattern in which the tetrahedra (analogous to the 2D triangles) will be arranged for arbitrarily large numbers of faces. Thus far my best result has been a mostly-rigorous construction relying on this formula (I can write up this proof on request). What I'd like to get out of this is a better understanding of how the solid angle of a vertex in a polyhedron relates to the edge-edge and dihedral angles involved, and perhaps a "dimension-free" notion for the ideas used in this problem to eliminate the need to translate between solid (2 degrees of freedom) and planar (1 degree) angles.
Answer
Alright, I've come up with a proof in what I think is the right flavor.
Take a sphere with radius r, and consider the upper hemisphere. For each n, we will construct a solid out of stacks of pyramidal frustums with regular n-gon bases. The stack will be formed by placing n of the n-gons perpendicular to the vertical axis of symmetry of the sphere, centered on this axis, inscribed in the appropriate circular slice of the sphere, at the heights 0nr,1nr,…,n−1nr . Fixing some n, we denote by rℓ the radius of the circle which the regular n-gon is inscribed in at height ℓnr . Geometric considerations yield rℓ=rn√n2−ℓ2 .
As noted in the question, the area of this polygonal base will be n2r2ℓsin2πn for each ℓ . I am not sure why (formally speaking) it is reasonable to assume, but it appears visually (and appealing to the 2D case) that the sum of the volumes of these frustums should approach the volume of the hemisphere.
So, for each ℓ=1,2,…,n−1, the term Vℓ we seek is 13B1h1−13B2h2, the volume of some pyramid minus its top. Using similarity of triangles and everything introduced above, we can deduce that
B1=n2r2ℓ−1sin2πn , B2=n2r2ℓsin2πn , h1=rnrℓ−1rℓ−1−rℓ , h2=rnrℓrℓ−1−rℓ .
So, our expression for Vℓ is
r6sin2πn{r3ℓ−1rℓ−1−rℓ−r3ℓrℓ−1−rℓ}=πr3nsin2πn2π/n{r2ℓ−1+r2ℓ+rℓ−1rℓ}
So, we consider limn→∞∑n−1ℓ=1Vℓ . The second factor involving sine goes to 1, and we notice that each of the three terms in the sum is quadratic in ℓ, and so the sum over them should intuitively have magnitude n3. Hence, we pass the 1n3 into the sum and evaluate each sum and limit individually, obtaining 2/3, 2/3, and 2/3 respectively (the first two are straightforward, while the third comes from the analysis in this answer).
Thus, we arrive at πr33(2/3+2/3+2/3)=23πr3 as the volume of a hemisphere, as desired.
So was this too excessive or perhaps worth it? I'll leave that to all of you. :)
No comments:
Post a Comment