REVISTA MATEMATICA DEL PROGRAMA JOVENES TALENTO

Numero 7 Diciembre 2011

 REVISTA MATEMATICA DEL PROGRAMA JOVENES TALENTO N mero 7 (Diciembre 2011) u

Quines somos e
El Programa Jvenes Talento de El Salvador (PJT), cuya sede se encuentra en San Salvador, es un o proyecto conjunto de la Universidad de El Salvador y el Ministerio de Educacin que brinda atencin o o a alumnos con rendimiento destacado en matemtica y ciencias naturales. Asimismo, en sus ms de 10 a a aos de existencia, ha estado a cargo de la seleccin y preparacin de las delegaciones que representan n o o a El Salvador en diversas competencias internacionales. La Revista Matemtica del PJT fue fundada en 2009 con el objetivo de estimular el estudio de la a matemtica a un alto nivel, con nfasis en la tradicin de las olimpiadas de matemtica. Est dirigida a e o a a a alumnos familiarizados con la resolucin de problemas, instructores, profesores y al lector interesado o en la matemtica en general. Inicialmente concebida en el contexto del PJT, la presente publicacin a o pretende convertirse en una referencia seria de la investigacin matemtica en El Salvador y la regin o a o centroamericana.

Editor
Gabriel Chicas (University of Tokyo) Correo electrnico: gachr.ebc253@gmail.com o

Colaboradores
Agradecimientos especiales al Ing. Eduardo Aguilar, al Ing. Edwin Jurez (University of Southern a California) y al Lic. Riquelmi Cardona (University of Denver) por participar en la correccin de errores o del presente nmero. u

Suscripcin o
La presente es una publicacin digital distribuida mediante correo electrnico. Para suscribirse fao o vor escribir a la direccin remat.pjt@gmail.com. o Los interesados en una impresin de la revista pueden contactar a la Asociacin de Padres de o o Familia del PJT (ASTALENTO), que hace circular (de manera limitada) una versin en papel. Su o direccin de contacto es astalento@gmail.com. o

Cmo contribuir o
La Revista Matemtica del PJT invita cordialmente a participar en su elaboracin a todos los a o miembros del Programa (alumnos, instructores, catedrticos, padres de familia) y al lector interesado a en general.

Art culos. Se invita a los lectores a contribuir con sus trabajos originales sobre matemtica a elemental. El documento deber incluir las referencias acadmicas usadas en su elaboracin y la a e o informacin de contacto de su autor, incluyendo: Nombre, aliacin acadmica y correo o o e electrnico. o Columna de problemas. Se desaf a los lectores a enviar sus soluciones creativas a los proba lemas de esta seccin, as como a proponer problemas originales para la columna del siguiente o nmero. El archivo enviado deber incluir la informacin de contacto del autor, y en el caso de u a o un problema propuesto su respectiva procedencia (nombre del libro, olimpiada, o autor del problema). Se dar prioridad a problemas originales. a Caf Matemtico. Se acepta todo tipo de material de divulgacin matemtica, incluyendo: e a o a Historia de las matemticas, biograf de matemticos famosos, acertijos, humor matemtico, a as a a etc. Tener en cuenta que esta seccin est orientada hacia un pblico ms amplio, por lo que se o a u a evitarn documentos demasiado tcnicos. a e

Contacto
Se solicita a los lectores enviar sus contribuciones, preguntas o comentarios a la siguiente direccin: o remat.pjt@gmail.com.

Prximo n mero o u
El nmero 8 de la revista est programado para ABRIL DE 2012. u a

ii

Contenidos
Art culos (p. 1)
Forma paramtrica de la cornoide e Carlos Alvarez (Universidad de El Salvador) Funciones generadoras Aarn Ram o rez (Universidad de El Salvador)

Problemas ol mpicos (p. 19)

Presentamos los problemas de las diversas competencias internacionales celebradas en el transcurso del ao, junto con los resultados obtenidos por El Salvador en cada una de ellas. n

Problemas de la Olimpiada Matemtica de la Cuenca del Pac a co 2011 La Asian Pacic Mathematics Olympiad (APMO) es una de las competencias regionales de mayor prestigio en el mundo. Se caracteriza por ser una prueba no presencial, es decir, la prueba es administrada de manera local en cada uno de los pa concursantes. Los unicos pa que tienen derecho a ses ses participar son aquellos que poseen costas en el ocano Pac e co, y es por este motivo que El Salvador puede entrar en la competencia. Por regla general la Olimpiada es celebrada el segundo lunes de marzo de cada ao. n Los premios obtenidos este ao son: n Gerardo Augusto Urbina Snchez a Problemas de la Olimpiada de Mayo 2010 La Olimpiada de Mayo es una competencia no presencial a nivel iberoamericano organizada por Argentina. Fue planeada por primera vez en 1995 por la entonces recin fundada Federacin Iberoae o mericana de Competencias Matemticas, la cual se inspir en la Asian-Pacic Mathematics Olympiad a o como modelo a seguir. La Olimpiada de Mayo est organizada en dos niveles: el nivel I, dirigido a a estudiantes menores de 13 aos, y el nivel II, para alumnos entre 13 y 15 aos de edad. n n Debido a un problema con la publicacin de los resultados ociales, por el momento no se cuenta o con una lista completa de los estudiantes premiados en este evento. Por este motivo la presentacin de o dichos resultados ser pospuesta hasta contar con ms informacin. a a o Problemas de la Olimpiada Matemtica de Centroamrica y el Caribe 2011 a e La Olimpiada Matemtica de Centroamrica y el Caribe (OMCC) es una competencia regional a e creada en 1999 con el objetivo de estimular el estudio de la matemtica en el rea centroamericana. a a Actualmente participan 12 pa ses: Colombia, Costa Rica, Cuba, El Salvador, Guatemala, Honduras, Mxico, Nicaragua, Panam, Puerto Rico, Repblica Dominicana y Venezuela. Cada pa puede pare a u s ticipar enviando una delegacin de tres estudiantes no mayores de 16 aos. La 13a edicin de la OMCC o n o fue celebrada en junio del presente ao en Mxico, y los resultados obtenidos por la delegacin saln e o vadorea son: n Medalla de bronce

iii

Jeanette Alejandra Fernndez Rivera a Oscar Armando Hidalgo Arvalo e Andrs Fernando Rosa Aparicio e

Medalla de bronce Medalla de plata Medalla de plata

Problemas de la Olimpiada Internacional de Matemtica 2011 a La IMO (International Mathematical Olympiad ) es la competencia de matemtica de ms prestigio a a y dicultad a nivel preuniversitario. Fue celebrada por primera vez en Rumania en 1959, lo que la convierte en la olimpiada internacional de ciencias ms antigua. Aunque en sus primeros aos estuvo a n connada a los pa de Europa del Este, con el pasar del tiempo se ha convertido en un evento de ses carcter mundial, con 564 participantes de 101 pa a ses de todo el mundo en 2011. La 52a edicin de o la IMO fue celebrada en julio del presente ao en los Pa Bajos. Los estudiantes clasicados para n ses representar a El Salvador fueron: Ramn Sanfeli Bneke o u e Gerardo Augusto Urbina Snchez a Problemas de la Olimpiada Iberoamericana de Matemtica 2011 a La Olimpiada Iberoamericana de Matemtica (OIM) es la competencia matemtica de mayor prestia a gio y dicultad a nivel latinoamericano. Fue celebrada por primera vez en 1989 a iniciativa de Colombia y Argentina, como respuesta a la falta de un evento que involucrara a todos los pa ses de la regin. o Desde ese entonces el nmero de pa participantes ha ido en aumento hasta comprender 23 pa u ses ses iberoamericanos. Cada uno de ellos puede enviar una delegacin de cuatro estudiantes no mayores o de 18 aos; adems cada estudiante puede participar un mximo de dos veces en la OIM. La 26a n a a olimpiada fue celebrada en Costa Rica en septiembre del presente ao, y los resultados de la delen gacin salvadorea son: o n Byron Thonatiu Escobar Ben tez Jos Daniel Madrid Bautista e Ramn Sanfeli Bneke o u e Gerardo Augusto Urbina Snchez a Medalla de bronce Mencin honor o ca Mencin honor o ca Medalla de plata

Columna de problemas (p. 28)

