Aplicacin de la Aritmtica en Olimpiadas Matemticas

-1-
APLICACIN DE LA ARITMTICA
EN OLIMPIADAS MATEMATICAS
ngel Snchez Ore
Prof. Acadmia Csar Vallejo - ICH
Objetivos
Dar a conocer aspectos tericos importantes para la resolucin de problemas de
olimpiadas correspondiente a la parte de aritmtica.
Generar inters de parte de los participantes para con este tipo de problemas y conocer
algunas formas de solucin.
Fomentar la difusin de este tipo de actividades, ya que por ahora slo pocos conocen
sobre la existencia de concursos de matemtica a nivel internacional.
Introduccin
En la presente exposicin se enfocar aspectos relacionados a los temas que
corresponden al curso de aritmtica, como son la teora de los Nmeros y La Matemtica
Discreta. Debemos tener en cuenta que en las olimpiadas de matemtica a los problemas
los podemos clasificar como correspondiente a los cursos de lgebra, geometra, teora de
nmeros y matemticas discreta; siendo estos dos ltimos los que comprende al curso de
aritmtica.
Se dice que los mencionados cursos corresponden al de aritmtica porque hacen
referencia a la teora de divisibilidad o teora de congruencias, en el cual se desarrollan
problemas estrictamente matemticos justificando rigurosamente la solucin de los
problemas. Pero tambin hace referencia a la parte de combinatoria, estrategias de juegos,
utilizando en otros casos el principio de las casillas.
A veces se tiene la idea que es suficiente que un alumno participante pueda competir
en estos eventos conociendo las matemticas preuniversitarias que todos conocemos, pero
debemos tener en cuenta que no lo es as. Porque los problemas de nivel preuniversitario en
nuestro medio buscan obtener generalmente una solucin nica sin importar en muchos
casos el procedimiento. En cambio en una olimpiada lo que interesa es el procedimiento de
resolucin, justificando lo que est queriendo transmitir y que el jurado calificador acepte su
solucin como valedera.
Es muy grato para nosotros ver cada ao que nuestros estudiantes en promedio van
alcanzando un nivel competitivo en el mbito internacional, lo cual se muestra en los logros
que ao tras ao se van obteniendo. Es adems un compromiso cada vez mayor a seguir
investigando y profundizando, para que nuestra delegacin peruana pueda competir con las
grandes potencias en este rubro de las olimpiadas matemticas y que en un futuro nuestros
alumnos olmpicos puedan transmitir sus experiencias a otras nuevas generaciones.
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-2-
LA TEORIA DE NMEROS
La teora de nmeros es la rama de matemticas puras que
estudia las propiedades de los nmeros en general y de los
enteros en particular, as como diversos problemas derivados de
su estudio. Contiene una cantidad considerable de problemas
que podran ser comprendidos por no matemticos. De forma
ms general, este campo estudia los problemas que surgen con
el estudio de los enteros.
La teora de nmeros ocupa entre las disciplinas matemticas
una posicin idealizada anloga a aquella que ocupan las
matemticas mismas entre las otras ciencias.
El trmino aritmtica tambin era utilizado para re ferirse a la
teora de nmeros. Este es un trmino bastante antiguo, aunque
ya no tan popular como en el pasado. De all la teora de nmeros suele ser denominada alta
aritmtica, aunque el trmino tambin ha cado en desuso. Este sentido del trmino aritmtica
no debe ser confundido con la aritmtica elemental, o con la rama de la lgica que estudia
la aritmtica de Peano como un sistema formal. Los matemticos que estudian la teora de
nmeros son llamados tericos de nmeros.
Podemos decir que la teora de nmeros empez con el
matemtico griego Diofanto de Alejandra en el siglo III d.c.
Diofanto escribi trece libros (siete de los cuales se han perdido)
dedicados a la resolucin de ecuaciones algebraicas, intentando
dar mtodos para encontrar sus soluciones enteras o racionales.
Algunos ejemplos de los problemas que trataba en su libro son:
Qu nmeros son suma de dos nmeros al cuadrado? Qu
nmeros son suma de tres nmeros al cubo?
Pero la contribucin (indirecta) ms importante de Diofanto
fue a partir de la traduccin al latn de los seis primeros libros
con el nombre de Aritmtica en 1621 por C.G. Bachet. Esta
traduccin fue la que inspir al verdadero padre de la teora de
nmeros, Pierre de Fermat.
PIERRE DE FERMAT (1601-1665)
Pierre de Fermat es uno de los matemticos ms importantes de
la historia. Aunque de hecho no era matemtico profesional sino
juez. Vivi durante la mayor parte de su vida en Toulouse, dedicndose
en las horas libres a las matemticas. Entre los resultados ms
importantes que obtuvo podemos destacar la invencin (junto con
Descartes) de las ahora llamadas coordenadas cartesianas, que
permiten traducir los problemas geomtricos a problemas
algebraicos.
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-3-
Pero los resultados que le han hecho ms famoso fueron sin duda los que obtuvo
trabajando inspirado en el libro de Diofanto, que dieron origen a la teora de nmeros. Aunque
debido a la forma de trabajar de Fermat, que no publico sus resultados en vida y solo divulgaba
a travs de cartas a sus amigos y colegas, tenemos pocas indicaciones de cuales eran sus
mtodos para resolver los problemas.
Entre los resultados ms conocidos que obtuvo (o anunci) se puede mencionar el llamado
Pequeo teorema de Fermat: Para todo nmero primo p y para todo nmero natural a no
divisible por p tenemos que p divide a a
p-1
-1.
El resultado ms famoso de Fermat en la actualidad no es de hecho un resultado suyo,
aunque se le denomina el ultimo teorema de Fermat. Parte de su fama es debida a la manera
como formul el resultado y tambin porque se han tardado ms de 350 aos para darle la
razn. La historia empieza despus de su muerte en que su hijo publico la edicin que tenia
Fermat del libro de Diofanto junto con las anotaciones originales de Fermat. En una de ellas,
concretamente al margen de la parte en que Diofanto habla de las ternas pitagricas, Fermat
dejo escrito el siguiente enunciado (traducido al lenguaje moderno):
Para cualquier nmero natural n mayor o igual que 3, la siguiente ecuacin no tiene
soluciones (naturales) salvo que A, B o C sean cero:
A
n
+ B
n
= C
n
Y adems aade:
Tengo una demostracin maravillosa de este resultado pero este margen es demasiado
estrecho para contenerla. A partir de ese momento muchos de los matemticos ms
importantes de la historia intentaron demostrarlo sin xito has que recientemente, en 1994,
Andrew Wiles consigui demostrar este resultado; aunque no con los mtodos que poda
conocer Fermat. Queda an la duda si Fermat tena o no la demostracin de este Teorema (yo
me inclino a pensar que no).
JOHANN CARL FRIEDRICH GAUSS
(30 de abril de 1777 23 de febrero de 1855)
Fue un matemtico, astrnomo y fsico alemn de una
gigantesca genialidad, que contribuy significativamente
en muchos campos, incluida la teora de nmeros, el
anlisis matemtico, la geometra diferencial, la geodesia,
el magnetismo y la ptica. Considerado el prncipe de
las matemticas y el matemtico ms grande desde
la antigedad, Gauss ha tenido una influencia notable
en muchos campos de la matemtica y de la ciencia, y es
considerado uno de los matemticos que ms influencia ha
tenido alrededor de la historia.
Gauss fue un prodigio, de quien existen muchas
ancdotas acerca de su asombrosa precocidad siendo apenas un infante, e hizo sus primeros
grandes descubrimientos mientras era apenas un adolescente. Completo su magnum opus,
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-4-
Disquisitiones Arithmeticae a los veintin aos (1798), aunque no seria publicada hasta 1801.
Un trabajo que fue fundamental para que la teora de los nmeros se consolidara y ha moldeado
esta rea hasta los das presentes.
Al l se le debe la siguiente frase que perdura hasta la actualidad:
La Matemtica es la reina de las ciencias y la aritmtica es la reina de las matemticas
Teora elemental de nmeros
En la teora elemental de nmeros, se estudian los nmeros enteros sin emplear tcnicas
procedentes de otros campos de las matemticas. Pertenecen a la teora elemental de nmeros
las cuestiones de divisibilidad, el algoritmo de Euclides para calcular el mximo comn divisor,
la factorizacin de los enteros como producto de nmeros primos, la bsqueda de los nmeros
perfectos y las congruencias. Son enunciados tpicos el pequeo teorema de Fermat y el
teorema de Euler que lo extiende, el teorema chino del resto y la ley de reciprocidad cuadrtica.
En esta rama se investigan las propiedades de las funciones multiplicativas como la funcin
de Mbius y la funcin de Euler; as como las sucesiones de nmeros enteros como los
factoriales y los nmeros de Fibonacci.
Diversos cuestionamientos dentro de la teora elemental de nmeros parecen simples, pero
requieren consideraciones muy profundas y nuevas aproximaciones, incluyendo las siguientes:
Conjetura de Goldbach sobre si todos los nmeros pares (a partir de 4) son la suma de dos
nmeros primos.
Conjetura de los nmeros primos gemelos sobre la infinitud de los llamados nmeros
primos gemelos
ltimo teorema de Fermat (demostrado en 1995)
Hiptesis de Riemann sobre la distribucin de los ceros de la funcin zeta de Riemann,
ntimamente conectada con el problema de la distribucin de los nmeros primos.
Teora analtica de nmeros
La teora analtica de nmeros emplea como herramientas el clculo y el anlisis complejo
para abordar preguntas acerca de los nmeros enteros. Algunos ejemplos de esta son el
teorema de los nmeros primos y la hiptesis de Riemann. El problema de Waring, la conjetura
de los nmeros primos gemelos y la conjetura de Goldbach tambin estn siendo atacados a
travs de mtodos analticos.
LA MATEMTICA DISCRETA
La matemtica discreta es la parte de las matemticas que estudia objetos discretos. Definir
el concepto discreto sin entrar en demasiadas formalidades no es sencillo pero podemos apelar
a ciertos ejemplos matemticos conocidos y contraponerlo al concepto de continuo que es la
idea central del curso de Matemticas. Lo discreto es lo finito o lo que, si no es finito, presenta
el aspecto de los nmeros naturales, objetos bien separados entre s; lo continuo es lo no finito,
lo infinitesimalmente prximo, como los nmeros reales, y de ah el concepto de lmite y las
ideas que de dicho concepto se derivan.
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-5-
La matemtica discreta surge como una disciplina que unifica diversas reas tradicionales
de las Matemticas (combinatoria, probabilidad, geometra de polgonos, aritmtica, grafos,...),
como consecuencia de, entre otras cosas, su inters en la informtica y las telecomunicaciones:
la informacin se manipula y almacena en los ordenadores en forma discreta (palabras formadas
por ceros y unos), se necesita contar objetos (unidades de memorias, unidades de tiempo), se
precisa estudiar relaciones entre conjuntos finitos (bsquedas en bases de datos), es necesario
analizar procesos que incluyan un nmero finito de pasos (algoritmos)...
La matemtica discreta proporciona, por otro lado, algunas bases matemticas para
otros aspectos de la informtica: estructuras de datos, algortmica, bases de datos, teora de
autmatas, sistemas operativos, investigacin operativa,... as como ayuda al desarrollo de
ciertas capacidades fundamentales para un ingeniero: capacidad de formalizar, de razonar
rigurosamente, de representar adecuadamente algunos conceptos...
Los problemas que implican a las matemticas discretas estn entre los ms difciles de las
matemticas. Por otra parte, algunas aplicaciones de las matemticas que utilizan el problema
de la factorizacin precisan de una serie de nmeros primos muy grandes escogidos de forma
aleatoria. Se puede obtener el algoritmo para obtener un nmero primo aleatorio muy grande.
El tiempo de finalizacin de este algoritmo no es determinado, pero existe una alta probabilidad
de que finalice en tiempo polinomial siempre y cuando haya suficientes nmeros primos y estos
estn distribuidos de forma ms o menos uniforme.
A continuacin presentaremos algunos problemas de olimpiadas matemticas con su
respectiva solucin, en el cual se dar las pautas necesarias para su posterior presentacin.
PROBLEMAS DE APLICACIN
Problema 1
Pruebe que la suma de cuatro nmeros enteros positivos consecutivos no puede ser un
cuadrado perfecto.
Resolucin
Se trata de evaluar la expresin, donde n y p son enteros positivos.
n + (n + 1) + (n + 2) + (n + 3) = p
2
,
Resolviendo se tiene
4n + 6 = 2(2n + 3) = p
2

