Question

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

Find the number of positive integers $m$ for which there exist nonnegative integers $x_0,$ $x_1,$ $\ldots,$ $x_{2011},$ such that $m^{x_0} = \sum_{k=1}^{2011} m^{x_k}.$

Respuesta

Respuesta: 16

Conceptos:aritmética modular conteo de factores

Nivel de dificultad: 2710

Pista pequeña:

Reduce ambos lados módulo $m - 1:$ toda potencia de $m$ es congruente con $1$

Reduce both sides mod $m - 1:$ every power of $m$ is congruent to $1$

Pista grande:

Así que $m - 1$ debe dividir a $2010.$ Recíprocamente, expande $m^n$ descomponiendo repetidamente una potencia en $m$ copias de la potencia inmediatamente inferior; cada descomposición añade $m - 1$ términos.

So $m - 1$ must divide $2010.$ Conversely, expand $m^n$ by repeatedly splitting one power into $m$ copies of the next-lower power; each split adds $m - 1$ terms.

Solución:

El valor $m = 1$ falla, ya que el lado derecho sería $2011$ mientras que el lado izquierdo es $1.$ Para $m \ge 2,$ reduce módulo $m - 1:$ toda potencia de $m$ es $\equiv 1,$ así que la ecuación obliga a $1 \equiv 2011 \pmod{m - 1},$ es decir, $m - 1$ divide a $2010.$

Recíprocamente, supón que $2010 = (m - 1)n.$ Toma $x_0 = n,$ haz que $m$ de los $x_k$ sean iguales a $0,$ y para cada $r = 1, 2, \ldots, n - 1$ haz que $m - 1$ de los $x_k$ sean iguales a $r.$ Esto usa $m + (m - 1)(n - 1)$ $= n(m - 1) + 1$ $= 2011$ términos, y la suma es telescópica: $\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 $m - 1$ divide a $2010 = 2 \cdot 3 \cdot 5 \cdot 67,$ que tiene $2^4 = 16$ divisores. Hay $16$ de tales $m.$

The value $m = 1$ fails, since the right side would be $2011$ while the left side is $1.$ For $m \ge 2,$ reduce mod $m - 1:$ every power of $m$ is $\equiv 1,$ so the equation forces $1 \equiv 2011 \pmod{m - 1},$ that is, $m - 1$ divides $2010.$

Conversely, suppose $2010 = (m - 1)n.$ Take $x_0 = n,$ let $m$ of the $x_k$ equal $0,$ and for each $r = 1, 2, \ldots, n - 1$ let $m - 1$ of the $x_k$ equal $r.$ This uses $m + (m - 1)(n - 1)$ $= n(m - 1) + 1$ $= 2011$ terms, and the sum telescopes: $\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 $m - 1$ divides $2010 = 2 \cdot 3 \cdot 5 \cdot 67,$ which has $2^4 = 16$ divisors. There are $16$ such $m.$

2011 AIME I Problema 7

Respuesta: 16

Nivel de dificultad: 2710

Pista pequeña:

Pista grande:

Solución:

El Problema 7 en otros años