Let be vectors of – dimensional Euclidean space such that . Prove that there exists a permutation of the integers such that
for each .
We define inductively. Set .Assume is defined for and also
Note that is true for . We choose in a way that is fulfilled for instead of . Set and . Assume that for all . Then and in view of ones gets which is impossible. Hence , there is such that
Put . Then using and we have
which verifies for . Thus we define for every . Finally from we get