Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fermat
Fermat
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
coloraciones en donde por lo menos se utilizan dos colores.
A continuacin se eliminan los nmeros de los sectores. Qu efecto tiene
esto sobre las coloraciones que inicialmente eran diferentes? Cuntas
coloraciones que eran diferentes coincidirn al borrar la numeracin de los
sectores?
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
grados de amplitud alrededor del centro del disco; o lo que es lo mismo,
cada coloracin no monocromtica se cuenta p veces: la inicial y las que
resultan de los p-1 giros de amplitudes
1i360 2i360
,
,
p
p
( p 1)i360 .
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.
Entonces parece que ya estamos en condiciones de formular la respuesta a
la pregunta del problema, con generalidad : el nmero de coloraciones
es
np n
+n.
p
La respuesta al problema es un nmero natural; por lo tanto, como
consecuencia se obtiene que
np-n es mltiplo de p, si p es un nmero primo.
Doy nombre a esta proposicin : Pequeo teorema de Fermat, enunciado
en una carta de Fermat del 18 de octubre de 1640 a su amigo Frnicle de
Bessy, naturalmente sin demostracin (en esto, Fermat era un verdadero
experto) y con una formulacin ligeramente diferente. Leibniz dej una
demostracin en un manuscrito no publicado, antes de 1683, y Euler
public la suya en 1736 (Theorematum Quorundam ad Numeros Primos
Spectantium Demonstratio). La expresin Pequeo teorema de Fermat se
us por primera vez en 1913 en un libro alemn de Teora de Nmeros.
Retrato de Fermat
n = q1 p + a1 ; 2n = q2 p + a2 ,
donde los nmeros a1 , a2 ,
, ( p 1) n = q p 1 p + a p 1 ,
1i2i3i i( p 1) n p 1 = Np + a1 ia2 i ia p 1 ,
o lo que es igual
1i2i3i i( p 1) ( n p 1 1) = Np .
De aqu que
(n
p 1
) = 2i3i341i( ) .
mcd ( k , p )
0 ( mod p ) .
k =1
Se verifica
p
mcd ( k , p )
= n+n+
k =1
( p 1) n + n p = np + n p n . Ahora bien,
(1) np 0 ( mod p )
(2) n p n ( mod p ) (TeoremadeFermat ) n p n 0 ( mod p )
Y de (1) y (2) se obtiene el resultado.
6.- Si p es un nmero primo mayor que 5, demostrar que p4-1 es
divisible por 240.
Sea p primo mayor que 5. Se tiene que 240 = 8x5x6 = 16x5x3.
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 ) ;
por lo tanto su diferencia ser mltiplo de m:
a m 1 b m 1 0 ( mod m ) .
Como a-b no puede ser mltiplo de m (de hecho, el mcd(a-b,m)=1),se
obtiene el resultado.
PROCEDENCIA DE LOS PROBLEMAS
El problema 1 est tomado del libro Introduction to Number Theory and
Inequalities, de C.J. Bradley (publicado por UKMT, 2006).
El problema 2 procede de uno de los libros mticos en Teora de Nmeros:
250 problmes de thorie lmentaire des nombres, de Waclaw Sierpinski
(publicado en francs por Ed. Jacques Gabay, 1992), y cuya edicin original
en ingls se public en Varsovia en 1970.
Los restantes problemas proceden de una leccin de Olimpiadas de la Prof.
hispano-cubana Mara Emilia Santibez Piera sobre el teorema de Fermat,
no publicada (sin fecha; probablemente alrededor de 1987).
BIBLIOGRAFA
Adems de las tres fuentes recin mencionadas, presento a continuacin
algunos libros vlidos para la preparacin de Olimpiadas en lo que se refiere
a Teora de Nmeros:
1) Arthur Engel: Problem solving strategies; Springer 1998.
2) Enzo Gentile : Aritmtica Elemental en la formacin matemtica;
Olimpiada Matemtica Argentina, 1991.
3) Saulo Rada Aranda : Aritmtica; CENAMEC, Caracas 1992.
4) Waclaw Sierpinski: Elementary Theory
Holland&PNN, Amsterdam y Varsovia 1988.
of
Numbers;
North