Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fermat PDF
Fermat PDF
F.B.: Por si alguno no se siente cmodo por no haberos dado valores particulares
de n y p, sera perfectamente razonable empezar a ver lo que sucede con valores
pequeos de n y p, para comprender bien el problema.
Alguno aventura 24, sin mucha conviccin les digo que s, que esa es la
respuesta.
Escribo entonces en el encerado las igualdades (obvias!)
3=1+2; 4=2 + 2; 11 = 8 + 3; 24 = 20 + 4
Despus se restan las que corresponden a un solo color, que son n. As, con
el disco fijo y los sectores numerados, tenemos
np-n
Los alumnos van examinando los casos vistos hasta ahora y contestan:
Primer caso: 2
Segundo caso: 3
Tercer caso: 3
Cuarto caso: 3
k i360
p
1i360 2i360
, , ,
( p 1)i360 .
p p p
Es instructivo ver cules son esos giros en los casos particulares estudiados.
En el primer caso hay un solo giro (p-1=1) y en todos los dems hay 2.
np n
+n.
p
Retrato de Fermat
FB ante la estatua de Fermat en el pueblo natal de Fermat, Beaumont de
Lomagne, en el Sur de Francia, verano de 2002
Una alumna mete los datos en su calculadora para ver el valor de la fraccin
que da el nmero de coloraciones no monocromticas y encuentra un
nmero decimal. Le digo : acabas de comprobar que el resultado no es
vlido si p no es primo.
n = q1 p + a1 ; 2n = q2 p + a2 , , ( p 1) n = q p 1 p + a p 1 ,
o lo que es igual
1i2i3i i( p 1) ( n p 1 1) = Np .
De aqu que (n p 1
1) es divisible por p (esta es la forma en que Fermat
formul su teorema) y multiplicando por n se obtiene el resultado.
( )
2341 2 = 2 ( 2340 1) = 2 ( 210 ) 134 = 2 ( 210 1) (
34
) = 2i3i341i( ) .
Observacin previa
Para agilizar la aplicacin del teorema de Fermat es necesario utilizar el
concepto y propiedades de las congruencias. Resumo, sin demostracin,
algunas de sus propiedades.
Por el pequeo teorema de Fermat, 212 da resto 1 al ser dividido por 13, as
que 260 = (212)5 dar resto 15 = 1. Como 25 da resto 6, 210 dar resto -3 al
ser dividido por 13. Entonces 270 da resto -3 al ser dividido por 13.
Por otra parte, 33 da resto 1, y lo mismo ocurre con 369. De aqu que 370
dar resto 3. Entonces, sumando 270 + 370 dar resto -3+3 =0, es decir,
ser divisible por 13.
( )
Luego, o bien n3 1 0 ( mod 7 ) , o bien n3 + 1 0 ( mod 7 ) . ( )
( )
Si n3 1 0 ( mod 7 ) , esto es lo mismo que n3 1( mod 7 ) .
( )
Si n3 + 1 0 ( mod 7 ) , esto es lo mismo que n3 1( mod 7 ) n3 6 ( mod 7 ) .
n
k =1
mcd ( k , p )
0 ( mod p ) .
Se verifica
p
n
k =1
mcd ( k , p )
= n+n+ + n + n p (p-1 sumandos iguales a n), es decir
( p 1) n + n p = np + n p n . Ahora bien,
(1) np 0 ( mod p )
Como p es impar, entonces p-1 y p+1 son dos nmeros pares consecutivos,
as que su producto es mltiplo de 8. Pero p2 + 1 tambin es par, as que el
producto de los tres es mltiplo de 16.
Por otra parte, si p>5 es primo, p no puede ser divisible por 3, as que lo
ser uno de los nmeros p-1 p+1.
a m 2 + a m 3b + a m 4 b 2 + + bm2
Es mltiplo de m.
Se verifica
a m 1 b m 1 = ( a b ) ( a m 2 + a m 3b + a m 4b 2 + + bm2 ) .
a m 1 1( mod m ) ; b m 1 1( mod m ) ;
a m 1 b m 1 0 ( mod m ) .