Revista Escolar de la Olimpada Iberoamericana de Matemtica Nmero 13 (Mayo - Junio 2003)

ISSN 1698-277X ndice Artculos, Notas y Lecciones de preparacin olmpica Juan Carlos Salazar (Puerto Ordaz, Venezuela): Algunos teoremas y sus demostraciones. Problemas para alumnos de Educacin Media y de Olimpiadas Problemas propuestos en la Fase Nacional de la XL Olimpiada matemtica Espaola (Ciudad Real, marzo de 2004) Problemas para los ms jvenes Problemas propuestos en la XII Olimpiada Provincial de Matemticas (Valladolid, 21 de abril de 2004) para alumnos de 12-13 y 14-15 aos de edad. Agradecemos a la Prof. Inmaculada Fernndez, Presidenta provincial de la Sociedad Castellano-Leonesa del Profesorado de Matemticas, por habernos proporcionado los enunciados. Problemas resueltos Solucin del problema n 16, por Andrs Daz (La Habana, Cuba) Solucin del problema n 29, por Andrs Daz (La Habana, Cuba) Solucin del problema n 48, por Oscar Ferreira (Valencia, Espaa) Solucin del problema n 56, por Andrs Snchez, (La Habana, Cuba. Otra solucin publicada pertenece a Daniel Lasaosa, ex-olmpico espaol. Solucin del problema n 57, por Floro Damin Aranda (Crdoba, Espaa). Recibida otra solucin de Andrs Snchez, La Habana, Cuba. Otra solucin publicada pertenece a Daniel Lasaosa, ex-olmpico espaol. Presentamos tres soluciones del problema n 58: una de Floro Damin Aranda (Crdoba, Espaa) y otra de Andrs Snchez (La Habana, Cuba). La otra solucin publicada pertenece a Daniel Lasaosa, ex-olmpico espaol. Solucin del problema n 59, por Jos Luis Daz Barrero (Barcelona, Espaa). Recibidas, adems, soluciones de : Roberto Bosch (La Habana, Cuba); Floro

Damin Aranda (Crdoba, Espaa); Oscar Ferreira (Valencia, Espaa). Otra solucin publicada pertenece a Daniel Lasaosa, ex-olmpico espaol. Solucin del problema n 60, por Andrs Snchez (La Habana, Cuba). Recibidas, adems, soluciones de Floro Damin Aranda (Crdoba, Espaa) y Oscar Ferreira (Valencia, Espaa). Otra solucin publicada pertenece a Daniel Lasaosa, ex-olmpico espaol. Problemas propuestos En este apartado se invita a los lectores a resolver cinco problemas y enviarnos sus soluciones. Las ms originales sern publicadas. Divertimentos matemticos Mtodos matemticos para cazar leones (recopilacin de F. Bellot) Reseas web La pgina de la Mathematical Association of America (MAA) Editor: Francisco Bellot Rosado

Algunos Teoremas y sus Demostraciones

Juan Carlos Salazar Introduccin En este trabajo se incluyen cuatro interesantes teoremas con sus demostraciones: Teorema de Fuss, Teorema de Gergonne-Anne, Teorema Japons y tambin un teorema sobre las reas de tringulos tangenciales, con el enunciado del Teorema de Euler para reas 1. Espero que gracias a esta oportunidad que me brinda el Prof. Francisco Bellot, de presentarles este pequeo trabajo, el mismo sirva de aliciente para que nuestros estudiantes tomen inters en cultivar esta maravillosa rama de las matemticas: la geometra. Teorema de Fuss: Sea ABCD un cuadriltero bicntrico de inradio r, circunradio R y distancia d entre incentro (I) y cicuncentro (O). Demostrar que:
1 r
2

1 (R + d)
2

1 (R d) 2

(Ver Fig.1)

Las demostraciones de los teoremas que aqu les presentamos, posiblemente sean inditas para ustedes, aunque fueron desarrolladas durante el perodo 1974-77 en el cual imparta clases en la Academia Pre-Universitaria Csar Vallejo de Lima, Per.

Demostracin: Ver Fig. 2.

Sabemos que A + C = 180 luego + = 90. Si J y K son puntos de tangencia del incrculo con los lados AB y BC respectivamente. Luego los tringulos rectngulos AJI y KIC son semejantes con cateto comn r (IJ = IK), uniendo los dos tringulos, formamos la siguiente figura:

En el nuevo tringulo rectngulo AIC por propiedad geomtrica: 1 1 1 = 2 + 2 ................. (1) 2 r AI CI Prolongando AI y CI que cortan en F y E al circuncrculo respectivamente, entonces EF es dimetro debido a que, en sentido contrario a las agujas del reloj, tenemos: arco FE = arco FD + arco DE = 2 +2 = 2( +)= 180. . En el tringulo EIF aplicamos el teorema de Apolonio (teorema de la Mediana): EF2 IE 2 + IF2 = 2.OI 2 + = 2(R 2 + d 2 ) ..........(2) 2 La potencia del punto I respecto al crculo de centro O: AI.IF = CI.IE = R 2 IO 2 = R 2 d 2 1 1 (IE 2 + IF2 ) Luego: ................. (3) + = AI 2 CI 2 (R 2 d 2 ) 2 Finalmente, combinando (1), (2) y (3):
1 r
2

1 (R + d)
2

1 (R d) 2

QED.

Comentario: Son conocidos otros mtodos de demostracin para este teorema, tales como por ejemplo, el que utiliza el concepto de lugar geomtrico [1], otro que usa el concepto del porisma de Poncelet [2] y tambin el que usa el mtodo de inversin [3], adems de otros mtodos analticos [4]. Esta demostracin que les he mostrado, me tom casi tres meses obtenerla, con las herramientas propias de la poca: un buen comps, una regla y un transportador, en nada parecido a cualquiera de los programas (software dinmico) que se usan hoy en da para el estudio de la geometra: Cabri II, Sketchpad, Wingeom, Cinderella, Euclidraw, etc., por mencionar algunos. Aqu tenemos: un mtodo simple, elegante, mtrico y nuevo, que solo utiliza las herramientas de la geometra clsica euclidiana, as me lo han sealado recientemente varias personas versadas sobre este tema [5, 6, 7, 8], a quienes agradezco sus comentarios. Teorema de Gergonne-Anne: Sean ABC y A1B1C1 dos tringulos con lados paralelos, uno dentro del otro, donde DEF es un triangulo inscrito y circunscrito a cada uno de ellos. Demostrar que: [DEF] 2 = [ABC]. [A1B1C1], donde: [XYZ] = Area de XYZ. Nota: Tambin es equivalente enunciar que [DEF] es la media geomtrica entre [ABC] y [A1B1C1]. Demostracin: Ver Fig. 4

Si los lados del tringulo ABC y A1B1 B1 son paralelos, entonces AA1, BB1 y CC1 concurren en un punto O, debido a que los tringulos son homotticos. 3

Por la homotecia de centro O para ABC y A1B1 B1: OA1 OB1 OC1 A1B1 B1C1 A1C1 = = = = = =k OA OB OC AB BC AC Trazamos OJ ortogonal a BC, entonces: 1 [OB1DC1 ] = B1C1.OJ 2 Luego: 1 [OBC] = 2 BC.OJ = BC = 1 [ OB1DC1 ] 1 B C .OJ B1C1 k 1 1 2 Tambin: [OAB] = [OBC] = [OAC] = 1 [ OA1FB1 ] [ OB1DC1 ] [ OC1EA1 ] k Por la propiedad de proporciones: [OAB] + [OBC] + [OAC]

[ ABC] = 1 [ OA1FB1 ] + [ OB1DC1 ] + [ OC1EA1 ] [ DEF] k

=

Por lo tanto: 2 [ ABC] = 1 . (I) 2 2 [ DEF] k Por la homotecia: [ A1B1C1 ] = k 2 (II) [ ABC] De (I) y (II): 2 [ DEF] = [ ABC].[ A1B1C1 ] Corolario 1: El rea de un tringulo es la media geomtrica entre las reas de su tringulo tangencial interno y su tringulo excentral. (Teorema de Weill). Corolario 2: El rea de un cuadriltero bicntrico es la media geomtrica entre las reas de su cuadriltero tangencial interno y su cuadriltero excentral. Comentario: Son conocidas otras maneras de demostrar este teorema [3], pp765-766, adems es interesante sealar que con el mtodo aqu descrito, nosotros podemos fcilmente encontrar una generalizacin de este teorema para el polgono de n lados. 4

QED.

Teorema Japons: Sea el cuadriltero ABCD inscrito en un crculo de centro O, con ra, rb, rc y rd como radios de los crculos inscritos en los tringulos ABD, ABC, BCD y ADC respectivamente. Demostrar que: ra + rc = rb + rd. Demostracin: Ver Fig. 5

Utilizaremos dos propiedades geomtricas que se cumplen para todo cuadriltero inscrito y que se mencionan a continuacin: Si denominamos a Ia, Ib, Ic e Id incentros de los tringulos ABD, ABC, BCD y ADC respectivamente y adems los puntos de tangencia S y T de los incirculos con centros Ib e Id en la diagonal AC respectivamente y de manera similar los puntos de tangencia P y Q de los crculos con centros Ia e Ic en la diagonal BD, se cumple: a) IaIbIcId es un rectngulo, b) los segmentos PQ y ST son congruentes. Tenemos un rectngulo IaIbIcId cuyas diagonales son congruentes y tambin los segmentos formados por los puntos de tangencia PQ = ST. Construimos los tringulos rectngulos IaEIc e IbFId con: IcE = PQ = ST = IbF. Ambos tringulos rectngulos tienen hipotenusas congruentes: IaIc = IbId (diagonales del rectngulo IaIbIcId), Tambin tienen como catetos: IcE = IbF, IaE = ra + rc e IdF = rb + rd. Como dichos tringulos rectngulos tienen una hipotenusa y un cateto congruentes, entonces ambos tringulos son congruentes. Por lo tanto: IaE = IdF, luego: ra + rc = rb + rd QED. 5

