Revista Escolar de la Olimpada Iberoamericana de Matemtica Nmero 15 (Septiembre - Octubre 2004)

ISSN 1698-277X ndice Artculos, Notas y Lecciones de preparacin Olmpica F. Bellot: Algunas aplicaciones de la nocin de rea: el tringulo de Routh y los tringulos cevianos. . Problemas de Nivel medio y de Olimpiadas Problemas propuestos en la XIX Olimpiada Iberoamericana de Matemticas Prueba por equipos de la XIX Olimpiada Iberoamericana de Matemticas Resueltos: Soluciones a los problemas de la IMO 2004 (v. Nmero 14): Recibidas soluciones a los 6 problemas, de Daniel Lasaosa Medarde, Pamplona (Espaa); a los problemas 1,2,4,5,6, de Andrs Snchez Prez, La Habana, Cuba ; y a los problemas 1,2,3,4,5 conjuntamente de los componentes del equipo espaol en la IMO 2004. Publicamos las soluciones de Lasaosa. Soluciones a los problemas de la Competicin Mediterrnea 2004, de Daniel Lasaosa Medarde, Pamplona, Espaa. Recibida adems una solucin al problema 2, de Miguel Amengual Covas, Santany, Mallorca, Espaa. Publicamos las soluciones de Lasaosa. Problemas para los ms jvenes Cuatro problemas propuestos de la Olimpiada Balcnica Junior - Recibida una solucin del problema 1 de la VI Olimpiada balcnica Junior, por Ricardo Barroso Campos (Sevilla, Espaa). Problemas resueltos Correccin al problema 48, por Jos J. Rodrguez, Ferrol (Corua), Espaa : observa que al no ser z necesariamente primo, la ecuacin admite la familia infinita de soluciones x = y = n^2, z = 2n^3. Solucin al problema 41, por Henry Alexander Ramrez Bernal, Bogot, Colombia. Recibida otra solucin al problema 62, por Alex Sierra Crdenas, Medelln, Colombia. Pedimos disculpas al Prof. F.Damin Aranda Ballesteros, de Crdoba, Espaa, por no haber includo su nombre entre quienes enviaron soluciones al problema n 65.

Problema 66 : Recibidas soluciones de Miguel Amengual Covas (Santany, Mallorca, Espaa) y Henry Alexander Ramrez Bernal (Bogot, Colombia). Presentamos la solucin de Amengual. Problema 68 : Solucin de Daniel Lasaosa Medarde (Pamplona, Navarra, Espaa). Problema 69 : Recibidas soluciones de M. Amengual Covas (Santany, Mallorca, Espaa), Daniel Lasaosa Medarde(Pamplona, Navarra, Espaa) y Jos J. Rodrguez (Ferrol, Corua, Espaa), sta ltima con un error tipogrfico corregido amablemente por el editor. Presentamos la solucin de Amengual. Problema 70 : Solucin de Daniel Lasaosa Medarde (Pamplona, Navarra, Espaa). Problemas propuestos 71-75 Divertimentos Matemticos E. Gentile: Tango del Algebrista Sobre la Prueba por equipos de la XIX Olimpiada Iberoamericana de matemticas F. Bellot: Las fascinantes biografas de los matemticos iberoamericanos Comentario de pginas web F. Bellot: La pgina de la Asociacin Venezolana de Competencias Matemticas

Editor: Francisco Bellot Rosado

ALGUNAS APLICACIONES DE LA NOCIN DE REA : EL TRINGULO DE ROUTH Y LOS TRINGULOS CEVIANOS FRANCISCO BELLOT ROSADO Representante para Europa Occidental de la Federacin Mundial de Competiciones Matemticas Nacionales (WFNMC) En 1891, Edward John Routh, en A treatise on Analytical Statics, with numerous examples, vol.1, Cambridge U.Press, p.82, enunci sin demostracin el teorema siguiente : Sean AA,BB,CC tres cevianas arbitrarias (no necesariamente concurrentes) del tringulo ABC, que se cortan dos a dos formando el tringulo ABC (A BB ' CC, etc.). Si se verifican las relaciones

BA 7 , A7C

CB 7 , B7A

AC 7 C7B

entonces, siendo S y S las reas de los tringulos ABC y ABC, respectivamente, se tiene S 77 S 1

 

1 1

(1).

Habitualmente, este resultado se conoce como teorema de Routh, y ha sido estudiado extensamente. La demostracin que presentamos, completamente elemental, se debe al gran matemtico rumano Trajan Lalescu, publicada en 1900 en la centenaria revista Gazeta Matematica, como generalizacin de un problema propuesto en el que se peda tal rea cuando una de las cevianas es la altura AA, otra la mediana BB y la tercera la bisectriz interior CC. Con la notacin PQR para el rea del tringulo PQR, se tiene primero que S 77 y por otra parte S AC 77 B BC 77 C CC 77 A . S  AC 77 B  BA 77 C  CB 77 A ,

Los tringulos BCC y ACB tienen en comn la base BC; por lo tanto sus reas estn en la razn de las alturas desde C y A sobre BC. Esta razn es , por la semejanza de los tringulos rectngulos formados por las dos alturas trazadas sobre BC por CB y AB (hipotenusas). As se obtiene S AC 77 B 1

AC 77 B

S .  

Anlogamente se obtienen BA 77 C y CB 77 A . Finalmente, S 77

    1 1 S 1   1
S 1 1


2


.

S es nula si  1, que es el teorema de Ceva. En el caso del problema publicado en la revista rumana, se tiene

c. cos B , b. cos C

1,

b, a

de manera que la condicin de concurrencia de estas tres cevianas particulares se expresa mediante

senA

cos B. tan C.

(ste fu, mucho ms tarde, un problema de la Olimpiada Blgara). En la revista belga Mathesis, hoy desaparecida, el gran gemetra francs Victor Thbault public en 1958 una extensa recopilacin de resultados relativos a casos especiales del teorema de Routh para el tringulo y para el tetraedro. En ella (titulada Alturas, medianas, simedianas, bisectrices de un tringulo), adems de la frmula de Routh, se menciona otra similar, para el rea del tringulo ceviano ABC (que tambin cita Routh en su libro): Si ponemos


entonces S7 A7B7C7

l , l1

m m1 ,

n n1 ,

lmn l 1 m 1 n 1 , l1 m m1 n n1

y cita como fuente para ambas frmulas dos revistas francesas : para esta ltima frmula, Nouvels Annals de Mathmatiques,1881, p.182, question 1353, propuesta por Genty y con solucin de J.B.Delacourcelle, enfant de troupe du 53 e de ligne, en Tarbes; para la frmula de Routh menciona una fuente inaccesible para m: el Journal de Vuibert, ao 38, p.96, question 7921. La demostracin de esta segunda frmula es igualmente elemental: A7B7C7 S  AB 7 C 7  BA 7 C 7  CA 7 B 7 BA 7 C 7 CA 7 B 7 AB 7 C 7 S 1   S S S

y, puesto que se verifican las relaciones AB 7 C 7 S BA 7 C 7 S CA 7 B 7 S se obtiene A7B7C7 S 1 S S l m1n m m1 n n1 l1 m m1 n n1 l lmn l 1 m 1 n 1 l1 m m1 n n1 AB 7 .AC 7 AC.BA BA 7 .BC 7 BC.BA CA 7 .CB 7 CB.CA l l m m1n m1 n n1l l1 n n1 n1

l1m , l1 m m1

n1l l1m  l l1 n n1 l l1 m m1  m1n l l1  n1l m m1  l1m n l1 m m1 n n1 .

n1

En el caso especial en que l los cocientes entre reas valen S7 S l 2  ll 1 l 2 1 , l l1 2 S 77 S l  l1 2 . l 2 ll 1 l 2 1 m n y l1 m1 n1

Especializando las cevianas AA,BB y CC se pueden obtener algunos casos particulares interesantes : 1: AA altura; BB bisectriz interior; CC mediana Entonces S7 S c a cos B b cos C ; 2a c a S 77 S c a cos B  b cos C 2 a 2a c a b cos C 1 cos B

2: AA altura, BB bisectriz exterior, CC mediana En este caso S7 S c a cos B  b cos C , 2a c  a S 77 S c a cos B b cos C 2 a 2a  c a b cos C 1  cos B

De estas cuatro expresiones, utilizando las identidades 2S 2 1 cos B c.a.r.r b , 2S 2 1  cos B c.a.r c .r a

resulta, dividiendo miembro a miembro S7 S 77 a cos B b cos C 2a c a b cos C carr b 4S 2 c a a cos B  b cos C 2

y anlogamente en el otro caso. 3: AA altura, BB bisectriz interior, CC simediana S7 S bc b cos B a cos C , c a a2 b2 S 77 S a b2 bc b cos B  a cos C 2 ca a 2 b a cos C 1 cos B

4: AA altura, BB bisectriz exterior, CC simediana S7 S

77 bc b cos B  a cos C , S 2 2 S ca a b

bc b cos B a cos C 2 a b 2  ca a 2 b a cos C 1  cos B

De las frmulas anteriores se deducen las caracterizaciones siguientes para algunos tringulos especiales : a b a cos B b cos C a cos C b cos C 0 0 0 0 0 altura AA y mediana CC paralelas altura AA y simediana CC paralelas A,C,B alineados AA,BB,CC concurrentes A 7 , B 7 , C 7 alineados

a cos B  b cos C b cos B  a cos C

En el caso en que las tres cevianas AA,BB,CC sean concurrentes en el punto P, el teorema de Ceva en la forma  1 permite escribir la tercera razn en funcin de las otras dos. Si ponemos BA 7 A7C z CB 7 y , B7A AB 7 B7C x , entonces AC 7 z C7B AC 7 C7B y z x , y x.

Las relaciones entre P,A,B,C estn dadas por la frmula de Van Aubel: AP PA 7

y anlogamente en los dems casos, de donde se pueden obtener los resultados clsicos de Euler y Gergonne :

PA 7 AA 7 AP AA 7

PB 7 BB 7 BP BB 7

PC 7 CC 7 CP CC 7

1, 2.

El teorema de Stewart permite calcular las longitudes de las cevianas. Si A est en el lado BC, se tiene, por ejemplo, AA 7 es decir AA 7
2 2

BA 7 BC

AC

A7C BC

7 2 AB  BA BC

A7C BC

BC ,

y y

zb

2 zc  y

yz z

a2,

y anlogamente los otros casos. Tambin se observa que AP y x y z z AA

7

1 y

z zy

z b2

yy

z c 2  yza 2 ,

etc. Tambin el teorema de Stewart permite calcular los lados del tringulo ceviano : para hallar AB lo aplicaremos al tringulo ACA, con B en el lado AC : A7B7
2

yz z  x a 2 z x y z

zx x  y b 2 z x 2 y z

xyc 2 x y y

etc. La frmula para el rea del tringulo ceviano, particularizada en este caso de cevianas concurrentes, da A7B7C7 x 2xyz y y z z x S.

Se pueden estudiar algunas propiedades extremales de los tringulos cevianos. Es sabido que el de permetro mnimo es el tringulo rtico, formado por los pies de las alturas. Por lo que se refiere a las reas, de la frmula anterior y la desigualdad de las medias, escrita en la forma x resulta x as que A 7 B 7 C 7 J 1 S, 4 y la igualdad se alcanza cuando x y z, en cuyo caso P es el baricentro del tringulo, y el tringulo ceviano es el tringulo medial. Para terminar, antes de concluir con una coleccin de problemas propuestos, resumimos algunos valores particulares del rea y los permetros de algunos tringulos cevianos. L es el punto de Lemoine (interseccin de las simedianas), J el de Gergonne (interseccin de las cevianas que unen cada vrtice con el punto de tangencia de la circunferencia inscrita en el lado opuesto) y N el de Nagel (interseccin de las cevianas que unen cada vrtice con el punto de tangencia de la circunferencia exinscrita en el lado opuesto) : y y z z x K 8xyz, y K 2 xy ,

Punto P G H O I L J N 2r cos
A 2

Permetro s 2S/R J s

rea S/4 2S cos A cos B cos C

2S cos A cos B cos C cos AB cos BC cos CA 2abc a b b c c a a2 b2 2a 2 b 2 c 2 b2 c2 c2 a2

cos

B 2

cos

C 2

rS/2R rS/2R

Bibliografa Adems de la que ha sido citada en el artculo : Proyecciones de puntos notables del tringulo segn las cevianas respectivas, artculo de Hristo Lesov en Matematyka & Informatika, 1994/5 (en blgaro). Seleccin de problemas propuestos 1. Las bisectrices del tringulo ABC cortan a los lados opuestos en P,Q,R. Demostrar que el permetro de PQR es, a lo sumo, el semipermetro de ABC (Kmal, 1994 Hungra) 2. Existe un cuadriltero convexo dividido por sus diagonales en cuatro tringulos de reas 1, 2, 3 y 4, respectivamente? (Kmal) 3. En el tringulo ABC, se consideran A 1  BC, B 1  CA, C 1  AB, tales que AB 1 C 1 BC 1 A 1 CA 1 B 1 A1B1C1 .

Probar que A 1 B 1 C 1 es el tringulo medial de ABC .(Kmal) 4. Dado un cuadriltero ABCD, los puntos de triseccin de AB y AD ms prximos a A son K y L; los puntos de triseccin de CB y CD ms prximos a C son N y M. Hallar las razn de las reas de ABCD y KLMN (Kmal). 5. Sean A,B,C los puntos de tangencia del crculo inscrito con los lados de ABC y sea J el punto de Gergonne. Probar que ABC JBC ABC JAC ABC JAB ra rb r rc .

(Gazeta Matematica 1963,Rumania) 6. Sean AA,BB,CC tres cevianas concurrentes en P. Si A7P PA demostrar que 2xyz yz zx xy 1.
7 x, B P PB 7 y, C P PC

z,

(Gazeta Matematica 1963). 7. Probar que, si L es el punto de Lemoine, GIL ABC bc ca ab . 3 a b c a2 b2 c2

(Mathesis 1925, Blgica) 8. Sea ABC un tringulo, y A 1  BC, B 1  CA, C 1  AB. Las semirrectas AA 1 , BB 1 , CC 1 cortan al crculo circunscrito a ABC en A 2 , B 2 y C 2 , respectivamente. Demostrar que, si la suma AA 1 A1A2 BB 1 B1B2 CC 1 C1C2

es mnima, entonces las rectas AA 1 , BB 1 , CC 1 son concurrentes. (Gazeta Matematica 1990) 9. Las distancias de un punto interior P a los lados de un tringulo ABC son p a , p b , p c . Demostrar que h a h b h c K 27p a p b p c . (Kmal) 10.Sea P un punto interior al tringulo ABC, y sean x.y, z sus distancias a los vrtices, y p, q, r sus distancias a los lados BC,CA y AB, respectivamente. Probar que xyz K 8pqr. (Matematyka & Informatika 1990, Bulgaria). 11.Sea P un punto interior al tringulo ABC, y sean x, y, z sus distancias a los lados BC,CA y AB, respectivamente. Hallar las posiciones de P para las cuales a x b y c z

es mnima (Kmal). 12. Sean A 1 , B 1 , C 1 puntos en los lados del tringulo ABC tales que AC 1 C1B BA 1 A1C CB 1 B1A

#;

y sean A 2 , B 2 , C 2 puntos en los lados de A 1 B 1 C 1 tales que A1C2 C2B1 Calcular el valor de # para el cual A2B2C2 1 ABC . 2 B1A2 A2C1 C1B2 B2A1

#.

(Kmal) 13. Las bisectrices de los ngulos del tringulo ABC cortan a los lados opuestos en P,Q,R. Demostrar que PQR J ABC . 4

(Kmal) 14. Los puntos de tangencia del crculo inscrito en un tringulo con los lados definen un nuevo tringulo. Determinar su rea en funcin de los lados del tringulo original (Kmal). 15. El rea del tringulo formado por los puntos medios de tres cevianas (no necesariamente concurrentes) trazadas desde los tres vrtices del tringulo ABC es 1/4 del rea del tringulo determinado por los pies de las cevianas (Van Aubel ; American Mathematical Monthly 1957). 16. En los lados del tringulo ABC se toman puntos M  AB, N  BC, P  CA tales que AMP BMN NPC . Si

MA MB entonces k1 1 k2

k 1 , NB NC

k 2 , PC PA

k3,

k2 1

k3

k3 1

k1 .

17. En 1956, DeBrunner prob el siguiente resultado de Erds : Si los puntos B 1  A 2 A 3 , B 2  A 3 A 1 , B 3  A 1 A 2 estn en los lados del tringulo A 1 A 2 A 3 , y S 1 , S 2 , S 3 son las reas de A 1 B 2 B 3 , etc, entonces se verifica S ABC K min S 1 , S 2 , S 3 . S 1 S 2 3 S 3
1/

Demostrar la siguiente extensin de la desigualdad de Erds-DeBrunner : SK , con  J 1.

Es cierta la desigualdad cuando  1? (Matematyka & Informatika 1989). 18. Sean A,B,C los pies de las bisectrices interiores de ABC, y sean A 77 , B 77 , C 77 los puntos simtricos de A,B,C respecto de los vrtices de ABC. Calcular A 77 B 77 C 77 ABC en funcin de los lados de ABC (Mathesis 1894). 19. En el tringulo A 1 A 2 A 3 , de permetro 2s, se considera el punto P. Las cevianas A i P cortan a los lados opuestos en P i . Demostrar que A 1 P 1  A 2 P 2  A 3 P 3 K 4s P 1 P 2 P 3 . (Nieuw Archieff voor Wiskunde, 1965, Holanda; propuesto por Oene Bottema). 20. En un tringulo ABC, sean : A 1 , B 1 , C 1 , H los pies de las alturas y el ortocentro, respectivamente; A 2 , B 2 , C 2 los pies de las medianas; A 3 , B 3 , C 3 los puntos medios respectivos de AH,BH y CH. Si S es el rea del tringulo, y S 1 , S 2 , S 3 las reas de los cuadrilteros A 2 B 1 A 3 C 1 , B 2 C 1 B 3 A 1 , C 2 A 1 C 3 B 1 , respectivamente, demostrar que S S1 S2 S3.

(Gazeta matematica 1963). 21. Se dividen los lados BC,CA y AB del tringulo ABC por los puntos A,B,C en una misma razn, p/q; sean A,B,C los segundos puntos de interseccin de las rectas AA,BB,CC con el crculo circunscrito a ABC. Hallar, en funcin de los elementos de ABC, de p y de q : a) las longitudes de AA,BB y CC b) las longitudes de BC,CA y AB. (Mathesis 1894; propuesto por Joseph Neuberg) 22. En los lados AB y CD del cuadriltero convexo ABCD se toman los puntos K y M, respectivamente. Sean L AM ' KD, N KC ' BM.

