Ecuaciones lineales con coeficientes unitarios

En estas notas estudiaremos el problema de determinar la cantidad de soluciones en los núme-

ros naturales o en los enteros no negativos de una ecuación lineal con coeficientes unitarios. Como
una aplicación de este problema veremos como contar combinaciones con repeticiones.

1. Cantidad de soluciones en los naturales

Comencemos con un ejemplo. Consideremos la ecuación

x1 + x2 + x3 + x4 = 12, (1)

y contemos la cantidad de soluciones de esta ecuación en los números naturales, es decir, la canti-
dad de cuaternas (x1 , x2 , x3 , x4 ) con xi ∈ N para 1 ≤ i ≤ 4 que satisfacen la ecuación1.
Al contar dichas soluciones, consideraremos que, por ejemplo, las soluciones

x1 = 9 x2 = 1 x3 = 1 x4 = 1
x1 = 1 x2 = 9 x3 = 1 x4 = 1
x1 = 1 x2 = 1 x3 = 9 x4 = 1
x1 = 1 x2 = 1 x3 = 1 x4 = 9

son cuatro soluciones distintas de la ecuación. Esto se debe a que consideramos las soluciones
como una cuaterna ordenada. Así, dos soluciones se consideran iguales si y solo si ambas cuaternas
coinciden coordenada a coordenada; es decir, los valores de x1 son iguales, los de x2 son iguales,
los de x3 son iguales y los de x4 son iguales.
El número de soluciones de la ecuación dada se puede determinar fácilmente mirando el pro-
blema de la siguiente manera: imaginemos las 12 unidades como círculos en hilera y dejemos 11
espacios entre ellos

◦ − ◦ − ◦ − ◦ − ◦ − ◦ − ◦ − ◦ − ◦ − ◦ − ◦ − ◦.
Si elegimos tres espacios y colocamos una barra en cada uno de ellos, por ejemplo

◦ ◦ | ◦ ◦ ◦ ◦| ◦ ◦ ◦ ◦ ◦ |◦,
entonces los círculos quedan divididos en cuatro partes. La cantidad de círculos en cada una
de las partes puede interpretarse como los valores asignados a x1 , x2 , x3 y x4 , respectivamente. En
este ejemplo, x1 = 2, x2 = 4, x3 = 5 y x4 = 1. Por lo tanto, por cada elección de tres espacios donde
poner las barras obtenemos una solución de la ecuación

1
 x1 + x2 + x3 + x4 = 12
en los números naturales. Recíprocamente, cada solución en los números naturales se corres-
ponde con una elección tres lugares en los cuales colocar las barras. Se sigue que la cantidad de
soluciones en los naturales es igual a la cantidad de formas de elegir 3 lugares entre los 11 dispo-
nible, es decir
11 · 10 · 9
C(11, 3) = = 165.
3·2·1
Para un resultado más general, reemplazamos 12 por m ∈ N y x1 , x2 , x3 y x4 por la suma de k
variables y nos preguntamos por la cantidad de soluciones en los naturales de la ecuación

x1 + x2 + · · · + xk = m. (2)
Las soluciones de la ecuación (2) son k-tuplas del tipo (a1 , a2 , . . . , ak ), siendo ai el número
natural asignado a la variable xi para cada i = 1, 2, . . . , k, que satisfacen a1 + a2 + · · · + ak = m.
Diremos que dos soluciones son iguales si y solo si ambas k-tuplas coinciden coordenada a coor-
denada. Una solución en los enteros de la ecuación (2) se define de las mima manera, solo que en
este caso las coordenadas de las k-tuplas pueden ser cualquier número entero.
Observemos que en el caso particular de (1), m = 12 y k = 4. Luego, generalizando el argu-
mento que usamos en (1) podemos probar el siguiente resultado.

Teorema 1. Dados dos números naturales k y m la cantidad de soluciones en los naturales de la

ecuación

x1 + x2 + · · · + xk = m (3)
es C(m − 1, k − 1).

Demostración. Asumamos que k ≤ n. Ordenemos en hilera m círculos. Claramente quedan m − 1

espacios intermedios, donde los espacios intermedios son aquellos esparcios entre un círculo y el
siguiente en el ordenamiento en hilera.

