Está en la página 1de 33

REVISTA MATEMATICA DEL PROGRAMA JOVENES TALENTO

mero 9 Nu Diciembre 2012

REVISTA MATEMATICA DEL PROGRAMA JOVENES TALENTO N umero 9 (Diciembre 2012)


Qui enes somos
El Programa J ovenes Talento de El Salvador (PJT), cuya sede se encuentra en San Salvador, es un proyecto conjunto de la Universidad de El Salvador y el Ministerio de Educaci on que brinda atenci on a alumnos con rendimiento destacado en matem atica y ciencias naturales. Asimismo, en sus m as de 10 a nos de existencia, ha estado a cargo de la selecci on y preparaci on de las delegaciones que representan a El Salvador en diversas competencias internacionales. La Revista Matem atica del PJT fue fundada en 2009 con el objetivo de estimular el estudio de la matem atica a un alto nivel, con enfasis en la tradici on de las olimpiadas de matem atica. Est a dirigida a alumnos familiarizados con la resoluci on de problemas, instructores, profesores y al lector interesado en la matem atica en general. Inicialmente concebida en el contexto del PJT, la presente publicaci on pretende convertirse en una referencia seria de la actividad matem atica de El Salvador y la regi on centroamericana.

Editor
Gabriel Alexander Chicas Reyes (University of Tokyo) Correo electr onico: gachr.ebc253@gmail.com

Colaboradores
Agradecimientos especiales a Gredy Salmer on (Ponticia Universidad Cat olica de Chile) por participar en la correcci on de errores del presente n umero.

Cr editos fotogr acos


A menos que se especique lo contrario, las im agenes empleadas son de dominio p ublico y no se pretende ninguna violaci on de derechos de autor.

Suscripci on
La presente es una publicaci on digital distribuida mediante correo electr onico. Para suscribirse favor escribir a la direcci on remat.pjt@gmail.com. Los interesados en una impresi on de la revista pueden contactar a la Asociaci on de Padres de Familia del PJT (ASTALENTO), que hace circular (de manera limitada) una versi on en papel. Su direcci on de contacto es astalento@gmail.com.

C omo contribuir
La Revista Matem atica del PJT invita cordialmente a participar en su elaboraci on a todos los miembros del Programa (alumnos, instructores, catedr aticos, padres de familia) y al lector interesado en general.

Art culos. Se invita a los lectores a contribuir con sus trabajos originales sobre matem atica elemental. El documento deber a incluir las referencias acad emicas usadas en su elaboraci on y la informaci on de contacto de su autor, incluyendo: Nombre, aliaci on acad emica y correo electr onico. Columna de problemas. Se desaf a a los lectores a enviar sus soluciones creativas a los problemas de esta secci on, as como a proponer problemas originales para la columna del siguiente n umero. El archivo enviado deber a incluir la informaci on de contacto del autor, y en el caso de un problema propuesto su respectiva procedencia (nombre del libro, olimpiada, o autor del problema). Se dar a prioridad a problemas originales. Caf e Matem atico. Se acepta todo tipo de material de divulgaci on matem atica, incluyendo: Historia de las matem aticas, biograf as de matem aticos famosos, acertijos, humor matem atico, etc. Tener en cuenta que esta secci on est a orientada hacia un p ublico m as amplio, por lo que se evitar an documentos demasiado t ecnicos.

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

Pr oximo n umero
El n umero 10 de la revista est a programado para MAYO DE 2013.

ii

Contenidos
Art culos (p. 1)
Sobre una demostraci on alternativa de la f ormula de Stirling Daniel Campos (Universidad de Costa Rica) Introducci on al an alisis funcional II: Topolog as d ebiles y espacios de Hilbert Gredy Salmer on (Ponticia Universidad Cat olica de Chile)

Problemas ol mpicos (p. 14)


Problemas de la Olimpiada Matem atica de Centroam erica y el Caribe 2012 La Olimpiada Matem atica de Centroam erica y el Caribe (OMCC) es una competencia regional creada en 1999 con el objetivo de estimular el estudio de la matem atica en el area centroamericana. Actualmente participan 12 pa ses: Colombia, Costa Rica, Cuba, El Salvador, Guatemala, Honduras, M exico, Nicaragua, Panam a, Puerto Rico, Rep ublica Dominicana y Venezuela. Cada pa s puede participar enviando una delegaci on de tres estudiantes no mayores de 16 a nos. La 14a edici on de la OMCC fue celebrada en junio del presente a no en El Salvador, y los resultados obtenidos por la delegaci on salvadore na son: Rodrigo Jos e Mundo Due nas Salvador Alonso Figueroa V asquez Gilmar Andr e Mej a Mel endez Medalla de bronce Menci on honor ca Medalla de bronce

Problemas de la Olimpiada Internacional de Matem atica 2012 La IMO (International Mathematical Olympiad ) es la competencia de matem atica de m as prestigio y dicultad a nivel preuniversitario. Fue celebrada por primera vez en Rumania en 1959, lo que la convierte en la olimpiada internacional de ciencias m as antigua. Aunque en sus primeros a nos estuvo connada a los pa ses de Europa del Este, con el pasar del tiempo se ha convertido en un evento de car acter mundial, con 564 participantes de 100 pa ses de todo el mundo en 2012. La 53a edici on de la IMO fue celebrada en julio del presente a no en Argentina. Los estudiantes clasicados para representar a El Salvador obtuvieron los siguientes premios: Manuel Alejandro Mundo Due nas Byron Thonatiu Escobar Ben tez Oscar Armando Hidalgo Ar evalo Menci on honor ca Menci on honor ca

Problemas de la Olimpiada Iberoamericana de Matem atica 2012 La Olimpiada Iberoamericana de Matem atica (OIM) es la competencia matem atica de mayor prestigio 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 regi on. Desde ese entonces el n umero de pa ses participantes ha ido en aumento hasta comprender 23 pa ses iberoamericanos. Cada uno de ellos puede enviar una delegaci on de cuatro estudiantes no mayores de 18 a nos; adem as cada estudiante puede participar un m aximo de dos veces en la OIM. La 27a olimpiada fue celebrada en Bolivia en octubre del presente a no, y los resultados de la delegaci on salvadore na son:

iii

Byron Thonatiu Escobar Ben tez Jeanette Alejandra Fern andez Rivera Oscar Armando Hidalgo Ar evalo Manuel Alejandro Mundo Due nas

Medalla de bronce Menci on honor ca Medalla de plata Menci on honor ca

Columna de problemas (p. 19)


En esta secci on se incluyen 5 problemas de desaf o a los lectores, quienes est an invitados a resolverlos y enviar sus mejores soluciones a la revista. Las soluciones m as originales ser an publicadas en el siguiente n umero. Se ha introducido un nuevo formato en los enunciados de la columna. De ahora en adelante los problemas originales ser an marcados expl citamente por la palabra original, mientras que un problema sugerido indica que el proponente no es el autor del problema en cuesti on. Esto tiene dos objetivos: el primero es evitar plagios y conictos de derechos de autor, y el segundo es resaltar el m erito de los autores que crearon sus propios problemas. El editor espera que en el futuro haya abundancia de problemas originales, de modo que eventualmente esta distinci on se vuelva innecesaria. Problemas abiertos Los siguientes problemas todav a permanecen sin resolver: 18, 25, 38. Correcci on al problema 38 El editor pide disculpas por la redacci on ambigua del problema 38, que posiblemente contribuy oa la falta de soluciones. El autor del problema, Daniel Campos (Universidad de Costa Rica), nos proporcion o amablemente una versi on m as clara que adjuntamos a la columna del presente n umero.

Caf e Matem atico (p. 24)


Se aburre en su clase de matem aticas? La revista tiene la soluci on para Ud. En nuestro apartado de Curiosidades le sugerimos atractivos objetos matem aticos que son ideales para dibujar detr as de su cuaderno: la astroide, el tri angulo de Pascal y la espiral de Ulam. En el apartado de Noticias hablaremos (por supuesto!) de la posible demostraci on de la conjetura abc. A nadimos a u ltima hora una nota sobre el fallecimiento de Lars H ormander.

iv

Sobre una demostraci on alternativa de la f ormula de Stirling


Daniel Campos Salas
Resumen Presentamos una demostraci on elemental del c elebre resultado de Stirling, sobre la aproximaci on asint otica para n!, mediante el uso de sucesiones y la f ormula de Wallis.

1.

Introducci on