a) Demostrar que si K y M son los puntos medios de AB y CD, entonces KLMN J b) Demostrar que, si
AK KB CM MD m n

ABCD . 3

, entonces

KLMN

mn mn

n2

ABCD .

(Olimpiada URSS 1989; propuesto por Dmitri Tereshin). 23. Se da el tetraedro ABCD y su punto interior I. Las rectas AI, BI, CI, DI cortan a las caras opuestas en A,B,C,D, respectivamente. Se consideran los puntos A 1  A 7 I, B 1  B 7 I, C 1  C 7 I, D 1  D 7 I tales que IA 1 A1A7 Demostrar que AA 1 A1A7 A1A7 AA 1 (Gazeta Matematica, 1966). BB 1 B1B7 B1B7 BB 1 CC 1 C1C7 C1C7 CC 1 DD 1 K 4 4k 3 ; D1D7 D1D7 K 4 . 4k 3 DD 1 IB 1 B1B7 IC 1 C1C7 ID 1 D1D7 k.

PRIMERA SESIN DE PROBLEMAS 21 septiembre de 2004

Problema 1
Se deben colorear casillas de un tablero de 10011001 de acuerdo a las reglas siguientes: o Si dos casillas tienen un lado comn, entonces al menos una de ellas se debe colorear. o De cada seis casillas consecutivas de una fila o de una columna, siempre se deben colorear al menos dos de ellas que sean adyacentes. Determinar el nmero mnimo de casillas que se deben colorear.

Problema 2
Se considera en el plano una circunferencia de centro O y radio r y un punto A exterior a ella. Sea M un punto de la circunferencia y N el punto diametralmente opuesto a M. Hallar el lugar geomtrico de los centros de las circunferencias que pasan por A, M y N al variar M.

Problema 3
Sean n y k enteros positivos tales que o bien n es impar o bien n y k son pares. Probar que existen enteros a y b tales que mcd (a, n) = mcd (b, n ) = 1 y k = a + b.

Duracin: 4h. 30 m. Cada problema vale siete puntos

Versin en espaol

PRIMEIRA SESSO DE PROBLEMAS 21 de setembro de 2004

Problema 1
Deve-se colorir as casas de um tabuleiro de 1001? 1001 de acordo com as seguintes regras: o Se duas cas as tm um lado comum, ento pelo menos uma delas deve ser colorida. o De cada seis casas consecutivas de uma linha ou de uma colu na, devem colorir-se sempre pelo menos duas delas que sejam adjacentes . Determinar o nmero mnimo de casas que devem ser coloridas .

Problema 2
Se considera no plano uma circunferncia de centro O e ra io r, e um ponto A exterior a ela. Seja M um ponto da circunferncia e N o ponto diametralmente oposto a M. Determinar o lugar geomtrico dos centros das circunfer ncias que passam por A, M e N quando M varia.

Problema 3
Sejam n e k nmeros inteiros positivos tais que n mpar ou n e k so pares. Provar que existem inteiros a e b tais que mdc (a , n ) = mdc (b , n ) = 1 e k = a + b.

Durao: 4h 30m. Cada problema vale sete pontos

Verso em portugus

SEGUNDA SESIN DE PROBLEMAS 22 septiembre de 2004

Problema 4
Determinar todas las parejas (a,b ), donde a y b son enteros positivos de dos dgitos cada uno, tales que 100a + b y 201a + b son cuadrados perfectos de cuatro dgitos.

Problema 5
Dado un tringulo escaleno ABC , se llaman A', B' y C' a los puntos de interseccin de las bisectrices interiores de los ngulos A, B y C con los lados opuestos, respectivamente. Sean: A'' la interseccin de BC con la mediatriz de AA', B'' la interseccin de AC con la mediatriz de BB' y C'' la interseccin de AB con la mediatriz de CC'. Probar que A'', B'' y C'' son colineales.

Problema 6
Para un conjunto corte de

H de puntos en el plano, se dice que un punto P del plano es un

y D en

punto de

H si existen cuatro puntos distintos A, B, C A0

H tales que las rectas AB y CD

son distintas y se cortan en P. Dado un conjunto finito de puntos en el plano, se construye una sucesin de conjuntos
j ? 0,

A 1, A 2, A 3 , de la siguiente manera: para cualquier

conjunto de todos los puntos de corte de

A j+1

es la unin de A j con el

Aj .

Demostrar que si la unin de todos los conjuntos de la sucesin es un conjunto finito, entonces para cualquier j ? 1 se tiene que A j = A 1 .

Duracin: 4h. 30 m. Cada problema vale siete puntos

Versin en espaol

SEGUNDA SESSO DE PROBLEMAS 22 de setembro de 2004

Problema 4
Determinar todos os pares (a,b ), onde a e b so nmeros inteiros positivos de dois dgitos cada um, tais que 100a + b e 201a + b so quadrados perfeitos de quatro dgitos.

Problema 5
Dado um tringulo escaleno ABC, se designam por A', B' e C' os pontos de interseco das bissectrizes interiores dos ngulos A, B e C com os lados opostos, respectivamente. Sejam: A'' a interseco de BC com a mediatriz de AA', B'' a interseco de AC com a mediatriz de BB' e C'' a interseco de AB com a mediatriz de CC'. Provar que A'', B'' e C'' so colineares.

