7
$\begingroup$

Take a regular tetrahedron of edge one.

Also take a square-based pyramid, whose edges are all one (therefore the side faces are equilateral triangles of same size as the faces of the tetrahedron).

Glue a face of the tetrahedron to a triangular face of the pyramid so that their edges match up.

Considering the volume taken up by the two pieces as a single polyhedron, how many faces does it have?

$\endgroup$
  • 3
    $\begingroup$ I think I recall that this was an SAT question many years ago, and a student who had been marked wrong on it challenged the "obvious" answer to the question and won. $\endgroup$ – David K Nov 6 '14 at 19:32
  • $\begingroup$ I actually got it from an Arthur C Clarke novel, "the Ghost from the Grand Banks", where a child prodigy does the same thing. $\endgroup$ – IanF1 Nov 6 '14 at 19:34
  • $\begingroup$ The incident I'm thinking of occurred in the early 1980s, so Clarke may well have gotten the idea from that. $\endgroup$ – David K Nov 6 '14 at 19:46
  • 3
    $\begingroup$ Some details I have since found: this question was on the October 1980 PSAT and was challenged successfully by Daniel Lowen. The story was reported in early 1981. See this account or this. $\endgroup$ – David K May 20 '15 at 18:22
  • $\begingroup$ @DavidK excellent! Thanks for digging that out. The proof involving two pyramids side by side in your second link is very elegant and would have been the answer I accepted here :-) $\endgroup$ – IanF1 May 20 '15 at 19:54
14
$\begingroup$

I visualized the solution Nick provided:

(I found it because it had used this arrangement to build boats models with a magnet game)

$\endgroup$
  • 2
    $\begingroup$ This figure makes it immediately evident that the triangles are coplanar (hence, the faces "merge down"). Because the front facing faces of both pyramids are obviously coplanar, and the pink face of the subtended tetrahedron is obviously on the same plane (its three vertices lie on the faces of the pyramids). No formulas or calculations required! $\endgroup$ – Nicolas Miari Aug 22 '16 at 12:57
8
$\begingroup$

Recall that the regular tetrahedron is self-dual: it is its own dual polyhedron, thus for a regular tetrahedron of edge length 2, consider its compound with its own dual such that both tetrahedra share the same circumradius. The resulting compound is known as the stella octangula. The intersection of the two tetrahedra (i.e., the region of space common to both) is a regular octahedron of edge length 1, and half of this octahedron as bisected by a plane perpendicular to a fourfold axis, forms the aforementioned square pyramid. This pyramid, upon which a smaller regular tetrahedron of edge length 1 is attached, is the figure of interest. But from this description, it becomes immediately obvious that two of the three faces of the small tetrahedron are coplanar with two of the triangular faces of the square pyramid, thus there are only 5 distinct faces to this polyhedron.

Explanatory figure taken from the MathWorld link above:

enter image description here

Here we see that the coplanarity is evident.

$\endgroup$
  • 1
    $\begingroup$ Much more elegant (obviously!!) than my own attempt. +1 and will accept it unless anyone somehow makes it even plainer anytime soon. $\endgroup$ – IanF1 Nov 6 '14 at 19:07
  • $\begingroup$ An equivalent explanation can be given by considering the first stellation of a regular octahedron, which is equivalent to adding eight regular tetrahedra to each octahedral face, resulting in the stella octangula; and from this, again the coplanarity immediately follows. The only subtlety is to establish that stellation produces a regular tetrahedron; this follows from the fact that joining the midpoints of the 6 edges of a regular tetrahedron results in a regular octahedron. $\endgroup$ – heropup Nov 6 '14 at 19:12
6
$\begingroup$

Let $ABCD$ be the base square of the pyramid, $S$ its tip, and $M$ the midpoint of $BS$. The segment $BS$ is a hinge connecting two equilateral triangles; therefore the plane of the triangle $\triangle:=AMC$ intersects $BS$ orthogonally. It follows that the angle $\alpha:=\angle(AMC)$ is the angle between two adjacent walls of the pyramid. Using the cosine theorem one obtains $$\cos\alpha={{3\over4}+{3\over4}-2\over 2\cdot {\sqrt{3}\over2}\cdot{\sqrt{3}\over2}}=-{1\over3}\ .$$ The angle $\beta$ between two faces of the tetrahedron is the angle at the tip of an isosceles triangle with sides ${\sqrt{3}\over2}$, ${\sqrt{3}\over2}$, and $1$; so $$\cos\beta={{3\over4}+{3\over4}-1\over 2\cdot {\sqrt{3}\over2}\cdot{\sqrt{3}\over2}}={1\over3}\ .$$ It follows that $\alpha+\beta=\pi$. Therefore the resulting solid does not have $5+4-2=7$ faces, as expected, but only $5$ of them: the base square and one triangular side wall of the pyramid, two rhombi composed of a side wall of the pyramid and a facet of the tetrahedron, and one facet of the tetrahedron.