En esta seccin se incluyen 5 problemas de desaf a los lectores, quienes estn invitados a resolvero o a los y enviar sus mejores soluciones a la revista. Las soluciones ms originales sern publicadas en el a a siguiente nmero. u Se ha introducido un nuevo formato en los enunciados de la columna. De ahora en adelante los problemas originales sern marcados expl a citamente por la palabra original, mientras que un problema sugerido indica que el proponente no es el autor del problema en cuestin. Esto tiene dos objetivos: o el primero es evitar plagios y conictos de derechos de autor, y el segundo es resaltar el mrito de e los autores que crearon sus propios problemas. El editor espera que en el futuro haya abundancia de problemas originales, de modo que eventualmente esta distincin se vuelva innecesaria. o Problemas abiertos Los siguientes problemas todav permanecen sin resolver: 18, 25. a

iv

Fe de errata Pedimos disculpas por el error de redaccin en el problema 26. Agradecemos a Daniel Campos o (Universidad de Costa Rica) quien tuvo la amabilidad de informarnos. Incluimos en la presente columna una versin corregida del problema. o

Caf Matemtico (p. 35) e a

Reunimos algunos hechos curiosos, perfectos para romper el hielo con un matemtico. En este a nmero hablamos sobre cubos, arcngeles, curvas el u a pticas y ms. a

Forma paramtrica de la cornoide e

Carlos Alvarez 20 de diciembre de 2011

1.

Abordando la cornoide clsica a

La cornoide es una curva algebraica de sexto grado descubierta en 1941 por el Ing. Alberto Snchez, a quien proporcion un mtodo de construccin y estudi algunas de sus propiedades. o e o o Denicin 1. La cornoide es la curva plana denida por la ecuacin o o (x2 + y 2 )3 = 5r2 y 4 8r4 y 2 3r4 x2 + 6r2 x2 y 2 + 4r6 donde r > 0 es una constante. La circunferencia de radio r con centro en el origen es llamada la generatriz de la cornoide. La terminolog se hace evidente una vez consideramos la construccin geomtrica brindada por a o e Snchez, la cual l denomina la ley de la cornoide: a e Trcese un c a rculo con un radio cualquiera; div dase la semicircunferencia superior en partes iguales, dir janse radios a las divisiones del primer cuadrante y levntense tangentes es sus extremidades; a bjense perpendiculares a estas tangentes de las divisiones respectivas del segundo cuadrante, y uniena do los puntos de divisin por medio de un trazo continuo se trendra la curva en cuestin. [1] o o

Figura 1: La cornoide clsica de Snchez a a

1.1.

Forma paramtrica e

El objetivo de esta seccin es deducir una ecuacin paramtrica para la curva basndose en la conso o e a truccin original de Snchez. o a Teorema 1. Sea c : R R2 , t (x(t), y(t)) una parametrizacin de la circunferencia generatriz. o Entonces la cornoide puede ser representada por la ecuacin o C(t) = donde t es un parmetro real. a Demostracin. Sea P un punto de la circunferencia de dimetro AB y Q el punto de interseccin o a o de la circunferencia con la paralela por P al dimetro AB. Desde P se traza la recta tangente a la a circunferencia y desde Q la perpendicular a dicha tangente. Sea C el punto interseccin de ambas o rectas. Cuando el punto P describe la circunferencia, el punto C describe la cornoide. Nos dan la parametrizacin P (t) = (x(t), y(t)), y de aqu es inmediato obtener las coordenadas de o Q(t) = (x(t), y(t)). Ahora bien, la ecuacin de L1 , la tangente a la circunferencia c por P , est dada o a por y= x(t) (x x(t)) + y(t). y(t) (x(t)2 y(t)2 )x(t) 2y(t)x(t)2 , y(t) + 2 + y(t)2 x(t) x(t)2 + y(t)2

Asimismo calculando ecuacin de L2 , la perpendicular a L1 por Q queda o y= y(t) (x + x(t)) + y(t). x(t)

Ya que por denicin C es la interseccin de L1 y L2 , las coordenadas de C pueden calcularse reo o solviendo el sistema formado por las ecuaciones obtenidas arriba, cuya solucin es o (x(t)2 y(t)2 )x(t) 2y(t)x(t)2 , y(t) + x(t)2 + y(t)2 x(t)2 + y(t)2 Corolario 1. La cornoide puede ser parametrizada como C(t) = (r cos t cos 2t, r cos t sen 2t + r sen t) donde 0 t 2 es un parmetro y r es el radio de la circunferencia generatriz. a
1

Demostracin. Basta con tomar en la proposicin anterior la parametrizacin usual de la circunfeo o o rencia en coordenadas polares x(t) = r cos t, y = r sen t, donde 0 t 2. En concreto C(t) = 2r sen t r2 cos2 t (r2 cos2 t r2 sen2 t)r cos t , r sen t + 2 r2 cos2 t + r2 sen2 t r cos2 t + r2 cos2 t

y luego de algunos clculos la expresin anterior se reduce a C(t) = (r cos t cos 2t, r cos t sen 2t + r sen t). a o
1 Comentario del editor. Es necesario comprobar que la curva descrita por la parametrizacin anterior y la cornoide o denida al principio en efecto coinciden. En su trabajo Snchez originalmente dedujo la expresin en coordenadas polares a o (, )

6 r2 4 + 4r4 2 4r6 = 4r2 2 {(2 r2 )(sen2 cos2 ) + 2 sen2 cos2 } y luego de engorrosos clculos obtuvo la ecuacin impl a o cita en x e y. Los detalles pueden ser consultados en su monograf [1]. a

1.2.

Algunas propiedades

En este apartado usaremos la parametrizacin obtenida en la seccin anterior para deducir algunas o o caracter sticas de la curva. Lema 1. La cornoide satisface las siguientes propiedades: 1. La cornoide es una curva cerrada, peridica de per o odo 2 y simtrica respecto a ambos ejes e coordenados. 2. La cornoide C : [0, 2] R se interseca a s misma en los puntos t = /4 y t = 5/4. 3. Sean C1 , C2 y C3 las restricciones de C : [0, 2] R a los intervalos [0, /4] [3/4, 5/4] [7/4, 2], [/4, 3/4] y [5/4, 7/4] respectivamente. Entonces C1 , C2 y C3 son curvas cerradas, simples y continuamente diferenciables. Demostracin. La prueba consiste en clculos simples que se dejan al lector. Observar que las o a propiedades (b) y (c) nos dicen que la curva se interseca a s misma y que los tres valos que o se forman en el dibujo pueden ser considerados como curvas en s mismas. Longitud de arco Calculemos la longitud de la cornoide. Para ello ocupamos la conocida frmula para calcular la longitud o L de una curva continua f : [a, b] R, que viene dada por
b

L=
a

|f (s)|ds.

Para nuestro caso usando la parametrizacin anterior C : [0, 2] R, tenemos entonces que la longitud o de la cornoide est dada por: a
2 2

L=
0

|C (s)|ds = r
0

12 cos4 s 4 cos2 s + 1ds 10,6017r.

Observar que la integral anterior no puede ser calculada directamente, por lo que debe recurrirse a aproximaciones numricas. e Areas encerradas por la cornoide A continuacin se abordan algunas reas importantes que encierran la cornoide y su circunferencia o a generatriz. Para ello empleamos la siguiente frmula, que como es sabido es un corolario del teorema o de Green. Proposicin 1. Sea C una curva cerrada simple, positivamente orientada y continuamente difereno ciable a trozos. Entonces el rea de la regin D acotada por C es a o A= 1 2 xdy ydx.
C

Sea C(t) = (X(t), Y (t)) la parametrizacin de la cornoide deducida en el corolario. Ahora se tienen los o siguiente resultados: 1. A1 : Area encerrada por el valo grande. Aqu aplicamos el teorema de Green a la curva C1 o denida en el lema. Por simetr basta integrar en el intervalo [0, /4], de donde a 1 A1 = 4 2
4

(X(t)Y (t) Y (t)X (t))dt =

0

(3 + 8)r2 . 4

 2. A2 : Area de uno de los valos pequeos. En este caso integramos a lo largo de la curva C2 . o n A2 = 1 2
3 4

(X(t)Y (t) Y (t)X (t))dt =

4

(3 8)r2 . 8

3. A3 : Area encerrada en un per odo, menos los valos pequeos: A3 = A1 2A2 = 4r2 . o n 4. AC : Area encerrada por un cuarto de per odo de la cornoide y su generatriz. AC = 1 2
2

(X(t)Y (t) Y (t)X (t))dt

0

r2 r2 = 4 8

2.

Generalizacin de la cornoide o