◦ − ◦ − · · · − ◦.
Si ubicamos k − 1 barras en k − 1 de los m − 1 espacios, los m círculos quedan separados
en k partes. Dichas partes representan una única solución de la ecuación (3) en los naturales, a
saber, x1 es la cantidad de círculos en la parte que se encuentra a la derecha de la primer barra,
xi es la cantidad de círculos que se encuentran entre la i − 1-ésima barra y la i-ésima barra para
i = 2, . . . , k − 1 y xk es la cantidad de barras que se encuentran a la izquierda de la última barra. Por
lo tanto, la cantidad de soluciones en los naturales es igual a la cantidad de formas de elegir k − 1
espacios entre los m−1 espacios intermedios delimitados por los círculos, es decir, C(m−1, k −1).
Notemos que si k > m entonces la ecuación (3) no tiene solución en los naturales pero la
fórmula C(m − 1, k − 1) es igualmente válida porque de acuerdo a nuestra definición en ese caso
C(m − 1, k − 1) = 0

2
2. Cantidad de soluciones en los enteros no negativos
Ahora vamos a concentrarnos en contar la cantidad de soluciones de la ecuación (3) en los
enteros no negativos. La diferencia aquí reside en que permitiremos que las variables puedan tomar
el valor cero. Comenzamos con un ejemplo. Nos preguntamos cuál es el número de soluciones de
la ecuación
x1 + x2 + x3 + x4 = 12 (4)
en los enteros no negativos. Pongamos 12 círculos y 3 barras formando una hilera, por ejemplo
◦| ◦ ◦ ◦ ◦ ◦ | ◦ ◦| ◦ ◦ ◦ ◦.
Si miramos a las barras como separadores de los círculos en cuatro partes, obtenemos en cada una
de ellas 1, 5, 2 y 4 círculos que se corresponden con la solución x1 = 1, x2 = 5, x3 = 2 y x4 = 4.
Afirmamos que cada ordenamiento de 12 círculos y 3 barras da una solución. Para encontrar el
valor de x1 localizamos la primera barra y contamos el número de círculos a su izquierda. Para
encontar el valor de x2 contamos el número de círculos entre la primera barra y la segunda. Si la
primera y segunda barra se encuentran una junto a la otra, entonces x2 = 0. Análogamente, el valor
de x3 es el número de círculos entre la segunda y la tercera barra y el valor de x4 es la cantidad de
circulos a la derecha de la tercera barra.
Recíprocamente, si comenzamos con una solución cualquiera, por ejemplo, x1 = 0, x2 = 1,
x3 = 2 y x4 = 9 podemos escribir 12 círculos y 3 barras en hilera
| ◦ | ◦ ◦| ◦ ◦ ◦ ◦ ◦ ◦ ◦ ◦◦
que corresponden a dicha solución. Así la solución x1 = 9, x2 = 0, x3 = 1 y x4 = 2 corresponde al
ordenamiento
◦ ◦ ◦ ◦ ◦ ◦ ◦ ◦ ◦|| ◦ | ◦ ◦.
Por lo tanto el número de soluciones de x1 + x2 + x3 + x4 = 12 en los enteros no negativos es igual
al número de formas de ordenar 12 círculos y 3 barras en una fila. Este número es C(15, 3) = 455.
Generalizando lo visto en el ejemplo anterior se sigue el siguiente resultado.
Teorema 2. Dados dos números naturales k y m el número de soluciones en los enteros no nega-
tivos de la ecuación

x1 + x2 + · · · + xk = m (5)
es C(m + k − 1, k − 1).
Demostración. A cada solución de la ecuación (a1 , a2 , . . . , ak ) (5) le asignaremos un ordenamiento
de k − 1 barras y m círculos tal que el número de círculos a la izquierda de la pimer barra y a la
derecha de la última barra son a1 y ak respectivamente y para cada i = 2, . . . , k − 1, el número de
círculos entre la i − 1-ésima barra y la i-ésima barra es ak−1 . Recíprocamente, por cada ordena-
miento en hilera de m círculos y k − 1 barras le asignamos la solución (a1 , a2 , . . . , ak ), donde a1 y
ak son, respectivamente, las cantidades de círculos a la izquierda de la primer barra y a la derecha
de la última barra, y ai , para cada i = 2, . . . , k − 1, es la cantidad de círuclos entre la i − 1-ésima
barra y la i-ésima barra. Por lo tanto, el número de soluciones de esta ecuación en los enteros no
negativos es igual al número de ordenamientos en hilera de m círculos y k − 1 barras que es igual
a C(m + k − 1, k − 1).

