2002 AIME II Problema 7

Intenta el Problema 7 del 2002 AIME II a continuación y luego compara tu respuesta con la solución preparada profesionalmente de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 2002 AIME II, o revisar la clave de respuestas.

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

7.

Se sabe que, para todos los enteros positivos k,k, 12+22+32++k2=k(k+1)(2k+1)6. \begin{aligned} &1^2 + 2^2 + 3^2 + \cdots + k^2 \\ &= \frac{k(k+1)(2k+1)}{6}. \end{aligned} Halla el menor entero positivo kk tal que 12+22+32++k21^2 + 2^2 + 3^2 + \cdots + k^2 sea un múltiplo de 200.200.

It is known that, for all positive integers k,k, 12+22+32++k2=k(k+1)(2k+1)6. \begin{aligned} &1^2 + 2^2 + 3^2 + \cdots + k^2 \\ &= \frac{k(k+1)(2k+1)}{6}. \end{aligned} Find the smallest positive integer kk such that 12+22+32++k21^2 + 2^2 + 3^2 + \cdots + k^2 is a multiple of 200.200.

Respuesta: 112
Conceptos:suma de los primeros n cuadradosTeorema chino del restoanálisis por casos
Nivel de dificultad: 2500
Solución:

La suma es un múltiplo de 200200 exactamente cuando k(k+1)(2k+1)k(k+1)(2k+1) es un múltiplo de 1200=24352.1200 = 2^4 \cdot 3 \cdot 5^2. El factor 33 siempre divide a k(k+1)(2k+1)k(k+1)(2k+1) (si k1(mod3),k \equiv 1 \pmod 3, entonces 32k+13 \mid 2k+1), así que solo importan 242^4 y 52.5^2.

Como 2k+12k+1 es impar y k,k, k+1k+1 no pueden ser ambos pares, 1616 debe dividir a kk o k+1,k+1, así que k0k \equiv 0 o 15(mod16).15 \pmod{16}. De modo similar 2525 debe dividir a uno de k,k, k+1,k+1, 2k+1,2k+1, dando k0,k \equiv 0, 24,24, o 12(mod25).12 \pmod{25}. Combinando cada par de congruencias módulo 400,400, las menores soluciones positivas son 112,112, 175,175, 224,224, 287,287, 399,399, y 400.400.

El menor es k=112:k = 112: en efecto 112113225112 \cdot 113 \cdot 225 =(167)113(925)= (16 \cdot 7) \cdot 113 \cdot (9 \cdot 25) es un múltiplo de 1200.1200.

The sum is a multiple of 200200 exactly when k(k+1)(2k+1)k(k+1)(2k+1) is a multiple of 1200=24352.1200 = 2^4 \cdot 3 \cdot 5^2. The factor 33 always divides k(k+1)(2k+1)k(k+1)(2k+1) (if k1(mod3),k \equiv 1 \pmod 3, then 32k+13 \mid 2k+1), so only 242^4 and 525^2 matter.

Since 2k+12k+1 is odd and k,k, k+1k+1 cannot both be even, 1616 must divide kk or k+1,k+1, so k0k \equiv 0 or 15(mod16).15 \pmod{16}. Similarly 2525 must divide one of k,k, k+1,k+1, 2k+1,2k+1, giving k0,k \equiv 0, 24,24, or 12(mod25).12 \pmod{25}. Combining each pair of congruences modulo 400,400, the smallest positive solutions are 112,112, 175,175, 224,224, 287,287, 399,399, and 400.400.

The least is k=112:k = 112: indeed 112113225112 \cdot 113 \cdot 225 =(167)113(925)= (16 \cdot 7) \cdot 113 \cdot (9 \cdot 25) is a multiple of 1200.1200.

← Problema 6#6
Examen completo

El Problema 7 en otros años