La construccin original de Snchez se basa en una circunferencia. Sin embargo, es de notar cmo la o a o cornoide es denida paramtricamente a partir de la parametrizacin de su circunferencia generatriz. e o La posibilidad de utilizar otra curva como generatriz llev al autor a proponer la siguiente denicin o o de cornoide generalizada. Denicin 2. Sea f : D R una funcin real, donde D es un intervalo. En f tomamos el punto o o de coordenadas (x, y), trazamos la tangente a la grca de f por el punto (x, y), y denotamos por C a el pie de la perpendicular por el punto (x, y) a dicha tangente. El lugar geomtrico de C cuando el e punto (x, y) describe la grca de f recibe el nombre de cornoide generada por f . a Teorema 2. Si la generatriz f : D R admite una parametrizacin f : I R2 , donde I es un o intervalo, entonces la cornoide generada por f est dada por las siguientes ecuaciones paramtricas: a e C(t) = y (t)2 x (t)2 x(t) 2y (t)x (t)x(t) , y(t) y (t)2 + x (t)2 y (t))2 + (x (t))2 . (1)

Demostracin. La ecuacin de L1 , la tangente en (x(t), y(t)) a la grca de f est dada por: o o a a y= y (t) (x x(t)) + y(t) x (t)

Y la ecuacin de L2 , la perpendicular a L1 que pasa por (x(t), y(t)) es: o L2 : y = x (t) (x + x(t)) + y(t). y (t)

Resolviendo el sistema de ecuaciones formado por L1 y L2 es inmediato obtener las coordenadas de C(t). Se presentan algunos ejemplos en la siguiente pgina. El lector interesado puede calcular por s mismo a las ecuaciones de la curva en cada caso.

Figura 2: Cornoide generada por f (x) = x2

Figura 3: Cornoide generada por f (x) = x3

Figura 4: Cornoide generada por f (x) = x3 x2

Figura 5: Cornoide generada por la cicloide f (t) = (t sen t, 1 cos t)

3.

Problemas abiertos

El autor lamenta que por cuestiones de tiempo no pudo hacer poco ms que introducir su nocin de a o la cornoide generalizada. Sin embargo, ste tendr a bien plantear nuevas interrogantes que posteriore a mente podrn convertirse en objetos de investigacin. a o Existe alguna relacin entre la simetr y periodicidad de la cornoide y su generatriz? La cornoide o a clsica es simtrica y peridica, tal y como la circunferencia. a e o Si la generatriz es un polinomio, es siempre la cornoide una as ntota de la grca de f ? Esto es a aparente a partir de las grcas dadas en los ejemplos. a Si la generatriz f es una curva algebraica, existe una relacin entre los grados de f y de la o cornoide (como curvas algebraicas)? Por ejemplo, la circunferencia tiene grado 2, mientras que la cornoide clsica tiene grado 6. a

Referencias
1. Snchez, A., Los cinco primeros cursos de ciencias y letras, Imprenta Nacional, 1896. a 2. Marsden, J.E., Tromba, A.J., Clculo vectorial, 3a ed., Addison-Wesley Iberoamericana, 1988. a

Universidad de El Salvador Facultad de Ciencias Naturales y Matematica Escuela de Matematica Funciones Generadoras
Aarn Ernesto Ramrez Flores o 3 de noviembre de 2011
Resumen Se hace un breve estudio de las funciones generadoras ordinarias y exponenciales. En primer lugar, se dene el anillo de sucesiones y a partir de ste el anillo de e series formales, entre las cuales se encuentran las funciones generadoras. Luego se desarrollan aplicaciones a la resolucin de problemas combinatorios que versan o sobre el conteo (bajo ciertas restricciones) de r-combinaciones y r-permutaciones de un multiconjunto dado.

Indice
1. Anillos de Sucesiones 2. Series Formales de Potencias en los Reales 3. Funciones Generadoras Ordinarias 4. Funciones Generadoras Exponenciales 5. Aplicaciones 9 10 12 13 15

1 Anillos de Sucesiones

1.

Anillos de Sucesiones

Dado un cuerpo k, es posible construir un anillo S compuesto de sucesiones denidas sobre k, es decir, S = {{an } |an k}.1 Para ello, se denen las operaciones suma y producto de S como sigue: La suma: {an } + {bn } = {an + bn },
n

El producto: {an } {bn } =

k=0

ak bnk .

Evidentemente, S es un grupo abeliano con respecto a la suma, ya que sus operaciones son cerradas, tiene como identidad aditiva a la sucesin {0} (donde 0 es el elemento neutro o de k), y el inverso aditivo de {an } es {an }. Adems, la sucesin {0,n } es la identidad a o multiplicativa.3 Se demostrar que el producto es asociativo: a
n i

({an } {bn }) {cn } =

i=0 n k=0

ak bik
ni

cni

=
++=n

(a b ) c

{an } ({bn } {cn }) =

i=0

ai
k=0

bk cnik

=
++=n

a (b c )

Y dada la asociatividad en k, se concluye ({an } {bn }) {cn } = {an } ({bn } {cn }). De manera muy similar se prueban las leyes distributivas ({an } + {bn }) {cn } = {an } {cn } + {bn } {cn } y {an } ({bn } + {cn }) = {an } {bn } + {an } {cn }. Finalmente, observe que si {an } es una sucesin de S tal que a0 = 0, es posible construir o una unica sucesin rec o proca (inverso multiplicativo) {an }1 = {bn }, donde b0 = a1 0
n

bn =

a1 0
k=1

ak bnk para n 1

En particular, si k = R o k = C, se tiene denido un anillo de sucesiones reales o sucesiones complejas, respectivamente. Un uso importante de estos anillos es la denicin de o las series formales de potencias: Denicin 1.1. Una serie formal de potencias es una expresin formal o o f (x) = a0 + a1 x + a2 x2 + + an xn +
Por simplicidad, las sucesiones {xn }n=0 se denotarn por {xn }. a Conocido como producto de Cauchy, o convolucin de sucesiones de Cauchy. o 3 i,j es la delta de Kronecker.
2 1

2 Series Formales de Potencias en los Reales donde {an } es una sucesin en k. La sucesin {an } recibe el nombre de sucesin de coeo o o cientes, y se dice que f(x) es la funcin generadora ordinaria de {an }. o Por la discusin previa, jado un cuerpo k para las sucesiones de coecientes, las series o formales de potencias forman un anillo, por lo que hemos demostrado el siguiente teorema: Teorema 1.1. El conjunto k[[x]] de las series formales de potencias con coecientes en un cuerpo k forma un anillo. 4 Entonces, es posible estudiar estas expresiones desde el punto de vista algebraico dejando de lado el problema anal tico de la convergencia; as la x tiene un uso estrictamente formal , e interesar nada ms el manejo algebraico de las sucesiones de coecientes. En particular, a a son importantes las siguientes observaciones: Dos series formales de potencias son iguales si y slo si coeciente a coeciente son o iguales. La suma en k[[x]] se traduce a la suma estndar de polinomios trmino a trmino; a e e de igual manera, el producto en k[[x]] se traduce al producto estndar de polinomios a y reduccin de trminos semejantes. o e La funcin constante f (x) = 0 es la identidad aditiva de k[[x]]. o La funcin constante f (x) = 1 es la identidad multiplicativa de k[[x]]. o Dada una serie formal de potencias f (x) con el coeciente a0 = 0, existe una unica 5 serie formal de potencias g(x) tal que f (x)g(x) = 1 (serie rec proca). La combinacin lineal de series formales de potencias, es otra serie formal de poteno cias.

2.

Series Formales de Potencias en los Reales

A continuacin, se demostrarn los resultados ms importantes de las series formales de o a a potencias con sucesiones de coecientes en R; adems, se har una aproximacin a la aplia a o cacin en combinatoria de estas series. o 1 . 1x
6

Teorema 2.1. La serie formal asociada a la sucesin {1} es o

4

N. del E.: Es importante destacar que el anillo de series R[[x]] puede ser denido en general sobre cualquier anillo conmutativo R, no necesariamente un cuerpo. 5 N. del E.: Esta observacin prueba que k[[x]] es un anillo local, cuyo ideal maximal corresponde a o m = { an xn k[[x]] : a0 = 0}. Luego en el caso de los cuerpos k[[x]] es un anillo de valuacin discreta. o 6 N. del E.: Observar que esta armacin no tiene sentido en el anillo de series, ya que el 1/(1 x) no o es una serie formal. Sin embargo, la igualdad es correcta si pensamos que el miembro derecho representa

10