3
 En síntesis, si m y k son naturales, el número de soluciones de la ecuación

x1 + x2 + · · · + xk = m

en los naturales es C(m−1, k −1), mientras que el número de soluciones en los enteros no negativos
es C(m + k − 1, k − 1) = C(m + k − 1, m). Esta última igualdad resulta de la regla básica C(n, r) =
C(n, n − r).

3. Ecuaciones con soluciones restringidas

En las secciones anteriores consideramos el problema de determinar la cantidad de soluciones
de ecuaciones de la forma x1 + x2 + · · · + xk = m; primero las soluciones estaban restringidas al
conjunto de los naturales, luego al conjunto de los enteros no negativos. Decir que x es un número
natural es lo mismo que decir que x es un número entero tal que x ≥ 1. Análogamente, decir que x
es un número entero no negativo es lo mismo que decir que x es un número entero tal que x ≥ 0.
Nos planteamos ahora la siguiente pregunta: ¿ cuántas soluciones en enteros mayores o iguales
que 5 hay, de la ecuación

x1 + x2 + x3 + x4 = 48? (6)
Por ejemplo, x1 = 5, x2 = 11, x3 = 12 y x4 = 20 es una solución que cumple la condición
requerida. Queremos contar el número de dichas soluciones. Volvamos a pensar en el esquema de
barras y círculos que utilizamos en las secciones anteriores. En este caso tenemos 48 círculos y
3 barras. Para asegurarnos que se cumpla la condición de que xi ≥ 5 para 1 ≤ i ≤ 4, ubicamos 5
círculos en cada uno de los 4 espacios determinados por las 3 barras. Luego nos quedan sólo 28
(28 = 48 − 5 − 5 − 5 − 5) círculos que se pueden ubicar de cualquier manera entre las barras. Es
decir, en cualquiera de los 4 espacios determinados por las barras podríamos poner o no un círculo
ya que la condición xi ≥ 5 para 1 ≤ i ≤ 4 fue satisfecha. Así, el problema se reduce a contar la
cantidad de soluciones en los enteros no negativos de la ecuación

y1 + y2 + y3 + y4 = 28, (7)
dónde para cada i la variable yi está relacionada con xi mediante la igualdad

xi = yi + 5, 1 ≤ i ≤ 4. (8)

Cada solución de la ecuación (6) se corresponde, vía el cambio de variables (8), con una única
solución de (7) y viceversa. Por ejemplo, la solución x1 = 5, x2 = 11, x3 = 12 y x4 = 20 de la
ecuación (6) se corresponde con la solución y1 = 0, y2 = 6, y3 = 7 y y4 = 15 de la ecuación (7).
Análogamente, la solución y1 = 0, y2 = 1, y3 = 20, y4 = 7 de (7) da lugar a la solución x1 = 5,
x2 = 6, x3 = 25 y x4 = 12 de (6). Además, para cada i, yi es mayor o igual a cero lo que implica que
cada xi es mayor o igual a 5. Deducimos entonces que la cantidad de soluciones de (6) en enteros
mayores o iguales a 5 coíncide con la cantidad de soluciones en los enteros no negativos de (7).
Así obtenemos que la cantidad de soluciones de (6) en enteros mayores o iguales a 5 es C(28 +
4 − 1, 28).

4
Ejemplo 1. Hallar la cantidad de soluciones de la ecuación

x1 + x2 + x3 + x4 = 48

que verifican que xi > 5 para 1 ≤ i ≤ 4.

Observemos que, en este caso, la cantidad de círculos que debemos ubicar en los 4 espacios
que quedan entre las barras para asegurar que se cumple la condición requerida es 6. Luego nos
quedan 24 círculos para distribuir y el problema que vamos a considerar es el de contar la cantidad
de soluciones en los enteros no negativos de la ecuación

y1 + y2 + y3 + y4 = 24,

con xi = yi + 6 para 1 ≤ i ≤ 4. Esto es C(24 + 4 − 1, 24) = C(27, 24).

