Herramientas

Olimpı́adas Matemáticas
Marzo de 2012

Principio de Invarianza

De manera bastante frecuente, en algunas Olimpı́adas, suelen aparecer problemas relacionados con
la Teorı́a de Números, Álgebra o Combinatoria, que pueden ser resueltos (o al menos, ser encaminados)
mediante el uso del principio de invarianza.

El Principio de Invarianza se basa en lo siguiente: después de realizar una operación permitida o un

paso, hay algunos factores que pueden no modificarse con respecto a las condiciones iniciales.

Veámoslo más claro con un ejemplo: supongamos que una computadora, en cada paso, hace la
asignación (a, b) 7→ (2a−b, 2b−a), donde, inicialmente, a y b son números del conjunto N que conocemos
de antemano (si fueran reales, darı́a lo mismo). Está claro que, nuestra secuencia serı́a:

(a, b) 7→ (2a − b, 2b − a) 7→ (3a − 4b, 5b − 2a) 7→ ...

Veamos qué podemos inferir de la misma. Podrı́amos elegir un entero positivo m y ver cómo cambia la
secuencia módulo m (recordemos que conocemos a y b, y por lo tanto conocemos sus restos módulo m).
Sin duda, esto podrı́a ser útil, pero miremos algo más superficial: la suma de los números en cada paso
se mantiene constante, es decir no varı́a. En particular, si fijamos a = 19 y b = 20, en cada paso, los
números que se van a generar van a seguir sumando 39. Si nos preguntaran si es posible partir desde
el par (19, 20) y llegar al par (15, 25), sabemos que la respuesta es NO, por el principio de invarianza
aplicado a la suma de los números de cada par ordenado.

Por otro lado, sı́ supondrı́a un desafı́o determinar si, por ejemplo, es posible partir del par (5, 30) y
llegar al par (15, 20). La respuesta, como es de esperar, surge del principio de invarianza. Anteriormente
vimos que la suma de los números de cada par no cambia en cada paso. Veamos ahora que la suma
de los cuadrados de cada número no decrece en cada paso (a lo sumo, se mantiene igual). En efecto,
veamos que, la suma de los cuadrados de los números del par (x, y) serı́a x2 + y 2 , y la suma de los
cuadrados del paso subsiguiente serı́a (2x − y)2 + (2y − x)2 = 5x2 − 8xy + 5y 2 . Veamos que en efecto,
la suma de los cuadrados de los números del segundo par, menos la suma de los cuadrados del primer
par es mayor o igual a 0:

5x2 − 8xy + 5y 2 − (x2 + y 2 ) = 4x2 − 8xy + 4y 2 = 4(x2 − 2xy + y 2 ) = 4(x − y)2 ≥ 0

Ahora bien, si utilizamos el principio de invarianza con respecto a la suma de los cuadrados de los
números de cada par, sabemos que si partimos del (5, 30), cuya suma de cuadrados es 925 claramente
no vamos a poder llegar al par (15, 20), cuya suma de cuadrados es 625, ya que la suma de los cuadrados
crece en cada paso (se mantiene igual en el único caso de que los dos números sean iguales, que claramente
no es la situación).
Prueba por construcción

Hay un tipo de problemas, cuya presencia se ha tornado bastante frecuente en las Olimpı́adas
de este continente: aquellos que requieren una prueba por construcción. Un simple enunciado como
((Decidir si es posible cubrir un tablero usando fichas como las de la figura)), a veces puede ser resuelto
sencillamente mostrando una configuración que funciona; aunque, mayormente, si la situación fuera la
contraria, demostrar que tal cubrimiento no existe podrı́a resultar bastante más difı́cil.

Este esquema se repite en problemas de Teorı́a de Números (y de Álgebra, si se quiere) aunque con
otras variables en juego. Es ası́ que, como primera opción, siempre está la de ((construir)) un ejemplo
que funcione en nuestra situación. Veamos ejemplos:

Diremos que un entero positivo es cuadrático si no posee dı́gitos 0, y la suma de los cuadrados de
sus dı́gitos es un cuadrado perfecto. Demostrar que para todo n, existe un entero positivo cuadrático
de n cifras.