Comentario: Tambin se conocen otras formas de demostracin, por ejemplo podemos indicar una reciente en la que se recurre al teorema de Thebault [9], otra en la que se utiliza el teorema de Carnot [10]. Obviando los mtodos que usan trigonometra y los mtodos analticos. Teorema: Sobre las Areas de Tringulos Tangenciales de un Tringulo. Si tenemos un tringulo ABC, con incrculo I, y excrculos I1, I2, I3, y denominamos al triangulo tangencial interno que tiene como vrtices a los puntos de tangencia del incrculo con sus lados cuya rea es S0, cada tringulo tangencial externo tiene como vrtices a los puntos de tangencia del excrculo respectivo con un lado y las prolongaciones de los lados adyacentes, cuyas reas son S1, S2 y S3, correspondientes a los excrculos I1, I2 e I3 respectivamente. 1 1 1 1 Ver Fig. 6. Demostrar que: = + + S0 S1 S2 S3

Demostracin: Ver Fig. 6 Considerando que las reas de dos tringulos con ngulos suplementarios son proporcionales a los productos de los lados que conforman dichos ngulos, como < A0IB0 + < C = 180, tenemos: [ IA 0 B0 ] = IA0 .IB0 = r 2 [ ABC] BC.AC a.b De forma similar: [ IB0C0 ] = IB0 .IC0 = r 2 [ ABC] AC.AB b.c

[ IA 0C0 ] = IA0 .IC0 = r 2 [ ABC] BC.AB a.c

Entonces: [ IA0 B0 ] + [ IB0 C0 ] + [ IA0 C0 ]

r2 r2 r2 r2 (a + b + c) + + = a.b b.c a.c abc [ ABC] abc r(a + b + c) donde R = circunradio, r = inradio y Tomando en cuenta que: S = [ ABC] = = 4R 2 = S0 = [A0B0C0] = [IA0B0] + [IB0C0] + [IA0C0] Entonces: S0 r ........(1) = S 2R Tomando el excrculo I1, < A1I1C1 + < B = 180, tenemos: [ I1A1C1 ] = I1A1 .I1C1 = r12 [ ABC] BC.AC a.b Similarmente: [ I1A1B1 ] = I1A1 .I1B1 = r12 [ ABC] BC.AB a.c

[ I1B1C1 ] = I1B1 .I1C1 [ ABC] AC.AB

r12 b.c

Tambin: [ I1A1C1 ] + [ I1A1B1 ] [ I1B1C1 ]

[ ABC]

r12 r12 r12 r2 + = 1 (a + b c) a.b a.c b.c abc abc r1 (a + b c) donde: r1 = radio del excrculo I1 y = 4R 2

Tomando en cuenta que: S = [ ABC] =

S1= [A1B1C1] = [I1A1C1] + [I1A1B1] - [I1B1C1] Entonces: S1 r = 1 ........(2) S 2R 7

De forma similar, para los tringulos tangenciales de los otros excrculos: S2 r = 2 ........ (3) S 2R S3 r = 3 ........ (4) S 2R A partir de (1), (2), (3) y (4): S S S 2R 2R 2R 1 1 1 2R S + + = + + = 2R( + + ) = = S1 S2 S3 r1 r2 r3 r1 r2 r3 r S0 Finalmente: 1 1 1 1 = + + S0 S1 S2 S3 Comentario: Este teorema tambin se puede demostrar con otros mtodos [11], he conocido una demostracin con el uso del teorema de Gergonne-Anne [8]. Tambin se cumple: S0 = [A0B0C0] = [A1B2C3]. Las relaciones obtenidas mediante este mtodo se pueden obtener tambin aplicando el teorema de Euler [12] que establece una relacin entre las reas de un tringulo pedal correspondiente a un punto en un tringulo, que a continuacin enunciamos, su demostracin la dejamos como ejercicio para el estudiante. Teorema de Euler: Sea el tringulo ABC, con P un punto interior desde el cual trazamos las perpendiculares PA1, PB1, PC1 sobre los lados BC, CA, AB. (R 2 OP 2 ) Demostrar que: [ A1 B1C1 ] = [ ABC] 4R 2 Donde: O es circuncentro de ABC y R = circunradio de ABC. Nota: Si el punto P es exterior el factor (R2 - OP2) cambia a (OP2 - R2). Referencias:
[1] 100 Great Problems of Elementary Mathematics, 39 , pp. 188-193, H. Drrie, Dover, 1965. [2] Vielecke, die einen Umkreis un einen Inkreis besitzen, pp. 69-74, Arnulf Reuschel, Praxis der Mathematik 21, 1979. [3] Exercises de Gomtrie, F.G.-M., pp.837-839, 6th Edition 1920, J. Gabay reprint, Paris, 1991. [4] http://mathworld.wolfram.com/PonceletsPorism.html [5] Ricardo Barroso C., Universidad de Sevilla, Espaa, mensaje personal. [6] Francisco Bellot Rosado, entrenador IMO Espaa, mensaje personal. [7] Nikolaos Dergiades, miembro de Hyacinthos, mensaje personal. [8] Darij Grinberg, miembro de Hyacinthos, mensaje personal. [9] An Application of Thebaults theorem, FG2002, Wilfred Reyes, http://forumgeom.fau.com [10]Geometry Step by Step, Website de Antonio Gutierrez, http://www.agutie.homestead.com [11]On the Areas of the Intouch and Extouch Triangles, FG2004, J.C. Salazar, http://forumgeom.fau.com [12]Problemas de Geometra-Planimetra, I. Shariguin, pp.112, Editorial MIR, 1989.
Juan Carlos Salazar caisersal@yahoo.com

QED.

