Let be an odd natural number and and be two rational numbers such that
Show that .
Let be an odd natural number and and be two rational numbers such that
Show that .
We first consider
( ) Let be an odd natural number. Furthermore, let , and be three integers such that
Then .
If this were false for some , we could choose a counterexample for which the expression takes its smallest positive value. If both and were odd, the left side would be the sum of an odd number of odd summands and thus odd, while the right side is even. Therefore, at least one of the numbers and must be even. If, for example, is even, the left side has the same parity as , and the right side is even, so must also be even. Similarly, one sees that must be even if is assumed to be even. Therefore, both and are even. Consequently, the left side is divisible by and thus, in particular, by 4, which implies that and hence is also even. If we now introduce three integers , and with , and , then first
and secondly
The triple thus contradicts the choice of , and is proved.
We now turn to the actual problem. In the case , the claim is trivial, and from now on we focus only on the case . Let and be two rational numbers such that . By bringing everything to one side and then factoring, we obtain
If and were different, which we will assume from now on, then
must hold. Since any two rational numbers can be brought to a common denominator, there exist three integers , and with , and . Substituting these fractions into (1) and then multiplying by , we get
From it follows, in particular, that . This contradiction shows that and must indeed be equal, thus solving the problem.