2 Series Formales de Potencias en los Reales Demostracin. Se tiene la sucesin {an }, con a0 = 1, a1 = 1 y an = 0 para todo n 2, o o que es la sucesin asociada a la serie formal 1 x + 0x2 + 0x3 + ; aplicando el algoritmo o para calcular la serie rec proca {bn } = {an }1 se tiene b0 = b1 b2 1 =1 a0 a1 b 0 = =1 a0 a1 b 1 + a2 b 0 =1 = a0 . . . a1 bn1 + a2 bn2 + + an b0 = =1 a0 . . .

bn

Entonces {bn } = {1}, por lo que 1 = 1 + x + x2 + + xn + 1x As se ha demostrado que podemos utilizar indistintamente cualquiera de los lados de la , ecuacin anterior para representar a la serie formal asociada a {1}. o La identidad en series formales de potencias mostrada anteriormente es la clsica expana sin en series de potencias de Maclaurin (caso particular del desarrollo en series de Taylor), o y dado que nuestro inters es puramente algebraico (lo cual en anlisis tiene sentido unicae a mente cuando la serie converge), es posible utilizar todos estos resultados de anlisis. Todos a los resultados siguientes pueden demostrarse directamente sin hacer referencia a desarrollos en series de potencias de Maclaurin, pero son ya identidades conocidas y que podremos asumir en los problemas subsiguientes: a) b) c) 1 = 1 + x + x2 + + xr + . 1x 1 = 1 + 2x + 3x2 + + (r + 1)xr + . (1 x)2 n(n + 1) (n + r 1) r 1 (n + 1)(n + 2) 2 x + + x + = 1 + nx + (1 x)n 2! r! 1+n1 2+n1 2 r+n1 r =1+ x+ x + + x + . 2 2 2

una funcin anal o tica real o compleja. Luego todas las manipulaciones que hagamos sern vlidas siempre a a y cuando trabajemos dentro del disco de convergencia de dicha serie. Puede decirse que esta interaccin o entre los puntos de vista algebraico y anal tico es la que hace de las funciones generadoras una herramienta tan verstil. a

11

3 Funciones Generadoras Ordinarias d) Binomio de Newton: Dado R y r N, se dene el coeciente binomial generalizado = r alpha( 1)( 2) ( r + 1)/r!, y por convencin = 1. Entonces, el teorema o 0 de Newton establece que Xr (1 + X) = r r=0 En particular, tomando X = x y sustituyendo = 1, 2, n, se obtienen las identidades anteriores. 1 = 1 + kx + k 2 x2 + + k r xr + . Esta serie se obtiene tomando = 1 y e) 1 kx X = kx en el binomio de Newton.

3.

Funciones Generadoras Ordinarias

El objetivo que se persigue con estas expresiones es obtener resultados combinatorios modelando situaciones con series formales de potencias (funciones generadoras ordinarias), estudiando sus coecientes. Para ello, se considerarn ciertos conjuntos especiales llamaa dos multiconjuntos; de estos conjuntos se harn extracciones de elementos e interesar la a a cantidad de formas cmo sto puede hacerse.7 o e Denicin 3.1. Un multiconjunto es un conjunto con elementos repetidos. Si M es un o multiconjunto con n1 elementos del tipo b1 , n2 elementos del tipo b2 , etc, lo denotaremos as : M = {n1 b1 , n2 b2 , . . .} Donde ni es un nmero natural o innito. u
8

Teorema 3.1. Dado el multiconjunto M = {n1 b1 , n2 b2 , . . . , nk bk }, sea ar la cantidad de formas de seleccionar r elementos de M .9 Entonces, la funcin generadora ordinaria o 10 para la sucesin {ar } viene dada por: o
n1 +n2 ++nk

ar xr = (1 + x + + xn1 ) (1 + x + + xn2 ) (1 + x + + xnk )

r=0
7

Escoge del tipo b1

Escoge del tipo b2

Escoge del tipo bk

Uno de los objetivos principales en combinatoria es el desarrollo de herramientas de conteo. Quizs, a una de las herramientas ms poderosas utilizada frecuentemente en conteo es la nocin de funcin genea o o radora. Esta nocin tiene su ra en los trabajos de De Moivre alrededor de 1720 y fue desarrollada por o z Euler en 1748 en conexin con su estudio de las particiones de un entero. Luego, fue tratada extensiva y o sistemticamente por Laplace a nales del siglo XVIII. De hecho, el nombre funcin generadora debe su a o origen a Laplace en su gran obra Thorie Analytique des Probabilits (Par 1812).[1, pg. 185]. e e s, a 8 N. del E.: El lector perspicaz notar que esta no es una denicin rigurosa. Formalmente, un mula o ticonjunto es un par (M, f ) donde f : M N es una funcin llamada multiplicidad. El caso donde la o multiplicidad toma valores innitos (por ejemplo 0 ) es ms delicado y no se tratar aqu a a . 9 Esto es, el conteo de todas las r-combinaciones de M . 10 Vea que esto es simplemente una generalizacin del coeciente multinomial. o

12

4 Funciones Generadoras Exponenciales Demostracin. El lado derecho de la expresin anterior debe leerse de la siguiente forma: o o En el primer factor, 1 signica se escogen 0 elementos del tipo b1 , x signica se escoge 1 elemento del tipo b1 , y en general, xn signica se escogen n elementos del tipo b1 ; lo mismo para el resto de factores. As si se quieren escoger r elementos de M , habr que , a escoger r1 elementos del tipo b1 , r2 elementos del tipo b2 , . . ., rk elementos del tipo bk , de tal manera que r = r1 + r2 + + rk . Pero bajo la interpretacin anterior esto es o r2 r1 e equivalente a escoger el trmino x del primer factor, el trmino x del segundo face rk tor, . . ., el trmino x del ultimo factor, y al hacer el desarrollo, aparecer el trmino e a e xr1 xr2 xrk = xr1 +r2 ++rk = xr . Por lo tanto, el coeciente ar de xr al hacer todo el desarrollo y reduccin de trminos semejantes, es equivalente a la cantidad de formas de o e escoger un trmino de cada factor del lado derecho de tal forma que la suma de sus expoe nentes sea r, pero eso es equivalente al total de formas de escoger r elementos de M . Teorema 3.2. Dado el multiconjunto M = { b1 , b2 , . . . , bk }, sea ar la cantidad de formas de seleccionar r elementos de M . Entonces, la funcin generadora ordinaria o para la sucesin {ar } viene dada por: o

ar x =
r=0 r=0

r+k1 r x r

Es decir, ar =

r+k1 . r

Demostracin. Por el teorema anterior y por el binomio de Newton, se tiene: o

ar x r =
r=0

1 + x + x2 +
Escoge del tipo b1 2 k

1 + x + x2 + 1 + x + x 2 +
Escoge del tipo b2 Escoge del tipo bk

1 + x + x + 1 = (1 x)k =

=
r=0

r+k1 r x r

Por lo tanto, ar =

r+k1 . r

4.

Funciones Generadoras Exponenciales

Ahora bien, las funciones generadoras ordinarias son muy utiles cuando se quiere contar escogitaciones sin hacer caso del orden de los elementos escogidos; si en cambio s se tiene inters en el orden, la respuesta correcta ser el coeciente de xr en la funcin generadoe a o ra ordinaria multiplicado por r!. As se puede denir la siguiente serie formal de potencias: ,

13

4 Funciones Generadoras Exponenciales Denicin 4.1. Dada la sucesin {an }, su funcin generadora exponencial es la serie o o o formal

f (x) =
r=0

ar r x. r!

El nombre de funcin generadora exponencial viene de la expansin en series de Maclaurin o o x de la funcin e : o xr x2 x + + + e =1+x+ 2! r! Teorema 4.1. Dado el multiconjunto M = {n1 b1 , n2 b2 , . . . , nk bk }, sea ar la cantidad de r-permutaciones de elementos de M . Entonces la funcin generadora ordinaria de la o sucesin {ar } viene dada por: o
n1 +n2 ++nk

r=0

ar r x = r!

1+

x xn1 + + 1! n1 !

1+

x xn2 + + 1! n2 !

1 +

x xn k + + 1! nk !

Escoge del tipo b1

Escoge del tipo b2

Escoge del tipo bk

Demostracin. La demostracin es anloga a la del teorema 3.1; basta recordar que el o o a nmero de r-permutaciones, escogiendo ri elementos del tipo bi , con r1 + r2 + + rk = r, u es r! P (r1 , r2 , . . . , rk ) = r1 !r2 ! rk ! Mientras que al multiplicar los trminos correspondientes e 1 xr1 +r2 ++rk = r1 !r2 ! rk ! xi se obtiene ri ! 1 r x r!

