Principio de Inclusión-Exclusión
El objetivo de estas notas es mostrar, mediante algunos ejemplos, un principio que permite
contar la cantidad de objetos que pertenecen a un conjunto S y no satisfacen ninguna de un cierto
número de propiedades P1 , P2 . . . , Pk definidas sobre los objetos de dicho conjunto.
Utilizaremos la siguiente notación recurrentemente.
Definición 1. Dado un conjunto finito S y un subconjunto A ⊆ S denotamos por A al conjunto
formado por los elementos de S que no pertenecen al subconjunto A. Denotaremos por |A| al
número de elementos en A.
El cálculo que haremos en el primer ejemplo es muy simple porque no habrá ningún objeto en
el conjunto que satisfaga más de una propiedad simultáneamente.
Ejemplo 1. Calcular el número de permutaciones de todos los números en el conjunto {1, 2, 3, 4, 5}
que no tienen un 1 ni un 2 en la tercera posición.
Solución: Sea S el conjunto formado por todas las permutaciones de todos los elementos en
{1, 2, 3, 4, 5}. Para cada i ∈ {1, 2}, decimos que una permutación en S satisface la propiedad Pi
si contiene a i en la tercera posición y definimos
Ai = {x ∈ S : x tiene la propiedad Pi } = {x ∈ S : x tiene a i en la tercera posición}.
Con estas definiciones, lo que nos pide el enunciado es calcular |A1 ∩ A2 |.
Dado que A1 ∩ A2 = 0/ (porque ninguna permutación puede tener simultáneamente al 1 y al 2
en la tercera posición), la respuesta se puede calcular de la siguiente forma:
|A1 ∩ A2 | = |S| − |A1 | − |A2 | = 5! − 4! − 4! = 72.
Dado que vamos a definir conjuntos similares al del ejemplo anterior basados en las propieda-
des P1 , P2 , . . . , Pk , introducimos la siguiente notación.
Definición 2. Dado un conjunto S y una familia de propiedades P1 , P2 , . . . , Pk definimos Ai para
cada i ∈ {1, . . . , k} como el conjunto de objetos en S que satisfacen la propiedad Pi .
Veamos qué ocurre si se da la situación en que tenemos una colección de objetos S y dos
propiedades P1 y P2 sobre estos objetos tales que son satisfechas simultáneamente por al menos un
objeto en S.
Ejemplo 2. En una escuela con 100 estudiantes hay 50 de ellos que estudian inglés, 40 que es-
tudian portugués y 10 que estudian ambas lenguas. ¿Cuántos de ellos no estudian ninguna de las
dos lenguas?
1
Solución: Llamemos S al conjunto de los 100 estudiantes de la escuela. Diremos que un estudiante
en S satisface la propiedad P1 (respectivamente, P2 ) si estudia inglés (respectivamente, si estudia
portugués). Debemos calcular la cantidad de elementos de S que no satisfacen P1 ni P2 ; es decir,
|A1 ∩ A2 |. Para ello, no alcanza con restarle a |S| la suma de |A1 | y |A2 |; es decir, |S| − |A1 | − |A2 | =
100 − 50 − 40 = 10 no es la respuesta correcta porque |A1 ∩ A2 | = 10 6= 0. Lo que en realidad está
ocurriendo en este caso es que estamos restando |A1 ∩ A2 | dos veces: una vez al restar |A1 | = 50
y otra vez al restar |A2 | = 40. Esto puede resolverse sumando una vez más |A1 ∩ A2 | = 10. Por lo
tanto la respuesta correcta es:
|A1 ∩ A2 | = |S| − |A1 | − |A2 | + |A1 ∩ A2 |
= 100 − 50 − 40 + 10
= 20.
Ejemplo 3. Calcular el número de permutaciones de la letras de la palabra CENTRIFUGADO
que no comienzan con C ni terminan con O.
Solución: Sea S es el conjunto formado por todas las permutaciones de las letras de la palabra
CENTRIFUGADO. Diremos que un objeto en S satisface la propiedad P1 si empieza con C y que
satisface la propiedad P2 si termina con O. El ejemplo nos pide calcular los elementos de S que no
satisfacen P1 ni P2 ; es decir, |A1 ∩ A2 |.
En este caso, |S| = 12!, |A1 | = |A2 | = 11! ya que simplemente fijada la primera letra en C
(respectivamente, la última letra en O) basta con contar el número de permutaciones de las 11
letras restantes (que son todas distintas) y |A1 ∩ A2 | = 10! ya que fijadas la primera letra en C y la
última letra en O basta con contar el número de permutaciones de las 10 letras restantes (que son
todas distintas). Razonando como en el ejemplo anterior, concluimos que
|A1 ∩ A2 | = |S| − |A1 | − |A2 | + |A1 ∩ A2 |
= 12! − 11! − 11! + 10! = 402796800.
Principio de inclusión-exclusión para dos propiedades
Teorema 1. Sea S un conjunto finito. Dadas P1 y P2 propiedades sobre el conjunto S, el número
de elementos en S que no satisface ninguna de las dos propiedades sigue la fórmula
|A1 ∩ A2 | = |S| − |A1 | − |A2 | + |A1 ∩ A2 |. (1)
Demostración. Para demostrar la validez de la ecuación (1), vamos a probar que cada elemento
en S que no satisface ninguna de las propiedades P1 y P2 contribuye en 1 al lado derecho de la
ecuación mientras que la contribución de todo otro elemento en S es 0.
Para probarlo vamos a considerar cuatro casos distintos. Consideremos primero un elemento
x en S que no satisface ninguna de las dos propiedades. Dicho elemento no se encuentra entre los
elementos de A1 , ni entre los de A2 , ni entre los de A1 ∩ A2 , por lo que su contribución al lado
derecho de la ecuación (1) es
1 − 0 − 0 + 0 = 1.
2
Si en cambio x solo satisface la propiedad P1 , contribuye al lado derecho de la ecuación (1) en
1 − 1 − 0 + 0 = 0,
mientras que si x solo satisface la propiedad P2 , contribuye al lado derecho de la ecuación (1) en
1 − 0 − 1 + 0 = 0.
Finalmente, si x satisface ambas propiedades contribuye en al lado derecho de la ecuación (1) en
1 − 1 − 1 + 1 = 0.
Como esto es precisamente lo que queríamos probar, queda demostrado que la validez de la ecua-
ción (1).
Principio de inclusión-exclusión para tres propiedades
Consideremos el caso en que tengamos tres propiedades P1 , P2 y P3 sobre los elementos de un
conjunto S y queremos contar la cantidad de elementos de S que no satisfacen ninguna de estas tres
propiedades; es decir, queremos contar el número de elementos en el conjunto |A1 ∩ A2 ∩ A3 |.
Razonemos como en la demostración de la validez de la fórmula (1). Solo para fijar ideas
vamos a asumir que S está formado por los números naturales menores o iguales a 70. Diremos
que un número natural en S satisface las propiedades P1 , P2 y P3 si dicho número es divisible por 2,
por 5 y por 7, respectivamente. Por lo tanto, A1 ∩ A2 ∩ A3 es el conjunto formado por los números
naturales menores o iguales a 70 y coprimos con 70.
Consideremos primero la siguiente expresión:
|S| − |A1 | − |A2 | − |A3 |. (2)
Separaremos nuestra deducción estudiando los 4 casos posibles. En un primer caso, si x es un
número natural que no es divisible por ninguno de los enteros 2, 5 y 7, contribuye a la expresión
(2) en exactamente
1 − 0 − 0 − 0 = 1,
en concordancia con lo que queremos, porque nuestro objetivo es contar la cantidad de tales x.
Supongamos ahora que x es divisible por exactamente uno de los enteros 2, 5 y 7. Dicho de otro
modo, x pertenece a Ai para un único i ∈ {1, 2, 3}. En este caso, x contribuye en 0 a la expresión
(2), ya que se dan los siguientes casos:
1 − 1 − 0 − 0 = 0,
1 − 0 − 1 − 0 = 0,
1 − 0 − 0 − 1 = 0.
Los problemas aparecen cuando x pertenece al menos a dos de los conjuntos Ai . Por ejemplo,
si x pertenece a A1 y a A2 pero no pertenece a A3 , x contribuye a la expresión (2) en
1 − 1 − 1 − 0 = −1.
3
Para corregir esto, alcanza con sumar la cantidad de elementos de todos los conjuntos dados
por la intersección de exactamente dos de los conjuntos A1 , A2 y A3 , obteniendo así la expresión
|S| − |A1 | − |A2 | − |A3 | + |A1 ∩ A2 | + |A1 ∩ A3 | + |A2 ∩ A3 |. (3)
Entonces ahora si x es divisible por exactamente dos de los enteros 2, 5 y 7; es decir, x pertenece
a exactamente uno de los conjuntos |A1 ∩ A2 |, |A1 ∩ A3 | y |A2 ∩ A3 |, se sigue que x contribuye en 0
a la expresión (3), dado que
1 − 1 − 1 − 0 + 1 + 0 + 0 = 0,
1 − 1 − 0 − 1 + 1 + 0 + 0 = 0,
1 − 0 − 1 − 1 + 0 + 0 + 1 = 0,
respectivamente.
Sin embargo aún falta agregar un término más a la expresión (3) para obtener una expresión que
nos permita calcular |A1 ∩ A2 ∩ A3 |, ya que no se está contemplando el caso en que x sea divisible
por 70; es decir, por 2, 5 y 7. Cada uno de estos x está contribuyendo al miembro derecho de la
expresión (3) en
1 − 1 − 1 − 1 + 1 + 1 + 1 = 1.
Por lo tanto, para corregirlo debemos restar a (3) la cantidad de tales x que es |A1 ∩ A2 ∩ A3 |. Así
obtenemos la ecuación definitiva
|A1 ∩ A2 ∩ A3 | = |S| − |A1 | − |A2 | − |A3 | + |A1 ∩ A2 | + |A1 ∩ A3 | + |A2 ∩ A3 | − |A1 ∩ A2 ∩ A3 |. (4)
Para terminar de probar la ecuación (4) verificamos que cada x que satisface las tres propiedades
(es decir, es divisible por 70) contribuye al lado derecho de la ecuación (4) en
1 − 1 − 1 − 1 + 1 + 1 + 1 − 1 = 0.
Ahora sí vamos a dar la respuesta a nuestra pregunta original. Tenemos que |S| = 70 ya que S es
el conjunto de los primeros 70 números naturales. La cantidad de números naturales en S divisibles
por 2, 5 y 7 son, respectivamente, |A1 | = 35, |A2 | = 14 y |A3 | = 10. La cantidad de los números
naturales en S divisibles por 2 y 5, divisibles por 2 y 7 y divisibles por 5 y 7 son |A1 ∩ A2 | = 7,
|A1 ∩A3 | = 5 y |A2 ∩A3 | = 2, respectivamente. Finalmente hay un solo número en S que es divisible
por 2, 5 y 7, es decir, |A1 ∩ A2 ∩ A3 | = 1. Por lo tanto, la cantidad de números naturales menores o
iguales a 70 que no son divisibles ni por 2, ni por 5, ni por 7 se sigue de la ecuación (4):
|A1 ∩ A2 ∩ A3 | = 70 − 35 − 14 − 10 + 7 + 5 + 2 − 1 = 24.
Principio de inclusión-exclusión en forma general
A continuación vamos a enunciar y demostrar la validez de la fórmula general del principio de
inclusión-exclusión.
4
Teorema 2. El número de elementos de un conjunto finito S que no tiene ninguna de las propieda-
des P1 , P2 , . . . , Pk está dado por la fórmula
|A1 ∩ A2 ∩ · · · ∩ Ak | = |S| − ∑ |Ai | + ∑ |Ai ∩ A j | − ∑ |Ai ∩ A j ∩ Ak |
{i} {i, j} {i, j,k}
+ · · · + (−1)k |A1 ∩ A2 ∩ · · · ∩ Ak |, (5)
cuyos términos del lado derecho alternan entre suma y resta, y donde la primera suma se toma
sobre todos los subconjuntos de 1 elemento {i} de {1, 2, . . . , k}, la segunda suma se toma sobre
todos los subconjuntos de 2 elementos {i, j} de {1, 2, . . . , k}, la tercera suma es sobre todos los
conjuntos de 3 elementos {i, j, k} de {1, 2, . . . , k} y así siguiendo hasta la suma sobre el único
subconjunto de k elementos de {1, 2, . . . , k}.
Demostración. Para demostrar la validez de este teorema alcanza con probar que todo elemento x
en S que no satisface ninguna de las propiedades P1 , . . . , Pk contribuye en 1 al lado derecho de la
ecuación, y que todo elemento y en S que tiene exactamente m de las propiedades para cualquier
m ≥ 1 contribuye en 0 al lado derecho de la ecuación.
La primera afirmación se comprueba inmediatamente observando que x contribuye en 0 a todos
los términos del lado derecho de la igualdad de la ecuación (5) con la única excepción del primero.
Por lo tanto su contribución total al lado derecho de la ecuación (5) es
1 − 0 + 0 − 0 + · · · + (−1)k 0 = 1.
Ahora consideremos la segunda afirmación, siendo y un elemento de S que pertenece exacta-
mente a m conjuntos Ai donde m ≥ 1. Por lo tanto, la contribución de y a |S| es 1, la contribución
m m
de y a ∑ |Ai | es 1 , la contribución de y a ∑ |Ai ∩ A j | es 2 , la contribución de y a |Ai ∩ A j ∩ Ak |
es m3 y así siguiendo. En conclusión, la contribución de y al lado derecho de la ecuación (5) es
m m m m m
1− + − + · · · + (−1) +0+···+0 = 0
1 2 3 m
porque la suma alternada de la m-ésima fila del Triángulo de Pascal es 0. Notar que y contribuye
en 0 a los últimos k − m términos del lado derecho la ecuación (5).
Aplicaciones
En esta sección veremos algunas aplicaciones del principio de inclusión-exclusión.
Ejemplo 4. ¿Cuántas soluciones tiene la ecuación
x1 + x2 + x3 + x4 = 20 (6)
en los naturales tales que x1 ≤ 6, x2 ≤ 7, x3 ≤ 8 y x4 ≤ 9?
Solución: Aplicamos el principio de inclusión-exclusión. Sea S el conjunto de todas las soluciones
en los naturales de la ecuación (6). Diremos que un elemento en S satisface la propiedad P1 si
x1 > 6, satisface la propiedad P2 si x2 > 7, satisface la propiedad P3 si x3 > 8 y satisface la propiedad
5
P4 si x4 > 9. La respuesta al ejemplo es la cantidad de elementos de S que no satisfacen P1 , ni P2 ,
ni P3 , ni P4 ; es decir, |A1 ∩ A2∩ A3 ∩A4 |.
Notemos que |S| = 20−1 19
4−1 = 3 = 969. Además, se sigue que
20 − 6 − 1 13 20 − 7 − 1 12
|A1 | = = = 286, |A2 | = = = 220,
4−1 3 4−1 3
20 − 8 − 1 11 20 − 9 − 1 10
|A3 | = = = 165, |A4 | = = = 120.
3 3 4−1 3
Por otro lado,
20 − 6 − 7 − 1 6
|A1 ∩ A2 | = = = 20.
3 3
Análogamente
5 4 4
|A1 ∩ A3 | = = 10, |A1 ∩ A4 | = = 4, |A2 ∩ A3 | = = 4,
3 3 3
3 2
|A2 ∩ A4 | = = 1, |A3 ∩ A4 | = = 0.
3 3
Notar que todos los términos restantes de la fórmula (5) para k ≥ 3 son 0, dado que no puede existir
una solución (x1 , x2 , x3 , x4 ) en los naturales de la ecuación (6) que satisfaga al menos tres de las
propiedades P1 , P2 , P3 y P4 , ya que si así fuera, x1 + x2 + x3 + x4 ≥ 22 > 20, contradiciendo que
(x1 , x2 , x3 , x4 ) es una solución de (6). Por lo tanto la respuesta al problema es
|A1 ∩ A2 ∩ A3 ∩ A4 | = |S| − |A1 | − |A2 | − |A3 | − |A4 |
+ |A1 ∩ A2 | + |A1 ∩ A3 | + |A1 ∩ A4 | + |A2 ∩ A3 | + |A2 ∩ A4 | + |A3 ∩ A4 |
− |A1 ∩ A2 ∩ A3 | − |A1 ∩ A2 ∩ A4 | − |A1 ∩ A3 ∩ A4 | − |A2 ∩ A3 ∩ A4 |
+ |A1 ∩ A2 ∩ A3 ∩ A4 |
= 969 − 286 − 220 − 165 − 120
+ 20 + 10 + 4 + 4 + 1 + 0
−0−0−0−0
+0
= 217.
En muchas ocasiones existe una simetría entre las propiedades involucradas.
Definición 3. Decimos que las propiedades P1 , . . . , Pk son simétricas si el tamaño de los conjuntos
Ai1 ∩ Ai2 ∩ · · · ∩ Aim depende solo de la cantidad de conjuntos involucrados en la intersección; es
decir, de m, y no de cuáles son los conjuntos involucrados. En este caso denotamos
α0 = |S|,
α1 = |A1 | = |A2 | = · · · = |Ak |,
α2 = |A1 ∩ A2 | = · · · = |Ak−1 ∩ Ak |,
α3 = |A1 ∩ A2 ∩ A3 | = · · · = |Ak−2 ∩ Ak−1 ∩ Ak |,
..
.
αk = |A1 ∩ A2 ∩ · · · ∩ Ak |.
6
Observemos que en el lado derecho de la ecuación (5), el m-ésimo símbolo ∑ corresponde a una
suma de m términos; es decir, ∑{i} Ai es la suma de 1 términos, ∑{i, j} Ai ∩ A j es la suma de 2k
k k
términos, ∑{i, j,k} Ai ∩ A j ∩ Ak es la suma de 3k términos, y así siguiendo hasta |A1 ∩ A2 ∩ · · · ∩ Ak |
que es kk = 1 término. Por lo tanto, cuando las propiedades P1 , . . . , Pk son simétricas, la fórmula
(5) se puede escribir de manera simplificada mediante la siguiente igualdad
k k k m k k k
|A1 ∩ A2 ∩ · · · ∩ Ak | = α0 − α1 + α2 − α3 + · · · + (−1) αm + · · · + (−1) αk .
1 2 3 m k
(7)
Ejemplo 5. ¿Cuántos enteros no negativos menores o iguales que 99999 tienen entre sus dígitos
al 2, al 5 y al 8?
Solución: El conjunto S está formado por todos los enteros no negativos menores o iguales a
99999. Definimos que un elemento en S satisface la propiedad P1 si no contiene al 2 entre sus
dígitos, satisface la propiedad P2 si no contiene al 5 entre sus dígitos y satisface la propiedad P3 si
no contiene al 8 entre sus dígitos. Deseamos contar la cantidad de enteros en |A1 ∩ A2 ∩ A3 |. Las
propiedades P1 , P2 y P3 son claramente simétricas y usando la notación introducida anteriormente
tenemos que
α0 = |S| = 105 ,
α1 = |A1 | = 95 ,
α2 = |A1 ∩ A2 | = 85 ,
α3 = |A1 ∩ A2 ∩ A3 | = 75 .
Y aplicando la fórmula (7), obtenemos la respuesta
3 3 3
|A1 ∩ A2 ∩ A3 | = α0 − α1 + α2 − α3
1 2 3
= 105 − 3 × 95 + 3 × 85 − 75
= 4350.
