Autor Tema: Demostración módulo

0 Usuarios y 1 Visitante están viendo este tema.

25 Septiembre, 2016, 05:29 am
Leído 1670 veces

cristianoceli

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 810
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
Hola tengo dificultades con esta demostración

Demostrar \( (a+b)^p = a^p+b^b \pmod p \)

Lo que he hecho

\( p |(a+b)^p-a^p-b^p \)

Aplicando binomio binomio de Newton

\( p |a^p+b^p + \displaystyle\sum_{m=1}^{P-1}  \displaystyle{p \choose k} a^p b^{p-k}-a^p-b^p \)
\( p | \displaystyle\sum_{m=1}^{P-1}  \displaystyle{p \choose k} a^p b^{p-k}  \)

(De acá no sé como continuar) sé que tengo que probar que \( p\mid\displaystyle{p \choose k} \) con \( k \in{\{1,\ldots,k-1\}} \)


Saludos

25 Septiembre, 2016, 05:37 am
Respuesta #1

ingmarov

  • Moderador Global
  • Mensajes: 5,428
  • País: hn
  • Karma: +0/-0
  • Sexo: Masculino
Hola cristianoceli

¿Conoces el pequeño Teorema de Fermat?
https://es.wikipedia.org/wiki/Peque%C3%B1o_teorema_de_Fermat

¿Y las propiedades de las congruencias?(En una cita del siguiente enlace)

http://rinconmatematico.com/foros/index.php?topic=89121.msg360747#msg360747

Espero que sí porque así te resultaría fácil de probar (lo dice un novato como tú en estos temas).
No te confíes, revisa lo que escribo. Yo también me equivoco.
Odio el autocorrector de Android...

25 Septiembre, 2016, 05:43 am
Respuesta #2

cristianoceli

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 810
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
Hola cristianoceli

¿Conoces el pequeño Teorema de Fermat?
https://es.wikipedia.org/wiki/Peque%C3%B1o_teorema_de_Fermat

¿Y las propiedades de las congruencias?(En una cita del siguiente enlace)

http://rinconmatematico.com/foros/index.php?topic=89121.msg360747#msg360747

Espero que sí porque así te resultaría fácil de probar (lo dice un novato como tú en estos temas).

Un forero (feriva) me mostró lo que era el pequeño teorema de Fermat pero no lo puedo ocupa ya que no me lo han pasado en clases. Congruencias si he visto.

Saludos

25 Septiembre, 2016, 05:53 am
Respuesta #3

ingmarov

  • Moderador Global
  • Mensajes: 5,428
  • País: hn
  • Karma: +0/-0
  • Sexo: Masculino
Revisando, creo que ibas por buen camino  Editado

\( \displaystyle\binom{p}{k}=\dfrac{p!}{k!(p-k)!} \)

Que claramente es divisible por "p". Gracias a que ya no tenemos los valores extremos de la expansión del binomio.

Tienes una explicación de esto último, aqui

https://es.wikipedia.org/wiki/Peque%C3%B1o_teorema_de_Fermat#Demostraci.C3.B3n

Donde dice:

Citar
Para la demostración también se utiliza la propiedad de que si p es un número primo, entonces el coeficiente binomial \( \displaystyle\binom{p}{n} \) es divisible por p, para todo n, tal que 1≤ n<p. Esto es así puesto que el coeficiente binomial se define como:

    \( \displaystyle\binom{p}{n}= \dfrac{p !}{ ( p − n ) ! ⋅ n !} \)
Donde el signo ! corresponde al factorial de un número, que indica la multiplicación de todos los números naturales menores o iguales a dicho número, por ejemplo, p! = p·(p-1)·(p-2)·...·2·1. Puesto que en el denominador, los factoriales de los números involucran números que son menores que el número primo p, estos no pueden contener p ni dividir al número primo p del numerador, así pues, el coeficiente es divisible por p.



...
\( p | \displaystyle\sum_{{\bf\color{red}k}=1}^{P-1}  \displaystyle{p \choose k} a^p b^{p-k}  \)
...


Te añado mi explicación

\( \displaystyle\binom{p}{k}=\dfrac{p!}{k!(p-k)!} \)    \( 1\leq k\leq p-1 \) 

Los coeficientes de la expansión binomial son números enteros, por lo que sabemos que  \( k!(p-k)!|p! \)

pero dado que k<p y que p es primo podemos decir que ninguno de los factores de k! divide a p

de la misma forma para (p-k)! mostramos que ninguno de los factores de (p-k)! dividen a p

Por lo que \( \dfrac{(p-1)!}{k!(p-k)!}\in\mathbb{Z} \) Es decir  \( k!(p-k)!|(p-1)! \)

Y todos los coeficientes\( \displaystyle\binom{p}{k}=p\dfrac{(p-1)!}{k!(p-k)!} \) para \( 1\leq k\leq p-1 \)   son divisibles por p
No te confíes, revisa lo que escribo. Yo también me equivoco.
Odio el autocorrector de Android...

25 Septiembre, 2016, 04:14 pm
Respuesta #4

cristianoceli

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 810
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
Gracis ingmarov.



Saludos