Problema 1.

Demuestre que para cualquier entero positivo

, el nmero

es mltiplo de

(I Olimpiada Mexicana de Matemticas, 1987). El nmero 3804 se puede expresar como .

La expresin . Como es una multiplicacin de tres nmeros consecutivos es mltiplo de 3. Adems, es una expresin par, por lo que la expresin es mltiplo de 6. La expresin Se observa que . Como es impar. Reemplazndolo por es impar, se cumple que . Se tiene: . ,

Pero . Por lo tanto demostrando lo pedido. . Problema 2. Pruebe que es siempre divisible por para todo

natural.

(Concurso de problemas J.I.R Mc Knight, 1992). Dado que tenemos que , entonces por la propiedad que dice que , demostrando lo pedido. tales que ,

Problema 3. Encuentra todos los nmeros primos positivos sea un primo positivo.

tambin

(XI Olimpiada Nacional de Matemticas de Mxico, noviembre de 1997). Por paridad sabemos que no puede ser 2, entonces debe ser impar. Las terminaciones de cuadrados perfectos impares son 1,5,9. Elevando al cuadrado se observa que las terminaciones se reducen a 1 y 5. Por lo tanto termina en 1 o 5, pero la terminacin 5 de los cuadrados perfectos corresponden a los mltiplos de 5, por lo tanto si es primo, entonces para que termine en 5 debe ser el 5 solamente, de lo contrario se podra dividir por 5 y sera compuesto.

Caso 1: termina en 1: entonces termina en 8, al restarle 3003, entonces termina en 5 y por lo tanto es compuesto. Caso 2: termina en 5: entonces constituye el nico caso.. es 5 y que es primo y

Problema 4. Si es un nmero natural impar mayor que , demuestre que divisible por . (CEOC, 1992).

es

. Problema 5. Determine el mayor natural . para el cual existe un entero tal que divide

** Todos los nmeros de dos dgitos desde resultado es ledo como el nmero

hasta

son escritos en una sola fila. El

. Pruebe que dicho nmero es divisible por Solucin: Como , , y , necesitamos probar que el nmero formado es divisible por . .

Los dos ltimos dgitos son y , as que el nmero es divisible por y . La suma de los dgitos en posicin impar es , y la suma de los dgitos que estn en la posicin par es

. Como el nmero dado es divisible por y como nmero tambin es divisible por . Se concluye, de todo lo anterior, que el nmero dado es divisible por . el

Hoy presentamos tres problemas resueltos. Recomendamos analizar con cuidado los pasos intermedios para acostumbrarse a aplicarlos en problemas similares. . 1. Pruebe que el sistema de ecuaciones solucin. Solucin: De en se obtiene obtenemos . Sustituyendo este resultado . Si entonces lo cual es absurdo. Por lo tanto, el , , no tiene

sistema dado no tiene solucin. . 2. Simplifique al mximo la expresin

Solucin: Factorizando la expresin dada es equivalente a

como

, cancelando se tiene

. 3. Halle el valor de .

Solucin: Ntese que . As,

Sumando, miembro a miembro, las igualdades se tiene que .

En algunas ocasiones, es necesario demostrar que , una proposicin abierta, es vlida para todos los nmeros naturales (o para algn subconjunto infinito de ); para ello, se debe probar que la proposicin dada es verdadera para cada uno de los elementos de (o del subconjunto involucrado). Claro que, por tratarse de conjuntos infinitos de nmeros naturales, esta afirmacin no siempre es fcil de probar. Para resolver este tipo de problemas se utiliza el llamado mtodo de induccin matemtica. Definicin La induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro que toma una infinidad de valores enteros. En trminos simples, la induccin matemtica consiste en el siguiente razonamiento:

Premisa mayor: El nmero entero tiene la propiedad . Premisa menor: El hecho de que cualquier nmero entero tenga la propiedad implica que tambin la tiene. Conclusin: Todos los nmeros enteros mayores que tienen la propiedad .

Podemos resumirlo de la siguiente manera: para demostrar que una proposicin de la forma es verdadera, basta demostrar que:

Si

es verdadera. es verdadera, entonces

es verdadera.

Ejemplo Demostrar que para todo Sea

es un nmero que acaba en .

la proposicin:

acaba en .

Es claro que es cierto, porque . Supongamos que es cierto para un valor de

natural, y probemos

Un entero acaba por si se puede escribir as: La hiptesis es, pues, . Entonces:

, con entero positivo o igual a cero.

con

, entero. acaba por , o sea que . es cierto.

Esta ltima escritura prueba que Luego es cierto para todo

Definicin Dados dos nmeros y , y un entero positivo , definimos (lase: congruente con mdulo ) si divide a la diferencia . Por ejemplo: ya que divide a ; ya que divide a ; adems, ya que no divide a . . Propiedades de las Congruencias

Si

, entonces es mltiplo de

Si , entonces y poseen el mismo residuo al dividir cada uno de ellos por . Si y , entonces . Si , entonces y . Si , entonces si y slo si el mximo comn divisor entre y es . Si , entonces para un entero positivo. Si es un nmero primo y , entonces .