Browse · MathNet
PrintFinal Round
Netherlands algebra
Problem
Given a positive integer , we construct a sequence of fractions as follows: ; to get , we take (in its most simplified form, with both the numerator and denominator chosen to be positive) and we add 2 to the numerator and 3 to the denominator. Then we simplify the result again as much as possible, with positive numerator and denominator. For example, if we take , then and . Then we find that (which is already simplified) and .
a. Let , hence . Determine the largest for which a simplification is needed in the construction of .
b. Let , hence . Determine whether a simplification is needed somewhere in the sequence.
c. Find two values of for which in the first step of the construction of (before simplification) the numerator and denominator are divisible by 5.
a. Let , hence . Determine the largest for which a simplification is needed in the construction of .
b. Let , hence . Determine whether a simplification is needed somewhere in the sequence.
c. Find two values of for which in the first step of the construction of (before simplification) the numerator and denominator are divisible by 5.
Solution
a. The sequence starts as follows. It seems that the last simplification occurred at . With induction to , we will prove that there is no simplification for all . At the same time, we will prove that for all . For , the statement is true, because and this fraction cannot be simplified further. Now suppose the statement is true for . Consider . Because there has been no simplification for , the numerator of equals and the denominator equals . Then the number is defined as . We will argue by contradiction that there is no simplification here. Namely, suppose there is an integer such that both and are divisible by . In particular, will also be divisible by . This gives a contradiction, and the proof by induction is finished.
b. We will show that there must be a simplification at some point. Indeed, suppose there is no simplification. Just like in part (a), we can show by induction that . In particular, we see that is not a simplified fraction, because both the numerator and denominator are divisible by 97, and that is a contradiction.
c. You can use or , for example. Then we get the sequences and
b. We will show that there must be a simplification at some point. Indeed, suppose there is no simplification. Just like in part (a), we can show by induction that . In particular, we see that is not a simplified fraction, because both the numerator and denominator are divisible by 97, and that is a contradiction.
c. You can use or , for example. Then we get the sequences and
Final answer
a) 4; b) Yes (for example at n = 97); c) 7 and 27
Techniques
Recurrence relationsFractionsGreatest common divisors (gcd)