Problema 6
Para u m conjunto H de pontos no plano, diz-se que um ponto P do plano um ponto de corte de

H, se existem quatro pontos distintos A, B, C e D em H tais que as rectas AB e CD so

distintas e se cortam em P. Dado um conjunto finito A0 de pontos no plano, se constroi uma suces so de conjuntos

A 1, A 2, A 3 , da seguinte forma: para qualquer

conjunto de todos os po ntos de corte de A j .

j ? 0,

A j+1

a unio de

Aj

com o

Demo nstrar que se a unio de todos os conjuntos da sucesso um conjunto finito, ento para qualquer j ? 1 tem-se A j = A 1 .

Durao: 4h 30m. Cada problema vale sete pontos

Verso em portugus

XIX OLIMPIADA IBEROAMERICANA DE MATEMTICAS PRUEBA POR EQUIPOS Nivel A Instrucciones A partir de la situacin matemtica que se les propone, se deben obtener, con solucin, resultados matemticos relacionados con dicha situacin, planteando y resolviendo cuantos problemas matemticos sean sugeridos por ella. Nivel A (Olimpiada Iberoamericana) PQRS es un trapecio, con PQ paralela a RS. Las diagonales PR y QS se cortan en T; TU es paralela a las bases PQ y SR, con el punto U en el segmento QR. Se supone que las medidas de las longitudes de los segmentos PQ = a, RS = b, TU = c , son nmeros naturales, y se considera el tringulo ABC cuyos lados son esos nmeros naturales a,b,c. Se representa con S el rea del tringulo ABC.

XIX OLIMPIADA IBEROAMERICANA DE MATEMTICAS PRUEBA POR EQUIPOS Instrucciones A partir de la situacin matemtica que se les propone, se deben obtener, con solucin, resultados matemticos relacionados con dicha situacin, planteando y resolviendo cuantos problemas matemticos sean sugeridos por ella. Nivel B (Olmpicos Castelln) ABCD es un cuadrado. Interiormente a l se construye el tringulo equiltero ABE, y exteriormente a l se construye el tringulo equiltero BCF.

IMO 2004

Problema 1

Sea ABC un tringulo acutngulo con AB distinto de AC. El crculo con dimetro BC corta a los lados AB y AC en M y N, respectivamente. Sea O el punto medio del lado BC. Las bisectrices de los ngulos BAC y MON se cortan en R. Prueba que las circunferencias circunscritas de los tringulos BMR y CNR tienen un punto comn sobre el lado BC.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. A N M

P=R

Sea P el segundo punto donde la bisectriz de A corta a la circunferencia circunscrita a AMN, y Q el punto donde dicha bisectriz corta al lado BC. Demostraremos que P y R coinciden, y que BMRQ y CNRQ son cclicos. Como MAP=NAP=A/2, y P est en el arco MN de la circunferencia circunscrita al tringulo MAN que no contiene a A, se tiene que MP=NP, luego P est tambin el la mediatriz de MN. Pero la mediatriz de MN es tambin la bisectriz de MON, al ser OM=ON=BC/2 igual al radio de la circunferencia de dimetro BC. MON. Por lo tanto, P coincide con R. Por ser adems MR=NR, se deduce inmediatamente del anterior resultado que MNR=NMR=MAR=NAR=A/2. Adems, es obvio que al ser BC un dimetro de la circunferencia que pasa por M y N, entonces BMC=BNC=/2, es decir, M y N son los pies respectivos de las alturas desde C y B a los lados AB y AC del tringulo ABC. Luego en P coinciden las bisectrices de MAN, que es la bisectriz de BAC, y la bisectriz de

Es entonces obvio (y conocido) que el tringulo ANM es semejante al tringulo ABC, por ser MAN=BAC, siendo AN/AB=AM/AC=cos(A). Por lo tanto, se tiene que ANR=ANM+MNR=B+A/2; anlogamente, AMR=AMN+NMR=C+A/2. Por lo tanto, RMB=AMR=B+A/2, y RNC=ANR=C+A/2. Adems, RQC=RQB=AQB=QABABQ=A/2B=C+A/2, con lo que RQC+CNR=RQB+BMR=, y los cuadrilteros BMRQ y CNRQ son cclicos. Luego las circunferencias circunscritas a los tringulos BMR y CNR tienen un punto comn sobre el lado BC, que es Q.

IMO 2004

Problema 2

Encuentra todos los polinomios P(x) con coeficientes reales que satisfacen la igualdad

P ( a b) + P (b c ) + P ( c a ) = 2P ( a + b + c )
para cualesquiera nmeros reales a, b, c tales que ab+bc+ca=0.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. En primer lugar, es obvio que

( a b ) + (b c ) + (c a )
2 2

= 2 ( a 2 + b2 + c 2 + 2ab + 2bc + 2ca ) = 2 ( a + b + c ) ;

2

= 2 ( a 2 + b2 + c 2 )

Luego todos los polinomios de la forma vx2, con v real, satisfacen la igualdad del enunciado. Adems, podemos encontrar que
a 2b 2 + b 2 c 2 + c 2 a 2 = ( ab + bc + ca ) 2abc ( a + b + c ) = 2abc ( a + b + c ) .
2

Tambin se tiene
ab ( a 2 + b 2 ) + bc ( b 2 + c 2 ) = ( bc + ca ) ( a 2 + b 2 ) ( ab + ca ) ( b 2 + c 2 ) = abc ( a + 2b + c ) ac ( c 2 + a 2 ) b 2 ( ab + bc + ca ) ;

2ab ( a 2 + b 2 ) + 2bc ( b 2 + c 2 ) + 2ac ( c 2 + a 2 ) = 2abc ( a + 2b + c ) = a 2b 2 + b 2 c 2 + c 2 a 2 .

Finalmente, llegamos a que

(a b)
4 4

= a 4 + b 4 4ab ( a 2 + b 2 ) + 6a 2b 2 ;
4

( a b ) + (b c ) + ( c a )

= 2 ( a 4 + b4 + c 4 ) + 4 ( a 2b 2 + b 2 c 2 + c 2 a 2 ) = 2 ( a 2 + b2 + c 2 ) = 2 ( a + b + c ) .
2 4

Por lo tanto, es obvio que los polinomios P(x)=ux4+vx2 con u y v reales cualesquiera, satisfacen la igualdad del enunciado. Demostraremos ahora que dichos polinomios (incluida la solucin trivial P(x)=0 para u=v=0) son las nicas soluciones del problema. Sean x, y reales cualesquiera, y sean a= x 2 + y 2 + xy + 2 x + y ; b= 3 x 2 + y 2 + xy x + y ; 3 c= x 2 + y 2 + xy x 2 y . 3

Es trivial comprobar que ab=x, bc=y, ca=(x+y), siendo adems a, b y c reales, pues x 2 + y 2 + xy = x2 + y2 + ( x + y ) 0. 2
2

Adems, es fcil comprobar que:

a + b + c = x 2 + y 2 + xy ;

x 2 + 2 y 2 + 2 xy + ( x + 2 y ) x 2 + y 2 + xy ab = ; 9 bc = ca = 2 x 2 y 2 + 2 xy ( 2 x + y ) x 2 + y 2 + xy ; 9

x 2 y 2 4 xy + ( x y ) x 2 + y 2 + xy = ab bc . 9

Por lo tanto, al cumplirse que ab+bc+ca=0, se tiene que, para cualesquier x, y reales, se debe cumplir:
P ( x ) + P ( y ) + P ( ( x + y )) = 2P

x 2 + y 2 + xy .

Haciendo x=y=0, se deduce que P(0)=0. Haciendo y=0, se deduce que, para todo x real,
P ( x ) + P ( x ) = 2P

( x ) = 2P ( x ) .
2

Por lo tanto, sea x positivo (es decir, |x|=x) o negativo (es decir, |x|=x), se deduce que P(x)=P(x), con lo que P(x) puede admitir nicamente trminos de grado par, siendo cero el trmino independiente por ser P(0)=0. Podemos entonces escribir, sin prdida de generalidad, que
P ( x ) = am x 2 m
m =1 n

con an real no nulo.

Supongamos que el grado de P(x) es mayor que 4. Entonces n>2. Calcularemos ahora los coeficientes de x2n2y2 en los polinomios que intervienen en la condicin del enunciado. Obviamente, P(x) y P(y) no generarn un tal trmino. Adems, como P ( ( x + y ) ) = am ( x + y )
m =1 n 2m n 2m 2m = am x 2 m l y l , m =1 l =0 l

2P

n n m m l m 2 m l x 2 + y 2 + xy = 2 am ( x 2 + y 2 + xy ) = 2 a m x ( ) ( y 2 + xy ) m =1 m =1 l =0 l n m m l l = 2 am x 2 m ( 2l k ) y 2l k , m =1 l =0 l k = 0 k

un tal trmino slo puede aparecer con m=n, l=1,2, k=2l2 en el segundo polinomio, y para m=2, l=2 en el primero, debiendo ser ambos coeficientes iguales pues la igualdad entre polinomios debe ser satisfecha para cualesquier valores reales x e y. Esto lleva a:

 2n n an = 2an n + 2an ; 2 2

an n ( n 2 ) = 0 .

Pero esto es falso para n>2. Contradiccin. Luego el grado de P(x) no puede ser mayor que 4, y como se ha visto anteriormente, sus nicos coeficientes no nulos corresponden a trminos de grado par y su trmino independiente debe ser nulo, por lo que las soluciones expuestas al principio del problema son las nicas, q.e.d..

IMO 2004

Problema 3

Se define un gancho como una figura con seis cuadrados unidad como muestra el diagrama

o cualquiera de las figuras obtenidas aplicando rotaciones y reflejando la figura. Determina todos los rectngulos mxn que pueden ser cubiertos con ganchos de forma que i. ii. el rectngulo est cubierto sin agujeros ni superposiciones. ninguna parte de un gancho queda fuera del rectngulo.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Lema 1: El nmero de ganchos debe ser par, estando adems organizados por parejas de formas que se forman piezas de 12 cuadrados unidad de uno de los dos tipos que muestra el siguiente diagrama

o cualquiera de las figuras obtenidas aplicando rotaciones y reflexiones a las dos figuras mostradas. Demostracin: adyacentes: Identificamos algunos de los cuadrados unidad del gancho y

C A

Obviamente, si el gancho dibujado se utiliza para recubrir sin salirse un rectngulo mxn, el cuadrado C ser siempre interior a dicho rectngulo. Luego debe estar recubierto por un gancho que no se superponga con el gancho dado, lo cual se puede hacer de una de las tres siguientes maneras:

En el primer caso, el cuadrado D no se puede cubrir, luego las nicas opciones vlidas son la segunda y tercera, que nos generan figuras como las mostradas en el enunciado del lema 1 (salvo reflexiones y/o rotaciones), q.e.d..

Lema 2. Ni m ni n pueden ser iguales a 5, siendo ambos mayores o iguales que 3 y al menos uno de ellos mayor o igual que 4. Demostracin: Cada una de las piezas de 12 cuadrados mostradas en el lema 1 ocupa un mnimo de 3 filas y 4 columnas o viceversa, luego m y n son mayores o iguales que 3, siendo al menos uno de ellos mayor o igual que 4, pues si no la pieza se saldra del rectngulo. Considrese ahora la siguiente figura: A B A B A B

La figura muestra todas las posibles maneras de recubrir el cuadrado unidad A, situado en el vrtice superior izquierdo de un rectngulo mx5, utilizando piezas descritas en el lema 1. En cada caso, el cuadrado B no puede cubrirse con ninguna pieza mostrada en el lema 1 sin superposiciones o sin salirse. Luego n5. De forma anloga, rotando las figuras, se demuestra que m5.

Lema 3: Si 4 divide a m y 3 a n (o viceversa) el rectngulo siempre se puede recubrir con ganchos sin huecos, sin superposiciones y sin salirse. Demostracin: Divdase el rectngulo mxn en m/4 rectngulos 4xn. Divdase a

