Maths Olympiad Prep

Library / /87 of 94

Number theory Difficulty 5.5 AIME, harder Prove it United States

Problem:

Two integers are relatively prime if they don't share any common factors, i.e. if their greatest common divisor is 11. Define φ(n)\varphi(n) as the number of positive integers that are less than nn and relatively prime to nn. Define φd(n)\varphi_{d}(n) as the number of positive integers that are less than dnd n and relatively prime to nn.
What is the least nn such that φx(n)=64000\varphi_{x}(n)=64000, where x=φy(n)x=\varphi_{y}(n), where y=φ(n)y=\varphi(n) ?

Solution

Solution:

For fixed nn, the pattern of integers relatively prime to nn repeats every nn integers, so φd(n)=dφ(n)\varphi_{d}(n)=d \varphi(n). Therefore the expression in the problem equals φ(n)3\varphi(n)^{3}. The cube root of 6400064000 is 4040. φ(p)=p1\varphi(p)=p-1 for any prime pp. Since 4040 is one less than a prime, the least nn such that φ(n)=40\varphi(n)=40 is 4141.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.