The timer was ticking: 25:01 ... 25:00 ... 24:59. I was about two and a half hours into the AIME test, having solved questions #1-8, 10, and 12. I had two options: either dive into a sequence of geometry bash problems or settle with the mythical #14 NT problem. I was driven to problem 14 as it offered the prospect of an easy point in the face of some intimidating geometry problems and a ticking timer. I took a deep breath and skimmed through the problem statement. It was something to do with the sigma function, σ(a). Great, that was just what I wanted: a multiplicative function → primes. As Andrew Lin had said in my AIME class, the first instinct with this information should be to examine the prime powers by writing out the prime factorization:
a=pe11⋯pedd.
Okay, now what did I have to do - find the smallest n so that 2021|σ(an)−1. Immediately, I used my factorization to simplify this statement:
σ(an)=σ(pne11⋯pnedd)=d∏i=1(1+pi+…+pneii)=d∏i=1(pnei+1i−1pi−1),
σ(an)≡d∏i=1(pnei+1i−1pi−1)≡1(mod2021).
At first, that did not sound too bad, but then the implication struck me: this condition had to hold for all integers! Oh, so this had to hold for all powers of primes, implying that
pna+1−1p−1≡1(mod2021)⇔pna+1−1p−1−1≡p(pna−1)p−1≡0(mod2021),
where p could be any prime and a∈Z>0. Now, the path to the solution was crystal clear. I glanced at the timer to ensure that I was at pace with its sprinting digits: 14:17 ... 14:16. Wow! I was solving this problem as fast as the preliminary problems. Now, I set out to see when the divisbility constraint would hold.
Firstly, p was never going to be divisible by 2021 because primes did not have any factors besides 1 and itself. So I rewrote the new condition in bold on the middle of my scratch paper:
pna−1p−1(mod2021).
The biggest enemy in a modulo problem is the denominator. I had to find a way of getting rid of the denominator, so I gave into the dreaded idea of casework:
a. If p−1∤43,47, then I could ignore it completely (a mathematician's dream):
pna−1p−1≡0(mod2021)⇒pna≡1(mod2021).
A classic problem for Euler's theorem:
pna≡1(mod2021)⇔φ(2021)=42⋅46|na.
Since a could be any integer, the above condition eventaully reduces to 42⋅46|n.
b. If p−1|43,47, then I could use LTE. Sweet ;)
ν43(pna−1)=ν43(p−1)+ν43(na).
ν47(pna−1)=ν47(p−1)+ν47(na).
For pna≡1(mod2021), we would need to have that ν43(na)≥1 and ν47(na)≥1. Again, a could be any positive integer, so 43⋅47|n.
This was it: 42⋅46|n and 43⋅47|n. The smallest n that fit these conditions is 42⋅43⋅46⋅47. Hence, my final answer is 42+43+46+47=176. I typed in my answer and checked back through my work. After skimming my scracth paper a few times, I made sure that I did not misbubble any of the previous answers.
I was now headed down the home stretch with one minute left on the exam time. It was only then that I realised that problem #14 asked me to find the sum of the distinct prime factors of n. 42 and 46 were not prime! I quickly factored
n=22⋅3⋅7⋅23⋅43⋅47 and got the right answer of 2+3+7+23+43+47=125.
Phew! That was a narrow escape. 0:02 ... 0:01 ... 0:00. As the timer ran out, it not only marked the end of the AIME test but also the end of my suspicions about the myth of problem #14. Despite its easy outlook, the NT problem at that place in the AIME exam always has the knack of throwing off test-takers. I found it rather ironcial that I started the problem by instinctively thinking about primes and ended up nearly making a silly mistake by overlooking that very same idea of primes. Anyways, I scored 11/15 on the AIME test, and my experince with problem 14 makes this test all the more memorable.
Comments
For those interested in the official AIME I problems, here is the link to the exam: https://artofproblemsolving.com/wiki/index.php/2021_AIME_I.
ReplyDelete