Tcnicas de conteo

Principio de Induccin
La induccin matemtica es un mtodo de demostracin que se utiliza cuando se
trata de establecer la veracidad de una lista infinita de proposiciones. El mtodo es
bastante natural para usarse en una variedad de situaciones en la ciencia de la
computacin. Algunas aplicaciones son muy matemtico, tal como verificar que
todo entero positivo satisface cierta frmula. Otra utilizacin frecuente es la de
demostrar que un programa de computacin o que un algoritmo con ciclos
funciona como se espera.
Primer principio de induccin matemtica
Consideremos una lista de proposiciones p(1), p(2), p(3), ... con ndices en los
enteros positivos +. Todas las proposiciones p(n) son verdaderas a condicin
que:
(B) p(1) sea verdadera.
(I) p(n + 1) es verdadera siempre que p(n) lo sea.
Nos referimos a (B), es decir al hecho de p(1) es verdadera, como la base de la
induccin y nos referimos a (I) como el paso inductivo. En la notacin del clculo
proposicional (I) equivale decir que:
La implicacin p(n)

p(n + 1) es verdadera n

Ejemplo:
Demostrar

(3k - 2) = 1/2(3n - n) n

Demostracin: La n-sima proposicin p(n) es verdadera, esto es

(3k - 2) = 1/2(3n - n)
Ntese que:
p(1) = 1 = 1/2[3(1) - 1)] de aqu que 1 = 1
p(2) = 1 + 4 = 1/2[3(2) - 2)] de aqu que 5 = 5
p(3) = 1 + 4 + 7 = 1/2[3(3) - 3)] de aqu que 12 = 12
.
.
.

En particular, p(1) es verdadera por inspeccin y esto establece la base de la

induccin. Ahora supngase que p(n) es verdadera para algn n, esto es:
(3k - 2) = 1/2(3n - n)
Necesitamos demostrar que p(n + 1)
(3k - 2) = 1/2[3(n + 1) - (n + 1)]
Tal como lo establece el paso inductivo.
Utilizando p(n) tenemos que
(3k - 2) =

(3k - 2) + [3(k + 1) - 2]= 1/2(3k - k) + (3k + 1)

Para verificar p(n + 1) necesitamos comprobar que:

1/2(3k - k) + (3k + 1) = 1/2[3(k + 1) - (k + 1)]
Esto ya es un problema puramente algebraico, para lo cual se trabajara con el
lado izquierdo de la igualdad, esto es:
1/2(3k - k) + (3k +1) = 1/2(3k - k + 6k + 2)
= 1/2(3k + 5k + 2)
= 1/2(3k + 2)(n + 1)
= 1/2[3(k + 1) -1](k + 1)
= 1/2[3(k + 1) - (k + 1)]
Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el primer principio de
induccin matemtica se concluye que p(n) es verdadera n +.
No siempre es necesario el uso del smbolo de sumatoria para aplicar la induccin
matemtica, puede tambin utilizarse parte del desarrollo de la misma, como lo
muestra el siguiente:

Ejemplo:
Demostrar por induccin que:
2 + 4 +...+ 2(n) = n(n + 1)
Demostracin: Nuestra n-sima proposicin p(n) es:
2 + 4 +...+ 2(n) = n(n + 1)