La f ormula de Stirling es uno de los resultados m as bellos e importantes de la matem atica. Su prueba, como por ejemplo en [2], se pospone hasta contar con herramientas del c alculo integral, como la f ormula de Euler-Maclaurin. Proponemos una demostraci on alternativa, usando resultados sobre sucesiones y la f ormula de Wallis, para la cual presentamos una demostraci on elemental que se encuentra en [2]. En la primera parte de la obra demostramos que cierto l mite existe y es un n umero real positivo, mientras que en la segunda determinamos el valor expl cito del l mite. Teorema 1. Para todo entero n sucientemente grande se cumple que n! (n/e)n 2n, es decir, n! = 2. n n (n/e) n l m (1)

2.

Existencia del l mite

Denimos an como en (1). Vamos a demostrar que an es decreciente y por lo tanto que su l mite existe. Antes de probar esto daremos una demostraci on de una desigualdad importante para su prueba. Proposici on 2. La funci on f (x) = (1 + x/2) log(1 + x) x es creciente en [0, ), y as f (x) 0 para todo x 0. Demostraci on. Tenemos que f (x) = x 1 1 1 1 log(1 + x) = 1 log 2 2(1 + x) 2 1+x 1+x 0,

donde la desigualdad se sigue de la conocida et 1 + t para t R (o bien, su equivalente t 1 + log t para t > 0), y as concluye la prueba. Proposici on 3. La sucesi on {an } es decreciente, y por lo tanto converge a un n umero real no negativo. Demostraci on. Es f acil vericar que la armaci on an an+1 es equivalente a 1+ lo cual es equivalente a n+ o bien a la desigualdad 1 2 log 1 + 1 n 1, 1 n
n+1/2

e,

1+

1 2n

log 1 +

1 n

1 . n

Esta u ltima desigualdad se sigue de la proposici on anterior. Antes de continuar con el c alculo del l mite vamos a demostrar que la sucesi on {a2n /an } es creciente. Para esto vamos a probar una desigualdad que nos permite concluir el resultado. Note que los t erminos de esta sucesi on son menores que 1 por la proposici on anterior. Proposici on 4. La funci on g (x) = x(1 + log(1 + x/2)) (1 + x) log(1 + x) es creciente en [0, ), y as g (x) 0 para todo x 0. Demostraci on. Tenemos que g (x) = 1 + log(1 + x/2) + x x+2 (log(1 + x) + 1) = x x log 1 + x+2 x+2 0,

donde la desigualdad se sigue de la conocida et 1 + t para t R (o bien, su equivalente t log(1 + t) para t > 1), y as concluye la prueba. Proposici on 5. La sucesi on {a2n /an } es creciente y acotada, por lo que converge a un n umero real positivo. Demostraci on. La armaci on a2n+2 /an+1 a2n /an es equivalente a e lo cual es equivalente a 1 1 log 1 + n n o bien a la desigualdad 1 1 1 + log 1 + n 2n 1+ 1 n log 1 + 1 . n + 1 1 log 1 + , n 2n + 1 1+ 1 n
n

1+

1 , 2n + 1

Esta u ltima desigualdad se sigue de la proposici on anterior. El resultado anterior y la convergencia de la sucesi on {a2 umero real positivo van a permitir n /a2n } a un n demostrar que el l mite de la sucesi on {an } es un n umero real positivo. Proposici on 6. La sucesi on {a2 umero real positivo. n /a2n } converge a un n Demostraci on. Sea {bn } la sucesi on denida por bn := a2 es de unas simplicaciones obten /a2n . Despu nemos que 2 4 (2n) 2 22n (n!)2 2 . bn = = (2n)! n 1 3 (2n 1) n Note que b2 n = de manera que 22 13 (2n 2)2 (2n 3)(2n 1) 2
n1

12

2 22 42 (2n)2 =2 32 (2n 1)2 n

22 13

(2n 2)2 (2n 3)(2n 1)

2n 2n , 2n 1 n

l m b2 m n = 2 l

2n 2n = 4 l m n 2n 1 n

1+
k=1

1 . 4k 2 1

(2)

Ahora note que para k 1 se tiene que 1+

4k 2

2 1 1 1 + 2 e1/k . 1 k

Puesto que k=1 1/k 2 converge se tiene entonces que el l mite anterior existe. Esto demuestra que la sucesi on {a2 n /a2n } converge. Corolario 7. La sucesi on {an } converge al n umero real positivo

2
k=1

1 4k 2

1/2

(3)

Demostraci on. Sea L el l mite de la sucesi on {a2n /an } y M el l mite de la sucesi on {a2 n /a2n }, con L, M > 0 por las proposiciones 5 y 6. Esto implica que el l mite de la sucesi on {an } es LM y por lo tanto que el l mite es positivo. Adem as, se tiene que L = l m a2n l mn a2n = = 1. an l mn an

Por lo tanto, el l mite de la sucesi on {an } es igual a M , que por (2) es igual a

2
k=1

1+

1 4k 2 1

1/2

=2
k=1

1 4k 2

1/2

como se quer a.

3.

C alculo del l mite

En esta secci on procedemos a calcular el valor del producto innito en (3). Reproducimos la prueba que se presenta en [2], para la cual es necesario el siguiente lema sobre la factorizaci on de la funci on sen x como un producto innito. Lema 8. Si x un n umero real, entonces se cumple que

sen x = x
k=1

x2 k2 2

Demostraci on. Por la f ormula de De Moivre se tiene que sen(2n + 1)t = (cos t + i sen t)2n+1 (cos t + i sen t)2n+1 2i 2n + 1 2n + 1 = cos2n t sen t cos2n2 t sen3 t + + (1)n sen2n+1 t 1 3 = sen tW (sen2 t), donde W (u) es un polinomio de grado a lo sumo n. Como sen(2n + 1)t se anula para tk = k/(2n + 1) para k = 1, 2, . . . , n, el polinomio W (u) se debe anular para uk = sen2 tk con k = 1, 2, . . . , n. Adem as, todos estos valores de uk son distintos, por lo que
n

W (u) = A
k=1

u sen2 tk

Por lo tanto se tiene que


n

sen(2n + 1)t = A sen t


k=1

sen t sen2 tk

de donde se concluye que A = l mt0 sen(2n + 1)t/ sen t = 2n + 1. Sea x R jo y m N tal que |x| < (m + 1) . Si n > m podemos escribir sen x = Pm,n Qm,n , donde x 2n + 1
m

(4)

Pm,n = (2n + 1) sen

1
k=1

sen2 x/(2n + 1) sen2 k/(2n + 1)

, Qm,n =
k=m+1

sen2 x/(2n + 1) sen2 k/(2n + 1)

Tomando el l mite cuando n se obtiene que


m n

l m Pm,n = x
k=1

x2 k2 2

(5)

Por lo tanto se tiene que para x = k {Qm,n } converge a un valor Qm . A continuaci on vamos a estimar Qm . Para esto, note que (m + 1) |x| < < . 2n + 1 2n + 1 2 Usando las desigualdades 2u/ < sen u < u, para 0 < u < /2, se tiene que 0< 0<1 para k = m + 1, . . . , n, de manera que
n

x2 sen2 x/(2n + 1) , <1 2 4k sen2 k/(2n + 1)

1
k=m+1

x2 4k 2

< Qm,n < 1.

De una manera similar en la que se prob o la convergencia del producto en (2) se puede demostrar que el producto innito k=1 (1 x2 /4k 2 ) converge. Esto implica que

1
k=m+1

x2 4k 2

Qm 1,

y as se obtiene que
m

l m Qm = 1.

(6)

De (4), (5) y (6) se concluye el resultado. Corolario 9. Se cumple que

1
k=1

1 4k 2

2 .

Este corolario y el de la secci on anterior completan la demostraci on del teorema.

Referencias
[1] T. M. Apostol, Calculus, vol. II, John Wiley & Sons, Segunda edici on, 1969; p. 616. [2] W. J. Kaczor, M. T. Nowak, Problems in Mathematical Analysis I: Real Numbers, Sequences and Series, American Mathematical Society, 2000; p. 374.

AL ANALISIS INTRODUCCION FUNCIONAL II: TOPOLOG IAS DEBILES Y ESPACIOS DE HILBERT


Gredy Jhovanny Salmer on Casco Ponticia Universidad Cat olica de Chile
Resumen Los espacios de Hilbert son objetos fundamentales en el an alisis funcional que generalizan el concepto de espacio eucl deo; esto permite que nociones y t ecnicas aplicables a espacios de dimensi on dos y tres se extiendan a espacios de dimensi on innita. En nuestro estudio haremos un recorrido por las propiedades b asicas de estos espacios. Incluimos adem as una breve rese na de las topolog as d ebiles, convergencia d ebil y operadores compactos en espacios de Hilbert.

1.

Introducci on a los espacios de Hilbert

