Academia Sabatina Jóvenes Talentos

Combinatoria Nivel Centro

Funciones Potenciales e Invarianza

Tomas A. Hernández

Los invariantes y las funciones potenciales pertenecen a aquellas técnicas combina-

torias que son difı́ciles de tratar teóricamente. Tampoco siempre hay una distinción
clara entre estos dos en la literatura. Aquı́, usamos las dos nociones en el siguiente
sentido:

• Un invariante es un parámetro que permanece constante bajo ciertas opera-

ciones o es independiente de ciertas elecciones.

• Una función potencial es tı́picamente un valor que se puede demostrar que es

creciente/decreciente/no creciente/no decreciente bajo ciertas operaciones.

1. Invarianza
Es más fácil explicar estos conceptos por medio de ejemplos. Comencemos con
lo siguiente clásico problema:
Ejemplo 1.0.1
Se quitan dos esquinas diagonalmente opuestas de un tablero de ajedrez de 8 × 8.
Lo es ¿Es posible cubrir por completo los 62 cuadrados restantes con 31 fichas de
dominó de 2 × 1?

Solución: Tal teselación del tablero de ajedrez es imposible. Para ver por qué,
colorea los cuadrados de la manera habitual (blanco/negro), y tenga en cuenta que
un dominó siempre cubre precisamente un blanco cuadrado y un cuadrado negro,
independientemente de su posición. De ahı́ el número de cuadrados blancos que
están cubiertos tiene que ser igual al número de cuadrados negros que están cu-
biertos; hemos encontrado nuestro primera invariante. Dado que nuestro tablero de
ajedrez (del cual dos cuadrados diagonalmente opuestos se han eliminado) consta
de 32 cuadrados de un color y 30 cuadrados del mismo color, la tarea no se puede
completar.
Ejemplo 1.0.2
Varias piedras se colocan en una franja infinita (en ambas direcciones) de casillas.
Siempre que haya al menos dos piedras en una sola casilla, se puede seleccionar
dos de esas piedras, luego se mueve una a la casilla anterior y otra a la casilla
siguiente. ¿Es posible volver a la configuración inicial después de una secuencia
finita de tales movimientos?

Solución: Etiquete la tira con enteros consecutivos, y sea ni la etiqueta de

la casilla que contiene a la piedra número i. Sea X = i n2i y considere lo que le
P

sucede a X cada vez que hacemos un movimiento. Primero X disminuye en 2t2

cuando quitamos dos piedras de alguna casilla t. A continuación,X aumenta en
(t − 1)2 + (t + 1)2 = 2t2 + 2 a medida que reemplazamos las piedras en las casillas

1
t − 1 y t + 1. Por lo tanto, cada movimiento hace que X aumente en exactamente 2.

En particular, después de cualquier secuencia de movimientos, X siempre será

más grande que cuando comenzó, por lo que no podrı́a estar en la misma posición
en la que comenzó.

Por lo general, un problema invariante es bastante fácil una vez que encuentras
la invariante correcta , ¡pero encontrarlo puede ser bastante difı́cil! Encontrar la
invariante correcta es un arte, y eso es lo que hace que estos problemas sean algo
dificiles. No obstante, hay algunas cosas en las que siempre deberı́as estar pensando:

• Coloreado: Colorea todos los cuadrados de una cuadrı́cula con dos o más
colores. Por lo general, el tablero de ajedrez El patrón es una buena opción,
pero a veces también son útiles otros patrones. Considera cuadrados de cada
color por separado.

• Expresiones algebraicas: dado un conjunto de valores, mira sus diferencias,

su suma, la suma de sus cuadrados, u ocasionalmente su producto. Si está
trabajando con números enteros, intente mirar estos valores módulo n. (Por lo
general, n deberı́a ser una potencia prima pequeña).

• Esquinas y bordes: para problemas basados en cuadrı́culas, considere cual-

quier forma formada. ¿Cuántas aristas lı́mite tienen? ¿cuantas esquinas?

• Números enteros y racionales: ¿Puedes encontrar un número entero po-

sitivo que siga decreciendo? ¿O el denominador de un número racional sigue
disminuyendo?

• Simetrı́as: ¿Puedes asegurar que después de cada paso, una figura es simétrica
de alguna manera? Tal vez pueda emparejar objetos lógicamente, y dos objetos
emparejados siempre están en el mismo ¿estado? ¿Quizás el problema se puede
dividir en dos subproblemas esencialmente idénticos? Este es especialmente útil
para problemas de tipo teorı́a de juegos.