r! r1 !r2 ! rk !

Y de all la correspondencia entre los coecientes ar de la funcin generadora exponencial o y la cantidad de r-permutaciones. Teorema 4.2. Dado el multiconjunto M = { b1 , b2 , . . . , bk }, sea ar la cantidad de r-permutaciones de M . Entonces, la funcin generadora exponencial de la sucesin {ar } o o viene dada por: r xr rx ar = k r! r! r=0 r=0 Es decir, ar = k r .

14

5 Aplicaciones Demostracin. Por el teorema anterior y por el desarrollo en series de la funcin exponeno o cial, la funcin generadora exponencial asociada a {ar } es o

ar
r=0

xr = r!

1+

x x2 + + 1! 2! x x2 + + 1! 2!
k

1+

x x2 + + 1! 2!

1 +

x x2 + + 1! 2!

Escoge del tipo b1

Escoge del tipo b2

Escoge del tipo bk

1+

= (ex )k = ekx (kx)r = r! r=0

=
r=0

kr

xr r!

Por lo que ar = k r .

5.

Aplicaciones

PROBLEMA 5.1 Determine ar , denida como la cantidad de r-permutaciones ternarias (d gitos 0, 1 y 2) que tienen una cantidad impar de ceros y una cantidad par de unos. Solucin. Denimos el multiconjunto M = { 0, 1, 2}, y se buscan las ro permutaciones de M con r0 d gitos 0, r1 d gitos 1 y r2 d gitos 2, de tal forma que r = r0 + r1 + r2 , siendo r0 impar y r1 par. Dado que el orden importa (son permutaciones), se utilizarn funciones generadoras exponenciales. a Como r1 debe ser impar, debe construirse una funcin generadora exponencial con unicao mente trminos de potencias impares; as la funcin generadora asociada a los ceros es e , o x 3 x5 x + + + 1! 3! 5! ex ex Pero este es justamente el desarrollo en serie del seno hiperblico senh x = o . 2 Anlogamente, la funcin generadora para la escogitacin de los unos debe contener unicaa o o mente trminos de potencias pares e 1+ x2 x4 + + 2! 4!

15

5 Aplicaciones ex + ex . Finalmente, no hay Que es el desarrollo en serie del coseno hiperblico cosh x = o 2 restricciones para la escogitacin de los d o gitos 2, por lo que la funcin generadora es ex : o
k

ar
r=0

xr = r!

x x 3 x5 + + + 1! 3! 5! e e 2
x Escoge los 0 s x x

1+
x

x2 x4 + + 2! 4!
Escoge los 1 s

1+

x x2 x3 + + + 1! 2! 3!
Escoge los 2 s

= =

e +e 2

(ex )

1 3x e ex 4 xr 1 (3r (1)r ) = 4 r=0 r! Por lo tanto, ar = 1 r (3 (1)r ). 4

PROBLEMA 5.2 [IMO 2008, problema 5] Sean n y k enteros positivos tales que k n. Se tienen 2n lmparas numeradas 1, 2, . . . , 2n, cada una de las cuales puede estar encendida o apagada. a Inicialmente todas las lmparas estn apagadas. Se consideran sucesiones de pasos: En a a cada paso, se selecciona exactamente una lmpara y se cambia su estado (si est apagada a a se enciende, si est encendida se apaga). a Sea N el nmero de sucesiones de k pasos al cabo de los cuales las lmparas 1, 2, . . . , n u a quedan todas encendidas, y las lmparas n + 1, n + 2, , 2n quedan todas apagadas. a Sea M el nmero de sucesiones de k pasos al cabo de los cuales las lmparas 1, 2, . . . , n u a quedan todas encendidas, y las lmparas n + 1, n + 2, . . . , 2n quedan todas apagadas sin a haber sido nunca encendidas. N Determine el cociente M . Solucin. Note para que una lmpara quede apagada, su estado debe haber cambiado o a una cantidad par de veces; en cambio, para que una lmpara quede encendida, su estaa do debe haber sido cambiado una cantidad impar de veces. Denote por N (x) y M (x) a las funciones generadoras exponenciales (importa el orden de los pasos) que modelan las situaciones de N y M , respectivamente. N (x) est compuesto de 2n factores, uno por cada lmpara; los primeros n deben estar a a compuestos por trminos de potencias impares (las lmparas deben quedar encendidas), e a mientras que los siguientes n factores estn compuestos por trminos de potencias pares a e (las lmparas quedan apagadas). Como se buscan las sucesiones de k pasos, N es el coea xk en la siguiente expresin: o ciente de k!

16

5 Aplicaciones

N (x) =

x x3 + + 1! 3!
Lmpara 1 a

x x3 + + 1! 3!
Lmpara n a

1+

x2 + 2!

1 +

x2 + 2!

Lmpara n+1 a n

Lmpara 2n a

x x + + 1! 3!
Lmparas 1,...,n a x x n

1+

x + 2!

e e e +e 2 2 n 1 e2x e2x = n 2 2 =

Lmparas n+1,...,2n a x n

Para M (x) el anlisis es similar, pero como las lmparas desde la n + 1 hasta la 2n nunca a a cambiaron de estado, la funcin generadora exponencial asociada a cada lmpara es (1). o a xk As M es el coeciente de , en la siguiente expresin: o k! M (x) = x3 x + + 1! 3! e e 2
Lmparas 1,...,n a x x n n

1+0

x2 x + 0 + 1! 2!

Lmparas n+1,...,2n a

Aunque el problema est planteado de manera sistemtica, el clculo de los coecientes a a a N requeridos N y M no es tarea fcil; sin embargo, lo que se pide es el cociente M , por lo a que se buscar una relacin entre ellos en lugar de calcularlos directamente. a o Se tiene que M es el coeciente de x en M (x). Para la funcin generadora exponencial o k! N (x), tome el cambio de variable y = 2x, y dena la funcin o 1 y = n N (y) = N 2 2

k k

ey ey 2

El coeciente de y en N (y) es M/2n , pero como y k = 2k xk , entonces el coeciente de k! xk /k! en N (x) es N = 2k /2n M . Por lo tanto 2k /2n M N = = 2kn M M

17

5 Aplicaciones

Bibliograf a
1. Chuan-Chong, C., Khee-Meng, K., Principles and Techniques in Combinatorics, Ed. World Scientic, 1999. 2. Vilenkin, N. Ya., Combinatorics. Ed. Academic Press, 1971. 3. Wilf, H., Generatingfunctionology. Ed. Academic Press, 1990.

18

2011 APMO PROBLEMS