Iniciamos nuestro estudio deniendo los productos internos. Todos los espacios vectoriales considerados ser an reales. La palabra subespacio a secas se referir a a un subespacio vectorial. Denici on 1.1. Sea H un espacio vectorial. Una funci on , : H H R es un producto interno en H si para cualesquiera x1 , x2 , x e y H y n umeros reales: y 1. x1 + x2 , y = x1 , y + x2 , y , 2. x, y = y, x , 3. x, x > 0, si x = 0. Un espacio lineal H con un producto interno en H es llamado un espacio de producto interno. La propiedad (2) se llama simetr a. A partir de (1) y (2) se deduce que x, y1 + y2 = x1 , y1 + x2 , y2 ; esta propiedad, junto con (1), se llama bilinealidad. Ejemplo 1.1. Los siguientes son productos internos (compru ebelo).

1. Para dos sucesiones x = (xk ) e y = (yk )

sea x, y =
k=1

xk yk . f gd, donde
E

2. Dado un conjunto medible E y dos funciones f y g L2 (E ), denamos f, g = la integral es con respecto a la medida de Lebesgue.

Proposici on 1.1. (Desigualdad de Cauchy-Schwarz) Para dos vectores, u, v en un espacio con producto interno se verica que | u, v ||u|| ||v ||. Demostraci on. De manera natural denimos ||h|| = h, h . Observemos que para todo t R

0 ||u + tv ||2 = u + tv, u + tv = ||u||2 + 2t u, v + t2 ||v ||2 . Observamos que la ecuaci on cuadr atica del miembro derecho es siempre mayor o igual que cero, y por lo tanto no tiene ra ces reales distintas. Como consecuencia el discriminante de esta ecuaci on es no positivo y por lo tanto 4 u, v 2 4||u||2 ||v ||2 0, o sea | u, v ||u|| ||v ||.

En la proposici on anterior se deni o de manera natural ||h|| = por el producto interno en H .

h, h . Esta es la norma inducida h, h para todo h H .

Proposici on 1.2. Sea H un espacio con producto interno. Denimos ||h|| = Entonces || || es una norma en H .

Demostraci on. La u nica propiedad de una norma que no es evidente para la funci on || || es la desigualdad triangular. Esto, sin embargo, es una consecuencia de la desigualdad de Cauchy-Schwarz, ya que para dos vectores u, v H , 0 ||u + v ||2 = u + v, u + v = ||u||2 + 2 u, v + ||v ||2 ||u||2 + 2||u||||v || + ||v ||2 = (||u|| + ||v ||)2 y por lo tanto ||u + v || ||u|| + ||v ||. De este modo || || es una norma en H . Una identidad importante y f acil de deducir es la identidad del paralelogramo: Para cualesquiera vectores u,v en un espacio con producto interno H se verica que ||u v ||2 + ||u + v ||2 = 2||u||2 + 2||v ||2 . Teorema 1.1. Sea (X, || ||) un espacio normado. Entonces la norma || || es inducida por un producto interno si y solamente si la identidad del paralelogramo se satisface. Demostraci on. Ejercicio. Estamos ya en las condiciones de denir un espacio de Hilbert. Denici on 1.2. Decimos que un espacio con producto interno H es un espacio de Hilbert si es un espacio de Banach con respecto a la norma inducida por el producto interno. Teorema 1.2. Sean H un espacio de Hilbert, y (xn ), (yn ) sucesiones en H tales que xn x, yn y . Entonces xn , yn x, y . Demostraci on. Por la desigualdad de Cauchy-Schwarz se tiene que | xn , yn x, y | = | xn x, yn + x, yn y | ||xn x||||yn || + ||x||||yn y || Y puesto que claramente ||yn || ||y || cuando n se tiene que el miembro izquierdo de la desigualdad anterior converge a cero cuando n . Presentamos a continuaci on un resultado interesante en espacios de Hilbert, el cual arma que la distancia de un punto a un subconjunto cerrado de H est a bien denida. Teorema 1.3. Sea K un subconjunto cerrado, convexo y no vac o de un espacio de Hilbert H , y h0 un elemento de H \K . Entonces existe exactamente un vector h K que es el m as cercano a h0 en el sentido de que ||h0 h || = dist(h0 , K ) = nf ||h0 h||.
hK

Demostraci on. Al sustituir K por K h0 , se puede pensar que h0 = 0. Sea (hn ) una sucesi on en K que satisface que l m ||hn || = nf ||h|| (1)
n hK

Concluimos de la identidad paralelogramo y de la convexidad de K que para cada m y n ||hn ||2 + ||hm ||2 = 2 hn + hm 2
2

+2

hn + hm 2

2 nf ||h||2 + 2
hK

hn hm 2

(2)

De (1) y (2) se deduce que (hn ) es una sucesi on de Cauchy. Puesto que H es completo y K cerrado, (hn ) converge fuertemente a h K . Por la continuidad de la norma, ||h || = nf hK ||h||. Este es el punto en K que est a m as cercano al origen; veamos que es u nico. Si h es otro vector en K que est a m as cerca del origen, entonces, si sustituimos h por hn y h por hm en la desigualdad (2): ||h ||2 + ||h ||2 2 nf ||h||2 2
hK

h h 2

Por lo tanto h = h. Denici on 1.3. Dos vectores u, v en un espacio con producto interno H son ortogonales si satisfacen que u, v = 0. Un vector u es ortogonal a un subconjunto S de H si es ortogonal a cada vector en S . Denotamos por S a la colecci on de vectores en H que son ortogonales a S . Notemos que S es un subespacio cerrado de H (vericarlo). Teorema 1.4. Sea V un subespacio cerrado de un espacio de Hilbert H . Entonces H se descompone como la suma directa de V y V , es decir H = V V . Demostraci on. Sea h0 perteneciente a H \V . El teorema anterior nos dice que existe un u nico vector h V que est a m as cerca de h0 . Sea h cualquier vector en V . Para un n umero real t, ya que V es un subespacio lineal el vector h th pertenece a V y por lo tanto h0 h, h0 h = ||h0 h ||2 ||h0 (h th)||2 = h0 h, h0 h + 2t h0 h, h + t2 h, h . Por lo tanto para todo t R 0 2t h0 h, h + t2 h, h ,

y como consecuencia h0 h, h = 0. As , el vector h0 h es ortogonal a V . Obs ervese que h0 = h +(h0 h). Llegamos a la conclusi on de que H = V + V y puesto que V V = {0}, se sigue que H = V V . Corolario 1.5. Un subespacio lineal V de un espacio de Hilbert H es denso si y s olo si 0 es el u nico vector ortogonal a M . Demostraci on. Ejercicio. En vista de los resultados anteriores, dado un subespacio cerrado V de un espacio de Hilbert H , entonces para todo h H podemos escribir h = v + v , con v V, v V . Denamos el operador P : H H tal que P (h) = v , el cual es llamado la proyecci on ortogonal de H sobre V . Proposici on 1.3. Sea P la proyecci on ortogonal de un espacio de Hilbert H sobre un subespacio cerrado V . Entonces ||P || = 1 y P (u), v = u, P (v ) para cualesquiera u, v H . Demostraci on. Ejercicio. Denici on 1.4. Un subconjunto S de H es ortogonal si dos vectores cualesquiera de S son ortogonales. Si tal conjunto tiene la propiedad adicional de que cada vector en S es un vector de norma 1, decimos que S es ortonormal. Existe una generalizaci on del teorema de Pit agoras para vectores ortonormales: Si u1 , u2 , . . . , un son vectores ortonormales en H y a1 , a2 , . . . , an R entonces ||a1 u1 + a2 u2 + , an un ||2 = ||a1 ||2 + ||a2 ||2 + + ||an ||2 . Ahora establecemos una importante y u til desigualdad conocida como la desigualdad de Bessel.

Proposici on 1.4. Para una sucesi on ortonormal (n ) en H y h H se tiene que

k , h
k=1

||h||2 .
n k=1

Demostraci on. Para vericar esta desigualdad, jemos n y denamos hn = por la identidad de Pit agoras tenemos que
n n

h, k k ; entonces
n

0 ||hhn ||2 = ||h||2 2 h, hn +||hn ||2 = ||h||2 2


k=1 n

h, k h, k +
k=1

h, k

= ||h||2
k=1

h, k 2 .

Por lo tanto
k=1

k , h

||h||2 , y tomando el l mite cuando n se tiene el resultado buscado.

Teorema 1.6. Sea (k ) una sucesi on ortonormal en un espacio de Hilbert H y sea h H . Entonces la serie k=1 k , h k converge en H y el vector h k=1 k , h k es ortogonal a cada k . Demostraci on. Para un n umero natural n, denimos hn = k=1 k , h k . De la identidad general de Pit agoras, tenemos para cada par de n umeros naturales n y k ,
n+k n

||hn+k hn ||2 =
i=n+1