continuacin cada uno de ellos en (n/3) rectngulos 4x3. Es entonces obvio que se puede recubrir el rectngulo, sin huecos, sin superposiciones y sin salirse mediante rectngulos 4x3, pudiendo cada rectngulo 4x3 recubrirse sin huecos, sin superposiciones y sin salirse mediante 2 ganchos por el lema 1. Luego tambin puede recubrirse de tal manera el rectngulo mxn, q.e.d.. La demostracin es anloga si 3 divide a m y 4 a n considerando (m/3)(n/4) rectngulos 3x4. Lema 4: Si 12 divide a m, entonces el rectngulo se puede recubrir si y slo si n3, n5 (o viceversa). Demostracin: Si 3 o 4 dividen a n, entonces por el lema 3 el rectngulo mxn puede recubrirse de acuerdo al enunciado. En caso contrario, siempre podemos escribir n=4a+3b con a y b enteros positivos, pues 7=4+3, 10=23+4, 11=24+3, y para todo n natural distinto de estos tres que cumpla n3, n5 sin ser mltiplo ni de 3 ni de 4, entonces n13, con lo que bien n3, bien n6, bien n9 son mltiplos positivos de 4, pudiendo entonces tomarse b=1, 2 o 3, y a=(n3)/4, (n6)/4 o (n9)/4, respectivamente. Divdase ahora el rectngulo mxn en un rectngulo mx4a y un rectngulo mx3b, cada uno de los cuales puede recubrirse por el lema 3 mediante ganchos sin huecos, sin superposiciones y sin salirse. Luego tambin puede recubrirse as el rectngulo mxn, q.e.d..

Teorema: Los casos considerados en los lemas 3 y 4 son los nicos en los que un rectngulo mxn puede recubrirse mediante ganchos sin huecos, sin superposiciones y sin salirse.

Demostracin: Por el lema 1, un rectngulo que se pueda recubrir por ganchos se puede recubrir por piezas de 12 cuadrados, luego 12 divide a mn. Supongamos ahora que existen m y n tales que el rectngulo mxn puede recubrirse mediante ganchos, pero m y n no satisfacen las hiptesis de los lemas 3 o 4. Entonces, como 12 divide a mn, 3 divide a m (sin prdida de generalidad). Si no se satisfacen las condiciones de los lemas, 4 no divide ni a m ni a n. Pero como 4 divide a su producto, ambos deben ser pares pero no mltiplos de 4. Luego 6 divide a m y 2 a n, siendo m/6 y n/2 impares (o viceversa). De las piezas que se pueden conseguir aplicando rotaciones o reflexiones a las mostradas en el lema 1, llamaremos horizontales a las tres siguientes:

Llamaremos verticales a las tres siguientes:

Por el lema 1, si un rectngulo mxn puede recubrirse por ganchos, entonces puede recubrirse mediante piezas de estos 6 tipos sin huecos, sin superposiciones y sin salirse. Ahora bien, cada pieza horizontal recubre un nmero impar (3) de cuadrados de 4 columnas adyacentes, y un nmero par (2 o 4) de 3 o 4 filas adyacentes, mientras que cada pieza vertical recubre un nmero par (2 o 4) de 3 o 4 columnas adyacentes, y un nmero impar (3) de 4 filas adyacentes. Luego como m y n son pares, cada fila tiene interseccin no vaca con un nmero par de piezas verticales, y cada columna con un nmero impar de piezas horizontales. Sea ahora el vi nmero de piezas verticales que tienen interseccin no vaca con las filas i, i+1, i+2 e i+3 (siendo por definicin vm2=vm1=vm=0). Entonces, la suma de cada 4 vi consecutivos es par, siendo pares adems v1, v1+v2 (con lo que v2 tambin es par) y v1+v2+v3 (con lo que v3 tambin es par). Por induccin, es trivial ver que todos los vi son pares, pues para i4, y tomando

como hiptesis de induccin que vi1, vi2 y vi3 son pares, al ser su suma con vi par, tambin es par vi. Como el nmero total de piezas verticales utilizadas en el recubrimiento es igual a la suma de los vi, y todos ellos son pares, el nmero total de piezas verticales utilizadas es par. De forma enteramente anloga se demuestra que es par el nmero de piezas horizontales utilizadas. Luego el nmero total de piezas de 12 cuadrados cada una utilizadas para recubrir al rectngulo mxn es par, y 24 divide a mn. Contradiccin, pues mn/12 es impar por hiptesis. Luego no se puede recubrir de la forma descrita en el enunciado ningn rectngulo que no cumpla las hiptesis de los lemas 3 o 4, q.e.d..

Luego un rectngulo mxn se puede recubrir mediante ganchos sin huecos, sin superposiciones y sin salirse si y solamente si bien m o n es mltiplo de 12 siendo el otro mayor o igual que 3 y distinto de 5, bien si uno de ellos es mltiplo de 3 y el otro de 4.

IMO 2004

Problema 4

Sea n3 un entero. Sean t1,t2,...,tn nmeros reales positivos tales que

1 1 1 n 2 + 1 > ( t1 + t2 + ... + tn ) + + ... + . tn t1 t2

Demostrar que ti, tj, tk son las medidas de un tringulo para todos los i, j, k con 1i<j<kn.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Lema: sean t1,t2,...,tn nmeros reales positivos cualesquiera con n3. Si existen tres cualesquiera distintos de entre ellos, ti, tj, tk, tales que se verifica la siguiente desigualdad:
1 1 1 + tk ) + + 10 , t t t j k i

(t + t
i

entonces se cumple como consecuencia que

( t1 + t2 + ... + tn )
Demostracin:

1 1 1 + + ... + n 2 + 1 . tn t1 t2

Obviamente, el lema se cumple trivialmente para n=3. Supongamos ahora que para algn n3 el lema se cumple para todos los conjuntos de n reales positivos tales que tres cualesquiera de ellos verifican la hiptesis del lema. Sea ahora A un conjunto de n+1 reales positivos tal que tres de ellos verifican la hiptesis del lema. Entonces, la tesis del lema se cumple para cualquier subconjunto de A con n elementos que incluye a los tres que verifican la hiptesis del lema verifica la tesis del lema. Sin perdida de generalidad, sea {t1,t2,...,tn} uno de dichos subconjuntos. Entonces,

( t1 + ... + tn + tn +1 )

1 1 1 + ... + + tn tn +1 t1

1 t 1 t t t = ( t1 + ... + tn ) + ... + + 1 + n +1 + ... + n + n +1 + 1 tn tn +1 t1 t1 tn +1 tn t t t t n 2 + 1 + 1 + n +1 + ... + n + n +1 + 1. tn +1 t1 tn +1 tn

Por la desigualdad de medias aritmtica y geomtrica aplicada a ti/tn+1 y tn+1/ti, que son reales y positivos, su suma es mayor o igual que 2, por ser su producto 1, luego

( t1 + ... + tn + tn+1 )

1 1 1 2 2 + ... + + n + 1 + 2n + 1 = ( n + 1) + 1 . tn tn +1 t1

Luego el lema queda probado para todo n3 por induccin. Sean ahora t1,t2,...,tn nmeros reales positivos que satisfacen la desigualdad del enunciado del problema. Para tres cualesquiera distintos de entre ellos, ti, tj y tk, se cumple que
1 1 1 + tk ) + + < 10 , t t t j k i

