Está en la página 1de 18

TEORIA DE NUMEROS NATURALES

Los nmeros naturales son aquellos que sirven para contar, comienzan con el 1. Se simboliza con N es un conjunto
ordenado, lo que quiere decir que hay nmeros mayores y menores que otros., por ejemplo sabemos que un nmero es
menor que otro si se encuentra ubicado a la izquierda de l en la recta numrica, y es mayor si est a la derecha de l.
Como para ser un poco formales aunque sea esto muy bsico podemos decir todo nmero natural, a excepcin del 1, lo
antecede siempre un nmero natural ms pequeo, al que denominamos ANTECEDENTE, y dado un nmero natural le
sigue siempre otro nmero natural ms grande, al cual denominamos SUCESOR. Como consecuencia de esto, el
conjunto de los nmeros naturales es infinito.
Los nmeros naturales pertenecen a un conjunto mayor de nmeros que son los nmeros enteros, estos ltimos
abarcan al cero y a los nmeros negativos.
Al realizar las operaciones de adicin y multiplicacin con nmeros naturales, se obtiene un resultado que tambin es un
nmero natural por lo que decimos que dichas operaciones son internas al conjunto de los nmeros naturales.
- La adicin dentro de los nmero naturales cumple con las propiedades: conmutativa, asociativa y elemento neutro.
Conmutativa: el orden de los sumandos no altera el producto: a+b=b+a
Asociativa: a,b,c elementos del conjunto de los naturales entonces: (a+b)+c=a+(b+c)=(a+c)+b
Elemento neutro de los naturales en la suma: sea b un elemento perteneciente al conjunto de los naturales, si le
sumamos 0 a b el resultado ser igual a b, por lo que decimos que el 0 es el elemento neutro de la adicin en el conjunto
de los naturales. b+0=b
- Multiplicacin en el conjunto de los nmeros naturales
En el conjunto de los naturales la multiplicacin cumple con las propiedades: conmutativa, asociativa, elemento nuetro y
distributiva del producto respecto a la suma.
Conmutativa: el orden de los factores no altera el producto.
Sean a y b elementos de los nmeros naturales, entonces se cumple que: a. b=b. a
Asociativa: a, b, y c elementos de los naturales, entonces cumple que: (a. b) .c= a. (b. c)= (a. c). b
Elemento neutro de los naturales en la multiplicacin: sea b un elemento perteneciente a los naturales, si multiplicamos
a b por 1 el resultado ser igual a b, por lo que decimos que el 1 es el elemento neutro de la multiplicacin en el
conjunto de los naturales.
b. 1=b
distributiva del producto con respecto a la suma en el conjunto de los naturales:
sean a, b y c elementos del conjunto de los nmeros naturales, entonces se cumple que: a. (b+c)= a. b+ a. c
Que podemos decir del cociente, resta , potencia y raz dentro del conjunto de los naturales:
Como se concluy que la suma y el producto de dos nmeros naturales e otro nmero natural. Ahora bien la diferencia
de dos nmeros naturales no siempre es un nmero natural, slo ocurre cuando el minuendo es mayor que el
sustraendo: 5- 3 e N pero 3- 5 eN
El cociente de dos nmeros naturales no siempre es un nmero natural, slo ocurre cuando la divisin es exacta:
6: 2 e N pero 2: 6 e N
Podemos utilizar potencias, ya que es la forma abreviada de escribir un producto por varios factores iguales.
La raz de un nmero natural no siempre es un nmero natural, slo ocurre cuando la raz es exacta.

Tipos de nmeros
En el conjunto de los nmeros naturales existen una amplia variedad de nmero cuyas caractersticas particulares los
distinguen de otros nmeros dentro de dicho conjunto. Tales caractersticas nos permiten dividirlos en subconjuntos
cuyas denominaciones varan segn las propiedades o caractersticas que posea cada subconjunto. De acuerdo a lo
dicho, en el conjunto de los nmeros naturales podemos encontrar los siguientes tipos de nmeros:
Nmeros primos: son aquellos nmeros cuyo nico divisor propio es el 1, en otras palabras son aquellos nmeros que
slo pueden ser divididos por s mismo y por el 1. El numeral 2 es el nico primo par que existe.
Ejemplo: 2,3,5,7,11,13,17,19,23, (Euclides demostr que existen infinitos nmero primos).
Nmeros perfectos: en matemtica se llama as a aquel natural que es igual a la suma de susu divisores propios, es decir
todos los nmeros naturales que lo dividen diferentes del nmero dado, si tomamos el 28 y buscamos sus divisores
propios, sin incluir el 28, tenemos: 1,2,4,7,14

28= 1+ 2+ 4 +7 +14 por lo tanto, siguiendo la definicin de nmero perfecto, podemos afirmar que el 28 es uno de ellos.
Los primeros cuatro nmeros perfectos son:
6= 2
1
. (2
2
- 1) 28= 2
2
. (2
3
-1) 496=2
6
. (2
5
-1) 8128=2
6
. (2
7
-1)
Incluso existe una frmula que nos genera nmeros perfectos pares:
N
p
= 2
n-1
. (2
n
-1) siempre que (2
n
-1) sea un nmero primo la frmula nos generar un nmero perfecto, a tales
nmeros primos se le conoce con el nombre de primos de Mersenne, en honor al Marin ersenne. Los nmeros
perfectos pares tienen muchas propiedades interesantes entre ella podemos citar:
a) son nmeros triangulares.
b) Son nmeros hexagonales.
c) Son nmeros combinatorios.
d) El dgito correspondiente a las unidades siempre es 6 8.
Hasta julio de 2011 se desconoce si existen nmeros perfectos impares.
Nmeros abundantes: son aquellos naturales para los que se cumple que la suma de sus divisores propios es mayor que
el nmero dado. Ejemplo: los divisores propios de 20 son: 10, 5, 4, 2, 1.
10+ 5+ 4+ 2+ 1= 22; 20< 22, entonces el 20 es un nmero abundante.
Nmero deficientes: son aquellos naturales para los que se cumple que la suma de sus divisores propios es menor que
el nmero dado. Ejemplo: los divisores propios de 16 son: 8, 4, 2, 1.
8+ 4+ 2+ 1= 15; 16> 15, entonces el 16 es un nmero deficiente.
Todos los nmeros que son potencias de 2, es decir los nmeros que pueden ser representados como: 2
n
, son nmeros
deficientes. Si observamos el ejemplo, notaremos que la suma de los divisores propios de 16 es igual a 15, es decir que
slo le falt una unidad para que el resultado fuera un nmero perfecto, todas las potencias de dos cumplen con esta
ltima propiedad.
Nmeros amigos: si tenemos una pareja de nmeros naturales y se cumple que la suma de los divisores propios de cada
uno de ellos da como resultado el otro nmero, entonces tenemos una pareja de nmeros amigos.
Ejemplos: los divisores propios de 220 son: 110, 55, 44, 22, 20, 11, 10, 5, 4, 2, 1.
1+ 2+ 4+ 5+ 10+ 11+ 20+ 22+ 44+ 55+ 110= 284 los divisores propios de 284 son: 142, 71, 4, 2, 1.
1+ 2+ 4+ 71+ 142= 220 por lo que decimos que: 220 y 284 son nmeros amigos.
Nmeros sociables: tienen la misma propiedad que los nmeros amigos, pero a diferencia de estos ltimos los nmeros
sociables forman grupos ms grandes, es decir: la suma de los divisores del primer nmero da el segundo, la suma de los
del segundo da el tercero, y as repetidamente. Ejemplo: 12496, 14288, 15472, 14536, 14264.
Nmeros semiperfectos: todo nmero natural que es igual a las suma de algunos de sus divisores propios recibe el
nombre de nmero semiperfecto. Ejemplo: los divisores de 30 son: 15, 10, 6, 5, 3, 2, 1.
15+ 10+ 5= 30; por lo que concluimos que 30 es un nmero semiperfecto.
Los divisores propios de 18 son: 1, 2, 3, 6, 9. Para este se cumple que 9+ 6+ 3=18; por lo que 18 es un nmero
semiperfecto. De este conjunto en particular, nos dedicaremos a estudiar los nmeros semiperfectos (N
S
) que son
mltiplos de un algn nmero perfecto (N
P
). es decir los nmeros semiperfectos para los que se cumple la siguiente
relacin: N
S
=a* N
P
, tal que a es un nmero natural mayor que 1. A este subconjunto de nmeros pertenecen: 12, 18, 24,
30, 56, 84, 112 a* N
P
.