i , h i

Sin embargo, por la desigualdad de Bessel, la serie k=1 k , h 2 converge y por lo tanto (hn ) es una sucesi on de Cauchy en H . Como H es completo, k=1 k , h k converge a un vector h H . Fijemos un n umero natural m. Obs ervese que si n > m, entonces h hn es ortogonal a m . Po la continuidad del producto interior, h h es ortogonal a m . Denici on 1.5. Una sucesi on ortonormal (k ) en un espacio de Hilbert H es una base ortonormal si satisface que para cada h H

h=
k=1

k , h k .

Recordemos que un espacio es separable si este posee un subconjunto denso numerable. Para espacios de Hilbert de dimensi on innita y que son separables se garantiza la existencia de una base ortonormal: Teorema 1.7. Todo espacio de Hilbert separable y de dimensi on innita posee una base ortonormal. Demostraci on. Sea F la colecci on de subconjuntos de H que son ortonormales. Establezcamos un orden en F mediante la inclusi on; la uni on de todos los conjuntos en F es una cota superior para la colecci on. Por el lema de Zorn, es posible seleccionar un elemento maximal S0 F . Como H es separable, S0 es contable. Sea {k } on de S0 . Si 0 = h H , entonces por el teorema k=1 una enumeraci anterior h k=1 k , h k es ortogonal a cada k . Por lo tanto h k=1 k , h k = 0, pues de otro modo la uni on de S0 y la normalizaci on de h k=1 k , h k ser a un conjunto ortonormal que contiene a S0 , lo cual no es posible. Por lo tanto (k ) es una base ortonormal para H . Proposici on 1.5. Sea H un espacio de Hilbert y V un subespacio cerrado y separable para el cual (k ) es una base ortonormal. Si P es la proyecci on ortogonal de H sobre V , entonces P est a dada por Pu =
kN

k , u k .

Demostraci on. Notemos que por ser P la proyecci on ortonormal, se cumple que P u, v = u, P v para cualesquiera u, v H . Adem as P (n ) = n Luego por ser (k )kN una base ortonormal para V , para todo v V se tiene que

v=
k=1

k , v k .

Si u H , entonces P (u) V pues es la proyecci on sobre V ; as se tiene que


P (u) =
k=1

k , P (u) k =
k=1

P (k ), u k =
k=1

k , u k .

y por lo tanto P u =
k N

k , u k .

Denici on 1.6. Si T es un operador, denimos el operador adjunto de T como el operador T : H H determinado por la relaci on T (u), v = u, T (v ) para cualesquiera u, v H . Proposici on 1.6. Sea H un espacio de Hilbert. Si T es un operador continuo, entonces T tambi en lo es y se verica que ||T || = ||T ||. Demostraci on. Claramente T es un operador lineal. Sea h un vector unitario en H . Entonces por la desigualdad de Cauchy-Schwarz ||T (h)||2 = T (h), T (h) = T (T (h)), h ||T ||||T (h)|| y por lo tanto T es un operador lineal continuo y ||T || ||T ||. Pero adem as observemos que ||T (h)||2 = T (h), T (h) = T (T (h)), h ||T ||||T (h)|| y por lo tanto ||T || ||T ||. El operador adjunto tiene las siguientes propiedades, cuya vericaci on se le dejan al lector: (T ) = T, (S + T ) = T + S , (T S ) = S T .

2.

Topolog as d ebiles y sucesiones d ebilmete convergentes

Para dos topolog as T1 y T2 en un conjunto X , diremos que T1 es m as d ebil que T2 , o T2 es m as fuerte que T1 si se satisface que T1 T2 . Observemos que una funci on denida sobre X que es continua con respecto a una topolog a en X , entonces tambi en es continua con respecto a cualquier topolog a m as fuerte, pero puede no ser continua con respecto a una topolog a m as d ebil. Denici on 2.1. Si F es una colecci on de funciones lineales con valores reales en un conjunto X , la topolog a d ebil en X inducida por F , o la topolog a F -d ebil sobre X se dene como la topolog a m as peque na en X tal que cada funci on en F es continua. Una base para la topolog a F -d ebil sobre X est a formada por los conjuntos N donde
,f1 ,f2 ,fn (x)

= {x X : |fk (x ) fk (x)| < , 1 k n}

> 0 y (fk )n on nita de F . k=1 es una subcolecci

Denici on 2.2. Una sucesi on (xn ) en X converge a x X con respecto a la topolog a F -d ebil si l mn f (xn ) = f (x) para todo f F . En tal caso diremos que (xn ) converge d ebilmente a x y lo denotaremos por xn x. 9

Una funci on de X que es continua con respecto a la topolog a F -d ebil es llamada F -d ebilmente continua. Del mismo modo tenemos conjuntos F -d ebilmente abiertos, conjuntos F -d ebilmente cerrados y conjuntos F -d ebilmente compactos. Dado un espacio vectorial X , denimos el espacio dual continuo de X como el conjunto de todos los operadores lineales continuos sobre X . Denotaremos el espacio dual de X por X . Denici on 2.3. Sea X un espacio normado. La topolog a d ebil inducida por X es llamada la topolog a d ebil sobre X . De las deniciones anteriores tenemos que xn x si y s olo si l mn f (xn ) = f (x) para todo f X .

Existe una tercera topolog a importante para los espacios duales, adem as de las topolog as d ebiles o fuertes. Para un espacio normado X y x X se dene el funcional J (x) : X R como J (x)( ) = (x) para todo X . Es claro que el funcional J (x) es lineal y acotado sobre X mediante ||J (x)|| ||x||. Por otra parte, el operador J : X (X ) es lineal y por lo tanto J (X ) es un subespacio de (X ) . Denici on 2.4. Sea X un espacio lineal normado. La topolog a d ebil en X inducida por J (X ) (X ) es llamada la topolog a d ebil-* (d ebil-estrella) X . Denici on 2.5. Sea X un espacio normado. El operador J : X (X ) denido por J (x)( ) = (x) para todo X es llamado el embebimiento natural (notar que J es inyectivo) de X en (X ) . El espacio X se dice reexivo si se cumple que J es un operador sobreyectivo, es decir J (X ) = (X ) . Observaci on. J es una isometr a(vericarlo). Proposici on 2.1. Sea X un espacio normado. Entonces toda sucesi on d ebilmente convergente en X es acotada. Adem as, si xn x entonces ||x|| l m nf n ||xn ||. Demostraci on. Tomemos xn x en X , y utilicemos esta sucesi on para construir la sucesi on de funcionales {J (xn ) : X R}, la cual converge puntualmente a J (x) : X R. El teorema de la cota uniforme nos permite concluir que (J (xn )) es una sucesi on de funcionales acotados en X . Por la u ltima observaci on hecha sabemos queJ es una isometr a; entonces la sucesi on (xn ) es Ahora veriquemos la u ltima parte del enunciado, Por el teorema de Hahn-Banach (se recomienda al lector vericar este resultado) sabemos que existe un funcional f X para el cual ||f || = 1 y f (x) = ||x||. De este modo tenemos que: |f (xn )| ||f || ||x|| = ||xn || para todo n. Adem as ||f (xn )|| converge a |f (x)| = ||x||, y por lo tanto ||x|| = l mn |f (xn )| l m inf ||xn ||, como busc abamos. Despu es del breve recorrido por topolog as d ebiles, retomemos los espacios de Hilbert con un resultado sumamente importante conocido como el teorema de representaci on de Riesz, el cual establece que cualquier funcional lineal de H puede expresarse en t erminos del producto interno. Teorema 2.1. (Teorema de representaci on de Riesz) Sea H un espacio de Hilbert. Denimos el operador T : H H de modo que a cada h H se le asigna el funcional lineal T (h) : H R denido por T (h)(u) = h, u para todo u H . Entonces T es un operador lineal sobreyectivo e isom etrico. Demostraci on. Sea h H . Por la desigualdad de Cauchy-Schwarz el funcional T (h) : H R es acotado y ||T (h)|| ||h||. Pero si h = 0, entonces T (h)(h/||h||) = ||h||. Por lo tanto ||T (h)| = ||h||, y as T es una isometr a. Es evidente que T es lineal; queda por demostrar que T (H ) = H . Sea 0 = 0 un elemento de H . Puesto que 0 es continuo, su n ucleo es un subespacio cerrado de H (vericar este hecho). Por el teorema 1.4, ya que Ker 0 = H , podemos elegir un vector unitario h H que es ortogonal a Ker 0 . Denamos h0 = 0 (h )h . Armamos que T (h0 ) = 0 . En efecto, para h H , h 0 (h) h Ker 0 0 (h ) = h 0 (h) h , h 0 (h ) =0

