Herramientas

Olimp adas Matemticas a Marzo de 2012

Principio de Invarianza De manera bastante frecuente, en algunas Olimp adas, suelen aparecer problemas relacionados con la Teor de Nmeros, Algebra o Combinatoria, que pueden ser resueltos (o al menos, ser encaminados) a u mediante el uso del principio de invarianza. El Principio de Invarianza se basa en lo siguiente: despus de realizar una operacin permitida o un e o paso, hay algunos factores que pueden no modicarse con respecto a las condiciones iniciales. Vemoslo ms claro con un ejemplo: supongamos que una computadora, en cada paso, hace la a a asignacin (a, b) (2ab, 2ba), donde, inicialmente, a y b son nmeros del conjunto N que conocemos o u de antemano (si fueran reales, dar lo mismo). Est claro que, nuestra secuencia ser a a a: (a, b) (2a b, 2b a) (3a 4b, 5b 2a) ... Veamos qu podemos inferir de la misma. Podr e amos elegir un entero positivo m y ver cmo cambia la o secuencia mdulo m (recordemos que conocemos a y b, y por lo tanto conocemos sus restos mdulo m). o o Sin duda, esto podr ser util, pero miremos algo ms supercial: la suma de los nmeros en cada paso a a u se mantiene constante, es decir no vara. En particular, si jamos a = 19 y b = 20, en cada paso, los nmeros que se van a generar van a seguir sumando 39. Si nos preguntaran si es posible partir desde u 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 nmeros de cada par ordenado. u Por otro lado, s supondr un desaf determinar si, por ejemplo, es posible partir del par (5, 30) y a o llegar al par (15, 20). La respuesta, como es de esperar, surge del principio de invarianza. Anteriormente vimos que la suma de los nmeros de cada par no cambia en cada paso. Veamos ahora que la suma u de los cuadrados de cada nmero no decrece en cada paso (a lo sumo, se mantiene igual). En efecto, u veamos que, la suma de los cuadrados de los nmeros del par (x, y) ser x2 + y 2 , y la suma de los u a 2 2 2 cuadrados del paso subsiguiente ser (2x y) + (2y x) = 5x 8xy + 5y 2 . Veamos que en efecto, a la suma de los cuadrados de los nmeros del segundo par, menos la suma de los cuadrados del primer u 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 nmeros de cada par, sabemos que si partimos del (5, 30), cuya suma de cuadrados es 925 claramente u 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 unico caso de que los dos nmeros sean iguales, que claramente u no es la situacin). o

Prueba por construccin o 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 construccin. Un simple enunciado como o ((Decidir si es posible cubrir un tablero usando chas como las de la gura)), a veces puede ser resuelto sencillamente mostrando una conguracin que funciona; aunque, mayormente, si la situacin fuera la o o contraria, demostrar que tal cubrimiento no existe podr resultar bastante ms dif a a cil. Este esquema se repite en problemas de Teor de Nmeros (y de Algebra, si se quiere) aunque con a u otras variables en juego. Es as que, como primera opcin, siempre est la de ((construir)) un ejemplo o a que funcione en nuestra situacin. Veamos ejemplos: o Diremos que un entero positivo es cuadrtico si no posee d a 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 cuadrtico a de n cifras. Construiremos un ejemplo que funciona para todo n 4 (para n = 1 tomamos el nmero 9, para u n = 2 el 34 y para n = 3 el 122). Es claro que todo entero positivo n est encerrado entre dos cuadrados a 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 nmero: u cn = 555 . . . 555 3434 . . . 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 encarndose a de esta manera. A veces, la dicultad de los mismos puede radicar en generar el ejemplo deseado. Lo que s es rescatable, es que la intuicin, en este tipo de casos, puede ser ms util que una demostracin o a o matemtica por comprensin (es decir, mostrando que existen, sin encontrar cules son exactamente). a o a Desigualdades cuadrticas a Resolver una inecuacin lineal puede ser algo rutinario. Por ejemplo, hallar todos los reales x tales o que 3x 1 + 2x no supone un gran desaf La cosa puede tornarse ms complicada si, en cambio, o. a 2 deseamos saber cules son los enteros positivos x tales que 12x + 6 x . En este caso, nuestros conoa cimientos de ecuaciones cuadrticas deben comenzar a ser utilizados. Antes que nada, reescribamos la a ultima desigualdad de la siguiente manera: 0 x2 12x 6 . Si gracamos la parbola correspondiente al polinomio P (x) = x2 12x 6 nos queda una grca a a como la de la gura:

En tal caso, si nosotros queremos que el valor de P (x) sea negativo, tenemos que lograr que la parbola de la grca quede por debajo del eje x. Eso ocurre solamente en el intervalo [A, B], donde a a A y B son los puntos de interseccin de la parbola con el eje x (es decir, son las ra de P (x)). En o a ces particular, obtuvimos que las soluciones a la inecuacin planteada son todos los reales que estn ((en o a 2 el medio)) de las dos ra ces de x 12x 6. Podemos encontrar tales ra ces usando cualquiera de los mtodos que ya conocemos. Es fcil vericar que A = 6 42 y B = 6 + 42. Por lo que los reales que e a verican la inecuacin son mayores o iguales a A y menores o iguales a B. Como lo que en realidad lo o que nos ped era hallar los naturales, deducimos trivialmente que son los del intervalo [1, 12]. an Discriminante Negativo A veces la situacin puede ser distinta a la planteada anteriormente. Por ejemplo, se nos puede o 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 cuadrtico y por ende su a grco es una parbola. Como su coeciente principal es positivo, la parbola abrir hacia arriba. Esto a a a a no parece decir mucho, pero en realidad dice bastante. La condicin a demostrar: P (x) > 0, equivale o a ver que P (x) no tiene ra reales; ya que, si las tuviera, el grco de P (x) intersectar al eje x en ces a a (al menos) algn punto. Ahora bien; sabemos que un polinomio cuadrtico no tiene ra reales en el u a ces unico caso en que su discriminante es un nmero negativo: a saber = b2 4ac < 0. u Como en nuestro caso, el discriminante de P (x) es 42 4 3 2 = 8, queda probado lo que nos ped Fijmonos que l grco de la parbola nunca corta al eje x, y que, en particular tiene su vrtice an. e e a a e ((por encima)) del mismo.

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 nmeros a1 , . . . , an (no todos cero) y n nmeros b1 , . . . , bn . Consideremos el siguiente u u polinomio P (x) = (a1 x + b1 )2 + (a2 x + b2 )2 + . . . + (an x + bn )2 Como P (x) es la suma de cuadrados (nmeros no negativos), se tiene que P (x) es no negativo para u todo x. Expandiendo los cuadrados: P (x) = (a2 + a2 + . . . + a2 )x2 + 2(a1 b1 + a2 b2 + . . . an bn )x + (b2 + b2 + . . . + b2 ) n 2 1 n 2 1 El coeciente principal de P (x) es (a2 + a2 + . . . + a2 ), que es un nmero positivo. Si gracsemos u a 1 2 n la parbola correspondiente a P (x) esta se abrir hacia arriba, y adems, como P (x) es siempre no a a a 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 (a2 + a2 + . . . + a2 )(b2 + b2 + . . . b2 ) 0 1 2 n 1 2 n De aqu se deduce trivialmente la desigualdad de Cauchy-Schwarz: (a1 b1 + a2 b2 + . . . an bn )2 (a2 + a2 + . . . a2 )(b2 + b2 + . . . + b2 ) 1 2 n 1 2 n Problemas Sugeridos La mayor de los problemas que siguen fueron extra a dos de alguna Olimp ada Argentina. Es aconsejable, en caso de resolverlo, tratar de consultar con alguien si la solucin obtenida es correcta. o Principio de Invarianza 1. Inicialmente, en el pizarrn, estn escritos los nmeros 1, 2, . . . , 2012. En cada paso, se borran o a u dos de los nmeros y se escribe su diferencia no negativa. Al cabo de 2011 pasos, queda un unico u nmero en el pizarrn. Determinar todos los posibles valores que pueden tomar dicho nmero. u o u 2. Se tiene una circunferencia est dividida en 6 arcos de igual longitud. En cada arco, y en el a sentido de las agujas del reloj, se escriben los nmeros 1, 0, 1, 0, 0, 0 (en ese orden). La operacin u o permitida consiste en elegir dos arcos consecutivos y aumentar en 1 los nmeros escritos en tales u arcos. Decidir si es posible que en algn momento los nmeros escritos en cada arco sean todos u u iguales. 3. Dado un par de enteros positivos (a, b) escritos en el pizarrn, en cada paso, Rata decide reemplazar o 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 nita de pasos, Rata puede escribir el par (2005,2010). Y el par (2004,2006)?

Demostracin por Construccin o o 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 nmeros enteros (x, y) u 2 2 que satisfacen la ecuacin x xy + y = n es un nmero entero mltiplo de 6. (Dicha cantidad o u u puede ser 0, que es mltiplo de 6, pero hay que demostrar que no puede ser innita.) u 3. Demostrar que si N es un nmero natural que no es divisible por 81 y se puede representar como u 2 2 2 N = a + b + c , con a, b y c enteros divisibles por 3, entonces N tambin se puede representar e 2 2 2 como N = x + y + z , de modo que x, y, z sean nmeros enteros y ninguno de ellos sea divisible u por 3. Discriminante Negativo
1 1. Si x e y son nmeros reales que satisfacen 3x + 4y = 3 , demostrar que x2 + y 2 > u 1 . 400

2. Sean a, b, c las longitudes de los lados de un tringulo. Demostrar que la siguiente desigualdad es a cierta para todo nmero real x: u b2 x2 + (b2 + c2 a2 )x + c2 > 0