IMC 2018 · Problem 6

Day 225th IMC · Blagoevgrad, Bulgaria

Statement

Let kk be a positive integer. Find the smallest positive integer nn for which there exist kk nonzero vectors v1,,vkv_1, \ldots, v_k in Rn\mathbb{R}^n such that for every pair i,ji, j of indices with ij>1|i - j| > 1 the vectors viv_i and vjv_j are orthogonal.

Official solution

Hidden so you can work on the problem first.

Proposed by Alexey Balitskiy, Moscow Institute of Physics and Technology and M.I.T..