Maths Olympiad Prep

Library / /25 of 47

, 2018

Number theory Difficulty 3.1 AMC 10/12 Prove it Canada

The positive integers 34 and 80 have exactly two positive common divisors, namely 1 and 2. How many positive integers nn with 1n301 \leq n \leq 30 have the property that nn and 80 have exactly two positive common divisors?

A function ff is defined so that

f(1)=1f(1)=1,

if nn is an even positive integer, then f(n)=f ⁣(12n)f(n) = f\!\left(\tfrac{1}{2}n\right), and

if nn is an odd positive integer with n>1n>1, then f(n)=f(n1)+1f(n) = f(n-1)+1.

For example, f(34)=f(17)f(34)=f(17) and f(17)=f(16)+1f(17)=f(16)+1.

Determine the value of f(50)f(50).

Solution

Since 80=24580 = 2^4 \cdot 5, its positive divisors are 1,2,4,5,8,10,16,20,40,801, 2, 4, 5, 8, 10, 16, 20, 40, 80.

For an integer nn to share exactly two positive common divisors with 8080, these divisors must be either 11 and 22 or 11 and 55. (11 is a common divisor of any two integers. The second common divisor must be a prime number since any composite divisor will cause there to be at least one more common divisor which is prime.)

Since 1n301 \leq n \leq 30 and nn is a multiple of 22 or of 55, then the possible values of nn come from the list 2,4,5,6,8,10,12,14,15,16,18,20,22,24,25,26,28,302, 4, 5, 6, 8, 10, 12, 14, 15, 16, 18, 20, 22, 24, 25, 26, 28, 30 We remove the multiples of 44 from this list (since they would share at least the divisors 1,2,41,2,4 with 8080) and the multiples of 1010 from this list (since they would share at least the divisors 1,2,5,101,2,5,10 with 8080).

This leaves the list 2,5,6,14,15,18,22,25,262, 5, 6, 14, 15, 18, 22, 25, 26 The common divisors of any number from this list and 80 are either 11 and 22 or 11 and 55.

There are 99 such integers.
We start with f(50)f(50) and apply the given rules for the function until we reach f(1)f(1): f(50) = f(25) (since 50 is even and 1 2 (50)=25 ) = f(24) + 1 (since 25 is odd and 25-1 = 24 ) = f(12) + 1 ( 1 2 (24)=12 ) = f(6) + 1 ( 1 2 (12)=6 ) = f(3) + 1 ( 1 2 (6)=3 ) = (f(2) + 1) + 1 ( 3 -1 = 2 ) = f(1) + 1 + 1 ( 1 2 (2)=1 ) = 1 + 1 + 1 ( f(1)=1 ) = 3\text{f(50) = f(25) (since 50 is even and 1 2 (50)=25 ) = f(24) + 1 (since 25 is odd and 25-1 = 24 ) = f(12) + 1 ( 1 2 (24)=12 ) = f(6) + 1 ( 1 2 (12)=6 ) = f(3) + 1 ( 1 2 (6)=3 ) = (f(2) + 1) + 1 ( 3 -1 = 2 ) = f(1) + 1 + 1 ( 1 2 (2)=1 ) = 1 + 1 + 1 ( f(1)=1 ) = 3} Therefore, f(50)=3f(50)=3.

Want a route through all this instead of an archive? The track puts 2,444 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: CEMC, University of Waterloo, licensed CC-BY-NC-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.