PROBLEMAS DE NIVEL MEDIO Y DE OLIMPIADAS (13) PROBLEMAS PROPUESTOS EN LA FASE NACIONAL DE LA XL OLIMPIADA MATEMTICA ESPAOLA Ciudad Real, marzo de 2004 Primer da (26 de marzo) Problema 1 Tenemos un conjunto de 221 nmeros reales cuya suma es 110721. Los disponemos formando una tabla rectangular de modo que todas las filas, y la primera y ltima columnas, son progresiones aritmticas de ms de un elemento. Probar que la suma de los elementos de las cuatro esquinas vale 2004. Problema 2 ABCD es un cuadriltero cualquiera, P y Q los puntos medios de las diagonales BD y AC, respectivamente. Las paralelas por P y Q a la otra diagonal se cortan en O. Si unimos O con los cuatro puntos medios de los lados (X  AB, Y  BC, Z  CD, T  DA se forman cuatro cuadrilteros OXBY, OYCZ, OZDT, OTAX. Demostrar que los cuatro cuadrilteros tienen la misma rea. Problema 3 Se representa por Z el conjunto de todos los enteros. Hallar todas las funciones f : Z L Z, tales que para cualesquiera x, y enteros se verifica fx fy f x  y.

Segundo da (27 de marzo) Problema 4 Existe alguna potencia de 2, que al escribirla en el sistema decimal tenga todos sus dgitos distintos de cero y sea posible reordenar los mismos para formar con ellos otra potencia de 2? Justificar la respuesta. Problema 5 Demostrar que la condicin necesaria y suficiente para que, en el tringulo ABC, la mediana desde B sea dividida en tres partes iguales por la circunferencia inscrita en el tringulo, es a 5 b 10 c . 13

Problema 6 Colocamos, formando una circunferencia, 2004 fichas bicolores: blancas por una cara y negras por la otra. Un movimiento consiste en elegir una ficha con la cara negra hacia arriba, y dar la vuelta a tres fichas: la elegida, la de su derecha y la de su izquierda. Supongamos que inicialmente hay una sola ficha con la cara negra hacia arriba. Ser posible, repitiendo el movimiento descrito, conseguir que todas las fichas tengan la cara blanca hacia arriba? Y si tuviramos 2003 fichas, entre las cuales exactamente una tiene al comienzo la cara negra hacia arriba?

PROBLEMAS PARA LOS MS JVENES (13) Presentamos los problemas propuestos en la Fase preliminar provincial de Valladolid de la XII Olimpiada Matemtica 2004 para alumnos de 2 de E.S.O.(12-13 aos de edad) y 4 de E.S.O. (14-15 aos de edad). 2 de E.S.O. Problema 1 En las calculadoras, relojes digitales, paneles informativos, etc...las cifras de los nmeros estn formadas por pequeos palotes (segmentos) colocados horizontal y verticalmente. Asi, por ejemplo, 90 se dibuja con doce palotes. Cules son el menor y el mayor nmero que se pueden escribir con doce palotes? Problema 2 Una ventana est formada por cuatro rectngulos iguales, colocados tres de ellos verticalmente y el cuarto horizontalmente encima de los verticales. Si el marco exterior de la ventana mide 112 cm, Cul es el rea de la ventana? Problema 3 Cuatro circunferencias iguales (del mismo radio) tienen un nico punto comn, O. De este punto salen cuatro ciclistas, recorriendo cada uno de ellos una circunferencia distinta, a velocidades respectivas de 6, 9, 12 y 15 km/h. Cuntas vueltas habr dado cada uno de los ciclistas la primera vez que se vuelvan a encontrar en el punto O? Problema 4 Un nmero de seis cifras es de la forma abcabc. Qu resultado se obtiene al dividirlo sucesivamente entre 7, 11 y 13? 4 de E.S.O. Problema 1 En las calculadoras, relojes digitales, paneles informativos, etc...las cifras de los nmeros estn formadas por pequeos palotes (segmentos) colocados horizontal y verticalmente. Asi, por ejemplo, 90 se dibuja con doce palotes. Escribe todos los nmeros de tres cifras que pueden escribirse con doce palotes. Problema 2 En una antigua crnica de la Universidad de Parma puede leerse el siguiente texto: Hace dos aos, el nmero de alumnos inscritos era un cuadrado perfecto. El ao pasado, el nmero aument 100 unidades, obtenindose un cuadrado perfecto aumentado en una unidad. Este ao, creciendo 100 unidades, se ha conseguido otra vez un nmero de alumnos que tambin es un cuadrado perfecto. Determina el nmero de alumnos inscritos en la Universidad de Parma el ao que se escribi la crnica. Problema 3 Pablo y Marta lanzan dardos sobre una diana. Cada uno va sumando las puntuaciones obtenidas en cada lanzamiento: 4 puntos si el dardo se clava en la parte exterior y 11 si lo hace en la interior. Gana una partida el primero que obtiene una puntuacin predeterminada. Los jugadores se dan cuenta de que no es posible obtener cualquier puntuacin, pero sis e fija un nmero suficientemente grande, siempre es posible su obtencin. Explica por qu ocurre sto y a partir de qu nmero es posible obtener cualquier puntuacin fijada. Problema 4 Un hexgono regular tiene lado 1 cm. Haciendo centro en cada vrtice, y con un radio igual al lado del hexgono, se trazan seis arcos de circunferencia, formndose as una roseta de seis ptalos cuya rea se pide.

Problema 16 (Propuesto por Laurentiu Modan, Bucarest, Rumania) i) Describir por extensin (es decir, enumerando todos sus elementos) el n conjunto A = n * n 2001 ii) Cuntas funciones f :B B hay, siendo B el conjunto 2001 n B = n ? n 2001 Solucin de Andrs Snchez Prez, La Habana, Cuba. Inciso i: n 0 n 0 , n > 2001 pero como n * n > 2001. n 2001 n 2001n n 2001n (n 2001) n 20012001 entonces,

Inciso i i: n 2001 0 n 0 , n > 2001 pero como n n > 2001, n = 0 . n 2001 n 2001 n 2001 n 2001n 2001 n 2000 (n 2001) n 20012001n 2000 , supongamos ahora por induccin que n 2001n 2001 n 20012001k n 2001 k y esto se cumple hasta cierto k . n 20012001k n 2001 k n 20012001k n 2001 k 2001k n 2001 k 1 ( n 2001) n 2001 2001k +1 n 2001 (k +1) Con lo que queda demostrado k 2001, entonces, haciendo k = 2001 tenemos que n 2001 20012001 . Como 20012001 = 3 2001 232001 29 2001 , quiere decir que tiene

n 2001 > 0 n 2001 { 1,3,23,29,69,87,667,2001} A = {2002,2004,2024,2030,2070,2088,2668,4002}

como

(2001+ 1) (2001 + 1) (2001+ 1) = 20023

3

divisores positivos. Entonces

B = 2002 + 1 (contando n = 0 ), luego, cada n i B puede tomar en cada funcin que construya, cualquiera de los 20023 + 1 valores disponibles en B , de donde se construirn un total de (20023 + 1) . La generalizacin de este resultado es trivial. nm 1 k Si B es el conjunto B = n , con h = p 1 K p la k n h
2002 3 +1

descomposicin cannica de h entonces existirn ( i m + 1) + i = 1 funciones f : B B .

k

i =1 1

( i m + 1 ) + 1

Problema 29: (Propuesto, sin solucin, en Norte de problemas, de Rey Pastor y Gallego Daz) Si 1 , 2 , K , n son las proyecciones de un segmento rectilneo de longitud l sobre los n lados de un polgono regular, demostrar que 1 2 1 +K+ 2 = nl 2 n 2 3 4 4 1 +K+ 4 nl n = 8 Solucin de Andrs Snchez Prez, La Habana, Cuba. Inscribamos una circunferencia al polgono regular:

A k +1 Mk Ak

O
M L

A1

M1

A2

Bk

Sea MN = l . M 1 y M k son las respectivas proyecciones de M sobre A 1 A 2 y A k A k +1 ( A n +1 = A 1 ). Por la propiedad del ngulo exterior a una circunferencia: A 1 B k A k +1 A 1 OA k +1 A 2 OA k = = 2 [n 2(k 1)] = n 2[n ( k + 1) + 1] 2 (k 2) n n 2

por ser M 1 y M k 2 las respectivas proyecciones de M sobre A 1 A 2 y A k A k +1 . Entonces, por suma de ngulos interiores de un cuadriltero: [n 2( k 1)] 2 (k 1) M 1 MM k = = , restndole , obtenemos que n n 2 (k 1) M k MN = , en consecuencia: n 2 (k 1) k = l sen n Supongamos que M 1 MN = . MM k B k = MM 1 B k =

Inciso a:

4( k 1) 1 cos 2 n 2( k 1) 2 2 2 2 k = l sen k = l n 2 Se trata de hallar ahora: 4(k 1) 1 cos 2 n n n 4(k 1) 1 2 1 2 n 2 2 = nl l cos 2 k = l 2 2 2 k =1 n k =1 k =1 2 Multipliquemos la sumatoria de cosenos por sen que ser distinto de 0 n pues n 3 , luego la dividimos y obtenemos el resultado. 2 n 4( k 1) n 2 4 (k 1) sen cos 2 = sen cos 2 n n n k =1 k =1 n
2

= = = =

1 n 2( 2k 1) 2(3 2k ) 2 + sen + 2 sen 2 k =1 n n 1 n 2( 2k 1) 2( 2k 3) 2 sen 2 sen 2 k =1 n n 1 2( 2n 1) 2 2 sen 2 sen 2 n n 1 2( 2n 1) 2 2 + sen + 2 sen 2 n n

2( n 1) = sen(2 ) cos 2 n =0 n 1 Finalmente 2 = nl 2 k 2 k =1 Inciso b:

2 2 2 (2n 1) 2( 2n 1) 2 + + 2 2 2 1 n n n n = 2sen cos 2 2 2

4( k 1) 4 (k 1) 1 2 cos 2 + cos 2 n n 4 = l4 k 4 8( k 1) cos 4 + 1 4( k 1) n 1 2 cos 2 + n 2 = l4 4

2

 4(k 1) 8(k 1) 2 4 cos 2 + cos 4 + 1 n n = l4 8 4 (k 1) 8 (k 1) 3 4 cos 2 + cos 4 n n = l4 8 Se trata de hallar ahora: 4( k 1) 8( k 1) 3 4 cos 2 + cos 4 n n n n 4 4 k = l 8 k =1 k =1 3 1 n 4 (k 1) 1 n 8( k 1) = nl 4 l 4 cos 2 + l 4 cos 4 8 2 k =1 n n 8 k =1 = 3 4 1 4 n 8 (k 1) nl + l cos 4 8 8 k =1 n
n k =1

pues del inciso anterior sabamos que

cos

Si n = 4 4 3 4 1 4 4 3 4 1 4 4 4 = l + l cos [ 2 ( k 1 ) 4 ] = l + l cos(4 ) k 2 8 k =1 2 8 k =1 k =1 3 1 = l 4 + l 4 cos( 4 ) 2 2 4 Si n 4 sen 0 , con n 3 . n 4 Multipliquemos la sumatoria de cosenos por sen que ser distinto de 0 n pues n 3 y n 4 , luego la dividimos y obtenemos el resultado. 4 n 8( k 1) n 4 8 (k 1) sen cos 4 = sen cos 4 n n n k =1 k =1 n 1 n 4( 2k 1) 4(3 2k ) = sen 4 + sen + 4 2 k =1 n n = = = 1 n 4( 2k 1) 4( 2k 3) 4 sen 4 sen 2 k =1 n n 1 4( 2n 1) 4 4 sen 4 sen 2 n n 1 4( 2n 1) 4 4 + sen + 4 sen 2 n n

4 (k 1) 2 = 0 . n

 4( n 1) = sen(4 ) cos 4 n =0 n 3 Finalmente 4 = nl 4 k 8 k =1

4 4 4 (2n 1) 4( 2n 1) 4 + + 4 4 4 1 n n n n = 2sen cos 2 2 2

PROBLEMA N 48:
Resolve r la ecuacin diofntica: Solucin: La ecuacin la podemos escribir de la siguiente forma: x 2 (x + y ) + y2 (x + y) = z 2 x 3 + x 2 y + xy 2 + y 3 = z 2

( x + y ) (x 2 + y 2 ) = z 2
Esta ecuacin la podemos escribir como:

( x + y ) (x 2 + y 2 ) = 1 z z
Se distinguen los siguientes casos: Caso 1: x + y =1 x2 + y2 = z2 Este sistema de ecuaciones no tiene solucin en el campo de los nmeros naturales porque x + y = 1 Es decir, la suma de dos nmeros naturales jams puede darnos el valor 1. Caso 2: x 2 + y2 = 1 x + y = z2 Caso no vlido por las razones ya expuestas en Caso 1.

Caso 3: x+ y= z x2 + y2 = z Despejando la variable y en la 1 ecuacin y sustituyndola en la 2 , nos quedar: x 2 + (z x )2 = z x 2 + z 2 2 zx + x 2 = z

2 x 2 2 zx + z 2 z = 0 Utilizando como variable x resolvemos la ecuacin de 2 grado. 2z 4z 2 8 z 2 z 2z 2 z 2 2 z 2 z x= = 4 4 x= z z (2 z ) 2

Se observa fcilmente que los nicos valores naturales para z que nos dan una raz positiva son:
CASO 3.1:

z =1

Obtenemos: x1 = 1 , y = 0 x2 = 0 No hay soluciones vlidas en este caso.

CASO 3.2:

z=2 x = 1 , solucin doble y =1

Obtenemos:

Solucin nica:

x = y =1

z =2

Problema 56 , propuesto por J. L. Daz Barrero, Barcelona, Espaa. Los nmeros de Lucas son 1,3,4,7,11,18,29,47,76, K con L 1 = 1, L 2 = 3 y para todo n 2 L k = L k 2 + L k 1 . 1 1 1 1 1 Calcular la suma + + K 1 3 3 4 4 7 7 11 11 18 Solucin de Andrs Snchez Prez, La Habana, Cuba. 1 1 1 1 Queremos hallar + + K . Consideremos la sucesin de L1 L 2 L 2 L 3 L 3 L 4 L 4 L 5 Fibonacci, 1,1,2,3,5,8, K , F1 = 1, F2 = 1 y para todo n 3 Fn = Fn 2 + Fn 1 . Comprobemos por induccin que L k = Fk 1 + Fk +1 . Para k = 2 : 3 = 1 + 2 y k = 3 : 4 = 1 + 3 queda claro. A partir de ah: L k +1 = L k + L k 1 = (Fk 1 + Fk +1 ) + (Fk 2 + Fk ) = (Fk 1 + Fk 2 ) + (Fk + Fk +1 ) = Fk + Fk + 2 , quedando demostrado. Examinando los primeros valores, nos percatamos de que F 1 1 1 1 1 n +1 Sn = + + K + ( 1) = n , verifiqumoslo L1 L 2 L 2 L 3 L 3 L 4 L 4 L 5 L n L n +1 L n +1 tambin por induccin: 1 1 1 = = S1 = L1 L 2 1 3 3 S n +1 = S n + ( 1) =
n+2

F F L + ( 1) 1 1 n +2 = n + ( 1) = n n+2 L n +1 L n + 2 L n +1 L n +1 L n + 2 L n +1 L n + 2

n+2

Esto ltimo probmoslo tambin por induccin: F1 F4 F2 F3 = 3 2 = ( 1) , ahora, Fk +1 Fk + 4 Fk + 2 Fk +3 = (Fk Fk +3 Fk +1 Fk + 2 ) Fk +1 (Fk + 4 Fk + 2 ) Fk +3 (Fk + 2 Fk ) = 0
2

Fn Fn +3 Fn +1Fn + 2 = ( 1)

Fn (Fn +1 + Fn +3 ) + ( 1) = Fn +1 (Fn + Fn + 2 )
n n +1

Fn +1 n Fn L n + 2 + ( 1) = Fn +1 L n +1 L n+2

Fk +1 Fk +3 Fk +3 Fk +1 = 0 Con ello podemos asegurar que S n = Fn n . Apliquemos la recurrencia L n +1 para ambas sucesiones que tienen el mismo polinomio caracterstico p(x ) = x 2 x 1 (cumplen que Fn = Fn 2 + Fn 1 y L n = L n 2 + L n 1 ) cuyas races

1+ 5 1 5 y x2 = . Luego 2 2 n n 1+ 5 1 5 Fn = A 2 + B 2 , para n = 1 tenemos 2 = (A + B) + 5 (A B) y con n = 2 : 4 = 6(A + B) + 2 5 (A B) . Multiplicando la primera por 2 y restando son x 1 =

ambas llegamos a que B = A , sustituyendo en una de ellas A = Fn

(1 + 5 ) (1 5 ) =
n

1 , entonces 5

2n 5
n

.
n

1+ 5 1 5 + D L n = C 2 2 , para n = 1 tenemos 2 = (C + D ) + 5 (C D ) y con n = 2 : 12 = 6(C + D ) + 2 5 (C D ) . Multiplicando la primera por 2 y restando ambas llegamos a que C + D = 2 , sustituyendo en una de ellas concluimos que C = D = 1 , entonces L n

(1 + 5 ) + (1 5 ) =
n

(1 + 5 ) (1 5 )
n

2n

F 2n 5 Sn = n = L n +1 1 + 5 n +1 + 1 5 2 n +1

n +1

2 1+ 5 1 5 = n +1 5 1+ 5 + 1 5

) ( ) (
n

) )

n n +1

