Diminuto Curso de Teora de Nmeros y Anexas

Eugenio Daniel Flores Alatorre

Jos Ramn Guardiola Espinosa Jos Manuel Jimnez Bentez Germn Chvez Fernndez Jos Luis Carballo Lucero Demian Espinosa Ruiz

este material fue creado por el equipo de Editorial Dinosaurio y se encuentra de manera ntegra y gratuita en editorialdinosaurio.blogspot.mx

para hacer un donativo, visita el blog. facebook.com/EditorialDinosaurio contacto@undostresporcarma.com

Presentacin
El esqueleto de lo que ahora es este manual fue escrito hace quizs cuatro aos pero de esa obra sobrevive quizs slo el espritu. Al momento de escribir esto, transcurre mi onceavo verano ligado de algn modo a la Olimpiada Mexicana de Matemticas en San Luis Potos. Los primeros dos fui participante, los siguientes tres fui entrenador y este es el sexto ao en que adems soy adems delegado. Si bien he sido alumno de varias escuelas, facultades y universidades, creo que mi verdadera formacin se ha dado al interior de la Olimpiada de Matemticas. Es sta mi verdadera alma mater, la madre de mi alma. No creo que exista la posibilidad de recibir un ttulo olmpico pero no dudo de haber recibido una educacin; la Olimpiada es la escuela de pensamiento a la que pertenezco. Estoy orgulloso de decirme olmpico pero, sin afn de demeritar, no deseo que sea un calificativo exclusivo de aquellos que participan en un evento nacional, ni siquiera en estatales. Si la Olimpiada es una escuela de pensamiento, olmpico puede ser cualquiera.

Agradezco muchsimo a quienes me han acompaado en estos once aos, sobre todo alumnos y amigos de quienes he aprendido mucho ms de lo que he tenido oportunidad de ensear.

verano dos mil trece

Hoja de Ruta
El presente manual es el resultado de impartir el curso de Olimpiada de Matemticas en San Luis Potos por varios aos. Est fuertemente influenciado por Teora de Nmeros, de Mara Luisa Prez Segui que siempre ha sido la base del curso. Adems, se nutre de problemas, tcnicas, metforas y explicaciones aprendidas de nuestros muchos maestros como Carlos Jacob Rubio Barrios, Enrique Miguel Arroyo Chavelas y por supuesto, todos nuestros alumnos. A ste, incorporamos algunas ancdotas y explicaciones que hemos ledo en varios lugares y varios teoremas que no aprendimos sino hasta varios aos despus de haber salido de la Olimpiada. Incluimos algunos temas que no siempre se ven dentro del programa de Olimpiada pero que nos gustan, consideramos importantes o muy ligados. Hace algunos aos, el Comit Nacional hizo un ndice con los contenidos bsicos que un alumno debe dominar o siquiera conocer para participar en una Olimpiada Nacional; por lo tanto, todos los siguientes temas deberan estar aqu en algn lugar, en algn orden:
II. Teoria de Nmeros 1. Divisibilidad a) Definicin. b) Propiedades. c) Nmeros primos. Teorema de infinidad de primos. d) Criterios de divisibilidad. 2. Factorizacin en nmeros primos. a) Teorema fundamental de la aritmtica. (Todo nmero tiene una descomposicin nica en primos) b) Lema de Euclides (Si p es un primo y p|ab entonces p|a o p|b.) c) Nmero de divisores de un entero. d) Suma y producto de los divisores de un nmero. 3. Algoritmo de Euclides a) Algoritmo de la divisin. 4. Mximo Comn Divisor a) Definicin. b) Propiedades. c) Primos Relativos. 5. Mnimo Comn Mltiplo a) Definicin. b) Propiedades. 6. Congruencias.

a) Propiedades elementales. b) Congruencias como una relacin de equivalencia en . c) Sistema completo y reducido de residuos. d) Teorema chino del residuo. e) Pequeo teorema de Fermat. f ) La funcin de Euler. g) Teorema de Euler. h) Teorema de Wilson. i) Solucin de sistemas de congruencias.

Aunque bajo Teora de Nmeros normalmente se entiende divisibilidad, hemos agregado apartados de lgebra, sobre todo desigualdades y polinomios porque son temas que se ensean en la clase de Nmeros en San Luis. Tambin pusimos un poquito de Series y un poquito de Ecuaciones Diofantinas. Tambin incluiremos un apartado sobre demostraciones porque es esencial para resolver algunos problemas: contradiccin e induccin aunque este ltimo tradicionalmente se ensea en la clase de Combinatoria. Al final, hay muchsimos problemas para que te entretengas. Ahora s, a continuacin, el temario del presente volumen: Presentacin o Hoja de ruta o Las hojitas Preliminares o Los nmeros o Leyes de los exponentes o Gauss y otros gausseses o Tu amigo sigma o Soluciones a los ejercicios Divisibilidad o Criterios de divisibilidad o Definiciones y propiedades o Combinacin lineal o Primos o Teorema Fundamental de la Aritmtica o Cantidad de divisores o Mnimo comn mltiplo o Mximo comn divisor o Soluciones a los ejercicios El maravilloso mundo de las congruencias o Residuos o Congruencias Definiciones, notacin y propiedades

Del mnimo comn mltiplo a Quines son los inversos y por qu? Teorema de Euler-Fermat Teorema de Wilson o Sistemas de congruencias Teorema Chino del Residuo o Soluciones a los ejercicios Maas, teoremas ponchados y temas adicionales o Maas o Teoremas ponchados o Sucesiones o Funciones o Desigualdades o Ecuaciones diofantinas o Lgica y demostraciones Contradiccin Induccin o Soluciones a los ejercicios Problemas o Enunciados o Pistas o Soluciones Bibliografa

A grandes rasgos, la Teora de Nmeros es el estudio de los nmeros primos. El curso de Teora de Nmeros se divide en dos grandes apartados: Divisibilidad y Congruencias. Entendemos divisibilidad como el caso particular cuando y congruencias el ligeramente ms general de . Sin embargo, incluimos un apartado preliminar sobre todo de lgebra y una especie de apndice con temas adicionales. Finalmente, hay una amplia seccin de problemas. La numeracin de problemas y ejercicios se reinicia en cada seccin. En general, los teoremas, lemas y corolarios no irn numerados pero llevarn el nombre cuando lo tengan. Por motivaciones ms o menos didcticas y sobre todo por intentar ser fieles a la exposicin tradicional durante la escuela de verano, distinguimos ejemplos aquellos para los que se propone una solucin en el texto mismo- de ejercicios que se resuelven al final de cada seccin- de problemas que tienen su propio apartado al final.

Las hojitas

Los grandes genios cometieron grandes errores.

Preliminares
Las primeras sesiones de cualquier curso de Teora de Nmeros de la Olimpiada normalmente se dedican a asegurar que estamos en el mismo plano en cuanto al dominio del lgebra y ciertas frmulas tiles. Para un trabajo ms profundo con el lgebra, puedes estudiar la seccin de desigualdades o cualquier libro de texto repleto de ejercicios.

Los nmeros
Responder la pregunta Qu es un nmero? resulta mucho ms complicado de lo que uno puede pensar en primera instancia. En el principio era el 1. Los hombres vieron que era bueno y empezaron a poner muchos 1s juntos y as nacieron los nmeros naturales

algunos autores incluyen al 0 entre los nmeros naturales, nosotros no lo haremos as. De entre los nmeros naturales, los primeros en surgir fueron sin duda los dgitos que son diez, hacen referencia a nuestros dedos y son probablemente la explicacin de nuestro sistema decimal. Cuando los mayas inventaron el 0, el conjunto result mucho ms interesante pero incompleto. Interesante porque el 0 tiene la propiedad de que

que llamamos neutro aditivo pero incompleto porque no existen nmeros tales que

para ningn natural . Fue as que nacieron los nmeros enteros:

Histricamente, esto no fue as. No es sino hasta despus del renacimiento que los nmeros negativos se entienden de una manera distinta que resta. Es decir, para nosotros, la resta debera ser la suma de nmeros negativos pero no para los antiguos. Los griegos, por ejemplo, no conceban los nmeros negativos de esta manera aunque ya conocan los racionales y los irracionales. Este conjunto se representa con una zeta por la palabra zahlen que significa nmero en alemn. A los nmeros negativos los llamamos inversos aditivos. Todos los nmeros tienen un inverso aditivo; el 0 es el nico nmero cuyo inverso aditivo es s mismo. As, el 0 no es ni positivo ni negativo sino todo lo contrario.

Este conjunto se vuelve mucho ms interesante una vez que los hombres se inventaron la multiplicacin o producto pero, de nuevo, parece que algo le falta. Interesante porque aquel nmero que tanto les haba gustado tiene la propiedad de que

que llamamos neutro multiplicativo pero incompleto porque no existen nmeros tales que

para ningn entero

distinto de 1.

Para resolver esto, consideramos el conjunto de los racionales:

el conjunto de todas las fracciones donde numerador y denominador son nmeros enteros y el denominador es distinto de cero. Este conjunto recibe su letra por la palabra quotiens que significa cociente o razn en latn. Los racionales cumplen prcticamente todo lo que uno quisiera: es un conjunto sobre el cual estn definidas dos operaciones la suma y el producto- que son cerradas, es decir, que la suma de dos racionales o el producto de dos racionales vuelve a ser racional; las operaciones son conmutativas y asociativas que quiere decir que

respectivamente, para cualesquiera tres nmeros racionales; estas dos operaciones estn relacionadas por la propiedad distributiva

que de izquierda a derecha es desarrollar y de derecha a izquierda es factorizar; adems, como ya vimos, existe un neutro para la suma el 0- y un neutro para el producto el 1- y todos los nmeros tienen un inverso aditivo y, exceptuando al 0, todos tienen inverso multiplicativo1.

Cuando entiendas la resta como suma de inversos y la divisin como producto de inversos, el mundo ser un lugar mejor para ti: la jerarqua de operaciones se vuelve sencilla y lgica, y queda claro por qu no puedes dividir entre 0. Nos gusta hacer nfasis en la importancia de no dividir entre 0. Imagina que tienes mil pesos. Si entras en una tienda donde cada cosa cuesta mil pesos, te alcanza para comprar una cosa; si en otra tienda cada cosa cuesta quinientos pesos, te alcanza para comprar dos cosas; si cada cosa cuesta doscientos cincuenta pesos, te alcanza para comprar dos cosas; de a doscientos te alcanza para cinco; de a cien te alcanza para diez; de a cincuenta de alcanza para veinte; de a diez de alcanza para cien; de a peso te alcanza para mil; de a cincuenta centavos de alcanza para dos mil. Para cuntas te alcanza si fueran gratis? Cualquier nmero que se te ocurra es una respuesta correcta.

La construccin de los nmeros reales obedece no slo a incluir los nmeros irracionales como y todos los nmeros con expansin decimal infinita no-peridica; sino a un axioma llamado del supremo. ste pide que todo subconjunto no vaco y acotado de los nmeros reales tenga una mnima cota superior (inferior) que llamamos supremo (nfimo) y es algo que no vale la pena tratar aqu. Llegamos as a

los nmeros reales, que normalmente expresamos como la recta numrica. Prcticamente todo nmero que te imagines est dentro de este conjunto. Sin embargo, hay problemas muy sencillos que no tienen solucin entre los nmeros reales, por ejemplo

Problemas como el anterior llevaron a crear los nmeros complejos

en donde todo polinomio de grado tiene exactamente soluciones. No te preocupes por este ltimo conjunto; aunque es mucho muy interesante, no lo vas a necesitar en la Olimpiada. Cul de estos conjuntos es ms grande? No es una respuesta sencilla2. Esta misma pregunta la intentaron resolver algunos grandes como Galileo pero nuestro entendimiento actual del tamao de conjuntos o cardinalidad- y toda nocin de cardinales infinitos se debe a George Cantor.
2

Una noche de tormenta llega un hombre al Hotel de Hilbert para Matemticos que tiene infinitas habitaciones. Haba estado lloviendo, as que el hombre slo quera tomar un bao y dormir. Llega al mostrador y pide una habitacin. El recepcionista le dice: Lo siento seor, estamos llenos. Pero cmo? pregunta el hombre no tienen infinitas habitaciones?. S dijo el recepcionista y estn todas ocupadas. Total que se pelearon un rato pero a fin de cuentas, el hombre si tuvo habitacin, cmo le hicieron?

El hombre propuso que cada husped se moviera a la habitacin siguiente y as l se quedara en la habitacin nmero 1. Claro, es una molesta eterna pero al menos tuvo dnde dormir. Cuenta la leyenda que todava ahora, mientras lees esto, hay huspedes del hotel molestando a su vecino para cambiar de habitacin.

A todos nos ensean a contar tratando de comparar los elementos de un conjunto con el de otro.

Resulta que esta idea se puede aplicar tambin para conjuntos de nmeros. Podemos ver, por ejemplo, que hay la misma cantidad de nmeros naturales que de nmeros pares si a cada nmero natural lo emparejamos con su doble. Para ver que hay la misma cantidad de naturales que de enteros, hacemos el siguiente emparejamiento:

y as sucesivamente. Esto nos dice que hay la misma cantidad de naturales que de enteros pues a cada entero le podemos asignar un nico natural. Es decir, podemos contar los enteros. Este tipo de infinito se llama numerable y lo denotamos con el cardinal .3

Es un poco ms complicado, pero tambin podemos demostrar que los nmeros racionales son numerables. Entonces, tendremos dos preguntas: los nmeros reales tambin son numerables? existe algn cardinal infinito entre el de los naturales y el de los reales? No son preguntas sencillas. Para que te des una idea de cmo es que los reales son de un tipo distinto de infinito, ofrecemos el siguiente ejercicio: si los nmeros reales se pudieran numerar, podramos decir que existe un primer nmero real, el segundo y as sucesivamente. Hagamos eso nada ms con los nmeros entre 0 y 1. Construimos un nmero de modo que la primera cifra es distinta a la primera cifra del primer nmero real, la segunda cifra es distinta a la segunda cifra del segundo nmero, la tercera cifra es distinta a la tercera cifra del tercer nmero y as
3

Este nmero se llama aleph sub cero y utiliza la letra griega aleph. Jorge Luis Borges tiene un libro de cuentos titulado precisamente El Aleph donde trata de manera brillante varias cuestiones del infinito.

sucesivamente. Entonces, est entre 0 y 1 pero no est entre los nmeros que contamos pues tiene al menos una cifra distinta a cada uno de los nmeros que s contamos. Esto es una contradiccin, pues supusimos que los habamos contado todos. Luego, los nmeros reales no se pueden numerar.

Mientras hablemos de divisibilidad y congruencias, en general vamos a trabajar nicamente con nmeros enteros y casi siempre slo los positivos o naturales. Sin embargo, trabajando desigualdades y el lgebra en general, en general debers asumir que los nmeros son reales. Dividimos el apartado de Teora de Nmeros en dos grandes secciones a partir de la definicin de la divisin:

el primero divisibilidad- es el caso cuando , es decir, cuando la divisin es exacta y slo entonces diremos que un nmero divide a otro; el caso ms general cuando se trata en los residuos y congruencias.

Leyes de los exponentes

Definicin. Si es un nmero real distinto de cero y siguientes expresiones: i. ii. iii. iv. Teorema. Si es un nmero real distinto de cero y siguientes propiedades: 1. 2. 3. 4. 5. Si y , entonces . nmeros racionales, se cumplen las para natural nmeros racionales, definimos las

Observa que, por ejemplo, no es una propiedad. No slo eso, en general, esa 4 expresin es falsa . Aunque las propiedades estn definidas para nmeros reales y con nmeros racionales, la verdad es que las usaremos casi exclusivamente con enteros.

Demostracin. Vamos a ofrecer demostraciones para el caso particular en que 1. Usando la definicin en (i), tenemos que

enteros.

Es cierta, por ejemplo, si

o para el muy particular caso de

2. Por la definicin (ii), podemos reescribir

Luego, por la propiedad antes demostrada,

3. Utilizando la definicin (i), tenemos que

4. Por la definicin (i), tenemos

5. Multiplicamos ambos lados de la igualdad por

de donde

que implica lo deseado.

Para la siguiente lista de ejercicios, lo que esperamos es que seas capaz de usar las propiedades anteriores y que expreses el resultado como Ejercicio 1. Cuntas cifras tiene el nmero Ejercicio 2. Escribe Ejercicio 3. Cunto es Ejercicio 4. Cunto es entre 64? ? ? como una sola potencia de 2.

Ejercicio 5. Un pastel se corta quitando cada vez la tercera parte del pastel que hay en el momento de cortar. Qu fraccin del pastel original queda despus de cortar tres veces? Ejercicio 6. Sea la sucesin de los cuadrados de los enteros positivos. El nmero es un trmino en esta sucesin. Cul es el trmino de la sucesin que va despus de ? Ejercicio 7. Cuntas soluciones enteras tiene la ecuacin Ejercicio 8. Encontrar en trminos de , de tal manera que se cumple la ecuacin ? ? .

Ejercicio 9. Para qu valores de

Gauss y otros gausseses

Cuenta la leyenda matemtica que el joven Gauss tena un profesor de matemticas que cada de vez en cuando no tena muchas ganas de dar la clase. Uno de esos das que no quera dar clases, el profesor le orden a los alumnos que calcularan la suma de los nmeros del 1 al 1000 con la esperanza de tenerlos ocupados todo el da. Segn la leyenda, Gauss no tard ms de unos minutos en terminar precisamente porque conoca la frmula que hoy lleva su nombre. Teorema: Frmula de Gauss. La suma de los primeros naturales es

Demostracin. Sea

. Entonces, si sumamos

columna por columna, podemos ver que

Despejando para

obtenemos

Teorema: Gauss para cuadrados5. La suma de los cuadrados de los primeros

naturales es

Demostracin. Ofreceremos una prueba no-inductiva6. Para ver una demostracin inductiva, puedes consultar la seccin de Induccin en el apndice.

5 6

La frmula no se llama as, pero la llamamos as por analoga y mala costumbre. El mundo matemtico tard mucho tiempo en encontrar una demostracin no inductiva de esta frmula; se necesit de la genialidad de Euler para construir tan hermosa demostracin.

Veamos que

as que

y as sucesivamente. Si sumamos todo el lado izquierdo de la igualdad, tendramos

que son los nicos dos trminos que no se eliminan. Del lado derecho tendramos

donde obtenemos que

es lo que deseamos conocer. Despejando para ,

factorizando

del lado izquierdo,

Reordenando y dividiendo entre 3, obtenemos

como queramos. Teorema: Gauss para cubos. La suma de los cubos de los primeros naturales es

Demostracin. En el apartado sobre la induccin ofrecemos una prueba inductiva. Una prueba no inductiva puede generalizarse a partir de la demostracin del teorema anterior. Teorema: Suma de potencias de la misma base o serie geomtrica. La suma de las primeras potencias de un nmero desde hasta - es

Esta suma tambin puede expresarse como

Demostracin. Multiplicando la ecuacin por

, obtenemos

Desarrollando el lado izquierdo, obtenemos

como queramos mostrar.

Teorema: Resta de bases a la misma potencia. Si tenemos que

es un nmero natural y

enteros,