Los invariantes pueden ser mucho más complicados que en nuestros primeros
ejemplos, pero aún usan el mismo ideas Como ejemplo, considere el siguiente pro-
blema:
Ejemplo 1.0.3
(IMO 2004) Determine todos los rectángulos m × n que se pueden cubrir con
“ganchos” formados por 6 cuadrados unitarios, como en la figura: Rotaciones y
reflexiones de ganchos están permitidos.

2
 El rectángulo debe cubrirse sin espacios ni superposiciones. Ninguna parte de un
gancho puede cubrir el área fuera del rectángulo.

Solución: Si se coloca un gancho de este tipo en el rectángulo, queda un agujero

en el medio que tiene para ser llenado por otro gancho. Como solo hay un cuadrado
adyacente vacı́o, el agujero tiene para ser cubierto por uno de los extremos del
segundo gancho. Por lo tanto, solo hay dos posibilidades. lograr esto

Por lo tanto, existen dos formas diferentes que se pueden usar para cubrir el
rectángulo; un rectángulo de 3times4 y un rectángulo ”sesgado”. Ambos tienen un
área de 12 unidades cuadradas, por lo tanto, el área de el rectángulo tiene que ser
múltiplo de 12. Distinguimos dos casos:
Una de las longitudes de los lados es divisible por 4. Dado que una de
las longitudes de los lados tiene que ser divisible por 3, el rectángulo tiene que ser
de la forma 3k × 4l o k × 12l. Un rectángulo de la forma 3k × 4l se pueden cubrir
trivialmente con rectángulos de 3 × 4. Por lo tanto, es posible cubrir un 3 × 12l
o un rectángulo de 4 × 12l, y como consecuencia cualquier rectángulo de la forma
(3a + 4b) × 12l,cortándolo en tiras.

Todo entero positivo 6= 1, 2, 5 se puede escribir como 3a + 4b, como se puede ver
con un simple inducción. Un rectángulo de 1 × 12l o 2 × 12l claramente no se puede
cubrir, ya que no hay suficiente espacio para un gancho. Consideremos finalmente
el rectángulo de 5 × 12l. Como puede verse de la figura de abajo, el cuadrado que
está marcado con una X debe cubrirse junto con la esquina inferior izquierda. Dado
que lo mismo es válido de manera análoga para la esquina superior izquierda, debe
haber ser piezas superpuestas, lo que demuestra que el rectángulo de 5 × 12l no se
puede cubrir. Este completa el primer caso.

3
 Ninguna de las longitudes de los dos lados es divisible por 4. En este
caso, las longitudes de ambos lados tiene que ser parejo. Ahora colorea las filas ho-
rizontales del rectángulo alternativamente de negro y blanco. Como las longitudes
de los lados son pares, el número de cuadrados negros es exactamente la mitad del
número total de cuadrados. Además, resulta que nuestras dos piezas posibles (el
rectángulo y el rectángulo sesgado) siempre cubren seis cuadrados blancos y seis
negros, con una excepción: rectángulos 3 × 4 cuyo lado mayor es horizontal, estos
rectángulos cubren 4 blancos y 8 cuadrados negros, o viceversa. Tiene que haber el
mismo número de ambos tipos, ya que el número de cuadrados blancos es el mismo
que el número de cuadrados negros. De ahı́ el número de rectángulos en nuestra cu-
bierta cuyo lado mayor sea horizontal tiene que ser uniforme, y el mismo se cumple
(análogamente) para rectángulos cuyo lado mayor es vertical.

El mismo argumento, aplicado a los siguientes cuatro colorantes (esencialmen-

te idénticos) (Figura de abajo) muestra que el número de rectángulos de 3times4
“sesgados” también tiene que ser parejo. Este, sin embargo, implica que el área del
rectángulo grande debe ser divisible por 24, lo que contradice nuestra suposición.

Resumiendo, podemos decir que un rectángulo se puede cubrir con ganchos si es

de la forma k × 12l (k 6= 1, 2, 5) o 3k × 4l.

Uno de las invariantes más utilizados es la paridad (par o impar) de un paráme-

tro, como en los siguientes dos ejemplos:

4
Ejemplo 1.0.4
23 amigos quieren jugar al fútbol. Para ello eligen un árbitro y los demás se
dividieron en dos equipos de 11 personas cada uno de tal manera que el peso
total de cada equipo sea el mismo. Sabemos que todos tienen peso entero y que,
independientemente de quién sea el árbitro, es posible hacer los dos equipos. Probar
que todos tienen el mismo peso.

