Encontrando la suma a partir del divisor

Publicado por ^DiAmOnD^ | 29 abril, 2008 | Juegos | 5 |

Os dejo aquí el problema de la semana:

Sea $a$ un número natural. Probar que existe otro número natural $b$ tal que para todo natural $n$ se verifica que:

$a$ divide a $1^n+2^n+3^n+ \ldots +b^n$ .

A por él.

¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉

5 1 vote

Article Rating

Comparte:

Sobre el Autor

^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes encontrarme también en Twitter, en Instagram, en Geogebra.org y en Facebook.

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$ .

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Name*

Email*

Website

Name*

Email*

Website

5 Comments

más antiguo

más reciente más votado

Javier

29/04/2008 12:44

Si b=a^2 es evidente, puesto que el resto de k mod a, (k+a) mod a, (k+2a) mod a, …, k+(a(a-1)) mod a k={1, 2, …., a) es el mismo llamemoslo n y n*a mod a=0 para todo n.

Saludos

Responde

Acid

29/04/2008 19:18

Sí, claro… Siempre existe un b=1 … y para todo n resulta que a divide a 1^n = 1

jejeje

No entendí el comentario de Javier…
Suma = 1^n +2^n +… +(a^2)^n =
= 1^n + … +a^(2*n)

no entiendo por qué «(Suma mod a) = 0»

Responde

Javier

29/04/2008 20:59

$(k+na)^p$ = $(na)^p+{p \choose 1}{(na)}^{p-1}k+$ … ${p \choose {p-1}}nak^{p-1}+k^p$

Como $na\ mod\ a=0$ $\forall n \in \mathbb{N}$ y todos los terminos excepto $k^n$ tienen como factor comun $a$ , $(k+na)^p\ mod\ a$ y $k^p\ mod\ a$ coinciden.

Responde

Damián

30/04/2008 01:39

Javier dio la idea, pero no la explicó muy bien, además de que hay inconsistencias en su notación. Trataré de reescribir su idea.

Hay que recordar el binomio de Newton:

$(k+qa)^n = (qa)^n + {n \choose 1} (qa)^{n-1}k+ \cdots +{n \choose {n-1}} qak^{n-1} + k^n$

Entonces tenemos que:

(1) $\forall n \in \mathbb{N} \forall q \in \mathbb{N}, (k+qa)^n \equiv k^n \pmod{a}$

Sea $m = 1^n + 2^n+ \cdots + a^n$

Entonces, aplicando (1) inteligentemente, obtenemos las siguientes congruencias ciertas:

$m \equiv 1^n + 2^n+ \cdots + a^n \pmod{a}$
$m \equiv (1 + a)^n + (2 + a)^n + \cdots + (a+a)^n \pmod{a}$
$m \equiv (1 + 2a)^n + (2 + 2a)^n + \cdots + (a+2a)^n \pmod{a} \\ \vdots \\ m \equiv (1+(a-1)a)^n + (2+(a-1)a)^n + \cdots + (a+(a-1)a)^n$

Las anteriores son exactamente $a$ congruencias, y si sumamos sus lados derechos la suma es igual a

$1^n+2^n+3^n+\cdots+(a^2)^n$

Por lo tanto, si sumamos todas las congruencias, tenemos que

$ma \equiv 1^n+2^n+3^n+\cdots+(a^2)^n \pmod{a}$

Y eso implica que

$0 \equiv 1^n+2^n+3^n+\cdots+(a^2)^n \pmod{a}$

Por lo tanto $a$ divide a $1^n+2^n+3^n+\cdots+(a^2)^n$

Responde

Domingo HA

30/04/2008 11:32

Efectivamente, Javier.

Acid, b=1 no nos vale: a divide a 1 sólo si a=1.

Responde

Buscar

Premio Prisma 2018

Suscríbete por mail

Si quieres recibir los artículos de Gaussianos en tu mail, haz click en la imagen.

Últimas entradas

Últimos comentarios

Gaussianos en Facebook

Yo construí el poliedro de Császár

Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.

Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.

Déjanos tu comentariox

()

| Responde