En particular, es importante recordar que Teorema: Suma de bases a la misma potencia impar. Si entonces se cumple que es un nmero impar y enteros,

En particular, es importante recordar que Demostracin. Como es impar, tenemos que y usamos el teorema anterior.

si

es impar. . Luego,

En los siguientes ejercicios, la idea es que utilices las frmulas anteriores. Ejercicio 1. Cunto vale la suma Ejercicio 2. Cunto vale la suma Ejercicio 3. Cunto vale la suma Ejercicio 4. Cunto vale la suma ? pares. ). ? ? ?

Ejercicio 5. A partir del ejercicio 2, deduce una frmula para la suma de los primeros Ejercicio 6. Encuentra una frmula para sumar los primeros Puedes usar la frmula del ejercicio anterior y la de Gauss. impares (desde 1 hasta

Ejercicio 7. Encuentra una frmula para sumar enteros consecutivos desde

hasta

Ejercicio 8. Ral ley un libro (aplausos). El primer da ley 30 pginas y cada da siguiente ley 6 pginas ms que el da anterior. Si la lectura le llev 100 das, cuntas pginas tena el libro? Ejercicio 9. Encontrar la suma de todos los nmeros de 4 cifras en los que los dgitos 1, 2, 3 y 4 aparecen exactamente una vez. Ejercicio 10. Sea un nmero natural. Demuestra que

para todo valor de . Ejercicio 11. Un saltamontes est parado sobre la mitad de una regla aparentemente infinita. Empieza a contar sus saltos y en cada uno salta tantos centmetros como el nmero de salto, en cualquiera de las dos direcciones derecha o izquierda. Es decir, el primer salto es de un centmetro, el segundo salto es de dos centmetros, el tercer salto es de tres centmetros y as sucesivamente. Es posible que despus de 2013 saltos vuelva exactamente al lugar donde empez? Ejercicio 12. Prueba que el nmero:

es mltiplo de

Factorizaciones
Hay algunas cosas que a lo mejor no absorbers por completo hasta llevar un curso de lgebra en la escuela. Sin embargo, si te las apropias desde tu participacin en la Olimpiada, probablemente pases algunos cursos muy aburridos en tu escuela. El presente manual no pretende ser un compendio ni introduccin completa al lgebra. Para trabajar tu lgebra cualquier librito de texto lleno de ejercicios hace el truco. Dados nmeros , se cumple que

Las siguientes igualdades son mucho muy tiles

Cuando nos movemos de izquierda a derecha en cualquiera de las dos desigualdades anteriores, decimos que estamos desarrollando. Cuando nos movemos de derecha a izquierda, estamos factorizando. Probablemente por razones culturales que tienen que ver con nuestra forma de leer, concebimos el pasado a nuestra izquierda y el futuro a nuestra derecha. Esto es claro siempre que hacemos una lnea del tiempo. Sin embargo, no dejemos que esto influya en nuestra lgebra: habr momentos en que factorizar ser un paso hacia atrs pero muchos otros en que factorizar ser un importante paso hacia adelante. Cuando veamos el Teorema Fundamental de la Aritmtica, entenderemos que tener un nmero expresado como producto de factores en general nos da ms informacin que tenerlo expresado como suma de trminos. En los siguientes problemas que volvern a aparecer ms adelante en otras secciones- encuentra una factorizacin. Ejercicio 1. Ejercicio 2. Ejercicio 3. Ejercicio 4. Ejercicio 5.

Tu amigo Sigma
Para ser sinceros, siempre hemos credo que sigma como las congruencias- es slo una notacin. Pero una notacin sumamente til. Si nos ponemos muy estrictos, probablemente toda la matemtica sea un ejercicio de notacin, pero en el caso de sigma debe estar claro. Veamos algunos ejemplos:

Funciona as: pones a tu amigo sigma, comindose el tipo de nmeros que vas a sumar; debajo pones el menor valor de la variable y arriba pones el mximo valor de la variable, que en este caso se llama ndice, y listo. Como toda buena notacin, tiene varias propiedades: (a) las constantes pueden adelantarse y multiplicar a sigma y (b) sigma puede reproducirse asexualmente siempre que exista una suma o resta.

Esto se lee: La suma de los nmeros de la forma tres ka ms dos, desde ka igual a tres hasta quince; y esto es igual a tres veces la suma de ka desde ka igual a tres hasta quince ms la suma de quince menos tres ms un veces dos. Esperamos que haya quedado claro. Sigamos el ejemplo. Ejemplo 1. Suma los cuadrados de los nmeros impares entre 14 y 2008.

Lo que queremos ver es cunto ms fcil es hacer esto usando tu amigo sigma.

Haciendo algunas manipulaciones en los ndices, podemos convertir todo de modo que nos queden sumas para las que tenemos alguna frmula

que convierte el resto del ejercicio en hacer algunas cuentas. Es una notacin muy usada ms adelante. Por ejemplo, el Teorema del Binomio de Newton dice que

Soluciones a los ejercicios

Leyes de los exponentes
Ejercicio 1. Por las leyes de los exponentes que repasamos, podemos reescribir como

que es 225 seguido de 2013 ceros. Es decir, tiene 2016 cifras en total. Ejercicio 2. Podemos hacer esto paso por paso,

Siguiendo el proceso, llegamos a la respuesta que es

Ejercicio 3. Haciendo una serie de manipulaciones algebraicas,

Ejercicio 4. Tenemos siete veces

, es decir

Ejercicio 5. Despus del primer corte, quedan de pastel. Despus del segundo corte quedan de pastel y despus del tercer corte quedan slo de pastel. . Luego, el trmino

Ejercicio 6. Reescribimos como un cuadrado, es decir en la sucesin que va despus es . Ejercicio 7. Reescribimos como

que tiene soluciones cuando

Ejercicio 8. Tenemos que

es decir,

Ejercicio 9. Observemos que 1025 es un nmero impar. La nica potencia de 2 que es impar es as que el problema tiene solucin cuando o cuando . Las dos soluciones son .

Gauss y otros guasseses

Ejercicio 1. Factorizamos primero

Ejercicio 2. Anlogo al problema anterior,

Ejercicio 3. Es una suma de potencias conde la base es frmula, la base nos la indica el segundo trmino,

. En una aplicacin directa de esta

Ejercicio 4. Aunque podramos ingeniar una frmula similar a la de Gauss, podemos resolver este problema con la frmula de Gauss y luego restando lo que sumamos de ms

En general, a menos que el problema especifique lo contrario, puedes dejar las operaciones indicadas. Ejercicio 5. Si el -simo impar es , la suma de los primeros pares es

Ejercicio 6. Podemos obtener esta suma si hacemos la suma de los primeros restamos los pares,

nmeros y

Ejercicio 7. Ya encontramos una frmula semejante en el ejercicio 4. Suponiendo que tenemos que

Sin embargo, por analoga con la frmula de Gauss, podemos encontrar esta otra. Si

entonces,

De aqu que

Ejercicio 8. El secreto est en ordenar la suma de modo que sea ms sencillo. Lo que queremos sumar es

y en total 100 sumandos. Esto se puede plantear tambin como

que a su vez se puede reescribir como

que es mucho ms sencillo de sumar

que, todava sin hacer cuentas, se puede convertir en

Ejercicio 9. Por la regla del producto, en total existen nmeros de cuatro cifras en los que los dgitos 1,2, 3, 4 aparecen exactamente una vez. Slo hay que preguntarnos: cuntas veces aparece cada dgito en cada posicin? Bueno, como hay 24 nmeros, seis de ellos empiezan con el 1, seis con el 2, seis con el 3 y seis con el 4. Lo mismo para cada otra posicin. Entonces, la suma de los nmeros se convierte en

que se convierte en

Ejercicio 10. Para un fijo, digamos que como

. Luego, podemos reescribir el problema

Haciendo manipulaciones algebraicas, tenemos que

como queramos demostrar. Ejercicio 11. Queremos saber si existe una eleccin de signos tal que

Eso significa que deberamos poder partir la suma embargo,

en dos iguales. Sin

es un nmero impar por lo que lo anterior es imposible.

Factorizaciones
Ejercicio 1. La factorizacin que buscamos requiere un pequeo truco

Ejercicio 2. La factorizacin que buscamos es

Ejercicio 3. La factorizacin que buscamos es

Ejercicio 4. La factorizacin que buscamos pasa primero por una simplificacin

Ejercicio 5. Muy parecido al ejercicio anterior, buscamos

Divisibilidad
ndice de esta seccin Divisibilidad o Criterios de divisibilidad o Definiciones y propiedades o Combinacin lineal o Primos Lema de Euclides Teorema Fundamental de la Aritmtica o Cantidad de divisores o Mnimo comn mltiplo o Mximo comn divisor

Criterios de divisibilidad
Un criterio es una herramienta que nos ayuda a tomar alguna decisin; un criterio de divisibilidad sirve para decidir si cierto nmero es o no divisible entre otro nmero dado. A estas alturas de tu vida conoces un criterio para cualquier nmero aunque no le llames as. Definicin (Criterio de divisibilidad). Un nmero es divisible entre tenemos un cociente entero y un residuo igual a 0. si y slo si al dividir entre

Es decir, que al hacer la casita, no te sobra nada. Lo que vamos a ver a continuacin son criterios un poco ms elegantes y vanidosos, en general mucho ms cmodos. Queremos presentarlos de modo que sea sencillo hacer relaciones entre ellos.

Criterio de divisibilidad del 2. Un nmero es divisible entre 2 si y slo si su ltima cifra es divisible entre dos1. Es decir, si y slo si su ltima cifra es 0, 2, 4 6 u 8. Criterio de divisibilidad del 4. Un nmero es divisible entre 4 si y slo si el nmero formado por sus ltimas dos cifras es mltiplo de 4. Criterio de divisibilidad del 8. Un nmero es divisible entre 8 si y slo si el nmero formado por sus ltimas tres cifras es mltiplo de 8.

Criterio de divisibilidad del 5. Un nmero es divisible entre 5 si y slo si su ltima cifra es divisible entre 5. Es decir, si y slo si su ltima cifra es 0 o 5. Criterio de divisibilidad del 25. Un nmero es divisible entre 25 si y slo si el nmero formado por sus ltimas dos cifras es mltiplo de 25.

La definicin de nmero par es que sea divisible entre 2. Por lo tanto, decir que un nmero es divisible entre 2 si es par no es un gran avance. Lo que sucede es que determinamos la paridad basados en la ltima cifra precisamente porque as definimos el criterio del 2.

Los criterios del 2 y el 5 dependen de la ltima cifra. Esto est en estrecha relacin con el hecho de que y el nuestro sea un sistema decimal. Criterios para potencias de estos dos nmeros pueden extenderse de manera sencilla.

Criterio de divisibilidad del 3. Un nmero es divisible entre 3 si y slo si la suma de sus dgitos es divisible entre 3. Criterio de divisibilidad del 9. Un nmero es divisible entre 9 si y slo si la suma de sus dgitos es divisible entre 9.

Los criterios del 3 y el 9 dependen de la suma de las cifras. Es decir, son tiles cuando conozcamos las cifras que forman el nmero incluso si no conocemos su orden.

Criterio de divisibilidad del 6. Un nmero es divisible entre 6 si y slo si es divisible entre 2 y entre 3. Es decir, si y slo si su ltima cifra es par y la suma de sus dgitos es mltiplo de 3. Criterio de divisibilidad del 10. Un nmero es divisible entre 10 si y slo si es divisible entre 2 y entre 5. Es decir, si y slo si su ltima cifra es 0. Criterio de divisibilidad del 12. Un nmero es divisible entre 12 si y slo si es divisible entre 3 y entre 5. Observa que es falso que un nmero sea divisible entre 12 si y slo si es divisible entre 6 y 2. Como contraejemplo, basta considerar al 6.

Criterio de divisibilidad del 11. Numeramos los dgitos del nmero empezando desde las unidades con el nmero 1. Un nmero es divisible entre 11 si y slo si la suma de los dgitos en posicin impar menos la suma de los dgitos es posicin par es un mltiplo de 11.

El siguiente es un criterio de divisibilidad que buscamos evitar generalmente. Criterio fcil de divisibilidad del 7. Un nmero es divisible entre 7 si y slo si el residuo al dividir entre 7 es exactamente 0. Criterio no-tan-fcil de divisibilidad del 7. Considera el nmero que se forma cuando al nmero original le quitas el dgito de las unidades es un nmero con un dgito menos. Un nmero es

divisible entre 7 si el nmero formado quitndole el dgito de las unidades menos el doble del dgito de las unidades es mltiplo de 7.

Estos criterios son extremadamente tiles, sobre todo cuando se trata de nmeros extremadamente grandes. Todos ellos se pueden aplicar reiteradamente aunque para algunos de ellos no tenga sentido hacerlo. Ejemplo 1. Decidir si 98724790987 es divisible entre 3. Solucin. El criterio de divisibilidad entre 3 nos dice que depende de la suma de sus dgitos. La suma de los dgitos de 98724790987 es 70. Si no estamos seguros si 70 es o no un mltiplo de 3, hacemos la suma de sus dgitos que es 7. Como 7 no es mltiplo de 3, 70 tampoco lo es y 98724790987 tampoco.

Aunque parezca que algunos de estos criterios se extienden naturalmente, no siempre sucede as. Por ejemplo, es cierto que para ver si un nmero es mltiplo de 100 o de 1000 baste con que termine en dos o tres ceros respectivamente; tambin, es cierto que para ver si un nmero es o no mltiplo de 16 o 32 baste con verificar que el nmero formado por sus ltimas cuatro o cinco cifras sea un mltiplo de 16 o 32 respectivamente; sin embargo, es falso que para que un nmero sea mltiplo de 27 u 81 baste con que la suma de sus dgitos sea un mltiplo de 27 u 81 respectivamente.

Adems, hemos generado algunas ideas importantes: para ver que un nmero sea divisible entre 15, basta ver que es divisible entre 3 y 5; sin embargo, para ver que un nmero sea divisible entre 45, no basta ver que es divisible entre 3 y 15 sino entre 9 y 5. Ms adelante, cuando te enseemos otras herramientas, te vamos a pedir que pruebes estos criterios. Pero por ahora ests a salvo.

Ejercicio 1. Existe algn nmero de seis dgitos divisible por 11 cuyos dgitos son 1, 2, 3, 4, 5 y 6 en algn orden?

Definiciones y propiedades
Si aprendiste a dividir igual que nosotros, cuando divides 2013 entre 4 haces una casita donde metes al 2013 y dejas al 4 afuera ms o menos como en la puerta. Al terminar la divisin, te queda 503 en el techo de la casita y un 1 en el stano. Ms o menos as: 503 4 2013 1

Si queremos expresar eso como una igualdad, diramos que

Resulta que para cualesquiera dos enteros podemos hacer eso: meter uno de ellos a la casita, dejar el otro afuera y hacer la divisin. Si dejamos al mayor afuera, el nmero de arriba va a ser 0. Resulta importante tener siempre presente la siguiente definicin. Definicin (previa). Decimos que un entero divide a un entero si existe un entero tal que

La anterior definicin tiene un finsimo detalle que queremos corregir. Observa que bajo la anterior definicin, se cumple que 0 divide a 0 pues para cualquier entero , tenemos que . Vamos a arreglar esa definicin agregando nada ms una palabra. Definicin. Decimos que un entero divide a un entero si existe un nico entero tal que

Con la anterior correccin, ya no se cumple que 0 divide a 0 pues no existe un nico entero sino una infinidad que cumplen lo pedido y por lo tanto no satisface la definicin2.

Nunca dividas entre 0. Es importante que tengas cuidado y cuando dividas entre letritas, verifiques que no ests dividiendo entre 0.

Para algunas personas, hay una confusin semntica que quisiramos atender. Definicin. Decimos que que es divisor de . Notacin. Cuando es mltiplo de si se cumple que divide a . En ese caso, decimos

divida a escribiremos

En caso contrario, escribiremos

Partiendo de nuestra definicin revisada de divisibilidad, el siguiente teorema enuncia las propiedades ms importantes de la divisibilidad. Seguro que estamos considerando ms de las que tradicionalmente se consideran. Teorema (Propiedades de la divisibilidad). Para (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) Para todo entero , se tiene que enteros, se cumple que

3 Para todo entero , se tiene que Para todo entero , se tiene que . (Propiedad reflexiva.) Si y , se sigue que . Si , entonces se sigue que . si y slo si donde es el valor absoluto de . Adems, si y slo si . Cuando , esto sucede si y slo si . Es posible que pero que . (Propiedad no simtrica.) Si son enteros tales que , entonces . (Propiedad transitiva.) Si , entonces para todo entero . Si , entonces Si , entonces .

Esto quiere decir, en el caso particular de , que el 0 es un nmero par. En general, no es necesario hacer la distincin entre los mltiplos de y el 0 pues el 0 es siempre mltiplo de .

Aunque ofrecemos las demostraciones a continuacin, ninguna de ellas es exageradamente complicada y vale la pena que las intentes por tu cuenta. Cuando quieres demostrar propiedades tienes simplemente que verificar la definicin.

Demostracin. Para probar la divisibilidad, es necesario encontrar un nmero que cumpla la definicin. (1) (2) (3) (4) Tenemos que . Tenemos que Basta con considerar Puesto que , de donde Como , tenemos que . (5) Veamos que si y slo si si y slo si si y slo si como queramos. Si y , entonces tenemos que que slo es posible cuando . (6) Ofrecemos como contraejemplo que pero . (7) Si , entonces . Si adems , entonces . Sustituyendo, tenemos que de donde . (8) Si , entonces . Luego, de donde . (9) Si y , entonces y . Luego, de donde . (10) Se sigue inmediatamente de las dos anteriores.

Con las propiedades demostradas, es momento de intentar resolver algunos ejercicios y problemas. Recuerda que la solucin a los ejercicios viene al final de cada captulo.

Ejercicio 1. El producto de tres nmeros distintos entre s y mayores que uno es 100, Cules son estos tres nmeros? Ejercicio 2. Cuntos enteros positivos Ejercicio 3. Al dividir 999 entre queda al dividir 2009 entre ? cumplen que al dividir 399 entre quede 14 de residuo?

quedan 2 de residuo. Si

es un nmero de dos cifras, cunto

Ejercicio 4. Rubn le cambia dos dgitos al nmero 888 buscando un nmero de tres dgitos lo ms grande posible que sea divisible entre 8. Javier le cambia dos dgitos al nmero 888 buscando un

nmero de tres cifras lo ms pequeo posible que sea divisible entre 8. Cunto vale la diferencia entre ambos nmeros? Ejercicio 5. Encontrar un nmero tal que la suma

resulte ser un nmero con todas sus cifras iguales. Ejercicio 6. El producto de las edades de mis hijas es 1664. Si la edad de la ms grande es el doble que la de la ms pequea, cuntas hijas tengo? Ejercicio 7. Encuentre todos los enteros positivos Ejercicio 8. Determine el mayor entero positivo nmeros 3, 6, 9, 12 para la cual Ejercicio 9. Sea entero. Ejercicio 10. Se tienen tres cartas, una marcada con el nmero , otra con el nmero y otra con el nmero , todos ellos enteros con . Eugenio, Miguel y Pablo sostuvieron un juego de varias rondas que consiste en lo siguiente: Durante cada ronda, los jugadores toman una carta al azar y cada uno obtiene tantos puntos como indica la carta que toma y estos puntos se van acumulando. Eugenio gan el juego con 20 puntos, Miguel se qued con 10 puntos y Pablo con 9. Se sabe que en la ltima ronda Miguel obtuvo puntos. (a) Cuntas rondas se jugaron? (b) Quines pudieron haber tomado la carta marcada con tales que sea un mltiplo de . de los

tal que existe una reordenacin

es un entero. tales que es un

un entero positivo. Encuentre todos los valores de

en la primera ronda?

Combinacin lineal
Dentro de las propiedades anteriores, hay una que requiere especial atencin y ser mucho ms relevante cuando hagamos el salto a las congruencias. Definicin. Dados dos enteros la forma definimos una combinacin lineal de como un nmero de

donde

son tambin enteros.

En la propiedad (10) del apartado anterior, demostramos que si es un divisor comn de , entonces divide a cualquier combinacin lineal de stos. Esto es cierto para cualquier divisor comn pero ser especialmente relevante para el mximo comn divisor. Vamos a trabajar unos ejemplos para mostrar algunas propiedades relevantes de la combinacin lineal.

Ejemplo 1. Expresar 0 como combinacin lineal de 3 y de 11 de dos maneras distintas. Solucin. Basta con encontrar una y podemos generar infinitas a partir de sta. Veamos que

Entonces, tambin se cumple que

para todo entero .

Ejemplo 2. Encuentra un nmero impar que sea combinacin lineal de 12 y de 46. Solucin. Esto es imposible. Como 2 es divisor comn de 12 y 46, divide a cualquier combinacin lineal de ellos y es claramente imposible que 2 divida a un nmero impar.

Ejemplo 3. Demuestra por qu es imposible encontrar enteros u, v tales que 6u + 9v = 2. Solucin. Basta ver que estamos buscando una combinacin lineal de 6 y de 9 que sea igual a 2. Como 3 es divisor comn, tendra que pasar que 3 dividiera a 2, lo cual no pasa. Factorizando, vemos que

del lado izquierdo de la igualdad tenemos un mltiplo de 3 pero del lado derecho no. Por lo tanto, esa igualdad es imposible.

Teorema. Si estn relacionados por la ecuacin cualesquiera dos de ellos, entonces tambin lo es del tercero.

, y un nmero

es divisor de

Demostracin. Si los nmeros son est claro pues lo anterior es una combinacin lineal. Para cualquier otro caso, basta con despejar para obtener combinaciones lineales: o .

Ejemplo 1. Expresar 1 como combinacin lineal de -3 y de 4 de tres maneras distintas. Ejemplo 2. Expresar 20 como combinacin lineal de 7 y de 4. Ejercicio 3. Sea un entero positivo y sea y nicos divisores positivos comunes posibles de a y b son 1, 2, 3 o 6. . Demuestra que los

Ejercicio 4. Ral quiere llenar su cantimplora de 1L y lo nico que puede hacer es llenar sus cubetas de 3L, 9L, 21L y 15L completas desde el ro o pasar de una cubeta a otra cubeta agua siempre que se pase toda o toda la que cabe (no puede meter la cantimplora al ro ni llenarla desde una cubeta si sobra en la cubeta). Cmo puede hacer esto Ral? Ejercicio 5. En un juego de ftbol americano, un equipo puede anotar 3 o 7 puntos. Cul es el nmero ms grande de puntos que no puede anotar un equipo, suponiendo tiempo infinito? Ejercicio 6. Tres amigos estaban jugando a lanzar dados, quien tuviera el resultado ms grande ganaba 4 puntos, y el que tuviera el resultado ms chico ganaba 2. Despus de jugar varias

partidas anotaron sus puntos y cada uno dijo que los siguientes eran sus puntajes, Manuel 18 puntos Jacsan 7 puntos y Chino 6 puntos. Quin de ellos miente en sus puntajes? Ejercicio 7. Don Manuel tiene un tanque con mucha leche y dos cubetas, una de 5 litros y otra de 9 litros. Puede medir 2 litros? Cmo? Ejercicio 8. Prueba que ninguno de los nmeros 1573, 157573, 15757573, es un nmero primo. Ejercicio 9. Sean enteros tales que tambin es divisible por 2002. y son ambos divisibles por 2002. Pruebe que

Primos
Los nmeros primos son como los legos del juego matemtico. Son los tomos de la qumica numrica. Son los colores primarios de tu paleta de nmeros enteros. Son muy importantes, pues.

Ejemplo 1. Cuntos rectngulos distintos puedes construir utilizando 17 cuadritos de

Solucin. Los nicos dos rectngulos posibles son y . Puesto que el rea del rectngulo es de 17 y el rea es base por altura, necesitaramos dos nmeros que multiplicados dieran 17. Como el 17 es primo, esos nmeros slo pueden ser el 17 y el 1.

Definicin. Un nmero es primo si y slo si tiene exactamente dos divisores positivos distintos. Fjate cmo nuestra definicin deja muy claro que el 1 no es un nmero primo, pues el 1 tiene nicamente un divisor positivo4.

No hay una frmula general para encontrar nmeros primos pues aparte de geniales, son nmeros muy escurridizos. Uno de los mtodos ms conocido se llama Criba de Erasttenes y estamos seguros que la has hecho alguna vez en la escuela, slo que probablemente no sabas que se llamaba as. Se trata de escribir en una hoja todos los nmeros del 1 al, digamos, 100. El 1 lo tachas porque ya dijimos que no es primo y echa mosca ah. Luego tomas el 2 y no lo tachas, pero

tachas todos aquellos que sean mltiplos de 2. Tu siguiente nmero sin tachar es el 3 que es primo y eliminas todos los mltiplos de 3. Haces lo mismo con cada nmero siguiente que quede sin tachar: el 5, el 7, el 11, el 13, el 17, etctera. Al final, los nmeros que te queden sin tachar son primos. Puedes hacer cribas ms eficientes. Otro muy popular es el siguiente: en lugar de usar diez columnas, pones los nmeros en seis columnas, el 1, el 2, 3, 4, 5, 6 y debajo del 1 el 7, debajo del 2 el 8 y as. Luego, ninguno que est debajo del 2, del 4 o del 6 puede ser primo, porque es un par. Tambin, ninguno que est debajo del 3 es primo porque sera mltiplo de 3. Queda slo la columna del 1 y la del 5. Si quieres, los mltiplos de 5 y de 11 estn en diagonales que tambin puedes tachar. El arreglo queda ms o menos as:

Este mtodo es muy poco til cuando se trata de saber si nmeros muy grandes son primos. La nica manera es dividirlo por todos los primos menores que l, si alguna vez da residuo 0, entonces no es primo; pero si nunca da residuo 0, entonces es primo. En realidad, no tienes que probar todos los primos menores que l, nicamente aquellos menores que su raz cuadrada. Por qu? Pinsalo un rato. Teorema. Todo nmero compuesto tiene un divisor tal que .

Demostracin. Vamos a proceder por contradiccin, es decir, vamos a suponer que no pasa lo que queremos probar y buscar llegar a un absurdo o imposible.

Sea

, donde

. Supongamos que

Luego,

lo cual es absurdo. Por lo tanto, alguno de sus divisores es menor o igual que su raz cuadrada. Corolario. Un nmero es primo si y slo si no es divisible entre ningn primo menor o igual que su raz cuadrada. El anterior corolario nos da el mtodo ms eficiente que tenemos para decidir si un nmero es o no es primo.

Algunas de las propiedades de la divisibilidad cobran especial relevancia cuando hablamos de primos. Esto sucede porque los primos no se pueden crear como por accidente en el producto de otros nmeros: tienen que estar enteritos en alguno de los factores del producto. El siguiente teorema lo deja en claro. Teorema (Lema de Euclides). Si Demostracin. Esto slo se cumple para nmeros primos. Observa el siguiente contraejemplo. Contraejemplo. Tenemos que pero y . es un nmero primo tal que , entonces o .

Hay ciertas propiedades de los primos que deseamos extender a nmeros que se parecen a los primos, es decir, que bajo algn contexto se comportan de manera similar. Llamamos a esos nmeros primos relativos o coprimos. Definicin. Dos nmeros divisor es 1, es decir, si se dicen primos relativos o coprimos si y slo si su mximo comn .

Con la anterior definicin, podemos proceder a enunciar los teoremas y demostrarlos. Corolario. Si y , entonces .

Demostracin. Se sigue inmediatamente del Lema de Euclides. Corolario. Si Teorema. Si con un nmero primo, entonces , entonces y tambin si y slo si y . .

donde

La relevancia de los nmeros primos se pone de manifiesto en el Teorema Fundamental de la Aritmtica, teorema importantsimo de nombre rimbombante. Insistimos brevemente en los Preliminares cmo la importancia de la factorizacin radica en que el producto nos da mucha mayor informacin que la suma. Por ejemplo, saber que tiene infinitas soluciones en los enteros y un nmero nada despreciable en los enteros positivos: . Sin embargo, saber que lo reduce a pocos casos: . Si adems, ponemos como restriccin que los trminos sean nmeros primos o potencias de nmeros primos, el producto deja una nica expresin mientras que para la suma ni siquiera podramos asegurar que sucede5. Eso es precisamente lo que enuncia el siguiente teorema. Teorema (Fundamental de la Aritmtica). Todo entero mayor que 1 tiene una nica descomposicin como producto de potencias de nmeros primos salvo orden.

Ejercicio 1. Sea un nmero impar. Demuestra que la suma de los primeros consecutivos es mltiplo de .

nmeros

Ejercicio 2. Demuestra que el producto de cualesquiera 5 nmeros consecutivos es mltiplo de 120. Ejercicio 3. Es cierto que si es natural entonces es primo?

Ejercicio 4. Demuestra que la raz cuadrada de 2 es un nmero irracional (que no puede expresarse como una fraccin irreducible con denominador y numerador enteros). Ejercicio 5. Generaliza el resultado anterior para la raz de cualquier primo. Ejercicio 6. Encontrar el mayor nmero entero que no tenga cifras repetidas y tal que el producto de sus cifras sea el cuadrado de otro nmero distinto de cero. Ejercicio 7. En una lista estn escritos los nmeros del 1 al 16. Es posible tachar 4 de ellos de manera que al multiplicar cualesquiera 2 de los 12 que queden el resultado no sea el cuadrado de un nmero entero?

Saber que los nmeros son suma de nmeros primos es una variacin de la Conjetura de Goldbach, la cual lleva quizs trescientos aos abierta.

Ejercicio 8. Probar que si p es un nmero primo, entonces Ejercicio 9. Probar que el conjunto de los primos es infinito. Ejercicio 10. Para cada natural ninguno de ellos es primo. Ejercicio 11. Sea , encuentra un intervalo de

para cualquier

nmeros consecutivos tal que

un nmero primo mayor que 2. Si:

prueba que

es mltiplo de . son enteros positivos tales que

Ejercicio 12. Si

prueba que

es divisible por 1979.

Cantidad de divisores
Queremos ver la frmula para calcular los divisores de un nmero como un simple ejercicio de regla del producto. No est de ms tener en mente a qu nos referimos como regla del producto. Rpidamente recordemos los problemas de guardarropa: si Carmen tiene 5 blusas y 3 pantalones de cuntas maneras se puede vestir? Una manera sencilla de resolver el problema cuando los nmeros son chicos-, es con un diagrama de rbol donde slo necesitamos contar las ramas finales, que son 15. Si ahora consideramos los 12 pares de zapatos que tiene Carmen, puede volverse tardado hacer un diagrama de rbol. En lugar, vemos que cada una de las combinaciones que ya tenemos, puede combinarse con cada uno de los 12 pares de zapatos. Si por una combinacin tenemos 12 combinaciones nuevas, por 15 vamos a tener quince veces 12; es decir, 12 x 15 = 180. En general, si una cierta tarea puede realizarse de maneras y, para cada una de esas maneras, una segunda tarea puede realizarse de maneras, entonces ambas tareas juntas pueden realizarse de maneras. Esta es, precisamente, la regla del producto. Empezaremos por el final, haciendo una tabla. A cada nmero, debemos encontrar los nmeros que tienen esa cantidad de divisores. Vamos a hacerlo de dos maneras: vamos a empezar dando nmeros de ejemplo pues es muy poco probable que alumnos de secundaria sugieran desde un primer momento la forma del nmero como producto de primos. Aunque desde el principio vamos a escribir tambin la forma, pronto nos vamos a dar cuenta que es la manera ms fcil. 1: 1

El 1 es el nico nmero que tiene un nico divisor, pues es la unidad. 2: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31,

Todos los nmeros primos tienen exactamente 2 divisores y son, adems, los nicos nmeros que tienen exactamente 2 divisores. Esta es, precisamente, la definicin de un nmero primo: Un nmero es primo si y slo si tiene exactamente 2 divisores positivos6. 3: 4, 9, 25, 49, 121,

Esta es otra de las cosas en las que no podemos ser lo suficientemente enfticos: el nmero 1 no es un nmero primo.

4:

6, 10, 14, 15, 21, 22, 26, 35, 55, 8, 27, 125, 343,

Con cuatro divisores damos un paso muy importante: es el primer nmero que tiene ms de una forma posible. Debemos hacer notar que , mientras que no es posible encontrar dos nmeros ambos distintos de 1 para hacer esto con 1, 2, 3 pues son primos. Adems, los primeros ejemplos son todos el doble de un nmero. El nmero 15 es un buen ejemplo para ver que no slo el doble cumple. Adems, el 4 nos ayuda a ver que no todos los dobles funcionan. Los alumnos hacen adivinanzas tratando de generalizar a veces nada ms avientan nmeros al azar- siempre hay que tener un contraejemplo sencillo y rpido para tratar de ayudar en su adivinanza. 5: 32, 81, 656,

Los ejemplos se vuelven ms escasos conforme el nmero de divisores aumentan. Adems se vuelve ms complicado calcularlos. Para aqu, la mayora puede darse cuenta que si queremos k divisores, entonces pk-1 siempre funciona. Debemos recalcar aqu que esta es la nica manera para 5 pues es primo. 6: 64, 12, 18, 50, 75,

El primer caso ya debera ser sencillo. Es ms, debera surgir casi sin ejemplo pues empezamos a trabajar con nmeros muy grandes. Sin embargo, hay que notar que aunque para algunos alumnos para este punto ya sea claro que cualquier primo elevado a la quinta potencia cumple, lo ms probable es que intenten calcular el nmero para 2, 3, 5, en lugar de decir precisamente cualquier primo elevado a la quinta potencia. Hay que recalcar que el . Entonces, si tomamos un nmero de dos divisores y tomamos uno de 3 divisores, su producto va a tener 6 divisores. Es importante observar que tienen que ser nmeros que tengan un primo distinto como base, para ello basta ver que aunque el 4 tiene 3 divisores y el 2 tiene 2 divisores, el 8 no tiene 6 divisores sino 4. Estos casos hay que mencionarlos. 7: 8:

El 8 es tambin importante, pues esta vez tiene 3 casos distintos. El primer caso debera salir natural. Como es ms fcil ver que que , el segundo debe ser ms sencillo que el ltimo. Sin embargo, el ejemplo ms sencillo del ltimo es 30, que no es un nmero tan grande. El ejemplo ms sencillo del segundo es 24. A partir de aqu, es buena idea preguntar primero si el nmero es quin por quin y entonces buscar la forma correspondiente.

9:

Pues . La forma con un nico primo es normalmente la ms fcil de ver, la de cajn. Sin embargo, si empezamos a preguntar si el nmero es quin por quin, ver que es s mismo por 1 a veces no es tan sencillo. 10:

Pues

. Esta lista completa debe estar escrita en el pizarrn. As, cuando digamos que , podemos sealar a los nmeros que tienen 5 divisores y a los que tienen 2 divisores. Lo importante es llevarlos a que escojan la forma que cumple cada uno y lo multipliquen escogiendo letras distintas. Eso ltimo es importantsimo. Si escogen la misma letra, el ejemplo del 2 normalmente ayuda a ver que no es cierto. 11: 12:

Los nmeros primos deberan ser bastante fciles. El 12 ayuda a preguntar si no hay ms. Para justificar que no hay ms, es necesario decir todas las maneras en que podemos encontrar 12 como multiplicaciones. Curiosamente, la cosa que estamos ejercitando aqu es precisamente la cantidad de divisores de un nmero y el Teorema Fundamental de la Aritmtica. A partir de aqu pues el 13, 14 y 15 no ofrecen mucho problema- la idea es dar nmeros ms bien grandes. Un par de nmeros primos que son sencillos- y un par de nmeros grandes que sepamos que tienen muchos divisores. Cmo encogemos esos nmeros? Auxilindonos de nuestra tabla del pizarrn, por supuesto. 17: 18: 30: Lo primero que hay que hacer es expresar cada uno de nuestros nmeros como alguien por alguien. El 17 es primo, as que la nica manera va a ser la de cajn. Recordemos que el 18 tiene 6 divisores: 1, 2, 3, 6, 9, 18. Entonces, lo podemos ver rpidamente de 3 maneras distintas: ; siempre podemos hacer esto con todos los nmeros tomar el ms chico y el ms grande, luego el segundo ms chico y el segundo ms grande, el tercero ms chico y el tercero ms grande y as sucesivamente. Hay ms formas? Hay que preguntarnos por los divisores de los divisores: y . Entonces, de la forma

, tenemos la forma ; y de la forma , tenemos la forma . Como son la misma forma, en total tenemos 4 maneras distintas. Ms adelante vamos a ver que podemos ahorrarnos este segundo paso. Ya que sabemos de cuntas maneras distintas, hay que encontrar una forma para cada manera. La idea es escoger una forma para cada uno de los nmeros que se estn multiplicando. La de cajn es fcil. Tomemos : necesitamos un nmero que tenga 2 divisores y un nmero que tenga 9 divisores. Con 2 divisores es ; con 9 divisores puede ser o . Al juntarlos, tenemos las formas y ; observemos que esta segunda forma es precisamente , de ah que podemos ahorrarnos un paso en lo que hicimos antes: las formas salen por si solas si mezclamos todas con todas. Qu formas salen con ? El 30 es el nmero ms pequeo que es producto de 3 primos distintos, . Ya sabemos que tiene 8 divisores, lo que nos da 4 maneras distintas. Tiene ms? Por qu? Qu formas salen para 30 divisores? Una vez que podemos resolver ejercicios as, vamos a voltear el ejercicio. Hasta ahora, hemos estado dando un nmero entero y queremos encontrar qu formas tienen esa cantidad de divisores. Ahora queremos dar una forma y saber cuntos divisores tiene.

Los primeros ejercicios estn en nuestra lista. Esto nos ayuda a ver que hasta ahora han entendido y que saben utilizar la lista. (A estas alturas, a lo mejor la lista ya no cabe entera en el pizarrn, por eso cada alumno debe escribirla en su libreta tambin.) : : Ninguno de estos nmeros est en la lista. La idea es ver que hay pedazos de la forma que s aparecen en la lista. Por ejemplo, sabemos que tiene 6 divisores y que tiene 8. Entonces, su producto debe tener divisores. Hay varias maneras de encontrar pedazos del segundo en la lista; lo ms fcil, sin embargo, es darse cuenta que cada uno tiene 2, entonces su producto debe tener divisores. Esa es la idea que queremos seguir en los ltimos ejemplos: : Este nmero no est en la lista. Adems, los nicos pedazos que podran s estar son bloques de un solo primo. Y esa es la idea: tiene 13 divisores, y tienen 8 divisores cada uno, tiene 22 divisores. Entonces su producto debe tener divisores.

Este es el truco! Ver todo nmero como producto de las formas de cajn pues esas son las ms fciles de saber cuntos divisores tienen.

De todo este conocimiento que hemos adquirido, falta un paso mnimo para la que conocemos como Frmula para calcular los divisores de un nmero:

La nica dificultad sera explicar los subndices. Por qu usamos subndices? Porque si no lo hacemos, simplemente se nos acabaran las letras. Incluso para los que siguen hasta aqu sin problemas, ver la frmula puede generar problemas. Por qu siempre es ms uno? Hay que recordar que esto es un ejercicio de conteo, de regla del producto. Vamos a proponer una alternativa: Carmen quiere servirse un barquillo de helado. En su congelador, tiene suficiente helado para hacer 8 bolas de chocolate, 12 de vainilla, 4 de fresa y 5 de mango. De cuntas maneras distintas se puede servir el barquillo? Es cierto que podra servirse 1, 2, 3 o hasta 8 bolas de chocolate, pero tambin podra no servirse chocolate. Entonces, tiene 9 maneras distintas de servirse chocolate: 0, 1, 2, 3, 4, 5, 6, 7, 8. De servirse vainilla? Son 13 maneras distintas. Adems, 5 maneras de servirse fresa y 6 maneras de servirse mango. Entonces, en total puede hacer esto de maneras distintas. Slo hay que cambiar barquillo de helado por divisor y los sabores por nmeros primos. Ejercicio 1. En un enorme saln hay 2011 focos, cada uno con su interruptor. Al principio todos estn apagados. Tambin hay 2011 nios y a cada uno se le ha asignado un nmero del 1 al 2011. El nio con el nmero 1 cambia el interruptor de todos los focos. El nio con el nmero 2 cambia el interruptor de un foco no y uno s. El nio con el nmero 3 cambia el interruptor de dos focos no y uno s. El nio con el nmero k cambia el interruptor de k-1 focos no y uno s. Una vez que pasaron todos los nios, cules focos quedan prendidos? Ejercicio 2. Encuentra todos los nmeros menores que 1000 con exactamente 30 divisores. Ejercicio 3. Encuentra los nmeros menores que 100 que tienen ms divisores. Suma esos nmeros. Cuntos divisores tiene la suma? Ejercicio 4. Podramos deducir una frmula para la suma de los divisores? Ejercicio 5. Cuntos cuadrados perfectos dividen a ?

Maximo comn divisor y mnimo comn mltiplo

Estos dos temas se incluyen en el programa de primaria y secundaria as que no son nuevos al momento de llegar a la Olimpiada. Definicin. El mnimo comn mltiplo de dos enteros . es el menor entero tal que y

La anterior definicin es bastante directa porque los nombres son completamente explcitos: el mnimo comn mltiplo de dos nmeros es el menor de sus mltiplos comunes. Notacin. Si el mnimo comn mltiplo de dos enteros es , escribimos

En algunos textos se denota tambin como

El mnimo comn mltiplo de dos nmeros es a lo menos el ms grande de ambos. Es obvio que si es ms pequeo que el ms grande, entonces no puede ser mltiplo del ms grande. Por otro lado, el mximo comn divisor de dos nmeros es a lo ms el ms chico de ambos. Es obvio que si es ms grande que el ms pequeo, entonces no puede ser divisor del ms pequeo. Definicin. El mximo comn divisor de dos nmeros . es el mayor entero tal que y

Al igual que con el mnimo comn mltiplo, la definicin es bastante directa: el mximo comn divisor es, de entre los divisores comunes, el mayor. Notacin. Si el mximo comn divisor de dos nmeros es , escribimos

En algunos textos se denota tambin por

Si tienes confusin entre si el mltiplo o el divisor es el mnimo o el mximo, piensa que no tiene sentido preguntarnos por el mximo comn mltiplo, pues siempre podemos encontrar un mltiplo comn ms grande, ni tiene sentido preguntarnos por el mnimo comn mltiplo, que siempre es 1. Ahora que eres el chico ms popular y que sabes el teorema fundamental de la aritmtica, encontrar el mnimo comn mltiplo o el mximo comn divisor no debe ser muy complicado. Slo sigue la siguiente receta: 1) Encuentra la descomposicin en primos de cada uno de los nmeros cuyo MCM quieras encontrar. a. Para el mnimo comn mltiplo, compara su descomposicin en primos y escribe todos los primos que aparezcan en la potencia ms grande que aparezcan. b. Para el mximo comn divisor, escribe slo los primos que aparecen en ambas descomposiciones a la menor potencia que aparezcan. Lo anterior se puede generalizar sin mucho problema de dos a cualquier cantidad de nmeros. Una interesante relacin entre estos dos nmeros se establece en el siguiente teorema. Teorema. Dados dos enteros tenemos que