Construiremos un ejemplo que funciona para todo n ≥ 4 (para n = 1 tomamos el número 9, para
n = 2 el 34 y para n = 3 el 122). Es claro que todo entero positivo n está encerrado entre dos cuadrados
perfectos de la siguiente manera:
k 2 ≤ n < (k + 1)2
Es decir que k 2 ≤ n ≤ k 2 + 2k, o sea que podemos expresar a n como k 2 + r siendo r un entero
positivo entre 0 y 2k. Ahora, consideremos el siguiente número:

. . 555} 3434
cn = |555 .{z | .{z
. . 3434}
k2 −r r veces 34

Es claro que tiene k 2 + r = n dı́gitos. Veamos que la suma de ellos es un cuadrado:

52 · (k 2 − r) + r(32 + 42 ) = 52 (k 2 − r + r) = 52 k 2 = (5k)2

El mensaje no es que los problemas, en general, pueden resolverse de manera inmediata encarándose
de esta manera. A veces, la dificultad de los mismos puede radicar en generar el ejemplo deseado. Lo
que sı́ es rescatable, es que la intuición, en este tipo de casos, puede ser más útil que una demostración
matemática por comprensión (es decir, mostrando que existen, sin encontrar cuáles son exactamente).

Desigualdades cuadráticas

Resolver una inecuación lineal puede ser algo rutinario. Por ejemplo, hallar todos los reales x tales
que 3x ≥ 1 + 2x no supone un gran desafı́o. La cosa puede tornarse más complicada si, en cambio,
deseamos saber cuáles son los enteros positivos x tales que 12x + 6 ≥ x2 . En este caso, nuestros cono-
cimientos de ecuaciones cuadráticas deben comenzar a ser utilizados. Antes que nada, reescribamos la
última desigualdad de la siguiente manera:

0 ≥ x2 − 12x − 6

.
Si graficamos la parábola correspondiente al polinomio P (x) = x2 − 12x − 6 nos queda una gráfica
como la de la figura:

2
 En tal caso, si nosotros queremos que el valor de P (x) sea negativo, tenemos que lograr que la
parábola de la gráfica quede por debajo del eje x. Eso ocurre solamente en el intervalo [A, B], donde
A y B son los puntos de intersección de la parábola con el eje x (es decir, son las raı́ces de P (x)). En
particular, obtuvimos que las soluciones a la inecuación planteada son todos los reales que están ((en
el medio)) de las dos raı́ces de x2 − 12x − 6. Podemos encontrar
√ tales raı́ces
√ usando cualquiera de los
métodos que ya conocemos. Es fácil verificar que A = 6 − 42 y B = 6 + 42. Por lo que los reales que
verifican la inecuación son mayores o iguales a A y menores o iguales a B. Como lo que en realidad lo
que nos pedı́an era hallar los naturales, deducimos trivialmente que son los del intervalo [1, 12].

Discriminante Negativo

A veces la situación puede ser distinta a la planteada anteriormente. Por ejemplo, se nos puede
pedir demostrar que 3x2 + 4x + 2 > 0 para cualquier valor real que tome x.

Lo que ayuda en este caso, es tratar de inferir la mayor cantidad de datos posibles sobre los datos
que nos dan. Por ejemplo, notemos que el polinomio P (x) = 3x2 + 4x + 2 es cuadrático y por ende su
gráfico es una parábola. Como su coeficiente principal es positivo, la parábola abrirá hacia arriba. Esto
no parece decir mucho, pero en realidad dice bastante. La condición a demostrar: P (x) > 0, equivale
a ver que P (x) no tiene raı́ces reales; ya que, si las tuviera, el gráfico de P (x) intersectarı́a al eje x en
(al menos) algún punto. Ahora bien; sabemos que un polinomio cuadrático no tiene raı́ces reales en el
único caso en que su discriminante es un número negativo: a saber ∆ = b2 − 4ac < 0.

Como en nuestro caso, el discriminante de P (x) es 42 − 4 · 3 · 2 = −8, queda probado lo que nos
pedı́an. Fijémonos que él gráfico de la parábola nunca corta al eje x, y que, en particular tiene su vértice
((por encima)) del mismo.

3
 Ahora, utilizando este concepto, se pueden deducir muchos resultados de gran utilidad.
A modo de ejemplo, vamos a demostrar la desigualdad de Cauchy-Schwarz (no trivial) utilizando
esta idea.
Consideremos n números a1 , . . . , an (no todos cero) y n números b1 , . . . , bn . Consideremos el siguiente
polinomio
P (x) = (a1 x + b1 )2 + (a2 x + b2 )2 + . . . + (an x + bn )2
Como P (x) es la suma de cuadrados (números no negativos), se tiene que P (x) es no negativo para
todo x. Expandiendo los cuadrados:

P (x) = (a21 + a22 + . . . + a2n )x2 + 2(a1 b1 + a2 b2 + . . . an bn )x + (b21 + b22 + . . . + b2n )

El coeficiente principal de P (x) es (a21 + a22 + . . . + a2n ), que es un número positivo. Si graficásemos
la parábola correspondiente a P (x) esta se abrirı́a hacia arriba, y además, como P (x) es siempre no
negativo, tendremos que a lo sumo intersecta al eje x en un punto. Ahora, utilizando la idea del
discriminante negativo en este caso, lo que en realidad nuestro polinomio P (x) oculta es que: ∆ =
b2 − 4ac ≤ 0. Es decir que:

4(a1 b1 + a2 b2 + . . . an bn )2 − 4 · (a21 + a22 + . . . + a2n )(b21 + b22 + . . . b2n ) ≤ 0

De aquı́ se deduce trivialmente la desigualdad de Cauchy-Schwarz:

(a1 b1 + a2 b2 + . . . an bn )2 ≤ (a21 + a22 + . . . a2n )(b21 + b22 + . . . + b2n )

Problemas Sugeridos
La mayorı́a de los problemas que siguen fueron extraı́dos de alguna Olimpı́ada Argentina. Es acon-
sejable, en caso de resolverlo, tratar de consultar con alguien si la solución obtenida es correcta.

Principio de Invarianza

1. Inicialmente, en el pizarrón, están escritos los números 1, 2, . . . , 2012. En cada paso, se borran
dos de los números y se escribe su diferencia no negativa. Al cabo de 2011 pasos, queda un único
número en el pizarrón. Determinar todos los posibles valores que pueden tomar dicho número.

2. Se tiene una circunferencia está dividida en 6 arcos de igual longitud. En cada arco, y en el
sentido de las agujas del reloj, se escriben los números 1, 0, 1, 0, 0, 0 (en ese orden). La operación
permitida consiste en elegir dos arcos consecutivos y aumentar en 1 los números escritos en tales
arcos. Decidir si es posible que en algún momento los números escritos en cada arco sean todos
iguales.

3. Dado un par de enteros positivos (a, b) escritos en el pizarrón, en cada paso, Rata decide reemplazar
este par por cualquiera de los siguientes:

(a, 2b)
(2a, b)
(a − b, b) (si b < a)
(a, b − a) (si a < b)

Determinar si a partir del par (1, 1) y al cabo de una cantidad finita de pasos, Rata puede escribir
el par (2005,2010). ¿Y el par (2004,2006)?

4
Demostración por Construcción

1. Demuestre que el producto de dos sumas de cuadrados perfectos es otra suma de cuadrados
perfectos.

2. Sea n un entero positivo. Demostrar que la cantidad de pares ordenados de números enteros (x, y)
que satisfacen la ecuación x2 − xy + y 2 = n es un número entero múltiplo de 6. (Dicha cantidad
puede ser 0, que es múltiplo de 6, pero hay que demostrar que no puede ser infinita.)

3. Demostrar que si N es un número natural que no es divisible por 81 y se puede representar como
N = a2 + b2 + c2 , con a, b y c enteros divisibles por 3, entonces N también se puede representar
como N = x2 + y 2 + z 2 , de modo que x, y, z sean números enteros y ninguno de ellos sea divisible
por 3.

Discriminante Negativo

1. Si x e y son números reales que satisfacen 3x + 4y = 31 , demostrar que x2 + y 2 > 1

400
.

2. Sean a, b, c las longitudes de los lados de un triángulo. Demostrar que la siguiente desigualdad es
cierta para todo número real x:

b2 x2 + (b2 + c2 − a2 )x + c2 > 0