1 1+ 5 1 5 n 2 1+ 5 1+ 5 = n +1 n +1 5 1+ 5 + 1 5

) ( (1 + 5 )

) (
n n +1

1 1 1+ 2 = 5 1+ 5 1 1+ 1+

5 5 5 5

n +1

Observemos que

1 5 < 1 , ahora 1+ 5
n 1 5 1 1+ 5 = n +1 1 5 1+ 1+ 5 n 5 5 = n +1 5 5 n 5 5 = n +1 5 5

1 2 ( 1)i +1 = lim L i L i +1 n i =1 5 1+ 5 1 1 1+ 2 = lim lim n 5 1 + 5 n 1 1 + 1+

1 1 lim n 2 1+ = lim n 1 5 1 + 5 1 + lim n 1+

 1 1 ( ) lim lim n n 1 + 2 = lim 1 n 5 1 + 5 + ( 1 ) lim lim n n 1 +

n 5 5 2 1 0 5 5 = = n +1 10 5 1+ 5 1+ 0 5 5

Problema 56 Propuesto por J.L. Daz Barrero, Barcelona, Espaa. Los nmeros de Lucas son 1,3,4,7,11,18,29,47,76,..., con L1 =1, L2 =3, y para todo n2, Ln =Ln 1 +Ln 2 . Calcular la suma
1 1 1 1 1 + + ... . 1 3 3 4 4 7 7 11 11 18

Es conocida la sucesin de los nmeros de Fibonacci, definida por F1 =F2 =1, y para todo n2, Fn =Fn 1 +Fn 2 . Se demuestra primero el siguiente Lema: Los nmeros de Lucas y de Fibonacci satisfacen la siguiente relacin:
Ln+1Fn+1 Ln+ 2 Fn = ( 1) para todo n1.
n

Demostracin: El resultado es obvio para n=1, pues L2 F2 L3 F1 =34=1. Si se cumple para n=m, entonces para n=m+1 tenemos: Lm+ 2 Fm+ 2 Lm+3 Fm+1 = Lm+ 2 ( Fm +1 + Fm ) ( Lm + 2 + Lm+1 ) Fm+1 = Lm+ 2 Fm L m+1Fm+1 = ( 1) = ( 1)
m m +1

Luego el lema queda probado por induccin. La suma que se pide calcular, que llamaremos S, se puede expresar como:
1 1 1 1 ( 1) . S= + + ... = L1L2 L2 L3 L3 L4 L4 L5 i =1 Li Li +1 i +1

Se define ahora la suma parcial de los n primeros sumandos Sn , la cul se demostrar que cumple la siguiente relacin: Sn =
i =1 n

( 1)

i +1

Li Li+1

Fn . Ln+1

Obviamente, por ser L1 =F1 =1, S1 =1/(13). Si la anterior relacin se cumple para n=m, entonces para n=m+1 tenemos: Sm+1 =
i =1 m +1

( 1)

Li Li+1

= Sm

( 1) +

m+ 2

Lm +1 Lm+ 2

F L + ( 1) L F F = m m+ 2 = m +1 m+1 = m+1 . Lm+1 Lm+ 2 Lm+1Lm+ 2 Lm+ 2

m

Luego la expresin para Sn ha sido demostrada por induccin. Obviamente, S es el lmite cuando n tiende a infinito de Sn . Para hallar este lmite, se utilizar que los trminos generales de las sucesiones de Lucas y Fibonacci vienen dados por:

Ln = Ar 1 + Br2 ,
n n

Fn = Cr1 + Dr2 ,
n n

donde A, B, C y D son constantes a determinar, siendo r1 y r2 las races de la ecuacin:

x2 = x + 1 .

En efecto, se tiene que: Ln1 + Ln2 = Ar1n1 + Br 2n 1 + Ar 1n 2 + Br 2n 2 = Ar1n 2 (1 + r1 ) + Br2n 2 (1 + r2 ) = Ar1n + Br2n = Ln , y de forma similar para los Fn . Las condiciones iniciales se cumplen haciendo: 1+ 5 1 5 Ln = 2 + , 2 Por lo tanto, se tiene que:
n n
n n 5 1 + 5 1 5 . Fn = 2 5 2

5 1 + 5 1 5 5 2 2 F S = lim S n = lim n = lim n +1 n +1 n n L n n +1 1+ 5 1 5 + 2 2

n n

1 1 1+ 2 5 = lim 5 1 + 5 n 1 1 + 1+

= 5 5 . n +1 10 5 5 5 5
n

Problema 57, propuesto por J. B. Romero Mrquez, vila, Espaa. (Modificado por el editor) Estudiar las propiedades del tringulo especial en el que: ma ( ha2r) = r2 donde ma es la longitud de la mediana desde A, ha es la longitud de la altura desde A, y r es el radio del crculo inscrito. Solucin de F. Damin Aranda Ballesteros, profesor del IES Blas Infante de Crdoba (Espaa).
Utilizaremos las expresiones relativas a la mediana, altura relativa al vrtice A, ma , ha, y el radio r de la circunferencia inscrita en funcin de los lados del tringulo ABC, para poder desarrollar la condicin dada en el enunciado:

ma ( ha2r) = r o, equivalentemente:
2

ma

r2 (I) = h 2r a

Para ello, sea: ma2 = 1/4(2b2 + 2c2 a2) De la igualdad en las expresiones del rea del tringulo ABC.

1 [ABC] = .a.h a = p.r = p.(p a).(p b).(p c) , donde 2p= a+b+c, deducimos que: 2 2 h a = . p.(p a).(p b).(p c) a
r= p.(p a).(p b).(p c) . p

Por tanto, sustituyendo estos valores en la expresin (I) y, con un poco de clculo, obtenemos:

1 a 2 (p b)(p c) ; .(2b 2 + 2c2 a 2 ) = . 4 4 p.(p a)

(2b 2 + 2c2 a 2 ) =

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

Desarrollamos los productos anteriores e igualamos:

a 2 .(a b + c).(a + b c) (2b 2 + 2c 2 a 2 ).(a + b + c).(a + b + c) = 0; a 4 a 2 .(b c) 2 (a 2 (b + c) 2 ).(a 2 2(b 2 + c2 )) = 0

Simplificando trminos semejantes, llegamos a:

a 4 a 2 .(b c) 2 a 4 + a 2 .(b + c) 2 + 2.a 2 .(b 2 + c 2 ) 2.(b + c) 2 .(b 2 + c2 ) = 0

a 2 .[(b c) 2 + (b + c) 2 + 2.(b 2 + c 2 )] 2.(b + c) 2 .(b 2 + c 2 ) = 0

2.a 2 .(b + c) 2 2.(b + c) 2 .(b 2 + c 2 ) = 0 2.(b + c) 2 [a 2 (b 2 + c 2 )] = 0 .

Luego entonces:

a 2 = b2 + c2
Condicin esta ltima que revela que el tringulo ABC ha de ser rectngulo en A. Veamos ahora que esta condicin es tambin suficiente. Es decir, si el tringulo es rectngulo en A entonces se verifica la relacin dada, ma ( ha2r) = r2 Para ello, sea la siguiente situacin general de un tringulo rectngulo en A
A P N I

Segn este tringulo rectngulo en A, ABC, tenemos que: IM = IP = IN = AP = AN= pa = r AO= ma = a/2 AA= ha

A'

Como [ABC]= 1/2aha = pr, tenemos que ha = (2pr)/a . En definitiva, sustituyendo ma y ha por los valores encontrados: ma = a/2 ; ha = (2pr)/a vemos que, en efecto, se verifica la relacin dada: ma ( ha2r) = a/2[(2pr) /a 2r ] = a/2 [(2pr 2ra) /a ] = pr ra = (p a)r = rr = r2 ,

c.q.d.

Problema 57 Propuesto por J.B. Romero Mrquez, vila, Espaa. (Modificado por el editor) Estudiar las propiedades del tringulo especial en el que

ma ( ha 2r ) = r 2 ,
donde ma es la longitud de la mediana desde A, ha es la longitud de la altura desde A, y r es el radio del crculo inscrito.

Utilizaremos las siguientes (conocidas) relaciones, donde S es el rea del tringulo, y a, b, c las medidas de BC, CA, AB respectivamente:

16S 2 = ( a + b + c)( a + b c )( a b + c )( a + b + c ) ; aha = ( a + b + c ) r = 2 S ; 4 ma = 2b2 + 2c 2 a 2 .

2

Podemos entonces escribir:

ha = 2S a +b +c =r ; a a

r h a + b + c = a 2 = ; ma r a

ma r 2S = = ; a ( a + b + c ) ( a + b + c )( a + b + c )
2 4ma 16S 2 ( a + b c )(a b + c ) ; = = 2 2 2 a ( a + b + c ) ( a + b + c ) ( a + b + c )( a + b + c )

2 2 = 4ma 2 ( b + c ) 2 a2 = 2 ( b2 + c 2 ) a2 ( b + c ) 2 a 2 ; a2 a b c ( ) 2 2 2 2 2 2 2 a 4 a 2 (b c ) = a 4 a 2 ( b + c ) + 2 ( b + c ) + 2 ( b + c ) ( b + c ) ; 2 2 2 2 2 2 2 2 (b2 + c2 ) (b + c ) = a2 ( b + c ) + 2 ( b + c ) ( b c ) = 2a (b + c ) ;

b2 + c 2 = a2.

Luego por lo tanto el tringulo especial debe ser rectngulo en A.

Problema 58 Propuesto por J. B. Romero Mrquez, vila, Espaa.

Si p y q son nmeros reales positivos, demostrar que En qu condiciones se verifica la igualdad?

Solucin de F. Damin Aranda Ballesteros, profesor del IES Blas Infante de Crdoba, Espaa. a) Como p >0 entonces la desigualdad anterior la podemos expresar de la siguiente manera: p + 4q p ; 2q p + p 2 + 4q
2