Time allowed: 4 hours Each problem is worth 7 points *The contest problems are to be kept condential until they are posted on the ocial APMO website (http://www.mmjp.or.jp/competitions/APMO). Please do not disclose nor discuss the problems over the internet until that date. Calculators are not allowed to use. Problem 1. Let a, b, c be positive integers. Prove that it is impossible to have all of the three numbers a2 + b + c, b2 + c + a, c2 + a + b to be perfect squares. Problem 2. Five points A1 , A2 , A3 , A4 , A5 lie on a plane in such a way that no three among them lie on a same straight line. Determine the maximum possible value that the minimum value for the angles Ai Aj Ak can take where i, j, k are distinct integers between 1 and 5. Problem 3. Let ABC be an acute triangle with BAC = 30 . The internal and external angle bisectors of ABC meet the line AC at B1 and B2 , respectively, and the internal and external angle bisectors of ACB meet the line AB at C1 and C2 , respectively. Suppose that the circles with diameters B1 B2 and C1 C2 meet inside the triangle ABC at point P . Prove that BP C = 90 . Problem 4. Let n be a xed positive odd integer. Take m + 2 distinct points P0 , P1 , , Pm+1 (where m is a non-negative integer) on the coordinate plane in such a way that the following 3 conditions are satised: (1) P0 = (0, 1), Pm+1 = (n + 1, n), and for each integer i, 1 i m, both x- and y- coordinates of Pi are integers lying in between 1 and n (1 and n inclusive). (2) For each integer i, 0 i m, Pi Pi+1 is parallel to the x-axis if i is even, and is parallel to the y-axis if i is odd. (3) For each pair i, j with 0 i < j m, line segments Pi Pi+1 and Pj Pj+1 share at most 1 point. Determine the maximum possible value that m can take. Problem 5. Determine all functions f : R R, where R is the set of all real numbers, satisfying the following 2 conditions: (1) There exists a real number M such that for every real number x, f (x) < M is satised. (2) For every pair of real numbers x and y, f (xf (y)) + yf (x) = xf (y) + f (xy)

19

XVII OLIMPADA de MAYO Primer Nivel Mayo de 2011

Duracin de la prueba: 3 horas. Cada problema vale 10 puntos. No puedes usar calculadora; no puedes consultar libros ni apuntes. Justifica cada una de tus respuestas.

Al participar te comprometes a no divulgar los problemas hasta el 25 de mayo.

PROBLEMA 1 Las 4 palabras codificadas

son en algn orden AMO Descifrar

# SUR

REO

MAS.

# .

PROBLEMA 2 Utilizando una sola vez cada uno de los dgitos 1, 2, 3, 4, 5, 6, 7 y 8 se escriben el cuadrado y el cubo de un nmero entero positivo. Determinar cunto puede valer dicho nmero. PROBLEMA 3 En el rectngulo ABCD, BC = 5, EC =
1 CD y F es el 3
D E C

punto donde se cortan AE y BD. El tringulo DFE tiene rea 12 y el tringulo ABF tiene rea 27. Hallar el rea del cuadriltero BCEF.

F A B

PROBLEMA 4 Utilizando varios cubitos blancos de arista 1 Guille arma un cubo grande. Luego elige 4 caras del cubo grande y las pinta de rojo. Finalmente desarma el cubo grande y observa que los cubitos con al menos una cara pintada de rojo son 431. Hallar la cantidad de cubitos que utiliz para armar el cubo grande. Analizar todas las posibilidades. PROBLEMA 5 Consideramos todos los nmeros enteros positivos de 14 dgitos, divisibles por 18, cuyos dgitos son exclusivamente 1 y 2, pero no hay dgitos 2 consecutivos. Cuntos de estos nmeros hay?

20

XVII OLIMPADA de MAYO Segundo Nivel Mayo de 2011

Duracin de la prueba: 3 horas. Cada problema vale 10 puntos. No puedes usar calculadora; no puedes consultar libros ni apuntes. Justifica cada una de tus respuestas.

Al participar te comprometes a no divulgar los problemas hasta el 25 de mayo.

PROBLEMA 1 Hallar un nmero entero positivo x tal que la suma de los dgitos de x sea mayor que 2011 veces la suma de los dgitos del nmero 3x (3 por x). PROBLEMA 2 Decimos que un nmero de cuatro dgitos abcd ( a 0 ) es por si se cumplen las siguientes condiciones: ab; ab cd = cd ba . Por ejemplo, 2011 es por porque 20 11 = 11 02 . Hallar todos los nmeros por. PROBLEMA 3 En un tringulo rectngulo ABC tal que AB = AC, M es el punto medio de BC. Sea P un punto de la mediatriz de AC que pertenece al semiplano determinado por BC que no contiene a A. Las rectas CP y AM se cortan en Q. Calcular el ngulo que forman AP y BQ. PROBLEMA 4 Dados n puntos en una circunferencia se escribe al lado de uno de ellos un 1 y al lado de cada uno de los otros un 0. La operacin permitida consiste en elegir un punto que tenga un 1 y cambiar el nmero de ese punto y tambin los nmeros de sus dos vecinos, el de la izquierda y el de la derecha (donde hay 1 se escribe 0 y donde hay 0 se escribe 1). a) Si n = 101, mostrar que se puede lograr, mediante una sucesin de operaciones permitidas, que cada uno de los n puntos tenga escrito un 0. b) Si n = 102, demostrar que es imposible lograr todos 0. PROBLEMA 5 Determinar para qu nmeros naturales n es posible cubrir completamente un tablero de nn, dividido en casillas de 11, con piezas como la de la figura, sin huecos ni superposiciones y sin salirse del tablero. Cada una de las piezas cubre exactamente seis casillas. Nota: Las piezas se pueden girar.

21

XIII Olimpiada Matem tica de Centroam rica a e y El Caribe

Colima, M xico, 21 de junio de 2011 e Primer da

Problema 1 En cada uno de los v rtices de un cubo hay una mosca. Al sonar un silbato, cada e una de las moscas vuela a alguno de los v rtices del cubo situado en una misma e cara que el v rtice de donde parti , pero diagonalmente opuesto a este. Al sonar e o el silbato, de cu ntas maneras pueden volar las moscas de modo que en ning n a u v rtice queden dos o m s moscas? e a

Problema 2 Sean ABC un tri ngulo escaleno, D el pie de la altura desde A, E la intersecci n a o del lado AC con la bisectriz del ABC, y F un punto sobre el lado AB. Sea O el circuncentro del tri ngulo ABC y sean X, Y , Z los puntos donde se cortan las a rectas AD con BE, BE con CF , CF con AD, respectivamente. Si XY Z es un tri ngulo equil tero, demuestra que uno de los tri ngulos OXY , OY Z, OZX es un a a a tri ngulo equil tero. a a

Problema 3 Aplicar un desliz a un entero n 2 signica tomar cualquier primo p que divida a 2 n y reemplazar n por n+p . p Se comienza con un entero cualquiera mayor o igual a 5 y se le aplica un desliz. Al n mero as obtenido se le aplica un desliz, y as sucesivamente se siguen aplicando u deslices. Demuestra que sin importar los deslices aplicados, en alg n momento se u obtiene el n mero 5. u

Cada problema vale 7 puntos. Tiempo m ximo del examen: 4 horas y media. a

22

XIII Olimpiada Matem tica de Centroam rica a e y El Caribe

Colima, M xico, 22 de junio de 2011 e Segundo da

Problema 4 Encuentra todos los enteros positivos p, q y r, con p y q n meros primos, que satisu facen la igualdad 1 1 1 1 + = . p + 1 q + 1 (p + 1)(q + 1) r

Problema 5 Los n meros reales positivos x, y, z son tales que, u x+ y z x = y + = z + = 2. z x y

Determina todos los valores posibles de x + y + z.

Problema 6 Sea ABC un tri ngulo acut ngulo y sean D, E y F los pies de las alturas desde a a A, B y C, respectivamente. Sean Y y Z los pies de las perpendiculares desde B y C sobre F D y DE, respectivamente. Sea F1 la reexi n de F con respecto a E y o sea E1 la reexi n de E con respecto a F . Si 3EF = F D + DE, demuestra que o BZF1 = CY E1 . Nota: La reexi n de un punto P respecto a un punto Q es el punto P1 ubicado o sobre la recta P Q tal que Q queda entre P y P1 , y P Q = QP1 .

Cada problema vale 7 puntos. Tiempo m ximo del examen: 4 horas y media. a

23

Language:

Spanish
Day:

Lunes, 18 de julio de 2011 Problema 1. Para cualquier conjunto A = {a1 , a2 , a3 , a4 } de cuatro enteros positivos distintos se denota la suma a1 + a2 + a3 + a4 por sA . Sea nA el nmero de parejas (i, j) con 1 i < j 4 para las cuales ai + aj divide a sA . Encontrar todos los conjuntos A de cuatro enteros positivos distintos para los cuales se alcanza el mayor valor posible de nA . Problema 2. Sea S un conjunto nito de dos o ms puntos del plano. En S no hay tres puntos colineales. Un remolino es un proceso que empieza con una recta que pasa por un nico punto P de S. Se rota en el sentido de las manecillas del reloj con centro en P hasta que la recta encuentre por primera vez otro punto de S al cual llamaremos Q. Con Q como nuevo centro se sigue rotando la recta en el sentido de las manecillas del reloj hasta que la recta encuentre otro punto de S. Este proceso contina indenidamente. Demostrar que se puede elegir un punto P de S y una recta que pasa por P tales que el remolino que resulta usa cada punto de S como centro de rotacin un nmero innito de veces. Problema 3. Sea f una funcin del conjunto de los nmeros reales en si mismo que satisface f (x + y) yf (x) + f (f (x)) para todo par de nmeros reales x, y. Demostrar que f (x) = 0 para todo x 0.

Language: Spanish

Tiempo: 4 horas y 30 minutos Cada problema vale 7 puntos

24

Language:

Spanish
Day:

Martes, 19 de julio de 2011 Problema 4. Sea n > 0 un entero. Se dispone de una balanza de dos platillos y de n pesas cuyos pesos son 20 , 21 , . . . , 2n1 . Debemos colocar cada una de las n pesas en la balanza, una tras otra, de manera tal que el platillo de la derecha nunca sea ms pesado que el platillo de la izquierda. En cada paso, elegimos una de las pesas que no ha sido colocada en la balanza, y la colocamos ya sea en el platillo de la izquierda o en el platillo de la derecha, hasta que todas las pesas hayan sido colocadas. Determinar el nmero de formas en las que esto se puede hacer. Problema 5. Sea f una funcin del conjunto de los enteros al conjunto de los enteros positivos. Se supone que para cualesquiera dos enteros m y n, la diferencia f (m) f (n) es divisible por f (m n). Demostrar que para todos los enteros m y n con f (m) f (n), el nmero f (n) es divisible por f (m). Problema 6. Sea ABC un tringulo acutngulo cuya circunferencia circunscrita es . Sea una recta tangente a , y sean a , b y c las rectas que se obtienen al reejar con respecto a las rectas BC, CA y AB, respectivamente. Demostrar que la circunferencia circunscrita del tringulo determinado por las rectas a , b y c es tangente a la circunferencia .

Language: Spanish

Tiempo: 4 horas y 30 minutos Cada problema vale 7 puntos

25

Martes 27 de setiembre de 2011

Prueba D 1 a
Problema 1. En la pizarra est escrito el nmero 2. Ana y Bruno juegan alternaa u damente, comenzando por Ana. Cada uno en su turno sustituye el nmero escrito u por el que se obtiene al aplicar exactamente una de las siguientes operaciones: multiplicarlo por 2, o multiplicarlo por 3, o sumarle 1. El primero que obtenga un resultado mayor o igual que 2011 gana. Hallar cul de los dos tiene una estrategia a ganadora y describir dicha estrategia. Problema 2. Encontrar todos los enteros positivos n para los cuales existen tres nmeros enteros no nulos x, y, z tales que u x+y+z =0 y 1 1 1 1 + + = . x y z n

Problema 3. Sea ABC un tringulo y sean X, Y, Z los puntos de tangencia de su a circunferencia inscrita con los lados BC, CA, AB, respectivamente. Suponga que C1 , C2 , C3 son circunferencias con cuerdas Y Z, ZX, XY , respectivamente, tales que C1 y C2 se corten sobre la recta CZ y que C1 y C3 se corten sobre la recta BY . Suponga que C1 corta a las cuerdas XY y ZX en J y M , respectivamente; que C2 corta a las cuerdas Y Z y XY en L e I, respectivamente; y que C3 corta a las cuerdas Y Z y ZX en K y N , respectivamente. Demostrar que I, J, K, L, M , N estn sobre una misma circunferencia. a
Tiempo: 4 horas y 30 minutos Cada problema vale 7 puntos

26

Mircoles 28 de setiembre de 2011 e

Prueba D 2 a
Problema 4. Sea ABC un tringulo acutngulo, con AC = BC, y sea O su a a circuncentro. Sean P y Q puntos tales que BOAP y COP Q son paralelogramos. Demostrar que Q es el ortocentro de ABC. Problema 5. Sean x1 , . . . , xn nmeros reales positivos. Demostrar que existen u a1 , . . . , an {1, 1} tales que a1 x2 + + an x2 (a1 x1 + + an xn )2 . 1 n

Problema 6. Sean k y n enteros positivos, con k 2. En una l nea recta se tienen kn piedras de k colores diferentes de tal forma que hay n piedras de cada color. Un paso consiste en intercambiar de posicin dos piedras adyacentes. Encontrar o el menor entero positivo m tal que siempre es posible lograr, con a lo sumo m pasos, que las n piedras de cada color queden seguidas si: a) n es par. b) n es impar y k = 3.
Tiempo: 4 horas y 30 minutos Cada problema vale 7 puntos

27

Columna de Problemas No. 6 (Soluciones)

Problema 27 Considerar las permutaciones 1 a1 2 a2 3 a3 4 a4 19 a19 20 a20 1 a19 2 a20 3 a17 4 a18 19 a1 20 a2

1 =

2 =

Mostrar que si 1 tiene a lo sumo 100 inversiones, entonces 2 tambin tiene a lo sumo 100 invere siones. Nota: Una inversin en una permutacin es un par (i, j) tal que i < j y (i) > (j). o o Fuente: Olimpiada Rumana, 1979. Solucin de Daniel Campos (Universidad de Costa Rica) o Sean i, j enteros positivos, 1 i < j 20. Note que si i es impar entonces (i, j) es una inversin o de 2 si y slo si j = i + 1 y el par (i, j) es una inversin de 1 o si (i, j) no es una inversin de 1 . o o o Si i es par entonces (i, j) es una inversin de 2 si y slo si (i, j) no es una inversin de 1 . De esta o o o manera la mxima cantidad de inversiones para 2 es a 20 100 + 10 = 100, 2 y as concluye la prueba.

28

Problema 28 Demostrar que todo nmero perfecto divisible por 2011 debe ser divisible por 20112 . u Fuente: Original de Daniel Campos (Universidad de Costa Rica) Solucin del autor o Suponga que existe un nmero perfecto n que es divisible por 2011 pero no por 20112 . Sea n = u u 2011p1 pm , con pi primo y i entero positivo, 1 i m. Un nmero perfecto satisface que m 1 (n) = 2n, donde es la suma de todos los divisores positivos de un nmero. De esta manera la u ecuacin se reescribe como o 2=
2

1+

1 2011

1+
i=1

1 1 + ... + i pi pi

503 1 Note que 1+ 2011 = 22011 , de manera que 2503 divide a n. Supongamos sin prdida de generalidad e que p1 = 2 y p2 = 503. Esto implica que

1+

1 2011

1+

1 503

1+

1 1 + ... + 1 2 2

2012 504 2011 503

1 21

o bien 21 1008 < 28 , y as se sigue que 1 1 7. Si 1 es impar se sigue que 3 divide al numerador 5 1 1 de 1 + 2 + ... + 21 , y por lo tanto 3 divide a n. Esto implica que 2 1+ 1 2011 1+ 1 2 1+ 1 3 =2 1+ 1 2011 ,

lo cual es una contradiccin. Por lo tanto 1 {2, 4, 6}. Para 1 igual a 2, 4, 6 se obtiene que 7, 31, 127 o dividen a n, respectivamente. Para 1 = 2 se tiene que 2 1+ 1 2011 1+ 1 1 + 2 4 1+ 1 7 =2 1+ 1 2011 ,

lo cual es una contradiccin. Los casos 1 = 4 y 1 = 6 se descartan de la misma forma y as concluye o el problema.

29

Solucin de Jos Madrid y Gerardo Urbina (El Salvador) o e Supongamos que el nmero perfecto que cumple ser divisible por 2011 es par. Es conocido que todo u nmero perfecto par es de la forma n = 2p1 (2p 1) con p primo. Entonces 2011|2p1 (2p 1), pero u mcd(2011, 2) = 1 de donde 2011|2p 1, es decir 2p 1 (md 2011). o Claramente p = 2 as que podemos tomar p = 2k + 1: 22k 2 1
2k

(md 2011). Pero 2011 es primo o

1 2 y adems 2011 = 1 y 2011 = 1, donde el parntesis denota el s a e mbolo de Legendre. Y como el producto de un residuo por un no residuo es un no residuo, y el producto de dos residuos es un residuo 2 mdulo un primo, queda 2011 = 1. o 2 o u Pero es conocido que: p = 1 si y slo si p = 8k 1 para algn k . Ya que 2011 = 8 251 + 3, esto es una contradiccin. Entonces el nmero perfecto debe ser impar. Ahora, es conocido que todo o u 2e 2e o nmero perfecto impar es de la forma n = q p1 1 pk k , con q 1 (md 4) y q, pi primos. u Ahora, si 2011|n, como 2011 = 4 503 1 esto implica que 2011 = q, as que 2011 es alguno de los pi , haciendo que su exponente sea par, o sea 20112 |n.

Recibida tambin una solucin de Ervin Ram (National Taiwan University) e o rez N. del E.: Observar que la solucin de Campos es ms elemental puesto que utiliza unicamente la o a denicin de nmero perfecto y no requiere de las propiedades satisfechas por nmeros perfectos pares o u u e impares.

30

Problema 29 Probar que la serie

1 (log log n)log n n=3 es convergente. Fuente: Gelca, Andreescu, Putnam and Beyond, Springer, 2007. Solucin de Daniel Campos Salas (Universidad de Costa Rica) o Note que los trminos de la serie forman una sucesin decreciente. Por el criterio de condensacin e o o de Cauchy la serie converge si y slo si la serie o