y por lo tanto 0 (h) = h0 , h T (h0 )(h). 10

Observaciones a) El teorema anterior nos dice que todo f H puede expresarse como f (h) = h0 , h para alg un h0 H . b) En vista de la denici on de convergencia d ebil y el teorema anterior, (xn ) converge d ebilmente a x en un espacio de Hilbert H si y s olo si para todo h H
n

l m h, xn = h, x .

Proposici on 2.2. Sea (xn )

x en un espacio de Hilbert H . Entonces (xn ) es acotada y ||x|| l m inf ||xn ||.

Demostraci on. Ejercicio. Teorema 2.2. Toda sucesi on acotada en un espacio de Hilbert H tiene una subsucesi on d ebilmente convergente. Demostraci on. Ejercicio. Es claro que si una sucesi on (un ) converge fuertemente a x, entonces (xn ) converge d ebilmente a x, pero el reciproco de esto no necesariamente es cierto. El siguiente resultado, conocido como el teorema de Radon-Riesz, da una condici on para que la convergencia d ebil implique la fuerte. Teorema 2.3. Sea un u en un espacio de Hilbert H . Entonces (un ) u (convergencia fuerte) si y s olo si l m ||un || = ||u||.
n

Demostraci on. Dado que la norma es continua con respecto a la topolog a fuerte, si (un ) u entonces l mn ||un || = ||u||. Por otro lado, si l mn ||un || = ||u||, entonces dado que ||un u||2 = ||un ||2 2 un , u + ||u|| para todo n, se sigue que la sucesi on d ebilmente convergente un es fuertemente convergente. Teorema 2.4. Todo espacio de Hilbert H es reexivo. Demostraci on. Para establecer la reexividad es necesario demostrar que el embebimiento natural J : H (H ) es sobreyectivo. Para ello tomemos un funcional lineal acotado : H R. Sea T : H H el isomorsmo descrito en el teorema de representaci on de Riesz. Entonces T : H R es acotado. El teorema de representaci on de Riesz dice que existe h0 H para el cual se verica que T = T (h0 ). Por lo tanto para todo h H (T (h)) = T (h0 )(h) = T (h)(h0 ) = J (h0 )(T (h)). Puesto que T (H ) = H , = J (h0 ). y en consecuencia H es reexivo.

3.

Operadores compactos

Los operadores compactos generalizan las nociones de compacidad que se ten an para espacios m etricos y ahora traducidas a operadores continuos. Dado un espacio de Hilbert H , denotaremos por L(H ) el conjunto de los operadores continuos H H . Denici on 3.1. Un operador T L(H ) es compacto si T (B ) tiene clausura compacta con respecto a la topolog a fuerte, donde B denota a la bola unitaria cerrada en H .

11

El siguiente resultado nos permite establecer las condiciones necesarias y sucientes de compacidad para la bola unitaria cerrada en un espacio normado. Por motivos de espacio omitiremos la demostraci on. Lema 3.1. En un espacio normado H , B es compacta si y s olo si H es de dimensi on nita. Teorema 3.1. a) Si T : H H es un operador de rango nito (es decir la imagen de T tiene dimensi on nita), entonces T es un operador compacto. b) Si H es un espacio de dimensi on innita, entonces el operador identidad I no es compacto. Demostraci on. a) Sea T un operador de rango nito. Entonces T es acotado (puesto que todo operador de rango nito es continuo). Como los operadores acotados env an conjuntos acotados a conjuntos acotados, resulta que T (B ) es un conjunto acotado en un subespacio de dimensi on nita T (H ) H . Y puesto que todo conjunto acotado en un subespacio de dimensi on nita tiene clausura compacta(vericarlo), se tiene que T (B ) tiene clausura compacta. b) Trivial por el lema anterior. Teorema 3.2. Sea H un espacio de Hilbert y K L(H ). Los siguientes literales son equivalentes. a) K es compacto. b) K (B ) es totalmente acotado, donde B es la bola cerrada unitaria. c) Si (hn ) es una sucesi on acotada en H , (K (hn )) tiene una subsucesi on fuertemente convergente. Demostraci on. Ejercicio. Denotemos por K(H ) el conjunto de los operadores compactos. Teorema 3.3. Sea H un espacio lineal normado. Entonces K(H ) es un subespacio cerrado de L(H ). Demostraci on. La vericaci on de que K(H ) es un subespacio es trivial. Demostremos que K(H ) es un subespacio cerrado de L(H ). Sea Kn : H H una sucesi on de operadores compactos y K : H H un operador acotado tal que Kn K en la norma de operador. Veamos que K es compacto. Dado > 0, elegimos N = N ( ) de tal manera que ||KN K || < . Utilizando el hecho de que KN (B ) es totalmente acotado, elijamos un subconjunto nito B tal que m nx ||y KN x|| < para todo y KN (B). Entonces, para z = K (x0 ) K (B ) y x , ||z K (x)|| = ||(K KN )(x0 ) + K (x0 x) + (KN K )(x)|| 2 + ||KN (x0 ) KN (x)||. Por lo tanto m nx ||y KN x|| < 3 , lo que demuestra que K (B ) es totalmente acotado y por lo tanto K es compacto. Teorema 3.4. El conjunto de operadores de rango nito es denso en K(H ). Demostraci on. Sea K un operador compacto, entonces K (B ) es un compacto que contiene un subconjunto denso numerable(ya que todo espacio m etrico compacto es separable) y de esto se deduce que K (H ) es un subespacio separable de H . Sea (n ) una base ortonormal para K (H ) H y PN (y ) = n=1 y, n n la proyecci on ortogonal de y sobre el subespacio generado por {n }N mn ||PN y || = 0 para todo y K (H ). n=1 . Entonces l 12
N

Denimos un operador de rango nito en H como Kn := Pn K . Procedamos por contradicci on. Supongamos que l m supn ||K Kn || = > 0, en cuyo caso no existe xnk B tal que ||(K Knk )(xnk )|| para todos los nk . Puesto que K es compacto, pasando a una subsucesi on si es necesario, podemos suponer que {Kxnk } mk K (xnk ): nk =1 es convergente en H . Haciendo y := l ||(K Knk )xnk || = ||(1 Pnk )K (xnk )|| = ||(1 Pnk )K (xnk y )|| + ||(1 Pnk )y || ||Knk y || + ||(1 Pnk )y || 0 cuando n .

Pero esto contradice la suposici on de que es positivo y por lo tanto tenemos que l mn ||K Kn || = 0, es decir, K es un l mite de operadores de rango nito, lo que hace concluir que los operadores de rango nito son densos en K(H ). En los espacios de Hilbert existe una caracterizaci on importante de los operadores compactos, la cual tiene relaci on con las sucesiones d ebilmente convergentes. Teorema 3.5. Sea H un espacio de Hilbert. Un operador T L(H ) es compacto si y s olo si asigna sucesiones d ebilmente convergentes a sucesiones fuertemente convergentes, es decir, si (hn ) h entonces T (hn ) T (h). Demostraci on. De acuerdo con el Teorema 3.2, el operador es compacto si y s olo si envia sucesiones acotadas a sucesiones que tienen una subsucesi on fuertemente convergente. Primero supongamos que T es compacto. Observemos que para cualquier operador T L(H ), si uk u entonces T (un ) T (u), ya que para cada v H,
k

