2017 AIME I Problema 13

A continuación está la solución preparada profesionalmente para el Problema 13 del 2017 AIME I, de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 2017 AIME I, o revisar la clave de respuestas.

Todos los problemas se usan con el permiso legal oficial de la Mathematical Association of America (MAA).

Conceptos:potencia perfectaacotación a casos límiteanálisis por casos

Nivel de dificultad: 3160

13.

Para todo m2,m \ge 2, sea Q(m)Q(m) el menor entero positivo con la siguiente propiedad: para todo nQ(m),n \ge Q(m), siempre hay un cubo perfecto k3k^3 en el rango n<k3mn.n \lt k^3 \le m \cdot n. Halla el residuo cuando m=22017Q(m)\sum_{m=2}^{2017} Q(m) se divide entre 1000.1000.

For every m2,m \ge 2, let Q(m)Q(m) be the least positive integer with the following property: For every nQ(m),n \ge Q(m), there is always a perfect cube k3k^3 in the range n<k3mn.n \lt k^3 \le m \cdot n. Find the remainder when m=22017Q(m)\sum_{m=2}^{2017} Q(m) is divided by 1000.1000.

Solución:

Si k3n<(k+1)3,k^3 \le n \lt (k+1)^3, entonces el intervalo (n,mn](n, mn] contiene el cubo (k+1)3(k+1)^3 siempre que (k+1)3mk3,(k+1)^3 \le m k^3, es decir (1+1k)3m.\left(1 + \frac{1}{k}\right)^3 \le m. Como (1+1k)38\left(1 + \frac{1}{k}\right)^3 \le 8 para todo k1,k \ge 1, todo m8m \ge 8 tiene Q(m)=1.Q(m) = 1.

Para 4m7:4 \le m \le 7: n=1n = 1 falla ya que (1,m](1, m] no contiene ningún cubo, pero para n2n \ge 2 el intervalo sirve: 84n8 \le 4n cubre 2n7,2 \le n \le 7, y (1+1k)3278<4\left(1 + \frac{1}{k}\right)^3 \le \frac{27}{8} \lt 4 cubre k2.k \ge 2. Así que Q(4)=Q(5)Q(4) = Q(5) =Q(6)=Q(7)=2.= Q(6) = Q(7) = 2. Para m=3:m = 3: n=8n = 8 falla (ningún cubo en (8,24](8, 24]), mientras que 273n27 \le 3n cubre 9n269 \le n \le 26 y (43)3<3\left(\frac{4}{3}\right)^3 \lt 3 cubre k3,k \ge 3, así que Q(3)=9.Q(3) = 9. Para m=2:m = 2: n=31n = 31 falla (ningún cubo en (31,62](31, 62]), mientras que 642n64 \le 2n cubre 32n6332 \le n \le 63 y (54)3<2\left(\frac{5}{4}\right)^3 \lt 2 cubre k4,k \ge 4, así que Q(2)=32.Q(2) = 32.

Por lo tanto m=22017Q(m)=32+9+42+20101=2059, \begin{aligned} &\sum_{m=2}^{2017} Q(m) \\ &\quad = 32 + 9 + 4 \cdot 2 + 2010 \cdot 1 \\ &\quad = 2059, \end{aligned} y el residuo es 59.59.

If k3n<(k+1)3,k^3 \le n \lt (k+1)^3, then the interval (n,mn](n, mn] contains the cube (k+1)3(k+1)^3 as long as (k+1)3mk3,(k+1)^3 \le m k^3, i.e. (1+1k)3m.\left(1 + \frac{1}{k}\right)^3 \le m. Since (1+1k)38\left(1 + \frac{1}{k}\right)^3 \le 8 for all k1,k \ge 1, every m8m \ge 8 has Q(m)=1.Q(m) = 1.

For 4m7:4 \le m \le 7: n=1n = 1 fails since (1,m](1, m] contains no cube, but for n2n \ge 2 the interval works: 84n8 \le 4n covers 2n7,2 \le n \le 7, and (1+1k)3278<4\left(1 + \frac{1}{k}\right)^3 \le \frac{27}{8} \lt 4 covers k2.k \ge 2. So Q(4)=Q(5)Q(4) = Q(5) =Q(6)=Q(7)=2.= Q(6) = Q(7) = 2. For m=3:m = 3: n=8n = 8 fails (no cube in (8,24](8, 24]), while 273n27 \le 3n covers 9n269 \le n \le 26 and (43)3<3\left(\frac{4}{3}\right)^3 \lt 3 covers k3,k \ge 3, so Q(3)=9.Q(3) = 9. For m=2:m = 2: n=31n = 31 fails (no cube in (31,62](31, 62]), while 642n64 \le 2n covers 32n6332 \le n \le 63 and (54)3<2\left(\frac{5}{4}\right)^3 \lt 2 covers k4,k \ge 4, so Q(2)=32.Q(2) = 32.

Therefore m=22017Q(m)=32+9+42+20101=2059, \begin{aligned} &\sum_{m=2}^{2017} Q(m) \\ &\quad = 32 + 9 + 4 \cdot 2 + 2010 \cdot 1 \\ &\quad = 2059, \end{aligned} and the remainder is 59.59.

← Problema 12#12Examen completoProblema 14#14 →

El Problema 13 en otros años