Maths Olympiad Prep

Library / /175 of 520

Geometry Difficulty 6.2 National olympiad Prove it

If we have a collection of points in space, we may reflect a point of the collection in another point of the collection and add the image of this to the collection.
If we start with a collection consisting of seven of the eight vertices of a cube, can we get the eighth vertex in the collection after a finite number of steps?

Solution

When we reflect a point xx on the number line in a point yy, we get the reflected point Sy(x)=y(xy)=2yxS_{y}(x)=y-(x-y)=2 y-x. The same applies to points in space: if we reflect an arbitrary point (x1,x2,x3)\left(x_{1}, x_{2}, x_{3}\right) in a point (y1,y2,y3)\left(y_{1}, y_{2}, y_{3}\right), we get S(y1,y2,y3)(x1,x2,x3)=(2y1x1,2y2x2,2y3x3)S_{\left(y_{1}, y_{2}, y_{3}\right)}\left(x_{1}, x_{2}, x_{3}\right)=\left(2 y_{1}-x_{1}, 2 y_{2}-x_{2}, 2 y_{3}-x_{3}\right).
We now consider only points with integer coordinates. No matter which grid point ( y1,y2,y3y_{1}, y_{2}, y_{3} ) we choose, the coordinates of the image S(y1,y2,y3)(x1,x2,x3)S_{\left(y_{1}, y_{2}, y_{3}\right)}\left(x_{1}, x_{2}, x_{3}\right) of (x1,x2,x3)\left(x_{1}, x_{2}, x_{3}\right) all have the same parity as the coordinates of (x1,x2,x3)\left(x_{1}, x_{2}, x_{3}\right). There are 23=82^{3}=8 different possibilities for the parity combinations of the grid points. We can thus color the points of our grid with 8 colors, such that the color of a point is invariant under reflection in any grid point.
Consider now the cube with vertices (0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1)(0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1), (1,1,0),(1,1,1)(1,1,0),(1,1,1). These vertices each have a different color in the aforementioned coloring. Therefore, if one vertex is missing, we cannot obtain it by repeatedly reflecting one of the other vertices, because you only get points of a color you already had.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.