2011 AIME I Problema 7

Intenta el Problema 7 del 2011 AIME I 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 2011 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).

7.

Halla el número de enteros positivos mm para los cuales existen enteros no negativos x0,x1,,x2011,x_0, x_1, \ldots, x_{2011}, tales que mx0=k=12011mxk.m^{x_0} = \sum_{k=1}^{2011} m^{x_k}.

Find the number of positive integers mm for which there exist nonnegative integers x0,x1,,x2011,x_0, x_1, \ldots, x_{2011}, such that mx0=k=12011mxk.m^{x_0} = \sum_{k=1}^{2011} m^{x_k}.

Respuesta: 16
Conceptos:aritmética modularconteo de factores
Nivel de dificultad: 2710
Solución:

El valor m=1m = 1 falla, ya que el lado derecho sería 20112011 mientras que el lado izquierdo es 1.1. Para m2,m \ge 2, reduce módulo m1:m - 1: toda potencia de mm es 1,\equiv 1, así que la ecuación obliga a 12011(modm1),1 \equiv 2011 \pmod{m - 1}, es decir, m1m - 1 divide a 2010.2010.

Recíprocamente, supón que 2010=(m1)n.2010 = (m - 1)n. Toma x0=n,x_0 = n, haz que mm de los xkx_k sean iguales a 0,0, y para cada r=1,2,,n1r = 1, 2, \ldots, n - 1 haz que m1m - 1 de los xkx_k sean iguales a r.r. Esto usa m+(m1)(n1)m + (m - 1)(n - 1) =n(m1)+1= n(m - 1) + 1 =2011= 2011 términos, y la suma es telescópica: m+(m1)(m+m2++mn1)=m+(mnm)=mn=mx0. \begin{aligned} &m \\ &\quad {}+ (m - 1) \\ &\quad {}\cdot (m + m^2 + \cdots + m^{n-1}) \\ &\quad {}= m + (m^n - m) \\ &\quad {}= m^n = m^{x_0}. \end{aligned}

Así que la ecuación tiene solución exactamente cuando m1m - 1 divide a 2010=23567,2010 = 2 \cdot 3 \cdot 5 \cdot 67, que tiene 24=162^4 = 16 divisores. Hay 1616 de tales m.m.

The value m=1m = 1 fails, since the right side would be 20112011 while the left side is 1.1. For m2,m \ge 2, reduce mod m1:m - 1: every power of mm is 1,\equiv 1, so the equation forces 12011(modm1),1 \equiv 2011 \pmod{m - 1}, that is, m1m - 1 divides 2010.2010.

Conversely, suppose 2010=(m1)n.2010 = (m - 1)n. Take x0=n,x_0 = n, let mm of the xkx_k equal 0,0, and for each r=1,2,,n1r = 1, 2, \ldots, n - 1 let m1m - 1 of the xkx_k equal r.r. This uses m+(m1)(n1)m + (m - 1)(n - 1) =n(m1)+1= n(m - 1) + 1 =2011= 2011 terms, and the sum telescopes: m+(m1)(m+m2++mn1)=m+(mnm)=mn=mx0. \begin{aligned} &m \\ &\quad {}+ (m - 1) \\ &\quad {}\cdot (m + m^2 + \cdots + m^{n-1}) \\ &\quad {}= m + (m^n - m) \\ &\quad {}= m^n = m^{x_0}. \end{aligned}

So the equation is solvable exactly when m1m - 1 divides 2010=23567,2010 = 2 \cdot 3 \cdot 5 \cdot 67, which has 24=162^4 = 16 divisors. There are 1616 such m.m.

← Problema 6#6
Examen completo

El Problema 7 en otros años