Se observa que p debe ser par, es decir p = 2q reemplazando tendremos
2(2n + 3) = 4q
2
Resolviendo y simplificando se tiene
(2n + 3) = 2q
2
Esta igualdad no tiene soluciones enteras positivas pues el miembro izquierdo es un
nmero impar y el miembro derecho es par.
Lqqd
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-6-
Problema 2
Pruebe que el producto de tres enteros positivos consecutivos no puede ser un cubo perfecto
Resolucin
Nos piden analizar la expresin
n(n + 1)(n + 2) = p
3
.
Es claro que p n, porque
p(p+ 1)(p + 2) > p
3
.
Adems p n + 1, porque
(p 1)p(p + 1)= p
3
p < p
3
.
Tambin que p n + 2, porque
(p 2 )(p 1 ) p < p
3
Al ser p, diferente de los tres nmeros, slo le quedan las siguientes posibilidades:
p < n p > n + 2, siendo ambas imposibles pues:
p < n t n(n + 1)(n + 2) > p
3
, y
p > n + 2 t n(n + 1)(n + 2) < p
3
Lqqd
Problema 3
Determine todos los enteros positivos n para los cuales existen n enteros positivos consecutivos
cuya suma es un nmero primo.
Resolucin
Si n = 1 es suficiente considerar cualquier numero primo y cumplir la condicin.
Sabemos que 3 = 2 + 1 por lo que se puede afirmar que para n = 2 tambin cumplir.
En general como todo nmero primo mayor que 3 es de la forma:
6k1= (3k-1)+(3k) 6k+1= (3k)+(3k+1), siendo k entero positivo, entonces n=2 tambin
es solucin.
Evaluemos ahora para n > 2, tendremos que
k+(k+1)+(k+2)+ .+(k+n1) debe ser un primo P con k1,
desarrollando nk
n n
P +

