Read · 1 min
We would like to show that a certain Platonic solid exists. In this case, we take equilateral triangles for the faces, and we have intersect at each vertex. As we all know, this produces a tetrahedron. But how can we show that it exists?
First, take a single point . Now, put three of the equilateral triangles around point such that each triangle has a vertex at , and that each pair of triangles shares exactly one edge.
Denote the three other vertices , , and . Then our triangles are , , and .
Now, we make an important conclusion. Notice that is a side of the equilateral . A similar conclusion holds for and . But since all of the equilateral triangles are congruent, we have that is also an equilateral triangle, with the same size as the first three!
Place a fourth triangular face over . Now, let us examine what we have made.
Surrounding point are equilateral triangles , , and . This is, indeed, exactly the same situation as point . You can check for yourself that it also works for and .
To be even more sure, we can even look at Euler's formula. There are four vertices: , , , and . There are six edges: , , , , , and . Last, there are four faces: , , , and . It is easy to see that , so we can be extra sure that this is indeed a valid three-dimensional solid.
Thus, we have satisfied the conditions for our Platonic solid, and the tetrahedron exists!