Conjetura de los nmeros semiperfectos
Dado un nmero semiperfecto que a la vez es mltiplo de un nmero perfecto, esto es: Ns = a * Np
Podemos decir que: Si (a * Np)/2 es par, existen por lo menos a maneras diferentes de representar el producto (a * Np)
con los divisores propios de este producto. Ejemplo: 48 = 8 * 6
Los divisores propios de 48 son: 24, 16, 12, 8, 6, 4, 3, 2, 1. Combinando sus divisores propios para que nos den el nmero
dado, tenemos:
a) 24 + 16 + 8 = 48
b) 24 + 16 + 6 + 2 = 48
c) 24 + 16 + 4 + 3 + 1 = 48
d) 24 + 12 + 4 + 8 = 48
e) 24 + 12 + 4 + 6 + 2 = 48
f) 24 + 8 + 6 + 2 + 4 + 3 + 1 = 48
g) 16 + 8 + 12 + 4 + 6 + 2 = 48
h) 16 + 8 + 12 + 3 + 1 + 6 + 2 = 48
4 * 28 = 112,
112 se puede expresar como: 1) 56 + 28 + 16 + 8 + 4 2) 56 + 28 + 16 + 7 + 1 + 4

3) 56 + 28 + 14 + 2 + 8 + 4 4) 56 + 28 + 14 + 2 + 7 + 1 + 4
Si (a * NP)/2 es impar, el nmero de combinaciones que se pueden obtener con los divisores propios del nmero dado,
que sumados den dicho nmero, es siempre menor o igual al coeficiente a.
Ejemplo: 3 * 6 = 18, Los divisores propios de 18 son: 9, 6, 3, 2, 1
a) 9 + 6 + 3 = 18
b) 9 + 6 + 2 + 1 = 18, Como se puede notar el nmero de combinaciones posible es menor el coeficiente impar 3.
Nmeros Dos Perfectos:
Dentro de los nmeros abundantes y ms especficamente dentro del conjunto de los nmeros semiperfectos, existe
todo un conjunto de nmeros con propiedades singulares, a estos nmeros el autor los ha denominado como
nmeros dos perfectos. Si N
p
es un nmero perfecto, entonces 2N
p
es un nmero do perfecto. Para denominar un
nmero do perfecto usaremos la notacin N
q
, por lo que: N
q
= 2N
p

Ejemplos: N
p
= 6, entonces N
q
= 2(6) = 12Los divisores propios de 12, son: 6, 4, 3, 2, 1. Si sumamos tales nmeros
obtenemos:
6 + 4 + 3 + 2 + 1 = 16, entonces 16 > 12, por lo que el 12 es un nmero abundante. Es aqu donde nos
preguntamos, Qu hace que un nmero sea do perfecto si la suma de sus divisores propios es siempre mayor que
dicho nmero?. Si observamos los divisores propios de 12, notaremos que hay tres nmeros pares y slo dos impares,
esta cantidad es constante para los impares que siempre sern un primo de Mersenne y el uno; si tomamos slo los
divisores pares de 12 y lo sumamos, entonces la suma de todos ellos ser igual a 12.
6+ 4+ 2+ = 12
Otra caracterstica distintiva de los nmeros do perfectos es que slo uno de sus divisores propios lo convierte en
nmeros abundantes, es decir que existen slo dos posibles maneras de expresar el nmeros do perfecto mediante la
suma de sus divisores propios, de aqu el nombre de do perfecto. Al divisor que convierte el nmero do perfecto en
abundante lo denominaremos sobrante (D
s
), para encontrar el nmero sobrante dentro de los divisores propios de un
nmero N
q
, usaremos la siguiente frmula:
D
S
=P
m
+ 1 donde D
S
= divisor sobrante de 12 es 4. P
m
=3. D
S
=P
m
+ 1
Si apartamos este nmero de los divisores propios de 12, la suma de los restantes ser igual a 12, es decir que existen
dos maneras diferentes de expresar los nmeros N
q
por medio de la suma de sus divisores propios, de aqu su otro
nombre, dos perfectos. 12=6+ 3+ 2+ 1
N
P
= 28, entonces N
q
=2(28)= 56. Los divisores propios de 56 son: 28, 14, 8, 7, 4, 2, 1, entonces 28+ 14+ 8+ 7+ 4+ 2+ 1= 64
(56 es un nmero abundante).
Sumando slo los divisores propios pares de 56. 28+ 14+ 8+ 4+ 2= 56, entonces 56 es un nmero do perfecto.
P
m
= 7. D
s
= P
m
+1, entonces D
S
= 7+ 1= 8.
28+ 14+ 7+ 4+ 2+ 1= 56. N
q
=992
992= 496+ 248+ 124+ 62+ 32+ 16+ 8+ 4+ 2

992= 496+ 248+ 124+ 62+ 31+ 16+ 8+ 4+ 2+ 1
En resumen podemos decir que un nmero natural es do perfecto si la suma de todos sus divisores propios pares es
igual al nmero dado y al mismo tiempo posee un nico divisor sobrante D
S
.
Como podemos observar los nmeros primos de Mersenne estn estrechamente ligados con los nmeros dos
perfectos por lo que podemos relacionarlos mediante la siguiente frmula: N
q
= P
m
(P
m
+1), como P
m
= 2
x

1, tal que x es
un nmero primo. Podemos decir que:
N
q
= 2
x
(2
x

1)
Otra propiedad de los nmeros dos perfectos la podemos encontrar en la suma de nmeros pares consecutivos.
Supongamos que se nos pide encontrar la suma de los primos 5 pares consecutivos, la respuesta no se hace esperar y
procedemos a sumar los 5 primos pares, es decir: 2+ 4+ 6+ 8+ 10= 30.
Ahora imaginemos que se nos pide sumar todos los pares del 2 hasta el 100 esta vez dar la respuesta nos tomara mucho
ms tiempo si seguimos el procedimiento anteriormente mostrado, razn por la cual debemos buscar una manera ms
eficiente de efectuar los clculos. Sea m el ltimo de los trminos pares y m/2 igual al nmero, se cumple entonces que:
K=m+ (m/2 + 1)/2
K= (m+ 2)* m/4= (m+ 2)/2* m/2