Para calcular el mximo comn divisor, nos podemos servir de los siguientes teoremas. Teorema (Algoritmo de Euclides). Dados enteros,

para cualquier entero . En particular, si

Teorema. Dados

enteros donde

es un divisor comn de ambos, tenemos que

Ejercicio 1. Hallar el mximo comn divisor , de los nmeros 12, 30 y 18. Ejercicio 2. Escribir el mximo comn divisor de 99 y 68 como combinacin lineal de estos nmeros. Ejercicio 3. Determinar si 7 y 20 son combinacin lineal de 12 y 28; en caso afirmativo, escribir una combinacin lineal en cada caso. Ejercicio 4. Encontrar Encontrar . Cul es

Ejercicio 5. Sean enteros positivos que cumplen que el mnimo valor que puede tomar la suma ?

Ejercicio 6. Yo voy diario al gimnasio. Pablo va al gimnasio cada 2 das. Luis va cada 3 das. Neto va cada 5 das. Germn va cada 12 das. Atari va cada 11 das. Si todos fuimos hoy al gimnasio, en cuntos das nos volveremos a encontrar todos? Ejercicio 7. Un granjero tiene un montn de naranjas y mucho tiempo libre. Se da cuenta que si lo divide en 2 montones, en 3 montones, en 4 montones, en 13 montones o en 21 montones siempre un montn tiene exactamente 1 naranja ms que los dems pero si los divide en 41 montones entonces todos tienen las mismas naranjas. Cul es la menor cantidad de naranjas que puede tener que cumplan todo eso? Ejercicio 8. Encuentra el mximo comn divisor de los nmeros