¿Se podría haber usado el cambio de variables xi = yi + 5, con 1 ≤ i ≤ 4 en el ejemplo anterior?

Si, pero hay que tener cuidado en dónde contamos las soluciones. Al hacer el cambio de va-
riables xi = yi + 5, 1 ≤ i ≤ 4 obtenemos la ecuación y1 + y2 + y3 + y4 = 28. Observemos que al
contar la cantidad de soluciones de esta ecuación en enteros no negativos estamos contando so-
luciones que no cumplen la condición pedida ya que las soluciones que verifican que yi = 0 para
algún i se corresponden con soluciones que verifican que xi = 5 para algún i. Esto no ocurre si
contamos la cantidad de soluciones en naturales. En este caso, en todas las soluciones se verifi-
ca que cada yi > 0 con lo cual xi > 5 para 1 ≤ i ≤ 4. Finalmente, la cantidad de soluciones de
x1 + x2 + x3 + x4 = 48 en enteros mayores a 5 se puede contar como la cantidad de soluciones en
los naturales de y1 + y2 + y3 + y4 = 28 y esto da C(28 − 1, 4 − 1) = C(27, 3) = C(27, 24).

Ejemplo 2. ¿Cuántas soluciones hay de la ecuación x1 + x2 + x3 + x4 = 48 que verifican que

x1 > 5, x2 > 6, x3 > 7, x4 > 8? (9)

En este caso hacemos el siguiente cambio de variables:

x1 = y1 + 5, x2 = y2 + 6, x3 = y3 + 7 x4 = y4 + 8.
Así, tenemos que contar la cantidad de soluciones en naturales de la ecuación

y1 + y2 + y3 + y4 = 22.

Luego la cantidad de soluciones de x1 + x2 + x3 + x4 = 48 que cumplen (9) es C(22 − 1, 4 − 1) =

C(21, 3).

Tratemos de formalizar la idea. Sean m, c1 , c2 , c3 y c4 números enteros no negativos. Conside-

remos la ecuación
x1 + x2 + x3 + x4 = m. (10)
Supongamos que queremos contar la cantidad de soluciones de (10) bajo las restricciones

x1 > c1 , x2 > c2 , x3 > c3 , x4 > c4 . (11)

5
Hacemos entonces el siguiente cambio de variables:

x1 = y1 + c1 , x2 = y2 + c2 , x3 = y3 + c3 , y4 = y4 + c4 . (12)

Así, el problema se reduce al de contar la cantidad de soluciones en los naturales de la ecuación

y1 + y2 + y3 + y4 = m − (c1 + c2 + c3 + c4 ). (13)

Por lo tanto la cantidad de soluciones de (10) que cumplen las restricciones (11) es

C(m − (c1 + c2 + c3 + c4 ) − 1, 4 − 1).

Por otro lado consideremos el problema de contar la cantidad de soluciones de (10) pero en el
caso en que las restricciones están dadas por desigualdades no estrictas, es decir,

x1 ≥ c1 , x2 ≥ c2 , x3 ≥ c3 , x4 ≥ c4 . (14)

Hacemos el mismo cambio de variables de (12) pero la diferencia está en que contamos la cantidad
de soluciones en enteros no negativos de la ecuación (13). Por lo tanto la cantidad de soluciones
que cumplen (14) es C(m − (c1 + c2 + c3 + c4 ) + 4 − 1, 4 − 1).
Para finalizar, observemos que estos argumentos se generalizan de la misma manera a ecuacio-
nes con una cantidad arbitraria k de incógnitas.

Teorema 3. Dados dos números naturales k y m. Si c1 , c2 , . . . , ck son números enteros, entonces el

número de soluciones de la ecuación

x1 + x2 + · · · + xk = m (15)
sujeta a las condiciones xi > ci para cada i = 1, 2, . . . , k es C(m − c1 − c2 − · · · − ck − 1, k − 1).

Demostración. Considermos el cambio de variable yi = xi − ci para cada i = 1, 2, . . . , k. Aplicando

este cambio de variable, la ecuación (15) se transforma en la ecuación