=
( ) 1
2
despejando se tiene
n(2k + n 1) = 2P (P es primo)
Caso I
Si n es par (n = 2i, con i 2)
Reemplazando:
2i(2k + 2i 1 ) = 2P
i(2k + 2i 1 ) = P (tr)
Porque i 2 y 2k + 2i 1 5
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-7-
Caso II
Si n es impar (n = 2i + 1, con i 1)
Reemplazando:
(2i+1)(2k + 2i) = 2P
(2i+1)(k + i ) = P (tr)
Porque 2i + 1 3 y k+ i 2
Finalmente se concluye que las nicas soluciones son
n = 1
n = 2
Problema 4
Halla las soluciones enteras de la ecuacin: p.(x + y)= x.y
Siendo p un nmero primo
Resolucin
Ya que p es primo, p0 y p1
De la ecuacin se observa que p divide a x o p divide a y
Adems como la ecuacin es simtrica respecto de x e y, si (, ) es solucin, tambin lo ser
(, )
Si p divide a x, entonces x = pk (k Z)
Reemplazando en la ecuacin se tiene
p(pk + y) = pky
pk + y = ky

y
pk
k
=
1
Como k es entero adems k y k 1 son primos entre si, luego k 1 divide a p
Al ser p un primo hay slo 4 posibilidades para k 1, las cuales son:
k 1 = 1
k 1 = p
Evaluando cada uno de los casos:
k 1 = 1 entonces k = 0, x = 0, y = 0
k 1 = + 1 entonces k = 2, x = 2p, y = 2p
k 1 = p entonces k = p + 1, x = p(p + 1), y = p + 1
k 1 = p entonces k = 1 p , x = p(1 p), y = p 1
En resumen las soluciones son:
I. (0, 0)
II. (2p, 2p)
III. (p(p+1), p+1)
IV. (p(1 p), p 1)
Y por simetra aadimos
V. (p+1, p(p+1))
VI. (p-1, p(1-p))
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-8-
Problema 5
Se quiere cubrir el siguiente tablero con fichas de domin, del mismo color (que ocupan dos
casilleros). Demostrar que no es posible hacerlo
Resolucin
Coloreamos el tablero dado de dos colores en forma intercalada
Se observa que hay
13 cuadraditos blancos
15 cuadraditos negros
Como cada ficha de domin cubre un cuadradito de cada color, por lo tanto el tablero
dado, no podr ser cubierto
Problema 6
Es posible llenar una cuadricula de 11 x 11 con los nmeros del 1 al 121 de tal manera que todos
los cuadrados perfectos estn en la misma columna y cualesquiera dos nmeros consecutivos
estn en cuadritos adyacentes
Resolucin
Supongamos que es posible.
Entonces la cuadrcula quedara dividida en dos partes por medio de la columna que contiene
a los cuadrados perfectos, con:
11n (0 n 5) casillas de un lado y
110 11n = 11(10 n) casillas del otro lado
Notemos que los nmeros entre dos cuadrados perfectos consecutivos, digamos a
2
y
(a+1)
2
deben estar del mismo lado y aquellos nmeros entre (a + 1)
2
y (a + 2)
2
deben estar del
lado opuesto
Adems se sabe que
Entre 1 y 4 hay 2 nmeros
Entre 4 y 9 hay 4 nmeros
Entre 9 y 16 hay 6 nmeros
Entre 16 y 25 hay 8 nmeros
Entre 25 y 36 hay 10 nmeros
Aplicacin de la Aritmtica en Olimpiadas Matemticas
-9-
Entre 36 y 49 hay 12 nmeros
Entre 49 y 64 hay 14 nmeros
Entre 64 y 81 hay 16 nmeros
Entre 81 y 100 hay 18 nmeros
Entre 100 y 121 Hay 20 nmeros
Se concluye lo siguiente
Un lado de la cuadricula tiene 4 + 8 +12 + 16 + 20 = 60 nmeros.
El otro lado de la cuadricula tendr 2+ 6 + 10 + 14 + 18 = 50 nmeros
Pero esto sera imposible pues 50 y 60 no son mltiplos de 11
Por lo tanto, no es posible hacer lo que se pide
BIBLIOGRAFIA
Historia De la matemtica. Carl B. Boyer. Razonamiento y Aplicaciones
Matemtica: Razonamiento y Aplicaciones. Charles D. Millar
Ralph Grimaldi. Matemtica Discreta y Combinatoria.
Pascual Aceytuno. Anlisis Matemtico Elemental Aritmtica.
Csar Trejo. El Concepto del Nmero.
Ivan Vinogradov. Fundamentos de la Teora de los Nmeros.
Anthony Pettofrezzo. Introduccin a la Teora de los Nmeros.
Ivan Niven. Introduccin a la Teora de los Nmeros.
William Leveque. Teora Elemental de los Nmeros.
PGINAS WEB
www.sectormatematica.cl/olimpiadas.htm
platea.pntic.mec.es/csanchez/olimmain.htm
usuarios.lycos.es/jcolon
www.geocities.com/CapeCanaveral/Lab/5908