(t + t
i

pues en caso contrario, y por el lema demostrado, se llegara a una contradiccin con la hiptesis del enunciado. Supongamos ahora, sin prdida de generalidad, que tkti,tj, y definamos tk=(ti+tj) donde es obviamente un real positivo. Se tiene entonces que 1 1 1 ti + t j ti + t j ti t j + + + 10 > ( ti + t j + tk ) + + = 3 + tk ti t j t k t t t t j ti i j k

(t + t ) = 3+
i j

ti t j

1 ti t j 1 + + 5 + 4 + , t j ti

donde se han aplicado las desigualdades de las medias aritmtica y geomtrica a ti/tj y tj/ti, y a ti y tj. Como es positivo, podemos escribir: 10 > 5 + 4 2 + 1 ;

0 > 4 2 5 + 1 = ( 4 1)( 1) .

Por ser tkti,tj, 2(ti+tj)=2tkti+tj y 1/2, luego 411>0, con lo que 1<0, y tk<ti+tj, luego ti, tj y tk son los lados de un tringulo para cualesquier i, j, k distintos, q.e.d..

IMO 2004

Problema 5

En un cuadriltero convexo ABCD la diagonal BD no es la bisectriz ni de ABC ni de CDA. Un punto P en el interior de ABCD verifica PBC=DBA y PDC=BDA. Demostrar que los vrtices del cuadriltero ABCD pertenecen a una circunferencia si y slo si AP=CP.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Antes de empezar, se considera que PBC=DBA es equivalente a DBC=PBA, como se demuestra sumando PBD a ambos lados de la igualdad inicial (siendo PBD negativo si P est en el interior del tringulo BCD). De igual manera, se demuestra que PDC=BDA es equivalente a BDC=PDA. Supongamos ahora que P est sobre la diagonal BD. Entonces, DBC=PBC=DBA y BDC=PDC=BDA, con lo que BD es la bisectriz de ABC y de CDA, que es falso por hiptesis. Podemos entonces asumir, sin prdida de generalidad, que P est en el interior del tringulo ABD, pues por simetra en el enunciado y en las frmulas demostradas anteriormente, A y C pueden intercambiarse sin que varen ni las condiciones del problema ni los resultados a demostrarse.

F E P r

D B

Supongamos entonces que ABCD es cclico. Sean E y F los puntos respectivos donde PB y PD cortan de nuevo a la circunferencia circunscrita a ABCD. Se tiene que, al ser EBC=PBC=DBA, entonces AD=CE; adems, al ser DBC=PBA=EBA, entonces AE=CD. Al ser sin prdida de generalidad P interior al tringulo ABD, E est en el arco AD que no contiene a C, por lo que ACDE es un cuadriltero cclico tal que sus diagonales son iguales, y dos de sus lados opuestos tambin. Por lo tanto, ACDE es un trapecio issceles (propiedad conocida) de bases AC y DE, que tienen por lo tanto una mediatriz comn. De manera anloga se demuestra que AB=CF y AF=BC, y en consecuencia que ACBF es un trapecio issceles con bases AC y BF. Por lo tanto, las cuerdas AC, BF y DE tienen una mediatriz comn r, con respecto a la cual los segmentos BE y DF son simtricos. Luego al ser P el punto comn de ambos segmentos, P est en r, y concluimos que AP=CP, q.e.d.. Sea ahora AP=CP. Aplicando el teorema del seno a los tringulos APB, BPC, CPD, DPA, ABD y BCD, se obtienen las siguientes igualdades:
PA = AB sin ( PBA ) sin ( APB ) = AD sin ( PDA ) sin ( APD ) BC sin ( PBC ) sin ( BPC ) CD sin ( PDC ) sin ( CPD )

PC =

BC sin ( BDC ) = ; CD sin ( CBD )

AB sin ( BDA) = . AD sin ( ABD )

Se tiene entonces que

sin ( APD ) AD sin ( PDA ) sin ( ABD ) sin ( BDC ) = = sin ( APB ) AB sin ( PBA ) sin ( BDA ) sin ( DBC ) = sin ( PBC ) BC sin ( BPC ) = ; sin ( PDC ) CD sin ( CPD )

= 2sin ( BPC ) sin ( APB ) = cos ( BPC APB ) cos ( BPC + APB ) = cos ( BPC APB ) cos ( 2 APD CPD ) ;

cos ( APD CPD ) cos ( APD + CPD ) = 2sin ( APD ) sin ( CPD )

cos ( APD CPD ) = cos ( BPC APB ) .

Existen entonces dos posibilidades: bien APDCPD=BPCAPB, con lo que APD+APB=BPC+CPD= que es absurdo, pues en ese caso P estara en la diagonal BD, que ha sido ya demostrado que est en contradiccin con las hiptesis del enunciado, bien APDCPD=APBBPC, de donde deducimos por lo tanto que debe cumplirse necesariamente que APD+BPC=APB+CPD=.

H G s P D B

C
Sea entonces ahora la siguiente construccin geomtrica: definimos G y H como los puntos en las rectas PB y PD, respectivamente, y tales que P est en el interior de los segmentos BG y DH, con PG=PD y PH=PB. Sea s la bisectriz interior de los ngulos formados por las rectas PB y PD que deja B y D en el mismo semiplano. Por

construccin, H y G son los puntos simtricos de B y D, respectivamente, con respecto a s, y s es la mediatriz comn de BH y DG. Por hiptesis, AP=CP, y por construccin, APG=APB=CPD, con lo que los tringulos APG y CPD son simtricos con respecto a s, siendo adems AG=CD. De la misma forma se demuestra que los tringulos APH y CPB son simtricos con respecto a s, siendo adems AH=BD. Por construccin GH=BD, con lo que los tringulos BCD y HAG son simtricos con respecto a s. Luego A y C son simtricos con respecto a s. Ahora bien, BDGH es cclico al ser por consctruccin un trapecio issceles de bases BH y DG, siendo s un eje de simetra de su circunferencia circunscrita, al ser mediatriz comn de dichas bases. Adems, GHA=DBC=PBA=GBA, con lo que AHBG es cclico, y A est en la circunferencia circunscrita a BDGH, y por ser C simtrico de A con respecto a s, C tambin est en dicha circunferencia. Luego ABCD es cclico, q.e.d..

IMO 2004

Problema 6

Un entero positivo es alternante si, en su representacin decimal, en toda pareja de dgitos consecutivos uno es par y el otro impar. Encontrar todos los enteros positivos n tales que n tiene un mltiplo que es alternante.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Obviamente, los mltiplos de 20 no pueden ser nunca alternantes, ya que en cualquier caso su ltima cifra es 0 y su penltima cifra es par, luego sus dos ltimas cifras son pares. Entonces, ni 20 ni sus mltiplos pueden tener mltiplos alternantes.

Demostraremos sin embargo que todo entero n no mltiplo de 20 s tiene al menos un mltiplo alternante, a travs de lemas intermedios: Lema 1: Para cada entero a1, todo entero positivo n primo con 2 y 5 tiene un mltiplo de la forma
B 1

102ab = 10
b =0

2 a ( B 1)

+ 10

2 a( B 2 )

+ ... + 102 a + 1 =

102 aB 1 . 102 a 1

Demostracin: Obviamente, n es primo con 10. Por lo tanto, por el teorema de EulerFermat, se tiene que 10(n)1(mod n), donde (n) es el indicador de n. Si 102a1 es mltiplo de n, entonces se tiene que, para todo entero b1, 102ab1(mod n), con lo que

102 an 1 n 1 2 an n 1 = 10 1 n ( mod n ) 102 n 1 b =0 b =0

es mltiplo de n. En caso contrario, considrese el siguiente nmero:
( n ) 1 b =0

10

2 ab

102 a ( n ) 1 = . 10 2 a 1

Ahora bien, en la anterior fraccin el denominador no es mltiplo de n por hiptesis, pero el numerador s (ya que 102a(n)12a1(mod n)), a la vez que la fraccin tiene valor entero. Por lo tanto, la fraccin define un entero mltiplo de n. Entonces, sea cual sea a, hemos demostrado que se puede construir un entero de la forma
B 1

102ab =
b =0

102 aB 1 102 a 1

que es mltiplo de n, q.e.d..

Lema 2: Toda potencia de 5 de la forma 52u (u1) tiene un mltiplo impar alternante de 2u cifras. Como corolario obvio, toda potencia de 5 tiene un mltiplo impar alternante con un nmero par de cifras. Demostracin: El lema es obvio para u=1, pues 25 es mltiplo de 52. Supongamos que el lema es vlido para u. Entonces existe un nmero alternante de 2u cifras que podemos escribir como 52um. Sea ahora r el resto de dividir m por 25. Entonces, el resto de dividir 52um por 52(u+1) es 52ur. Considrense ahora todos los nmeros de la forma
52u m + s10 2u = ( m + 22 u s ) 52u ,

donde s es un nmero alternante impar de dos cifras. Como exactamente las ltimas 2u cifras de s102u son cero, y las dos restantes son, la primera par, la segunda impar, los nmeros de la forma definida son alternantes (la primera de las 2u cifras de 52um es par, pues es un nmero alternante de nmero par de cifras que acaba en cifra impar) y tienen 2(u+1) cifras. Nos basta entonces encontrar un s tal que dicho nmero sea tambin mltiplo de 52(u+1) (es decir, tal que 25 divida a m+22us) para demostrar el lema 2 por induccin sobre u. Tenemos entonces que encontrar un nmero alternante impar de dos cifras tal que

m + 22u s r + 22u s 0 ( mod 25 ) .

Ahora bien, es obvio que
2 2u 4u ( 1) ( mod 5 ) ,
u

con lo que
22 u s ( 1) s ( mod 25 ) .
u

Si u es par, elegimos s entre el conjunto {25r,50r,75r,100r}. Uno de ellos es alternante, pues 50r y 100r por un lado, y 75r y 25r por otro, difieren uno de otro en la paridad de las decenas, mientras que 50r y 75r por un lado, y 100r y 25r por otro, difieren en la paridad de las unidades. Luego uno de estos cuatro nmeros tiene cifra de decenas par y cifra de unidades impar, y por lo tanto es alternante impar de dos cifras. Si u es impar, entonces elegimos s entre el conjunto {r,25+r,50+r,75+r}, siendo igualmente uno de ellos alternante impar. Luego hemos hallado un nmero impar alternante de 2(u+1) cifras que es mltiplo de 52(u+1), con lo que el lema 2 queda probado por induccin.

Lema 3: Toda potencia de 2 de la forma 22(v+1) (v1) tiene un mltiplo alternante (obviamente par) de 2v cifras que no es mltiplo de 22v+3. Como corolario obvio, toda potencia de 2 tiene un mltiplo alternante con un nmero par de cifras. Demostracin: El lema se cumple obviamente para v=1, pues 16 es mltiplo alternante de 24, pero no de 25. Demostraremos ahora el lema 3 para todo v por induccin. Supongamos entonces que el lema 3 se cumple para v. Entonces existe un nmero alternante de 2v cifras, que es mltiplo de 22(v+1) pero no de 22v+3, es decir, existe un nmero de 2v cifras que podemos escribir como 22(v+1)m con m impar. Consideremos el siguiente nmero:

2( v +1)

52 v s 2( v +1) , m + s102 v = m + 2 4

donde s es alternante de dos cifras y mltiplo de 4 pero no de 8. Obviamente, el nmero as construido tiene una expresin digital formada por un nmero par alternante de dos cifras, seguido por un nmero par alternante de 2v cifras cuya primera cifra es por lo tanto impar. Se tiene entonces que el nmero formado es un nmero par, alternante y de 2(v+1) cifras. Ahora bien, como el resto de dividir 52 por 4 y por 8 es 1, se tiene que m+ m+ 52 v s s m + ( mod 4 ) ; 4 4 52 v s s m + ( mod 8 ) . 4 4

Por lo tanto, si conseguimos elegir s tal que m+s/4 sea mltiplo de 4 pero no de 8, habremos probado el lema 3. Pero esto es siempre posible, ya que si m1(mod 8), podemos tomar s=12, mientras que si m5(mod 8), podemos tomar s=92, a la vez que si m3(mod 8), podemos tomar s=36, mientras que si m7(mod 8), podemos tomar s=52. Luego por induccin, y para todo v1, hemos demostrado como construir un nmero alternante de 2(v+1) cifras que es mltiplo de 22(v+1) pero no de 22v+3, q.e.d..

Teorema: Todo entero positivo n que no es mltiplo de 20 posee un mltiplo alternante. Demostracin: Caso 1: Supongamos que n es impar y no es mltiplo de 5. Entonces, por el lema 1 con a=1, n tiene un mltiplo de la forma

102 B 1 B 1 2b = 10 = 10101...101 , 102 1 b = 0

que es obviamente alternante y adems es impar. Caso 2: Supongamos ahora que n es impar y mltiplo de 5. Lo podemos entonces escribir como
n = 5u n ' ,

donde 5 no divide a n' y u1. Sea ahora u' entero tal que 2u'u. Por el lema 2, podemos encontrar un nmero alternante de 2u' cifras que es mltiplo de 52u', y por lo tanto de 5u. Al mismo tiempo, por el lema 1, podemos encontrar un mltiplo de n' de la forma
B 1

10
b =0

2u ' b

102 u ' B 1 = 2u ' . 10 1

El resultado del producto de estos dos nmeros es una cadena de 2u'B dgitos, que se puede dividir en B grupos idnticos de 2u' dgitos alternantes, de forma que en cada uno de los B grupos el primer dgito es par y el ltimo 5. Por lo tanto, el nmero as construido es alternante, y por su construccin es mltiplo de n, y adems impar. Caso 3: Supongamos ahora que n es par de la forma 2vn', con v1 y donde n' es impar pero no mltiplo de 5. Sea entonces v' un entero positivo tal que 2(v'+1)v. Por el lema 3, existe un nmero alternante de 2v' cifras que es mltiplo de 22(v'+1), y por lo tanto de 2v. Al mismo tiempo, por el lema 1, existe un mltiplo de n' de la forma

102v 'b =
b =0

B 1

102 v ' B 1 . 102 v ' 1

El resultado del producto de estos dos nmeros es una cadena de 2v'B dgitos, que se puede dividir en B grupos idnticos de 2v' dgitos de paridad alternante, de forma que en cada uno de los B grupos el primer dgito es impar y el ltimo par. Por lo tanto, el nmero as construido es alternante, y por su construccin es mltiplo de n. Caso 4: Supongamos ahora que n es par y mltiplo de 5, pero no es mltiplo de 20. Luego 4 no divide a n. Podemos entonces escribir n=10n', donde n' es impar. Por lo tanto, n' pertenece al caso 1 o 2, con lo que podemos encontrar un mltiplo alternante impar de n'. Ahora bien, 10 veces ese mltiplo alternante impar sigue siendo alternante, y por construccin es mltiplo de n. Luego siempre que n no sea mltiplo de 20, hemos demostrado que podemos encontrar un mltiplo alternante de n. Como adems, si n es mltiplo de 20, es imposible que tenga un mltiplo alternante, la respuesta al problema es que tienen mltiplos alternantes todos los enteros positivos salvo los mltiplos de 20.

Memorial Peter OHallaran 2004

Problema 1

Hallar todos los nmeros naturales m tales que

m ( m + 1) 1! 3! 5! ... ( 2m 1) ! = ! . 2

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Denotaremos por xm al miembro de la izquierda y por ym al de la derecha, es decir,

xm = 1! 3! 5! ... ( 2m 1) !;
Se puede calcular fcilmente que:

m ( m + 1) ym = ! . 2 2 ( 2 + 1) x2 = 1! 3! = 3! = ! = y2 ; 2

1(1 + 1) x1 = 1! = ! = y1 ; 2

3 ( 3 + 1) x3 = 1! 3! 5! = 6 5! = 6! = ! = y3 ; 2 4 ( 4 + 1) x4 = 1! 3! 5! 7! = 2 2 32 4 5 7! = 10 9 8 7! = 10! = ! = y4 . 2
Por lo tanto, la igualdad propuesta se cumple para m=1, 2, 3 y 4. Probaremos ahora que stas son las nicas soluciones. Definimos P2(x) como la mxima potencia de 2 que divide a x. Es conocido que
n P2 ( n !) = i . i =1 2

Utilizando que P2(x4)=P2(y4) por ser x4=y4, demostraremos que, para m5, P2(xm)>P2(ym). Para ello, compararemos P2(xm) y P2(xm+1) por un lado, y P2(ym) y P2(ym+1) por otro:

P2 ( xm +1 ) = P2 ( ( 2m + 1) ! xm ) = P2 ( ( 2m + 1) !) + P2 ( xm ) ;
2m + 1 2m m P2 ( ( 2m + 1) !) = i i = m + i = m + P ( m !) ; 2 i =1 2 i =1 i =1 2

P2 ( xm +1 ) P2 ( xm ) m + P2 ( m !) .
Consideremos ahora el conjunto Am+1={m(m+1)/2+1,m(m+1)/2+2,...,(m+1)(m+2)/2}, que tiene obviamente m+1 elementos que son enteros consecutivos. Sea a el exponente de la mayor potencia de 2 que tiene un mltiplo contenido en Am+1. Entonces, existe al

menos un nmero de la forma 2ac (con c impar) incluido en ese Am+1. Ahora bien, 2a no divide a ningn otro elemento de ese conjunto, pues por definicin ningn elemento de Am+1 es mltiplo de 2a+1, y si existe otro nmero que es de la forma 2ac', siendo c' otro impar distinto de c, entonces existe al menos un nmero par entre c y c', y 2a multiplicado por dicho nmero par sera mltiplo de 2a+1 y estara incluido en Am+1, lo cual es absurdo. Podemos entonces escribir cada elemento del conjunto como 2ac+x o como 2acx, eligiendo siempre x como no negativo. Ahora bien, si x es no nulo y 2ac+x o 2acx est en Am+1, entonces P2(2ac+x)=P2(2acx)=P2(x), que se demuestra as: si 2b divide a x, y ba, entonces 2a divide a x, y por lo tanto tambin divide a 2ac+x y a 2acx, que es absurdo si uno de los dos est en Am+1; si 2b divide a x, y b<a, entonces 2b tambin divide a 2a, y 2b divide tanto a 2ac+x como a 2acx. Recprocamente, sabemos que si 2b divide a 2ac+x o a 2acx, con x no nulo y estando al menos uno de ellos en Am+1, entonces b<a, con lo que 2b tambin divide a 2a, y 2b debe por lo tanto dividir a x. Supongamos que podemos escribir el menor nmero de Am+1 como 2ay. Entonces, al haber m+1 elementos en Am+1, el mayor elemento de Am+1 es 2a+my, con lo que
P2 ( ym +1 ) P2 ( ym ) = P2 ( 2 a c j ) + P2 ( 2 a c + j ) + a = P2 ( j ) + P2 ( j ) + a
y y m y j =1 m y j =1

= P2 ( y !) + P2 ( ( m y ) !) + a.

j =1

j =1

Ahora bien, como el nmero de combinaciones de m elementos tomados de y en y es un nmero entero, se tiene que (my)!y! divide a m!, con lo que

P2 ( m !) P2 ( y !) + P2 ( (m y ) !) .
Se tiene entonces que P2 ( xm +1 ) P2 ( ym+1 ) P2 ( xm ) P2 ( ym ) + m a + P2 ( m !) P2 ( y !) P2 ( (m y ) !) P2 ( xm ) P2 ( ym ) + m a. Ahora bien, como 2ac(m+1)(m+2)/2, y si m4, entonces 2mm2, se deduce que

( m + 1)( m + 2 ) = m2 + 3m + 2 < m2 + 4m m2 2m .
2 2 2 Por lo tanto, si m4 entonces a<m, y

P2 ( xm +1 ) P2 ( y m+1 ) > P2 ( xm ) P2 ( ym ) .
Luego si P2(xm)P2(ym) con m4, entonces P2(xm+1)>P2(ym+1), y se ha demostrado por induccin que para m5, P2(xm)>P2(ym), luego no puede haber soluciones con m5.

Memorial Peter OHallaran 2004

Problema 2

En el tringulo ABC, la altura desde A corta a la circunferencia circunscrita en T. El dimetro de la circunferencia circunscrita que pasa por A y la recta OT (O, circuncentro) cortan al lado BC en Q y M, respectivamente. Demostrar que

[ AQC ] = sin B 2 [ MTC ] cos C

donde [ ] representa el rea.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa.

T'

A'

Obviamente, la recta OT contiene a un dimetro de la circunferencia circunscrita. Sean A', T' los segundos puntos donde los dimetros por A y T respectivamente cortan a la circunferencia circunscrita. Es entonces obvio que ATA'T' es un rectngulo, por ser ATA'=AT'A' y TAT'=TA'T' rectos al ser AA' y TT' dimetros. Adems, por ser AT perpendicular a BC, tambin lo es A'T', y AT' y TA' son paralelos a BC. Por lo tanto, los ngulos que forman AA' y TT' con BC son iguales, o lo que es lo mismo, AQC=TMC. Es obvio tambin que AT' y TA' son simtricos con respecto a la mediatriz comn de TA' y AT', que es la perpendicular a BC por el punto medio del rectngulo, es decir O. Por lo tanto, CT'=AB, y por el teorema del seno, CTM=CTT'=C=ACQ. De aqu podemos concluir que los tringulos AQC y CMT son semejantes, y en consecuencia, que

[ AQC ] = AC 2 . [CMT ] CT
Ahora bien, siendo r el radio de la circunferencia circunscrita, se tiene por el teorema del seno que AC=2rsinB. Por otra parte, CAT=BACBAT, y al ser AT perpendicular a BC, BAT=/2B, es decir, CAT=A+B/2=/2C, con lo que CT=2rsin(CAT)=2rcosC. Sustituyendo estos dos valores encontrados para AC y CT en la ecuacin anterior para el cociente de las reas y simplificando, se obtiene el resultado buscado.

Memorial Peter OHallaran 2004

Problema 3

Si a, b, c son nmeros positivos tales que

1 = ab + bc + ca + 2abc ,

demostrar que

2 ( a + b + c ) + 1 32abc .
Cundo se verifica la igualdad?

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. De la igualdad dada, aplicando la desigualdad entre medias aritmtica y geomtrica a ab, bc y ca, que son positivos, y llamando G a la media geomtrica de a, b y c, se tiene: 1 2G 3 1 2abc ab + bc + ca 3 2 2 2 = = a b c = G2 ; 3 3 3
0 2G 3 + 3G 2 1 = ( G + 1) ( 2G 1) .
2

Como G es positivo, se deduce que G1/2. Podemos ahora deducir tambin que:
ab + bc + ca = 1 2abc = 1 2G 3 1 1 3 = . 4 4

Aplicando la desigualdad de Cauchy-Schwartz a los vectores (a,b,c) y (b,c,a), se tiene

a 2 + b2 + c 2 ab + bc + ca 3 . 4

Por lo tanto, se llega a

(a + b + c)

3 3 9 3 = a + b + c + 2 ( ab + bc + ca ) + 2 = = . 4 4 4 2
2 2 2

Como a+b+c es positivo, se demuestra finalmente que

3 2 ( a + b + c ) + 1 2 + 1 = 4 32G 3 = 32abc , 2

q.e.d.. Como hemos aplicado la desigualdad entre las medias aritmtica y geomtrica de ab, bc y ca, y la desigualdad de Cauchy-Schwartz a (a,b,c) y (b,c,a), la igualdad se da si y solamente si a=b=c=G=1/2.

Memorial Peter OHallaran 2004

Problema 4

Sean z1, z2, z3 nmeros complejos mutuamente distintos, tales que

z1 = z 2 = z3 = 1 ,
y supongamos que el tringulo cuyos vrtices son los puntos cuyos afijos son z1, z2, z3, es acutngulo. Demostrar que si se verifica la igualdad

1 1 1 + + = 1, 2 + z1 + z2 2 + z2 + z3 2 + z3 + z1
entonces el tringulo es equiltero.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa.

A 1

2C 2 B

O 2B 2A C

Sean A, B y C los puntos cuyos afijos respectivos son z1, z2, z3. Como O, el punto cuyo afijo es z=0, es el circuncentro de ABC, se tiene que BOC=2A, COA=2B, AOB=2C. Sean entonces

z1 = ei1 = cos (1 ) + i sin (1 ) ; z2 = ei2 = cos ( 2 ) + i sin ( 2 ) ; z3 = ei3 = cos ( 3 ) + i sin ( 3 )

Es entonces una propiedad conocida de los ngulos formados por dos vrtices del tringulo y su circuncentro que (ver figura)

A =

3 2 ; 2

B =

3 1 ; 2

C =

1 2 . 2

Ahora bien, por ser el tringulo acutngulo, cada uno de estos tres ngulos es menor que /2, y se tiene:

z1 + z2 = cos (1 ) + cos ( 2 ) + sin (1 ) + sin ( 2 )

2

= 2 + 2 cos (1 ) cos ( 2 ) + 2sin (1 ) sin ( 2 ) = 2 + 2 cos (1 2 ) = 2 + 2 cos 2 1 2 2sin 2 1 2 = 2cos 1 2 = 2cos ( C ) . 2 2 2

De la misma forma, se demuestra que

z2 + z3 = 2 cos ( A) ;

z3 + z1 = 2 cos ( B ) .

Por lo tanto, los ngulos del tringulo considerado satisfacen la relacin:

1 1 1 + + = 2. 1 + cos ( B ) 1 + cos ( C ) 1 + cos ( A )

Ahora bien, utilizando la desigualdad entre medias aritmtica y armnica, podemos escribir:
3 = 2 3 + cos ( A) + cos ( B ) + cos ( C ) 3 ; 1 1 1 3 + + 1 + cos ( B ) 1 + cos ( C ) 1 + cos ( A )
cos ( A) + cos ( B ) + cos ( C ) 3 . 2

Podemos entonces utilizar que A+B+C=, con lo que

3 B+C B C A B C 2 A cos ( A) + 2 cos cos = 1 2sin + 2 sin cos ; 2 2 2 2 2 2

A 1 A B C 0 sin + 4sin 1 cos . 2 2 2 2

Pero esto es imposible a menos que cos((BC)/2)=1 (es decir, a menos que B=C), y simultneamente sin(A/2)=1/2, es decir, A=/3. Luego B=C=(A)/2=/3, y el tringulo cuyos afijos son z1, z2 y z3 es equiltero, q.e.d..

PROBLEMAS PARA LOS MS JVENES (15) Algunos problemas de las primeras Olimpiadas Balcnicas junior : 1.(1997, propuesto por Yugoslavia) Nueve puntos son interiores a un cuadrado de lado unidad. Probar que tres de ellos son los vrtices de un tringulo cuya rea no es mayor que 1/8. 2.(1997, propuesto por Chipre). Sea k Expresar, en funcin de k, x8 y8 x8  y8 x8  y8 . x8 y8 x2 y2 x2  y2 x2  y2 . x2 y2

3.(1998, propuesto por Yugoslavia). Las cifras del nmero N son, de izquierda a derecha, las siguientes: Las primeras 1997 cifras son iguales a 1; a continuacin hay 1998 doses; finalmente, la cifra de las unidades es un 5. Demostrar que N es un cuadrado perfecto. 4.(1999, propuesto por Grecia). El tringulo ABC es issceles, con AB del lado BC tal que BC
7 7 7 7

AC. Sea D un punto

BD

DC

0.
7

Sean k 1 y k 2 los crculos circunscritos a ABD y ADC, respectivamente. Sea M el punto medio de B C , donde los puntos B y C se definen de la manera siguiente: BB es un dimetro de k 1 y CC es un dimetro de k 2 . Demostrar que el rea del tringulo MBC no depende de la posicin del punto D sobre el lado BC.
7

PROBLEMA 41 (SOLUCION POR HENRY RAMIREZ- FUSM BOGOTA COLOMBIA) Para todo n 1, probar que:

SOLUCION: La desigualdad original (1) puede reescribirse como: 1 n 1 e (n+1) n n k =1C(n, k ) e2 La demostracin se har por induccin. Para n = 1, se tiene:
1 n

1 n 1 (n + 1) 2n (1) e n k =1C(n, k)

con

n C(n, k) = k

