Maths Olympiad Prep

Library / HMMT February /1287 of 1302

HMMT February, 2022

Algebra Difficulty 6.3 National Olympiad Prove it United States

Problem:
On a board the following six vectors are written:
(1,0,0),(−1,0,0),(0,1,0),(0,−1,0),(0,0,1),(0,0,−1) (1,0,0), \quad(-1,0,0), \quad(0,1,0), \quad(0,-1,0), \quad(0,0,1), \quad(0,0,-1)
Given two vectors vv and ww on the board, a move consists of erasing vv and ww and replacing them with 12(v+w)\frac{1}{\sqrt{2}}(v+w) and 12(v−w)\frac{1}{\sqrt{2}}(v-w). After some number of moves, the sum of the six vectors on the board is uu. Find, with proof, the maximum possible length of uu.

Solution

Solution:
For a construction, note that one can change
(1,0,0),(−1,0,0)→(2,0,0),(0,0,0)→(1,0,0),(1,0,0) (1,0,0),(-1,0,0) \rightarrow (\sqrt{2}, 0,0),(0,0,0) \rightarrow (1,0,0),(1,0,0)
and similarly for (0,1,0),(0,−1,0)(0,1,0),(0,-1,0) and (0,0,1),(0,0,−1)(0,0,1),(0,0,-1). Then u=(2,2,2)u=(2,2,2).

For the bound, argue as follows: let the vectors be v1,…,v6v_{1}, \ldots, v_{6}, n=(x,y,z)n=(x, y, z) be any unit vector, and S=∑i(n⋅vi)2S=\sum_{i}(n \cdot v_{i})^{2}, where the sum is over all vectors on the board. We claim that SS is invariant. Indeed, we have
(n⋅12(v+w))2+(n⋅12(v−w))2=(n⋅v+n⋅w2)2+(n⋅v−n⋅w2)2=2(n⋅v)2+2(n⋅w)22=(n⋅v)2+(n⋅w)2 \begin{aligned} \left(n \cdot \frac{1}{\sqrt{2}}(v+w)\right)^{2}+\left(n \cdot \frac{1}{\sqrt{2}}(v-w)\right)^{2} & =\left(\frac{n \cdot v+n \cdot w}{\sqrt{2}}\right)^{2}+\left(\frac{n \cdot v-n \cdot w}{\sqrt{2}}\right)^{2} \\ & =\frac{2(n \cdot v)^{2}+2(n \cdot w)^{2}}{2} \\ & =(n \cdot v)^{2}+(n \cdot w)^{2} \end{aligned}
Also, at the beginning we have S=2x2+2y2+2z2=2S=2 x^{2}+2 y^{2}+2 z^{2}=2. Therefore we must always have S=2S=2. Thus, by the Cauchy-Schwarz inequality we have
n⋅u=∑n⋅vi≤∑i(n⋅vi)26=12=23 n \cdot u=\sum n \cdot v_{i} \leq \sqrt{\sum_{i}(n \cdot v_{i})^{2}} \sqrt{6}=\sqrt{12}=2 \sqrt{3}
But since nn is arbitrary, this implies that ∣u∣≤23|u| \leq 2 \sqrt{3}; otherwise we could pick n=u/∣u∣n=u /|u| and reach a contradiction.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.