Donde M= ltimo trmino de la serie. Y K=suma de todos los trminos pares (iniciando desde el 2).
Como m es un nmero par, la formula se reduce a: K= (z+ 1)* z
Esta ltima frmula coincide con la dad para obtener nmeros dos perfectos, cuya relacin es: N
q
= P
m
(P
m
+ 1), por lo
que podemos decir que los nmeros dos perfectos pueden ser expresados como sumas de nmeros pares
consecutivos, cuyo primer trmino es el 2. Dicho en otras palabras, siempre que la cantidad de trminos sea un nmero
primo de Mersenne, la suma, partiendo desde el 2, ser un nmero do perfecto:
Ejemplos: 2+ 4+ 6= 1; suma de 3 trminos pares consecutivos.
2+ 4+ 6+ 8+ 10+ 12+ 14= 56; suma de 7 trminos pares consecutivos.
Para obtener el nmero 992, se necesita la suma de 31 trminos pares consecutivos, partiendo desde el 2.
Otra propiedad que poseen los nmeros dos perfectos es que la suma de todos sus divisores propios siempre nos da
una potencia de 2.
Ejemplo: N
q
= 12, entonces 6+ 4+ 3+ 2+ 1= 16
N
q
= 56, entonces 28+ 14+ 7+ 8+ 4+ 2+ 1= 64 es decir que: N
q
+ D
s
= 2
Y
nota:
Otros autores llaman a los nmeros dos perfectos como nmeros cuasi perfectos, este ltimo nombre no resulta ser el
ms apropiado ya que pueda causar confusin, con otro conjunto de nmeros cuyas propiedades son muy diferentes de
los que aqu se han mostrado.
Nmeros enteros
Son del tipo: = {...5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5 ...}
La suma, diferencia y producto de nmeros enteros es otro entero.
El cociente de dos enteros no siempre es un nmero entero, solo ocurre cuando la divisin es exacta. 6: 2 e , 2: 6 e .
Podemos operar con potencias, pero el exponente tiene que ser un nmero natural.
(-2)
3
= -8 e , (-2)
-3
= 1/ -8 e
La raz de un nmero entero no siempre es un nmero entero slo ocurre cuando la raz es exacta o si se trata de
una raz de ndice par con radicando positivo. \-4 e .

Nmeros racionales
Se llama nmero racional a todo nmero que puede representarse como el cociente de dos enteros, con
denominador distintos de cero.
= {a/b / a ; b ; b 0}
Los nmeros decimales (decimal exacto, peridico puro y peridico mixto) son nmeros racionales; pero los nmeros
decimales ilimitados no. La suma, la diferencia, el producto y el cociente de dos nmeros racionales es otro nmero
racional.
Podemos operar con potencias, pero el exponente tiene que ser un nmero entero.
La raz de un nmero racional no siempre es un nmero racional, slo ocurre cuando la raz es exacta y si el ndice es
par el radicando ha de ser positivo.
\ -4/5 e Q


Nmeros irracionales
Un nmero es irracional si posee infinitas cifras
decimales no peridicas, por tanto no se puede
expresar en forma de fraccin.
El numero irracional ms conocido es H, que se
define como la relacin entre la longitud de la
circunferencia y su dimetro. =
3.141592653589
Otros nmeros irracionales son: e=
2.718281828459

Nmeros reales: conjunto formado por los
nmeros racionales e irracionales es el conjunto
de los nmeros reales, se designa por . Con los
nmeros reales podemos realizar todas las
operaciones, excepto la radicacin de ndice par
y radicando negativo y la divisin por cero.
Valor absoluto de un nmero real
Valor absoluto de un nmero real a, se escribe |a|, es el mismo nmero a cuando es positivo o cero, y opuesto de a, si a
es negativo.
|a| = - a, si a < 0
a, si a > 0
|5|= 5 |-5|= 5 |0|= 0
|x|=2 x= -2 x=2

|x|<2 -2 < x > 2 x= (-2;2)
|X|>2 X < -2 X > 2 (-, -2) (2, +)
|x -2|< 5 -5< x-2 < 5
-5 + 2 < x < 5+2 -3 < x < 7
Propiedades de valor absoluto
1. Los nmeros tienen igual valor absoluto. |a|= |-a|, |5|= |-5|= 5
2. El valor absoluto de un producto es igual al producto de los valores absolutos de los factores. |a. b|= |a|. |b|
|5. (-2)| = |5|. |(-2)|, |-10|= |5|.|2| 10=10
3. El valor absoluto de una suma es menor o igual que la suma de los valores absolutos de los sumandos.
|a +b|s |a| + |b| |5+(-2)| s |5| + |(-2)| |3|= |5|+ |2| 3 s7

Distancia: la distancia entre dos nmeros reales a y b, que se escribe d(a, b), se define como el valor absoluto de la
diferencia de ambos nmeros. d (a, b)= |b-a| la distancia entre -5 y 4 es: d(-5,4)= |4 (-5)| = |4+5|= |9|
Entorno: se llama entorno de centro a y radio r y se denota por E
r
(a) o E(a, b), al intervalo abierto (a-r, a+r),
E
r
(a) = (a-r, a+ r).
Los entornos se expresan con ayuda del valor absoluto.
E
r
(0)= (-r, r) se expresa tambin |x|<0, o bien, -r<x<r.
E
r
(a)= (a-r, a+ r) se expresa tambin |x-a|<0, o bien, a a-r<x<a+ r


Entornos laterales: por la izquierda E
r
(a
-
)= (a-r, a)

Por la derecha E
r
(a
+
)= (a, a+ r)

Entorno reducido: se emplea cuando se quiere saber qu pasa en las proximidades del punto, sin que interese lo que
ocurre en dicho punto. E
r
*
(a)= {x e (a-r, a+ r), x= a}





INDUCCIN COMPLETA


PRINCIPIO DE INDUCCIN MATEMTICA

PRINCIPIO DE INDUCCIN MATEMTICA
El principio de induccin Matemtica consiste en realizar un proceso de deduccin lgica demostrando que una
proposicin p(n) es verdadera para todos los valores de la variable n si se cumplen las siguientes condiciones:
Paso 1.- La proposicin p(n) es verdadera para n = 1, o bien, p(1) es verdadera.
Paso 2.- Hiptesis de Induccin. Se supone que p(k) es verdadera , donde k es un numero natural cualesquiera.
Paso 3.- Tesis de Induccin. Se demuestra que p(k + 1) es verdadera, o bien, p(k) verdadera entonces p(k + 1) verdadera:
EJEMPLO 1:
Demostrar mediante el principio de induccin matemtica:
1+2+3++n = n(n+1)/2


Demostracin:

Paso 1: verificamos P (1)
1= 1 (1+1)/2; 1=2/2; 1=1, se verifico P (1)
Paso 2: supongamos cierta P (k)
1+ 2+ 3+.+K= k(k+1)/2
Paso 3: demostremos P (k+1)
1+ 2+ 3+k+ (k+1)= k (k+1)/2+ (k+1) propiedad de las igualdades
1+ 2+ 3+k+ (k+1)= *k (k+1)+ 2 (k+1)+/2 suma de fracciones
1+ 2+ 3+k+ (k+1)= *(k+1)+ (k+2)+/2 Factor comn
1+ 2+ 3+ (k+1)= *(k+1)+ (k+1+1)+/2 descomposicin aditiva
1+ 2+ 3+n = *n (n+1)+/2 Sustitucin n= k+1

INDUCCION MATEMATICA
G. Peano propuso cinco propiedades fundamentales que caracterizan a los nmeros naturales, Axiomas de Peano. Una
de ellas conocida como el Principi de Induccin Matemtica es actualmente una herramienta de uso prctico y terico
principalmente para matemticos y personas que trabajan en Ciencias Computacionales.
El principio lo enunciaremos para los enteros positivos N+, pero bien se puede ampliar a los nmeros naturales o a
cualquier subconjunto de los enteros mayores o iguales a un entero fijo.
PRINCIPIO DE INDUCCIN MATEMTICA.
Si S en un conjunto de enteros positivos tal que

(B) 1 e S
(I) k e S (k+1) e S
Entonces S contiene todos los enteros positivos.
En principio de Induccin Matemtica son muy importantes los nombres asociados y en la literatura tcnica, como es
costumbre, no se presenta con detalle los pasos, por lo que resulta indispensable conocer la nomenclatura.
NOMENCLATURA DE INDUCCIN MATEMTICA.
(B) se llama Caso Base o caso inicial
(I) se llama Paso de Induccin
k e S se llama Hiptesis de Induccin
Y como ya se mencion todo junto se llama Principio de Induccin Matemtica.
Esencialmente lo que enuncia el principio de induccin matemtica es, si logramos establecer que el primer entero
positivo cumple, una propiedad, y si partiendo de que un entero arbitrario tambin la cumple, se puede comprobar que
el entero siguiente tambin tiene la propiedad entonces concluimos que todos los enteros positivos tienen la propiedad
indicada





