Maths Olympiad Prep

Library / /3 of 4

, 2014

Geometry Difficulty 6.5 National Olympiad Prove it Romania

Let nn be a positive integer. A Steiner tree associated with a finite set SS of points in the Euclidean nn-space is a finite collection TT of straight-line segments in that space such that any two points in SS are joined by a unique path in TT; its length is the sum of the segment lengths. Show that there exists a Steiner tree of length 1+(2n11)31 + (2^{n-1} - 1)\sqrt{3} associated with the vertex set of a unit nn-cube.

Solution

We describe a recursive procedure for constructing the desired Steiner tree. The case n=1n = 1 is handled by a single line segment.

Assume a Steiner tree of length 1+(2n11)31 + (2^{n-1} - 1)\sqrt{3} associated with the vertex set of a unit nn-cube has been constructed such that each vertex of the nn-cube is the endpoint of just one segment, and the length of this segment is greater than 3/6\sqrt{3}/6. Now consider a unit (n+1)(n+1)-cube. Select a pair of opposite nn-faces and consider the nn-cube whose vertices are the midpoints of the edges joining the corresponding vertices of these faces. Start with the assumed Steiner tree associated with the vertex set of this nn-cube. For each vertex vv of this nn-cube, delete a segment of length 3/6\sqrt{3}/6 from the segment terminating at vv, then add the segments joining the new endpoint to the two vertices of the (n+1)(n+1)-cube that are endpoints of the edge containing vv. By the Pythagorean theorem, these segments each have length 1/31/\sqrt{3}. The net effect of these changes is to add 2n(2/33/6)=2n132^n(2/\sqrt{3} - \sqrt{3}/6) = 2^{n-1}\sqrt{3} to the length of the tree. Thus the resulting tree has length 1+(2n1)31 + (2^n - 1)\sqrt{3}. It is clearly a Steiner tree associated with the vertex set of the (n+1)(n+1)-cube and has the additional properties required for the induction.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.