1+ 4 1

q p2 1 q q 2 2 1+ 1+ 4 2 p p

Si llamamos a x =

q p
2

> 0 y f(x) =

1 + 4x 1 , entonces probaremos que: 2x 1 + 1 + 4x

1 f(x) =

1 + 4x 1 . 2x 1 + 1 + 4x 1 2x 1 + 1 + 4x + 2 1 + 4x 4x 1 + 4 x . 1 + 1 + 4x

Para ello, como f '(x) =

(I)

f '(x)=0 si y solo si

1 2x 1 + 1 + 4x = 2 1 + 4x 4x 1 + 4 x . 1 + 1 + 4x

Si elevamos al cuadrado ambas expresiones e igualamos, obtenemos: 1 1 + 1 + 4x 1 1 = ; = ; 3 4 3 3 8x .(1 + 4x) (1 + 4x). 1 + 1 + 4x 8x 1 + 1 + 4x

Es decir: 2x 1 = 1 + 4x Elevando de nuevo al cuadrado, obtenemos: 4x 2 4x + 1 = 1 + 4x; En definitiva: x.(x 2) = 0; Como x>0 entonces x=2. Comprobamos al sustituir en (I) que, en efecto, x=2 es solucin vlida para f '(x)=0. lim Como y=f(x) es continua para todo x>0 y adems se verifica que f(x) = + y x 0+ lim f(x) = 2 , resulta que x=2 es el m nimo absoluto de la funcin f(x). x + Luego: f(2) f(x); x > 0 Como quiera que f(2) = 1, se tiene que, en efecto, 1 f(x); x > 0 , c.q.d. q b) Se verifica la igualdad cuando nicamente x=2, es decir, si 2 = 2 . p

Problema 58 , propuesto por J. B. Romero Mrquez, vila, Espaa. Si p y q son nmeros reales positivos, demostrar que p 2 + 4q p 2q p + p 2 + 4q En qu condiciones se verifica la igualdad? Solucin de Andrs Snchez Prez, La Habana, Cuba. Consideremos el polinomio p(x ) = x 2 px q , observemos que sus races 1 p + p 2 + 4q (x1 ; x 2 ) son ambas reales, una positiva y la otra negativa: x1 = , 2 p p 2 + 4q x2 = . x2 < 0 pues p y q reales positivos 2 p 2 + 4q > p 2 p 2 + 4q > p 0 > p p 2 + 4q 0 > x 2 . Debemos demostrar que 1 p 2 + 4q p 1 2q p + p 2 + 4q 2x 1 ( x 2 ) x1 x 2 x1 + x 2 . Sea 2x 1

x1 = x1 = a , x 2 = x 2 = b , sustituyamos:
1 a+b 2ab a b , como p es positivo a b > 0 . 2a a b 2 b(a b ) b a 2 2ab 2b + + + 0 2 2 2 2 2 2

2ab + b(a b ) a + b