EL PRINCIPIO DE INDUCCIN MATEMTICA ES:
Si F(n) es una proposicin abierta que involucra enteros y se tiene (B) F(1) es verdadera; o sea, se que cumple para n=1
(I) F(K) F(k+1); Si se cumple para n = k entonces tambin se cumple para n=k+1.
Concluimos que la proposicin es verdadera para todos los enteros positivos.
El Principio de Induccin Matemtica se utiliza para demostrar propiedades, formulas, validarlas y probar que son
verdaderas, usualmente en el conjunto de los nmeros enteros positivos. Muchas propiedades que incluyen la definicin
de de factorial se pueden probar por Induccin Matemtica, como el Teorema del Binomio de Newton, el Tringulo de
Pascal y algunas propiedades de combinatoria que involucran combinaciones y permutaciones. Otra forma de utilizarla
es para proporcionar definiciones y formalizar conceptos.

1. Demostrar por Induccin Matemtica que:
F(n): {$ 1 + 2 + 3 + ... + n = frac{n(n+1)}2$}

Consideremos el conjunto S de los enteros para los cuales la propiedad es cierta.
*[B] Si n=1; tenemos:
{$1 = frac {1(1+1)}2$}
{$1 = frac {2}2$}
{$1 = \frac{2}2$}
{$ 1 = 1$}
Entonces 1 est en S o sea que se cumple el caso base.

[M] Debemos de llegar a que para n=k+1, tambin se cumple: {$1+ 2+ 3++ k+1 = frac (k+1)(k+2)2$}

*[I] Induccin
** [H] Suponemos que cumple para n=k;
{$ 1+ 2+ 3 + + k = frac {k(k+1)}2$}
** [H M] Sumamos (k+1) de los dos lados de la igualdad
{$ 1 + 2 + 3 +. . . + k + (k+1) = frac {k(k+1)}2 + (k+1) $}
{$ = frac {k (k+1) + 2(k+1)} 2 $}
{$ = frac {k^2+k+2k+2}2$}
{$ = frac {k^2+3k+2}2$}
{$ = frac(k+1)(k+2) 2 $}
Por lo tanto, podemos concluir que la formula (1) es vlida para todos los enteros positivos.
Para realizar el Paso de Induccin se debe de partir del caso n=k y llegar mediante pasos vlidos al caso n=k+1.
En el ejemplo anterior para llegar a n=k+1 partiendo de n=k al lado izquierdo slo le faltaba k+1 por lo que la estrategia
fue sumar k+1 en ambos lados de la igualdad.
Esta estrategia la podemos utilizar para el siguiente algoritmo.
ALGORITMO. Para demostrar una igualdad F(n) algebraica vlida que involucra enteros donde la parte izquierda es una
suma cuyo trmino n-simo es una frmula de n.
[Frmula] Escribir la frmula en funcin de n, sea F(n).
[Caso Base] Probar la frmula para n=1, F(1).
[Meta] Escribir la frmula para n=k+1, F(k+1).
[Paso de Induccin]
[Hiptesis de Induccin] Escribir la frmula para n=k.

[Llegar a la Meta] Sumar a ambos lados el ltimo trmino de la parte izquierda dela [Meta], o sea la igualdad para
n=k+1.
Aplicar propiedades algebraicas al lado derecho hasta llegar al lado derecho de la[Meta], o sea la igualdad para n=k+1.
Nota: Cabe aclarar que la nica dificultad se puede presentar en el manejo algebraico de las expresiones en la segunda
parte del Paso de Induccin y que depende muchas veces de la complejidad de la expresin y de la habilidad algebraica
de quien realiza la prueba.
Nota: La meta la marcamos con rojo para indicar que no es un paso vlido en la demostracin, sino ms bien una gua
de a dnde queremos llegar y para tener una mejor idea de lo que estamos demostrando. En los ejemplos que se vean
se debe considerar expresiones que se puedan resolver con la preparacin de los estudiantes a los que va dirigido.
2. Demostrar por Induccin Matemtica que:


{$ sum_{i=1}^{n-1}(6n-2) = 4+ 10+ 16+ + (6n-2) = n(3n+1)$}
Es la letra griega sigma mayscula y en matemticas significa suma
*[B] Si n=1; tenemos: $(6(1) 2) = 1(3(1)+ 1)$}
{$ 4 = 4$}
Entonces 1 est en S o sea que se cumple el caso base.
{$4+ 10+ 16 ++ (6(k+1) 2)= (k+1)(3(k+1)+1)\\ 4 + 10+ 16++ (6(k+1)2) =3k^2+7k+4$} ||
*[I] Induccin
** [H] Suponemos que cumple para n=k;
{$4 + 10 + 16 + + (6k-2) = k(3k+1)$}
**[HM] Sumando (6(k+1)2) a ambos lados,
{$4 + 10 + 16 + + (6k-2) + (6(k+1)2) = k(3k+1) + (6(k+1)2)$}

{$= 3k^2+k+6k+6 2$}
{$= 3k^2+7k+4$}
Por lo tanto, podemos concluir que la formulan (2) es vlida para cualquiera que sea el valor de n.
El Principio de Induccin Matemtica es mucho ms que el algoritmo aqu presentado, ya que hay muchos casos en los
que no aparecen igualdades algebraicas y como se mencion en el principio inicialmente (B), (I) son tan generales que
puede aplicarse a cualquier cosa que cumpla las condiciones. Sin embargo el poder aprender y resolver problemas con
este algoritmo le da al alumno la madurez necesaria para entenderlo en general y le sirve tambin para formalizar y
entender posteriormente la recursividad, concepto tan importante en Ciencias Computacionales.

DEMOSTRACIN MATEMTICA
Una demostracin matemtica es un razonamiento realizado con una lgica vlida que progresa a partir de ideas que
se dan por ciertas (llamadas hiptesis) hasta la afirmacin que se est planteando, o sea, hasta obtener la veracidad de
la tesis formulada. Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin: fundadas ya sea en
axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin. El hecho
de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de
este resultado implica que es falso. Aunque en general no existe un procedimiento nico de demostracin de tesis, s
existen diferentes tipos de demostraciones que son utilizados comnmente en matemticas:
Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles)
Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles) y, como caso particular, descenso
infinito.
Induccin matemtica o Induccin fuerte.
Por otra parte, a pesar del alto grado de intervencin humana necesario para hacer una demostracin, tambin existen
tcnicas computacionales que permiten hacer demostraciones automticas, notablemente en el campo de la geometra
euclidiana.

EJEMPLO DE UNA DEMOSTRACION POR CONTRADICCIN:
(Llamada tambin demostracin al absurdo)
Demostracin de la afirmacin 1>0
Antes de demostrar esto debemos tener claro que existen ciertos axiomas que nos permitirn, en este caso, demostrar
nuestra afirmacin. Dado que nos basaremos en axiomas, tenemos que nuestra demostracin (siendo cada paso lgico
correcto) es verdadera.
Usaremos los siguientes axiomas de los nmeros reales:
A
x
1. 1=0
A
x
2. Si a >b y c<0, con a,b, c reales. Entonces ac<bc

