IMC 2006 · Problem 4

Day 220 points13th IMC · Odessa, Ukraine

Statement

Let v0v_0 be the zero vector in Rn\mathbb{R}^n and let v1,v2,…,vn+1∈Rnv_1, v_2, \dots, v_{n+1} \in \mathbb{R}^n be such that the Euclidean norm ∣vi−vj∣|v_i - v_j| is rational for every 0≤i,j≤n+10 \le i, j \le n+1. Prove that v1,…,vn+1v_1, \dots, v_{n+1} are linearly dependent over the rationals.

Official solution

Hidden so you can work on the problem first.