对Davenport定理的一点改进

设a,c,…表示n维实欧氏空间中的实向量,而|a|=|(u_1,u_2,…,u_n)|=(u_1~2+u_2~2+…+u_n~2)~(1/2)表示a的长度。又设a_1,a_2,…a_n,是n维实欧氏空间中线性无关的实向量。称由全体形如