Asumidos ciertos estos axiomas podemos comenzar con nuestra demostracin. Supongamos por un momento,
contrariamente a lo esperado que, 1<0 y veamos que llegamos a una contradiccin. Puesto que
1<0, aplicando el axioma A
x
2 al multiplicar por 1 (que es menor que cero), tenemos que 1>0, lo cual es una
contradiccin.
Como nuestra hiptesis era que 1<0, y que sta es falsa, lo nico que ahora podemos decir es que 0s1. Pero el axioma
A
x
1 dice que la nica posibilidad donde no existe contradiccin es que efectivamente 1=0. Luego 1>0.
Razonamiento: es claro que lo que debemos tener es una contradiccin. Para ello, primero debemos plantear una
hiptesis, y comprobar si es cierta o no. De no serla nos conducir a una contradiccin. Debe tenerse claro que nuestra
hiptesis comienza cuando decimos que 1 es menor que cero y no en los axiomas mencionados anteriormente (porque
stos estn ya demostrados o bien, asumiendo ciertos y no requieren, por lo tanto, mayor anlisis). Como sabemos que
la afirmacin 1 es menor que cero es falsa, debiramos llegar a una contradiccin. Pero no basta slo con saberlo,
ya que debe ser demostrado.
Nuestra hiptesis fue que uno era menor que cero y, luego de ciertos pasos lgicos correctos usando los axiomas,
concluimos que uno era mayor que cero, lo cual claramente no puede ser cierto, ya que por la ley de tricotoma, dos
nmeros reales deben cumplir una y slo una de las siguientes relaciones:
X >y; x<y o bien x=y
Pero nunca dos ni tres juntas. Luego, como nuestra hiptesis nos conduce a una contradiccin, es falsa, y debemos
considerar todas las posibilidades, menos esa. Esto es: como uno no es menor que cero, debe, necesariamente, ser
mayor o igual que ste (cero). Pero el axioma primero dice que uno es distinto de cero, por lo que slo queda la opcin
de que 1 sea mayor que cero.
RAZONAMIENTO INCORRECTO
Un error comn entre quienes comienzan el estudi de estas materias, es el de pensar que han llegado a una
contradiccin sin haberlo hecho. Por ejemplo: suponen que:
1<0, luego sumando (-1) a ambos lados.
0<-1 lo cual es una contradiccin ya que 0>-1
Este razonamiento tiene un error, ya que no llegamos a una contradiccin. Nuestra hiptesis era que 1 era menor que
cero y por lo tanto, con los procedimientos realizados 1<0<-1, que es verdadero. En este caso la afirmacin 0>-1 es
falsa.
Ntese que para llegar a una contradiccin debemos tener lo siguiente:
- Una afirmacin P (en nuestra hiptesis) que diga que sta es cierta.
- Una conclusin que diga que P es falsa.
Claramente ninguna afirmacin puede cumplir con esto. En lgica esto la afirmacin sera:
P es cierta y ~P es cierta, que se lee P es cierta y no P es cierta:

EJEMPLO DE UNA DEMOSTRACIN POR INDUCCIN:
DEMOSTRAR QUE:


Demostracin
- Debemos comprobar si a la afirmacin es cierta para n=1, ya que la sumatoria parte desde k=1.
Sea n=1, entonces


y la afirmacin es cierta para n=1.
- Supongamos ahora, que la afirmacin es cierta para un n>1 fijo, y veamos que sucede para n+1.
Por propiedad de las sumatorias tenemos que:

Como la afirmacin es cierta para n, tenemos que







Ordenando



Como n es distinto de (-1), podemos simplificar y

Que es, lo que queramos demostrar. As la afirmacin tambin es verdadera para n+1. Luego, la afirmacin es cierta
para todo neN.
RAZONAMIENTO
El principio de induccin dice que dad una afirmacin P(n), sta es cierta slo si se cumple que:
- P(1) es cierta.
- Si P(n) es cierto, entonces P(n+1) tambin lo es.
Entonces, como nuestro P(n) es lo que queremos demostrar, debemos ver si es cierta para su primer trmino. En este
caso para n=1.
Ntese que no necesariamente nos debe quedar 1 en la sumatoria. Lo que nos indica el P(1) es que debemos ver si es
cierta para el primer trmino. Como la afirmacin se cumpla para n=1, el paso siguiente era ver si, asumida cierta para
n, se cumpla para n+1. As entonces, usamos lo que queremos ver si es cierto en el nico miembro de la izquierda de
nuestra ecuacin. Luego aplicando propiedades de la sumatoria, podemos descomponer la sumatoria en partes y dejar
lo que sabemos que es cierto, separado de lo que se puede aplicar por definicin. Sabemos que es cierto para n, por lo
tanto el primer miembro del lado derecho lo podemos sustituir, mientras que al segundo miembro slo aplicamos la
definicin de sumatoria.
Luego, sumando las fracciones y agrupando, concluimos que el primer miembro del lado izquierdo de nuestra ecuacin,
se puede expresar como lo que queremos demostrar. Por lo tanto, concluimos que la afirmacin es cierta para n+1.

DEFINICIN FORMAL.
En lgica matemtica y lgica proposicional, una demostracin es una secuencia finita de frmulas lgicas bien
formadas:
F
1
.F
n
Tales que cada F
i
es o bien un axioma o bien un teorema que se deduce de dos frmulas anteriores F
j
y F
k
(tales que j <i y
k<i) mediante una regla de deduccin vlida. Es decir,
F
i
: (F
i
es un axioma) v (- F
j
,F
k
: F
i
se deduce de F
j
, F
k
con j, k<i)
Dada una demostracin como la anterior si el elemento final F
n
no es un axioma entonces es un teorema. Desde el
punto de vista de los lenguajes formales el conjunto de teoremas demostrables coincide con el conjunto de secuencias
de frmulas bien formadas sintcticamente bien formadas.

CUANTIFICADORES
Dos casos centrales en el clculo de predicados se presentan cuando se analiza si el predicado se cumple para la
poblacin completa y cuando se analiza para ver si cumple para un caso en particular al menos.
Estos dos casos se llaman Universal y Particular o Existencial.



CUANTIFICADOR UNIVERSAL
El cuantificador universal para todo asociado a una expresin de clculo de predicados F se representa por la expresin
( x) F y es verdadera cuando todas las instancias de la frmula son verdaderas al sustituir la variable x en la frmula por
cada uno de los valores posibles del dominio.
As por ejemplo si tenemos que la frmula es T(x) donde T representa es alumno del ITT y x representa un alumno de
Tijuana, la frmula ( x) T(x) es falsa pues sabemos que hay alumnos en Tijuana que son del ITT.

