Six intersecting cylinders and the Brilliant logo

Six cylinders of unit radius are arranged so that each of their central axes passes through the centres of opposite faces of a dodecahedron. What is the volume common to all six cylinders?

This question, or something similar, was posed by a community member a few months ago. I've enjoyed working on it and meeting several new polyhedra in the process.

The first step in answering this problem is to visualise the shape of the solid formed by this intersection. Solid shapes formed by the intersection of cylinders meeting at a common point are known as Steinmetz solids. It’s almost possible for me to visualise the shape of two cylinders intersecting at right angles. Any more than that becomes very difficult for me. I can readily find pictures on the internet of Steinmetz solids formed by the intersection of two or three cylinders along with formulae for their volumes. I can’t easily find an image for this arrangement of six cylinders though.

Faced with six cylinders, how can we see the resulting solid of intersection? The first thing to note is the symmetry. It’s based on a dodecahedron or, equivalently an icosahedron (the dual solid of the dodecahedron) with the cylinder axes passing through the vertices of the icosahedron.

The Steinmetz solid will have faces that are each portions of a cylinder's surface. Each face is the region of the surface of the cylinder that is closer than any other to the common centre, OO, of the solid. Each face will be curved rather than flat as they are part of the surface of a cylinder. Lines on this surface parallel to the axis of the cylinder will be straight and parallel to each other following the longitudinal lines of the cylinder’s surface.

What is the shape of the region(s) on the cylinder surface that are closer to OO than any other cylinder? The closest the surface gets to OO is 1 unit when a line from the surface to OO is perpendicular to the surface. In two dimensions, this corresponds to points A and B in the diagram below. In three dimensions, it corresponds to a great circle around the unit sphere centred on OO.

Harnessing the symmetry, we can ask which solid has six great circles and icosahedral symmetry? It’s this thing: a projection of an icosidodecahedron onto a unit sphere. It splits the sphere into triangle and pentagon-like shapes. Each great circle will be on the surface of the final Steinmetz solid.

Any distance away from one of these great circles (either on the sphere or on a cylinder surface) increases the distance between the cylinder surface and OO to 1+h1+h where hh is strictly increasing with increasing distance. (see 2D diagram above). So for any point on the sphere, the cylinder closest to OO will be the one that has the closest tangent great circle. Let’s roughly draw these areas near one tangent great circle. Arrows point to the nearest great circle.

The regions of the cylinder surface we are interested in are roughly kite-shaped and push into adjacent triangle and pentagon-like areas. One diameter, call it dd, of the kite is an arc of the circle and is curved. The other diameter, DD, is a longitudinal line on the cylinder and is straight. In the diagram below, the kite-shaped face is formed on the pink cylinder by the four blue ellipses. DD runs from J to K while d runs from H to I.

There are ten such faces for each such cylinder alternating in orientation. They encompass the circumference of the tangent great circle. Each face occupies one tenth of the circumference. Six cylinders makes 6 times 10 or 60 faces in total. The resulting solid shape is like a deltoidal hexecontahedron:

but with curved rather than flat faces, one of which is shown below.

If we add in the straight diagonals, DD, of each kite shaped face, we get a close approximation of the required Steinmetz solid, a 120-face solid called the disdyakis triacontahedron:

The projection of this shape onto the sphere should be familiar to users of this website:

So that’s an approximation of the shape. What is its volume? If we could work out the volume of the pyramid-like shape with one face as the base and OO as the peak, we could multiply by 60 to find the volume. Since the kite-shaped face has an axis of symmetry, we can more easily work out half the volume and multiply by 120.

It’s hard to work with the edges of the face because they are arcs of ellipses. The central diagonal, DD, of each curved face is however a straight line. Considering only these straight diagonals, DD, we get yet another polyhedron, a rhombic tricontahedron:

The faces of a rhombic tricontahedron are golden rhombuses; their diagonals are in the golden ratio ϕ\phi. The parallel lines are separated by a curved arc of length d=π/5d = \pi/5 being one tenth of the circumference of the unit circle. The straight-line distance, ss, is slightly shorter and is 1/ϕ1/\phi being the side length of a decagon inscribed in a unit circle.

These facts and a little geometry allow us to work out the length of DD as 12+12ϕ2\frac{1}{2} + \frac{1}{2 \phi^2} or approximately 0.691 units.

We now have the dimensions we need. Although there are two different triangle shapes making up one half of the kite shape, they have the same area and volume as one triangle with base DD and height dd.

The diagram shows in black the shape and dimensions of this triangular sliver of the whole Steinmetz solid:

In polar coordinates, the volume of this shape is:

010π/10(heightfunction) r dr dθ\int_{0}^{1}\int_{0}^{\pi/10} (height function)\ r\ dr\ d\theta

where the height function is yy multiplied by the slope of the blue plane, D/s2 = 2 ϕ DD/\frac{s}{2}\ =\ 2\ \phi\ D so the height function in polar coordinates is:

2 ϕ D r sinθ2\ \phi\ D\ r\ \sin \theta

Taking the constant out of the integral gives:

2 ϕ D010π/10r sinθ r dr dθ2\ \phi\ D\int_{0}^{1}\int_{0}^{\pi/10} r\ \sin\theta\ r\ dr\ d\theta

=2 ϕ D01r2 [cosθ]0π/10dr=2\ \phi\ D\int_{0}^{1} r^2\ \left [-\cos\theta\right ]^{\pi/10}_{0} dr

=2 ϕ D S01r2 dr=2\ \phi\ D\ S\int_{0}^{1} r^2\ dr , where S=1cos(π/10)S= 1-\cos (\pi/10) is the sagitta of a decagon in a unit circle, approximately 0.049

=2 ϕ D S[r33]01=2\ \phi\ D\ S\left [\frac{r^3}{3} \right ]^{1}_{0}

=2 ϕ D S r33=2\ \phi\ D\ S\ \frac{r^3}{3}

It’s interesting to see that this volume scales with the cube of the radius of the cylinders, as expected and follows the pattern of the volume of a pyramid or cone where V=1/3(area of base) times heightV= 1/3 (area\ of\ base)\ times\ height

Here r=1r=1 so V=2 ϕ D S3V= \frac{2\ \phi\ D\ S}{3} and total volume =120 V=80 ϕ D S= 120\ V = 80\ \phi\ D\ S. This is 4.378 cubic units, a little more than 4.189 cubic units, the volume of the unit sphere, as expected.

This exploration can be extended in different ways. What is the common volume of intersecting cylinders that are face, edge or vertex-centered with respect to a cube, an octahedron or some other shape? What other pyramids with curved bases have volume as 1/3 base times height? Is there a simpler expression for the volume? I’m interested in your comments.

Note by Justin Travers
4 weeks, 1 day ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

There are no comments in this discussion.

×

Problem Loading...

Note Loading...

Set Loading...