1 1 e1+1 e 2 * 1 1 = 2 = 1 e 1 1 e2
De donde 1 1 Supngase cierto el resultado para k = 1, 2, 3,..., n 1 Debe probarse el resultado para k = n . Por la desigualdad media armnica media aritmtica tenemos que: n n n n + + + ... + 1 2 3 n n n = 2 1 1 1 1 1 n n + + + ... + n n n n 1 2 3 n En donde se ha utilizado el Teorema del Binomio de Newton ( x + y )n =
k =0 k n k k x y n

n n n n n n n n con x = y = 1; de donde 2 n = 0 + 1 + 1 + ... + n = 1+ 1 + 2 + 3 + ... + n . Es decir:

Reescribiendo:

n 2n 1 1 1 1 1 n + + + ... + n n n n 1 2 3 n n
k =1 k

1 n

2n 1 n

Lo que implica que:

n 1 n 1 n 2n 1 n k = 1
k n

Y de aqu que. n n 1 1 n n n 2 1 k =1 k
n

(2)

Ahora bien; para n=2 se tiene que: 4 1 e 2+1 e 3 e n+1 n 2 = = = = 4 = n 2 n 9 e 22 2 1 2 1 e e e2

n 2

pues 4e > 4(2.5) = 10 > 9 ( ) (A) De forma similar se tiene que para n=3:
3 3

3 3 27 1 e3 + 1 e 4 en + 1 3 = 3 = 343 4 = 23 = 8 = 2n 2 1 2 1 e e e e
lo cual es cierto pues 27 e 4 > 27 * 2 4 = 432 > 343 . Supngase que n 4 Consideremos la funcin f ( x ) = x ln x x 1 en el intervalo [4, ) . Tenemos que f ( 4) = 4 ln 4 4 1 = 4 ln 4 5 0 .545 > 0 Adems derivando se tiene que: 1 f ' (x) = lnx + x 1 = ln x x Entonces: f ' (x) = ln x > 0 para x [4, ) Entonces f(x) es creciente en este intervalo, y como f(4)>0, se tiene que f ( x) > 0 en [0, ) Por lo tanto: f ( x ) = x ln x x 1 > 0 En particular para x = n natural (n 4) :

nln n n 1 > 0
Lo que implica: Tenemos adems que:

(B)
(3).

nln n n + 1 2n n2

para n 4 (4) lo cual se puede probar fcilmente por induccin. Para n = 4 : Supngase que el resultado es cierto para k = 4, 5, 6, ..., n . Por lo tanto:

2 4 = 16 16 = 4 2 2n n2

Multiplicando esta desigualdad por 2, tenemos:

2n +1 2n2 (5)
pero (n 1) 2 2 para n 4 . De donde:

n2 2n + 1 2 n2 2n 1 0 n2 2n + 1 2n2 n 2 + 2n + 1 = (n + 1) 2
sustituyendo esto en (5) obtenemos:

2n +1 2n 2 (n + 1) 2
Tenemos que:

en 2n 2n 1 > 0
La desigualdad se mantiene al tomar ln: de donde Multiplicando por n se tiene: Combinando esto con (4) resulta: con lo que obtenemos la desigualdad:

para n 4

ln en ln 2n 1 n ln 2 n 1 n2 n ln 2n 1

)
(5)

2n n 2 n ln( 2n 1) 2n n ln( 2n 1) (6)

Ahora se suman miembro a miembro las desigualdades obtenidas en (3) y (6): nln n n + 1 (3).

2n n ln( 2n 1) (6)
Se tiene por lo tanto:

2n + nln n n ln( 2n 1) + n + 1
podemos reescribir esta desigualdad como:
n n

(7)

ln e 2 + n ln n n ln( 2n 1) + ln e n+1 ln e 2 + ln nn ln( 2n 1)n + ln en +1 2n n ln e n ln ( 2n 1)n en +1

lo que implica:

e 2 nn (2n 1)n en +1
de donde:

(2n 1)n

nn

e n+1 e2
n

Es decir.: n e n+1 (8) n 2n 2 1 e Combinando esto con la desigualdad (2) obtenemos:

n

e
Es decir :

n+1 n

e2

n n 1 1 n n n k =1 2 1 k
n n

1 n 1 (n + 1) 2n e n k =1C(n, k)
que es lo que se quera demostrar. COMENTARIO. De acuerdo a las desigualdades resaltadas (A) y (B) la desigualdad en realidad es estricta para n > 2 . La igualdad se presenta en en el caso n=1.

Problema 66 Si a y b son nmeros positivos tales que a 3 + b3 = 2 , demostrar que

a 9 + b 9 + 5 a 12 + b12 8 + 2 a15 + b15

Solucin de Miguel Amengual Covas, Cala Figuera, Mallorca, Espaa. Si po nemos x = a 3 , y = b 3 entonces x + y = 2 y, consiguientemente,
2 2 = ( x + y )2 = x 2 + y 2 + 2 xy x 2 + y 2 = 4 2 xy , 2 3 = ( x + y )3 = x 3 + y 3 + 3 xy(x + y )

de donde (1)

de donde
x 3 + y 3 = 8 6 xy , 2 4 = ( x + y )4 = x 4 + y 4 + 4 xy x 2 + y 2 + 6 x 2 y 2 = x 4 + y 4 + 4 xy(4 2 xy) + 6 x 2 y 2 x 4 + y 4 = 16 16 xy + 2 x 2 y 2 por (1)

(2)

de donde (3) y
2 5 = ( x + y )5 = x 5 + y 5 + 5xy x 3 + y 3 + 10 x 2 y 2 (x + y ) = x + y + 5xy(8 6 xy) + 20 x 2 y 2
5 5

por (2)

de donde
x 5 + y 5 = 32 40 xy + 10 x 2 y 2

(4)

Ahora, en funcin de x , y , la desigualdad propuesta se escribe

x3 + y 3 + 5 x4 + y4 8 + 2 x5 + y 5

que, habida cuenta de (2), (3) y (4) se convierte en

10 x 2 y 2 + 6 xy 16 0

cuya validez se establece inmediatamente sin ms que tener en cuenta que siendo x , y nmeros positivos de suma constante e igual a 2, el producto xy es mximo cuando dichos nmeros son iguales, esto es: xy 1 verificndose la igualdad cuando x = y = 1 . Entonces, en efecto,
10 x 2 y 2 + 6 xy 16 10 12 + 6 1 16 = 0

y la demostracin es completa. Se verifica la igualdad si y slo si x = y = 1 , es decir, slo cuando a = b = 1 .

Problema 68 Propuesto por Laurentiu Modan, Bucarest, Rumana. Se considera la funcin real

( x + 1) + ( x 1) , con n natural. f ( x, n ) = n +1 n +1 ( x + 1) ( x 1)
n +1 n +1

Hallar los valores del parmetro n tales que f tiene el mayor nmero posible de asntotas, y en tal caso, hallar sus ecuaciones.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. La funcin f puede tener tres tipos distintos de asntotas: 1) Asntotas horizontales si su lmite al tender x a infinito (positivo o negativo) es un valor real. 2) Asntotas oblicuas si el lmite de su derivada al tender x a infinito (positivo o negativo) es un valor real. 3) Asntotas verticales si el lmite de la funcin para algn x real es infinito. Para ello es necesario (aunque no suficiente) que el denominador de f se anule para dicho valor real de x. Podemos desarrollar los binomios del numerador y denominador de f para obtener:
n +1

f ( x, n ) =

m=0 m par

n +1

n + 1 n +1 m x m n + 1 n +1 m x m

m=0 m impar

n + 1 n 1 n + 1 n 3 x n +1 + x + x + ... 2 4 = n + 1 n + 1 ( n + 1) x n + x n 2 + x n 4 + ... 3 5

n + 2 n n 1 n + 2 n n 3 x + x + ... 3 1 5 3 x = + . n +1 n + 1 n 2 n ( n + 1) x + x + ... 3

Es por lo tanto obvio que, al ser nulo el lmite del segundo sumando del ltimo miembro cuando x tiende a infinito (positivo o negativo), la recta y=x/(n+1) es asntota oblicua de f(x,n) cuando x tiende a infinito (positivo o negativo) y para cualquier valor del parmetro n. Falta comprobar si f(x,n) tiene tambin asntotas verticales. Obviamente, el denominador se puede anular slo si los valores absolutos de x+1 y x1 son iguales, lo cual puede suceder solamente si x=0. Adicionalmente, los signos de (x+1)n+1 y (x1)n+1

deben ser iguales, para lo que n debe ser impar. El numerador de f(x,n), para n impar y x=0, vale 2, luego el valor de n que maximiza el nmero de asntotas de f(x,n) es cualquier n impar, siendo entonces las asntotas las rectas de ecuaciones x=0 y y=x/(n+1). No hay otras asntotas posibles para ningn valor de n.

Problema 69 Encontrar todos los nmeros naturales x , y , z mayores que cero, tales que
1+ 2x 3y = z 2

Solucin de Miguel Amengual Covas, Cala Figuera, Mallorca, Espaa. Pues z es impar, porque z 2 es impar, puede escribirse en la forma 2 k + 1 donde k es un nmero natural igual o mayor que 1 y la ecuacin dada se escribe entonces en la forma 2 x 2 3 y = k (k + 1) . Uno de los nmeros k y k + 1 es par, luego debe ser x 2 1 y, habida cuenta que k y k + 1 son primos entre s por ser nmeros consecutivos, resultan, por la unicidad de la descomposicin de un nmero en producto de factores primos, los dos siguientes casos: 1. 2 x 2 = k y 3 y = k + 1 , de donde 3 y 2 x 2 = 1 . Pues las nicas soluciones (n, m) en nmeros naturales mayores que cero de la ecuacin 3n 2 m = 1 son (1, 1) y (2, 3) [1, problema 5/155], obtenemos ( y, x 2 ) = (1, 1) , (2, 3) de donde x = 3 , y = 1 que implican z = 5 y x = 5 , y = 2 que implican z = 17 .

2. 2 x 2 = k + 1 y 3 y = k , de donde 2 x 2 3 y = 1 . Pues la nica solucin (m, n) en nmeros naturales mayores que cero de la ecuacin 2 m 3n = 1 es (2, 1) [1, problema 5/154], obtenemos ( x 2, y ) = (2, 1) de donde x = 4 , y = 1 que implican z = 7 . Las soluciones pedidas son, pues, las tres siguientes: (x, y , z ) = (3, 1, 5) , (4, 1, 7 ) , (5, 2, 17 ) Referencia. 1. W. Sierpinski, 250 problmes de thorie lmentaire des nombres, Librairie Hachette, 1972.

Problema 70 Propuesto como problema 4 en los exmenes para el acceso al Cuerpo de Profesores de Educacin Secundaria en Castilla y Len, julio 2004. Tres personas, A, B, C lanzan sucesivamente, en ese orden, un dado. La primera persona que saque un 6, gana. a) Cules son sus respectivas probabilidades de ganar? b) Calcular la probabilidad de que el juego termine en el dcimo lanzamiento y de que la persona C saque siempre la suma de lo que acaban de sacar los jugadores A y B en las tiradas inmediatamente anteriores.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. a) Si A no gana en la primera tirada (probabilidad 5/6), entonces las probabilidades de ganar de B, C y A son iguales que las probabilidades de ganar de A, B y C, respectivamente, antes de la primera tirada de A. De igual forma, si ni A ni B ganan en su primera tirada (probabilidad 25/36), las probabilidades de ganar de C, A y B son iguales que las probabilidades de ganar de A, B y C, respectivamente, antes de la primera tirada de A. Por lo tanto, se tiene que la probabilidad de ganar de B es 5/6 de la probabilidad de ganar de A, y la probabilidad de ganar de C es 25/36 de la probabilidad de ganar de A. Como las tres probabilidades deben sumar 1, se tiene que (1+5/6+25/36)PA=1, donde PA es la probabilidad de que A gane. Se tiene entonces que PA=36/91, y consecuentemente que PB=30/91, PC=25/91. Este mismo resultado se puede tambin probar de otra manera alternativa, ms aburrida, que consiste en calcular que la probabilidad de que A gane en su n-sima tirada es igual a (1/6)(5/6)3(n1), es decir, la probabilidad de que A saque un 6 despus de que durante n1 ciclos consecutivos nadie haya sacado un 6. La suma de la progresin geomtrica resultante para n=1,2,3,..., produce el mismo resultado que el mtodo anterior. Las probabilidades de ganar de B y C se calculan igualmente de forma anloga, con factores adicionales respectivos 5/6 y 25/36 para tener en cuenta que para que B gane en su n-sima tirada, A no puede haber sacado un 6 en su n-sima tirada, y para que gane C, ni A ni B pueden haberlo hecho. b) El dcimo lanzamiento corresponde al cuarto lanzamiento de A. Debemos entonces calcular la probabilidad de que, en tres rondas consecutivas, C obtenga (sin ganar) la suma de lo que obtengan A y B, y de que en su cuarto lanzamiento A gane. Calculemos

