Tanned vectors
Source: ICMC 2022 Round 1 P5
December 4, 2021
3dVectorsdot productvectorlinear algebracollege contestsICMC
Problem Statement
A tanned vector is a nonzero vector in with integer entries. Prove that any tanned vector of length at most is perpendicular to a tanned vector of length at most .Proposed by Ethan Tan