Prove that among any 9 distinct real numbers, there exist 4 distinct numbers , , , such that
Solutions — 2
Solution 1
According to the Lagrange's identity, we have . So we have to prove that:
First, we check the case where none of the numbers are zero. By dividing both sides by , we have:
Suppose , and have the same sign. In this case:
It suffices to prove that:
Now, if we put the positive numbers in set and the negative numbers in set , each of them will give us and pairs of numbers that have the same sign. So, in total, we will have 4 pairs of numbers that have the same sign (because one of the sets has an even number of elements and the other has an odd number of elements). For each pair , we choose a fraction from among , that doesn't exceed one. Now we have 4 fractions between zero and one, so according to the pigeonhole principle, the distance between two of them is less than , and the result follows.
If one of the numbers, like , is zero, then just before the division, by proof by contradiction we have is non zero and:
Similar to the previous case, it is possible to find 3 pairs of the same sign where the assigned fractions are between and 1, and again according to the pigeonhole principle, a difference between two fractions will be less than . The result follows.
Solution 2
We shall prove a more strong argument; We choose 8 numbers from these nine numbers and denote them by . We arranged them in the way that and have the same sign. Consider four points and the angle they make with the origin would be in the interval . Thus, the angle between two of them, say is less that or equal to . Hence, putting and it follows that
That is, .