k=2

1 log(k log 2)k log 2

1 2

es convergente. Note que la desigualdad log 2 >

implica que

log(k log 2) = log k + log(log 2) log k 1, y as para k 3 se cumple que 1 1 . < log(k log 2)k log 2 (log k 1)k/2 Por lo tanto es suciente demostrar que la serie 1 (log k 1)k/2 k=3 es convergente. Este resultado se sigue del criterio de la ra y as concluye la prueba. z, Recibida tambin una solucin de Ervin Ram (National Taiwan University) e o rez

31

Problema 30 Si p es un primo, probar que todo grupo nito de orden p2 es necesariamente abeliano. Fuente: Folclor

Solucin de Daniel Campos (Universidad de Costa Rica) o Es claro que si G es c clico entonces es abeliano. Luego, suponga que G no es c clico, y por lo tanto todo elemento no trivial de G tiene orden p. Sean a, b G tales que a b = 1, donde 1 es el elemento neutro de G. Es fcil demostrar que los conjuntos a G1 = {am bn : 0 m, n p 1} y G2 = {bm an : 0 m, n p 1} son en efecto G, pues contienen p2 elementos distintos de G. Note que es suciente demostrar que a y b conmutan, ya que todo elemento de G se puede escribir como un producto de ellos. Llamaremos n-sima la de los conjuntos G1 y G2 a los subconjuntos e {abn , a2 bn , ..., ap1 bn } y {bn a, bn a2 , ..., bn ap1 }, 1 n p 1 respectivamente. Se va a probar que existe un entero k tal que b1 ab = ak , con 1 = a a , y en este caso k = 1. Si las primeras las de G1 y G2 no son disjuntas el resultado es claro. Si las primeras las de G1 y G2 son disjuntas, entonces al menos dos elementos distintos de la primera la de G2 pertenecen a una misma la de G1 . En este caso supongamos que se tiene bak1 = am1 bn y bak2 = am2 bn , para ki , mi , n (i = 1, 2) enteros positivos entre 1 y p 1. De lo anterior se obtiene que bak1 k2 b1 = (bak1 )(bak2 )1 = (am1 bn )(am2 bn )1 = am1 m2 , como se quer a. Por induccin se puede demostrar que b1 ar b = akr y bs abs = ak . Tomando s = p en la identidad o anterior se obtiene que p a = bp abp = ak = ak , pues k p k (md p), por el pequeo teorema de Fermat. Lo anterior implica que b1 ab = a, que era o n lo que se quer a. Finalmente, como a = 1, existe un entero m tal que a = am . Esto implica que b1 ab = (b1 ab)m = am = a, de donde resulta que a y b conmutan y as concluye la prueba.
s

32

Solucin de Ervin Ram (National Taiwan University) o rez Sea G un grupo nito de orden p2 . Si G no es abeliano, su centro Z(G) es un subgrupo propio tal que |Z(G)| = 1 o p, de acuerdo al teorema de Lagrange. Pero, por teorema, G es un p-grupo y todo p-grupo con ms de un elemento cumple que su centro Z(G) es diferente de uno. Entonces |Z(G)| = p. a El centro siempre es un subgrupo normal, entonces el cociente G/Z(G) est denido y como es de a orden p, entonces G/Z(G) es c clico y, por teorema, G es abeliano. Contradiccin. Deducimos que G o es abeliano. Notas del editor: El resultado utilizado en la ultima parte dice que si G es un grupo tal que G/Z(G) es c clico, G es necesariamente abeliano. Este es un ejercicio sencillo para el lector. Como se vio arriba, todo grupo de orden p2 es isomorfo a Z/pZ o bien a Z/pZ Z/pZ. Este es un caso particular del problema ms general de la clasicacin de grupos nitos. a o

33

Columna de Problemas No. 7

26A. Sea D un punto en el lado AB del tringulo no obtusngulo ABC tal que AD = CB y adems a a a 3CBA = 2ACD. Probar que AC es perpendicular a CB. Sugerido por Rufo Casco, Universidad Nacional de Ingenier (Nicaragua) a 31. Encontrar todas las soluciones enteras de la ecuacin y 2 = x3 + 7. o Sugerido por el editor 32. Se dene la sucesin {xn }n0 como sigue: x0 = x1 = 1 y para todo n 1 o xn+1 = Hallar xn en funcin de n. o Original del editor 33. Sea ABC un tringulo de incentro I. Las perpendiculares trazadas por I a IA, IB, IC cortan a a una tangente dada a la circunferencia inscrita en P , Q, R respectivamente. Demostrar que AP , BQ y CR son concurrentes. Original de Rufo Casco, Universidad Nacional de Ingenier (Nicaragua) a 34. Sea a > 1 un nmero real positivo. Determinar el valor de a de modo que la grca de la funcin u a o f (x) = ax sea tangente a la grca de la funcin inversa de f . a o Original de Oscar Olmedo, Instituto Nacional Jorge Eliseo Azucena Ortega, Chalchuapa 35. Demostrar la identidad d dx
n1

x2 n . xn1 + 2xn

k=0

2k + 1 a 2 x cos 2n

n2

= n
k=1

k a 2 x cos n1

Sugerido por Ervin Ram rez, National Taiwan University

34

Caf Matemtico No. 7 e a Curiosidades del mes

El cubo de Metatrn o Este misterioso diagrama est formado por 13 circunferencias junto con las l a neas que unen sus centros. Tiene la interesante propiedad de contener los 5 slidos platnicos: tetraedro, cubo, octaedro, o o dodecaedro e icosaedro (hablando en rigor, contiene las proyecciones de los primeros tres, mas no las del resto). Metatrn es un arcngel mencionado en algunas fuentes ocultas del cristianismo y juda o a smo, y supuestamente ocupa uno de los puestos ms altos de la jerarqu celestial. Adems los 13 c a a a rculos (sin las l neas) forman una conguracin especial llamada or de la vida. Al parecer estas guras poseen o un fuerte signicado esotrico y son consideradas por algunos como geometr sagrada. e a

La ley de grupo Sab que es posible sumar puntos sobre la grca de una ecuacin cbica, al igual que en la a a o u recta real? La operacin, en un caso particular, consiste en unir dos puntos cualesquiera de la grca o a mediante una recta, tomar el punto de interseccin de dicha recta con la grca y luego reejarlo sobre o a el eje x, tal y como se muestra en la gura. Por cierto, la ecuacin debe satisfacer ciertas propiedades o especiales (concretamente ser una curva el ptica: una curva proyectiva regular de gnero 1). e

35

La justicacin de este hecho es la llamada ley de grupo de las curvas el o pticas: Toda curva el ptica es isomorfa a su variedad de Jacobi, que es un grupo abeliano, y hereda de sta una operacin que la e o convierte en un grupo (y de hecho en una variedad abeliana).

El asco de los trierniones En un hecho que puso en duda la divulgacin de las matemticas en esta parte del mundo, la prensa o a mexicana retom el mes anterior el supuesto descubrimiento de un nuevo sistema matemtico que o a generaliza los nmeros complejos a tres dimensiones. Los trierniones, como fueron bautizados por su u descubridor, tendr una parte real y dos imaginarias y formar un cuerpo de dimensin real 3 que an an o contiene a C. Lamentablemente los trierniones tal y como los deni su autor no existen: Es imposible encontrar o una extensin nita F/C con [F : R] > 2, ya que C es algebraicamente cerrado y automticamente o a F = C. Ms an, la idea de un nmero con una parte real y dos imaginarias no es nueva; stos a u u e ya hab sido estudiados en 2002 por el matemtico rumano Silviu Olariu. Al ser denidos correctaan a mente, los nmeros tricomplejos de Olariu forman un lgebra asociativa, conmutativa y de dimensin u a o real 3. En cualquier caso no tendremos la oportunidad de observar a los trierniones en el plano de ArgandMorales del R o mejor dicho en C. El editor opina que El Salvador deber de unirse a esta carrera o, a de reclamaciones territoriales en la matemtica (qu tal la geometr de Euclides-Aguilar ?) a e a

Ms informacin a o The ower of life, World-Mysteries.com, consultado el 19/12/ 2011. http://www.world-mysteries.com/sar sage1.htm Silverman, J.H., The arithmetic of elliptic curves, GTM, 2a ed., Springer, 2009. Mexicano descubre nuevo sistema matemtico, El Universal, 18/11/2011, consultado el 19/12/2011. a http://www.eluniversal.com.mx/articulos/67301.html

36