2000 AIME II Problema 14

A continuación está la solución preparada profesionalmente para el Problema 14 del 2000 AIME II, de LIVE by Po-Shen Loh. También puedes intentar el examen cronometrado completo, ver todas las soluciones del 2000 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).

Conceptos:base numéricafactorialtelescópica

Nivel de dificultad: 3060

14.

Todo entero positivo kk tiene una única expansión en base factorial (f1,f2,f3,,fm)(f_1, f_2, f_3, \ldots, f_m), que significa que k=1!f1+2!f2k = 1! \cdot f_1 + 2! \cdot f_2 +3!f3++m!fm+ 3! \cdot f_3 + \cdots + m! \cdot f_m, donde cada fif_i es un entero, 0fii0 \le f_i \le i, y 0<fm0 \lt f_m. Dado que (f1,f2,f3,,fj)(f_1, f_2, f_3, \ldots, f_j) es la expansión en base factorial de 16!32!+48!64!++1968!1984!+2000!, \begin{aligned} &16! - 32! + 48! \\ &\quad {}- 64! + \cdots + 1968! \\ &\quad {}- 1984! + 2000!, \end{aligned} halla el valor de f1f2+f3f_1 - f_2 + f_3 f4++(1)j+1fj- f_4 + \cdots + (-1)^{j+1} f_j.

Every positive integer kk has a unique factorial base expansion (f1,f2,f3,,fm),(f_1, f_2, f_3, \ldots, f_m), meaning that k=1!f1+2!f2k = 1! \cdot f_1 + 2! \cdot f_2 +3!f3++m!fm,+ 3! \cdot f_3 + \cdots + m! \cdot f_m, where each fif_i is an integer, 0fii,0 \le f_i \le i, and 0<fm.0 \lt f_m. Given that (f1,f2,f3,,fj)(f_1, f_2, f_3, \ldots, f_j) is the factorial base expansion of 16!32!+48!64!++1968!1984!+2000!, \begin{aligned} &16! - 32! + 48! \\ &\quad {}- 64! + \cdots + 1968! \\ &\quad {}- 1984! + 2000!, \end{aligned} find the value of f1f2+f3f_1 - f_2 + f_3 f4++(1)j+1fj.- f_4 + \cdots + (-1)^{j+1} f_j.

Solución:

Como (i+1)!i!=ii!(i+1)! - i! = i \cdot i!, la suma telescópica da a!b!=i=ba1ii!a! - b! = \sum_{i=b}^{a-1} i \cdot i! para a>ba \gt b. Agrupa el número dado como 16!+(48!32!)+(80!64!)++(2000!1984!), \begin{aligned} &16! + (48! - 32!) + (80! - 64!) \\ &\quad {}+ \cdots + (2000! - 1984!), \end{aligned} con 6262 grupos entre paréntesis (32j+16)!(32j)!(32j + 16)! - (32j)! para j=1,,62j = 1, \ldots, 62.

El grupo para jj aporta los dígitos en base factorial fi=if_i = i para 32ji32j+1532j \le i \le 32j + 15, y el 16!16! solitario aporta f16=1f_{16} = 1; todos los demás dígitos son 00. Cada dígito satisface 0fii0 \le f_i \le i, así que por unicidad esta es la expansión en base factorial.

En la suma alternada, f16=1f_{16} = 1 está en un índice par y aporta 1-1. El rango de cada grupo empieza en un índice par y tiene longitud 1616, así que se divide en 88 parejas consecutivas, cada una aportando i+(i+1)=1-i + (i + 1) = 1, para +8+8 por grupo. El total es 6281=49562 \cdot 8 - 1 = 495.

Since (i+1)!i!=ii!,(i+1)! - i! = i \cdot i!, telescoping gives a!b!=i=ba1ii!a! - b! = \sum_{i=b}^{a-1} i \cdot i! for a>b.a \gt b. Group the given number as 16!+(48!32!)+(80!64!)++(2000!1984!), \begin{aligned} &16! + (48! - 32!) + (80! - 64!) \\ &\quad {}+ \cdots + (2000! - 1984!), \end{aligned} with 6262 parenthesized groups (32j+16)!(32j)!(32j + 16)! - (32j)! for j=1,,62.j = 1, \ldots, 62.

The group for jj contributes factorial-base digits fi=if_i = i for 32ji32j+15,32j \le i \le 32j + 15, and the lone 16!16! contributes f16=1;f_{16} = 1; all other digits are 0.0. Every digit satisfies 0fii,0 \le f_i \le i, so by uniqueness this is the factorial base expansion.

In the alternating sum, f16=1f_{16} = 1 sits at an even index and contributes 1.-1. Each group's range starts at an even index and has length 16,16, so it splits into 88 consecutive pairs, each contributing i+(i+1)=1,-i + (i + 1) = 1, for +8+8 per group. The total is 6281=495.62 \cdot 8 - 1 = 495.

← Problema 13#13Examen completoProblema 15#15 →

El Problema 14 en otros años