Ejercicio 9. Es posible que el mnimo comn mltiplo de los nmeros del 1 al 2008 veces el mnimo comn mltiplo de los nmeros del 1 al ?

sea exactamente

Soluciones a los ejercicios

Criterios de divisibilidad
Ejercicio 1. Supongamos que tal nmero existe y sea dicho nmero de seis dgitos . Por el criterio de divisibilidad del 11, necesitaramos que fuera un mltiplo de 11. La mayor diferencia que podemos hacer es as que la nica posibilidad es que la diferencia sea exactamente 0. Sin embargo, la suma total es que no puede partirse en dos conjuntos iguales. Por lo tanto, no es posible.

Definiciones y propiedades
Ejercicio 1. Los divisores de 100 son 1, 2, 4, 5, 10, 20, 25, 50 y 100. Recordemos que . Si hacemos que uno de los factores sea 4 o 25, entonces ya no se puede cumplirlo que se nos pide pues o los otros dos nmeros son iguales o uno de ellos es 1. Pasa lo mismo si uno de ellos es 20 o 50. Luego, los nmeros que buscamos son 2, 5, 10. Ejercicio 2. Tendramos que . Los divisores de 385 son 1, 5, 7, 11, 35, 55, 77, 385. Buscamos aquellos que sean mayores a 14, es decir, 35, 55, 77 y 385. Ejercicio 3. Tenemos que . Luego, deberan quedar 15 de residuo a menos que fuera 10, 11, 12, 13, 14 o 15. Sin embargo, como ninguno de esos nmeros divide a 997, el residuo es 15. Ejercicio 4. El mltiplo de 8 ms grande, menor que 1000, que tiene un 8 entre sus dgitos es 968. El menor es 128. Luego, la diferencia es 840. Ejercicio 5. Si hacemos la suma, el nmero que queremos que tenga todas sus cifras iguales es que es mltiplo de 5. Como no puede terminar en 0 o todas sus cifras seran 0,

necesariamente termina en 5. Adems, sus cifras suman un mltiplo de 9 pues 9. El mnimo comn mltiplo de 5 y 9 es precisamente 45 as que

es mltiplo de

Luego, haciendo el despeje, tenemos que

Ejercicio 6. Veamos que . Alguna de las nias tiene una edad que es mltiplo de 13. No puede ser ni la ms chica ni la ms grande, pues su producto sera mltiplo de . Luego, hay al menos tres hijas. Adems, la menor tiene al menos 8 aos, pues si tuviera 2 o 4, la mayor tendra 4 u 8 respectivamente que son ambos menores que 13. Luego, la mayor tiene al menos 16 pero

por lo que hay exactamente tres hijas. Ejercicio 7. Si casos posibles. , se debe cumplir que pues . Luego, son todos los

Ejercicio 8. Usando las leyes de los exponentes, tenemos que

En el caso ideal, por lo tanto,

que se cumple si .

y,

Ejercicio 9. Veamos que Esto se cumple si que son los nicos.

. Luego, se cumple que . . Verificamos que slo para se cumple por lo

Ejercicio 10. Como en cada ronda se repartieron la misma cantidad de puntos, tiene que pasar que

donde

es el nmero de rondas. Luego, como , pues como , entonces posible que o Miguel hubiera ganado el juego. Luego, De lo anterior, que Miguel obtuvo una rondas.

. No es posible que . Sin embargo, tampoco es . y sabemos en las primeras dos

. Adems, como y menos de 13 puntos, entonces Miguel obtuvo

Combinacin lineal
Ejercicio 1. Veamos que

Ejercicio 2. Basta con considerar

Ejercicio 3. Si es un divisor comn de lineal. En particular,

, se cumple que

divide a cualquier combinacin

Luego,

Ejercicio 4. No es posible pues la cantidad de lquido siempre ser mltiplo de 3. Ejercicio 5. Veamos que no es posible conseguir 1, 2, 4, 5, 8 ni 11 puntos. Para 12, lo hacemos

A partir de ah, para sumar un punto convertimos o bien, Como para el 12 ocupamos cuatro 3, entonces en adelante ser posible.

Ejercicio 6. Los jugadores slo pueden ganar 2 o 4 puntos, que son nmeros pares. Como cualquier puntaje es una combinacin lineal de stos, el puntaje debe ser, al menos, par. Si Jacsan dice tener 7 puntos, entonces claramente est mintiendo. Ejercicio 7. Puede ser bastante sencillo encontrar 1 litro:

Luego, simplemente duplicamos para obtener

Ejercicio 8. Veamos que el primer nmero no es primo, pues la sucesin como

. Luego, escribimos

de manera muy til, pues y, como , si de donde podemos concluir que ninguno es primo.

, entonces se cumple que

Ejercicio 9. Como En particular, divide a

, divide a cualquier combinacin lineal de ellos.

como queramos demostrar.

Primos
Ejercicio 1. La suma de los primeros nmeros es

Como

pues

es impar, tenemos que

es un entero y claramente

Ejercicio 2. Entre cualesquiera 5 nmeros consecutivos hay: exactamente un mltiplo de 5, al menos un mltiplo de 3 y al menos dos mltiplos consecutivos de 2, donde uno es mltiplo de 2 y el otro es al menos mltiplo de 4. Luego, su producto es divisible entre

Ejercicio 3. Es falso. Aunque para claramente

la frmula arroja puros nmeros primos,

es un mltiplo de 41 mayor que 41 y por lo tanto no es primo. Ejercicio 4. Supongamos que tales que es un nmero irracional, es decir, existe enteros con

Haciendo algunas manipulaciones algebraicas, llegamos a que

de donde

y si

, tenemos que

de donde lo cual contradice nuestro supuesto de que nmero irracional.

. Por lo tanto,

es un

Ejercicio 5. Procediendo de manera anloga al ejercicio anterior, supongamos que dado existen enteros con tales que

primo,

Luego,

de donde

y si

, entonces

de donde irracional.

contradice nuestro supuesto de que

. Luego

es un nmero

Ejercicio 6. En nuestro nmero no pueden estar los dgitos 5, 7 pues no existe otro dgito que sea mltiplo de ellos. Adems, el 1, 4 y 9 pueden estar sin problemas pues cada uno de ellos ya es un cuadrado. Delos dgitos 2, 3, 6 y 8 pueden estar el 2, 3, 6 o bien, 3, 6, 8. Elegimos los nmeros mayores y ordenamos los dgitos de mayor a menor para obtener

donde

Ejercicio 7. No es posible. Agrupemos los nmeros segn si su producto nos da un cuadrado perfecto. De los nmeros debemos tachar al menos tres de ellos, pues si quedan dos, su producto es un cuadrado. De las parejas debemos tachar al menos uno de cada pareja. Hemos tachado ya cinco nmeros pero slo podemos tachar cuatro, por lo tanto, lo que se nos pide es imposible. Ejercicio 8. Tenemos que para ,

Como , entonces de donde el factor del numerador no se anula con nada del denominador y, por lo tanto, el nmero es mltiplo de . Ejercicio 9. Supongamos, por contradiccin, que el conjunto es finito y sea los nmeros primos. Adems, podemos calcular el conjunto de todos

Luego, no es divisible por ningn , pues pero Luego, es un primo pero no pertenece al conjunto, lo cual es una contradiccin. Por lo tanto, el conjunto de los nmeros primos es infinito. Ejercicio 10. Para dado, proponemos el conjunto

donde ninguno de los

nmeros es primo.

Ejercicio 11. Posponemos la solucin de este ejercicio hasta el trabajo con congruencias. Ejercicio 12. Este no es exactamente un ejercicio, el problema apareci en una IMO. Veamos que

De aqu, dado que

tenemos que

Ahora, veamos que

como hay una cantidad par de fracciones, podemos hacer esto procediendo de afuera hacia adentro con cada par de fracciones en los extremos. Luego, la suma ser mltiplo de 1979. Basta ver que como 1979 es primo y todos los denominadores son menores a 1979, su producto es primo relativo con 1979 por lo que .

Cantidad de divisores
Ejercicio 1. Lo que hace cada nio es apagar los focos con nmeros que son divisibles entre su nmero. Para que un foco quede prendido, necesita ser alterado una cantidad impar de veces. Es decir, buscamos los nmeros que tengan una cantidad impar de divisores. Es claro que todo nmero cuadrado tiene una cantidad impar de divisores. Dado que es cuadrado si y slo si todos sus factores primos estn elevados a una potencia par, usando la frmula para la

cantidad de divisores obtenemos debe tener una cantidad impar de divisores pues todos los factores del producto son nmeros impares. Ahora, si un nmero tiene una cantidad impar de divisores, todos los factores en la frmula deben ser impares. Esto sucede slo si todas las potencias de sus factores primos son pares que sucede slo si el nmero es un cuadrado. As, quedan prendidos los focos 1, 4, 9, 16,, 1936; es decir, los cuadrados de los nmeros 1, 2, 3,, 44. Ejercicio 2. Para que tenga exactamente 30 divisores, el nmero debe ser de alguna de las siguientes formas: . Las primeras tres formas son imposibles pues . De la tercera forma es nicamente posible , pues . Ejercicio 3. La mayor potencia de 2 menor que 100 es que tiene exactamente 7 divisores. Sin embargo, tiene 12 divisores. Para que otro nmero tenga al menos 12 divisores, debe ser de alguna de las formas . Luego, 60, 90, 96, 84 tienen todos 12 divisores tambin. Su suma tiene 8 divisores. Ejercicio 4. S podemos. Dicha frmula aparece en el apartado de Maas. Ejercicio 5. Veamos que . Luego, . Para que un divisor sea un cuadrado perfecto, debe tener sus factores primos elevados a potencias pares. Es decir, basta con contar cuntos pares hay desde 0 hasta 6024 y 2008 respectivamente. Entonces, debe tener

divisores cuadrados.

Mximo comn divisor y mnimo comn mltiplo

Ejercicio 1. Veamos que relativos. Luego, su mximo comn divisor es 6. Ejercicio 2. Veamos que . Luego, y los nmeros 2, 3, 5 son primos

Ejercicio 3. Como , no es posible encontrar 7 como combinacin lineal de ellos pero s podemos encontrar 20. Proponemos

Ejercicio 4. Usando el algoritmo de Euclides,

De la misma manera,

Ejercicio 5. Como , el menor valor posible de es . De ah, el mnimo valor de los dems nmeros es de donde el mnimo valor de la suma es . Ejercicio 6. Todos coincidiremos en das.

Ejercicio 7. Buscamos un mltiplo de 41 tal que le sobre uno para ser un mltiplo del mnimo comn mltiplo de 2, 3, 4, 13, 21. Veamos que . Luego, buscamos soluciones enteras a

Proponemos

Ejercicio 8. Recordemos que el mximo comn divisor es a lo ms el ms pequeo de los nmeros. Luego, como proponemos ese como el mximo comn divisor. Basta verificar que cada nmero es divisible entre 3 y entre 8. Ejercicio 9. No es posible. Veamos que para que , entonces en particular

puesto que Sin embargo, puesto que

. , si

por lo que no es posible que sea exactamente 2008 veces lo deseado, pues al menos es mltiplo de 3 tambin.

El maravilloso mundo de las congruencias

ndice de esta seccin El maravilloso mundo de las congruencias o Residuos o Congruencias Definiciones, notacin y propiedades o Del mnimo comn mltiplo a Quines son los inversos y por qu? Teorema de Euler-Fermat Teorema de Wilson o Sistemas de congruencias Teorema Chino del Residuo

En este captulo, tanto la notacin como la exposicin de los contenidos reciben un one-up en cuanto a formalidad. Por tanto, por momentos parecer una concatenacin de teoremas, demostraciones y resultados. No en pocas ocasiones haremos referencia a conceptos que no son necesarios en Olimpiada como estructuras de grupo o campo y relaciones de equivalencia que, sin embargo, creemos que ayudan a entender las propiedades subyacentes a la congruencia.

Residuos
Cuando hacemos la divisin entre un nmero , el residuo que deja la divisin tiene que ser un nmero entero , pues si , decimos que cabe al menos otra vez, que quiere decir que hicimos mal la divisin. En ciertas situaciones no tan alejadas de la vida cotidiana, los residuos surgen de manera natural. Consideremos los siguientes ejercicios: Ejercicio 1. Supongamos que son las 10am. Qu hora ser dentro de 2013 horas? Ejercicio 2. Imagina que todos los meses son de 30 das. Si hoy es 28, qu da ser dentro de 2013 das? Ejercicio 3. Hoy es domingo. Qu da ser dentro de 2013 das? Ejercicio 4. En el 2014 y 2018 habr mundial de ftbol y en el 2016 y 2020 habr Juegos Olmpicos. Qu habr dentro de 2013 aos? Ejercicio 5. En un hotel de 7 pisos, los cuartos se ordenan de la siguiente manera: el 1 en el primer piso, el 2 en el segundo piso, el 3 en el tercer piso, el 4 en el cuarto piso, el 5 en el quinto piso, el 6 en el sexto piso, el 7 en el sptimo piso, luego el 8 en el primer piso y as sucesivamente. En qu piso est el cuarto 2013?