a b b + a 2b 0 2 Lo cual se verifica para cualquiera sean los valores positivos de a , b, a b . La igualdad se alcanza a b b = 0 y a 2b = 0 , o sea a = b 2 + b y a = 2b , de donde b 2 + b = 2b b(b 1) = 0 pero como b > 0 b = 1, a = 2 y x1 = 2, x 2 = 1 . Por Vietta, p(x ) = x 2 x 2 p = 1, q = 2 .

) (
2

Problema 58 Propuesto por J.B. Romero Mrquez, vila, Espaa. Si p y q son nmeros reales positivos, demostrar que 1 p 2 + 4q 2q p p+ p2 + 4 q .

En qu condiciones se verifica la igualdad? Realizamos primero la (relativamente astuta) sustitucin 2 =q/(2p2 ), donde sin prdida de generalidad tomamos como positivo. Se tiene entonces que: p + 4q 2q
2

p p+ p + 4q
2

1 + 8 1 = 2 4 1 + 1 + 8 2
2

1+ 8 2 2

1 + 8 2 1 2

Podemos hacer ahora la (un poco ms obvia) siguiente sustitucin: x= 1+ 8 2 1 ; 2

2x + 1 = 1+ 82 ;

2 = 2 x ( x + 1) .

Se tiene entonces finalmente que: p2 + 4q 2q p p+ p2 + 4 q = 2x +1 x 2 x ( x + 1) 4x + 2 2 x 3x +1

= 1+

x 2 x +1 = 1+ 1, 3x + 1 3x +1

x 1

donde se ha aplicado la desigualdad entre medias aritmtica y geomtrica a los nmeros 2x y x +1, adems de que, por definicin, x es positivo. La igualdad se da si y slo si x 1 = 0 , y simultneamente 2x =x +1, es decir, si y slo si x =1, y por lo tanto, si y slo si =1, o sea, si y slo si q=2p2 .

Jos e Luis D azBarrero Applied Mathematics III Universitat Polit` ecnica de Catalunya Jordi Girona 1-3, C2, 08034 Barcelona. Spain jose.luis.diaz@upc.es Problema 59 Propuesto por J. B. Romero M arquez, Avila, Espa na. Sea a > 0. Calcular
a1

lim

dx . (a + x)(1 + ax)

Soluci on por Jos e Luis D az-Barrero, Barcelona, Espa na. Descomponiendo el integrando en fracciones simples, resulta 1 1 = (a + x)(1 + ax) 1 a2 con lo que
a1

1 a a + x 1 + ax

lim

dx = lim a1 (a + x)(1 + ax) = lim = lim = lim = lim

a1

a1

a1

1 1 a dx 2 1a 0 a + x 1 + ax 1 a+x ln 1 a2 1 + ax 0 1 1 ln ln a 2 1a a 2 ln a (Aplicando LHopital) a2 1

1 =1 a1 a2

y hemos terminado.

Problema 59 Propuesto por J.B. Romero Mrquez, vila, Espaa. Sea a>0. Calcular
lim
a 1 0 +

dx . ( a + x )(1 + ax )

Se pide calcular:

lim I ( a ) ,
a 1

donde se ha definido
I (a ) =
+

dx 1 = ( a + x )(1 + ax ) 1 a 2

dx . x + a ax + 1
0

Ahora bien, tomando b>0, se tiene:

+ b b b dx a a adx 1 1 dx = lim dx = lim dx ; x + a ax + 1 b b x + a ax + 1 ax + 1 0 0 0 x + a 0
b

x + a dx = ln ( b + a ) ln ( a ) = ln
0 b

dx

b+a ; a

adx = ax + 1 0

ab

y + 1 = ln ( ab + 1) ln (1) = ln ( ab + 1) ;
0

dy

2 1 b+ a 1 1 b + a ln ( a ) . I (a ) = lim ln lim ln 2 = ln ( ab + 1) = 2 1 a2 1 1 a 2 b a a 1 a b b+ a

Por lo tanto, como haciendo el desarrollo de ln(a2 ) alrededor de a2 =1 se tiene:

ln ( a

) = (a

1)

(a

1) 2

(a +

1) 3

(a

1) 4

+ ... = ( a 1)
2 n= 0

(1 a )
n +1

2 n

n 1 a2 ( ) lim I ( a ) = lim 2 = lim 1 + a 1 a 1 a 1 a 1 n +1 n =1

ln ( a 2 )

=1 .

Problema 60 , propuesto en la Escuela Especial de Ingenieros de Montes, 1942 . Resolver en los nmeros enteros la ecuacin

xyz = xy + yz + zx

Solucin de Andrs Snchez Prez, La Habana, Cuba. Como tengo tres variables, al menos 2 tienen el mismo signo. Sean estas y, z yz 0 . Despejando x en xyz = xy + yz + zx x ( yz y z) = yz yz y+z x = , si yz y z 0 . x 1 = tambin es entero. yz y z yz ( y + z ) Entonces

signo y 2 y + 2z yz > 0 entonces ambas son positivas. Sea y z 1 sin prdida de generalidad. Supongamos primero que z 5 2z y(z 2) 3y 3z contradiccin! Luego 1 z 4. Si z = 1 xy = xy + y + z y = z Si

yz(2 y + 2z yz) 0 2 y + 2z yz si yz 0 . Como y, z tienen el mismo

y + z yz (y + z ) (y + z ) (yz ) 2 yz(y + z) + (y + z )
2 2 2

sustituimos cada valor, para y = 2 yz = y + z ; 2 3 24 2 6 x1 = = 6; x 2 = = 4; x 3 = =3 2 3 3 2 24 4 2 2 6 6 2 x4 =

z = 2 2 y y 2 y + 2 y 2 y + 2 y 2 y + 2 (y 2 ) y 2 4 y 2 { 4;2;1;0;1;2;4} y { 2;0;1;2;3;4;6} pero como y z = 2 , cuando

Si z = 3 2 y + 6 3y 6 y 3 y {3;4;5;6} probando todos los valores

33 3 4 3 5 3 6 = 3; x 5 = Z; x 6 = Z; x 7 = =2 33 3 3 3 4 4 3 35 5 3 36 6 3 4 4 Si z = 4 2 y + 8 4 y 4 y 4 . Cuando y = z = 4 x 8 = =2 44 4 4 Faltara analizar qu sucede, primero si z = 0 (lo asumimos como mnimo entre y , z ): 0 = xy y segundo si yz = y + z yz = 0 z = y = 0 . Finalmente las soluciones son (1; y;y ) con y Z , (6;3;2 ); (4;4;2 ); (3;3;3) y (0;0; y ) con y Z y todas sus
reordenaciones.

Problema 60 Propuesto en la Escuela Especial de Ingenieros de Montes, 1942. Resolver en los nmeros enteros la ecuacin

xyz = xy + yz + zx .

Supongamos que uno de los enteros (x sin prdida de generalidad) es nulo. Se tiene entonces que yz=0, es decir, no puede haber exactamente uno de los tres nmeros que sea nulo. Admitimos entonces las soluciones (0,0,), donde es un entero cualquiera, adems de todas sus permutaciones cclicas. Nos queda entonces por encontrar las soluciones donde ninguno de los tres enteros sea nulo. Los tres enteros no pueden ser negativos simultneamente, pues en caso contrario los miembros de la derecha y de la izquierda tendran signos opuestos. Supongamos que dos de los enteros (x e y sin prdida de generalidad) son negativos, y el tercero positivo. Se tiene entonces que:
0< z= xy xy = < 1. xy x y xy + x + y

Por lo tanto, si ninguno de los enteros es nulo, a lo sumo uno puede ser negativo. Sea entonces x negativo, e y, z positivos, asumiendo sin prdida de generalidad que y>z. Escribimos entonces:
x yz < yz (1 + x ) = ( z + y ) x ;
yz < z + y < 2 y .

Por lo tanto, z=1, con lo que x =y, y se tienen las soluciones (,,1) y todas sus permutaciones cclicas, donde es un entero cualquiera. Ntese que z=1 implica directamente x =y, con lo que si uno cualquiera de los enteros es igual a 1, entonces uno de los otros dos es negativo. Supongamos entonces que los tres enteros son positivos, siendo sin prdida de generalidad 1<x yz. Aplicando entonces la desigualdad entre el mnimo y la media armnica, se tiene: x 3 = 3, 1 1 1 + + x y z

dndose la igualdad si y solamente si x =y=z=3, que se puede comprobar que es una solucin de la ecuacin. Nos queda entonces probar nicamente el caso en el que x =2 con 2<yz positivos. En este caso, se tiene que:

yz = 2 ( y + z ) ;

z=

2y y; y2

4 y y2 ;

4 y.

Tenemos entonces los casos y=3, z=6, y y=z=4. Por lo tanto, (x ,y,z) es solucin si y solamente si es una permutacin cclica de una de las siguientes: (3,3,3), (2,3,6), (2,4,4), (,,1), (0,0,), donde puede tomar cualquier valor entero.

PROBLEMAS PROPUESTOS 61-65 (13) Problema 61, propuesto por el Prof. Laurentiu Modan, Univ. de Bucarest. Sea Sn Demostrar que : i) 4007 J S 2004 J 8015 . 4008 2004 ii)
nL


2n k 1

1 . k2

lim S n  2, 4 .

Problema 62, propuesto por el Prof. Jos Luis Daz Barrero, Univ. Politcnica de Catalua, Barcelona, Espaa. Calcular la integral
2004 2003
3

2004  x dx. 2004  x 3 x  2003

3

Problema 63, propuesto por el Prof. Jos Luis Daz Barrero, Univ. Politcnica de Catalua, Barcelona, Espaa. Calcular la suma


n k 0

arctan

2k k2 1

1 k 2 2k  1

Problema 64, propuesto por el Prof. Juan Bosco Romero Mrquez, vila, Espaa. El tringulo ABC es rectngulo en A, y sus lados verifican a b c. Sea A el punto medio de BC y H a el pie de la altura desde A. Si el tringulo AH a A 7 es issceles, determinar los ngulos B y C. Problema 65, propuesto por Juan Carlos Salazar, Puerto Ordaz (Venezuela). El cuadriltero ABCD es bicntrico (es decir, tiene crculo inscrito y circunscrito); el crculo inscrito tiene centro I y radio r; los crculos exinscritos correspondientes a los lados AB y CD tienen centros y radios I 1 , r 1 e I 2 , r 2 , respectivamente. Los puntos de tangencia del crculo inscrito con los lados AB, BC, CD y DA son, respectivamente, W, X, Y y Z. Los puntos de tangencia de los crculos exinscritos I 1 , r 1 e I 2 , r 2 con un lado del cuadriltero y la prolongacin de otros dos, determinan los tringulos tangenciales exteriores de reas S 1 y S 2 , respectivamente. Demostrar que i WXYZ ii donde representa el rea. S1 S2 S1


r2 r1
3/2

S2 ,

r1 , r2

r1 r2

DIVERTIMENTOS MATEMTICOS (13) ALGUNOS MTODOS MATEMTICOS PARA CAZAR LEONES En 1938, se public en la revista American Mathematical Monthly un memorable artculo, titulado A contribution to the mathematical theory of big game hunting, bajo el nombre de H. Ptard. La referencia completa es H. Ptard, A contribution to the mathematical theory of big game hunting, A.M.Monthly 45 (1938), pp.446-447. En este artculo se formulaba el problema en la forma siguiente : En el desierto del Sahara hay leones. Descrbanse mtodos para cazarlos, y se daban 10 soluciones matemticas y algunas otras fsicas. En 1995, la Mathematical Association of America, editora del Monthly, public en su coleccin Dolciani Mathematical Expositions, n 15, el libro dedicado a la memoria de Ralph P. Boas, Jr. Lion Hunting & other mathematical pursuits, con Gerald L.Alexanderson y Dale H. Mugler como editores (Boas haba muerto en 1992). De esta fuente tomamos los mtodos que ms adelante citaremos. H. Ptard es un matemtico apcrifo. Fue creado por Ralph P. Boas y Frank Smithies durante el curso acadmico 1937-38 en Princeton, donde ambos haban coincidido, Boas en la Universidad y Smithies en el Instituto de Estudios Avanzados. El artculo fue enviado al Monthly bajo el nombre de E. S. Pondiczery, un supuesto matemtico polaco que indicaba prefera se publicase bajo el seudnimo de H. Ptard. Una vez publicado, tuvo un enorme xito y gran difusin, y posteriormente se publicaron nuevos mtodos de varios otros autores. Parece que las primeras versiones de los mtodos matemticos para la caza mayor aparecieron de forma annima en la Universidad de Gttingen (Alemania). El artculo de H. Ptard comienza as : Esta disciplina matemtica poco conocida no ha recibido, en los ltimos aos, la atencin de la bibliografa que, creemos, se merece. En este artculo presentamos algunos algoritmos que, esperamos, puedan resultar interesantes a otros investigadores en este campo. Dejando aparte los mtodos ms obviamente triviales, limitaremos nuestra atencin a los que suponen aplicaciones significativas de ideas familiares a matemticos y fsicos. Mtodo 1 (de Hilbert, o axiomtico) Colocamos una jaula cerrada en un punto dado del desierto de Sahara. Introducimos el siguiente sistema lgico : AXIOMA 1: El conjunto de los leones del desierto de Sahara no es vaco. AXIOMA 2: Si hay un len en el desierto de Sahara, el len est en la jaula. REGLA DE PROCEDIMIENTO: Si p es un teorema, y p implica q es un teorema, entonces q es un teorema. TEOREMA 1: Hay un len en la jaula. Mtodo 2 (por inversin) Colocamos una jaula esfrica en el desierto, entramos en ella, y la cerramos. A continuacin, realizamos una inversin con respecto a la jaula. El len queda dentro de la jaula, y nosotros, fuera. Mtodo 3 (de Bolzano-Weierstrass) Bisecamos el desierto por una recta en la direccin Norte-Sur. El len estar en la porcin Este o en la porcin Oeste; supongamos que est en esta ltima. Bisecamos esta porcin por medio de una recta en la direccin Este-Oeste. El len estar en la porcin Norte o en la Sur; supongamos que est en la Norte. Continuamos el proceso indefinidamente, construyendo en cada etapa una verja suficientemente fuerte alrededor de cada porcin elegida. El dimetro de las porciones elegidas tiende a cero, y as el len quedar, finalmente, rodeado por una verja de permetro arbitrariamente pequeo.

Mtodo 4 (de Cauchy) Consideremos una funcin analtica f z cuyo rango de valores es el conjunto de los leones del Sahara. Sea  la jaula. Consideramos la integral 1 2 i
C

fz dz, z

donde C es la frontera del desierto. Su valor es f  , es decir, un len en la jaula. Por el teorema de Picard, podemos cazar todos los leones, excepto uno. Mtodo 5 (de Schrdinger) En un momento dado, existe una probabilidad positiva de que un len est en la jaula. Sintese y espere. Mtodo 6 (de Dirac) Observamos que los leones salvajes son, ipso facto, no observables en el desierto del Sahara. En consecuencia, si hay leones en el Sahara, estaran domesticados. La captura de un len domesticado se deja como ejercicio para el lector. Mtodo 7 (termodinmico) Construimos una membrana semi permeable, permeable a cualquier cosa excepto para los leones, y la pasamos por el desierto. Estos 7 mtodos estn tomados del artculo de Ptard. Damos otros varios, mencionando la procedencia exacta. Mtodo 8 (quirrgico) Un len puede ser considerado como una variedad tridimensional orientable con frontera no vaca. Es conocido que por medio de una sucesin de operaciones quirrgicas llamadas modificaciones esfricas el len se contrae (contractible, en ingls). Entonces puede ser llevado a firmar un contrato (contract) con Barnum y Bailey. (Otto Morphy, Amer. Math. Monthly 75,1968, pp.185-187) Mtodo 9 (Lgico) Un len es un continuo. Segn el teorema de Cohen, es indecidible (en particular cuendo tiene que elegir). Dos hombres se le aproximan simultneamente. El len, incapaz de decidir a qu hombre atacar, es capturado fcilmente. (Otto Morphy, Amer. Math. Monthly 75,1968, pp.185-187) Mtodo 10 (de Postnikov) Un len macho es bastante peludo, y puede considerarse formado por fibras. As, puede suponerse que el len es un espacio fibrado. Entonces podemos construir la descomposicin de Postnikov del len. Una vez hecho esto, estando descompuesto el len, estar muerto, y necesitado urgentemente de entierro.(Otto Morphy, Amer. Math. Monthly 75,1968, pp.185-187). Mtodo 11 (de Teora de Juegos)

Un len es un gran juego (juego de palabras intraducible; big game es caza mayor en ingls), as que, a fortiori, es un juego. Segn Von Neumann, existe una estrategia ptima para ese juego. Sgala. (Otto Morphy, Amer. Math. Monthly 75,1968, pp.185-187). Mtodo 12 (de Mittag-Leffler) El nmero de leones en el desierto del Sahara es finito, as que tal conjunto no tiene puntos de acumulacin. Utilice el teorema de Mittag-Leffler para construir una funcin meromorfa con un polo en cada len. Al ser un animal tropical, se congelar si se coloca en el polo, y entonces podr ser fcilmente capturado.(Patricia Dudley, G.T.Evans, K.D.Hansen, I.D. Richardson; American Mathematical Monthly, 75, 1968, pp. 896-897) Mtodo 13 (de la mecnica Analtica) Ya que el len tiene masa no nula, tiene momentos de inercia. Agrrelo durante uno de ellos. (Patricia Dudley, G.T.Evans, K.D.Hansen, I.D. Richardson; American Mathematical Monthly, 75, 1968, pp. 896-897) Mtodo 14 (de Eratstenes) Enumrense todos los objetos del desierto; examnense uno por uno y descrtense los que no sean leones. Un refinamiento permitir capturar slo los leones primos. (Incluido en una versin ms amplia del artculo de Ptard, publicado en la revista inglesa Eureka). Mtodo 15 (Induccin hacia atrs) Probaremos por induccin hacia atrs la proposicin L(n): Es posible capturar n leones. Esto es cierto para n suficientemente grande, porque los leones estarn empaquetados como sardinas en una lata y no se podrn escapar. Pero, trivialmente, L(n 1) implica L(n), porque, si hemos capturado n 1 leones, podemos soltar a uno de ellos. Luego L(1) es cierto. (John Barrington - seudnimo de Ian Stewart - 15 New ways to catch a lion, en Seven Years of Manifold, Ian Stewart y John Jaworski, eds. Cheshire, Shiva Publ. Ltd., 1981, pp.36-39) Mtodo 16 (de Bourbaki) La captura de un len en el desierto es un caso especial de un problema mucho ms general. Formule este problema y encuentre condiciones necesarias y suficientes para su solucin. La captura de un len es ahora un corolario trivial de la teora general, que ni siquiera tiene que ser enunciado explcitamente.(John Barrington - seudnimo de Ian Stewart - 15 New ways to catch a lion, en Seven Years of Manifold, Ian Stewart y John Jaworski, eds. Cheshire, Shiva Publ. Ltd., 1981, pp.36-39) Mtodo 17 (de las paralelas) Seleccione un punto en el desierto y ponga un len amaestrado que no pase por ese punto. Hay tres casos a considerar: a) la geometra es eucldea. Entonces hay un nico len paralelo que pasa por el punto seleccionado. Agrrelo cuando pase. b)la geometra es hiperblica. El mismo mtodo nos permite capturar un nmero infinito de leones.

c)la geometra es elptica. No hay leones paralelos, as que todo len encuentra a cualquier otro. Siga a un len amaestrado y capture todos los leones que se encuentran con l : de esta forma se podrn capturar todos los leones del desierto. (John Barrington - seudnimo de Ian Stewart - 15 New ways to catch a lion, en Seven Years of Manifold, Ian Stewart y John Jaworski, eds. Cheshire, Shiva Publ. Ltd., 1981, pp.36-39)

COMENTARIO DE PGINAS WEB (13) La pgina web de la Mathematical Association of America http://www.maa.org La MAA, como habitualmente se la conoce, es una de las organizaciones ms importantes del mundo en el campo matemtico. No en vano publica el American Mathematical Monthly, el Mathematics Magazine y el College Mathematics Journal, tres revistas de primer orden. Adems de esto, los libros que publica, algunos de los cuales se citarn ms adelante, son de lectura obligada para cualquier profesional de las matemticas que se precie de serlo. Una visita a su pgina web permitir comprobarlo. La pgina contiene, como secciones fijas, las siguientes: - Sobre la MAA - nase a MAA - Grupos especiales - Secciones - Programas - Estudiantes - Librera - Publicaciones - Servicios electrnicos - Reuniones Para acceder a la compra on-line es preciso ser miembro de la MAA, pero es posible descargar el formulario de pedido y enviarlo por fax. Algunos de los libros publicados por la MAA son los siguientes: - S.Greitzer, International Mathematical Olympiads 1959-1977 - M.Klamkin, International Mathematical Olympiads 1979-1985 - R.Honsberger, Episodes in Nineteenth and Twentieth Century Euclidean Geometry - I.Niven, Maxima and Minima without Calculus. La lista podra seguir...mi recomendacin es que se visite la pgina y se elija entre las muchas opciones que estn a disposicin de los cibernautas. Valladolid, abril de 2004. Francisco Bellot Rosado