CUANTIFICACION EXISTENCIAL
El cuantificador existencial al menos uno o existe uno asociado a una expresin de clculo de predicados F se representa
por la expresin (- x) F y es verdadera cuando por lo menos una instancia de la frmula es verdadera al sustituir por la
variable x uno de los valores posibles del dominio.
As por ejemplo en el mismo caso del anterior la expresin (- x) T(x) es verdadera pues sabemos que s es verdad que al
menos un estudiante es alumno del ITT.
Hay expresiones dentro del espaol que son muy utilizadas como por ejemplo, todos los alumnos son estudiosos, todos
los hombres son mortales o todos los alumnos de computacin estudian lgica. En este caso estamos tomando una
parte del dominio para establecer un caracterstica universal, esto se puede hacer mediante la combinacin de dos
predicados de una variable conectados mediante una condicional y tomando el cuantificador universal.
As por ejemplo: todos los alumnos son estudiosos se puede representar mediante
( x) (A (x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que
podra ser el de las personas o cualquier subconjunto deseado. Por ejemplo podran ser todas las personas que viven en
Tijuana.
Aqu podemos ver claramente que el dominio juega un papel preponderante, ya que en un conjunto todos los alumnos
podran ser estudiosos y si cambiamos el conjunto puede ser que ya no sea verdad.
Todos los hombres son mortales se puede representar por ( x) (H(x) M(x)) donde H es hombre y M el predicado
mortal.
Todos los pericos son verdes es: ( x) (P(x) V(x)) con P, perico y V verde.
A una expresin como las anteriores se le llama Universal Afirmativa y se representa con la letra A.
Los griegos utilizaban enunciados como los anteriores en los Silogismos, que son formas de razonamiento que contienen
dos premisas tipo A, E, I, O y una conclusin tambin de uno de los cuatro tipos, las premisas estn conectadas con un
predicado comn y la conclusin debe estar formado por las no comunes que se le llaman tcnicamente premisa menor
y premisa mayor.
Una expresin tipo E es llamado Universal Negativa y se representa por ( x) (P(x) Q(x)) y en espaol se lee ningn P
cumple Q o sea que los que cumplen el predicado P(x) no cumplen el predicado Q(x).
Ningn alumno lleg tarde se puede representar por ( x) (A(x) T(x)) donde A es alumno y T es lleg tarde.
Las dos expresiones restantes corresponden a casos particulares y para formarlas utilizamos el cuantificador existencial,
y en lugar del operador condicional se usa la conjuncin, as
| es (-x) (P(x) . Q(x)) llamado Particular Afirmativa y
O es (-x) (P(x) . Q(x)) que es la Particular Negativa.
En el primer caso se indica un elemento que cumple las dos condiciones dadas por los predicados y en el segundo
aseguramos que hay un elemento que cumple la primera condicin pero no la segunda.
Una manera muy simple de combinar estas expresiones mediante una propiedad es utilizando la negacin, pues dos de
ellas son las negaciones de la otras dos, de ah sus nombres de afirmativas y negativas.
Primeramente estableceremos dos reglas generales con un predicado simple:
Propiedad:
(x) P(x) es equivalente a (-x) ( P(x))
(-x) P(x) es equivalente a (x) ( P(x))
Ahora s, podemos combinar estos dos resultados con las Universales y Particulares Afirmativas y Negativas y tenemos lo
siguiente.

Teorema: la negacin de la Universal Afirmativa es la Particular Negativa y La negacin de la Particular Afirmativa es la
Universal Negativa.
O sea que la negacin de la forma A es la forma O y la negacin de la forma | es la forma E.
(x) (P(x) Q(x)) es equivalente a (-x) (P(x)
.

Q(x))
(-x) (P(x)
.
Q(x)) es equivalente a (x) (P(x)

Q(x))
De una manera ms simple lo que dice la primera frmula es que la negacin de Todos es Alguno No y que la negacin
del Alguno es Ninguno.


Esto es muy til en matemtica y en computacin, por ejemplo si queremos demostrar que no es cierto que todas las
funciones integrables sean continuas, basta encontrar una que sea integrable y que no sea contina.

ALGO MS DE INDUCCIN
El mtodo deductivo, muy usado en matemtica, obedece a la siguiente idea: A partir de un cierto conjuntos de
axiomas aceptados sin demostracin y de reglas lgicas no contradictorias, se deducen otros enunciados llamados
teoremas combi-nando los axiomas y respetando en cada etapa las reglas lgicas. Otro mtodo para demostrar
resultados generales que dependen en algn sentido de los nmeros naturales es conocido con el nombre de
Induccin Matemtica.
Esta dependencia de los nmeros naturales signica: se sabe que una determinada armacin es verdadera para
algunos casos particulares y surge la pregunta. Dicha armacin sigue siendo verdadera para los
innitos nmeros naturales restante ?.
Existen muchas armaciones que slo son vlidas para un nmero nito de casos y en consecuencia son falsas para un
nmero innitos de situaciones. Sin embargo, podemos encontrar proposiciones (armaciones) que son verdaderas slo
a partir de un cierto nmero natural n
0
, de ser asi, la tcnica que se desarrollaremos se llama Induccin Incompleta.
Para demostrar que una proposicin P(n), n M N, es verdadera es necesario comprobar la validez de ella para
todos los elementos del conjunto M. En el caso en que M =N, diremos que es una Induccin Completa.
Si se requiere demostrar la falsedad de una cierta proposicin
P(n), n M N, es suciente indicar un elemento particular
m M de manera que P(m) sea falsa.( Construccin de un contra ejemplo).
EJEMPLO 1:
n N, n
2
- 3n -1 < 0
Es fcil demostrara que sta desigualdad es verdadera para n=1, 2, 3. Sin embargo, para n=4 no se cumple ya que
4
2
-3 .4 -1= 3> 0. Ntese que ste ejemplo sencillo muestra que una proposicin puede ser verdadera para los primeros
nmeros naturales, sin embargo, es falsa, para nmeros naturales ms grandes.
OTROS EJEMPLOS:
EJEMPLO 2: n N, (2N -1)(2N +1)(2N +3),es divisible por 5. Es fcil demostrara que sta proposicin es verdadera para
n=1, 2, 3. Sin embargo, para n=4 no se cumple dado que (2.4 -1)(2.4 +1)(2.4 +3)=693. No es divisible por 5.

EJEMPLO 3: (ejemplo dado por Euler)
Consideremos el polinomio cuadrtico P(n)= n
2
+n +41 y determinemos su valor para ciertos nmeros neN.
n: 1 2 3 4 5 6 7 8
n
2
+n +41: 43 47 53 61 71 83 97 113
Ntese que todos los nmeros que se obtienen son primos. Se podra esperar que este polinomio cuadrtico contine
generando nmeros primos. Desafortunadamente no es as, para n=40, se tiene 1681=41
2
, que no es un nmero primo,
luego la proposicin que n eN, n
2
+n +41 es un nmero primo resulta falsa.

PRINCIPIO DE INDUCCION MATEMATICA
Una proposicin P(n) es verdadera para todos los valores de la variable n si se cumple las siguientes condiciones:
Paso 1: la proposicin P(n) es verdadera para n=1, o bien, P (1) es verdadera.
Paso 2: hiptesis de induccin. Se supone que P (k) es verdadera, donde k es un nmero natural cualesquiera.
Paso 3: tesis de induccin. Se demuestra que P (k+1) es verdadera, o bien,
P (k) verdadera P(k+1) verdadera.

La tcnica de Induccin Matemtica consiste en los tres pasos anteriores. Si se necesita demostrar la validez de una
proposicin P(n) para todos los valores naturales n, entonces es suciente que se cumplan: Paso 1, Paso 2 y Paso 3.
Comentario: Intuitivamente la idea anterior se conoce con el nombre de Efecto Domin. Si imaginamos una la innita
de chas de domin: dispuestas verti-calmente y sucientemente prximas una cualquiera de la siguiente , entonces si
el volteamiento de la primera cha provoca el volteamiento de la segunda cha, por el Principio de Induccin
Matemtica la la completa es volteada.
Existen dos variantes tiles sobre el Principio de Induccin Matemtica que deben ser considerados . En la primera
variante, la proposicin por demostrar involucra los naturales no menores a un natural jo n
0
, en este caso el Principio
de Induccin quedara como sigue:





Si P(n) es verdadera para n
0
y si P (m+ 1) es verdadera para todo natural mn
0
para la cual P (m) es verdadera, entonces
P (n) es verdadera para todo natural nn
0
.
La segunda variante se aplica de preferencia en el caso cuando P (m+ 1) no puede ser fcilmente deducible de P (m),
pero su validez depende de P (k) para cualquier k < m. Si P (1) es verdadera y si P (m+ 1) es verdadera para todo m1
para la cual todas las proposiciones P (1),P (2),P (3),...,P (m) son verdaderas , entonces P(n)es verdadera para n1. Para
ilustrar el uso de estas variantes, consideremos los siguientes ejemplos:

Ejemplo 4: determine para que valores de n e N es verdadera la desigualdad
2
n
> n
2
+4n +5
Al examinar los valores de n=1, 2, 3, 4, 5, 6 nos damos cuenta que la desigualdad es incorrecta, pero si es verdadera para
n=7, por lo que podemos intentar demostrar por el mtodo de Induccin que para todos los valores de n>7,la
desigualdad es verdadera.
Paso 1: si n=7, obtenemos
2
7
=128 > 7
2
+4.7 +5= 82, o sea, cuando n=7 la desigualdad es correcta.
Paso 2: (hiptesis inductiva). Se supone que la desigualdad es verdadera para cierto valor de n=k, o sea,
2
k
> 7k +4.k +5
Paso 3: finalmente a partir de la hiptesis inductiva, se desea probar la tesis dada por
2
(k+1)
> (k+1)
2
+4(k+1) +5.
Al multiplicar la desigualdad dad en la hiptesis inductiva por 2, obtenemos
2
(k+1)
> 2k
2
+8k +10
Transformando el segundo miembro de esta desigualdad obtenemos
2
(k+1)
> (k+1)
2
+4(k+1) +5 +k
2
+2k
Teniendo en cuenta que k
2
+2k>0 para todo k>7, podemos deducir que 2
(k+1)
> (k+1)
2
+4(k+1) +5, obteniendo lo que se
requiere demostrar (tesis).
Ejemplo 5: demostrar que la suma de los n primeros nmeros naturales es igual a n(n+1)/2.
Demostracin: queremos probar que
n eN: 1 +2 +3 +4 ++n= n(n+1)/2
Sea P(n): 1 +2 +3 +4 ++n= n(n+1)/2, debemos probar que P(n) satisface las propiedades (1), (2), y (3).
(1) P (1): 1=1(1+1)/2,lo cual es verdadero.
(2) Se supone que la igualdad es verdadera para un cierto valor de k, es decir, 1 +2 +3 +4 ++k= k (k+1)/2.
(3) Sea k eN, debemos probar que P (k) P (k+1) es verdadero. Ntese que si P (k) es falsa, la implicacin es
verdadera, de modo que hay que hacer la demostracin suponiendo que P(k) es verdadera.
Como P (k+1): 1+ 2+ 3++k+ (k+1)= (k+1)((k+1)+1)/2, P(k+1) debe formarse de P(k) sumando k+1 a ambos
miembros de la igualdad( de la hiptesis inductiva):
1+ 2+ 3++k+ (k+1)= k (k+1)/2 +(k+1)= (k+1) (k/2+1)=(k+1)(k+2)/2.
Hemos confirmado nuestras sospechas, lo que es, hemos deducido que P (k+1) es verdadera, suponiendo que P(k)
lo es. As, hemos demostrado que neN: 1 +2 +3 +4 ++n=n(n+1)/2 es verdadera.

Ejemplo 6:
Probar que neN: 1.3 +2.4 +3.5+.+n(n+2)=n(n+1)(2n+7)/6
Solucin: sea P(n): 1.3 +2.4+ 3.5++n(n+2)=n(n+1)(2n+7)/6
Entonces P (1): 1.3= 1(1+1)(2.1+7)/6= 2.9/6=3, lo que prueba que P(1) es verdadera.
Hiptesis inductiva:
1.3 +2.4 +3.5+.+k(k+2)=k(k+1)(2k+7)/6
(Suponemos que P(n) es verdadera) tesis
1.3 +2.4 +3.5+.+k(k+2)+(k+1)(k+3)=(k+1)(k+2)(2k+9)/6, (queremos probar que P (k+1) es verdadera).tenemos:

1.3 +2.4
+3.5+.+k(k+2)+(k+1)(k+3)=k(k+1)(2k+7)/6+(k+1)(k+3)=*(k+1)/6+(k(2k+7)+6(k+3))=(k+1)(2k
2
+13k+18)/6=(k+1)(2k+9)(k+2)
/6.
Lo que prueba que P (k+1) es verdadera. Luego la frmula 1.3 +2.4 +3.5+.+n(n+2)=n(n+1)(2n+7)/6 es verdadera neN.






Ejemplo 7: determinar si el producto de 3 nmeros impares consecutivos es siempre divisible por6.
Solucin: sea P(n): (2n-1)(2n+1)(2n+3)=6q donde q es algn nmero natural. Queremos determinar si P(n) se cumple
neN.
P (1): 1. 3. 5= 15= 6q q=5/2eN. Luego P (1) es falso. Se puede continuar analizando P (2), P (3), P (4) y vemos que
todos no cumplen con la condicin que sea divisible por 6. Es fcil ver que (2n-1)(2n+1)(2n+3)=8n
3
+12n
2
-2n-3=2(4n
3
+6n
2
-
n-1)-1 luego este nmero es de la forma 2j-1 que es un nmero impar y por lo tanto no es divisible por 6.

Ejemplo 8: determine si la suma de tres nmeros enteros consecutivos es siempre divisible por 6.
Demostracin: sea P(n): n+ (n+1)+ (n+2)= 6q, q eN. Entonces P (1): 1+ 2+ 3+= 6 es verdadera (q=1).
Hiptesis inductiva: P (k)= k + (k+1) + (k+2)= 6 q
1
, q
1
eN es verdadera.
Por demostrar P (k+1): (k+1) + (k+2) + (k+3)= q
2
, q
2
eN es verdadera.
Como (k+1) + (k+2) +(k+3)= k +(k+1)+(k+2) +3= 6 q
1
+3= 6(q
1
+1/2) eN. Luego P8k) verdadero no implica P (k+1)
verdadero. Por lo tanto, P(n): n+(n+1)+(n+2)= 6 q, qeN, es falso. La suma de 3 enteros consecutivos no es
necesariamente divisible por 6.
Observacin: es fcil ver que n +(n+1) +(n+2)= 3(n+1), de donde para que sea divisible por 6, necesariamente el factor
(n+1) debe ser un nmero impar para cualquier n natural, lo que es falso.

Ejemplo 9: la frmula no es vlida para n=1, 2, 3 para n=4, se tiene que 24= 1. 2. 3. 4> 2
4
=16 es verdadera. Supongamos
que la desigualdad es vlida para k eN, con k>4; esto es 1. 2. 3. 4k>2
k
, k> 4.
Por demostrar que la desigualdad es vlida para k+1, es decir que 1. 2. 3. 4k. (k+1) > 2
k+1
, k> 4.
En efecto:
1.2. 3. 4k. (k+1)= (1. 2. 3. 4k). (k+1)> 2
k
(k+1) >2
k
. 2= 2
+1
.
Luego 1. 2. 3. 4n > 2
n
, y por lo tanto n e N, n > 4 1. 2. 3. 4n>2
n


Ejemplo 10: consideremos el siguiente ejemplo de desigualdad: demostrar por induccin que si n es un nmero impar,
7
n
+1 es divisible por 8. Antes de aplicar induccin convienen hacer un cambio de ndices. Sea n= 2i-1.
Entonces si i=1 , 2 , 3,. Se tiene que n=1 , 3 , 5,. Y nuestro enunciado se transforma en:
7
2i-1
es divisible por 8, ieN.
Para i= 1, 7
1
+1=8 es divisible por 8, lo que es una proposicin verdadera.
Hiptesis inductiva: 7
2i-1
+1 es divisible por 8.
Tesis: 7
2i+1
es divisible por 8.
Dado que nuestra nica informacin es la hiptesis, debemos hace que la expresin 7
2i-1
+1 aparezca en el desarrollo.

7
2i+1
+1= 7
2
(7
2i-1
)+1= 7
2
(7
2i-1
+1)- 7
2
+1=7
2
(7
2i-1
+1) 48
Y aqu ambos sumandos son divisibles por 8, luego 8 divide a

(7
2i+1
)+1. Luego resulta que 7
n
+1 es divisible por 8 para todo
n impar.

Ejercicios resueltos.
1) Pruebe que la frmula: 1. 2+ 2.3+ 3.4+ +n. (n+1)=* n(n+1)(n+2)+/3, es vlido natural n.
Demostracin: sea P(n), 1.2+ 2.3+ 3.4++n. (n+1)= [ n(n+1)(n+2)]/3