Y ntese que:
p(1) = 2 = 1(2), donde 2 = 2
p(2) = 2 + 4 = 2(3), donde 6 = 6
p(3) = 2 + 4 + 6 = 3(4), donde 12 = 12
p(4) = 2 + 4 + 6+ 8 = 4(5), donde 20 = 20
.
.
.
As p(1) asegura 2= 1( 1 + 1) y como es verdadera por inspeccin tal como lo
establece la base de la induccin matemtica.
Para el paso inductivo, supongamos que p(n) es verdadera para alguna n, esto es
2 + 4 +...+ 2(n) = n(n + 1)
Es verdadera. Ahora queremos probar que para p(n + 1)
2 + 4 +...+ 2(n) + (2(n + 1) = (n + 1) ((n + 1) + 1)
Es decir
2 + 4 +...+ 2(n) + (2n + 2) = (n + 1) (n + 2)
Tal como lo establece el paso inductivo.
Como p(n) es verdadera por hiptesis, y trabajando con el lado izquierdo de la
igualdad, tenemos que:
2 + 4 + ... + 2(n) + (2n +
= [2 + 4 + ... + 2n] + (2n +2)
2)
= n(n + 1) + (2n + 2)
= n(n + 1) + 2(n + 1)
= (n + 1)(n + 2)
Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el primer principio de
induccin matemtica se concluye que p(n) es verdadera n +.

Induccin
En matemticas, la induccin es un razonamiento que permite demostrar
proposiciones que dependen de una variable que toma una infinidad de valores
enteros. En trminos simples, la induccin matemtica consiste en el siguiente
razonamiento:
El nmero entero tiene la propiedad . El hecho de que cualquier nmero
entero tambin tenga la propiedad implica que
tambin la tiene.
Entonces todos los nmeros enteros a partir de tienen la propiedad .
La demostracin est basada en el axioma denominado principio de la induccin
matemtica.
Demostraciones por induccin
Llamemos

a la proposicin, donde

es el rango.

Base- Se demuestra que

es cierta, esto es el primer valor que cumple la
proposicin (iniciacin de la induccin).

Paso inductivo- Se demuestra que si

es cierta, esto es, como
hiptesis inductiva, entonces
lo es tambin, y esto sin condicin
sobre el entero natural (relacin de induccin indicado como
).

Luego, demostrado esto, concluimos por induccin, que

natural .

es cierto para todo

La induccin puede empezar por otro trmino que no sea , digamos por
Entonces
ser vlido a partir del nmero , es decir, para todo natural

.
.

Ejemplo
Se probar que la siguiente declaracin P (n), que se supone vlida para todos los
nmeros naturales n.

P (n) da una frmula para la suma de los nmeros naturales menores o igual a n.
La prueba de que P (n) es verdadera para todos los nmeros naturales procede
como sigue.

Base:
Se
muestra
Con P(1) se tiene:

que

es

vlida

para

1.

En el lado izquierdo de la ecuacin, el nico trmino es 1, entonces su valor es 1.

Mientras
que
el
trmino
derecho,
1(1
+
1)/2
=
1.
Ambos lados son iguales, n = 1. Entonces P(1) es verdadera.
Paso inductivo: Mostrar que si P(k) es verdadera, entonces P(k + 1) es
verdadera. Como sigue:
Se asume que P(k) es verdadera (para un valor no especfico de k). Se debe
entonces mostrar que P(k + 1) es verdadera:

Usando la hiptesis de induccin P(k) es verdadera, el trmino izquierdo se puede

reescribir:

Desarrollando:

Mostrando de hecho que P(k + 1) es verdadera.

Puesto que se han realizado los dos pasos de la induccin matemtica tanto la
base como el paso inductivo, la declaracin P (n) se cumple para todo nmero
natural .

Ejemplo 2
Se tratar de demostrar por induccin la siguiente proposicin:

1. Se comprueba para n=1

Se tiene por tanto que la proposicin es verdadera para n=1

2. Hiptesis inductiva (n=h)

3. Tesis inductiva (n=h+1)

4. Demostracin de la tesis con base a la hiptesis

Se aplica la hiptesis de induccin:

(Sacando factor comn)

Por lo tanto, verificndose la proposicin para

y para
siendo cualquier nmero natural, la proposicin se verifica

Colocar objetos en casillas.

Principio del palomar
Este principio fue formulado por primera vez de manera formal por Peter Gustav
Lejeune Dirichlet (1805-1859), y en consecuencia se conoce a veces como el
principio de distribucin de Dirichlet o el
principio de la caja de Dirichlet.
Su trabajo enfatizaba la relacin entre dos
conjuntos de nmeros y no peda la existencia
de una frmula o expresin que relacionara los dos conjuntos.
Si m palomas ocupan n nidos y m > n, entonces al menos un nido tiene dos o ms
palomas en l.
El principio del palomar dice lo siguiente: si hay ms palomas que palomares,
alguno de los palomares deber contener por lo menos dos palomas. En general,
podemos hablar de objetos y cajas donde guardar estos objetos. La verdad es que
es un principio tan simple que no necesita demostracin.

Ejemplo
1. Una oficina emplea a 13 oficinistas, por lo que al menos dos de ellos deben
cumplir aos durante el mismo mes.
Los 13 oficinistas son las palomas y los 12 meses del ao son los nidos. A
cada paloma le corresponde un nido (el mes en que cumple aos). Como
hay ms palomas que nidos, hay al menos un nido (mes) con dos o ms
palomas (oficinistas que cumplen en ese mes).

2. Cuntas veces debemos tirar un slo dado para obtener el mismo

resultado?
a. Al menos dos veces.
Los "nidos" son los 6 resultados posibles (1, 2, 3, 4, 5, 6). Las
"palomas" son las tiradas, cada una de ellas "cae" en un nido.
La cantidad de palomas necesaria para que en alguno de los 6 nidos
haya
dos
o
ms,
es
7.
Alcanza con que el dado se tire 7 veces.
b. Al menos tres veces.
Queremos que haya un nido con 3 o ms palomas. Si hay 12
palomas (o menos) esto no est garantizado, pues podran ubicarse
dos en cada nido. Pero si hay 13 palomas est claro que tiene que
haber 3 o ms en algn nido.
||| || || || || ||
--- -- -- -- -- -1 2 3 4 5 6
Se necesitan 13 tiradas.
c. Al menos n veces, para n >= 4?
Queremos que haya un nido con (al menos) n paloma. Podemos
pensar qu cantidad mxima de palomas puede haber, sin la
necesidad de que haya un nido con n palomas. Esto ocurre cuando
hay n-1 palomas en cada nido, es decir 6(n-1) palomas. En este
punto, si se agrega otra paloma, habr n palomas en un nido.
1
n-1 n-1 n-1 n-1 n-1 n-1
--- --- --- --- --- --1 2 3 4 5 6
Se necesitan 6(n-1) + 1 tiradas.

Particiones ordenadas
Se le llama particin ordenada al hecho de repartir n objetos en clulas de una
cantidad de x1 objetos, x2 objetos,......y xk objetos.
Ejemplo.
Cuntas maneras han de repartir 10 libros diferentes entre tres alumnos, si al
primero le daremos 2, al segundo 3 y el resto al tercer alumno?
Ejemplos de esta particin seran las siguientes si se numeran los libros del 1 al
10.

Diferente a

Solucin:
Lo primero que debemos hacer es seleccionar 2 libros de los 10 que se tienen
para el primer alumno, esto es:
10C2 = 10! / (10 - 2)!2! = 10! / 8!2! = 45 maneras de seleccionar los libros

Luego se seleccionan 3 libros de los 8 que quedan para el segundo alumno:

8C3 = 8! / (8 - 3)!3! = 8! / 5!3! = 56 maneras
Y por ltimo se proceder a seleccionar cinco libros de los cinco que quedan para
el tercer alumno, lo que se muestra a continuacin:
5C5 = 5! / (5 -5)!5! = 5! / 0!5! = 1 manera
Por tanto el nmero total de particiones ordenadas en clulas de 2, 3 y 5
elementos se determina:
10C2*8C3*5C5 = (10! / (10 - 2)!2!)*(8! / (8 - 3)!3!)*(5! / (5 - 5)!5!) = 10! /2!3!5!
La expresin anterior nos recuerda a la frmula utilizada para encontrar las
permutaciones de n objetos, entre los cuales hay algunos objetos que son iguales,
por lo que usaremos la misma frmula para encontrar las particiones ordenadas.
Por tanto la frmula para las particiones ordenadas sera:

Esta frmula slo puede ser utilizada cuando se reparten todos los objetos, no
parte de ellos, en ese caso se usarn combinaciones.
Donde:
nPx1,x2,.....,xk = Total de particiones ordenadas o reparticiones que es posible
hacer cuando los n objetos son repartidos en grupos de x1 objetos, x2 objetos ......
y xk objetos.
n = x1 + x2 + ......+ xk
Ejemplo:
1. Cuntas maneras hay de repartir 9 juguetes entre tres nios, si se desea
que al primer nio le toquen 4 juguetes, al segundo 2 y al tercero 3
juguetes?
Solucin:

Por combinaciones
9C4*5C2*3C3 = 126*10*1= 1260 maneras de repartir los juguetes
Por frmula,
n=9
x1 = 4
x2 = 2
x3 =3
9P4,2,3 = 9! / 4!2!3! = 1,260 maneras de repartir los juguetes
2. Cuntas maneras hay de repartir los mismos 9 juguetes entre tres nios,
si se desea darle 3 al primer nio, 2 al segundo nio y 2 al tercer nio?
Solucin:
En este caso nicamente se puede dar solucin por combinaciones, ya que
no es posible usar la frmula debido a que se reparten solo parte de los
juguetes.
9C3*6C2*4C2 = 84*15*6 = 7,560 maneras de repartir los juguetes (solo se
reparten 7 y quedan dos juguetes)