IMC 2018 · Problem 6
Statement
Let be a positive integer. Find the smallest positive integer for which there exist nonzero vectors in such that for every pair of indices with the vectors and are orthogonal.
Official solution
Proposed by Alexey Balitskiy, Moscow Institute of Physics and Technology and M.I.T..