Maths Olympiad Prep

Library / /15 of 91

, 2009

Geometry Difficulty 5.3 AIME, harder Prove it India

Let v1,v2,,vnv_1, v_2, \dots, v_n be n(2)n (\ge 2) unit vectors in the plane. Prove that there exist λ1,λ2,,λn\lambda_1, \lambda_2, \dots, \lambda_n, each equal to +1+1 or 1-1, such that
λ1v1+λ2v2++λnvn2. |\lambda_1 v_1 + \lambda_2 v_2 + \dots + \lambda_n v_n| \le \sqrt{2}.
(Here v|v| denotes the length of the vector vv.)

Solution

We prove the result for a more general class of vectors having magnitude not exceeding 11. We use induction on nn. If n=2n = 2, parallelogram law gives
v1+v22+v1v22=2(v12+v22)4. |v_1 + v_2|^2 + |v_1 - v_2|^2 = 2(|v_1|^2 + |v_2|^2) \le 4.
Hence either v1+v22|v_1 + v_2| \le \sqrt{2} or v1v22|v_1 - v_2| \le \sqrt{2}, giving the result. Suppose n3n \ge 3 and the result is true for n1n-1 vectors. Consider nn vectors v1,v2,,vnv_1, v_2, \dots, v_n such that vj1|v_j| \le 1, for 1jn1 \le j \le n. Among the six vectors ±v1,±v2,±v3\pm v_1, \pm v_2, \pm v_3, there are two vectors, the angle θ\theta between which is 60\le 60^\circ. If we denote these two by u1u_1 and u2u_2, we have
u1u22=u12+u222u1u2cosθ22cosθ22cos60=1. \begin{aligned} |u_1 - u_2|^2 &= |u_1|^2 + |u_2|^2 - 2|u_1||u_2| \cos \theta \\ &\le 2 - 2 \cos \theta \\ &\le 2 - 2 \cos 60^\circ = 1. \end{aligned}
Thus u1u21|u_1 - u_2| \le 1. After renaming if necessary, we can take u1u2=λ1v1+λ2v2u_1 - u_2 = \lambda_1' v_1 + \lambda_2' v_2. Now consider n1n-1 vectors u1u2,v3,,vnu_1 - u_2, v_3, \dots, v_n. Induction hypothesis applies to this set of vectors. We therefore get
λ(λ1v1+λ2v2)+λ3v3++λnvn2. |\lambda'(\lambda_1' v_1 + \lambda_2' v_2) + \lambda_3 v_3 + \dots + \lambda_n v_n| \le \sqrt{2}.
Taking λj=λλj\lambda_j = \lambda'\lambda'_j, for j=1,2j = 1, 2, we get
λ1v1+λ2v2+λ3v3++λnvn2. |\lambda_1 v_1 + \lambda_2 v_2 + \lambda_3 v_3 + \dots + \lambda_n v_n| \le \sqrt{2}.

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.