Maths Olympiad Prep

Library / /1352 of 1394

Number theory Difficulty 6.2 National Olympiad Prove it United States

Problem:

For positive integers a,ba, b, aba \uparrow \uparrow b is defined as follows: a1=aa \uparrow \uparrow 1 = a, and ab=aa(b1)a \uparrow \uparrow b = a^{a \uparrow \uparrow (b-1)} if b>1b > 1.
Find the smallest positive integer nn for which there exists a positive integer aa such that a6≢a7(modn)a \uparrow \uparrow 6 \not\equiv a \uparrow \uparrow 7 \pmod{n}.

Solution

Solution:

We see that the smallest such nn must be a prime power, because if two numbers are distinct mod nn, they must be distinct mod at least one of the prime powers that divide nn. For k2k \geq 2, if aka \uparrow \uparrow k and a(k+1)a \uparrow \uparrow (k+1) are distinct modpr\bmod p^{r}, then a(k1)a \uparrow \uparrow (k-1) and aka \uparrow \uparrow k must be distinct modϕ(pr)\bmod \phi\left(p^{r}\right). In fact they need to be distinct modϕ(pr)2\bmod \frac{\phi\left(p^{r}\right)}{2} if p=2p=2 and r3r \geq 3 because then there are no primitive roots mod prp^{r}.

Using this, for 1k51 \leq k \leq 5 we find the smallest prime pp such that there exists aa such that aka \uparrow \uparrow k and a(k+1)a \uparrow \uparrow (k+1) are distinct modp\bmod p. The list is: 3,5,11,23,473, 5, 11, 23, 47. We can easily check that the next largest prime for k=5k=5 is 139139, and also any prime power other than 121121 for which a5a \uparrow \uparrow 5 and a6a \uparrow \uparrow 6 are distinct is also larger than 139139.

Now if a6a \uparrow \uparrow 6 and a7a \uparrow \uparrow 7 are distinct modp\bmod p, then p1p-1 must be a multiple of 4747 or something that is either 121121 or at least 139139. It is easy to see that 283283 is the smallest prime that satisfies this.

If nn is a prime power less than 283283 such that a6a \uparrow \uparrow 6 and a7a \uparrow \uparrow 7 are distinct modn\bmod n, then the prime can be at most 1313 and clearly this doesn't work because ϕ(pr)=pr1(p1)\phi\left(p^{r}\right) = p^{r-1}(p-1).

To show that 283283 works, choose aa so that aa is a primitive root mod283,47,23,11,5\bmod 283, 47, 23, 11, 5 and 33. This is possible by the Chinese Remainder theorem, and it is easy to see that this aa works by induction.

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.