Maths Olympiad Prep

Library / HMMT February /263 of 1302

HMMT February

Number theory Difficulty 5.0 AIME Find the answer

Define φk(n)\varphi^{k}(n) as the number of positive integers that are less than or equal to n/kn / k and relatively prime to nn. Find ϕ2001(20022−1)\phi^{2001}\left(2002^{2}-1\right). (Hint: ϕ(2003)=2002\phi(2003)=2002.)

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

φ2001(20022−1)=φ2001(2001⋅2003)=\varphi^{2001}\left(2002^{2}-1\right)=\varphi^{2001}(2001 \cdot 2003)= the number of mm that are relatively prime to both 2001 and 2003, where m≤2003m \leq 2003. Since ϕ(n)=n−1\phi(n)=n-1 implies that nn is prime, we must only check for those mm relatively prime to 2001, except for 2002, which is relatively prime to 20022−12002^{2}-1. So φ2001(20022−1)=φ(2001)+1=φ(3⋅23⋅29)+1=\varphi^{2001}\left(2002^{2}-1\right)=\varphi(2001)+1=\varphi(3 \cdot 23 \cdot 29)+1= (3−1)(23−1)(29−1)+1=1233(3-1)(23-1)(29-1)+1=1233.

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

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.