Introductory part
We call an n-tuple x=(x1,x2,...,xn), with xk∈R (or respectively with all xk∈Z) a real vector (or respectively an integer vector). The set of all real vectors (respectively all integer vectors) is usually denoted by Rn (respectively Zn).
A vector x is null if and only if xk=0, for all k∈{1,2,...,n}. Also let Un be the set of all real vectors x=(x1,x2,...,xn), such that x12+x22+...+xn2=1.
For two vectors x=(x1,...,xn),y=(y1,...,yn) we define the scalar product as the real number x⋅y=x1y1+x2y2+...+xnyn. We define the norm of the vector x as ∣∣x∣∣=x12+x22+...+xn2The problem
Let A(k,r)={x∈Un∣ for all z∈Zn we have either ∣x⋅z∣≥∣∣z∣∣rk or z is null }.
Prove that if r>n−1 the we can find a positive number k such that A(k,r) is not empty, and if r<n−1 we cannot find such a positive number k.