y1 + y2 + · · · + yk = m − c1 − c2 − · · · − ck . (16)
Se sigue que por cada solución (a1 , a2 , . . . , ak ) de la ecuación 15 con ai > ci para cada i =
1, 2, . . . , k, se obtiene una solución (b1 , b2 , . . . , bk ) en los naturales del ecuación (16), siendo bi =
ai − ci para cada i = 1, 2, . . . , k. Recíprocamente, por cada solución (b1 , b2 , . . . , bk ) en los naturales
de la ecuación (16), se obtiene una solución (a1 , a2 , . . . , ak ) de la ecuación (15) con ai > ci para cada
i = 1, 2, . . . , k, siendo ai = bi + ci para cada i = 1, 2, . . . , k. Por lo tanto, la cantidad de soluciones
en los enteros de la ecuación (15) bajo las restricciones dadas es igual a la cantidad de soluciones
de la ecuación (16) en los naturales. Por lo tanto la cantidad de soluciones en los enteros de la
ecuación (15), bajo las restricciones dadas es C(m − c1 − c2 − · · · − ck − 1, k − 1).

6
4. Combinaciones con repetición
El símbolo C(n, r) denota el número de combinaciones de n objetos diferentes tomados de a
r. Supongamos ahora que hay varias copias idénticas de cada uno de los n objetos. Por ejemplo,
copias idénticas de un mismo libro en una librería. Podemos preguntarnos entonces: dadas n clases
distintas de objetos, con cada clase conteniendo una cantidad no limitada de objetos ¿cuántas
combinaciones diferentes de r objetos habrá? Notemos que una r-combinación puede incluir varios
objetos indistinguibles, de la misma clase.
Observemos que esta pregunta se puede reformular en términos del concepto de multiconjunto
que estudiamos en las clases anteriores. En efecto, queremos contar la cantidad de r-combinaciones
del multiconjunto

{∞ · a1 , ∞ · a2 , . . . , ∞ · an },
donde el símbolo ∞ denota que hay una cantidad ilimitada de objetos de cada clase, a1 , . . . , an
denota las diferentes clases de objetos. Esta pregunta es equivalente a preguntarse cuál es la canti-
dad de soluciones de la ecuación

x1 + x2 + · · · + xn = r
en los enteros no negativos. Esto se debe a que podemos tomar x1 como la cantidad de objetos
de la clase a1 , x2 como la cantidad de objetos de la clase a2 , y así siguiendo, xn como la cantidad
de objetos de la clase an . Por lo tanto el número de combinaciones de r objetos tomados de a n
clases diferentes, disponiendo de una cantidad ilimitada de objetos en cada clase es C(n + r − 1, r)
Ejemplo 3. ¿ Cuántos conjuntos diferentes de tres monedas pueden formarse si cada moneda
puede ser de 10, 25, 50 centavos o de 1 peso?
En este caso n = 4, ya que hay cuatro tipos distintos de monedas y r = 3 ya que elijo 3. Luego
la respuesta es C(6, 3) = 20.
Este problema se puede pensar si no como el problema de contar la cantidad de soluciones en
enteros no negativos de la ecuación

x1 + x2 + x3 + x4 = 3,

donde x1 se interpreta como la cantidad de monedas de 10 centavos, x2 la cantidad de monedas

de 25 centavos, x3 la cantidad de monedas de 50 centavos y x4 la cantidad de monedas de 1 peso
usadas para formar un conjunto de 3 monedas.
Ejemplo 4. En una librería hay 20 libros de matemática y cada uno de ellos está disponible en
una cantidad ilimitada.
a) ¿ Cuántas elecciones de 10 libros pueden hacerse si se permiten repeticiones?

b) ¿ Cuántas elecciones de 10 libros pueden hacerse si NO se permiten repeticiones?

En el primer ítem nos preguntan por la cantidad de combinaciones de 10 objetos elegidos en
un conjunto de 20 clases distintas de objetos, dónde cada clase posee una cantidad ilimitada de
objetos. Es decir, no preguntan la cantidad de combinaciones de 10 elementos del multiconjunto

7
{∞ · l1 , ∞I2 , . . . , ∞ · l20 }, dónde l1 , l2 , . . . , l20 denotan los 20 diferentes tipos de libros. El resultado
es C(29, 10).
En el segundo item nos piden la cantidad de maneras distintas en las que se pueden elegir 10
objetos entre 20 objetos distintos, esto es C(20, 10).