Let v1,v2,…,vn be n(≥2) unit vectors in the plane. Prove that there exist λ1,λ2,…,λn, each equal to +1 or −1, such that ∣λ1v1+λ2v2+⋯+λnvn∣≤2. (Here ∣v∣ denotes the length of the vector v.)
Solution
We prove the result for a more general class of vectors having magnitude not exceeding 1. We use induction on n. If n=2, parallelogram law gives ∣v1+v2∣2+∣v1−v2∣2=2(∣v1∣2+∣v2∣2)≤4. Hence either ∣v1+v2∣≤2 or ∣v1−v2∣≤2, giving the result. Suppose n≥3 and the result is true for n−1 vectors. Consider n vectors v1,v2,…,vn such that ∣vj∣≤1, for 1≤j≤n. Among the six vectors ±v1,±v2,±v3, there are two vectors, the angle θ between which is ≤60∘. If we denote these two by u1 and u2, we have ∣u1−u2∣2=∣u1∣2+∣u2∣2−2∣u1∣∣u2∣cosθ≤2−2cosθ≤2−2cos60∘=1. Thus ∣u1−u2∣≤1. After renaming if necessary, we can take u1−u2=λ1′v1+λ2′v2. Now consider n−1 vectors u1−u2,v3,…,vn. Induction hypothesis applies to this set of vectors. We therefore get ∣λ′(λ1′v1+λ2′v2)+λ3v3+⋯+λnvn∣≤2. Taking λj=λ′λj′, for j=1,2, we get ∣λ1v1+λ2v2+λ3v3+⋯+λnvn∣≤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.