Napkin ring problem¶
In geometry, the napkin-ring problem involves finding the volume of what remains after a circular hole is drilled through a sphere.
Core Idea¶
Napkin ring problem is treated here as the recurring geometry identity summarized by this source-grounded definition: In geometry, the napkin-ring problem involves finding the volume of what remains after a circular hole is drilled through a sphere. In geometry, the napkin-ring problem involves finding the volume of what remains after a circular hole is drilled through a sphere. Specifically, the hole has the shape of a right circular cylinder (with two spherical caps) whose axis goes through the center of the sphere. Removing the "hole" leaves a circular "band".
Scope of Application¶
-
Proof. This is an application of Cavalieri's principle: volumes with equal-sized corresponding cross-sections are equal.
-
Another Derivation. The spherical cap volume used in Vn uses the cap's height hs .
-
Statement. The "band" is the part of the sphere that is outside the cylinder.
-
Statement. The volume of the band depends on h but not on R.
-
Statement. As the radius R of the sphere shrinks, the diameter of the cylinder must also shrink in order that h can remain the same.
Clarity¶
A clear use of Napkin ring problem names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In geometry, the napkin-ring problem involves finding the volume of what remains after a circular hole is drilled through a sphere.
Manages Complexity¶
Napkin ring problem compresses multiple geometry details into a stable diagnostic relation. The source shows both the central mechanism—an early study of this problem was written by 17th-century Japanese mathematician Seki Kōwa.—and the practical consequence—in geometry, the napkin-ring problem involves finding the volume of what remains after a circular hole is drilled through a sphere.
Abstract Reasoning¶
- Type the carrier. Identify the geometry entities to which the claim applies.
- State the relation. Use the source-grounded identity: In geometry, the napkin-ring problem involves finding the volume of what remains after a circular hole is drilled through a sphere.
- Check operation and conditions. The cross-section of the band with the plane at height y is the region inside the larger circle of radius given by (2) and outside the smaller circle of radius given by (1).
- Demand recognition evidence.
Knowledge Transfer¶
Within the home domain. Knowledge about Napkin ring problem transfers literally when a new case preserves the same carrier type, relation, and recognition test. This is an application of Cavalieri's principle: volumes with equal-sized corresponding cross-sections are equal. The spherical cap volume used in Vn uses the cap's height hs . Beyond the home domain. No canonical parent is asserted for Napkin ring problem. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.
Relationships to Other Abstractions¶
Current abstraction Napkin ring problem Domain-specific
Parents (1) — more general patterns this builds on
-
Napkin ring problem is a kind of Invariance Prime
The napkin ring problem's entire content is the surprising fact that the remaining volume is invariant under a transformation (changing the sphere's radius) once the band height is fixed, via Cavalieri's principle.
Hierarchy path (1) — routes to 1 parentless root
- Napkin ring problem → Invariance
Neighborhood in Abstraction Space¶
Napkin ring problem sits in a moderately populated region (43rd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Continuum Mechanics & Field Models (42 abstractions)
Nearest neighbors
- Stokes's law — 0.87
- Absolute value — 0.87
- Single Vegetative Obstruction Model — 0.87
- Solid of revolution — 0.87
- Oblate Spheroidal Coordinates — 0.87
Computed from structural-signature embeddings · 2026-10-08