Entonces P(1), 1.2= [1.2.3/3]=2 es verdadera.
Hiptesis inductiva: P (k) verdadera, es decir.

1.2+ 2.3+ 3.4+ +k. (k+1)=* k(k+1)(k+2)+/3

Tesis: por demostrar P(k+1), es decir









Sumando (k+1).(k+2) a ambos lados a la igualdad de la hiptesis inductiva se obtiene:


Luego slo resta probar que

Factorizando por (k+1)(k+2), se tiene



Que es justamente la tesis deseada y lo que prueba que P(n) es verdadera para todo natural n.

2) Pruebe que para todo nmero natural n>1, el ltimo digito del nmero 2
2n
+1 es 7.
Demostracin: denotando por P(n) la proposicin a demostrar, podemos observar que para n=2,
Y la proposicin es verdadera. Nuestra hiptesis inductiva es para para n=k, es decir que aceptamos que el ltimo
dgito de


Tesis: por demostrar que el ltimo dgito de notando que
Podemos concluir con la ayuda de la hiptesis inductiva que el ltimo dgito de es 9, el ltimo dgito de
es 4 luego al restarlos y sumarle 2, se demuestra la proposicin.


3) Demostrar que para todo natural n> 2

Demostracin
Sea P(n) la proposicin dada, luego para n=2, se tiene que La proposicin verdadera.
Hiptesis de induccin: n=k



