11
$\begingroup$

A deltahedron is a polyhedron whose faces are equilateral triangles. It is well-known that there are exactly eight convex deltahedra, and it is easy to find out that this was first proved by Freudenthal and van der Waerden in 1947.

Unfortunately, the paper is in a rather obscure journal , and also is written in Dutch. (Freudenthal, H; van der Waerden, B. L. (1947), "Over een bewering van Euclides ("On an Assertion of Euclid")", Simon Stevin 25: 115–128). I was not able to obtain this article. I have spent a lot of time searching elsewhere for proofs. Most books and papers that I looked at that discussed the matter just referred back to the Freudenthal-van der Waerden paper. The only proof I found was quite ad-hoc and also unpersuasive: it depended on a lot of rather handwavy assertions about the geometric form of a deltahedron that I found not at all obvious.

If you have seen the Freudenthal-van der Waerden proof, how does it go? If you have not, but you have an idea for how to prove this, I would be glad to see that too.

  • 0
    The Euler characteristic gives some clues here, but this has got me playing with my daughters' "Geomag" set. This demonstrates that whilst the conclusion is "obvious" in the "traditional" way (of waving hands), it requires the geometric and metric properties of the underlying space and is not a topological theorem. For example, there is a configuration with 2 vertices of order 3 (3 edges) 2 of order 4 and 2 of order 5 - but it is not convex. It could be made convex if the faces were not equilateral. So the proof is not going to be without its technical points.2012-03-18
  • 0
    @MarkB Yes, quite so. Of course the first thing I looked at myself was the Euler characteristic, but it does not get you very close. There are 19 configurations of vertex degrees that satisfy the Euler criterion. Some of these can be ruled out for topological reasons, but others require specific geometric properties of $R^3$, and of course the Euler characteristic tells you nothing about whether the polyhedron will be convex. [I wrote a blog article about this particular approach](http://blog.plover.com/math/missing-deltahedra.html) a few years ago. Thanks very much for your comment.2012-03-18
  • 0
    MarkD - I was making some notes and used the same notation as your blog post. You mention there configuration (2,1,4) (two vertices of order 3, one of order 4 and four of order 5). This reveals a different block to a proof - it is possible to make a convex solid by adding a vertex of order 6 - which in the "natural" accounting system has cost zero - but the order 6 vertex is in the middle of one edge of the convex hull, so is a vertex of the graph but not of the convex solid.2012-03-19

2 Answers 2