XX Olimpiada Matematica del Cono Sur Argentina 2009 BANCO DE PROBLEMAS ESTOS PROBLEMAS SON ABSOLUTAMENTE CONFIDENCIALES HASTA MAYO DE 2010ALGEBRA Al, La sucesién (a,),,, esté definida por 4, =1Y 4, = 4,41, dy, =— para todo k> 1. Ay Demostrar que cada niimero racional positivo figura exactamente una vez en esta sucesién. Solucién Es claro que a, > 0 para n= 1,2,... y, para todo k2 1, D1, O 2 que existe un m tal que a,, basen =2 resulta de verificar w= v= 1; tenemos a, = i , Ba ‘Supongamos que la afirmacién se verifica para todas las fracciones ~ con y » con u + v=n. Hay dos casos. Podemos suponer que u # v. v Qsutv v, consideramos la fraccién vary ee u-y u,+¥, =(u-v)+v 1, pues a, #1 para g> 1: a, >1 parag par y 0 2. Este hecho se puede probar por induccién, pues x* = x +1 implica x! = x" +x"; en este punto, basta aplicar la. Entonces se demuestra, nuevamente hip6tesis inductiva para ny n—1, Sea y= por induccién, que x" + y” es entero, En particular, x°° + °° = Fyo99.x + Fao0s +7 es entero, de modo que Faa99 x = m - y°, donde m es entero. Como -1 1000., Pero Entonces basta probar que ( ai S0=() >(J2}” > (v2) =2"° > 1000, de donde se sigue el resultado deseado, Observacién. Notemos que podemos cambiar 0,001 por nimeros menores. Ad, Sea P un poligono convexo en el plano coordenado cuyos lados no contienen ningiin punto con ambas coordenadas enteras. Hay exactamente 2009 puntos con ambas coordenadas enteras en el interior de P. Hallar el minimo numero de intersecciones entre lados de P y rectas de la cuadricula que puede haber. (Una recta de la cuadricula es una recta de la forma x = ko y = k, con kentero.) Solucién Por cada punto reticular del interior de P trazamos una recta horizontal y una vertical. Sea xa cantidad de rectas horizontales ¢ y la de rectas verticales que se obtienen de este modo, Cada una de ellas interseca dos veces el perimetro de P, lo que da 2(x +) intersecciones de rectas de la cuadricula con lados de P. Estas intersecciones son distintas, pues el perimetro de P no contiene puntos reticulares. Luego el mimero total N’ de intersecciones satisface N > 2(x + y), Ahora, los 2009 puntos reticulares en el interior de P forman parte de los xy puntos de interseccién de las x rectas horizontales y las y rectas verticales mencionadas anteriormente; luego xy > 2009, De la desigualdad entre las medias aritmética y geométrica se deduce que xt y22yxy 2 2V2009 Como 2¥2009 > 89 y x+y es un entero, se infiere que x+y > 90. Luego N> 2(x +) > 2:90 = 180, La igualdad N= 180 es posible. Tomamos 45 rectas horizontales consecutivas y 45 rectas verticales consecutivas de la cuadricula. Estas determinan un arreglo cuadrado de 45? = 2025 puntos reticulares que se pueden encerrar en un cuadrado S de lados paralelos a Jos de la cuadricula, como en la figura. El lado de S se elige un poquito més grande que 44, para que S contenga exactamente los 2025 Puntos reticulares mencionados. Hay exactamente N’= 4-45 = 180 interseceiones delados de S con las lineas de la cuadricula. Sean A y B los dos puntos reticulares més altos de la columna derecha del arreglo. Sea Cel décimo séptimo (17) punto reticular en la fila superior del arreglo, contando de A hacia la izquierda. Hay exactamente 16 puntos reticulares en S que estdn por encima de larecta BC. Lo mismo ocurre con la recta £ que se obtiene al desplazar BC hacia arriba, en forma paralela a si misma, una distancia pequefia. Ahora £ y los lndos de S determinan un pentégono convexo P con exactamente 2025 ~ 16 = 2009 puntos reticulares en su interior. Ninguin lado de P pasa por un punto reticular. Finalmente, el valor de N correspondiente a Sy P es el mismo: N = 180.COMBINATORIA C1. Un corchete consta de 3 segmentos unitarios unidos formando dos angulos rectos. Hallar todos los valores de n para los cuales se puede construir un cuadrado [>] cuadriculado en cuadritos de 1 = 1 utilizando varios corchetes. Dos corchetes distintos que conforman el cuadrado solo pueden compartir un punto. Solucién La respuesta es n = 2.y todos los mde la forma n = 6k + 3 yn = 6k +5, k=0,1,2,.... Es evidente que n= 1 es imposible, y hay una construecién para n = 2 ae} (ver la figura). De ahora en més, > 3. . En un cuadrado Q cuadriculado de m * n hay (n + 1) segmentos unitarios horizontales y la misma cantidad de segmentos unitarios verticales. Esto nos da un total de 2n(n + 1) ‘segmentos unitarios, un niimero que debe ser divisible por 3 para que se pueda cumplir el objetivo. Luego m= 0 (mod 3) 0 m= 2 (mod 3). ‘Ademés, mostraremos que n debe ser impar. Supongamos que un cuadrado ; ‘cuadriculado de n x n se puede armar con corchetes siguiendo las reglas del enunciado. Diremos que un corchete cubre un cuadradito unitario si los tres segmentos del corchete son lados del mismo cuadradito unitario. Todos los cuadraditos unitarios del borde de Q deben estar cubiertos por diferentes corchetes. Digamos que el corchete que cubre el cuadradito superior izquierdo del cuadrado de n x n tiene la abertura hacia abajo. (La otra posibilidad es que la abertura esté hacia la derecha, que es un caso anilogo por simetria con respecto a la diagonal.) Entonces los corchetes que cubren la fila superior tienen que tener las aberturas hacia la izquierda, excepto el primer corchete de la izquierda. Del mismo modo, todos los corchetes que cubren la columna derecha, excepto el primero desde arriba, deben tener las aberturas hacia arriba. Con el mismo argumento en la tltima fila y 1a columna izquierda obtenemos que los corchetes del borde forman un ciclo como en la figura. En la segunda fila de Q, nos quedan n— 3 segmentos verticales que se deben cubrir con otros corchetes. Sean a y bel primero y el segundo desde la izquierda, En virtud del ciclo que hay en el borde, vemos que el corchete S que contiene a no puede estar a la izquierda de a; y la tinica manera de que S esté a la derecha de a es que tenga la abertura hacia arriba, lo que implica que S contiene a b. Luego los dos primeros segmentos unitarios verticales estén cubiertos por el mismo corchete. Ahora el mismo razonamiento demuestra los mismos resultados para los siguientes dos segmentos unitarios verticales, y asi sucesivamente, Por lo tanto los n ~3 segmentos verticales de la segunda fila de Q no cubiertos por los corchetes que cubren el borde se pueden dividir en pares, lo que significa que n-3 es par. Luego n debe ser impar. Recordando que n = 0 (mod 3) om = 2 (mod 3), obtenemos dos series posibles de valores para n> 3: n= 6k+3 yn=6k+5,k=0, 1,2, Reciprocamente, todos los mimeros recién listados son soluciones. Las construcciones para n= 3 y n= 5 son esencialmente tinicas. Se deducen de las consideraciones hechas més arriba.AB eed ‘A continuacién, teniendo la construccién para algun n impar, n= 2r + 1, obtenemos la de n+ 6, Demostrar este hecho es suficiente para completar la solucién por induccién. En cada lado del cuadrado de n * n, conn = 2r-+ 1, agregamos r + 1 corchetes con sus aberturas hacia Q (ver la titima figura), Luego agregamos r + 2.corchetes en cada lado, con las aberturas hacia fuera de Q, de modo que se ubiquen en los huecos formados por los r+ 1 corchetes anteriores. El resultado es un cuadrado de (n+4) x (n+ 4) al que le faltan los segmentos del perimetro. Lo que falta es agregar un ciclo alrededor que forme un cuadrado de (n + 6) x (n+ 6) y la demostracién esta completa. C2. En un torneo de bridge de 6 rondas participan 110 equipos. En cada ronda, los equipos se dividen en 55 pares, y cada par juega una partida, Ningiin par de equipos {jugé dos partidas. Demostrar que al finalizar el torneo hubo 19 equipos entre los que no hay dos que jugaron entre si. :Hay necesariamente 20 de tales equipos? Solucién ‘Veremos que en general, en un torneo de 6 rondas y 6k +2 equipos, k> 1, existen k+ 1 equipos entre los que no hay dos que jugaron entre si. Decimos que varios equipos son independientes si tienen esta tiltima propiedad. Diremos también que dos equipos son oponentes si se han enfrentado en alguna de las 6 rondas, Dado un tomeo de 6 rondas y 6k +2 equipos, k> 1, probaremos la siguiente afirmacion: Para cada j= 1, ..., k existen dos grupos de equipos A y B, de tamafios j y 5j +1 respectivamente, tales que todos los oponentes de todos los equipos de A pertenecen a B. Esto es suficiente para obtener un grupo de k + 1 equipos independientes. Consideremos los grupos 4 y B para j = k. El grupo A tiene k equipos y el grupo B tiene 5k + 1 equipos, entonces hay exactamente un equipo x afuera de A U B. Por construccién, x no es oponente de ningin equipo de A, y 4 es un grupo de equipos independientes. Luego, agregando x en 4 obtenemos k-+ 1 equipos independientes. La afirmacién es verdadera para j = 1: colocamos cualquier equipo en 4 y sus 6 ‘oponentes en B. (Es claro que cada equipo tiene 6 oponentes distintos.) Supongamos que para un j < kexisten los grupos A y B, y sea C el grupo de todos los equipos que estin afuera de A U B. En AU B hay j + (5j + 1) = 6/ + 1 equipos, esto es, un nimero impar. Como el nimero total de equipos, 6k + 2, es par, el nimero de equipos en C es impar. De modo que algin equipo y € C tiene un oponente z en AU B; en caso contrario, los equipos de C no pueden formar pares ni siquiera para una ronda. Pero por construccién todos los oponentes de todos los equipos de A estan en B. Luego z€ Ayentonces z € B. Colocamos yen A y agregamos a B los oponentes de y que estén en C, Notemos que se agregan a B a lo sumo 5 equipos, porque un oponente de y estaba en B antes de efectuar Jos tiltimos cambios: el equipo z, Luego el nuevo tamafio de B es alo sumo 5(j-+ 1) +1.Lo llevamos a 5(/+ 1) + 1 exactamente, si fuera necesario, pasando algunos equipos arbitrarios (a lo sumo 5) de C a B. Esto siempre es posible. Si al agregar los oponentes de y que estan en C al grupo B hace que el tamafio de este tiltimo sea 5j + 1 + r, donde = 0, 1, ...,4, necesitamos 5 —r equipos més en C para lograr que el tamafio de B sea 5(/+1) +1. Una cuenta sencilla muestra que han quedado en C 6(k —j) - r equipos que es>6—r, pues 3. Los dividimos en k~ 1 > 2 grupos A,,...., 4, de tamafio 6 y un grupo 4, de tamafio 8, En cada grupo 4,, 1 i+ 1 de los colores. Repetimos el patron 4,, 4,,...4, 50 veces para obtener una coloracién con 10 colores de los 6000 puntos alrededor de la circunferencia. Esto es posible, pues 6000 = 50-120. Sea A cualquier arco de longitud 100 de esta coloracién. Por la periodicidad podemos suponer que A comienza con un punto de un arco 4, , entonces contiene, con certeza, al color 0, Luego A contiene los arcos completos ,,...,4, que siguen a 4,, y al menos 4 puntos del siguiente arco 4,. Como el cuarto punto de 4, tiene color 9, y los colores 1, .,8 figuran en 4,...,.4,, concluimos que A contiene los 10 colores. Ahora tomamos cualquier arco B de longitud 88, y suponemos de nuevo que comienza en.un punto de un arco 4, Consideramos los siguientes arcos ,,...,4,. El iltimo punto de B esté o bien entre los 9 titimos puntos de 4, o bien entre los primeros tres puntosde 4,, que tienen color 8. Como 4,,A,,....4, no contienen el color 9, se infiere que tampoco lo contiene el arco B. La demostracién esta completa. C5, En un salén de clases, el profesor observ que cada vez. que formaba un grupo de 3 alumnos, siempre habja dos que se llevaban bien, y cada vez que formaba un grupo de 4 alumnos, siempre habia dos que no se llevaban bien. {Cul es la mayor cantidad de ‘alumnos puede haber en el salén? (Dos alumnos se llevan bien 0 no se Hlevan bien.) Solucién Sea n la cantidad de alumnos, los cuales son enumerados del 1 al n y colocados como vértices de un grafo, donde dos vértices tienen un enlace de color negro si los alumnos correspondientes se llevan bien y un enlace de color rojo en caso contrario. Lo que nos dice la condicién del problema es que en nuestro grafo no hay triéngulo rojo ni cuadrilétero completo negro. ‘ Lema: En cualquier grafo completo de 6 vértices donde los enlaces son pintados de negro o rojo, siempre hay un triéngulo monocromatico. Prueba del lema: Elegimos un vértice de dicho grafo del cual salen 5 enlaces; por el principio de casillas, 3 de ellos son del mismo color, supongamos negro. Si entre los Vértices extremos de dichos enlaces hay 2 con enlace negro, se forma un triéngulo negro, en caso contrario se forma un tridngulo rojo. a Veamos que n> 9 no cumple. Supongamos que n> 9, entonces del vértice 1 salen por Jo menos 8 enlaces. Si 6 de dichos enlaces son negros, entonces entre los 6 vértices extremos, por el lema, se forma un triéngulo rojo o un triéngulo negro. En el tiltimo caso se forma cuadrilétero completo negro agregando los enlaces negros al vértice 1. Por tanto a lo mas 5 de dichos enlaces son negros. Si 4 de dichos enlaces son rojos, entonces entre los vértices extremos no hay enlace rojo, pues se formaria tridngulo rojo; sin embargo se forma un cuadrilétero negro, por tanto a lo mas 3 de dichos enlaces son rojos. Luego, de cada vértice salen a lo sumo 5 enlaces negros y 3 enlaces rojos, lo que implica que n <5 +3+1=9, Luegon=9, y de cada vértive salen exactamente 5 enlaces negros y 3 enlaces rojos, Son 9 vértices en total, entonces la cantidad de enlaces negros es. 28 que no es entero. Por tanto n= 9 0 més no cumple y el n méximo seria n <8. Ahora mostramos un ejemplo con » = 8, donde los enlaces trazados son los rojos y los no trazados son los negros. C6, Ana y Beto juegan en un tablero de 11 filas y 9 columnas de la siguiente forma: Ana divide el tablero en 33 zonas, cada zona esta formada por 3 cuadraditos alineados vertical u horizontalmente: on Luego, Beto escoge algunos cuadraditos, y en cada uno de ellos coloca 1 mas monedas (Beto decide cudntas monedas coloca en cada cuadradito), de modo que cada zona contenga exactamente 5 monedas. Beto gana si, luego de colocar 10Jas monedas, consigue que la cantidad de monedas que hay en cada columna del tablero sea un niimero primo. En caso contrario, Ana gana. Determine quién tiene estrategia ganadora. Solucién Beto tiene estrategia ganadora. Antes de que Ana divida el tablero, Beto asigna a cada cuadradito los mtimeros A, B, C de la siguiente forma: 6 ESSESSESS5 esa) fa[s|= [ales] sfafes|=|alee[afale|s|a| ESSESSESSES aes /S apes] [alte / [alee] ps [oafee|&[a]e|s[oafes|a ESSESSESSES ft/s [a)se/s[alt|s [a]es| a [oafe[sfale|>lalts|a [al a Las letras escritas en el tablero son nimeros que representan la cantidad de monedas que Beto va a colocar en cada cuadradito, Notemos que cada zona formada por Ana va a contener exactamente una vez los niimeros A, B y C, por lo tanto, Beto tiene que hacer que 4+B+C=5. Ademés la suma de los mimeros de cada columna debe ser un niimero primo, es decir, 4(A+B+C)-C, MA+B+C)-A y 4(A+B4+C)-B deben ser primos; para esto basta que Beto haga A=3,B=C=1. WGEOMETRIA G1. Se tienen varios rectingulos cuyas reas suman 3, y cuyas dimensiones son todas menores 0 iguales que 1. Demostrar que con estos rectingulos es posible cubrir un cuadrado unitario de modo que sus lados sean paralelos a los lados del cuadrado. Solucién Colocamos los rectdingulos de manera que sus lados verticales sean respectivamente mayores (o iguales) que los horizontales, y los ordenamos en orden no creciente de sus lados verticales. Siguiendo este orden los colocamos sobre un cuadrado unitario Q de la siguiente manera. El primer rectngulo, uno con el mayor lado vertical a, se coloca en la esquina inferior izquierda de Q. Luego viene el segundo rectangulo, a la derecha del primero y sobre la misma base de Q, y asi siguiendo, Este proceso continia hasta que un recténgulo, de dimensiones 8, xc, con 4, > ¢, (2, es vertical) alcanza el lado vertical derecho de Q, en general sobresaliendo de Q. En ese momento trazamos la recta £ que contiene al lado superior de 6, x¢,. Los siguientes recténgulos se ubican de acuerdo con las mismas reglas sobre el segmento de ¢ comprendido entre los lados verticales de O. Es decir, primero ubicamos el rectangulo que sigue a 5, xc, en el orden que describimos al comienzo de la solucién, de manera que su lado vertical ap esté contenido en el lado vertical izquierdo de Q. Y luego el proceso contintia hacia la derecha hasta llegar de nuevo al lado vertical derecho de Q, luego de colocar un rectangulo b, xe, con b, 2¢,. 4, i Repitiendo lo mismo varias veces, colocamos todos los rectiingulos dados en ktiras tipo escalera S,,S,,...,,-Notemos que k> 1: en caso contrario todos los recténgulos, excepto tal vez el més pequetio, estarian contenidos en Q sin solapamientos, Io cual es imposible. La tira Sj comienza con un rectingulo de lado vertical a, y termina con un rectingulo , xc,, b, 2c,, que interseca al lado vertical derecho de Q. Si la tiltima tira, S;, esté incompleta (es decir, no Mega hasta el lado vertical derecho de Q), establecemos b, =0. Cada rectangulo esta incluido en una de las tiras S,,5,,...,, ¥ los rectingulos de una misma tira S;no se solapan. En consecuencia [S,]+[S,]+...+[S,]= » pues las areas de los recténgulos suman 3. Aqui [...] indica el area de una figura. Veamos que con este procedimiento O queda cubierto. Es suficiente probar que el vértice superior derecho de Q esta cubierto, es decir, que la suma b, +b, +...+b, = B es mayor 0 igual que 1. Sea £, la longitud del segmento formado por las bases de los rectangulos de Sj; entonces £, >1 y tenemos que S) esta contenido en un rectingulo de base ¢, y altura aj, pues ay es el mayor lado vertical de un rectingulo de $}. Luego [S, ]< ¢,a,. Ademés, la 12base de S) era menor que I antes de colocar el tiltimo rectingulo 6, xc,, y es mayor 0 igual que 1 después de colocar este recténgulo. De modo que 1<¢, <1+¢,, y como ¢, $b,, tenemos ¢, <1+,. Esto implica que [S,]<(1+5,)a,,j=1, ..., k, luego [5,]+[5,]+..+[5,]<(+4)a, +...+(1+5)a, = =a, + (ay +.) +44 +n. ab, - by. para j=2, Recordemos ahora que por las reglas del procedimiento, a, ademés, a, = max(4,,4,,....q,). Entonces $y any SB, +g ta ty SB, Hy tn By HB, ab, + a,b, +..+4,b, $4,(b +b, +..+B,)=a,B. En sintesis, como a, <1, obtenemos 3=[S\]+..+[S,] 1, como queriamos demostrar. Nota. La cota 3 no puede mejorarse si los rectingulos del cubrimiento deben colocarse con sus lados, paralelos a los del cuadrado unitario Q. Tomemos cualquier 0 <4 <3 y tres cuadrados congruentes de érea 4/3. Sus lados son menores que 1, luego ninguno de ellos cubre dos vértices de Q si se lo coloca con los lados paralelos a los de Q. G2. El trapecio ABCD, de bases AB y CD, esta inscrito en una circunferencia T. Sea.X un punto variable del arco AB de F que no contiene a C ni a D. Denotamos ¥ al punto de interseecién de AB y DX, y sea Zel punto del segmento CX tal que 2 a Demistrar que la medida de ZAZX no depende de la eleccién de X. Soh En primer lugar veremos que los triangulos ACX y YDA son semejantes. En efecto, ZACK = LADX= ZYDA por angulos inseritos. Ademés, como AB || CD implica que AD =BC, tenemos ee eee 2xAC = 390 +R) = 2 (D+ BR ZAYD, R< de donde se deduce la semejanza. Por esta semejanza, al punto SY Me aS aN Z del segmento XC le corresponde el punto Z’ del segmento AD tal que ¢ z Dado que los triéngulos ACX ¢ YDA ‘son semejantes, esta igualdad implica que los triangulos AZX e YZ’A también son semejantes. Luego ZAZX= ZAZ’Y. . m XZ_AY " Az’ _AY Por otra parte tenemos por hipétesis que Je ag’ He implica que = Entonces, por el teorema de Thales reciproco se deduce que ¥Z’ || BD, luego LAZY = ZADB. En sintesis, obtenemos ZAZX = ZADB para todo punto X del arco AB . Esto completa la demostracién, pues ZADB no depende de la eleccién de X. G3. Se tiene un poligono convexo P del plano y dos puntos U, V de su perimetro que dividen dicho perimetro en la proporcién 1 : 2. 13Tres puntos distintos del perimetro de P, que denotamos 4, B, C, comienzan a moverse simultaneamente a lo largo del perimetro, en un mismo sentido, y los tres Jo hacen con la misma velocidad. Demostrar que llegard un momento en el que uno de los segmentos AB, BC, CA tendra una longitud menor igual que la de UV. Solucién A lo largo de esta demostracién, la direccién del movimiento a lo largo del perimetro de P esta fija, digamos que en sentido contrario al del reloj. Todos los puntos considerados estardn en el perimetro, cosa que no especificaremos de aqui en més. Para dos puntos Y e Y, denotamos XY’ a la parte del perimetro comprendida entre Ye Yen la direccién elegida, y por [XY] a su longitud, Si suponemos que el perimetro tiene longitud 1, también podemos suponer que [UV] = i wy [Pu] =2 Finan en erica de generalidad, sea Be AC Como 4, By C se mueven a la misma velocidad, [4B], [BC] y [C4] no se modifican 1 durante el movimiento, Su suma es 1, de modo que la menor de ellas es <> y la mayor es 2 3 sea [AB] st y [Bc] zt. En el momento que A coincide con U, la respectiva posicién B’ de B esta en UV. Mas tarde B coincide con V, y la posicién de A’ esta nuevamente en UV’. Entre estos dos momentos, la recta AB interseca primero a la prolongacién de UV mas alla de U, mientras que interseca a la prolongacién de UV més allé de V cuando B se aproxima a V. Entonces, durante este movimiento continuo hay un momento en el que AB es paralelo a UV. Las respectivas posiciones de A y B estan en GV ; sean Ky L estas posiciones. De la misma manera, consideramos los momentos en los que C coincide con Vy cuando B coincide con U. Por argumentos similares, hay un momento entre ellos en el que BC es paralelo a UV. Denotamos Ny Ma las respectivas posiciones de B y C. Notemos que éstas estén en 7U , de modo que K, Ly M, N son pares de puntos que estan en lados diferentes de wy. Ab Los puntos K, L, M, N son los vértices de un trapecio de bases KL y MN (puede ser un paralelogramo). Por convexidad, los segmentos KN y LM estiin contenidos en P. Luego cortan al segmento UV, no a su prolongacién, digamos que en U, y Vy Ahora U,V, 2 min(KL, MN) (0 U,V, = KL= MN si KLMN es un paralelogramo), Como UV 2U,V,, una de las desigualdades KL < UV y MN < UV es verdadera. Esto completa la solucién, pues KL y MN son posiciones de AB y BC en ciertos instantes. “M G4, Sean Ad) y CC, alturas de un triéngulo acutingulo ABC. Sean ademas Jy Jlos incentros de los tridngulos 44\C y ACC, respectivamente, Las rectas Cy Ail se cortan en 7, Demuestre que las rectas AT y 7C son perpendiculares. Solucién Los puntos 7; Ai, C1, C pertenecen a una circunferencia, pues ZICC = LTAC = 45°. Por otro lado, AC\A\C es efclicopues ZAC\C = ZAA,C =90" . Por lo tanto, A, Ci, Ai, Cy T'son coneiclicos y el centro de su circunferencia circunserita es el punto medio de AC. Por lo tanto, ZATC = 90". G5. Dados tres puntos colineales 4, B y C con AB= BC, se ubica un punto P tal que ZPBC = 60°, Se construyen los tridngulos equiléteros PCO y APR tales que B y O estén en semiplanos diferentes con respecto a PC, y B y R estén en el mismo semiplano con respecto a AP. Sean X el punto de interseceién de las rectas BQ y PC, e Yel punto de interseeci6n de las rectas BR y AP. Pruebe que XY y AC son paralelos. Solucién Sean AB = BC =a, PB=by ¢ la recta que pasa por 4, B y C. Ubicamos el punto Den € de tal forma que BPD es equilatero. Notemos que al rotar 60° el triéngulo APC alrededor del punto P obtenemos el tridngulo RPQ, ademés, al rotar 60° el punto B alrededor de P obtenemos el punto D. Como B es punto medio de AC entonces D es punto medio de RQ, de donde RD = DO = ay ZPDQ = ZPBC = 60". Notemos también que DQ es paralelo a BP. Para probar que XY y AC son paralelos vamos a hacer uso del siguiente lema: ‘Lema: En la figura los segmentos AB, CD y EF son paralelos, entonces Prueba del lema: Como CD y AB son paralelos entonces los triingulos FCD y FAB son semejantes, entonces <=? , anitogamente, FA AB’ como los triéngulos ACD y AFE son semejantes, AC _CD entonces 4¢ =? eats eu lees CD AB’ EF Ubicamos los puntos Zen £ y F en BQ de tal forma que BP, EX y CF son paralelos. Como los triéngulos BDQ y BCF son semejantes (pues DQ y CF é BD _ BC @ 2 también son paralelos) entonces 22 = 2C ge «, eer DO cpt donde CR =F Aplicando el lema a los segmentos BP, EX y CF tenemos que 1 al ey BoeBeD EX BP CF ba Anélogamente, ubicamos Gen ¢ y Hen RY de tal forma que AH, GY y BP son paralelos. Como AH y DR también son paralelos entonces at a , de donde 2 AH ie Aplicando el lema a los segmentos AH, GY y BP tenemos que pal ese al ya baad GY AH BP ab Hemos demostrado que los segmentos EX y GY son de la misma longitud y ademas ambos forman 60° con £, por lo tanto XY es paralelo a 2. 15TEORIA DE NUMEROS NI. Hallar todos los enteros positivos m tales que 20" -13"—7" es divisible por 309. Solucién : Si nes par entonces 20" -13"—7" noes divisible por 3, luego tampoco es divisible por 309 = 3-103. En efecto, como 20, 13 y 7 no son divisibles por 3, sus cuadrados son todos congruentes a 1 médulo 3. Luego, para todo n par, 20" -13"-7" =1-1-1=-140(mod3) Si nes impar, podemos escribir 20" -13" -7" = 20" +(-13)" +(-7)". Por razones de claridad sean a= 20, b =~ 13, c=-7y S, =a" +b" +c". Tenemos S, = 20"-13"-7" s6lo si nes impar, pero determinaremos la divisibilidad de S, por 309 para todo n. Los nimeros a, b, c son las raices de la ecuacién cibica x’ —0,x” +0,x—0, =0, donde g,=a+b+c, 0, =ab+be+ea, o, = abc. De modo que, en particular, reemplazando x=a, tenemos a? —g,a” +0,a~-0, = 0. Multiplicamos ambos miembros por a”: a”™ —o,a"? +0,0"" -a,a" =0,n=1,2,.... Por simetria, valen igualdades anélogas para b y c. Suméndolas obtenemos la relacién de recurrencia Sees =G)Sqia + O2Spuq— 738, =0, = 1,2,...- ‘Ademés observamos que en nuestro caso 1G, = 20+ (-13)+(-7)=0, o, = 20(-13) + (-13)(-7) + (-7)20 Luego ¢, y o, son ambos divisibles por 309, lo que implica S,,3 = abeS, (mod 309) para todo n> 1. ‘Como abe = 20(-13)(-7) es coprimo con 309, vemos que S,,, es divisible por 309 si y s6lo si S, lo es. Entonces es suficiente verificar $,,8, y S,: s 3S, =a +b’ +c" =(at+b+c)' —20, = 2-309; S,=a° +b° +c? = 20° -13° -7° = 8000- 2197-343 = $460 = 2? -3-5-7-13 Luego S, no es divisible por 309 si y s6lo si n es divisible por 3. Recordemos ahora que estamos restringidos a los valores impares de n, que son los niimeros congruentes a 1, 3 0 5 médulo 6. Entre ellos, s6lo los del segundo tipo son divisibles por 3. Ahora sintetizando nuestras conclusiones llegamos a la respuesta: 20" -13”-7" es divisible por 309 si y s6lq sin = 6k+10n=6k+ 5, para k=0, 1,2, +bte= 'N2, Diremos que un conjunto de enteros positivos (distintos) es balanceado si, siempre que se los divide en dos partes no vacias, la suma de los niimeros en una de las partes es un divisor de la suma de los ntimeros de la otra. (Para qué n > 3 existe un conjunto balanceado de n elementos? Solucién Para cada n > 3 existe un conjunto balanceado {4,,...,4,}, a <...1+2+..+(n—1)= sy sea 16rm 22). tuego a, >n-1=a, ,, de modo que 4,,....a, son distintos, con 2: suma rM,. Para cada division de a,,....a, en dos grupos no vacios, el grupo que no contiene a a, tiene suma S, que es un divisor de M, por la eleccién de M. Entonces S divide a rM, que es la suma de todos los a, , de modo que $ divide a la suma de los mimeros del otro grupo, tal como necesitibamos. N3. Sea Suna sucesién de 1001 mimeros reales positivos (no necesariamente distintos), y sea A un conjunto de nimeros enteros positivos distintos. La operacién permitida es ‘legir un ke 4 y a continuaci6n seleccionar k mimeros de S'y reemplazarlos por su promedio (media aritmética). Supongamos que, dado un conjunto 4, se puede lograr que para cada S todos los rmimeros sean iguales, mediante una sucesién de operaciones permitidas. Hallar el valor minimo del méximo elemento de 4. Solucién La respuesta es 13, que es el mayor divisor primo de 1001 : Notemos que 1001 = 7-11-13; veremos que el conjunto 4 = {7, 11, 13} sirve para cada sucesidn S de 1001 niimeros. En efecto, dividimos S en 77 grupos arbitrarios de 13 niimeros cada uno, y le aplicamos la operacién a cada grupo, haciendo que en cada ‘grupo los ntimeros sean iguales. Sea a, el valor comin de los 13 mimeros del grupo i, para i= 1, ..., 77. Formamos 13 nuevos grupos de tamafio 77, de modo que cada uno de ellos contiene 4,,4,,4,,...4,. Basta mostrar que se puede lograr que todos los mimeros de uno de estos grupos nuevos sean iguales. Sea S; uno de estos grupos. Dividimos S1 en 7 grupos de 11 nimeros cada uno, y reemplazamos los 11 mimeros de cada grupo por su promedio, lo cual es posible porque 11 ¢ A. Digamos que ahora el grupo i consta de 11 mimeros b,, i= 1, ..., 7. Entonces es suficiente lograr nimeros iguales en un grupo S, = {b,,b,,...b,}. Dado que 7 € A, esto es posible de lograr, y asi se alcanza el objetivo de igualar los 1001 nimeros. Hasta acd hemos probado que el valor minimo m del maximo mimero de A es < 13. El siguiente ejemplo demuestra que m > 13. Consideremos la sucesién de 1000 nimeros 0 yun 1; entonces el promedio final es una fraccién con denominador divisible por 13. Por otra parte, jams se puede obtener una fraccién con estas caracteristicas si todos los mimeros de 4 son menores que 13. En efecto. observamos que si k < 13 y k fracciones irreducibles tienen denominadores que no son divisibles por 13, lo mismo ocurre con su suma y con su promedio. Esto se debe a que 13 es primo, de modo que el minimo comiin miltiplo de mimeros que no son divisibles por 13 es un miimero que tampoco es divisible por 13. Al hacer el promedio, este minimo comin multiplo se multiplica por k< 13, luego, no aparece ningiin factor 13. Sélo falta notar que inicialmente ninguno de los denominadores es miiltiplo de 13 (son todos iguales a 1), luego lo mismo ocurre a lo largo de todo el proceso, Por lo tanto, es imposible lograr el objetivo si m < 13, lo que completa la solucién. N4. Un cuadrado cuadriculado de 300 x 300 esté dividido en rectingulos mediante varias rectas horizontales y verticales que siguen Iineas de la cuadricula. Los rectngulos se colorean con tres colores 1, 2, 3 de modo que un rectingulo que esté a continuacién de uno de color 1, tanto hacia la derecha como hacia abajo, es de color 2; del mismo modo, un recténgulo que esta a continuacién de uno de color 2 es de color 3, y un recténgulo que est a continuacién de uno de color 3 es de color 1 7Demostrar que los mimeros de cuadraditos unitarios de color 1, de color 2 y de color 3 tienen el mismo resto en la divisién por 3. Solucién El cuadrado de 300 x 300 se parte en cuadrados de 3 * 3. Veremos que la afirmacién del enunciado es verdadera para cada uno de ellos, y en consecuencia también es verdadera para el cuadrado de 300 x 300. Sea Q un cuadrado de 3 x 3 de la particién. Supongamos que dos de las rectas verticales que dividen al cuadrado de 300 « 300 intersecan a Q. Entonces los tres cuadraditos unitarios de cada fila de Q pertenecen a diferentes recténgulos (de la descomposicién del cuadrado de 300 x 300), que son consecutivos de izquierda a derecha, y por lo tanto tienen tres colores distintos. De modo que los tres cuadraditos mencionados tienen, en algiin orden, los colores 1, 2, 3, lo que implica que Q tiene exactamente 3 cuadraditos de cada color. Luego, en este caso, la afirmacién es verdadera. Por simetria, también vale si Q interseca a dos rectas horizontales de la divisién inicial del cuadrado de 300 x 300. Si ninguna de las rectas verticales interseca a @ entonces los tres cuadraditos de cada fila pertenecen al mismo rectangulo, y por ende tienen el mismo color. De modo que el niimero de cuadraditos de cada color contenidos en Q es miltiplo de 3 (puede ser 0). Por simetria, falta el caso en el que @ interseca exactamente una recta vertical y una horizontal, que llamaremos v yh, respectivamente. Ahora v y h dividen a Q en 4 partes que pertenecen a 4 recténgulos diferentes. Dos de ellos, diagonalmente opuestos, son del mismo color, digamos de color 2; los otros dos rectingulos, también diagonalmente opuestos, llevan colores I y 3. Hay 4 ubicaciones posibles para el punto de interseccién de vy h. Por inspeccién directa de estos casos se obtiene que los niimeros de cuadraditos de colores 1, 2, 3 son: 1, 4, 4; 2, 5,2; 2, 5, 2;4, 4, 1. En cada terna los niimeros son congruentes médulo 3. Por lo tanto, la afirmacién es verdadera para cada cuadrado de 3 3 de la particion, y la solucién esté completa. 18