En todos los ejercicios anteriores, la idea que estamos usando es que el residuo de la divisin nos da una caracterstica; es decir, que hay cierto ciclo y es el residuo el que nos indica en qu paso del ciclo nos encontramos. La idea de que los nmeros se agrupan segn su residuo es importantsima. El caso en que dicho residuo es igual a 0 es tan importante que tenemos una palabra especfica para sealar dicha propiedad: si un nmero deja residuo 0 al dividir, decimos que es mltiplo. Los dems residuos agrupan a los nmeros de manera idntica, slo que en general no tenemos palabra para ello ms all del caso de dividir entre 2, donde llamamos pares a los nmeros donde la divisin deja residuo 0 e impares a los nmeros donde la divisin deja residuo 1.

Sin embargo, por el algoritmo de la divisin, para todo entero , podemos decir que los nmeros son de la forma

donde

es un entero y

Por ejemplo, usando el nmero 3, podemos decir que los nmeros son de una de tres formas: . Usando el nmero 6, podemos decir que los nmeros son de una de tres formas: . Entender esta notacin es importante, sin embargo, es mucho ms cmodo usar la notacin de congruencias y es por eso que intentamos llegar all lo antes posible.

Ejemplo 1. Demuestra que todos los mltiplos impares de 5 terminan en 5. Solucin. Tomamos un nmero impar cualquiera y lo multiplicamos por 5

su producto es un mltiplo de 10 ms 5 que termina en 5.

Definiciones, notacin, propiedades

Entramos de lleno en las congruencias. Es muy importante tener claras las definiciones, las hiptesis en los teoremas y sus demostraciones y por eso hacemos hincapi en ellas. Definicin. Decimos que dos enteros son congruentes mdulo su diferencia. Usaremos la siguiente notacin: entero si y slo si divide a

Esta es la definicin de congruencias con la que vamos a trabajar. Teorema. La congruencia es una relacin de equivalencia. Es decir, dado un mdulo siguientes propiedades se cumplen: i. ii. iii. . implica y , las

si

. entonces

Demostracin. i. ii. iii. Es claro pues y 0 es mltiplo de todo nmero. Se sigue de observar que Como y , entonces

Lo importante para los fines olmpicos es entender que en prcticamente todo contexto, dos nmeros congruentes son equivalentes y por lo tanto sustituibles. Esto no es cierto para los exponentes. Contraejemplo. Cul es el dgito de las unidades de ? , no

Buscamos la congruencia de mdulo 10. Veamos que aunque es cierto . Tenemos que pero

Para las siguientes propiedades, usaremos el algoritmo de la divisin que tenemos presente desde la notacin de residuos, pues en gran medida la justifica. Sean enteros positivos. Entonces, existen nicos enteros positivos tales que

con

Teorema. Mdulo , dos nmeros son congruentes si y slo si dejan el mismo residuo al dividir entre . Demostracin. Digamos que divisin, digamos que . Esto sucede si y slo si . Usando el algoritmo de la

Entonces

Como , lo anterior sucede si y slo si . Sin embargo, como y el nico mltiplo de en el intervalo es 0, necesariamente que sucede si y slo si como queramos demostrar. Teorema. Mdulo , todo nmero es congruente a su residuo al dividir entre .

Demostracin. Se sigue inmediatamente de la definicin pues si

Teorema (Propiedades de las congruencias). Dados enteros propiedades se sostienen:

, las siguientes

(1) si y es un entero, entonces y . (2) si y , entonces y . (3) si y es un divisor comn de cualesquiera dos de entonces es divisor del tercero. (4) si , entonces implica que . Adicionalmente, si y , se cumple que si y slo si y . (5) si y es un divisor comn de y , entonces se cumple que . (6) es falso que si y es un entero, entonces .

Demostracin. En todas las demostraciones siguientes, usaremos la definicin de congruencia y algunas propiedades de la divisibilidad. (1) Usando la definicin de congruencia en ambos casos, tenemos que las expresiones y se sostienen si que es la definicin de . (2) De nuevo, usando la definicin, tenemos que para la primera. El producto se demuestra de manera similar. (3) En este caso, es necesario recordar que si tenemos tres nmeros relacionados como

entonces un divisor comn de cualesquiera dos de ellos necesariamente divide al tercero. Dado que si y slo si si y slo si , la propiedad se reduce a lo anterior. (4) Puesto que si y slo si y , se sigue que de donde . (5) Sea divisor comn de . Puesto que , tenemos que . Como es posible dividir toda la expresin entre , tenemos que, por definicin, implica que . (6) Ofrecemos el siguiente contraejemplo: tenemos que pero es falso que .

No podemos insistir lo suficiente en la importancia de entender que dos nmeros congruentes son sustituibles y por eso enunciamos el siguiente teorema. Teorema (Principio de sustitucin). Si , entonces y .

Hay distintas maneras de decidirnos por un conjunto de congruencias dado un mdulo . Aunque en general usaremos el conjunto , bien podramos definir uno a nuestro gusto. Adems de este ltimo, a veces es til considerar el conjunto de congruencias para mdulo . Para entender las congruencias negativas, uno puede pensar que en lugar de sobrarle, le falta. Por ejemplo: a 18 le sobran 3 para ser un mltiplo de 5 pero tambin le faltan 2 para ser un mltiplo de 5. Esto quiere decir que . Al conjunto de congruencias que elijamos lo llamaremos clases de equivalencia. Es decir, si usamos los residuos, el 0 no es slo el nmero 0 sino un representante de todos los mltiplos, el 1 no es slo el nmero 1 sino un representante de todos los nmeros que al dividir dejan 1 de residuo, etctera1.

Al inicio de un juego, cuando alguna decisin se toma por volado, cada equipo manda a un representante o capitn. Si el capitn pierde el volado, todo el equipo pierde el volado. Haz de cuenta.

Con el principio de sustitucin con el que tanto insistimos y todas las propiedades antes mencionadas estamos utilizando una propiedad muy importante de la congruencia que enunciamos en el siguiente teorema. Teorema. Sean a. b. Donde denota la clase de equivalencia de . Es decir, el residuo de la suma es la suma de los residuos y el residuo del producto es el producto de los residuos. enteros. Entonces

Usaremos los siguientes ejercicios para mostrar algunas ideas tiles e importantes de los residuos. Ejemplo 1. En qu terminan los cuadrados perfectos? Solucin. Preguntarnos por la ltima cifra de un nmero es preguntarnos por la congruencia mdulo 10. En dicho mdulo, los nmeros son congruentes a 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 as que los cuadrados de estos diez nmeros sern todas las congruencias posibles de los cuadrados mdulo 10:

As que los cuadrados slo pueden terminar en 0, 1, 4, 5, 6, 9. En general, las potencias reducen las congruencias posibles. Ejemplo 2. Muestra que es divisible entre 6 para cualquier entero .

Solucin. Usando las propiedades que ya demostramos, tenemos que si y slo si que se cumple si y slo si y . Mdulo 2, hay que verificar que eso cumple para 0, 1 y mdulo 3 para 0, 1, y 2. Una de las razones para usar congruencias o residuos es que reducen un problema potencialmente infinito (cualquier entero ) en un nmero bastante finito de casos (en el problema anterior, 5). Dado que nos tomara recursos infinitos resolver un nmero infinito de casos y despus de cualquier nmero arbitrario de casos probados habramos avanzado exactamente cero por ciento del problema, no es una propiedad nada despreciable.

A continuacin, ofrecemos una lista de ejercicios que se dejan al lector. Como en todas las dems secciones, hay soluciones en el ltimo apartado. Vale la pena regresar a muchos de estos ejercicios despus de estudiar la siguiente seccin.

Ejercicio 1. Cul es el ltimo dgito de Cul es el ltimo dgito de ? Ejercicio 2. Es divisible entre 3?

? Cul es el ltimo dgito de ? Cul es el de

? Y de

Ejercicio 3. Hay que escribir una fila de 20 dgitos de manera que la suma de tres dgitos consecutivos de la fila sea siempre mltiplo de 5. Cul es la mxima cantidad de dgitos distintos que puede haber en la fila? Ejercicio 4. Demuestra que es divisible entre 7 para cualquier entero n. es posible formar, de modo que la suma son diferentes.) enteros positivos.