Solución Sean a1 , a2 , · · · , a23 los pesos de las personas. Sea S = a1 +a2 +· · ·+a23 .
La condición nos dice que si quitamos a la persona con peso ai , el resto se puede
dividir en dos equipos de peso X. Ası́ S − ai = 2X. Esto nos dice que ai y S tienen
la misma paridad. Dado que esto se puede hacer para cualquier ai , todos son pares
o todos son impares. Vamos a generar otra lista b1 , b2 , · · · , b23 de nuevos pesos que
todavı́a satisface las condiciones del problema. Si los ai son pares, reemplazamos
cada uno por bi = a2i . Si son impares, reemplazamos cada una por bi = ai − 1.

Es claro que la nueva lista de pesos satisface las condiciones del problema origi-
nal, y que bi ≥ 0 para todo i. Si los ai no fueran todos 0, entonces la suma de los
pesos bi es estrictamente menor. Si seguimos repitiendo este paso siempre estamos
reduciendo la suma de los pesos, por lo que finalmente llegamos a una lista de solo
ceros. Como somos capaces de hacer esto, concluimos que los números en la lista
original eran todos iguales.

En el ejemplo anterior, mostramos una manera de modificar el problema para que

la suma S siempre fue decreciente. Esta tecnica se conoce como descenso infinito.
Veamos cómo podemos aplicar el descenso infinito a un problema mucho más
difı́cil.
Ejemplo 1.0.5
(IMO 1986) Asignamos un número entero a cada vértice de un pentágono regular,
tal que que la suma de todos sea positiva. Si se han asignado a tres vértices
consecutivos los números x, y, z, respectivamente, y y < 0, podemos cambiar los
números (x, y, z) a (x + y, −y, z + y). Esta transformación se realiza siempre que
uno de los números es negativo. Determine si este proceso siempre tiene un final.

Solución: Sean los números en el pentágono a, b, c, d, e, como se muestra en la

figura.

5
 Cuando uno hace la transformación, la suma de todos los números sigue siendo
la misma. Considere S(a, b, c, d, e) = (a − c)2 + (c − e)2 + (e − b)2 + (b − d)2 + (d − a)2 .
Es claro que S(a, b, c, d, e) ≥ 0. Supongamos que c es negativo y hacemos el cambio
con c como el número de en medio. Tenemos que

S(a, b + c, −c, d + c, e) = (a + c)2 + (−c − e)2 + (e − b − c)2 + (b − d)2 + (d + c − a)2

= (a − c)2 + 4ac + (c − e)2 + 4ce + (e − b)2 − 2ec + 2bc + c2 +
(b − d)2 + (d − a)2 − 2ac + 2cd + c2
= S(a, b, c, d, e) + 2c(a + b + c + d + e).
(1)

Como c < 0 y asumimos que a+b+c+d+e > 0, tenemos que 2c(a+b+c+d+e) <
0. Por lo tanto, S(a, b, c, d, e) se reduce después de cada transformación. Por descenso
infinito, debe haber un momento en que ya no podamos hacer la transformación,
que es lo que querı́amos probar.
Ejemplo 1.0.6
Una urna contiene exactamente 2010 bolas blancas y 2011 negras. Además de eso,
tenemos un suministro ilimitado de bolas negras. Ahora sacamos repetidamente
dos bolas al azar de la urna. Si su color es el mismo, entonces los quitamos y
agregamos una bola negra a la urna Si sus colores difieren, devolvemos la bola
blanca y quitamos la bola negra. Este se repite hasta que solo quede una bola.
Determine la probabilidad de que la última bola sea blanco.

Solución: A pesar de la formulación del problema, en realidad no tenemos que

calcular cualquier probabilidad. De hecho, probaremos que la última bola tiene que
ser negra. Note primero que el proceso siempre llega a su fin, ya que el número de
bolas en la urna siempre disminuye por 1. Consideremos ahora el número de bolas
blancas y demostremos que siempre es par. En principio, es un número par, es decir,
2010. Si las dos bolas que sacamos son ambas blanco, el número de bolas blancas

