1990 IMO Problems/Problem 4
Let be the set of positive rational numbers. Construct a function such that for all .
If we let this implies . Plugging in with this new fact. We get . Using again, we see that . Now plugging in we get . Such a function can not be continuous as if is increasing or decreasing on some observable interval, will be increasing on that interval but is decreasing on all positive intervals. This indicates the function is discrete which means we can assign a "4-chain" of , , , and . It is obvious to see that any function where . Must follow such a structure. The problem occurs that we do not know whether our current value of is a or an . To make non-trivial progress on this we must split all rational numbers into two sets, and , such that if then . As long as and have the same size, so the bijection = can hold, there will exist a piece-wise function (possibly with a greater than countable infinity number of pieces) that satisfies f(x).
To find one of these functions we can limit our searching by proving that . To do this simply set yielding: \newline . This means that . Since there will always be an that suffices this and a corresponding . Thus with expands into .
Utilizing we can see that if we break-down every ratio into it's prime factorization of the numerator and denominator. Our "4-chain" is simply , , , where and are unique primes. Thus our 2 sets and is simply 2 sets of equal size containing only primes and their inverse. A good way to do this assuming we aren't given the sequence of all infinite primes (as this would require an explicit formula that does not yet exist) is to split the primes into 2 and 1 mod 6 being in one set with 3 and 5 mod 6 in the other. These sets have equal sizes from a strong form of Dirichlet's theorem on arithmetic progressions.
Thus we have created our two sets and to show that this actually works we will let where is a prime and are integers. Define similarly. For the sake of simplicity if is odd then and if is even . Where our "4-chain" is , , , with being odd. Then (remember ).
Thus QED This problem needs a solution. If you have a solution for it, please help us out by.
|1990 IMO (Problems) • Resources|
|1 • 2 • 3 • 4 • 5 • 6||Followed by|
|All IMO Problems and Solutions|