$\endgroup$
3
$\begingroup$

I believe that it would be the number of faces of the tetrahedron ($4$), plus the number of faces of the pyramid ($5$), minus the two faces that got glued together since they will not be on the outside surface of the resulting polyhedron, so $7$ faces total.

$\endgroup$
  • $\begingroup$ I'm afraid this is an instance where the obvious solution is not the correct one. $\endgroup$ – IanF1 Nov 6 '14 at 6:38
  • $\begingroup$ @IanF1 ...oh... if you are getting at what I think you are, then the definition of face becomes important. If there are still edges there along where the two original polyhedra are glued together, then would we get rid of those edges just because the incident faces are flush with each other (in the same plane)? $\endgroup$ – Mike Pierce Nov 6 '14 at 6:42
  • $\begingroup$ I've edited the question, does that resolve the definition problem? $\endgroup$ – IanF1 Nov 6 '14 at 6:47
  • 1
    $\begingroup$ @IanF1, that edit definitely makes it clear. This is a pretty cool question. I've worked in topology more recently than in solid geometry, so that subtlety completely got by me. $\endgroup$ – Mike Pierce Nov 6 '14 at 6:51
  • $\begingroup$ @IanF1: I don't understand why this answer is not the correct one. May you expand on your comment? $\endgroup$ – Taladris Nov 6 '14 at 8:00
3
$\begingroup$

One way to think about this problem is as follows:

  1. In your mind, take 2 pyramids, and place them together on a flat surface, square side down, with the edges touching. Note that each of their 2 adjacent sides are parallel to the equivalent sides on the other pyramid, and are in the same plane.

  2. Draw a line between the tips.

  3. Think of the length of that line. It covers half of the square base of each pyramid, thus it is equal to the square base.

  4. The shape formed from this line and the closest side of each pyramid is the tetrahedron described (the other 3 dimensions are defined by the triangular sides of the pyramids, which are also equal to the square base). The two added sides are in the same plane as those of both pyramids, forming a single shape with 6 sides.

  5. Now take off one of the pyramids. It's two sides are now replaced with the 1 side where it was connected to the tetrahedron. Thus, 5 sides.

$\endgroup$
  • $\begingroup$ Nice, except that even the solid in step 4 has only 5 faces i think. But yes this is a very intuitive way of thinking about it $\endgroup$ – IanF1 Dec 12 '15 at 10:28
0
$\begingroup$

I tried to do this with vectors and angles at first, but it got a bit hand-wavy and I couldn't nail down the details. Any alternative answer which does this more elegantly would be very welcome.

Let's work out the Cartesian coordinates of all the vertices.

For the sake of convenience and symmetry let's double the edge length to 2 and place the base of the pyramid at vertices: $A=(-1, -1, 0)$, $B=(-1, 1, 0)$, $C=(1, 1, 0)$, $D=(1, -1, 0)$

Then the apex of the pyramid will be at $E=(0, 0, h)$ for some value of $h$ which we can find with 3d Pythagorus:

$2^2 = DE^2 = 1^2 + 1^2 + h^2$

$4 = 2+h^2$

$h = \sqrt2$

Now place the tetrahedron against face CDE, and call its fourth vertex F, located at (x, y, z).

By symmetry (equidistant from C and D) we can see that y must be 0; let's calculate x and z.

3d Pythagorus again gives:

$2^2 = EF^2 = x^2 + 0^2+ (z-\sqrt2)^2$ (1)

$2^2 = CF^2 = (x-1)^2 + 1^2 + z^2$ (2)

Rearranging (1):

$x = \sqrt{4 - (z-\sqrt2)^2}$

Substituting in (2) and rearranging (a messy exercise left to the reader!), it turns out the only sensible solution is $z = \sqrt2 = h, x = 2$

So EF is parallel to BC and B, C, E, F are coplanar. Instead of two triangular faces, these vertices form a single parallelogram face. Similarly for A, D, E, F.

So the resulting solid is a pentahedron comprising one square face, two triangular faces (one from the pyramid, one from the tetrahedron) and two parallelograms.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.