6
disminuye en 2, de lo contrario permanece igual. Por lo tanto se mantiene uniforme
durante todo el proceso. Al final, el número de bolas blancas tiene que ser parejo.
Pero si solo queda una bola, esto significa que este número tiene que ser 0, lo que
prueba nuestra afirmación.
Ejemplo 1.0.7
¿Es posible ordenar los números del 1 al 21 en un arreglo triangular (la primera
fila consta de seis números, la segunda fila de cinco números, etc.), de modo que
cada número a partir de la segunda fila es la diferencia absoluta de los dos números
de arriba? A modo de comparación, la siguiente tabla muestra que esto es posible
con seis números:

Solución: Consideramos los elementos del arreglo módulo 2. Sea las entradas
de la primera fila ser a1 , a2 , · · · , a6 módulo 2, la suma y la resta conducen al mismo
resultado, por lo que obtener la siguiente tabla módulo 2:

• 1era fila: a1 , a2 , a3 , a4 , a5 , a6 .

• 2da fila: a1 + a2 , a2 + a3 , a3 + a4 , a4 + a5 , a5 + a6 .

• 3era fila: a1 + a3 , a2 + a4 , a3 + a5 , a4 + a6 .

• 4ta fila: a1 + a2 + a3 + a4 , a2 + a3 + a4 + a5 , a3 + a4 + a5 + a6 .

• 5ta fila: a1 + a5 , a2 + a6 .

• 6ta fila: a1 + a2 + a5 + a6 .

Sumamos todas las entradas y obtenemos una suma de

6a1 + 8a2 + 8a3 + 8a4 + 8a5 + 6a6 ≡ 0mod2

sin embargo la suma de estos 21 números es
21
21 × 22
i= = 231 ≡ 1mod2
X

i 2

lo que demuestra que es imposible ordenarlos de tal forma.

Consideremos finalmente un problema que muestra que a menudo se necesita una

buena cantidad de creatividad necesaria para encontrar las invariantes apropiadas.
Sin embargo, una vez que se ha encontrado la invariante correcta, la solución es a
menudo considerablemente corta:

7
Ejemplo 1.0.8
√
Empezamos con los tres números 0, 1, 2, a la que se le aplica la siguiente ope-
ración repetidamente: se elige uno de los números y se suma un multiplo
√ racional
√
de la diferencia de los otros dos. ¿Es posible obtener la tripleta 0, 2 − 1, 2 + 1
después de una serie de aplicaciones de esta operación?

√
Solución: Ya que 2 es irracional, √ todos los números que se obtienen durante
este proceso deben tener la forma a + b 2 para algunos racionales a y b. Tal número
puede ser representado por el punto (a, b) en el plano. Consideramos el triángulo
que está formado por los tres números, en el principio, sus vértices son (0, 0), (1, 0)
y (0, 1). La operación descrita asciende a una traslación de uno de los puntos a lo
largo de una lı́nea paralela al lado opuesto del triángulo. Esta operación no cambia
el área del triángulo, por lo que el área permanece constante. En el principio, el área
es 12 . El triángulo que está formado por los tres puntos (0, 0), (−1, 1) y (1, 1), sin
√ √
embargo, tiene área 1, por lo que es imposible llegar a la tripleta 0, 2 − 1, 2 + 1.

2. Funciones Potenciales
Pasemos ahora a las funciones potenciales. Tales funciones a menudo se pueden
usar para probar que ciertos procesos tienen que terminar. Ya hemos visto un ejemplo
sencillo en el ejemplo 1.0.3 sin prestarle demasiada atención. Sin embargo, a menudo
es necesario introducir algunos parámetros complicados, como en los siguientes dos
problemas:
Ejemplo 2.0.1
Cada uno de los cuadrados de una tabla de n × m contiene 1 o −1, se nos permite
multiplicar cualquier fila o columna por −1 (es decir, invierta los signos de todas
las entradas).
Probar que es posible utilizar repetidamente esta operación para llegar a una tabla
cuyas sumas de filas y columnas son no negativos.

Solución: Procedemos de la siguiente manera: si la tabla actual tiene una fila o

columna cuya suma es negativo, multiplicamos sus entradas por −1. Por supuesto,
esto puede hacer que algunas otras sumas de filas o columnas sean negativas, por lo
que no está claro a priori que el proceso eventualmente terminará.