entonces primero la probabilidad de que en una ronda cualquiera C obtenga la suma de lo que obtienen A y B sin ganar, es decir, sin sacar 6. La suma de lo que obtienen A y B debe estar entonces comprendida entre 2 y 5, pudiendo obtenerse 2 de una nica manera (1 y 1), 3 de dos maneras (1 y 2, 2 y 1), 4 de tres (1 y 3, 2 y 2, 3 y 1) y 5 de cuatro (1 y 4, 2 y 3, 3 y 2, 4 y 1), sobre un total de 36 posibles resultados para el lanzamiento conjunto de A y B. Por lo tanto, la probabilidad de que C, sin ganar, saque la suma de lo que han sacado A y B es igual a (1+2+3+4)/63=5/108. Como esto se debe repetir en tres rondas, seguido de que A saque un 6, la probabilidad pedida es (5/108)3/6=5/(27310).

PROBLEMAS PROPUESTOS 71-75 71.(Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa) Para cualesquiera nmeros reales x 1 , x 2 , +, x n , demostrar que


n k 1

cosh x k


n k 1

sinh x k

K n2.

72.(Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa) Resolver la ecuacin x
2n


n k 1

2n x 2 nk x 2 2k

1

0.

73.(Propuesto por Juan Bosco Romero Mrquez, vila, Espaa) Resolver la ecuacin en diferencias un 1  un un 2 , nK1 1 un 1  un con las condiciones iniciales u 1 1, u 2 a, a F 1, a  R. 74*.(Propuesto por Abderrahim Ouardini, Burdeos, Francia) Encontrar todas las funciones f : R R tales que verifican las dos condiciones siguientes: i f xf y yf x , ii

x, y  R

El conjunto f x

! x  R

es finito. R que

75*.(Propuesto por Wu Wei Chao, GuangZhou, China) Dados dos nmeros reales, a y c, con a F 0, encontrar todas las funciones f : R verifican fx fy ffy 2a  x  f y fx

 c,
x, y  R.

Nota del editor: el problema 73 fu enviado en su momento para su publicacin en septiembre de 1999 a la revista SIPROMA, pero no fu posible hacerlo al cesar la edicin.

Tango del Algebrista

Pgina 1 de 1

Nmero 15--Divertimentos

Est en: OEI - Programacin - Olimpada de Matemtica - Revista Escolar de la OIM - Nmero 15

ltimo nmero Presentacin Nmeros anteriores Contactar Suscripcin gratuita

Tango del Algebrista Msica del tango Mano a mano Letra de Enzo R. Gentile Algebrista te volviste Refinado hasta la esencia Oligarca de la ciencia, Matemtico bacn. Hoy mirs a los que sudan En las otras disciplinas Como dama a pobres minas Que laburan por el pan. Te acords que en otros tiempos Sin mayores pretensiones Mendigabas soluciones A una msera ecuacin? Hoy la vas de riguroso, Reviss los postulados, Y juns por todos lados La ms vil definicin. Pero no engrups a nadie, Y es intil que te embales Con anillos, con ideales Y con lgebras de Boole. Todos saben que hace poco Resolviste hasta matrices, Y rastreabas las races Con el mtodo de Sturm. Pero puede que algn da Con las vueltas de la vida Tanta cscara aburrida Te llegue a cansar al fin Y aors tal vez el da Que sin lgebras abstractas Y con dos cifras exactas Te sentas tan feliz.

| Nmero 15| | Principal Olimpiada | Programacin OEI | Principal OEI | Contactar

file://Z:\oei\campusoei\oim\revistaoim\divertimentos15.htm

07/10/2004

Revista Escolar de la Olimpiada Iberoamericana de Matemtica

Pgina 1 de 1

Nmero 15-Pginas web

Est en: OEI - Programacin - Olimpada de Matemtica - Revista Escolar de la OIM - Nmero 15

ltimo nmero Presentacin

Pgina de la Asociacin Venezolana de Competencias Matemticas (ACM)

Nmeros anteriores http://ares.unimet.edu.ve/matematica/acm

Excelente pgina, distribuida de manera similar a la de la I.M.O.: a derecha e izquierda del centro, donde se incluyen las ltimas noticias y se informa de las actividades de la Suscripcin gratuita Asociacin, hay enlaces que conducen, por un lado. A Olimpiadas, Actividades, Delegaciones, Miembros, Reto (Problema de la semana), Canguro matemtico, Taller de verano, Revista de la OIM, Problemas de Olimpiadas en el Mundo, Olimpiada Recreativa de Matemticas, Exmenes, Temas de entrenamiento de Olimpiadas. Por la derecha, los enlaces llevan a KSF (Kangourou sans Frontires), 45 IMO, XIX OIM, 3 Olimpiada Bolivariana de matemticas, Olimpiada Iberoamericana de Matemtica Universitaria, el Simposio Iberoamericano 2004 de Educacin Matemtica y la VI Olimpiada Centroamericana y del Caribe.
Contactar

Francisco Bellot

| Nmero 15| | Principal Olimpiada | Programacin OEI | Principal OEI | Contactar

file://Z:\oei\campusoei\oim\revistaoim\resenas15.htm

07/10/2004

Las fascinantes biografas de los matemticos iberoamericanos

Pgina 1 de 2

Nmero 15--Otros

Est en: OEI - Programacin - Olimpada de Matemtica - Revista Escolar de la OIM - Nmero 15

ltimo nmero Presentacin Nmeros anteriores Contactar Suscripcin gratuita

Sobre la Prueba por equipos de la XIX Olimpiada Iberoamericana de matemticas Las fascinantes biografas de los matemticos iberoamericanos Francisco Bellot Rosado Ha sido para mi un gran placer haber colaborado en la preparacin y coordinacin de la Prueba por equipos de la XIX Olimpiada Iberoamericana de Matemticas, junto con el Prof. Antoni Gil Trilles, a quien le deseo agradecer muy sinceramente su inestimable ayuda. En la reunin preparatoria del mes de junio, en la que tambin particip nuestro querido colega el Prof. Antonio Corchero, se decidi que la Prueba consistira en proponer a los alumnos una situacin matemtica abierta, a partir de la cual los participantes deban descubrir resultados y plantear y resolver problemas relacionados con la misma. Las situaciones propuestas en los dos niveles (uno para los alumnos iberoamericanos y medallas de plata y bronce en la XL O.M.E. , y otro distinto para los estudiantes de Castelln) se encuentran en otro lugar de este nmero de la Revista. Posteriormente se publicarn algunas de las soluciones ganadoras. El "alma mater" de esta Olimpiada, Prof. Jos Vicente Aymerich, sugiri que los equipos, adems de un nmero, llevasen el nombre de algn matemtico destacado. De inmediato pens que los nombres deban elegirse entre los de la comunidad matemtica iberoamericana, y durante el verano de este ao me dediqu a una bsqueda fascinante: la de las biografas de matemticos espaoles, portugueses y americanos. La OEI, por su parte, acogi con mucho entusiasmo la idea, con el fin de preparar un CD con los resmenes biogrficos. Aunque por ciertos imponderables no ha sido posible repartirlo a los participantes, tal vez sea posible hacerlo en alguna prxima ocasin. Portugal, de forma inmediata, y ms tarde Mxico y Costa Rica, respondieron a mi peticin va e-mail y remitieron biografas de dos matemticos cada uno, tal y como yo les haba pedido. Tal vez el correo electrnico no sea tan fiable como parece, porque lo cierto es que no recib ms biografas. Cuando lleg el mes de agosto, emprend la bsqueda en Internet, una vez agotadas las visitas a mi Biblioteca. Era claro que necesitbamos disponer del mayor nmero posible de biografas, ya que el nmero de equipos era, en aquel momento, desconocido (finalmente fueron 29; 21 de los participantes en la Olimpiada, 4 de olmpicos espaoles y otros 4 de olmpicos de Castelln). Dos semanas antes de la Olimpiada haba conseguido cerca del medio centenar de biografas, una cantidad suficiente para nuestros propsitos. De una manera aleatoria, los Jefes de Delegacin repartieron a los estudiantes en los 21 equipos, y Toni Gil hizo otro tanto con los dems participantes. Los nombre se asignaron tambin de manera aleatoria, y cada carpeta con los enunciados llevaba una etiqueta con el nombre del matemtico elegido. La distribucin de nombres por equipos fue la siguiente: Equipo 1: Alberto P. Caldern (Argentina) Equipo 2: Andrs Zavrotsky (Venezuela) Equipo 3: Antonio A. Monteiro (Portugal) Equipo 4: Carlos Grandjot Reins (Chile) Equipo 5: Emiliano Aparicio Bernardo (Espaa-URSS) Equipo 6: Enzo R. Gentile (Argentina) Equipo 7: Esteban Terradas Illa (Espaa) Equipo 8: Ferrn Sunyer Balaguer (Espaa) Equipo 9: Francisco Vera Fernndez de Crdoba (Espaa) Equipo 10: Godofredo Garca (Per) Equipo 11: Jairo Charris Castaeda (Colombia) Equipo 12: Jorge Juan y Santacilia (Espaa) Equipo 13: Jos Echegaray Eizaguirre (Espaa) Equipo 14: Jos Gallego Daz (Espaa) Equipo 15: Jos Luis Massera (Uruguay) Equipo 16: Jos Morgado (Portugal) Equipo 17: Juan Jacobo Durn Loriga (Espaa) Equipo 18: Julio Garavito Armero (Colombia) Equipo 19: Julio Rey Pastor (Espaa- Argentina) Equipo 20: Lelio Gama (Brasil)

file://Z:\oei\campusoei\oim\revistaoim\articequip15.htm

07/10/2004

Las fascinantes biografas de los matemticos iberoamericanos

Equipo 21: Leonardo Torres Quevedo (Espaa) Equipo 22: Leopoldo Nachbin (Brasil) Equipo 23: Luis A. Santal (Espaa-Argentina) Equipo 24: Luis Octavio de Toledo y Zulueta (Espaa) Equipo 25: Manuel Amoroso Costa (Brasil) Equipo 26: Manuel Balanzat (Espaa- Argentina) Equipo 27: Miguel de Guzmn Ozmiz (Espaa) Equipo 28: Otto de Greiff Haeusler (Mxico) Equipo 29: Pedro Abellanas Cebollero (Espaa)

Pgina 2 de 2

Entre los biografiados que no tuvieron equipo estn Pedro Nunes, Pedro Puig Adam, Raimundo Chela, Ramn Picarte, Ricardo Ma Ramrez, Sotero Prieto Rodrguez, Zoel Garca de Galdeano y Yanguas y otros muchos. El material trabajado con motivo de este proyecto ser utilizado convenientemente en nuestra Revista. Por mi parte quiero reiterar que encontrar estas biografas ha sido realmente gratificante y estoy dispuesto a completar el trabajo con todas las aportaciones que nuestros amigos de ambos lados del Atlntico puedan hacer.

| Nmero 15| | Principal Olimpiada | Programacin OEI | Principal OEI | Contactar

file://Z:\oei\campusoei\oim\revistaoim\articequip15.htm

07/10/2004

Revista Escolar de la Olimpada Iberoamericana de Matemtica http://www.campus-oei.org/oim/revistaoim/

Edita: