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+1Rnv_1, v_2, \dots, v_{n+1} \in \mathbb{R}^n be such that the Euclidean norm vivj|v_i - v_j| is rational for every 0i,jn+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.