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.
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
Ú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.
. Probar que si 
es un número primo distinto de 3, entonces 
es múltiplo de 
Una posible vía es demostrar el teorema:
«p primo divide a
si p-1 no divide a j»
una pista: tenemos varias sumas geométricas encubiertas
Si asumimos el teorema del primer comentario, tenemos que si p-1 no divide a j, y por el T. de Fermat si p-1 divide a j . Entonces, si p es un primo mayor que 3 y j recorre , j es múltiplo de p-1 solo cuando j=p-1 y por tanto Y pongo la siguiente demostración de Poinsot(1845) del resultado del primer comentario: Si recorre los valores , y x es uno de esos valores, recorre también esos valores (en diferente orden) y por tanto recorre los mismos valores que . Entonces . Si x es una raíz primitiva para… Lee más »
sí señor, estupendo!! Me ha gustado la referencia a Poinsot. En unos días si nadie aporta otra prueba, pondré una algo más sencilla.
¿Podríamos ahora analizar la siguiente cuestión relacionada?
Pongo otra prueba del ejercicio:
Si
entonces vemos usando el pequeño teorema de Fermat (y sumando una progresión geométrica) que
Para los casos
la suma claramente es 1 módulo p. Por tanto la suma pedida es, módulo p,
que es múltiplo de p, si p es primo distinto de 3. Se ha usado en medio la propiedad esa fundamental del triángulo combinatorio.