Para probar que este es realmente el caso, considere la suma de todas las entradas
de la tabla. Esta suma aumenta en al menos 2 con cada operación de este tipo, pero
obviamente es acotado arriba por mn (ya que cada entrada es como máximo 1). Por
lo tanto, el proceso tiene que terminar, que solo puede ocurrir si no hay ninguna fila
o columna cuya suma sea negativa.
Ejemplo 2.0.2
Doce ermitaños viven en un bosque, en casas que son verdes o marrón; algunos de
ellos mantienen amistades. Cada mes del año es el “mes especial” de uno de los
ermitaños, durante el transcurso de su mes especial, un ermitaño visita a todos
sus amigos.
Si las casas de la mayorı́a (más de la mitad) de sus amigos tienen un color que
difiere de el color de su propia casa, cambia el color de su casa. Demostrar: después

8
de un tiempo, ninguno de los ermitaños tendrá que cambiar más el color de su
casa.

Solución: El enfoque es similar al ejemplo anterior. Consideramos el número

de acuerdos, es decir, el número de parejas de amigos cuyas casas tienen el mismo
color. Cada vez que un ermitaño cambia el color de su casa, el número de acuerdos
aumenta según a las reglas, ya que ahora está de acuerdo con más de la mitad
de sus amigos. Dado que el número
  de acuerdos está limitado por arriba (por el
número total de pares, que es 12 2
= 66), no es posible crecer indefinidamente, lo
que significa que el proceso tiene que llegar a su fin, lo que sucede cuando ninguno
de los ermitaños tenga una razón para cambiar más el color de su casa.

3. Propuestos
1 Se colocan nueve piezas de ajedrez en la esquina inferior izquierda de un tablero
de ajedrez de 8 × 8 de tal manera que formen un cuadrado de 3 × 3. Se permite
que una pieza A salte sobre cualquier otra pieza B al cuadrado que es la imagen
especular de su casilla actual con respecto a la casilla de B. ¿Es posible mover
todo el cuadrado de 3 × 3 a la

a) arriba a la izquierda de la
b) arriba a la derecha de la

esquina del tablero de ajedrez

2 Arya y Bran están jugando un juego. Comienzan con 2008 monedas dispuestas
en cı́rculo, y juegan por turnos, empezando por Arya. En su turno, un jugador
puede retirar cualquier moneda, o si quedan dos monedas adyacentes, puede
retirar ambas. Gana el jugador que saca la última moneda. Demuestra que
Bran tiene una estrategia ganadora, no importa cómo juegue Arya.

3 Los números 1, 2, 3, · · · , n se escriben en una fila. Se permite intercambiar dos

números cualesquiera. Si se realizan 2023 veces estas operaciones, ¿es posible
que la disposición final de los números coincide con la original?

4 Se colocan diez monedas en un cı́rculo de tal manera que todas muestren “ca-
ra”. Ahora podemos realizar las siguientes operaciones:

• entregar cuatro monedas consecutivas;

• dar la vuelta a cinco monedas consecutivas, excepto la del medio.

¿Es posible llegar a la configuración donde todas las monedas muestren “cruz”?

5 Un rey se mueve en el tablero de ajedrez de tal manera que visita todas las
casillas exactamente una vez y vuelve al cuadrado original. Demostrar que el
número de movimientos diagonales en esta gira tiene que ser par.

9
6 De un tripleta (a, b, c) ∈ R3 formamos una nueva terna segun la regla
√ c √ a √ b
(a, b, c) → (b 2 + √ , c 2 + √ , a 2 + √ )
2 2 2
√ √ √
¿Es posible que obtengamos
√ el√triple (108 +√117 2, −196 − 54 2, 88 − 66 2)
de la triple (4 − 21 2, 28 + 9 2, −32 + 12 2) después de una serie de tales
pasos?

7 El cuadrante superior derecho del plano se divide en cuadrados unitarios. Seis

cuadrados en la esquina están marcados como se muestra en la Figura de
abajo. En cada uno de ellos colocamos una moneda. Ahora nosotros se permite
transformar la posición de acuerdo con la siguiente regla: si los cuadrados de
arriba y a la derecha de una moneda están vacı́os, podemos reemplazarlo por
dos monedas en estas casillas. Es ¿Es posible mover todas las monedas fuera
del área marcada? ¿Es posible si solo hay una moneda? en la cailla de la
esquina al principio.

8 Sea k ≥ 1 un número entero. Hay una mosca en cada casilla de (2k + 1) ×

(2k + 1). Tras una señal, cada mosca se mueve a un cuadrado adyacente en
diagonal (se permite que más de una mosca en una casilla). Determine el
número mı́nimo de casillas que permanecer vacı́o ahora.

10