IMC 2006 Problem 10
Let be the zero ector and let such that the Euclidian norm is rational for all . Prove that are linearly dependent over the rationals.
Dataset text AI-MO AoPS. Quoted with source.
Official text: International Mathematics Competition for University Students 2006 official paper, page 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.