@Oylok,
Oylok wrote:I plan to prove it, and then to post the proof...
But that might not be for some time, because I don't like the graphics tools currently at my disposal....
For now, I will just give an
overview, with none of the coordinate systems or graphics that might help people see that I'm right.
Before I start, I need to introduce a new term, which will hopefully render the explanation clearer, and which will describe four points in space. If you have four points in space, such that the distance between any two is always the same, then we'll say those points form a "
tetrahedral pattern." They have the same spatial relationship to each other as the hydrogen atoms in a methane molecule, I think. They form the corners of their own little regular tetrahedron.
Now, we want to line up four circles of equal size, so that they "just touch" in six places--each pair of circles touching exactly once. You can do that by inscribing them on the sides of a regular tetrahedron, which (to avoid confusing with other tetrahedra) I'm going to call "
the BIG tetrahedron." (The other requirement we make of the circles is that we have to be able to superimpose 4 vertices of a cube on their centres, but we'll see in time that this can be done.)
The first claim I'll make is that the four circles' centres are in a "tetrahedral pattern." You can see that this must be the case. Let's say that the distance between two of the centres ('a' and 'b', say) is X. Well, we can rotate the big tetrahedron around so that the two other centres ('c' and 'd', say) take the place of where 'a' and 'b' were, so the distance between 'c' and 'd' has to be X as well. In other words, all circle centres are the same distance apart, so their pattern is tetrahedral.
The second claim I'll make is that the stable set on a cube also forms a "tetrahedral pattern" in space. Let's use the unit cube whose vertices are {(0,0,0), (0,0,1), (0,1,0), (0,1,1), (1,0,0), (1,0,1), (1,1,0), (1,1,1)}. One of the stable sets of this cube is {(0,0,0), (0,1,1), (1,0,1), (1,1,0)}. Clearly, any two of these points are a distance
sqrt(2) apart. So the stable set forms a tetrahedral pattern in space.
The great thing about
that is that by magnifying, rotating and translating one tetrahedral pattern of points, we can move them around so they cover up another tetrahedral pattern. So by magnifying, rotating and translating our unit cube we can cover up the 4 circle centres with the 4 vertices in cube's stable set, without our cube losing that lovely "cube shape." Therefore it is possible for
a cube to incorporate the centres of 4 circles which all "just touch each other."
(I may have botched the calculation, but I believe the volume of the cube we want is
sqrt(6) / 36. I will have to double check.)