Ejercicio 5. Cuntas ternas de dgitos sea un mltiplo de 5? (Nota: las ternas Ejercicio 6. Muestra que

no puede ser un cuadrado perfecto para

Ejercicio 7. Puede un nmero con 2013 dgitos 3, 2013 dgitos 2 y 2013 dgitos 0 en cualquier orden ser un cuadrado perfecto? Ejercicio 8. Encuentre todos los nmeros primos positivos primo positivo. Ejercicio 9. Sea un nmero primo tal que nmeros primos. Muestra que uno de ellos debe ser 5. Ejercicio 10. Considera los nmeros primos . Si , muestra que entre estos nmeros hay tres primos consecutivos. tales que tambin es un

donde

son

divide a

Ejercicio 11. Existen dos potencias de 2 tales que una sea una reordenacin de los dgitos de la otra y tengan la misma cantidad de dgitos? Ejercicio 12. Muestra los criterios de divisibilidad de 2, 4, 8, 3, 9, 7 y 13 usando congruencias. Ejercicio 13. Muestra que usando congruencias.

Del mnimo comn mltiplo a

Nuestra intencin en este apartado es enunciar y mostrar aunque sea intuitivamente los teoremas ms importantes de la aritmtica modular como el Teorema de Euler-Fermat a partir de algunas propiedades muy tiles del mximo comn divisor y la existencia de inversos multiplicativos. Para ello, ser importante tener presentes algunas definiciones y propiedades. Tenemos claro que algunas de estas definiciones y teoremas los hemos repetido numerosas veces pero es slo para insistir en su importancia y ver cmo aparecen en contextos distintos a los estudiados anteriormente.

Definicin. Una combinacin lineal de enteros.

es una expresin de la forma

donde

son

Notacin. El mximo comn divisor de dos enteros se denotar por . Aunque esta notacin se utiliza tambin para representar una pareja ordenada comnmente una coordenada en el plano- confiamos en que siempre sea clara en el contexto. Definicin. Dos enteros se dicen primos relativos o coprimos si .

Para ciertos usos prcticos de divisibilidad, los primos relativos se comportan como primos y por eso podemos extender a ellos ciertas propiedades de los nmeros primos como las siguientes. Teorema. si Teorema. si , entonces , entonces si y slo si si y slo si y o . .

En caso de que haya confusin entre si el divisor comn es el mnimo o el mximo y una confusin similar con el mltiplo- slo hay que entender que ni el mnimo comn divisor ni el mximo comn mltiplo son interesantes, pues el primero es siempre 1 y el segundo no existe. El mximo comn divisor es de las pocas intersecciones entre los contenidos de Olimpiada y los que se ven en la escuela. Tradicionalmente, se ensea para resolver la suma de fracciones y es un

algoritmo donde coincide la factorizacin en primos de ms de un nmero que tradicionalmente se hace ms o menos as: 120 60 30 15 5 1 2 2 2 3 5

Sin embargo, nunca se analizan otras propiedades bastante sencillas y tiles del mximo comn divisor, como las siguientes: Teorema. Sean dos enteros y supongamos que . Entonces, .

Demostracin. Recordemos que todo divisor comn divide a toda combinacin lineal. La resta es una combinacin lineal y el mximo comn divisor es un divisor comn. Corolario. En particular, .

Esa propiedad, utilizada repetidamente, describe el algoritmo de Euclides que es quizs la nica variante del mximo comn divisor que se estudia y un verdadero dolor de cabeza para muchos. Teorema. Sean enteros. Entonces cualesquiera enteros . es un divisor comn de si y slo si para

Demostracin. Ya sabemos que si es divisor comn, para cualesquiera enteros Ahora, si para cualesquiera enteros entonces lo divide para . Teorema. Sea lineales positivas de dos enteros

. y

fijos. Entonces,

el conjunto de todas las combinaciones .

Demostracin. Sea . Como todos los elementos de son positivos y enterossabemos que tiene un elemento mnimo, . Como los divide a todos ellos, tenemos que . Slo falta ver que es divisor comn de conclusin. Veamos que . Tenemos que pues eso implicara que y obtendramos la con . Luego

es una combinacin lineal de y . Anlogamente,

estrictamente menor que y concluimos la prueba.

lo cual es una contradiccin. Luego,

Corolario. Dados dos enteros que .

, tenemos que

, si y slo si existen enteros

tales

Quines son los inversos multiplicativos y por qu?

El siguiente paso lo conocemos como el salto a las congruencias. En este momento, se supone un dominio de las propiedades y definiciones bsicas de congruencia y lo que haremos ser simplemente pasar de una igualdad a una congruencia. Teorema. Sea un entero. Existe un entero tal que si y slo si .

Este teorema nos dice de qu forma son los nmeros que tienen inverso multiplicativo en los enteros mdulo algn nmero. Recordemos que el inverso multiplicativo de un nmero es un nmero tal que . En general, para denotar al inverso multiplicativo, usamos la notacin

Demostracin. Si

, sabemos que existen enteros

tales que

. Luego,

Ahora, si , entonces donde se sigue que .

que implica que

o bien,

de

Esto quiere decir que todos y slo los primos relativos con el mdulo tienen un inverso multiplicativo en ese mdulo. En los preliminares, discutimos brevemente ciertas estructuras que tienen los conjuntos de nmeros. La estructura de los enteros la llamamos grupo y su problema es que no tiene inversos multiplicativos a diferencia de los racionales o los reales. Qu clase de estructura tiene ? Todos los tienen las mismas propiedades? Estas preguntas son simplemente la de los inversos multiplicativos, que ya sabemos cmo contestar. En , los nmeros que tienen inverso multiplicativo son aquellos tales que ; por lo tanto, en con primo, todos los nmeros distintos del 0 tienen un inverso multiplicativo, es decir, es un campo.

Teorema de Euler-Fermat
Todos los teoremas interesantes que veremos en esta seccin necesitan la existencia de inversos multiplicativos y resuelven problemas de maneras mucho muy sencillas. Veamos algunos ejercicios antes y despus de ciertos teoremas.

Ejemplo 1. Demuestra que para todo de fracciones irreducibles.

, en el conjunto

hay una cantidad par

El ejercicio anterior quizs no es tan complicado. Uno necesita observar que si , entonces tambin de donde se sigue que las fracciones irreducibles se pueden emparejar. Con lo que veremos a continuacin, se reduce a mostrar que cierta funcin es siempre par. Definicin (funcin phi de Euler). Para todo entero positivo , definimos la funcin como de Euler

es decir, Por ejemplo,

es la cantidad de primos relativos positivos menores a . , etctera. es la funcin de Euler y es un nmero primo, entonces

Teorema (propiedades de phi). Si i. ii. iii. Demostracin. i. ii. . si

Es claro a partir de la definicin. Puesto que es un nmero primo, si basta con contar los mltiplos de entre observar que .

, necesariamente . Luego, y restarlos. el resultado se sigue de

iii. Ejemplo 2. Prueba que es divisible entre para cualquier entero .

Con lo que tenemos de teora hasta el momento, resolver el ejercicio anterior para algunos casos sobre todo los ms grandes como 7 o 13- puede ser un verdadero dolor de cabeza, pues habra que elevar cosas a la treceava potencia o al menos a la sexta despus de un par de factorizaciones. Tambin, se puede reducir de 6 o 12 residuos a 3 o 6 si consideramos los negativos. Con lo que veremos a continuacin, este trabajo se reduce bastante ms. Teorema (Euler-Fermat). Sean enteros tales que . Luego,

En particular, si

es primo,

Demostracin intuitiva. Si , entonces son infinitas pero los residuos primos relativos con Como , a lo ms hay repite congruencia.

para todo entero . Las potencias de son finitos, es ms, son exactamente . necesariamente

potencias distintas as que, por casillas,

Por qu se repite primero el 1? bueno, sabemos que primera congruencia que se repite es y que tendramos que con .

y que con

. Supongamos que la . Pero en ese caso

Esto, adems, nos da la idea que puede no ser el menor entero tal que siguiente teorema nos da una propiedad interesante: Teorema (orden). Si y , entonces , que . A ese entero y que

. El

le llamamos orden. . Entonces sea el

Demostracin intuitiva. Supongamos que con orden. . Entonces

que contradice que

El Teorema de Euler-Fermat es increblemente importante en la solucin de cierto tipo de problemas de Teora de Nmeros en competencia olmpica. Surge naturalmente en muchos escenarios y es una manera impresionante de garantizar la existencia de soluciones. Histricamente, el teorema de Fermat el caso especfico para primo- surgi primero como una conjetura y fue Euler quien no mucho tiempo despus demostr no slo lo anterior sino una generalizacin para primos relativos.

Teorema de Wilson
A continuacin, trabajaremos algunas propiedades que surgen de trabajar sobre todo en mdulos primos, que son naturalmente tiles en Teora de Nmeros y, adems, tienen una estructura con ms propiedades.

Definicin. Un nmero autoinverso es aquel que es su propio inverso, es decir, un en el mdulo dado. Teorema. Mdulo un primo, 1 y -1 son los nicos autoinversos. Demostracin. Sea tal que tiene que o bien, Teorema (Wilson). Sea . Luego, . Del primer caso se sigue

tal que

. Como es primo, se y del segundo que .

un nmero primo. Entonces

Demostracin intuitiva. Como es un campo, todo nmero tiene inverso y el inverso es nico. Adems, sabemos que los nicos nmeros que son autoinversos son 1 y -1.

Entendiendo todo lo anterior, estamos capacitados para resolver casi cualquier problema de maneras menos complicadas que antes. Proponemos una lista de ejercicios pero vale la pena regresar a las secciones y captulos anteriores para apreciar cun poderosas son nuestras nuevas herramientas.

Ejercicio 1. Decidir si Ejercicio 2. Demuestra que

es divisible entre 11. es divisible entre 42 para cualquier entero . para los cuales el nmero es divisible

Ejercicio 3. Encuentra el nmero de enteros entre para cada entero .

Ejercicio 4. Demuestra que, para todo nmero primo son puros . Ejercicio 5. Sea un nmero primo. Demuestra que

, existe un mltiplo de

cuyos dgitos

divide a

Ejercicio 6. Prueba que el producto de tres enteros consecutivos es divisible entre 504 si el de en medio es un cubo. Ejercicio 7. El nmero se divide entre 7. Cul es el residuo?

Ejercicio 8. (a) Encuentra todos los enteros positivos tales que 7 divide a . (b) Prueba que para cualquier entero positivo , el nmero no puede ser divisible entre 7. Ejercicio 9. Encuentra todos los nmeros primos tales que para algn , entonces

Ejercicio 10. Demuestra que si es un primo impar que divide a debe ser de la forma , es decir, . Ejercicio 11. Sean enteros positivos tales que 7 divide a Demuestra que divide a . Ejercicio 12. Para cada entero , encuentra el mximo comn divisor de

divide a

Sistemas de congruencias y Teorema Chino del Residuo

Consideremos el siguiente ejercicio. Ejercicio 1. Juanito tiene cierta cantidad de naranjas menor que 100- y canastas donde caben 2, 3, 4, 5 o 6 naranjas. Cuando las mete en las canastas de a 2, le sobra 1; cuando las mete en las canastas de a 3, sobran 2; cuando las mete en las canastas de a 4, sobran 3; cuando las mete en las canastas de a 5, sobran 4; y cuando las mete en las canastas de a 6, sobran 5. Cuntas naranjas tiene? Ciertos problemas nos piden resolver un sistema de residuos como el anterior. Hay muchas maneras de hacerlo: hacer una criba, ir eliminando casos hasta quedarnos con un conjunto muy pequeo que podamos probar, etctera. Solucin 1. Como de 2 en 2 sobra 1, el nmero de canastas es impar. Adems, como de 5 en 5 sobran 4, el nmero termina en 9. El nmero menos dos es mltiplo de 3 y termina en 7, por ejemplo 27, 57, 87. Podemos probar cada uno de los casos 29, 59, 89 para las otras dos condiciones y as quedarnos con 59. Una solucin maosa pero impresionante la primera vez que se ve, surge de considerar residuos negativos en lugar de positivos. Solucin 2. Podramos pensar que en lugar de sobrar 1, 2, 3, 4 y 5 respectivamente, falta 1, 1, 1, y 1 respectivamente. Es decir, a nuestro nmero de naranjas le falta 1 para ser mltiplo de 2, 3, 4, 5 y 6. Como el mnimo comn mltiplo de 2, 3, 4, 5, 6 es 60, el nmero que buscamos es 59.

En todos los problemas de este tipo es necesario verificar que las congruencias sean consistentes. Por ejemplo, es imposible encontrar solucin a un sistema que pida que y . Por eso, muchas veces es ms sencillo trabajar con mdulos que son primos entre s. Para resolver estos sistemas usando congruencias, hacemos un salto entre la notacin de congruencias y la de residuos, una vez que redujimos el sistema a mdulos primos entre s.

Definicin. Sea .Decimos que los elementos de son primos relativos por pareja si y slo si, para cualesquiera dos elementos se cumple que . Solucin 3. El sistema es equivalente al sistema que tiene la enorme ventaja de que los nmeros 3, 4, 5 son primos relativos por parejas. Dado que tenemos que tanto nos dice que para algn entero . Sustituyendo esto en la segunda congruencia, de donde y nos dice que de donde . Entonces de donde y por lo . Sustituyendo,

de donde obtenemos que la solucin menor a 100 es exactamente 59.

Para poder resolver lo anterior, usamos que los mdulos fueran primos relativos por pareja para poder encontrar su inverso multiplicativo y as despejar. Esto queda claro y es un ejercicio del siguiente teorema. Teorema (Chino del residuo). Sean enteros tales que

Si

para

, entonces

(1) El sistema tiene solucin. (2) La solucin es nica mdulo (3) La solucin se puede calcular como

donde es el inverso multiplicativo de mdulo . Sabemos que este nmero existe pues pedimos que los nmeros sean primos relativos por parejas. Solucin 4. Usando el teorema chino del residuo, tenemos que

No estamos dispuestos a admitir que lo anterior es fcil, aunque s convierte la solucin de sistemas de congruencias o residuos en algo mecnico. Por lo tanto, es importante recordar las primeras dos implicaciones del Teorema Chino del Residuo: la solucin existe y la solucin es nica

mdulo el producto de los mdulos. Y esto se cumple slo si los mdulos son primos relativos por parejas.

Ejercicio 1. Carlos tiene un cierto nmero de monedas de coleccin. Cuando ordena las monedas en montones de 5, no le sobra ninguna moneda. Cuando las ordena en montones de a 6, tampoco le sobran monedas. Pero si las ordena en montones de 7, le sobra una moneda. Cul es el menor nmero de monedas que puede tener Carlos? Ejercicio 2. Encuentra todos los enteros que dejan residuo 1, 2, 3 cuando los dividen entre 3, 4, 5 respectivamente. Ejercicio 3. Don Manuel tiene ms de una naranja. Si las mete en bolsitas de a 3, le sobra 1; si las mete en bolsitas de a 5, le sobran 2; si las mete en bolsitas de a 7, le sobran 3; si las mete en bolsitas de a 9 le sobran 4. Cul es la menor cantidad de naranjas que Manuel puede tener?

Soluciones a los ejercicios

Residuos
Ejercicio 1. Cada 24 horas, vuelven a ser las 10am. Hagamos la divisin para encontrar que . Eso quiere decir que han transcurrido 83 das y 21 horas por lo que deben ser las 31 horas o bien, las 7am del da 84. Ejercicio 2. Cada 30 das vuelve a ser 28. Hacemos la divisin para ver que . Eso quiere decir que han transcurrido 67 meses y 3 das por lo que debe ser 31 o bien, el da 1 del mes 68. Ejercicio 3. Cada 7 das vuelve a ser domingo. Veamos ver que ser 4 das despus del domingo: jueves. ; es decir que

Ejercicio 4. Dentro de 2013 aos ser el ao 4026 que no es mltiplo de 4. Luego, habr Mundial de Ftbol. Ejercicio 5. El piso de la habitacin corresponde a su residuo mdulo 7. Como por lo que la habitacin 2013 est en el cuarto piso.

Definiciones, notacin, propiedades

Ejercicio 1. El ltimo dgito de es 0, el de es 11 y el de es 5 pues sus potencias siempre terminan en 0, 1, 5 respectivamente; lo mismo sucede con que termina en 6. Para las dems, hagamos algunos clculos:

Todas tienen un ciclo y basta ver su residuo mdulo 4, 2 y 4 respectivamente:

de donde la suma es congruente a Para hacer la correspondencia, hay que empatar el residuo mdulo longitud del ciclo con el exponente del ciclo que deja ese mismo residuo. Ejercicio 2. S. Veamos que tenemos que y y tenemos mdulo 5 que . Luego, sin necesidad de encontrar el ciclo,

Ejercicio 3. Si los dgitos de la lnea son

por lo que a lo ms tenemos tres congruencias distintas; es decir, seis nmeros distintos. Encontramos que

cumple lo deseado. Ejercicio 4. Para ahorrarnos algunos casos, factorizamos como

y probamos para los residuos 0, 1, 2, 3, 4, 5, 6 mdulo 7 buscando que se anulen en alguno de los factores. El 0 se anula en ; el 1 se anula en y el se anula en . Veamos que por lo que se anulan tambin. se anulan tambin y de donde

Ejercicio 5. Analicemos el comportamiento de los cuadrados mdulo 5:

Luego, las nicas maneras de sumar tres de estos residuos y obtener un 0 es . La primera se puede hacer de maneras distintas porque la congruencia 0 es del 0 y el 5; y la segunda de considerando que los tres elementos son distintos y por tanto se pueden permutar seis veces y dado que la congruencia 1 corresponde al cuadrado de los dgitos 1, 4, 6, 9 y la 4 a los de 2, 3, 7, 8. Ejercicio 6. Analicemos la congruencia mdulo 3:

Como los cuadrados mdulo 3 slo son congruentes a 1 o a 0, lo anterior no puede ser el cuadrado de un entero.

Ejercicio 7. No es posible. Mdulo 9, los cuadrados son congruentes a

Sin embargo, entero. Ejercicio 8. Analicemos la congruencia mdulo 5:

por lo que no puede ser el cuadrado de un

si

, es decir, no puede ser primo. Basta verificar para

tenemos que

que efectivamente es un nmero primo. Ejercicio 9. Si ninguno de ellos es el , tenemos que

no puede ser un primo. Luego,

es un primo, alguno de los

debe ser 5.

Ejercicio 10. Dado que , probaremos que Si ninguno de los es el 2, entonces tenemos la suma de una cantidad impar de impares que no es divisible entre 2 y por lo tanto no es divisible entre 30. Anlogamente, si ninguno es el 3 o el 5, la suma nos da 1 mdulo 3 o 5 respectivamente, lo cual implica que no es divisible entre 3 ni entre 5 y, por lo tanto, no podra ser divisible entre 30. Como s es divisible entre 30, entonces el 2, 3, 5 deben estar entre esos treinta y un primos. Ejercicio 11. No existen. Si dos nmeros tienen los mismos dgitos, entonces son congruentes mdulo 9. Analicemos el comportamiento de las potencias de 2 mdulo 9:

por lo que la mayor de las potencias es al menos agrega al menos un dgito ms.

veces la otra. Sin embargo, multiplicar por

Ejercicio 12. Para todos se usa la expansin decimal, la prueba la dejamos al lector. Mostraremos, sin embargo, uno del 13 anlogo al del 7. Dado un nmero donde es la cifra de las unidades, tenemos que

es decir, un nmero es divisible entre 13 si el nmero formado al quitar la ltima cifra y sumarla 4 veces es un mltiplo de 13.

Ejercicio 13. Tenemos

Luego, como

es un impar,

de donde

como queramos.

Del mnimo comn mltiplo a

Ejercicio 1. Veamos que . Luego,

s es un mltiplo de 11. Ejercicio 2. Como ,

para

. Luego, como

la congruencia se anula para Ejercicio 3. Como que cumplen son Ejercicio 4. Como para , buscamos todos los . se tiene que , entonces tales que . Algunos

de donde

es un nmero formado por puros dgitos 9 mltiplo de . Ejercicio 5. Se sigue del problema anterior pues si .

Ejercicio 6. Queremos demostrar que

Sabiendo que

, basta con verificar que se satisfacen dichas congruencias.

Ejercicio11. Veamos, mdulo 7, que la nica manera de que las primeras dos condiciones se cumplan es si . Luego, la conclusin es clara. Ejercicio 12. Si es un nmero compuesto, dado que

entonces

Si

es un nmero primo, por el teorema de Wilson,

Luego, el mximo comn divisor es

Sistemas de congruencias y Teorema Chino del Residuo

Maas, teoremas ponchados y temas adicionales

ndice de esta seccin o Maas, teoremas ponchados y temas adicionales Maas Teoremas ponchados Ecuaciones diofantinas Sucesiones Funciones Desigualdades Cotas Desigualdades importantes Lgica y demostraciones Contradiccin Induccin

Este apartado est en construccin.

Maas
A continuacin enlistaremos una serie de teoremas, resultados y frmulas que no hemos sabido acomodar en otros apartados no tanto porque no tengan lugar sino por el orden e intencin discursiva.

Teorema. La sucesin de las diferencias entre cuadrados consecutivos es la sucesin de los impares. Demostracin. Basta ver que

que es un nmero impar para todo . Luego, la sucesin de dichas diferencias es

Esto se puede ver muy sencillo de manera geomtrica.

Teorema (Frmula para la suma de divisores). Dado suma de divisores de como

, podemos calcular la

Teorema. Los cuadrados y slo los cuadrados tienen una cantidad impar de divisores. Demostracin. Un nmero es un cuadrado perfecto si y slo si sus factores primos estn elevados a una potencia par. Entonces, si es un cuadrado perfecto, aqu, aplicando la frmula para la cantidad de divisores, tenemos que . De

es un nmero impar pues cada uno de sus factores es un nmero impar. Por el contrario,

es un nmero impar slo si cada uno de sus factores es un nmero impar; es decir, slo si cada potencia es un nmero par slo si el nmero es un cuadrado perfecto.

Teoremas ponchados
Vale la pena que dediques un tiempo a investigar teoremas. Muchas veces, son conocimientos que adquieres leyendo soluciones. En teora, en la Olimpiada puedes utilizar cualquier resultado demostrado. Puesto que hay enorme discusin sobre qu clasifica como resultado demostrado o conocido, lo mejor es que, si vas a usar uno de estos teoremas, sepas citar adecuadamente el nombre, las hiptesis y las consecuencias. Puedes usar todos los siguientes teoremas aunque no los pruebas o aunque no conozcas una prueba para ellos. Es ms, de ninguno de ellos te ofreceremos prueba alguna y de ms deuno ni siquiera la conocemos. No importa: todos ellos han sido probados y publicados en algn lugar, por lo que nada ms citarlos es suficiente. He-Man deca por el poder de Grayskull, t debes decir, por el poder del Teorema de

Teorema de Bertrand. Para todo Teorema de Dirichlet. Si entero positivo.

entero positivo, existe un

primo tal que para un

, existen infinitos primos de la forma

Teorema de Fermat-Wiles. No existen soluciones para positivos y .

para

enteros

Conjetura de Cataln o Teorema de Mihailescu. La nica solucin no trivial ( de 0 y de 1) de es . Erds. Para cualquier cuadrado perfecto. Otro Erds. Si entero positivo, el producto de

distintos

enteros consecutivos no es un

es un nmero primo, entonces

Teorema de Wolstenholme. Para todo

primo, se cumple que

Los siguientes dos planteamientos son equivalentes:

Ecuaciones Diofantinas
Definimos una ecuacin diofantina como una ecuacin en ms de una variable donde slo nos importan las soluciones enteras. Hemos trabajado con muchas de stas ya. Las que siguen son bastante ms retadoras.

Ejercicio 1. Encuentra todas las parejas

de enteros positivos que satisfacen la ecuacin

Ejercicio 2. Demuestra que la ecuacin

tiene una infinidad de soluciones en los enteros. Ejercicio 3. Determine todas las soluciones en los enteros positivos de la ecuacin

que cumplan que

. y tales que

Ejercicio 4. Prueba que existen nicos enteros positivos

Ejercicio 5. Demuestra que la ecuacin positivos. Ejercicio 6. Encuentra todas las ternas

no tiene soluciones en los enteros

de enteros positivos tales que

Ejercicio 7. Encuentra todos los enteros positivos

tal que la ecuacin

tiene solucin en los enteros positivos.

Ejercicio 8. Encuentra el menor entero positivo tal que existen enteros

tales que

Ejercicio 9. Demuestra que la ecuacin enteros salvo . Ejercicio 10. Determina todos los enteros positivos

no tiene solucin en los

para los cuales la ecuacin

tiene solucin en los enteros.

Sucesiones
Estos estn un poco ms sencillos que los anteriores, pero tambin tienen lo suyo. Las sucesiones son un tema recurrente en el anlisis y en las primeras etapas de Olimpiada simplemente no aparecen.

Ejercicio 1. Una secuencia de enteros

est definida por

Demuestra que contiene infinitos nmeros pares e infinitos nmeros impares. Ejercicio 2. Dado un entero se define la sucesin como sigue:

para Encuentra todos los valores de sucesin. para los cuales es el primer entero que aparece en la

Ejercicio 3. La sucesin de enteros contiene a lo ms un cuadrado perfecto. Ejercicio 4. Definimos la secuencia

cumple que

Demuestra que

como sigue:

Demuestra que esta secuencia es peridica si y slo si Ejercicio 5. La sucesin para cierto Ejercicio 6. Sea y sea Muestra que con est definida por: .

es racional. . Demuestra que

una sucesin de nmeros reales tales que la sucesin definida por para todo . .

para todo

Ejercicio 7. La sucesin

est definida por

Prueba que para Ejercicio 8. Sean y para cada

. enteros positivos con si impar. Definimos la secuencia es par o en caso contrario. como sigue:

(a) Muestra que para algn (b) Muestra que la secuencia es peridica a partir de cierto

Funciones

Desigualdades
Las desigualdades son como las igualdades slo que desiguales. La desigualdad es una de las relaciones bsicas entre cualesquiera dos nmeros. Trabajar las desigualdades es quizs la mejor manera de ir perfeccionando la abstraccin algebraica y el uso de nmeros reales; es con las desigualdades que uno termina de entender que muchas veces no importa saber qu nmeros cumplen tal propiedad sino simplemente que la propiedad se cumple si se cumplen las hiptesis. Empezamos con la introduccin de desigualdades importantes y mucho muy tiles.

Lgica y demostraciones
No pierdas de vista que lo verdaderamente importante aqu es probar las cosas o acercarse lo ms posible. Adems, cunto puedes probar muchas veces est en funcin de cunto puedes escribir y cmo. Hay muchas maneras de probar las cosas, intentaremos dar un panorama general de la prueba por contradiccin y el caso particular del contraejemplo, el contrapositivo, la prueba por induccin y la talacha; en general, trabajamos con una prueba directa.

Contradiccin
La contradiccin es un mtodo de solucin usado en matemticas y en discusiones va facebook- que consiste en suponer lo opuesto a lo que quieres mostrar y llegar a algo absurdo o imposible. Las matemticas como la lgica en general- buscan ser consistentes. Esto es, que no sea posible que con las herramientas propias de las matemticas puedas tener una expresin que sea verdadera y falsa a la vez. Entonces, si tienes un procedimiento sin errores y partes de algo verdadero, tienes que llegar a algo verdadero; si partes de algo falso, tienes que llegar a algo falso; si llegas a algo verdadero, debiste haber partido de algo verdadero; y si llegaste a algo falso, debiste haber partido de algo falso. Ejemplo 1. Supongamos que . Entonces,

No es imposible que dos nmeros sean iguales pero claramente es falso que debe haber un error en algn paso del procedimiento. Puedes encontrar el error?

as que

Hay ciertos problemas cuya solucin clsica utiliza la contradiccin, como la infinitud de los primos o la irracionalidad de .

Ejemplo 2. Vamos a demostrar que hay infinitos nmeros primos. Procediendo por contradiccin, supongamos que lo anterior es falso y que existe una cantidad finita de nmeros primos. Sea el conjunto de todos los nmeros primos y sea el producto de todos los nmeros primos, el cual podemos calcular porque hay slo finitos nmeros primos. Es un nmero primo?

Veamos que si es un nmero primo, entonces , pues pero . Luego, hemos llegado a una contradiccin, pues es primo pero no pertenece a nuestro conjunto

de todos los nmeros primos. Como esto es imposible, nuestra hiptesis de que hay una cantidad finita de nmeros primos es falsa. Por lo tanto, hay infinitos nmeros primos. Ejemplo 3. Un nmero racional es aquel que puede expresarse como el cociente de dos enteros. Por ejemplo, es racional pues . . Los nmeros con expansin decimal

tambin son racionales, por ejemplo

Vamos a demostrar que es un nmero irracional. Procediendo por contradiccin, supongamos que lo anterior es falso y que existen enteros tales que

y que la fraccin es irreducible, es decir, que Entonces,

no tienen factores primos en comn.

lo que nos dice que es divisible entre 2 pero, como 2 es primo, para algn entero . Entonces,

es divisible entre 2; o sea,

lo que nos dice que

es divisible entre 2 pero, como 2 es primo,

es divisible entre 2.

Hemos llegado a una contradiccin, pues supusimos que no tienen factores en comn y llegamos a que ambos son mltiplos de 2. Esto es un absurdo, por lo tanto, nuestra hiptesis de que es racional es falsa. Por lo tanto, es irracional.

Ancdota. Russell propuso su paradoja tambin conocida como paradoja del barbero- para demostrar la inconsistencia de la Teora de Conjuntos como estaba planteada en su poca. Te ofrecemos dos planteamientos distintos: Paradoja del barbero: El barbero de cierto pueblo afeita a todas y slo a aquellas personas que no se afeitan a s mismas. Quin afeita al barbero? Paradoja de Russell: No es descabellado pensar que existen conjuntos que se contienen a s mismos. Por ejemplo, el conjunto de todos los conjunto es un conjunto y por lo tanto se contiene a s mismo. Sin embargo, el conjunto de todas las cucharas azules no es una cuchara azul as que no se contiene a s mismo. Sea . ? Para los siguientes problemas, usa un argumento por contradiccin. Si ya conoces la solucin de alguno de los problemas, intenta escribirla como si fuera un examen.

Problema 1. Muestra que si

, entonces

Problema 2. Sean tres nmeros primos mayores que 3 que estn en progresin aritmtica con diferencia . Muestra que es divisible entre 6. Problema 3. Todo nmero compuesto tiene un divisor primo menor o igual que su raz cuadrada. Problema 4. Se sabe que de entre los tringulos inscritos a una circunferencia fija, hay uno con rea mxima. Muestra que es el tringulo equiltero. Problema 5. Es posible colorear los enteros positivos con tres colores de modo que siempre que se suman dos nmeros de colores distintos, el resultado de su suma sea del tercer color? (Hay que usar los tres colores.) Si la respuesta es afirmativa, indica un posible coloreo; si no, explica el porqu. Problema 6. A un tablero de posible cubrirlo con fichas de Problema 7. Sean ellos es mltiplo de 3. se le han quitado dos esquinas opuestas. Muestra que no es y . . Demuestra que al menos uno de

enteros tales que

Problema 8. Sean enteros positivos. Prueba que es imposible que sean todos cuadrados perfectos. Problema 9. Muestra que si una diferencia de cuadrados es par, entonces es mltiplo de 4. Problema 10. Supongamos que es un nmero primo tal que donde y son nmeros primos distintos. Demuestra que alguno de estos primos es 5. Problema 11. Considera los nmeros primos . Si divide a , muestra que entre estos nmeros hay tres primos consecutivos.

Contraejemplo
Retomemos algo de lgica aristotlica para pensar en lo que haces cuando pruebas. Supongamos que quieres probar que Todos los hombres son buenos y t pruebas que Miguel y Pablo, que son hombres, son buenos. Has terminado? Es obvio que no, pues Miguel y Pablo no son todos los hombres. Siguiendo este procedimiento, deberas probar que todos y cada uno de los hombres. Pero qu pasa si pruebas que Neto, que es ms o menos hombre, no es bueno? Ahora es imposible probar que Todos los hombres son buenos y esto se llama Contraejemplo. Los contraejemplos slo funcionan cuando quieres probar juicios absolutos (Todo, Ninguno). Adems, para probar un juicio absoluto (Todo, Ninguno), ningn juicio particular es suficiente (Alguno).

Induccin
Principio de Induccin
La induccin matemtica es un mtodo muy til en algunas demostraciones. Se emplea generalmente al probar frmulas o propiedades de los nmeros naturales. Los nmeros naturales se definen de manera inductiva. Es decir, incluso hablando muy informalmente, al describir los nmeros naturales no podemos nombrar a todos los nmeros naturales puesto que son infinitos, lo que hacemos normalmente es decir algo como 1 es un nmero natural, tambin 2 y 3 y 4 y as te sigues, si le sumas 1 a un nmero natural te da otro nmero natural. Esos son precisamente los Axiomas de Peano, la manera en que definimos los nmeros naturales: a. 1 es un nmero natural. b. si n es un nmero natural, entonces n + 1 tambin es nmero natural. En el caso (b), suponemos la existencia de algn nmero que cumple la propiedad de ser natural. Nuestra hiptesis no es descabellada, pues a partir de (a) sabemos que existe al menos un nmero natural, el 1. El principio de induccin es usar esta definicin para probar cosas. Podemos definirlo de varias maneras: I. Si A es un subconjunto de los nmeros naturales tal que: a. 1 pertenece a A b. si n pertenece a A, entonces n + 1 pertenece a A Entonces A contiene a todos los naturales. II. Si una propiedad P de un subconjunto de los nmeros naturales cumple que: a. P es cierta para 1 y b. si P es cierta para n, entonces P es cierta para n + 1. Entonces P es cierta para todos los naturales. Estas definiciones son equivalentes. Es ms, adelante vamos a ver que este principio puede modificarse ligeramente: el caso base no tiene que ser necesariamente 1, por ejemplo.

Analoga de los domins

Si ponemos todos nuestros domins parados en una fila, necesitamos slo asegurarnos de dos cosas para que se caigan: a) Que exista al menos un domin que se caiga. b) Que si un domin cae, empuja al siguiente. Para la primera parte, no tiene que ser el primer domin. Si tiramos el primero, queremos que se caigan todos; pero si tiramos el segundo o el tercero o el quinto, queremos que se caigan todos despus el que tiramos. Para la segunda parte tenemos que asegurarnos que la distancia entre cada dos domins no sea demasiada o que estn en el ngulo correcto, porque si uno solo no empuja al que sigue, entonces no se van a caer todos. Los nmeros naturales son como un conjunto infinito pero ordenado de domins, donde cada domin tiene escrito un nmero. Las pruebas por induccin son como ordenar nuestros domins parados en una fila y ver si es posible empujar alguno para que se caigan todos. a) El caso base es asegurarse de que exista un primer domin que se caiga. b) El paso inductivo es suponer que si cumple para algn entero, cumple para el siguiente. Como sabemos que cumple para el caso base, entonces cumple para el siguiente; como cumple para el siguiente, cumple a su vez para su siguiente y as sucesivamente cumplen todos los enteros a partir del caso base. Esos dos pasos nos aseguran que se caen todos los domins sin necesidad de verlos caer.

Ejemplo 1. Prueba que

a. Sin usar induccin Usaremos el hecho de que Entonces tenemos las siguientes igualdades:

Donde los puntos suspensivos significa que tenemos desigualdades equivalentes para los todos los nmeros en el intervalo. Si sumamos todas las ecuaciones, tendremos lo siguiente del lado izquierdo de la igualdad:

Reordenando los elementos de manera til, tenemos:

Que se simplifica como: Por otro lado, el lado derecho de la igualdad queda como sigue:

Reordenando los elementos de manera til, tenemos:

Factorizando, tenemos:

Recordemos que

; sustituimos:

Veamos que lo que buscamos es

; sustituimos:

Uniendo ambas partes de la igualdad, tenemos:

Como queremos encontrar el valor de S, debemos despejar para S:

Multiplicamos por 2 para no tener fracciones:

Vamos a desarrollar cada trmino.

Los sustituimos en la ecuacin original:

Reordenando para agrupar trminos semejantes:

Simplificando:

Factorizando:

Finalmente, terminando el despeje:

Que es lo que queramos demostrar. En esta demostracin no slo demostramos la validez de la frmula, adems la construimos. Este tipo de prueba se llama prueba directa.

b. Usando Induccin. Probamos en caso base:

Es decir, la frmula es vlida para 1. Necesitamos probar que si es vlida para k, entonces es vlida para k + 1. Por lo tanto, nuestra hiptesis de induccin es:

Y lo que queremos demostrar es:

Utilizando la hiptesis de induccin, tenemos:

Factorizando:

Desarrollando:

Factorizando:

Que es lo que queramos demostrar. La intencin de mostrar las dos pruebas es mostrar cmo las pruebas por induccin pueden ser mucho ms sencillas que una prueba directa. La prueba por induccin necesit de slo una sustitucin y un par de manipulaciones algebraicas, mientras que la prueba directa no slo necesit muchas ms sustituciones y manipulaciones algebraicas, adems parti de una idea que es sencillamente brillante.

Ejemplo 2. Probar por induccin que Caso base: para n = 1 tenemos que

por lo tanto, la frmula es vlida para 1. Vamos a suponer que es vlida para algn entero k. Es decir,

y, usando esto, queremos demostrar que

Usando la hiptesis de induccin sabemos que

Vamos a factorizar

y tenemos que

Vamos a resolver la suma de adentro del parntesis

Puesto que Slo falta observar que esa expresin es lo mismo que

que es lo que queramos demostrar. Por lo tanto, hemos terminado nuestra induccin. Ejemplo 3. Probar por induccin que Lo primero que tenemos que encontrar es nuestro caso base. Si n = 1, Si n = 2,

Si n = 3, Si n = 4, Vamos a tomar 4 como nuestro caso base porque es el primer natural que cumple. Nuestra hiptesis de induccin entonces es la siguiente

siempre que

Usando eso, queremos demostrar que

Nunca podemos insistir demasiado en que no conocemos la validez de ese signo de menor que. Lo escribimos simplemente porque es ms sencillo trabajarlo as. Vamos a usar la hiptesis de induccin

La otra hiptesis que hicimos es que

, que implica, en particular, que

que es lo que queramos demostrar. Hemos terminado la induccin. Esta induccin se trabajo considerablemente distintas a las anteriores, porque no habamos trabajando con desigualdades; lela las veces que consideres necesaria hasta entenderla. Ejemplo 4. Probar el criterio de divisibilidad de 11. El criterio de divisibilidad de 11 establece que un nmero es mltiplo de 11 si la suma y resta de sus cifras en cierto orden es mltiplo de 11. En concreto: si nuestro nmero es abcdefghij donde cada letra representa un dgito, entonces es divisible entre 11 si y slo si es un mltiplo de 11. Lo que est detrs de este criterio son las siguientes dos proposiciones: (1) (2) Es decir, que las potencias pares de 10 son un mltiplo de 11 menos 1 y las potencias impares de 10 son un mltiplo de 11 ms 1. Queremos hacer una observacin muy importante. La k que est en las proposiciones es un adorno. Sirve para poder traducir la frase mltiplo de 11 a la ecuacin, pero la induccin no se hace sobre k ni tenemos la proposicin en funcin de k. Lo nico que necesitamos verificar es que existe un entero que satisface la proposicin, pero no nos interesa saber nada ms sobre dicho entero.

Tenemos, entonces, dos proposiciones. Para demostrarlas necesitaramos dos inducciones. Vamos a hacer dos inducciones pero con una nica hiptesis de induccin. Primero, veamos algunos casos base

Por primera vez en nuestra induccin vamos a ver lo importante que resulta el caso base. Nuestra hiptesis de induccin ser la siguiente:

Y queremos demostrar que

Marcamos con la k porque, aunque en principio es distinta, como ya dijimos antes, no nos interesa mucho quin es k. Usando la hiptesis de induccin

Sustituyendo lo que sabemos por los casos base que hicimos

Desarrollando el producto, tenemos que es igual a

Factorizando 11

Y tenemos que es un entero, como queramos. Por lo tanto, hemos terminado la demostracin de que las potencias pares de 10 son un mltiplo de 11 ms 1. Pasamos a las potencias impares. Vamos a manejar la misma hiptesis de induccin, pero lo que queremos demostrar ahora es que , partiendo de nuestros casos base. Usando la hiptesis de induccin, tenemos que

Vamos a sustituir lo que sabemos para el caso base 10 y desarrollar el producto

Factorizando 11 tenemos

Y induccin.

es un entero por ser suma y producto de enteros. Con esto concluimos la

Ejemplo 5. Probar que 6 divide a

para todo n natural.

Lo que queremos probar es que existe algn k entero, tal que para todo n natural. Igual que en el ejemplo anterior, este k es ms o menos un adorno; una convencin de notacin para simbolizar la frase mltiplo de. Ya sabemos cmo proceder. Caso base: para n = 1 tenemos que Nuestra hiptesis de induccin es que es mltiplo de 11.

y debemos usarla para demostrar que

Como es usual, desarrollamos el cubo

Aqu hay un ligero detalle, si procedemos a reducir trminos semejantes, nos va a quedar y es una expresin con la que a simple vista- no podemos trabajar ya con la hiptesis de induccin. Por lo tanto, decidimos primero usar la hiptesis de induccin y luego reducir trminos semejantes.

Usamos la hiptesis de induccin de la siguiente manera: si

, entonces

. La

raya vertical se lee divide a. Es decir, como ya sabemos que 6 divide a por la hiptesis de induccin, entonces necesitamos verificar solamente que el resto es tambin divisible entre 6. Desgraciadamente, a partir de la expresin que tenemos , slo podemos concluir que 3 divide a . Lo que quisiramos para que 6 dividiera a

sera que 2 dividiera a , o lo que es lo mismo, que 2 divida a demostramos eso? Pues con otra induccin. Caso base: para x = 1, Hiptesis de induccin: Por demostrar: Desarrollamos el cuadrado que s es mltiplo de 2. .

. Cmo

y volvemos a aplicar la hiptesis de induccin antes de reducir trminos semejantes. Igual que en el caso anterior, si y slo si lo cual es claro. Hemos terminado la segunda induccin y con eso demostramos que 6 divide a para todo n natural. Para este problema tuvimos que usar una induccin adentro de una induccin. Vamos a resolverlo ahora de manera no inductiva. Observemos que

es el producto de tres enteros consecutivos. En tres enteros consecutivos siempre tenemos un mltiplo de 3 y al menos un mltiplo de 2. Por lo tanto, su producto es mltiplo de 2 y de 3, es decir, es mltiplo de 6. La prueba no inductiva es de un solo rengln mientras que la induccin nos tom ms de una pgina. Cmo sabremos cundo usar induccin y cundo no? Slo la prctica y la experiencia nos lo dir. Ya vimos que el caso base no es necesariamente 1, que podemos encontrarnos con dos inducciones que utilicen la misma hiptesis de induccin, que es posible tener una induccin adentro de una induccin y que la induccin no es siempre la herramienta ms sencilla. Hay muchos matices para la induccin, vamos a ver dos detalles sobre los que hay que tener mucho cuidado.

Ejemplo 6. Probar por induccin que

Vamos a realizar primero el paso inductivo: probar que si cumple para un entero k, entonces cumple para el entero k + 1. Nuestra hiptesis de induccin es Lo que queremos demostrar es que Utilizando la hiptesis de induccin: . .

Que es lo que queramos demostrar.

Acabamos de mostrar que si existe algn entero que cumple, entonces todos los enteros despus de ese tambin cumplen. El detalle es que, si existiera algn entero que cumpliese, tendramos que:

Lo que sabemos que es falso. Queremos enfatizar el cuidado que se tiene que tener con la induccin: hemos probado que si un domin se cae, sin duda empujar a todos los dems; el detalle es que no existe un solo domin que se caiga. Ejemplo 7. Probar por induccin que f(n) = genera puros nmeros primos.

Es ms o menos sabido que no existe una funcin que genere puros nmeros primos. Los primos no se encuentran en ninguna serie aritmtica o geomtrica conocida; aunque es sabido que existen series que generan infinitos primos. Vamos a probar una serie de casos base para convencernos de la veracidad de esta afirmacin.

Hasta ahora, la frmula ha arrojado slo nmeros primos por lo que tenemos hasta ahoraalgo de evidencia para suponer que quizs pueda ser cierta. Como quisiramos probarla para todos los nmeros, la induccin es una buena manera de proceder. Lo siguiente, entonces, es dar el paso inductivo: Hiptesis de induccin: primo Paso inductivo: P.D. Desarrollando el cuadrado: primo

Usando la hiptesis de induccin:

Existe alguna manera de demostrar que esa ltima expresin es un primo? No lo creemos. Es ms, espero que no, puesto que para , que claramente es mltiplo de 41 y por lo tanto no es primo. Queremos recalcar aqu que la induccin no es todopoderosa. En particular, las expresiones con nmeros primos escapan muy sencillamente de las capacidades de una prueba por induccin, puesto que los primos no estn todos sobre alguna progresin aritmtica o geomtrica conocida incluso si se conocen varias progresiones que contienen infinitos primos sobre ellas. Pensemos nada ms que si la induccin no tuviera lmites, problemas como la Conjetura de Goldbach no habra escapado a su solucin por casi trescientos aos.

Problema 1. Demuestra por induccin que

Problema 2. Demuestra por induccin que

Problema 3. Demuestra por induccin que

Problema 4. Demuestra por induccin que

Problema 5. Demuestra por induccin que

Problema 6. Demuestra por induccin que

Problema 7. Demuestra por induccin que 8 divide a Problema 8. Demuestra por induccin que 9 divide a Problema 9. Demuestra por induccin que

para todo n natural. para todo n natural.

Problema 10. Demuestra por induccin que

Problemas
En esta seccin hay problemas que estn sobre la dificultad media y vienen de todos lugares: estatales, nacionales, IMOs, regionales, Centros, Cuencias, Iberos, PENs, nacionales de pases como China, Vietnam, Brasil, Colombia, Argentina, EUA, Canad, Espaa, Irlanda, Italia, entre otros. Aunque la mayora son clsicos en los cursos de verano que hemos dado los ltimos aos, para algunos de ellos no hemos visto solucin an. Muchos de ellos pueden parecerte feos o que no salen con soluciones bonitas. Ni modo, no sabes qu problemas te pueden tocar en tu siguiente examen.

Problema 1. Hallar todos los

primos positivos tales que

es cuadrado perfecto.

Problema 2. Probar que el producto de cuatro naturales consecutivos no puede ser ni cuadrado ni cubo perfecto. Problema 3. Cules son los nmeros enteros positivos que se pueden obtener de exactamente 2007 maneras distintas, como la suma de al menos dos nmeros enteros positivos consecutivos? Cul es el menor de todos ellos? Ejemplo: el nmero 9 se escribe exactamente de dos maneras distintas: Problema 4. Probar que para cualquier primo p distinto de 2 y 5 existe un mltiplo de cifras son todas nueves. Por ejemplo si , . Problema 5. Encuentra el menor divisible por 18. tal que entre cuales quiera . cuyas

enteros, existen 18 cuya suma es

Problema 6. Determina todos los enteros positivos n para los cuales existen enteros positivos distintos tales que:

es un entero.

Problema 7. Sean cuadrado.

enteros positivos tales que

. Prueba que

es un

Problema 8. Sea la suma de los dgitos de un entero positivo . Decimos que cada uno de los enteros es suma de dgitos de . 1. Demuestra que si 2. Si son sumas de dgitos de un entero , entonces

es surtido si

es surtido.

son sumas de dgitos de un entero , es

necesariamente surtido? se

Nota: El nmero 117 no es surtido pues slo pueden escribir como suma de dgitos de 117.

Problema 9. El producto de varios nmeros enteros mayores que 0 y distintos entre s, es mltiplo de . Determine el menor valor que puede tomar la suma de esos nmeros. Problema 10. (a) Determina el primer entero positivo cuyo cuadrado termine en tres cuatros. (b) Determina todos los enteros positivos cuyos cuadrados terminen en tres cuatros. (c) Demuestra que ningn cuadrado perfecto termina en cuatro cuatros. Problema 11. (a) Demuestra que el producto de dos enteros de la forma forma. (b) Demuestra que si es de la forma , entonces es de la misma

tambin es de esa forma.

Problema 12. Prueba que todo entero es suma de cinco cubos. Problema 13. Sea un entero positivo mayor que 1. Encuentra el mnimo valor de se tiene que el promedio de los nmeros es un cuadrado perfecto. Problema 14. Determine todas las parejas de enteros tales que: para el cual

Problema 15. Determinar los enteros positivos tales que el conjunto de todos los divisores positivos de se puede dividir en grupos de tres de modo que el producto de los tres nmeros de cada grupo sea el mismo. Problema 16. Diremos que un entero positivo es ganador si se puede escribir como suma de un cuadrado perfecto ms un cubo perfecto. Por ejemplo, 33 es ganador porque . Gabriel elige dos enteros positivos y Germn debe hallar 2005 enteros positivos tales que para cada , los nmeros y sean ganadores. Demostrar que Germn siempre puede lograr su objetivo.

Problema 17. Determinar cul es la cantidad de pares de nmeros naturales que verifican simultneamente que 4620 es mltiplo de , 4620 es mltiplo de y es mltiplo de . Problema 18. Prueba que para todo entero existe un entero escribirse en sistema decimal usando nada ms 1s y 2s. Problema 19. Reduce la fraccin tal que puede

a su mnima expresin. Problema 20. Sea un primo y . Muestra que enteros positivos distintos menores que es divisible por . . tales que

Problema 21. Encuentra todas las soluciones enteras para

Problema 22. Muestra que en cualquier conjunto de 10 enteros consecutivos, hay uno que es primo relativo con cada uno de los dems. Problema 23. Hallar con conjunto de seis nmeros enteros distintos entre s tal que el promedio de cualquier subconjunto de sea un nmero entero. Problema 24. Probar que si termina en 0, entonces termina en dos ceros. para los cuales es un

Problema 25. Encontrar todos los enteros positivos cuadrado perfecto.

Problema 26. Probar que en cualquier conjunto de enteros siempre hay un subconjunto en el que la suma de los nmeros es divisible entre el mismo . Problema 27. Encontrar todos los nmeros de 7 cifras que son divisibles entre 3 y 7 y donde todas sus cifras son 3 o 7. Problema 28. Demostrar que si . Problema 29. Demuestra que es suma de dos cuadrados pero no de dos cubos. son nmeros primos tales que es un entero, entonces

Problema 30. De todos los enteros positivos que pueden escribirse como suma de 2005 enteros no necesariamente positivos, cul ocupa la posicin 2005? Problema 31. Sea . Prueba que un entero positivo tal que es mltiplo de es mltiplo de y que y es mltiplo de .

es mltiplo de

Problema 32. Determina todos los nmeros primos es un cuadrado perfecto.

tales que

Problema 33. Encuentra todos los nmeros primos y que sea un cuadrado perfecto.

con

, que cumplan con

Problema 34. Determine todos los nmeros primos distintos tales que un nmero primo y y son ambos cuadrados perfectos. Problema 35. Ser posible encontrar 2006 enteros positivos distintos que

es

tales

sea el cuadrado de un entero? Problema 36. Sea un entero positivo tal que divisores positivos de tambin es mltiplo de 24. es mltiplo de 24. Prueba que la suma de los

Problema 37. Determine todas las parejas de enteros positivos para algunos enteros positivos . Problema 38. Sea

tales que

(a) Demuestre que existe un subconjunto de formado por 15 nmeros, primos relativos por parejas, que no contiene ningn nmero primo. (b) Demuestre que todo subconjunto de formado por 16 nmeros, primos relativos por parejas, contiene un nmero primo. Problema 39. Demuestre que hay una infinidad de enteros positivos divisores positivos del nmero es divisible entre . Problema 40. Sean nmeros naturales tales que es divisible por 24. tales que la suma de los

es divisible por 24. Muestra que

Problema 41. Encuentra todas las soluciones enteras a la ecuacin:

Problema 42. Encuentra todas las parejas

para las cuales tales que:

divide a

Problema 43. Determine cuatro enteros positivos

Problema 44. Sea , entonces

un nmero primo y sean .

enteros positivos. Demuestre que si

Problema 45. Determine todos los enteros positivos divisible por cada entero positivo tal que

que satisfacen la siguiente propiedad: .

es

Problema 46. (a) Un conjunto de 1997 nmeros tiene la propiedad de que si cada nmero es restado al producto de los restantes, se obtiene la misma coleccin. Prueba que el producto de los nmeros es 0. (b) Un conjunto de 100 nmeros tiene la misma propiedad. Prueba que el producto es positivo. Problema 47. Sea la suma de los dgitos del nmero de nmeros tales que . Demuestra que existe una infinidad

Problema 48. Carlitos tiene 9 cartas numeradas del 1 al 9, y de ellas escoge algunas para formar una mano y jugar pasolitario. El juego de pasolitario consiste en anotar la suma de cada par de cartas de la mano y luego verificar si todas estas sumas son distintas o no. Si las sumas son distintas, la mano es ganadora y si al menos dos de las sumas son iguales, la mano es perdedora. Por ejemplo, la mano formada por las cartas 1, 3 y 9 es ganadora, pues y ; pero la mano formada por las cartas 1, 2, 3 y 4 es perdedora, ya que . Determine el nmero mximo de cartas que puede tener una mano ganadora. Problema 49. Un nmero entero de 2008 dgitos se llama trimendo si el producto de sus dgitos es . (a) Qu valores puede tomar la suma de los dgitos de un nmero trimendo? (b) Cuntos nmeros trimendos cumplen que la suma de sus dgitos es 5608? Problema 50. El gran mago Deeds, maestro de Fumanch, tiene guardados en su caja del saber los nmeros enteros del 1998 al 2008. Deeds va sacando al azar los nmeros de la caja y los va poniendo en fila. Cuando ya tiene los 11 nmeros en fila, pasa su varita mgica sobre ellos y los nmeros se pegan para formar un slo nmero de 44 dgitos. Puede ser primo este nmero? Problema 51. Encuentra todos los nmeros enteros positivos que son iguales a 11 veces la suma de sus dgitos. Problema 52. Encontrar todos los nmeros naturales tales que sus divisores, distintos de 1 y de cumplen que el ms grande sea 7 veces el ms pequeo. Problema 53. Para cualquier nmero natural se dice que su origen se calcula multiplicando las cifras de ese nmero, luego multiplicar las cifras del resultado y as sucesivamente hasta que queda un nmero de una cifra. Por ejemplo, el origen del 149 es el 8, ya que: que: . y el origen del 5486 es el 0, ya

Encuentra la suma de todos los nmeros de dos o ms cifras distintas, tales que su origen sea un nmero impar. Problema 54. Juan tiene que llevar una ficha desde la esquina hasta la esquina , movindola por las lneas de la cuadrcula del tablero. La ficha puede moverse hacia arriba, hacia abajo, hacia la derecha o hacia la izquierda (la ficha puede pasar varias veces por el mismo punto). Cada vez que la ficha se mueve en sentido horizontal, Juan anota el nmero de la columna por la que atraviesa. Cuando la ficha finalmente llega a la esquina , Juan multiplica todos los nmeros que anot. Encuentra todos los caminos donde el producto de los nmeros anotados por Juan es 8640. Justifica tu respuesta. 1 2 3 4 5 B

Problema 55. Hay que escribir una fila de 20 dgitos de manera que la suma de tres dgitos consecutivos de la fila sea siempre mltiplo de 5. Cul es la mxima cantidad de dgitos distintos que puede haber en la fila? Problema 56. Encuentra todos los pares de primos Problema 57. Encuentra todos los enteros positivos es un cuadrado perfecto. Problema 58.Observa el siguiente arreglo: tales que .

menores que 1008 tales que el nmero

Cul es la suma del primero y ltimo trminos de la columna 2008? (Por ejemplo, el primero y ltimo trminos de la columna 3 son 13 y 24, su suma .) Problema 59. Se tienen 100kg de dulces en paquetes, se sabe que todos pesan menos de 10kg, si se piensan empacar en cajas de cartn que slo resisten, sin romperse, hasta 30kg cuntas cajas son necesarias para garantizar que se transporten todos los paquetes de dulces? Problema 60. Los nmeros del 1 al 37 estn escritos en una lnea tal que cada nmero divide a la suma de los anteriores. Si el primer nmero es 37 y el segundo nmero es 1, cul es el tercer nmero? Problema 61. Si demuestre que: son nmeros reales tales que y ,

Nota: los denominadores de las fracciones son distintos de cero. Problema 62. Determine si existen enteros positivos que satisfacen la ecuacin:

Justifique su respuesta. Problema 63. A un entero positivo lo llamaremos desagradable si no es igual al producto de los dgitos de cualquier otro entero. Muestra que para , (a) el nmero de (b) el nmero de dgitos dgitos es desagradable, es desagradable.

Problema 64. Sea un nmero de seis dgitos, tres de los cuales estn coloreados y son iguales a . Muestra que siempre es posible obtener un mltiplo de 7 haciendo alguna de las siguientes dos operaciones: (1) eliminar los tres dgitos coloreados o, (2) escribir los dgitos de en un orden distinto. Problema 65. Sea y distinto de 3 un nmero primo y sean . Muestra que o . nmeros enteros tales que

Problema 66. Sean tres nmeros primos con Encuentra a .

y tales que

Problema 67. Muestra que los nmeros del 1 al 16 pueden ser escritos en una lnea pero no en un crculo, tal que la suma de cualesquiera dos nmeros adyacentes es un cuadrado perfecto.

Problema 68. Sea entre 3. La suma de de .

el conjunto de enteros positivos que no son divisibles elementos consecutivos de es 300. Determina todos los posibles valores

Problema 69. Encuentra todas las parejas perfecto.

de enteros tales que

es un cuadrado

Problema 70. Se tienen enteros tales que divide a la diferencia de cualquiera de ellos y el producto de los dems. Demuestra que divide a la suma de los cuadrados de los enteros. Problema 71. Sea un entero. Muestra que el conjunto

contiene un subconjunto infinito que cumple que cualesquiera dos miembros son primos relativos. Problema 72. Se construye un tringulo como el de la figura, pero empezando con los nmeros del 1 al 2000. Cada nmero excepto los del primer rengln es la suma de los dos nmeros arriba de l. Cul es el nmero que ocupa el vrtice inferior del tringulo? (Nota: Escribe tu respuesta como producto de primos.) 1 3 8 20 48 Problema 73. Dado un conjunto de enteros positivos, construimos el conjunto poniendo todos los elementos de y todos los enteros positivos que se pueden obtener de la siguiente manera: Se escogen algunos elementos de , sin repetir, y a cada uno de esos nmeros se le pone el signo o el signo ; luego se suman esos nmeros con signo, y el resultado se pone en . Por ejemplo, si entonces algunos elementos de son 8 y 14 (pues 8 es elemento de , y ). A partir de construimos de la misma manera que se obtuvo a partir de . Encuentra el mnimo nmero de elementos que necesita tener si queremos que contenga todos los enteros del 1 al 40 (inclusive). Problema 74. Sean nmeros reales positivos tales que . Prueba que 2 5 12 28 3 7 16 4 9 5

Problema 75. Existe algn entero positivo divide a ?

tal que

tiene exactamente 2000 divisores primos y

Problema 76. Encuentra todas las ternas de enteros positivos . Problema 77. (a) Demostrar que

que cumplen que

para todos los nmeros reales

distintos de 1, con

. distintos de 1, con

(b) Demostrar que existen infinitas ternas de nmeros racionales para los cuales la expresin es una igualdad. Problema 78. Demostrar que existen infinitos nmeros enteros positivos un divisor primo mayor que .

tales que

tiene

Problema 79. Sean y enteros positivos tales que y es par. Se tienen lmparas numeradas cada una de las cuales puede estar encendida o apagada. Inicialmente todas las lmparas estn apagadas. Se consideran sucesiones de pasos: en cada paso se selecciona exactamente una lmpara y se cambia su estado (si est apagada se enciende, si est encendida se apaga). Sea el nmero de sucesiones de todas encendidas, y las lmparas Sea el nmero de sucesiones de todas encendidas, y las lmparas encendidas. Calcular la razn . Problema 80. Sea a. b. c. Encontrar . una funcin creciente definida para todo nmero real , , tal que: pasos al cabo de los cuales las lmparas quedan todas apagadas. quedan

pasos al cabo de los cuales las lmparas quedan quedan todas apagadas sin haber sido nunca

Problema 81. Encontrar un nmero de cinco cifras diferentes y no nulas, que sea igual a la suma de todos los nmeros de tres cifras distintas que se pueden formar con cinco cifras de . Problema 82. Sea una funcin, definida en el conjunto de los enteros mayores o iguales que cero, que verifica las dos condiciones siguientes: i. Si , para entonces .

ii.

Si

para

entonces

a. Demostrar que para todo entero , mayor o igual que cero, existe un entero , mayor que cero, tal que: . b. Calcular . Problema 83. Sea , un polinomio con y nmeros enteros.

a. Si es un nmero primo tal que divide a y no divide a , demostrar que, cualequiera que sea el nmero entero no divide a b. Sea un nmero primo, distinto de 2, que divide a . Si divide a para algn nmero entero , demostrar que para cada entero positivo existe un nmero entero tal que divide a . Problema 84. Sean nmeros naturales no nulos que verifican ,y

Demostrar que: i. ii. . si entonces . son enteros positivos y ,

Problema 85. Pruebe que si entonces es un cuadrado perfecto.

Problema 86. Se define la sucesin de la siguiente manera: que 2, es el mayor divisor primo de la expresin:

y para todo

mayor o igual

Pruebe que

es diferente de 5. con tales que existe un

Problema 87. Encuentra la cantidad de enteros entero tal que es mltiplo de .

Problema 88. Un entero positivo se dice bold si tiene 8 divisores positivos que suman 3240. Por ejemplo, 2006 es bold porque sus 7 divisores positivos, 1, 2, 17, 34, 59, 118, 1003 y 2006, suman 3240. Encuentra el menor entero positivo que es bold. Problema 89. Dados enteros positivos y un entero , prueba que existe un entero positivo tal que , es decir, que existe un entero tal que Problema 90. Sea si existen nmeros enteros tales que . Diremos que un nmero entero es un valor de

i. ii.

Determinar cuntos elementos de Probar que el producto de valores de y

son valores de . es un valor de . , prueba que

Problema 91. Si

Problema 92. Sea

un entero positive con divisores . Prueba que es siempre menor que y determina cundo es un divisor de . primos distintos mayores a 3. Muestra que tiene al

Problema 93. Sean menos divisores.

Problema 94. Existe algn entero positivo

tal que la ecuacin

tiene infinitas soluciones para enteros positivos

? donde

Problema 95. Encuentra todos los enteros positivos tales que son todos los divisores positivos de .

Problema 96. Hay cajas numeradas del 0 al en fila en ese orden de derecha a izquierda. Se tienen cartas numeradas del 0 al . Las cartas se revuelven y se coloca exactamente una en cada caja. El objetivo del juego es que la carta con el nmero est en la caja con el nmero . Si esto no se ha logrado se efecta el siguiente movimiento: Determinar el menor tal que la ksima posicin est ocupada por la carta con un nmero . Quitamos esta carta, y recorremos todas las cartas de la posicin a la posicin un lugar a la derecha y luego ponemos la carta en la posicin . (a) Demuestra que el juego dura a lo ms pasos. (b) Determina cuntas configuraciones iniciales (acomodos en las cajas despus de revolver las cartas) existen tal que el juego dure exactamente pasos. Problema 97. (a) Demuestre que entre cualesquiera 2007 enteros positivos distintos, existe un entero con la propiedad de que el producto de los 2006 nmeros restantes se puede escribir en la forma para algunos enteros positivos . (b) Suponga que uno de los 2007 enteros es el 2006. Demuestre que si hay un nico entero (de los 2007 enteros dados) con la propiedad del inciso (a), entonces este nico entero es el 2006. Problema 98. Sea forma: un entero positivo. Determine todos los enteros que se pueden escribir en la

para algunos enteros positivos Problema 99. Sea

no necesariamente distintos. fracciones

un nmero primo. Considere las

Para cada una hacemos su expansin decimal, la cual es peridica e infinita. Al ciclo de menor longitud lo llamamos periodo y a la cantidad de cifras que tiene su longitud de periodo. Demuestre que las fracciones tienen la misma longitud de periodo. Problema 100. Sea un entero positivo. Sea . . es par. tales

a) Demuestra que hay una infinidad de enteros positivos tales que b) Encuentra todos los enteros positivos tales que es no vaco. c) Demuestra que hay una ifinidad de enteros positivos tales que Problema 101. Prueba que para todo nmero natural que . Problema 102. Dado un entero positivo 1.

existen impares positivos

definimos las siguientes funciones:

como la cantidad de elementos del conjunto de enteros (la funcin de Euler).

2. 3. Encuentre el valor de Problema 103. Sean en el intervalo se sostiene. . . nmeros reales y sea el mximo de la funcin . Muestra que y encuentra todos los casos donde la igualdad

Problema 104. Encuentra todos los nmeros primos

tales que

Problema 105. Sean primos positivos distintos, y sean enteros positivos arbitrarios. Prueba que la cantidad de parejas de enteros que satisfacen es a lo ms . Problema 106. Sea un conjunto de racionales positivos tales que su suma es 1. Definimos una funcin como para cada entero positivo . Determina el mnimo y el mximo de la funcin. Problema 107. Encuentra el menor entero positivo tal que cada subconjunto de contiene dos elementos distintos tales que divide a . elementos de

Problema 108. Encuentra todos los enteros positivos

, que cumplen

Problema 109. Sea un entero positivo. Decimos que un entero positivo satisface la condicin si existen enteros positivos distintos tales que las sumas son todas distintas y menores que . (a) Muestra que si (c) Supn que satisface la condicin . satisface la condicin . cuya expansin , entonces .

(b) Muestra que 5 satisface la condicin

es un entero. Muestra que

Problema 110. Prueba que todo entero tiene un mltiplo menor que decimal tiene a lo ms cuatro dgitos distintos.

Problema 111. Dados 81 nmeros naturales cuyos divisores primos pertenecen al conjunto , demuestra que existen cuatro cuyo producto es la cuarta potencia de un entero. Problema 112. Encuentra todos los nmeros reales no negativos satisfacen que

Problema 113. Sean Prueba que

nmeros reales no negativos que cumplen que

Problema 114. Para cada entero positive , sea la suma de los dgitos de . Demuestra que para todo , y muestra que existe tal que . Problema 115. Sea . Prueba que i. ii. la secuencia de Fibonacci, tal que y para

La afirmacin es divisible entre 10 para todos los enteros positivos es cierto si y falso para todo entero positivo ; La afirmacin es divisible entre 100 para todos los enteros positivos es cierto para y falso para todo entero positivo .

Problema 116. Prueba que para todo entero positivo ,

Problema 117. Prueba que la ecuacin Problema 118. Sean enteros positivos con

tiene infinitas soluciones en los enteros. . Calcula .

Problema 119. Encuentra todos los pares

de enteros que cumplen

Pistas, respuestas y soluciones

Si ya has pensado hasta que el hamster en tu cabeza se muri de cansancio, aqu te tenemos varias pistas para los problemas o de plano la solucin. Te recomendamos no ver la solucin hasta que hayas agotado todos tus recursos, porque hay pocas satisfacciones como resolver un problema t slo. Sin embargo, si ya te diste por vencido, tambin te recomendamos ver la solucin porque puede ayudarte a resolver problemas futuros.

Bibliografa