Tesis: n=k+1, por demostrar que



Sumando a la igualdad de la hiptesis inductiva se tiene





Como
se concluye la demostracin.



4) Demuestre que para todo natural n, n
5
- n es divisible por 5.
Demostracin.
Sea P(n) la proposicin dad, luego para n=1 se tiene que 0=5.0 lo cual es verdadero.
Hiptesis de induccin: n=k, k
5
-k es divisible por 5.
Tesis: n= k+1, por demostrar que (k+1)
5
(k+1) es divisible por 5.
Dado que nuestra nica informacin es la hiptesis debemos hacer que la expresin k
5
-k, aparezca en nuestro
desarrollo.
En efecto, (k+1)
5
- (k+1)=K
5
+5k
4
+10k
3
+10k
2
+4k
Y es igual a k
5
-k+5k (k
3
+2k
2
+2k+1) de donde ambos sumandos son divisibles por 5, luego para todo
natural n, n
5
-n es divisible por 5.

5) La sucesin de Lucas (Anatole Lucas), es una sucesin de la forma 2, 1, 3, 4, 7, 11, 18, 29, 47, y es definida por
la regla inductiva:
L
0
=2, L
1
=1, L
2
=L
1
+L
0
, L
3
=L
2
+L
1
,.., L
n+2
=L
n+1
+L
n
,.

Sean a, b, c, r, s, y t nmeros enteros fijos. Sea L
0
, L
1
,. La sucesin de Lucas.
Demostremos que r L
n +a
= s L
n +b
+ t L
n +c
es verdadera para n= 0, 1, 2, 3, asumiendo que es verdadera para n=0 y
n=1. Dado que la tesis es verdadera para n= 0 y n=1, podemos asumir (hiptesis inductiva) que es verdadera para
n=0, 1, 2, 3,, k con k>1 para luego demostrar que es verdadera para n= k+1.
Por hiptesis tenemos

r L
a
= s L
b
+ t L
c

r L
1+a
= s L
1+b
+ t L
1+c

r L
2+a
= s L
2+b
+ t L
2+c

.. ..
r L
k-1+a
= s L
k-1+b
+ t L
k-1+c

r L
k + a
= s L
k +b
+ t L
k + c

Sumando estas las dos ltimas ecuaciones se obtiene

r (L
k + a
+ L
k-1+a
)

= s( L
k +b
+ L
k-1+b
) + t( L
k + c
+ L
k-1+c
)

utilizando la relacin de los nmeros de Lucas L
n + 2
= L
n + 1
+ L
n
, se tiene

r L
k + 1+a
= s L
k + 1 + b
+ t L
k + 1 + c
y esto complete la demostracin.


4 .Ejercicios propuestos
1) Demuestre por induccin las siguientes igualdades:
a) 1
2
+ 2
2
+ 3
2
+..+ n
2
= [n(n+1)(n+2)/6]
b) (n+1)(n+2)(n+3). (n +n)= 2
n
. 1. 3. 5..(2n-1)
c) 1
2
- 2
2
+ 3
2
- 4
2
+..+ (-1)
n-1
n
2
= (-1)
n-1[n(n+1)/]

d) (1- )(1- 1/9)..(1-[1/(n+1)
2
])=[ (n+2)/(2n+2)]
e) (1
5
+ 2
5
+ 3
5
+..+ n
5
) + ( 1
7
+ 2
7
+ 3
7
+..+ n
7
)= 2(1 +2 +3 +.+n)
4

f) 1. 1! + 2. 2!+ 3. 3!+.+n. n!=(n+1)! - 1

2) Para todo natural n, demuestre que a
n
es divisible por b.
i) a
n
= 2
2n
-1, b=3
j) a
n
= n
2
(n
4
-1), b=60
k) a
n
= n
3
+ 5n, b=6


3) considere la sucesin 1, 5, 85, 21845,., definida por
c
1
=1, c
2
= c
1
(3c
1
+2),., c
n+1
= c
n
(3c
n
+2),

Pruebe que para todo entero n positivo,





4) demuestre que la desigualdad de Bernoulli(Jacques Bernoulli)
(1+a)
n
> 1 + n. a, es vlida para a> -1 y para todo entero no negativo.

5) Pruebe la desigualdad


6) Demuestre que para todo natural n se cumple.

b
n
- a
n
= (b-a) (b
n-1
+ b
n-2
a+ b
n-3
a
2
+..+ba
n-1
+a
n-1
)
7) La sucesin {a
n
} se define por la relacin recursiva a
n+1
=3a
n
-2a
n-1
, a
1
=0, a
2
=1. Demuestre que para todo
natural n, a
n
=2
n-1
-1.
8) Pruebe que para natural n, el nmero 4
n
+15n -1 es divisible por 9.
9) Demuestre que para todo n eN



10) Para todo n natural, demuestre la siguiente desigualdad:


11) Demuestre que

12) Pruebe que el nmero de diagonales de un n-polgono convexo es igual a (ver figura).


13) Demuestre que para todo natural n, se cumple que
(1 +2 +3 +4 +5 +.+ n)
2
= 1
3
+ 2
3
+ 3
3
+4
3
++n
3

14) Demuestre que cualquier suma de dinero, mltiplo entero de mil pesos, mayor o igual que 5.000(cinco mil
pesos). Puede ser descompuesta en billetes mltiplo de cinco mil pesos de dos mil pesos.
15) Pruebe que si Sen o = 0
es cierto para todo neN
0
.




Sumas y productos
El simboloE se llama Sigama en el alfabeto griego y en espaol corresponde a la letra S. es natural usar este smbolo
para referirse a la suma o sumatoria. Col el smbolo E i
2
, se desea indicar la suma de los trminos de la forma i
2
para
varios valores enteros de i. el rango para estos valores enteros se indica en la parte inferior y superior
respectivamente de E, Por ejemplo en la forma:



O bien, en la forma




El nmero de trminos que tiene una suma siempre es igual a n
2
-n
1
+1.por otro lado la sumas
no necesariamente deben comenzar desde 1 y cualquier como un contador puede ser usado.
Finalmente cualquier funcin f(i) puede ser utilizada en lugar de i
2
, es decir

Ejemplo:
1)