l m (T (uk ), v = l m uk , T (v ) = u, T (v ) = T (u), v .
k

Sea (hn ) h en H . Por compacidad (T (hn )) tiene una subsucesi on que converge fuertemente, y por la observaci on anterior su l mite debe ser T (h). Por lo tanto (T (hn )) converge fuertemente a T (h). Para el rec proco, supongamos que T env a sucesiones d ebilmente convergentes a sucesiones fuertemente convergentes. Sea (hn ) una sucesi on acotada. El Teorema 2.2 nos dice que (hn ) tiene una subsucesi on d ebilmente convergente. La imagen de esta subsucesi on converge fuertemente. Dejamos un u ltimo resultado como ejercicio Proposici on 3.1. Si T es un operador en un espacio de Hilbert H , T K(H ) si y s olo si T K(H ).

Referencias
[1] Royden, H.L., Fitzpatrick, P. M., Real Analysis, 3rd ed., Prentice Hall, 1988. [2] Folland, G.B., Real Analysis: Modern Techniques and Their Applications, 2nd ed., Wiley, 1999. [3] Driver, B.K., Analysis Tools with Applications, 2003. http://www.math.ucsd.edu/ bdriver/231-02-03/Lecture Notes/PDE-Anal-Book/analpde1.pdf [4] Brezis, H., Functional Analysis, Sobolev Spaces and Partial Dierential Equations, Universitext, Springer, 2010. Gredy Jhovanny Salmer on Correo electr onico:gredyjs@gmail.com

13

XIV OLIMPIADA MATEMTICA DE CENTROAMRICA Y EL CARIBE La Herradura, La Paz, El Salvador Martes, 19 de junio de 2012

Da 1
Problema 1. Hallar todos los enteros positivos que sean iguales a 700 veces la suma de sus dgitos. Problema 2. Sea la circunferencia circunscrita al tringulo acutngulo ABC. Sea P el punto medio del menor arco BC. La paralela por P a la recta AB intercepta BC, AC y en los puntos R, S y T , respectivamente. Se denen los puntos K y L como las intersecciones de AP con BT y BS con AR. Demostrar que la recta KL pasa por el punto medio de AB si y slo si CS = PR. Problema 3. Sean a, b, c nmeros reales que satisfacen Demostrar que a+b+c 1 1 1 + + = 1 y ab + bc + ca > 0. a+b b+c c+a

abc 4. ab + bc + ca

Cada problema tiene un valor de 7 puntos. Duracin de la prueba: 4 horas y 30 minutos.

14

XIV OLIMPIADA MATEMTICA DE CENTROAMRICA Y EL CARIBE La Herradura, La Paz, El Salvador Mircoles, 20 de junio de 2012

Da 2
Problema 4. Trilandia es una ciudad muy peculiar. La ciudad tiene forma de tringulo equiltero de lado 2 012. Las calles dividen la ciudad en varios bloques que tienen forma de tringulo equiltero de lado 1. Tambin hay calles en el borde de Trilandia. En total hay 6 036 calles. El alcalde quiere ubicar puestos de vigilancia en algunas esquinas de la ciudad, para vigilar las calles. Un puesto de vigilancia puede vigilar todas las calles en las que est ubicado. Cul es la menor cantidad de puestos que se requieren para poder vigilar todas las calles de Trilandia? sta es una de las 12 calles en este modelo reducido

Problema 5. Alejandro y Luisa son una pareja de ladrones. Cada da por la maana, Luisa le roba a Alejandro un tercio de su dinero, pero por la tarde sufre de un inusual ataque de conciencia y le da la mitad de todo el dinero que ella tiene. Si Luisa roba por primera vez en el da 1, y antes de eso no tena dinero, cul es la menor cantidad entera positiva de dinero que Alejandro debe tener para que al nal del da 2012 ambos tengan una cantidad entera de dinero? Problema 6. Sea ABC un tringulo con AB < BC, y sean E y F puntos en AC y AB, respectivamente, tales que BF = BC = CE , ambos ubicados en el mismo lado que A respecto de BC. Sea G la interseccin de BE con CF . Se toma un punto H sobre la paralela a AC por G tal que HG = AF (con H en BAC distinto lado que C respecto de BG). Demostrar que EHG = . 2

Cada problema tiene un valor de 7 puntos. Duracin de la prueba: 4 horas y 30 minutos.

15

Language:

Spanish
Day:

Martes, 10 de julio de 2012

Problema 1.

Dado un tringulo ABC , el punto J es el centro del excrculo opuesto al vrtice A. Este excrculo es tangente al lado BC en M , y a las rectas AB y AC en K y L, respectivamente. Las rectas LM y BJ se cortan en F , y las rectas KM y CJ se cortan en G. Sea S el punto de interseccin de las rectas AF y BC , y sea T el punto de interseccin de las rectas AG y BC . Demostrar que M es el punto medio de ST . (El excrculo de ABC opuesto al vrtice A es la circunferencia que es tangente al segmento BC , a la prolongacin del lado AB ms all de B , y a la prolongacin del lado AC ms all de C .)
Problema 2. Sea n 3 un entero, y sean a2 , a3 , . . . , an nmeros reales positivos tales que a2 a3 an = 1. Demostrar que

(1 + a2 )2 (1 + a3 )3 (1 + an )n > nn .
Problema 3.

El juego de la adivinanza del mentiroso es un juego para dos jugadores A y B . Las reglas del juego dependen de dos enteros positivos k y n conocidos por ambos jugadores. Al principio del juego, el jugador A elige enteros x y N con 1 x N . El jugador A mantiene x en secreto, y le dice a B el verdadero valor de N . A continuacin, el jugador B intenta obtener informacin acerca de x formulando preguntas a A de la siguiente manera: en cada pregunta, B especica un conjunto arbitrario S de enteros positivos (que puede ser uno de los especicados en alguna pregunta anterior), y pregunta a A si x pertenece a S . El jugador B puede hacer tantas preguntas de ese tipo como desee. Despus de cada pregunta, el jugador A debe responderla inmediatamente con s o no, pero puede mentir tantas veces como quiera. La nica restriccin es que entre cualesquiera k + 1 respuestas consecutivas, al menos una debe ser verdadera. Cuando B haya formulado tantas preguntas como haya deseado, debe especicar un conjunto X de a lo ms n enteros positivos. Si x pertenece a X entonces gana B ; en caso contrario, pierde. Demostrar que: 1. Si n 2k , entonces B puede asegurarse la victoria. 2. Para todo k sucientemente grande, existe un entero n 1, 99k tal que B no puede asegurarse la victoria.

Language: Spanish

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

16

Language:

Spanish
Day:

Mircoles, 11 de julio de 2012

Problema 4.

Hallar todas las funciones

f: ZZ

que cumplen la siguiente igualdad:

f (a)2 + f (b)2 + f (c)2 = 2f (a)f (b) + 2f (b)f (c) + 2f (c)f (a),


para todos los enteros

a, b, c

que satisfacen

a + b + c = 0.

(Z denota el conjunto de los nmeros enteros.)

BCA = 90 , y sea D el pie de la altura desde C . Sea X un punto interior del segmento CD . Sea K el punto en el segmento AX tal que BK = BC . Anlogamente, sea L el punto en el segmento BX tal que AL = AC . Sea M el punto de interseccin de AL y BK . Demostrar que M K = M L.
Problema 5.

Sea

ABC

un tringulo tal que

Problema 6.

Hallar todos los enteros positivos

para los cuales existen enteros no negativos

a1 , a2 , . . . , an

tales que

1 1 2 n 1 1 + a2 + + an = a1 + a2 + + an = 1. a 1 2 2 2 3 3 3

Language: Spanish

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

17

XXVII Olimpiada Iberoamericana de Matem atica Cochabamba, Bolivia

D a 1 (2 de octubre de 2012) 1. Sea ABCD un rect angulo. Se construyen tri angulos equil ateros BCX y DCY de modo que estos tri angulos compartan algunos de sus puntos interiores con los puntos interiores del rect angulo. Las rectas AX y CD se cortan en P , y las rectas AY y BC se cortan en Q. Probar que el tri angulo AP Q es equil atero. 2. Decimos que un entero positivo es brillante si puede ser escrito como la suma de dos enteros no necesariamente distintos a y b con la misma suma de d gitos. Por ejemplo, 2012 es brillante ya que 2012 = 2005 + 7, y 2005 y 7 tienen la misma suma de d gitos. Determinar todos los enteros positivos que no son brillantes. 3. Sea n un entero positivo. Dado un conjunto de enteros {a1 , a2 , . . . , an }, donde ai {0, 1, 2, . . . 2n } para todo i, asociamos a cada uno de sus subconjuntos la suma de sus elementos; en el caso particular del conjunto vac o dicha suma es 0. Decimos que {a1 , a2 , . . . , an } es n-completo si todas estas sumas son diferentes m odulo 2n . Determinar el n umero de conjuntos n-completos en funci on de n.

D a 2 (3 de octubre de 2012) 4. Sean a, b, c, d enteros tales que a b + c d es impar y divide a a2 b2 + c2 d2 . Probar que para todo entero positivo n, a b + c d divide a an bn + cn dn . 5. En un tri angulo ABC , sean P y Q las intersecciones de la paralela a BC por A con las bisectrices exteriores de los angulos B y C , respectivamente. La perpendicular a BP por P y la perpendicular a CQ por Q se cortan en R. Si I es el incentro de ABC , demostrar que AI = AR. 6. Demostrar que para todo entero positivo n existen n enteros positivos consecutivos tales que ninguno de ellos es divisible por la suma de sus respectivos d gitos. Tiempo por d a: 4 horas y media Cada problema vale 7 puntos

18

Columna de Problemas No. 8 (Soluciones)

Problema 36 Sea ABC un tri angulo tal que el centro N de la circunferencia de los 9 puntos coincide con uno de sus v ertices. Hallar los angulos de ABC . Fuente: Original de Oscar Olmedo, Instituto Nacional Jorge Eliseo Azucena Ortega (El Salvador) Soluci on de Julio Ayala, Universidad de Buenos Aires Sabemos que el punto N equidista de los puntos medios de los lados BC, CA y AB , a los que llamaremos P, Q y R, respectivamente. Suponer N = A. Tendremos AP = AQ = AR. En consecuencia AB = AC , y AP BC . Como AP C es rect angulo en P , entonces AP = AQ = QP , de donde AP Q es equil atero y P AC = 60 . An alogamente P AB = 60 . Ocupando AB = AC encontramos que ABC = ACB = 30 . Luego la repuesta es 30 , 30 y 120 , en alg un orden. Nota del editor: El enunciado original, que conten a varios literales, ped a tambi en caracterizar a los tri angulos tales que el centro N de la circunferencia de los 9 puntos est a sobre alguno de los lados del tri angulo. El lector est a invitado a intentar este problema adicional.

B P

19

Problema 37 Sea k un n umero real. Determinar todos los valores enteros de a y b que satisfacen a a + k2 b k . b a+b Fuente: Original de Oscar Hern andez, Universidad de El Salvador Soluci on de Julio Ayala, Universidad de Buenos Aires La desigualdad k (a + k 2 b)/(a + b) es equivalente a b(k 1)(k a/b) 0 cuando a + b > 0. Por hip otesis k a/b 0. Por tanto basta garantizar que b(k 1) 0. Llamando S al conjunto soluci on tendremos los siguientes casos. Si k > 1, entonces S = {(a, b) Z Z | a + b > 0 b > 0 a/b k }. Si k < 1, entonces S = {(a, b) Z Z | a + b > 0 b < 0 a/b k }. Si k = 1, entonces S = {(a, b) Z Z | a + b > 0 a/b k }. La desigualdad k (a + k 2 b)/(a + b) es equivalente a b(k 1)(k a/b) 0 cuando a + b < 0. Por tanto basta garantizar que b(k 1) 0. Llamando T al conjunto soluci on tendremos los siguientes casos. Si k > 1, entonces T = {(a, b) Z Z | a + b < 0 b < 0 a/b k }. Si k < 1, entonces T = {(a, b) Z Z | a + b < 0 b > 0 a/b k }. Si k = 1, entonces T = {(a, b) Z Z | a + b < 0 a/b k }. Para cada uno de los tres casos el conjunto soluci on nal es S T (el S y el T respectivos).

20

Problema 39 Encontrar todos los enteros positivos n que satisfacen n3 + (n + 1)3 + (n + 2)3 = (n + 3)3 . Fuente: Original de Manuel Mundo (El Salvador) y el editor Soluci on de Carlos Arias (El Salvador) Expandimos la expresi on dada, cancelamos t erminos comunes y dividimos por 2 para obtener n3 6n 9 = 0. Sea r/s una ra z racional de la ecuaci on con r, s Z y mcd(r, s) = 1. Por el teorema de la ra z racional r | 9 y s | 1, y entonces r/s {1, 3, 9}. Probando las opciones posibles de r/s obtenemos que la u nica opci on que satisface la ecuaci on es r/s = 3. Por lo tanto n = 3 es la u nica soluci on entera que satisface la ecuaci on. Soluci on de Julio Ayala, Universidad de Buenos Aires La igualdad es claramente equivalente a la ecuaci on c ubica 0 = n3 6n 9 = (n 3)(n2 + 3n + 3), que tiene una u nica soluci on real. Luego n = 3 es la u nica soluci on. Nota del editor: Euler conjetur o una posible generalizaci on del u ltimo teorema de Fermat: dados k k k enteros n, k > 1, si a1 , a2 , . . . , an son enteros positivos tales que ak 1 + a2 + + an = b , entonces n k (Fermat corresponde al caso n = 2). Aparte de ser establecido para el caso k = 3 y refutado para k = 4, 5, se desconoce la validez de este resultado cuando k 6. Recibida tambi en una soluci on de Ervin Ram rez (Nicaragua).

21

Problema 40 Calcular la integral indenida log 1 Fuente: Original del editor Soluci on de Julio Ayala, Universidad de Buenos Aires F acilmente se encuentra que log 1 1 x3 log xdx = x(log x 1). Por tanto log(x 1)dx log(x3 )dx + log x+ 1 2
2

1 x3

dx.

I=

dx =

log(x2 + x + 1)dx + 3 4 dx

= (x 1) log |x 1| x 3x(log x 1) +

3 1 y utilizando integraci on por Llamaremos I a esta u ltima integral. Haciendo y = x + , c = 2 4 partes vemos que I = log(y 2 + c)dy = y log(y 2 + c) 2 y2 2c +c dy

= y log(y 2 + c) 2y + 2

1 dy 2 (y/ c) + 1 2x + 1 log(x2 + x + 1) (2x + 1) + 3 arctan = 2

2x + 1 3

Por tanto la respuesta al problema es 2x + 1 log(x2 + x + 1) (2x + 1) + 3 arctan 2 2x + 1 3

(x 1) log |x 1| x 3x(log x 1) + o bien, reordenando un poco, 3 arctan 2x + 1 3

+ x log 1

1 x3

log |x 1| +

1 log(x2 + x + 1). 2

Soluci on de Ervin Ram rez (Nicaragua) El metodo de integracion por partes nos dice que: I= log 1 1 x3 dx = x log 1 1 x3 x3 3 dx. 1

Luego descomponiendo la u ltima integral en una suma de fracciones parciales e integrando tenemos: I = x log 1 1 x3 1 = x log 1 3 x x+2 1 dx x 1 x2 + x + 1 1 log |x 1| + log(x2 + x + 1) + 3 arctan 2

2x + 1 3

+ C.

22

Columna de Problemas No. 9

38A. Demostrar que existen dos conjuntos A y B de enteros positivos tales que para todo n umero racional positivo r existe un u nico par (a, b) A B que cumple r = a/b. Original de Daniel Campos, Universidad de Costa Rica 41. A partir del paralelogramo de la izquierda se crea una teselaci on del plano euclidiano, tal y como se muestra a la derecha. Sup ongase que es posible inscribir un cuadrado en dicho paralelogramo. Demostrar que tan es racional. Original de Julio Ayala, Universidad de Buenos Aires

42. En un tri angulo P QR se inscribe otro tri angulo A B C , y por los v ertices P , Q, R del primero se trazan paralelas a los lados del segundo, form andose el tri angulo ABC . Demostrar que el area del tri angulo P QR es la media geom etrica de las areas de los tri angulos A B C y ABC . Original de Rufo Casco, Universidad Nacional de Ingenier a de Nicaragua 43. A partir de un tri angulo jo A1 B1 C1 se crea una sucesi on de tri angulos {Ak Bk Ck }k1 tal que para cada k 1 los segmentos Ak Ak+1 , Bk Bk+1 y Ck Ck+1 son cevianas interiores y concurrentes del tri angulo Ak Bk Ck . Si [ABC ] denota el area del tri angulo ABC , probar que la serie terminar cu ando alcanza su m aximo valor.
k=1 [Ak Bk Ck ]

converge y de-

Original de Julio Ayala, Universidad de Buenos Aires 44. Resolver en enteros la ecuaci on 2a m + 2a+1 (m + 1) + 2a+2 (m + 2) = m(m + 1). Original de Manuel Mundo (El Salvador) 45. Sean a, b, c n umeros reales no negativos. Demostrar que (3a + b)(3b + a) + (2a + c)(2b + c) (3b + c)(3c + b) + (2b + a)(2c + a) (3c + a)(3a + c) 4. (2c + b)(2a + b)

Original de Daniel Campos, Universidad de Costa Rica

23

Caf e Matem atico No. 9 Curiosidades: Las matem aticas del aburrimiento
De la astroide y otras astralidades Suponga que su clase de matem aticas es muy aburrida y decide hacer algo en su cuaderno cuadriculado. Dibuja dos ejes, toma una peque na regla, apoya sus extremos en uno de los cuadrantes y traza varias l neas a medida que la desliza. Repitiendo el proceso Ud. obtendr a una simp atica gura como esta:

Fuente: Wolfram MathWorld

Qu e tipo de curva es la que acaba de dibujar? Aunque parezca estar hecha de arcos de c rculos, no es as . Se denomina astroide y es una curva plana determinada por la ecuaci on cartesiana x2/3 + y 2/3 = 1. Curiosamente, la astroide tiene otras deniciones equivalentes, si bien no menos encantadoras. Suponga que dibuja un c rculo de radio 1 en otra p agina, junto con un segundo c rculo de radio 1/4 tangente interiormente al primero. Si de alguna manera Ud. pudiera hacer rodar el c rculo peque no alrededor del per metro del c rculo mayor, el punto de tangencia inicial trazar a una curva familiar... una astroide, por supuesto. Debido a esta propiedad se dice que la astroide es un tipo de hipocicloide.

Fuente: Wikipedia

24

No est a sorprendido a un? Tome otra p agina de papel, dibuje dos ejes y escoja alg un n umero positivo, digamos 1. Ahora trace primorosamente todas las elipses tales que la suma de sus semiejes es igual a 1 (suponemos que dispone de mucho tiempo). El contorno formado por todas elipses no es sino una astroide!

Fuente: Wolfram MathWorld

Esperamos, por supuesto, que el lector se indigne y se sienta obligado a justicar por qu e todas estas construcciones denen a la misma curva.

Pascal versus fractal El tri angulo de Pascal, un arreglo formado por coecientes binomiales, es casi seguramente familiar al lector (respecto a la medida que Ud. desee). Supongamos que est a excesivamente aburrido y decide dibujar un tri angulo de Pascal muy grande. Si ahora marca con un color todas las posiciones con n umeros impares, probablemente se sorprenda al revelar una gura inesperada: un fractal, es decir un patr on que contiene innitas copias de s mismo.

Fuente: Wolfram MathWorld

Estamos frente al tri angulo de Sierpi nski, un ejemplo famoso de fractal que habitualmente es obtenido al dividir un tri angulo equil atero en cuatro tri angulos equil ateros congruentes, y repetir el proceso indenidamente. Invitamos al lector a explicar este fen omeno y en general a estudiar otros patrones obtenidos al reducir las entradas del tri angulo de Pascal m odulo un primo p (pista: utilice el llamado teorema de Lucas ).

25

Una espiral primorosa Presentamos nalmente el arquetipo de las matem aticas del aburrimiento. En una hoja de papel comience a escribir los n umeros 1, 2, 3, 4, 5, . . ., arreglados en una espiral como se muestra en la gura.

Fuente: Wikipedia

Aunque este diagrama peca de simplicidad, algo extra no sucede si se nalamos los n umeros primos. Veremos entonces que algunos primos tienden a alinearse a lo largo de ciertas diagonales. Aumentando el tama no de la espiral un patr on con l neas diagonales, horizontales y verticales se vuelve evidente. El misterio aumenta cuando reemplazamos el 1 por cualquier entero positivo n: escribiendo los n umeros n, n + 1, n + 2, n + 3, n + 4, . . . revela el mismo patr on de l neas. Esta es la gloriosa espiral de Ulam.

Fuente: Wolfram MathWorld

Por qu e escogimos la espiral de Ulam como nuestro ejemplo favorito? Primero, porque nadie sabe el porqu e de este fen omeno. Informalmente, la formaci on de estos patrones est a relacionada con la existencia de ciertos polinomios cuadr aticos que devuelven innitos primos al ser evaluados en enteros, pero hasta el presente (2012) no existe una demostraci on rigurosa de este hecho. Par entesis: Un buen estudiante de teor a de n umeros probablemente recuerde un ejemplo famoso, debido a Euler, de un polinomio cuadr atico que produce bastantes primos: p(n) = n2 n + 41. Cu al es el patr on formado por estos primos en la espiral de Ulam? (int entelo Ud. mismo). La segunda raz on es por la manera en que fue descubierta. Cuenta la leyenda que Stanislaw Ulam (1909-1984), un matem atico estadounidense que trabaj o en el Proyecto Manhattan, estaba atendiendo una presentaci on larga y aburrida cuando empez o a hacer garabatos y descubri o por accidente el patr on que lleva su nombre... As es, se nores: los matem aticos tambi en se aburren de las matem aticas de vez en cuando. En conclusi on: No se sienta culpable por garabatear en su clase de matem atica. Puede que ese dibujo de Dragon Ball Z esconda una verdad matem atica sorprendente! 26

Noticiero matem atico


Anuncian prueba de la conjetura abc Aparte de las profec as apocal pticas de moda, el a no 2012 ha dado que qu e hablar a los matem aticos. En agosto, el matem atico japon es Shinichi Mochizuki public o sin ninguna pompa la cuarta y u ltima pieza de una serie de art culos, en donde la conjetura abc gura como un corolario. Qu e es la conjetura abc? Este es un problema de teor a de n umeros que, siguiendo una especie de patr on en este campo, puede ser abordado solamente con t ecnicas muy elaboradas comparadas con la sencillez de su enunciado. Dado un entero positivo n, llamemos radical al producto rad n de los factores primos de n. Entonces la conjetura dice: Para todo > 0 existen solamente un n umero nito de tripletas (a, b, c) de enteros positivos primos entre s y tales que c > rad (abc)1+ . Por qu e es importante esta conjetura? La importancia de este resultado se debe a que implica a muchos otros teoremas y problemas abiertos de la teor a de n umeros. Omitiremos los tecnicismos y nos contentaremos con mencionar el m as famoso de estos problemas, indudablemente conocido por el lector: el u ltimo teorema de Fermat! La restricci on impuesta por abc es tan fuerte que limita el n umero de posibles soluciones a xn + y n = z n excepto para un n umero nito de exponentes. El argumento puede ser completado en un par de l neas... C omo es la prueba propuesta por Mochizuki? La serie de art culos en cuesti on, titulada Inter-universal Teichm uller Theory, abarca m as de 500 p aginas y su abstracci on ha tomado por sorpresa incluso a los expertos. En este aspecto abc es diferente al u ltimo teorema de Fermat y la conjetura de Poincar e: si bien las pruebas de Wiles y Perelman son extremadamente complejas, las t ecnicas utilizadas por ellos s son conocidas por especialistas en las areas respectivas. En contraste, Mochizuki aparentemente ha construido su propio mundo (la teor a interuniversal de Teichm uller), basado en una rama de la geometr a algebraica que no goza de mucha popularidad actualmente: la geometr a anabeliana. Las l neas de investigaci on en esta direcci on fueron propuestas por Grothendieck en un manuscrito denominado Esquisse dun Programme (1984), que el hizo circular entre sus colegas luego de retirarse de la investigaci on matem atica. Es la prueba de Mochizuki correcta? La novedad y la abstracci on de esta teor a, junto con la falta de expertos que puedan servir de arbitros son los principales obst aculos a la revisi on de la prueba, que podr a tardar a nos. Sin embargo, la s olida reputaci on de Mochizuki un catedr atico del centro de investigaci on matem atica m as prestigioso de Jap on, el Research Institute for Mathematical Sciencies (RIMS) de la Universidad de Kyoto, y con una extensa lista de publicaciones es una valiosa garant a.

Retrato del Dr. Mochizuki. Tomado de su p agina web

27

En memoria de Lars H ormander (1931-2012)

El Dr. H ormander en Tokyo (1969). Fuente: Wikipedia

El n de a no nos trajo la triste noticia de que Lars H ormander, matem atico sueco y profesor em erito de la Universidad de Lund, falleci o el 25 de noviembre de los corrientes a los 81 a nos de edad. El nombre de H ormander debe de ser familiar para cualquier estudiante de an alisis, ya que este hizo contribuciones fundamentales a la teor a de las ecuaciones diferenciales parciales. La ignorancia del editor le impide entrar en detalles, pero se contentar a con agregar que su celebrado libro Linear Partial Dierential Operators le mereci o la Medalla Fields en 1962. Asimismo, la monumental secuela The Analysis of Linear Partial Dierential Operators, publicada en cuatro tomos, es universalmente considerada el est andar de esta area de la matem atica. H ormander tambi en es el autor de An Introduction to Complex Analysis in Several Variables, un reconocido texto sobre variables complejas. Otros reconocimientos incluyen el prestigioso Premio Wolf (1988), frecuentemente llamado el Nobel de las matem aticas junto con la Medalla Fields, y el Premio Steel (2006) para exposici on matem atica. El editor expresa su m as profunda admiraci on por esta importante gura de la matem atica del siglo XX, e invita a los lectores a honrar su memoria conociendo m as sobre sus trabajos. QEPD. M as informaci on Weisstein, Eric W., Astroid, MathWorldA Wolfram Web Resource. http://mathworld.wolfram.com/Astroid.html Weisstein, Eric W., Sierpi nski Sieve, MathWorldA Wolfram Web Resource. http://mathworld.wolfram.com/SierpinskiSieve.html Weisstein, Eric W, Prime Spiral, MathWorldA Wolfram Web Resource. http://mathworld.wolfram.com/PrimeSpiral.html Cipra, B., ABC Proof Could Be Mathematical Jackpot, Science, 09/12/12. http://news.sciencemag.org/sciencenow/2012/09/abc-conjecture.html Schechter, B., Lars V. Hormander Dies at 81; Unlocked Partial Dierential Equations, The New York Times, 12/06/2012. http://www.nytimes.com/2012/12/07/world/europe/lars-v-hormander-mathematician-dies-at-81.html 28