This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND
OR
NO

Found problems: 1

ICMC 5, 5
A [i]tanned vector[/i] is a nonzero vector in $\mathbb R^3$ with integer entries. Prove that any tanned vector of length at most $2021$ is perpendicular to a tanned vector of length at most $100$. [i]Proposed by Ethan Tan[/i]
dot product vector 3d linear algebra geometry vectors