Maths Olympiad Prep

Library / /251 of 462

Algebra Difficulty 5.9 AIME, harder Prove it Ireland

a1=24,a2=2025,andan+2=3an+1an4for all n1. a_1 = 24, \quad a_2 = 2025, \quad \text{and} \quad a_{n+2} = 3 \cdot a_{n+1} \cdot a_n^4 \quad \text{for all } n \ge 1.
Determine all n1n \ge 1 for which there exists an integer xx such that an=x3a_n = x^3.

Solution

After factorising a1a_1 and a2a_2 into prime numbers, a1=233a_1 = 2^3 \cdot 3 and a2=3452a_2 = 3^4 \cdot 5^2, we see that we can write an=2αn3βn5γna_n = 2^{\alpha_n} \cdot 3^{\beta_n} \cdot 5^{\gamma_n}, where for all n1n \ge 1
α1=3α2=0αn+2=αn+1+4αnβ1=1β2=4βn+2=βn+1+4βn+1γ1=0γ2=2γn+2=γn+1+4γn. \begin{align*} \alpha_1 &= 3 & \alpha_2 &= 0 & \alpha_{n+2} &= \alpha_{n+1} + 4\alpha_n \\ \beta_1 &= 1 & \beta_2 &= 4 & \beta_{n+2} &= \beta_{n+1} + 4\beta_n + 1 \\ \gamma_1 &= 0 & \gamma_2 &= 2 & \gamma_{n+2} &= \gamma_{n+1} + 4\gamma_n. \end{align*}

The number ana_n is a perfect cube exactly when each of αn,βn\alpha_n, \beta_n and γn\gamma_n is divisible by 3. Therefore, we use the given recursion and calculate the three sequences modulo 3:

nn12345678910111213
αn\alpha_n0000000000000
βn\beta_n1102001211020
γn\gamma_n0221011202210

We see that the columns repeat in a cycle of length eight and that the values of nn for which all three, αn\alpha_n, βn\beta_n and γn\gamma_n, are divisible by 3, are those of the form n=8k+5n = 8k + 5.

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.