1972 IMO Problems/Problem 6
Given four distinct parallel planes, prove that there exists a regular tetrahedron with a vertex on each plane.
Let our planes be , which we assume to be parallel to the -plane, listed in the increasing order of their -coordinates. First take a plane orthogonal to , which cuts along three lines . On these three lines, take three vertices respectively of an equilateral triangle (it is well-known that this is possible; in fact, the problem here is the -dimensional version of this), and then complete the two regular tetrahedra having as one of their faces. Both lie below .
Now take another plane and repeat the construction above. If makes a small enough angle with the 's, one of the 's we get this time must lie above . Now, if we move the initial position of towards the new one continuously and record the -coordinates of , these will be continuous functions of the angle that makes with , and for one of the points the -coordinate will move continuously from being smaller than that of to being larger than it, meaning that at some point, one of the points will lie on , and this is what we want.
The above solution was posted and copyrighted by grobber. The original thread for this problem can be found here: 
Let's denote the (directed) distance between two parallel planes p and p' by d (p; p'), and the (directed) distance between two parallel lines g and g' by d (g; g'). (Directed distances are defined as follows: If , , , ... is a family of parallel planes in space, then we choose a unit vector perpendicular to all of these planes (there are two such unit vectors, and we have to choose one of them), and then, by the directed distance between two of these planes and , we denote the real number k such that the translation with translation vector maps the plane to the plane . Similarly, we define the directed distance between two of a family of parallel lines in a plane.)
The problem can be rewritten as follows: Given four distinct parallel planes , , , in space, prove that there exists a regular tetrahedron XYZW such that , , , .
In order to do this, it is enough to find a regular tetrahedron ABCD somewhere in space and four parallel planes , , , such that , , , and . In fact, once we have found such a tetrahedron ABCD and such planes , , , , then, because of , and , there exists a similitude transformation which maps the planes , , , to the planes , , , ; this similitude transformation will then obviously map the regular tetrahedron ABCD with , , , to a regular tetrahedron XYZW with , , , ; hence, the existence of such a tetrahedron XYZW will be proven, and the problem will be solved.
So consider a regular tetrahedron ABCD lying arbitrarily in space; we try to find four parallel planes , , , such that , , , and .
In fact, we start working in the plane ABC. Let T be the point on the line AC such that (where the segments AT and TC are directed). Let be the line BT, and let and be the parallels to the line through the points A and C, respectively. Then, the lines , , are parallel and, by Thales, . Thus, . Now, denote by the line in the plane ABC which is parallel to the lines , , and satisfies .
Now, let be the plane passing through the line and the point D. Let , , be the planes parallel to and passing through the lines , , , respectively (of course, we can construct such planes since the lines , , are parallel to ). Thus, we have found four parallel planes , , , such that , , , , and these planes obviously satisfy . Since , we thus have . Hence, according to the above, the problem is solved.
The above solution was posted and copyrighted by darij grinberg. The original thread for this problem can be found here: 
|1972 IMO (Problems) • Resources|
|1 • 2 • 3 • 4 • 5 • 6||Followed by|
|All IMO Problems and Solutions|