Skip to main content
OlympiadHQ

Browse · MathNet

Print

Estonian Mathematical Olympiad

Estonia number theory

Problem

The mediant of two rational numbers and is , where and are the reduced fractions of and respectively. Prove that for any two distinct positive rational numbers and , there exist infinitely many positive rational numbers , such that is the mediant of and .
Solution
Let and be the reduced fractions of and . We are looking for rational numbers such that , where is large enough integer such that and are both positive. According to the definition, is the mediant of and as soon as is irreducible. Let's show that there are infinitely many natural numbers such that is irreducible. This will complete the solution.

Let us first prove a lemma: prime numbers which can be used to reduce the fractions are also the factors of . Indeed, if and , then , therefore or . If , then and which contradicts the irreducibility of the fraction . Therefore .

As and are different, . Therefore the number has a finite number of prime factors. Let be all the different prime factors which can reduce the fraction for at least one and for each let be natural number such that the fraction is reducible with prime .

Let be an arbitrary factor for which the fraction is not irreducible. This fraction must be reducible with some prime number which can also reduce the fraction . Then and . Therefore as otherwise and which contradicts the irreducibility of the fraction . Therefore .

Therefore by choosing such that for each the fraction must be irreducible. According to Chinese remainder theorem there are infinitely many natural numbers which satisfy such congruence system.

Techniques

Chinese remainder theoremPrime numbersGreatest common divisors (gcd)