Revista Escolar de la Olimpada Iberoamericana de Matemtica

Nmero 48 (marzo - junio 2013)

ISSN 1698-277X

NDICE Artculos, notas y lecciones de preparacin de Olimpiadas 48 Necrolgica: Prof. Angelo Barone Netto, por el Editor. F. Bellot Rosado: Aproximacin a los nmeros primos. E. Prez Almarales : La desigualdad de las medias aritmtica y geomtrica en problemas de Olimpiadas. Problemas para los ms jvenes 48 Cinco problemas de la Coppa Italo DIgnazio 2012, competicin por equipos creada por el Prof. Ercole Suppa y su esposa, en honor de la memoria del Prof. DIgnazio. Solucin al problema PMJ-47-2, por Luis Marav Zavaleta, Huamachuco, Per. Problemas de nivel medio y de Olimpiadas 48 Problemas propuestos en la Fase Regional de Castilla y Len de la 49 O.M.E., Len 2013 (pruebas del 22 de febrero y 8 de marzo) Problemas Problemas propuestos 236-240 Problemas resueltos Nota del editor

El editor presenta excusas al Prof. Paolo Perfetti, Universit degli Studi Tor Vergata, Roma, Italia, por no haber incluido su nombre entre quienes han resuelto los problemas 217 y 230 de esta REOIM. Solucin del problema 231 Recibidas soluciones de: Ricardo Barroso Campos, Sevilla, Espaa, y Floro Damin Aranda Ballesteros, Crdoba, Espaa (conjuntamente); Daniel Lasaosa Medarde, Pamplona, Espaa; Bruno Salgueiro Fanego, Vivero, Espaa; Cristbal Snchez-Rubio Garca, Benicassim, Espaa; y los proponentes. Las soluciones de Barroso-Aranda y de Salgueiro utilizan coordenadas; las de Lasaosa y Snchez-Rubio son de Geometra sinttica. Como homenaje a la memoria de uno de los proponentes del problema (Prof. Juan Bosco Romero Mrquez ), presentamos las 4 soluciones recibidas. Solucin al problema 232 Recibidas soluciones de: Roberto Bosch Cabrera, La Habana, Cuba; Daniel Lasaosa Medarde, Pamplona, Espaa; Bruno Salgueiro Fanego, Vivero, Espaa; Paolo Perfetti, Universit Tor Vergata, Roma, Italia; y el proponente. Presentamos la solucin de Bosch. Solucin al problema 234 Recibidas soluciones de: Roberto Bosch Cabrera, La Habana, Cuba; Daniel Lasaosa Medarde, Pamplona, Espaa; Daniel Lpez Aguayo, Morelia, Mxico; Paolo Perfetti, Universit Tor Vergata, Roma, Italia; Bruno Salgueiro Fanego, Vivero, Espaa; una solucin annima y la de los proponentes. Presentamos la solucin de Lasaosa. Solucin al problema 235 Recibidas soluciones de: Roberto Bosch Cabrera, La Habana, Cuba (que presentamos) y del proponente.

Noticia de Congresos, comentario de pginas web y resea de libros 48

Cros ssing the bridge y The Geo ometry of the trian ngle; dos s libros de e Gerry Leve ersha. Dive ertiment tos Mate emticos s 48 Los Caballer ros de la Larga Bsqued da(1 pa arte), po or Vctor Bujn Delg gado. Capturado en n internet t 48 as inform maciones Otra Club b GeoGe ebra Iber roameric cano. Abierta la convocat c toria de IBE ERTIC La Organizac O cin de Es stados Ibe eroameric canos para la Educacin, la a Ciencia y la Cultu ura (OEI) desde sus Instituto o Iberoa american no de TIC C y Educ cacin (IBERTIC) e Institu uto Ibero oamerica ano de seanza de la Cie encia y la a Matem mtica Ens (IBERCIENC CIA) invitan a los profesore es y estudiantes roamerica anos a inc corporarse e al Club b GeoGeb bra iber Iberoamericano. Esta iniciati iva cuenta con el apoyo a e impulso de la a Consejera de Econom E a, Innov vacin, C Ciencia y pleo de l la Junta de Anda aluca y la coordin nacin aca admica se s Emp lleva a desde la a Univer rsidad de e Crdob ba (Espa a). Ms informacin [+] http:// /www.iberti ic.org/clubg geogebra.ph hp Da GeoGeb bra en Ib beroamrica Abie erta la ins scripcin Enm marcado e en la Sem mana Iberoamerica ana de Geo oGebra realizamos la convocatoria de el Da de Geo oGebra en n Iberoam mrica que e tendr lugar en Mon ntevideo el e 14 de septiembr s re de 201 13, como activ vidad pre evia al VII I Congres so Iberoamericano o de Educacin Matemtica ( (CIBEM). s informac cin [+]h http://www.ibertic. .org/diageogebra.php Ms

In memoriam ANGELO BARONE NETTO 1937-2013 El pasado da 5 de abril falleci en Sao Paulo (Brasil) una de las personalidades ms relevantes de la Olimpiada Matemtica Brasilea, as como de la Iberoamericana e Internacional : Angelo Barone.

Las trayectorias acadmica, olmpica y vital de Barone han sido calificadas de singulares por quienes le conocan mejor: sus muchos amigos, en Brasil y en todo el mundo. En efecto, Barone era nico. Su formacin acadmica universitaria comenz en la Escuela Politcnica de la Universidad de Sao Paulo, donde en 1958 obtuvo el ttulo de Ingeniero Mecnico Electricista. En esa institucin comienza a dar clase en 1960, hasta 1968, en que se traslada a Unicamp (la Universidad de Campinas), participando en un atrevido proyecto para post graduados, que le lleva a la Universidad de Besanon (Francia), donde en 1970 completa su Maestra en Lingstica (). No tiene nada de extrao, entonces, que en la Olimpiada Iberoamericana sus intervenciones durante la redaccin de los enunciados de los problemas fueran del siguiente tenor: No se debe escribir mayor o igual que, ha de ser mayor que o igual a Tambin en Unicamp defiende en 1972 su doctorado con una tesis sobre la estabilidad de puntos de equilibrio en sistemas lagrangianos con vnculos, un trabajo pionero en ese campo en el Brasil. En 1973 comienza a desarrollar en el Departamento de Matemtica Aplicada del Instituto de Matemtica y Estadstica de la Universidad de Sao Paulo una actividad notable. Entre sus estudiantes estn los profesores Marco Antonio Teixeira y Edson de Faria (ste ltimo afincado en Costa Rica desde hace muchos aos).

Otra caracterstica de Barone era su versatilidad. No comparta la aficin (tan extendida en las Universidades de todo el mundo) por la excesiva - y excluyente - especializacin. Aunque su inters eran los sistemas dinmicos, tambin produjo trabajos en lgica y en combinatoria. Y nunca se cans de aprender y de ensear. De 1987 a 1990 fue Director del Departamento de Matemtica Aplicada, y tras su jubilacin, continu asistiendo a seminarios, e investigando y colaborando con sus colegas. Su labor en la Olimpiada Brasilea de Matemticas, en la participacin de Brasil en la Olimpiada Internacional desde 1979 (Londres) fue clave para que hoy en da Brasil sea uno de los primeros pases iberoamericanos con resultados muy buenos en la IMO. Durante 11 aos consecutivos fue Jefe de la Delegacin de Brasil; su ltima participacin como tal fue en Braunschweig (1989). Ayud a descubrir los jvenes talentos en Matemticas y les proporcion el entrenamiento adecuado para que ellos, ahora, sean los entrenadores de los equipos de Brasil en la IMO y en las dems competiciones internacionales en las que Brasil toma parte: Iberoamericana, Olimpiada del Cono Sur, Rioplatense, No me resisto a mostrar un ejemplo de la creatividad matemtica de Barone. En la Olimpiada Iberoamericana de 1989, en La Habana, el banco de problemas preparado por los organizadores locales inclua el enunciado siguiente: Sean a, b, c las longitudes de los lados de un tringulo. Demostrar que

a b bc ca + + < 1. a+b b+c c+a

El jurado obtuvo rpidamente la solucin, transformando en producto la expresin entre las barras del valor absoluto:

a b bc ca = + + a+b b+c c+a

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

< 1.

Barone dijo: la cota se puede mejorar, disminuyndola hasta 1/16, y lo demostr razonando de la siguiente manera: como la desigualdad es simtrica en las tres variables, podemos suponer que a < b < c; y adems sin prdida de la generalidad se puede suponer que a = 1, b = 1 +x, c = 1 + x + y. Entonces la desigualdad triangular permite escribir que c < a+b, es decir, 1+x+y<2+x, o lo que es lo mismo, y < 1. Entonces la expresin que se pretende hacer menor que 1/16 es

= S

a b )( b c )( c a ) xy ( x + y ) (= . ( a + b )( b + c )( c + a ) ( 2 + x )( 2 + 2 x + y )( 2 + x + y )

Como y < 1, S es menor que la fraccin obtenida sustituyendo en el numerador la y por 1; y por otra parte, si los dos ltimos factores del denominador se sustituyen, respectivamente, por 2+2x y por 2 + x, ese denominador disminuir y el cociente aumentar. En definitiva se tiene

S<
que equivale a 0 < ( 2 x ) .
2

x 2(2 + x)
2

<

1 16

Angelo, sit tibi terra levis.

Valladolid, 27 de mayo de 2013. Francisco Bellot Rosado

APROXIMACIN A LOS NMEROS PRIMOS Pregunta de examen: El producto de dos nmeros primos, es primo? Respuesta (un tanto airada) de un alumno: Pero, primos de quin? Francisco Bellot Rosado La lectura del primer captulo de un libro realmente excelente, Le lezioni del supplente (Un tentativo di insegnare la matematica che non si insegna), del recientemente desaparecido Italo DIgnazio, me da pie a tratar de escribir una primera aproximacin a los nmeros primos, para los alumnos de Olimpiadas y Seminarios de ampliacin. La foto del Prof. DIgnazio ha sido gentilmente cedida por el Prof. Ercole Suppa, de Teramo (Italia).

Para este artculo me he servido no solamente del libro mencionado, sino tambin de los que cito igualmente en la Bibliografa, y que, a mi entender, no deberan faltar en ninguna Biblioteca del Departamento de Matemticas de los centros escolares de cualquier nivel educativo. Se suponen conocidos los conceptos de divisibilidad, mximo comn divisor, mnimo comn mltiplo y de nmeros primos entre si (cuando su mximo comn divisor es 1). Paulo Ribenboim, en el prlogo de su obra Nombres premiers: mystres et records, enumera las preguntas que de una manera natural, surgen en relacin con los nmeros primos: a) Cuntos nmeros primos hay? b) Cmo reconocer si un nmero natural dado es primo? c) Hay frmulas o algoritmos para generar los nmeros primos? d) Cmo se distribuyen los nmeros primos entre los naturales?

1. Nmeros primos y compuestos Algunos nmeros naturales se pueden descomponer en producto de dos o ms factores ms pequeos; otros, como 7, 13, 17, no. Diremos que si el nmero natural c = a x b, siendo a y b nmeros naturales, stos se dicen factores o divisores de c. Todo nmero admite la factorizacin trivial c = 1xc = cx1; y en correspondencia con esto diremos que 1 y c son los divisores triviales de c. Cualquier nmero natural c > 1 que tiene alguna factorizacin no trivial, se llamar compuesto. Los que solamente admiten la factorizacin trivial se llaman nmeros primos. Entre los 100 primeros nmeros naturales, los 25 de la tabla siguiente son primos: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97. El nmero 1 no es ni primo, ni compuesto. El primer resultado que probaremos es sencillo, pero importante: Todo entero c>1, o es primo, o admite un divisor primo. Si c no es primo, sea p el menor divisor no trivial de c. Entonces, p tiene que ser primo, porque si fuera compuesto, c tendra un divisor menor que p.

La siguiente observacin, igualmente sencilla e importante, es que no necesitamos dividir c por todos los nmeros menores que c para saber si es primo o compuesto. Si c = a x b, los dos divisores a y b no pueden ser mayores que c, porque si ese fuera el caso, se tendra axb >c x c = c,

Desde la escuela se conoce el procedimiento llamado criba de Eratstenes para encontrar los nmeros primos menores que un nmero natural dado: a partir del 2, se suprimen todos los mltiplos de 2; a continuacin, dejando el 3, se suprimen todos los mltiplos de 3 que no hayan sido previamente borrados; se repite el proceso con el 5, etc. 2. El conjunto de los nmeros primos es infinito En el libro de DIgnazio se muestra el siguiente histograma para ilustrar lo que llama rarefaccin de los nmeros primos:

lo cual es imposible. Por lo tanto, es suficiente probar los nmeros primos que son menores o iguales que c.

El significado de las barras es claro: hay 303 primos entre los nmeros 1 y 2000, etc. Podra pensarse que, a la vista de esto, hay un nmero primo mayor que todos los dems. Pero ya Euclides demostr (en los Elementos) que no es as. Observemos la tabla siguiente: 2 x 3 + 1 =7 2 x 3 x 5 + 1 = 31 2 x 3 x 5 x 7 + 1 = 211 2 x 3 x 5 x 7 x 11 + 1 = 2311 2 x 3 x 5 x 7 x 11 x 13 + 1 = 30031 Los nmeros que aparecen en los segundos miembros no son divisibles (obviamente) por los nmeros primos que se multiplican en los primeros miembros. Los cuatro primeros (7, 31, 211 y 2311) son primos, mayores que los que se van multiplicando. En cuanto al quinto, se tiene 30031 = 59 x 509, y estos dos primos son mayores que 13. La generalizacin de estas observaciones constituye la famosa demostracin de Euclides de que la sucesin de nmeros primos es infinita:

Supongamos que la lista de nmeros primos p1=2, p2=3,pr sea finita. Entonces formamos el nmero P = p1p2p3.pr +1. Si P es primo, no hay nada que demostrar. En caso de no ser primo, sea p un nmero primo que divide a P. Este nmero p no puede ser ninguno de los primos p1,p2,,pr, ya que en tal caso p dividira a la diferencia P (p1p2p3.pr) = 1, lo que es absurdo. Por lo tanto, p es un nmero primo mayor que pr, y por lo tanto la lista de nmeros primos no puede ser finita. La demostracin de Euclides es simple, pero al mismo tiempo es brillante. Es uno de los primeros ejemplos de demostracin por reduccin al absurdo, que es algo que nuestros alumnos no dominan bien, sobre todo al principio. Ribenboim en su libro incluye 9 demostraciones de este resultado. La criba de Eratstenes permite obtener otra demostracin de este teorema Supongamos que slo hubiera k primos, 2,3,5,7,,pk. Entonces, en la criba no podran quedar nmeros despus de pk, puesto que vamos suprimiendo los mltiplos de los diferentes primos. Pero esto es imposible, porque si consideramos el nmero P = 2x3x5xxpk ste habra sido suprimido k veces, una vez por cada uno de los primos, y el nmero P + 1 no habra sido suprimido por ninguno de ellos.

Esta demostracin aparece en el libro de Oystein Ore Invitation to Number Theory. 3. El Teorema fundamental de la aritmtica Todo entero positivo se puede descomponer en producto de nmeros primos de manera nica, salvo el orden de los factores. Este resultado es conocido desde la escuela primaria; sin embargo, podemos demostrarlo (una actividad comn entre los matemticos, que queremos demostrarlo casi todo; sorprendentemente en los primeros aos de la enseanza secundaria no se demuestra casi nada ( clases de Matemticas incluidas!). Vamos a seguir la demostracin de DIgnazio, un prodigio de claridad y sencillez.

Sea N un nmero compuesto; si p1 es el menor de sus divisores (distinto de 1), tiene que ser necesariamente primo (esto lo habamos visto en el prrafo 1). Hagamos la divisin N:p1 y sea N1 el cociente: N = p1N1 (1)

Si N1 es primo, la (1) da ya la descomposicin de N en producto de primos; en caso contrario repetimos el proceso con N1: sea p2 el menor divisor de N1 que ha de ser necesariamente primo y mayor o igual que p1; hacemos la divisin y obtenemos N1 = p2N2 con lo cual N = p1p2N2; Reiterando el procedimiento obtenemos N > N1 >N2 > y al cabo de un cierto nmero de operaciones llegaremos a un cociente Nk primo. Entonces la (1) se convierte en N = p1p2pk (2)

donde hemos puesto, para unificar la notacin, Nk = pk. Hay que observar que algunos de los factores primos pi pueden ser iguales, y se podrn asociar en forma de potencias. Vamos a demostrar que la factorizacin obtenida para el nmero N es nica. Supongamos que existiera otra: N = q1q2qh Entonces se tendr p1p2pk = q1q2qh (3)

Sin prdida de la generalidad se puede suponer que los factores p y los factores q estn en orden creciente: p1p2 pk y q1q2qh

Ahora bien, p1 es el menor divisor primo de N; como q1 tambin lo es, tiene que ser p1 = q1. Dividiendo los dos miembros de (3) por p1 = q1 se obtiene p2p3pk = q2q3qh y la situacin se repite, con lo cual resulta que todos los factores de la primera factorizacin son iguales a todos los de la segunda, y esa es nica.

Otras demostraciones de este resultado utilizan el mtodo de reduccin al absurdo (v. Puig Adam, Matemticas Preuniversitario, Madrid 1967). En el libro del gran matemtico polaco Waclaw Sierpinski, Elementary theory of numbers se llama teorema fundamental de la aritmtica al siguiente, tambin conocido en otras fuentes como primer teorema de Euclides: Si un nmero divide a un producto de dos factores y es primo con uno de ellos, entonces divide al otro. Veamos la demostracin de Sierpinski: Sean a y b dos nmeros primos entre s y c un nmero natural, tales que b divide al producto ac. El nmero ac es divisible tanto por a como por b, y por lo tanto, por su mnimo comn mltiplo, que es ab. Entonces ac = tab, con t entero, luego c=tb y por lo tanto b divide a c.

A la pregunta b) de Ribenboim es fcil contestar cuando el nmero dado no es muy grande, pero si no, se convierte en un problema con aplicaciones prcticas inesperadas, como la criptografa. No entraremos aqu a tratar de los tests de primalidad y sus problemas asociados de velocidad en los clculos hechos con los ordenadores ms potentes. 4. Nmeros primos de Fermat Fermat (1601 1665) conjetur que los nmeros que son de la forma

F = 22 + 1 n
n

eran todos primos. La notacin utilizada para la potencia cuyo exponente es otra potencia significa que 2 lo elevamos a 2n, y no que 22 lo elevamos al exponente n, ya que en ese caso hubiramos escrito simplemente 4n. Con las posibilidades de clculo de la poca, era una conjetura razonable, porque

F0 = 22 + 1= 3, F1= 22 + 1= 5, F2 = 22 + 1= 17,
0 1 2

F3= 22 + 1= 257, F4= 22 + 1= 65537

3 4

son primos. Sin embargo, el matemtico suizo Leonhard Euler demostr en 1732 que el siguiente nmero de Fermat,

F5= 22 + 1= 4294967297= 641 6700417

5

no es primo. En 1958 se demostr que F1945 era divisible por 5x21947 + 1. Tal vez la historia de los nmeros de Fermat hubiera terminado aqu, pero por una de esas vueltas de tuerca que da la historia en general y la de las matemticas en particular, en 1801 el genial matemtico alemn C.F.Gauss (1777-1855) demostr en sus Disquisitiones Arithmeticae que los polgonos regulares con un nmero n primo impar de lados son construibles con regla y comps si y solamente si n = Fm. En particular, el polgono de 17 lados es construible, y la lpida de la tumba de Gauss en Braunschweig representa este polgono regular, en su honor. Gauss descubri este ltimo resultado cuando tena 19 aos, si bien la publicacin se produjo ms tarde. 5. Los nmeros de Mersenne El monje francs Marin Mersenne (1588 1648) estudi los nmeros de la forma siguiente: Mp = 2p -1, p primo. Los cuatro primeros nmeros de Mersenne M2 = 22 1 = 3; M3 = 23 -1 = 7; M5 = 25 1 = 31; M7 = 27-1 = 127 son primos, pero M11 = 211 -1 = 2047 = 23x89. Sin embargo, hay otros primos de Mersenne: Euler prob en 1750 que M31 es primo, y en 1876 el francs Lucas estableci que M127 , un nmero de 39 cifras, es primo. En el momento de redactar esta nota, el mayor nmero primo conocido, descubierto en agosto de 2008, es el nmero de Mersenne M43112609 y tiene ms de doce millones de cifras; para ser exactos, 12 978 189. 6. La bsqueda de frmulas o algoritmos para generar nmeros primos Hay varios ejemplos de polinomios en n que dan valores primos hasta un cierto valor, a partir del cual pueden dar valores primos o compuestos. Ribenboim seala que una tal funcin f(n) debera cumplir al menos una de las condiciones siguientes: a) f(n) = pn (el n-simo primo) b) f(n) siempre es primo, y si n es distinto de m, f(n) no es igual a f(m) c) El conjunto de los nmeros primos es igual al conjunto de valores de la funcin f. Es claro que a) es ms restrictiva que b) c).

La mayor parte de las funciones f buscadas tienen expresiones muy complicadas. Por qu no probar con los polinomios? Al fin y al cabo, Euler observ que n2 + n + 41 toma valores primos desde n = 0 hasta 39. Para n = 40 el valor es 1681 = 412. Con n2 79n + 1601 se avanza algo ms; da valores primos desde n = 0 hasta 79, pero para n = 80 obtenemos otra vez 412 . La razn para no seguir esta va la da el teorema negativo siguiente: Si f es un polinomio en n con coeficientes enteros, no constante, existen infinitos enteros n tales que el valor absoluto de f(n) no es un nmero primo. Demostracin (Ribenboim, pg.129) Como el polinomio no es constante, sera trivial si tomase todos sus valores compuestos. Por lo tanto, se puede suponer que existe un entero n0 0 tal que

f (n0 ) = p sea primo. Igualmente porque el polinomio no es constante,

se tiene lim x f ( x) = , luego existe n1 > n0 tal que si n n1 , entonces

f (n) > p . Para todo entero h tal que n0 + ph n1 se tiene f (n0 + ph)= f ( n0 ) + (mltiplo de p) = (mltiplo de p) .
Dado que f (n0 + ph) > p , f (n0 + ph) es compuesto.

Siguiendo los pasos de Euclides, es posible construir un conjunto de nmeros primos tan grande como se quiera. Empezando por 2 y 3, ponemos 2 x 3 + 1 =7 y ya tenemos el conjunto {2,3,7}. Poniendo 2x3x7+1 = 43, tenemos {2,3,7,43}. Ahora 2x3x7x43+1 = 1807 = 13x139 y eso conduce al conjunto {2,3,7,43,13,139}. Y as sucesivamente Pero, por otra parte, y eso ya est relacionado con la distribucin de los nmeros primos dentro de la serie natural, dado un nmero k arbitrario, se pueden encontrar k nmeros consecutivos que no son primos. 7. La distribucin de los nmeros primos dentro del conjunto de los nmeros naturales Vamos en primer lugar a justificar la afirmacin que cierra el prrafo 6: Dado un nmero k arbitrario, se pueden encontrar k nmeros consecutivos que no son primos. Consideramos los nmeros N1 = (k+1)!+ 2 N2 = (k+1)! + 3 N3 = (k+1)!+ 4

.. Nk = (k+1)!+ k+1 Este conjunto de k nmeros consecutivos responde a la cuestin; pues el primero es mltiplo de 2, el segundo de 3, etc.

Este apartado 7 de esta nota trata de la pregunta d) de las planteadas por Ribenboim en su obra. Necesitamos, entre otras cosas una notacin para una de las funciones aritmticas importantes: la que cuenta los nmeros primos p menores o iguales que un cierto nmero x>0, y que se representa por (x). Lo formalizamos como

( x) = # { p P tales que p x}

Un aspecto de la distribucin de los nmeros primos en el conjunto de los naturales lo dio la conjetura de Bertrand (1845), que afirma que para todo n 2 , existe un nmero primo entre n y 2n . Esta conjetura fue demostrada por Chebyshev, y desde entonces se conoce como teorema de Bertrand-Chebyshev. El teorema del nmero primo En 1792 Gauss conjetur que ( x )

ln t
2

dt

y dado que el logaritmo integral

x (es decir que su cociente tiende a 1 es asintticamente equivalente a ln x

cuando x tiende a infinito), el resultado

( x)

x ln x

se conoce, desde su primera demostracin en 1896 por Hadamard y de la Valle-Poussin (independientemente uno del otro) como el teorema del nmero primo. Esta incursin de las nociones de Anlisis en la Teora de nmeros dio lugar a la Teora analtica de Nmeros. Se crea que solamente era posible este tipo de demostracin para este teorema, pero en 1949, Erds y Selberg dieron (por separado) demostraciones que utilizaban estimaciones elementales de ciertas funciones aritmticas (y que por eso se llaman demostraciones elementales del teorema del nmero primo). 8. La conjetura de Goldbach Finalizaremos esta digresin sobre los nmeros primos con uno de los problemas abiertos de la Teora de Nmeros. Es la conjetura de Goldbach quien en 1742 pidi a Euler que demostrase que todo nmero par,

mayor que 2, es suma de 2 nmeros primos. La conjetura parece razonable, ya que, por ejemplo, 10 = 3 + 7 = 5 + 5; 24 = 11 + 13 = 7 + 17; 8 = 5 + 3; etc. Pero, hasta la fecha, no hay ninguna demostracin general, si bien, como dice DIgnazio en los ltimos prrafos del captulo sobre primos de su libro, el haberse probado que todo nmero natural, suficientemente grande, es suma de no ms de cuatro nmeros primos, debera ser el preludio de una demostracin de la conjetura. 9. Dos observaciones finalespero no ltimas A punto de enviar al webmaster de la OEI el nmero 48 de la REOIM se han producido dos noticias que han revolucionado a los matemticos. Por una parte, el matemtico peruano Harald Helfgott, investigador en el Centre Nationale de la Recherche Scientifique de Pars ha demostrado la llamada conjetura dbil de Goldbach: Todo nmero impar mayor que 5 puede expresarse como suma de tres nmeros primos. Casi simultneamente, un investigador chino, Yitang Zhang, de la Universidad de New Hampshire, envi a la prestigiosa revista Annals of Mathematics un manuscrito (escrito con claridad cristalina y no dejando ni un detalle sin demostrar) en el que prueba un resultado clave en el estudio de la distribucin de los nmeros primos: Existe un nmero N menor que 70 millones tal que hay infinitos pares de primos que difieren en N. El 17 de mayo de 2013, mientras Zhang daba cuenta de su demostracin en una conferencia en la Universidad de Harvard, salt a las noticias el resultado de Helfgott. Algunos problemas para resolver i) Demostrar que n4 + 4 no es primo si n > 1 (Sophie Germain) ii) Si a y n son enteros, a 0, n 2 , demostrar que

N = (1 + a + a 2 + + a n ) a n
2

es compuesto. iii) Si a,b son nmeros naturales mayores que 1 y primos entre s, demostrar que logab es irracional. iv) Un nmero N = 2x.3y.5z . Se suprimen 24 divisores al dividirlo por 2, 18 al hacerlo por 3 y 12 al hacerlo por 5. Calcular N. v) Es siempre posible convertir un nmero entero modificando una sola de sus cifras (Sierpinsky) en primo,

vi) Probar que n! es divisible por la suma 1 + 2+ 3++ n si y solamente si n+1 no es un primo impar (V. Thbault)

vii)

Probar que no existen un primo p > 5 ni un natural m tales que (p 1)! + 1 = pm Si p es primo y 1 k p , entonces (k 1)!( p k )!+ ( 1) y recprocamente (H.Demir, Mathesis 1962)
k 1

viii)

0(mod p )

ix) Demostrar que en cualquier progresin aritmtica, cuyp primer trmino y la diferencia sean nmeros naturales, se puede encontrar cualquier nmero prefijado de trminos que no sean primos. x) Se consideran los nmeros primos 2, 3, 5, 7, , p; demostrar que el nmero 2.3.5.7.p + 1 nunca es cuadrado perfecto (V. Thbault)

10.

Bibliografa

1) Cilleruelo, J. & Crdoba, A. La teora de los nmeros. Mondadori, Madrid 1992. 2) DIgnazio, I. Le lezioni del supplente. Interlinea Ed., Teramo, 1995. 3) Ore, O. Invitation to Number Theory. New Mathematical Library #20, M.A.A., 1967. 4) Ribenboim, P. Nombres premiers: mystres et records. P.U.F. Paris, 1994. 5) Sautoy, M. de. The music of the primes. Harper, New York 2004. 6) Sierpinski, W. Elementary Theory of Numbers. North-Holland & PWN, Amsterdam y Varsovia 1988.

Ttulo: La desigualdad entre la media aritmtica y geomtrica en problemas de olimpiadas. Resumen: En el presente artculo se pretende mostrar la utilidad de una desigualdad tan elemental como la relacin entre las medias aritmtica y geomtrica para resolver problemas de olimpiadas, se ofrece una demostracin algebraica y una geomtrica para esta relacin en dos elementos, a continuacin se ofrece la demostracin realizada por Cauchy al caso general y se proponen problemas con soluciones de olimpiadas realizadas en diferentes pases. Palabras claves: desigualdades, media aritmtica, media geomtrica, olimpiadas de Matemtica. Summary: Presently article is sought to show the utility of such an elementary inequality as the relationship among the stockings arithmetic and geometric to solve problems of olympiads, he/she offers an algebraic demonstration and a geometric one for this relationship in two elements, next he/she offers the demonstration carried out by Cauchy to the general case and they intend problems with solutions of olympiads carried out in different countries. Key words: inequalities, half arithmetic, mediates geometric, olympiads of Mathematics. Desarrollo: Se conoce que la media aritmrtica entre dos valores no negativos a y b se calcula como que y la media geomtrica como entonces demostraremos

. Usaremos una va algebraica y una geomtrica que nos

permitir analizar algunas de las interconexiones conceptuales que se establecen entre estas dos disciplinas de la Matemtica. Va algebraica: Conocemos que , si en la desigualdad que queremos

demostrar multiplicamos por 2 y transponemos todo al miembro izquierdo, obtenemos cumple. Va Geomtrica: , factorizando tenemos , que se

Utilizando el teorema de las alturas se tiene que es decir la media

h B x D O y C

geomtrica entre x, y. Por otra parte podemos percatarnos que , es

decir la media geomtrica, que en este

caso es la hipotenusa del tringulo rectngulo AOD y la media geomtrica es uno de sus catetos, entonces se tiene que .

Esta desigualdad se cumple adems si la cantidad de valores aumenta. Segn Bulajich, Gmez y Valds (2008), Cauchy prob esta desigualdad utilizando una induccin de la siguiente forma: 1. Probar que se cumple para dos nmeros. 2. Probar que si se cumple para n elementos entonces se cumple para n 1 elementos. 3. Probar que si se cumple para n elementos entonces se cumple para 2n elementos. En el caso que nos ocupa el primer paso est probado. Probaremos el segundo y el tercer pasos: 2) Tomamos n 1 nmeros no negativos y sea

, como tenemos como premisa que se cumple para n elementos entonces:

Entonces se cumple para n 1 elementos. 3) sean 2n nmeros reales no negativos

A continuacin analizaremos algunos problemas de olimpiadas donde se puede utilizar esta desigualdad. Problema 1. (Bulgaria, 1995) Sean SA, SB y SC las reas de los heptgonos regulares A1A2A7, B1B2B7, C1C2C7, respectivamente. Si se sabe que A1A2 = B1B3 = C1C4. Prueba que Solucin: Si a = A1A2, b = B1B3 y c = C1C4, usando el teorema de Ptolomeo se deuce que ab + ac = bc. Usando esto concluimos que , y

. Usando la desigualdad entre media aritmtica y media geomtrica concluimos que Problema 2. (Estonia, 1995) Sean a, b, c las longitudes de los lados de un tringulo y , y los ngulos opuestos a esos lados. Prueba que si r es el radio de la circunferencia . Solucin: Sea S el rea del tringulo, tenemos , , y inscrita en el tringulo, entonces:

Por la desigualdad entre la media aritmtica y la geomtrica y Multiplicando se cumple lo buscado. Problema 3. (Repblicas Checa y Eslovaca, 2000) Prueba que para todos a, b reales positivos se cumple que:

Solucin: Haciendo resolver desigualdades,

y pues en

(Esto es fundamental a la hora de muchas ocasiones una adecuada

transformacin puede facilitarnos mucho la demostracin. En este caso

Que se puede transformar en: Aplicando dos veces la desigualdad entre la media aritmtica y la media geomtrica tenemos:

Sumando las dos desigualdades miembro a miembro se tiene la desigualdad deseada. La igualdad se cumple si y solo si Problema 4. (Brasil, 2001) Prueba que ,

Solucin: Vamos a transformar Aplicando la desigualdad entre la media aritmtica y la media geomtrica se tiene:

Problema 5. (IMO, 2001) Prueba que para

se cumple:

Solucin:

Podemos percatarnos que la solucin de la desigualdad es equivalente a demostrar: . Aplicado a los tres sumandos. Esta ltima desigualdad se puede transformar como:

Entonces esto es equivalente a demostrar que:

Aplicando dos veces la desigualdad entre la media aritmtica y la media geomtrica:

Multiplicando miembro a miembro se tiene el resultado deseado. Problema 6. (Balcanes, 2002) Sean a, b, c reales positivos, prueba que:

Solucin: aplicando la desigualdad entre la media aritmtica y la media geomtrica

Apliquemos dos veces ms la desigualdad media aritmtica media geomtrica ; ; entonces

Problema 7. (Canad, 2002) Prueba que . Cundo ocurre la igualdad? Solucin: teniendo en cuenta que por

, se cumple que

podemos multiplicar la desigualdad

con lo cual transformamos lo que queremos demostrar en:

Transformando el miembro izquierdo, Si aplicamos media aritmtica media geomtrica a cada sumando tenemos:

Aplicando nuevamente la desigualdad media aritmtica media geomtrica tenemos que:

La igualdad si y solo si a = b = c. Problema 8. (Rusia, 2002) Prueba que , para

Solucin: Esta desigualdad puede ser transformada de la siguiente forma:

Entonces la demostracin de la desigualdad original se reduce a demostrar que

Vamos a utilizar 3 veces la desigualdad entre las medias aritmtica y geomtrica: , de la misma forma , sumando estas desigualdades se tiene la deseada. Problema 9. (Repblicas Checa y Eslovaca, 2003) Demuestra que si , entonces . ;

Solucin: Esta desigualdad se puede transformar en , vamos a demostrar por partes utilizando la desigualdad entre la media aritmtica y la media geomtrica. , ,y la desigualdad deseada. Problema 10. (Lista corta, OIM 2004) Si los nmeros positivos satisfacen que la suma es . Soludin: Haciendo , , definimos ; 1, prueba , que: de manera anloga

. Sumando miembro a miembro obtenemos

Es evidente que

, la desigualdad es

equivalente a: geomtrica deducimos que:

. Usando la desigualdad media aritmtica media

, usando la desigualdad media aritmtica

media geomtrica

Problema 11. (Ucrania, 2004) Sean

, con

. Prueba que

Solucin:

Por la desigualdad entre la media aritmtica y la media geomtrica esta ltima expresin: , de manera anloga ; ; por tanto

Problema 12. (Kazajstn, 2009) Prueba que que:

, se cumple

Solucin: La desigualdad se puede transformar multiplicando por ,

Utilizando la desigualdad entre las medias aritmtica y geomtrica en ambos factores del miembro izquierdo tenemos: , entonces Entonces Y , sumando miembro a miembro ; y adems

tenemos la desigualdad que queremos demostrar. Problema 13. (Grecia, 2010) Si prueba que Solucin: La desigualdad se puede transformar en y . Cundo ocurre la igualdad? ,

Por la desigualdad entre las medias aritmtica y geomtrica ; , entonces: , por tanto es suficiente demostrar y que

, que se cumple por ser La igualdad se verifica si y solo si x = y = z = 1.

Problema 14. (Prueba de seleccin de Cuba, 2006) Encuentra el mayor valor posible de k tal que para todo polinomio de grado n > 1 cuyas races son todas reales positivas que y determina en qu casos se cumple la igualdad. En este problema se establecen relaciones entre elementos propios del lgebra como es el caso del trabajo con polinomios y la desigualdad entre las medias. Solucin: Sean r1, r2, r3, , rn las races de p(x). Segn las frmulas de Vieta se tiene
n 1 n 1

se cumple

n 1

que
i )1

( 1)i a n

1 i 1

( 1)i ( 1)i

r j1 ...r ji
1 j1 ... ji n
n 1

=
i 1 1 j1 ...
n i

rj1 ...rji
ji n

Una doble sumatoria con un total de

i 1

2n

2 trminos. Ahora por la

desigualdad Media Aritmtica-Media Geomtrica (aplicable porque los ri son positivos) se sabe que
n 1 j1 i 1 1 j1 ... ji n n

r ...r ji 2
2n 2

n 1 j1 i 1 1 j1 ... ji n

r ...r ji

Para simplificar la raz (2n-2)-sima obtenida en este punto ntese que

n
n 1 2
n

n 1

n 1

rk
k 1

j1 i 1 1 j1 ... ji n

r ...r ji = 2n

j1 i 1 1 j1 ... ji n

r ...r ji
i 1 1 j1 ... ji n

r j1 ...r ji

2n 2

= 2( 2

2) k 1

rk

=
k 1

rk = a0

Una recopilacin de los resultados obtenidos hasta el momento permite concluir que
n 1

n 1

( 1) an
i 1

(2

2) ao

entonces
i 1

( 1) an 1

(2 n

2) 2 ao

Se tiene que la constante k es (2n -2)2, y en este caso es fcilmente verificable, por las condiciones de la desigualdad Media Aritmtica-Media Geomtrica, que la igualdad en este caso es alcanzada cuando r1 = r2 = = rn = 1 y solamente en ese caso, con lo que se obtienen adems las condiciones de igualdad. Adems, por existir igualdad par este valor de k, es claro que no puede encontrarse ninguno mayor. Problema 15. (Prueba de seleccin cubana, 2006) Sean a, b y c nmeros positivos tales que 33
1 abc 6( a b c ) 3 . abc
3

ab + bc + ca = 1. Probar que

Solucin: Escribamos
3
3 3

1 abc

6(a b c)

3
3

1 6a 2 bc 6ab 2 c 6abc 2 = abc 3

3

3
3

1 3ab(ac bc) 3bc(ba ca) 3ca(ab bc) abc 3

3

como ab + bc + ca = 1 tenemos
3
3

3
3

1 3ab 3(ab) 2

3bc 3(bc) 2 abc

3ca 3(ca) 2

4 3(ab) 2

(bc) 2 abc

(ca) 2

Es fcil ver que 3((ab)2 + (bc)2 + (ca)2) (ab + bc + ca)2 = 1 con lo que se prueba que

3 3 3 abc
3

1 1 , que es equivalente a que (abc)2 y por la 27 abc

relacin entre la media aritmtica y la media geomtrica se tiene que (abc) 2 =

ab bc ca (ab)(bc)(ca) 3
2

1 . 27
1 3
.

La igualdad se cumple si y solo si a = b = c =

Otros problemas donde se utiliza la desigualdad En los problemas que se muestran a continuacin se evidencia la utilizacin de la desigualdad entre las medias en otros contextos, donde no se solicita explcitamente la demostracin de una desigualdad. Esto muestra las relaciones internas que se establecen en el lgebra.

Problema 16. (Grecia, 2009) Determina

que satisfacen el sistema

Y tienen la menor suma posible. Solucin: Sea la solucin del sistema con la menor suma posible, entonces por

la desigualdad entre las medias aritmtica y geomtrica se tiene: , con la igualdad para Problema 17. (Grecia, 2010) Resolver en reales positivos el siguiente sistema:

Solucin: Por la desigualdad entre las medias aritmtica y geomtrica se tiene que:

La segunda ecuacin se transforma en Usando la desigualdad entre las medias aritmtica y geomtrica se tiene: , entonces Con la igualdad para Por (1) y (2), , que es posible cuando

Por tanto la nica solucin Problema 18. (Rumana, 2002) Sea reales tal que tiene soluciones , , y , funciones

. Demuestra que la ecuacin si y solo si las funciones

tienen ceros comunes. a) Resuelve la ecuacin Solucin: Por la desigualdad entre las medias aritmtica y geomtrica tenemos:

Entonces

se

cumple

la

igualdad

en

esta

desigualdad: , , entonces los

y como porque tiene que cumplirse la igualdad valores de x tienen que ser ceros comunes. a) La ecuacin puede escribirse en la forma: , , , , por tanto

considerando , tenemos el resultado

anterior implica que la solucin est formada por las races comunes a las tres funciones , que son . y , donde . Determina

Problema 19. (China, 2006) Sea el mximo valor de la suma

Solucin: Por la desigualdad entre las medias aritmtica y geomtrica: , luego

La igualdad se logra si y solo si

, luego el mximo es

Problema 20. (Primera prueba selectiva de Cuba, curso 2006 2007) Hallar el valor mnimo posible de condicin Solucin: Sea A = x2 + y2 y B = x2 y2 entonces x2 =
x2y2 =

si , con

son nmeros reales que satisfacen la

A B A B y y2 = , tenemos que 2 2

xy =

A B A B , notemos que debemos asumir que xy > 0. 2 2

A B A B (1) 2 2

Sustituyendo en la ecuacin dada tenemos A = B

De acuerdo a la relacin entre la media aritmtica y geomtrica se cumple que

A B A B 2 2

A B 2

A B 2 = A teniendo que A 2 2

A ByB 2
B4 B2

2.

Reordenando (1) encontramos que 4a2 = B2(A2 B2) y A2 = obteniendo que B > 2. Ahora, (B2 8)2 0, y B4

luego B

16B2 64 = 16(B2 4), teniendo que

B4 B2 4

16

teniendo entonces que x2 + y2 = A tomar el valor 4, por ejemplo para x =

4. Finalmente notemos que x2 + y2 puede

2,y=

2.

Problema 21. (Pruebas de seleccin Cuba, 2006) Una circunferencia de radio r y centro S est inscrita en el tringulo ABC. Una recta que pasa por el punto S interseca a los lados BC y CA en los puntos D y E respectivamente. Si P es el rea del tringulo CED, probar que P cumple la igualdad. Solucin: El rea A del tringulo CED satisface que 2r2. determina para qu casos se

CE CD A = ACES + ACSD= CE r + CD r = r. 2
Por la desigualdad entre la media aritmtica y la media CE CD CE CD por geomtrica tenemos que r 2
E A

C D S B

CE CD r. El producto de las longitudes de los lados de un tringulo no lo que A es menor que el doble del rea del tringulo.
En nuestro caso CE CD 2A, donde la igualdad se cumple si y solo si el ngulo del

vrtice C es recto, entonces A

CE CD r

2 A r y A2

2Ar2 donde A

2r2. La

igualdad se cumple si y solo si CE = CD y

C = 900.

Bibliografa: Beskin, N. M. (1980). Divisin de un segmento en una razn dada. Mosc: Mir. Bulajich Manfrino, R. & Gmez Ortega, J. A. (2007). Desigualdades. Cuadernos de Olimpiadas de Matemticas. Mxico: Instituto de Matemticas de la UNAM. Bulajich Manfrino, R. & Rubio Barrios, C. J. (2008). Las Olimpiadas Matemticas en San Luis Potos 1987 2005. Cuadernos de Olimpiadas de Matemticas. Mxico: Instituto de Matemticas de la UNAM.

Colectivo de autores (1995). Olimpiada Nacional de Bulgaria. Colectivo de autores (1995). Olimpiada Nacional de Estonia. Colectivo de autores (2000). Olimpiada Nacional de Repblicas Checa y Eslovaca. Colectivo de autores (2001). Olimpiada Nacional de Brasil. Colectivo de autores (2001). Lista Corta de la IMO. Colectivo de autores (2002). Olimpiada Nacional de Rumana. Colectivo de autores (2002). Olimpiada Nacional de Canad. Colectivo de autores (2002). Olimpiada Nacional de Rusia. Colectivo de autores (2003). Olimpiada Nacional de Repblicas Checa y Eslovaca. Colectivo de autores (2004). Lista Corta de la OIM. Colectivo de autores (2004). Olimpiada Nacional de Ucrania. Colectivo de autores (2009). Olimpiada Nacional de Kazajstn. Colectivo de autores (2010). Olimpiada Nacional de Grecia. Colectivo de autores (2009). Olimpiada Nacional de Grecia. Colectivo de autores (2006). Olimpiada Nacional de China. Davidson San Juan, L., Reguer Villar, R., & Frontela, R. (1987). Problemas de Matemtica Elemental 1. La Habana: Pueblo y Educacin. Davidson San Juan, L., Reguer Villar, R., & Frontela, R. (1995). Problemas de Matemtica Elemental 2. La Habana: Pueblo y Educacin. Davidson San Juan, & Recio, F. (1974). Los Concursos de Matemtica. Primera parte. La Habana: Direccin de produccin de medios de enseanza. MINED. Davidson San Juan, & Recio, F. (1975). Los Concursos de Matemtica. Segunda parte. La Habana: Direccin de produccin de medios de enseanza. MINED. Daz Gonzlez, M. (2004). Problemas de Matemtica para los entrenamientos de la Educacin Preuniversitaria I. La Habana: Pueblo y Educacin. Daz Gonzlez, M. (2007). Problemas de Matemtica para los entrenamientos de la Educacin Preuniversitaria II. La Habana: Pueblo y Educacin. Daz Gonzlez, M. (2011). Problemas de Matemtica para los entrenamientos de la Educacin Secundaria Bsica III. La Habana: Pueblo y Educacin. Hall, H. S., & Night, S. R. (1948). lgebra Superior. Mxico: Hispano Americana. Mati, I. (2007). Classical Inequalities. En www.imocompendium.com

PROBLEMAS PARA LOS MS JVENES 48 Cinco problemas de la prueba por equipos Coppa Italo dIgnazio 2012

PMJ48-1 La Biblioteca de Alejandra La planta de la Biblioteca de Alejandra, la ms rica de la Antigedad, tena la forma indicada en la figura:

Sabiendo que EF es paralelo a AC, que ABCD es un cuadrado de 40 m de lado y que AEFC es un rectngulo, calcular la medida del rea ocupada por la Biblioteca. PMJ48-2 En un rectngulo ABCD las longitudes de las proyecciones ortogonales de los lados AB y BC sobre la diagonal AC son, respectivamente, 9cm y 16 cm. Calcular el rea de ABCD. PMJ48-3 Iniciacin pitagrica Se dice que a un joven discpulo de Pitgoras, el da de su iniciacin en la escuela pitagrica, se le pidi que resolviera el siguiente problema: Si a y b son dos enteros positivos cuyo producto ab=1000, calcular la suma a+b sabiendo que ni a ni b son mltiplos de 10. PMJ48-4

No borres mis crculos Parece que estas fueron las ltimas palabras de Arqumedes, antes de que el soldado enviado por el emperador romano Marcelo para llevarlo a su presencia se impacientase y lo matase. Tal vez Arqumedes estab tratando de resolver este problema: Sea ABCD un cuadrado de lado AB = 200. Hallar el radio de la circunferencia pequea de la figura, tangente al lado BC y a las semicircunferencias construidas interiormente al cuadrado:

PMJ48-5 En el tringulo rectngulo ABC de hipotenusa AB, los catetos AC y BC miden 12 y 35, respectivamente. CD es la altura sobre la hipotenusa. Se considera la circunferencia de dimetro CD. Sea I un punto exterior al tringulo ABC tal que las rectas AI y BI son tangentes a la circunferencia . La razn entre el permetro del tringulo ABI y la longitud de AB se puede expresar como m/n, siendo m y n primos entre s. Calcular m+n.

REVISTA DE LA OIM N 47 PROBLEMAS PARA LOS MS JVENES OLIMPIADA DE MOLDAVIA PMJ 47 2 Luis M. MARAV ZAVALETA I. E. N 80915 Miguel Grau Seminario, C. P. El Pallar, distrito de Huamachuco, regin La Libertad, Per . Las longitudes de los lados de un tringulo son nmeros enteros consecutivos. Se sabe que una mediana del tringulo es perpendicular a una bisectriz. Hallar las longitudes de los lados del tringulo. Resolucin:
B

a1 y E p x G a

Sea el tringulo ABC, BD la mediana relativa a lado AC y AG la bisectriz del ngulo A. Las longitudes de AB, BC y AC han sido representadas por a 1, a y a

+ 1, respectivamente, as como y, x y p representan a las longitudes de los segmentos BE, ED y AE, respectivamente. Por el teorema de Pitgoras aplicado al tringulo ABE: (1) Por el teorema de Pitgoras aplicado al tringulo ADE: (2) Dado que las expresiones (1) y (2) equivalen:

Como los tringulos ABE y ADE son congruentes (teorema ngulo lado ngulo), las longitudes de los segmentos BE y ED son iguales (y = x). Entonces, . No se admite a1=1/3 por contradecir las condiciones del problema. De esta manera, el valor dea es 3 u. y los lados AB, BC y AC miden 2 u, 3 u. y 4 u., respectivamente.

REAL SOCIEDAD MATEMTICA ESPAOLA

Olimpiada Matemtica Espaola

XLIX Olimpiada Matemtica Espaola Fase Nacional Prueba de seleccin regional de Castilla y Len PRIMERA PRUEBA

22 de Febrero de 2013
PROBLEMA 1
En el aire se encuentra suspendida una plataforma horizontal en forma de tablero cuadriculado de tamao 5x5. Inicialmente la casilla central est ocupada por 27 lemmings, pequeos personajes verdes de los videojuegos. Se desarrolla un juego con las siguientes reglas: (i) En cada momento podemos elegir una casilla con 4 o ms lemmings y provocar una explosin, de manera que 4 de los lemmings salgan despedidos, uno a cada una de las 4 casillas vecinas (se consideran vecinas las casillas con un lado comn). (ii) Un lemming cae al vaco, si la explosin se produce en una casilla del borde de la plataforma. Demostrar que el juego siempre termina despus de un nmero finito de explosiones, y que es imposible que se precipite al vaco un lemming. Por lo tanto, ninguna criatura resulta lastimada con este experimento.

PROBLEMA 2
Resolver, en el conjunto de los nmeros reales, el sistema de ecuaciones y+3x = 4x3 x+3y = 4y3

PROBLEMA 3
La circunferencia que tiene como dimetro la altura desde A en el tringulo ABC corta al lado AB en D y al lado AC en E. Probar que el circuncentro (centro del crculo circunscrito) de ABC est en la recta que contiene a la altura desde A en el tringulo ADE.

PROBLEMA 4
Sean a,b,c nmeros reales positivos. Probar que se cumple la desigualdad

a 2a 2 + 2ab + 5b 2 + b 2b 2 + 2bc + 5c 2 + c 2c 2 + 2ca + 5a 2 ( a + b + c )

Cada problema se punta sobre 7 puntos. No se permite utilizar calculadoras ni otros dispositivos electrnicos. Tiempo: 4 horas.

REAL SOCIEDAD MATEMTICA ESPAOLA

Olimpiada Matemtica Espaola

XLIX Olimpiada Matemtica Espaola Fase Nacional Prueba de seleccin regional de Castilla y Len SEGUNDA PRUEBA

8 de Marzo de 2013
PROBLEMA 5 Una parbola y=ax2 con a>0, y la hiprbola y=1/x se cortan en un punto T. Una recta que es tangente comn a ambas curvas es tangente a la hiprbola en Q y a la parbola en P. a)Demostrar que dos medianas del tringulo PQT son perpendiculares. b)Hallar el rea del tringulo PQT. PROBLEMA 6

PROBLEMA 7 Se desea colorear los cuadrados de una tira de n cuadrados, que estn numerados de 1 a n, de izquierda a derecha. Cada cuadrado ser coloreado con uno de tres colores, 1, 2 3. Los cuadrados numerados pares se colorean con cualquier color, pero los numerados impares slo se pueden colorear con los colores impares, 1 3. Adems, dos cuadrados adyacentes no se pueden colorear con el mismo color. De cuntas maneras se puede realizar esta coloracin de la tira?

PROBLEMA 8 Se considera una sucesin (a1,a2,a3,) de nmeros reales. Para cada entero positivo n, se define mn como la media aritmtica de los nmeros de la sucesin desde a1 hasta an. Se sabe que existe un nmero real C tal que se verifica la siguiente condicin: (i-j)mk+(j-k)mi+(k-i)mj = C, cualesquiera que sean las ternas (i,j,k) de enteros positives distintos dos a dos. Demostrar que (a1,a2,a3,.) es una progresin aritmtica.

Cada problema se punta sobre 7 puntos. No se permite utilizar calculadoras ni otros dispositivos electrnicos. Tiempo: 4 horas.

Problemas propuestos 236-240 Problema 236 (propuesto por Laurentiu Modan, Bucarest, Rumania) 1 Sean f : [0; 1] ! [2; 3] una funcin estrictamente montona; C = 1 3; 2; 1 1 [0; 1] ; A [2; 3] tal que f (A) = C: i) Estudiar si f admite funcin inversa. ii) Se considera la funcin g : [0; 1] ! R denida mediante g ( x) =
1 f (x) ; x 2 0; 2 1 3 f (x) ; x 2 2 ;1

Puede ser g una funcin continua? Estudiar si g admite primitivas. Problema 237 (propuesto por Marcel Chiritza, Bucarest, Rumania) Sea ABCD un tetraedro inscrito en la esfera S de centro O y radio R: Sea M un punto cualquiera de la esfera. Llamamos f (M ) = AM 2 + BM 2 + CM 2 + DM 2 : Si f (M ) es constante para todo M de la esfera, calcular su valor y probar que AB; AC; AD son los lados de un tringulo. Problema 238 (propuesto por Marcel Chiritza, Bucarest, Rumania) Sea ABCD un cuadriltero convexo, E el punto medio de AC, F el punto medio de BD, y M un punto del plano del cuadriltero. Demostrar que ! ! ! ! MA MC + MB MD 1 2EF 2 4 AC 2 BD2 :

Problema 239 (propuesto por Marcel Chiritza, Bucarest, Rumania) Sea a 2 (0; 1) un nmero real jo. Determinar todas las funciones f ! R ! R continuas en x = 0; tales que f (0) = 1 y que verican 3f (x) 5f (ax) + 2f a2 x = x2 + x; 8x 2 R:

Problema 240 (propuesto por Marcel Chiritza, Bucarest, Rumania) a) Demostrar que no existen enteros x; y; z tales que (x y ) + (y
5

z ) + (z

x) = 200

b) Demostrar que existen innitos enteros x; y; z tales que (x y ) + (y

5

z ) + (z

x) = 210

Problema 231, proposto por Antonio F. Costa e Juan Bosco Romero Mrquez (), vila, Espaa. Sexa ABC un tringulo rectngulo cuxo ngulo recto ten por vrtice A . Na recta que contn hipotenusa de ABC , considranse os puntos B , exterior hipotenusa e tal que BB = BA , e C , exterior hipotenusa e tal que CC = CA . Sexan r a recta que pasa por B e C , H1 o semiplano determinado por r que contn a A ; H 2 o semiplano determinado por r que non contn a A . Por B , trazamos das rectas paralelas aos catetos e o mesmo facemos por C , obtendo as un rectngulo ABC D ; o punto A o vrtice do rectngulo que est no semiplano H 2 . Por A , trazamos as rectas que pasan por B e C , e chamamos B e C s interseccins de ditas rectas cos lados do rectngulo e distintas de A . Probar que: 1. O punto A est no segmento BC . 2. O tringulo ABC rectngulo se e s se o tringulo ABC ten ngulos agudos que miden 30 e 60 . 3. O ngulo con vrtice A do tringulo ABC como mximo 45 , e ese valor alcnzase cando ABC un tringulo isscele (e, polo tanto, tamn ABC isscele).

Solucin de Bruno Salgueiro Fanego, Viveiro, Espaa.

Pode asumirse, sen perda de xeneralidade, que BC = 1 . Sexan c = AB , b = AC ,

{B1} = AB AB ,

{C1} = C A CA e = CBA (en radins). Os tringulos

B1 BB e C1C C teen os lados respectivamente

paralelos aos do tringulo ABC , logo son semellantes e, polo tanto, as lonxitudes dos seus lados son respectivamente proporcionais, co cal BB1 = c 2 , B1 B = bc = C C1 e C1C = b 2 . Considerando a referencia cartesiana rectangular na cal A ( 0, 0 ) , B ( c, 0 ) e C ( 0, b ) , tense que as coordenadas

( AB + BB1 , B1 B ) = ( c (1 + c ) , b (1 + b ) ) ( C C1 , C1C + CA) = ( bc, b (1 + b ) ) e, polo tanto, A ( c (1 + c ) , b (1 + b ) ) .

de

son

as

de

son

1. B pode obterse como interseccin das rectas AB : b ( b + 1) x c 2 y = bc ( b + 1) e BB : y = bc , logo

B ( bc, bc ) ; analogamente, C pode obterse como interseccin das rectas AC : ( c 1) x + cy = bc e

C C : x = bc , logo C ( bc, bc ) . Entn a recta BC ten por ecuacin BC : y = x , dicir, a
bisectriz do segundo e cuarto cuadrantes, que contn ao punto A ( 0, 0 ) . 2. O tringulo

ABC

non pode ser rectngulo en

A , pois

C AB < C AB = 2 .

Dito tringulo ser rectngulo en B se e s se ABB o , ou sexa, AB 2 = AB2 + BB2 , dicir,

c 2 = 2b 2 c 2 + c 2 ( b 1) + b 2 c 2 , que equivale, dividindo por c 2 e utilizando o teorema de Pitgoras

2

b 2 + c 2 = 1 en ABC , a que 2b ( 2b 1) = 0 , ou sexa, b = 1 2 e c = 3 2 , dicir, CBA = 6 e

ACB = 3 . E, analogamente, ABC ser rectngulo en C se e s se c = 1 2 , dicir, ACB = 6 e CBA = 3 .

3.

C AB 4 C1 AC + BAB1 4 arctan b 2 ( c + c 2 ) + arctan c 2 ( b + b 2 ) 4 f ( x ) = arctan ( (1 senx ) senx ) + arctan ( (1 cos x ) cos x ) , x ( 0, 2 ) .

f ( x) 0

arctan ( (1 c ) c ) + arctan ( (1 b ) b ) 4 arctan ( (1 sen ) sen ) + arctan ( (1 cos ) cos ) 4 .

Sexa Como

( senx cos x ) ( 3 + 2 ( senx cos x senx cos x ) ) 0 senx cos x x 4 (pois 3 + 2 ( senx cos x senx cos x ) > 0 para 0 < x < 2 ) e f ( x ) = 0 x = 4 , resulta que f decrece en

( 0, 4 ) ,

crece

en

Como, ademais, f ( 0 + ) = 0 = f

( ( 2 ) ) , resulta que

4, 2 )

alcanza

seu

mnimo

en

x = 4.

f ( ) f ( 4 ) = 4 , con igualdade se e s se

= 4 , ou sexa, se e s se ABC isscele (e, polo tanto, tamn ABC isscele, pois
segundo e cuarto cuadrantes).

A ( b (1 + b ) , b (1 + b ) ) est sobre a bisectriz do primeiro e terceiro cuadrantes e BC sobre a bisectriz do

PROBLEMA 231, propuesto por Antonio F. Costa y Juan Bosco Romero M arquez (), Avila, Espa na Sea ABC un tri angulo rect angulo cuyo angulo recto tiene por v ertice A. En la recta que contiene a la hipotenusa de ABC se consideran los puntos B , exterior a la hipotenusa y tal que BB = BA, y C , exterior a la hipotenusa y tal que CC = CA. Sea r la recta que pasa por B y C ; H1 el semiplano determinado por r que contienen a A; H2 el semiplano determinado por r que no contiene a A. Por B trazamos dos rectas paralelas a los catetos y lo mismo hacemos por C obteniendo as un rect angulo A B C D ; el punto A es el v ertice del rect angulo que est a en el semiplano H2 . Por A trazamos las rectas que pasan por B y C , y llamamos B y C a las intersecciones de dichas rectas con los lados del rect angulo y distintas de A . Probar: 1. Que el punto A est a en el segmento B C . 2. El tri angulo A B C es rect angulo si y s olo si el tri angulo ABC tiene angulos agudos que miden 30 y 60 . 3. El angulo con v ertice A del tri angulo A B C es como m aximo 45 , y ese valor se alcanza cuando ABC es un tri angulo is osceles (y por tanto tambi en A B C es is osceles). Soluci on por Daniel Lasaosa Medarde, Universidad P ublica de Navarra, Pamplona, Espa na Los tri angulos ABC , D B C y A C B son claramente semejantes, siendo el b+c , segundo y el tercero resultado de escalar el primero con factor de escala a+a 2 2 donde se ha usado la notaci on habitual para los lados del tri angulo, y a = b + c2 por ser ABC rect angulo en A. Usaremos libremente esta relaci on de semejanza en toda la soluci on. Asumiremos sin p erdida de generalidad que b c, ya que podemos intercambiar B, C y todos sus puntos correspondientes, sin alterar el problema. Proposici on 1: Sea A B D C un rect angulo cuyos lados mayores A B y C D b+c) b+c) miden b(a+ , y sus lados menores B D y A C miden c(a+ , donde a2 = a a 2 2 b + c . Elijamos respectivamente sobre los lados D B , D C puntos P, Q tales que bc D P = D Q = 2a . Entonces, las rectas A P y A Q cortan a la diagonal B C respectivamente en puntos P , Q tales que B P = c, P Q = a, Q C = b. Demostraci on 1: Como a2 = b2 + c2 , la diagonal B C del rect angulo mide claramente a + b + c. Consideremos un sistema de coordenadas cartesianas con centro en B y tal que las semirrectas B A y B D son respectivamente los semiejes positivos horizontal y vertical. La ecuaci on de la diagonal es claramente y = cx b , y c(a+b+c) c ( a b + c ) 2bc como B P = a = , la ecuaci on de la recta A P es claramente a a b+c) c(ab+c)x y = c(a . La intersecci o n de ambas rectas sucede entonces cuando a b(a+b+c) c(a b + c) c(a b + c)x cx = , a b(a + b + c) b
2

x=

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

bc c con lo que y = c aloga se demuestra que b a = a , y B P = c. De forma an Q C = b, y al ser B C = a + b + c, entonces P Q = a. 1

Proposici on 2: En la situaci on descrita en el enunciado, A est a a una distancia bc AD = 2 de D , y sobre la bisectriz del a ngulo recto B D C . a Demostraci on 2: Sean H, H las proyecciones de A, D sobre la recta B C . Claramente, HH = BB + BH B H = c + mientras que AH = AD = HH
bc a 2

bc(b c) c2 c2 (a + b + c) = , a a2 a2 luego (b c)2 + (b + c)2 = 2bc , a

yDH =

bc(a+b+c) , a2 2

+ (D H AH ) =

bc a2

quedando demostrada la primera parte de la proposici on. Al mismo tiempo, cos AD H = b+c D H AH = , AD 2a
b a

sin AD H =

bc HH = , AD 2a

con lo que al ser cos B D H =

c y sin B D H = a , se tiene que

1 cos B D A = cos B D H cos AD H sin B D H sin AD H = , 2 luego en efecto B D A = 45 , quedando demostrada la segunda parte de la proposici on. En la situaci on descrita en el enunciado, los puntos B, C coinciden con los puntos P , Q de la Proposici on 1, luego B , C coinciden con los puntos P, Q de la Proposici on 1, es decir, B D C es rect angulo is osceles en D , con longitud de catebc . El punto medio de la hipotenusa B C es claramente el circuncentro de tos 2a B D C , y est a sobre la bisectriz de B D C a una distancia igual a la longitud del cateto partido por 2, es decir, A es dicho punto medio de la hipotenusa, y por lo tanto est a sobre B C , como quer amos demostrar. Supongamos que A B C es rect angulo en C . Como D C B = 45 , se tiene que A C C = 45 , es decir, al ser A C C = A C D = 90 , A C C es rect angulo is osceles en C , luego A C = C C = C D D C . El rec proco es cierto, es decir, si A C = C C , entonces A C C = 45 , y A B C = 90 . Luego A B C es rect angulo en C si y s olo si c(a + b + c) b(a + b + c) 2bc = , c2 + 2bc b2 = a(b c). a a a b c Sea a = sin = 1 x2 , a = cos = x, con lo que sustituyendo y reorganizando t erminos, la anterior relaci on es equivalente a 0 = (1 2x) 1 x2 + 1 + x .

El segundo factor s olo puede ser nulo cuando x = 1, claramente imposible pues 3a c < 1, luego ha de ser c = a y b = , con ABC = 60 y ACB = 30 . 0< a 2 2 Restaurando la generalidad, y al no poder ser B A C = 90 por ser B A C < B A C = 90 , se tiene que A B C es rect angulo si y s olo si uno de entre B, C mide 60 y el otro 30 , como quer amos demostrar.

+b+c) La altura de A sobre B C es claramente bc(aa , con lo que el area del 2 bc(a+b+c) . Ahora bien, por el teorema de Stewart, tri angulo A BC es 2a

(a + b)2 (a2 2ab + 2b2 ) + BC A B BB BC = , BC a2 y de forma similar para CA intercambiando b y c. Entonces, abc(a + b + c) sin B A C = sin BA C = . (a + b)(a + c) (a2 2ab + 2b2 )(a2 2ac + 2c2 ) BA
2

BB A C

Deniendo s = b + c, d = b c, tenemos que s2 + d2 = 2a2 , y que s2 d2 = 4bc, de donde sustituyendo y operando, obtenemos que a(s a) . sin B A C = sin BA C = 4 2a 2as3 + s4 Por lo tanto, B A C 45 es equivalente a a(s a) 1 , 2 2a4 2as3 + s4 es decir, a (2a s)(s2 2a2 ) 0, (2a b c)(b c)2 0. El primer factor en el miembro de la izquierda es claramente positivo al ser a > b, c, luego s olo puede darse la igualdad y esto sucede si y s olo si b = c, es decir, B A C 45 , con igualdad si y s olo si ABC es is osceles, como quer amos demostrar.

Problema 231 Sea ABC un tringulo rectngulo cuyo ngulo recto tiene por vrtice A. En la recta que contiene a la hipotenusa de ABC se consideran los puntos B, exterior a la hipotenusa y tal que BB = BA, y C, exterior a la hipotenusa y tal que CC = CA. Sea r la recta que pasa por B y C; H1 el semiplano determinado por r que contienen a A; H2 el semiplano determinado por r que no contiene a A. Por B trazamos dos rectas paralelas a los catetos y lo mismo hacemos por C obteniendo as un rectngulo ABCD; el punto A es el vrtice del rectngulo que est en el semiplano H2. Por A trazamos las rectas que pasan por B y C, y llamamos B y C a las intersecciones de dichas rectas con los lados del rectngulo y distintas de A. Probar: 1. Que el punto A est en el segmento BC 2. El tringulo ABC es rectngulo si y slo si el tringulo ABC tiene ngulos agudos que miden 30 y 60. 3. El ngulo con vrtice A del tringulo ABC es como mximo 45, y ese valor se alcanza cuando ABC es un tringulo issceles (y por tanto tambin ABC es issceles). Solucin: a) Por construccin es claro que los tringulos DBC y ABC son semejantes con razn de semejanza a+b+c k= . a
D'

R A B''=B * c b

C''=C*

H1
C'

B'

a D''

H2

A'

Tambin es evidente que A es el incentro del tringulo DBC y que su irradio R coincide con la bc . altura del tringulo ABC relativa a la hipotenusa y vale R = a Llamemos B* al punto sobre DB tal que D ' B* = 2 R y C* al punto sobre DC tal que D ' C* = 2 R . Evidentemente A es el centro del cuadrado D ' B* D '' C* que tiene a B* y C* como vrtice opuestos y por tanto es el punto medio del segmento B*C* . Slo queda ver que los puntos as definidos coinciden con los B, C del enunciado. Tenemos de una parte B ' B* = kc 2 R y de otra, al ser BBB semejante a ACB se sigue
B ' B '' c kc 2 = B ' B '' = kc a+b a+b

Entonces B* = B '' si y slo si

kc 2 R =

kc 2 a 2 b2 k c = 2R a+b a+b
2

Operando el primer miembro de la ltima igualdad, queda

a a de modo anlogo se comprueba que C* = C '' . Queda probado que A es el punto medio del segmento BC.

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

a2

b 2 + c 2 + 2bc a 2 2bc = = 2R a a

b) Como AC '' D '' = 45 , ABC ser rectngulo en C si y slo si ACC es rectngulo e b bc b c 1 issceles lo que equivale a R = = = cos B = B = 60 . 2 a 2 a 2 c) Claramente A ' = 90 ( + ) , por tan to hemos de buscar el mnimo de + y al estar en el primer cuadrante bastar buscar el mnimo de su tangente. cR c ac a 1 tg = = 1 = 1 = 1 = 1 R R bc b sen B bR b ab a 1 tg = = 1= 1 = 1 = 1 R R bc c cos B De donde cos B + sen B cos B + sen B sen 2 B tg + tg = 2= sen Bcos B sen Bcos B 1 ( cos B + sen B ) tg tg = 1 + sen Bcos B Y finalmente tg + tg cos B + sen B sen 2 B 1 sen 2 B tg ( + ) = = = 1+ 1 tg tg cos B + sen B 1 cos B + sen B 1
El mnimo se alcanza cuando el numerador tome su menor valor posible y su denominador el mayor valor y ambas cosas suceden cuando B = 45 .
Cristbal Snchez-Rubio, Benicasim

Problema 231, propuesto por Antonio F. Costa y Juan Bosco Romero Mrquez (), vila, Espaa Sea ABC un tringulo rectngulo cuyo ngulo recto tiene por vrtice A. En la recta que contiene a la hipotenusa de ABC se consideran los puntos B, exterior a la hipotenusa y tal que BB = BA, y C, exterior a la hipotenusa y tal que CC = CA. Sea r la recta que pasa por B y C; H1 el semiplano determinado por r que contienen a A; H2 el semiplano determinado por r que no contiene a A. Por B trazamos dos rectas paralelas a los catetos y lo mismo hacemos por C obteniendo as un rectngulo ABCD; el punto A es el vrtice del rectngulo que est en el semiplano H2. Por A trazamos las rectas que pasan por B y C, y llamamos B y C a las intersecciones de dichas rectas con los lados del rectngulo y distintas de A. Probar: 1. Que el punto A est en el segmento BC 2. El tringulo ABC es rectngulo si y slo si el tringulo ABC tiene ngulos agudos que miden 30 y 60. 3. El ngulo con vrtice A del tringulo ABC es como mximo 45, y ese valor se alcanza cuando ABC es un tringulo issceles (y por tanto tambin ABC es issceles). Solucin por sus amigos Ricardo Barroso Campos, profesor jubilado de la Universidad de Sevilla y Floro Damin Aranda Ballesteros, profesor de Matemticas del IES Blas Infante en Crdoba. In memoriam. 1. Que el punto A est en el segmento BC

Sea el sistema de referencia eucldeo formado por: {A' B' (Eje x) y A' C' (Eje y); siendo A' el origen de referencia} Se tiene que n/b=c/a, por un lado y m/c=b/a. De donde resulta que: m=n=b.c/a. Por tanto el punto A est en la bisectriz del ngulo recto en el vrtice D'. Veamos que la distancia del punto C'' a D'' es 2 m y que la distancia del punto B'' a la recta C' D' es 2 n. Si esto fuese as entonces A sera el punto medio del segmento B'' C''."Hallamos las coordenadas del punto C''. c(a + b + c) y a la recta A'C, Para ello, observamos que C'' pertenece a la recta y = c 2 m2 + c + n y = a siendo C = ( b 2 n 2 , c 2 m 2 + c)

= Por tanto, la ecuacin de la recta A'C' ser y

c 2 m2 + c c(a + c) = x y x. b2 b2 n2

As el punto tendr las coordenadas, C '' = (

b 2 (a + b + c) c(a + b + c) , ) a(a + c) a As, la distancia C''D' ser igual a la diferencia siguiente:

(n + c + c 2 n 2 ) c 2 (a + b + c) bc b2c 2 c 2 (a + b + c) = ( + c + c2 2 ) = a ( a + b) a a a ( a + b)

bc c 2 c 2 (a + b + c) c(a + b + c) c 2 (a + b + c) ( a + b c )c = = = = ( +c+ ) (a + b + c) a a a ( a + b) a a ( a + b) a ( a + b) ( a + b) 2 c 2 ( a + b) 2 ( a 2 b 2 ) 2ab + 2b 2 2b(a + b) 2bc = c= c. = c. c. = . a ( a + b) a ( a + b) a ( a + b) a ( a + b) a Procediendo de la misma forma para el punto B, obtenemos sus coordenadas b( a + b + c ) c 2 ( a + b + c ) B '' = ( , ) a a ( a + b) Y as, la distancia B''D' ser igual a la diferencia siguiente: b 2 (a + b + c) bc b2c 2 b 2 (a + b + c) 2 = ( +b+ b 2 ) = (m + b + b n ) a(a + c) a a a (a + c)
2 2

bc b 2 b 2 ( a + b + c ) b( a + b + c ) b 2 ( a + b + c ) (a + c b)b = ( +b+ ) = = (a + b + c) = a a a(a + c) a a(a + c) a(a + c) (a + c) 2 b 2 (a + c) 2 (a 2 c 2 ) 2ac + 2c 2 2c(a + c) 2bc b. = b. b. . = b= = a(a + c) a(a + c) a (a + c) a(a + c) a Por tanto, se tiene que el tringulo rectngulo DBC es issceles y que, en efecto, A es el punto medio del segmento BC.
Observamos adems que la razn de semejanza entre los tringulos BCD y BCA es igual a

K=

(a + b + c) a

2.- El tringulo ABC es rectngulo si y slo si el tringulo ABC tiene ngulos agudos que miden 30
y 60. Supongamos que A B C sea rectngulo. Tenemos que habr de serlo por ejemplo en C. Por ello dado que hemos visto que DBC es rectngulo issceles, habr de ser tambin rectngulo issceles el CCA.

Es decir, que habr de ser: CC = CA Es decir:

b 2 (a + b + c) c(a + b + c) = b 2 = c(a + c) a(a + c) a O sea:

b 2 = c(a + c) = ac + c 2 a 2 c 2 = ac + c 2 ac = c a = 2c As suceder que el tringulo rectngulo ABC sea de ngulo C igual a 30, y de ngulo B igual a 60. c.q.d. Supongamos ahora que ABC es 90, 60, 30. Es decir, = a a= ; b
3 a a = ; c 2 2
(a + b + c) podemos hallar fcilmente AC: a

Por la razn de semejanza K =

a 3a a+ + a a 2 = A 'C ' 2 = ( 3 + 3) 2 a 4

Por otro lado, como C '' = (

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

3 2 3 1 + )a a (1 + 2 b ( a + b + c ) 2 2 = a ( 3 + 3) =4 C 'C '' = 1 a(a + c) 4 a 2 (1 + ) 2

Entonces AC=CC As el tringulo CCA es rectngulo issceles, y <ACC =45, y dado que hemos visto anteriormente que <DCB=45, ha de ser A B C rectngulo, c.q.d. 3. El ngulo con vrtice A del tringulo ABC es como mximo 45, y ese valor se alcanza cuando ABC es un tringulo issceles (y por tanto tambin ABC es issceles). Si ABC es issceles, Es 90, 45, 45, y lo sern as tambin los tringulos DBC y DBC. Por ello, el tringulo CCC es issceles como se comprueba ya que: CC= b y, como ya se ha visto, CC= . En definitiva, el tringulo CCC es issceles con ngulos iguales a 45, 67,5, 67,5. As, <ACB=67,5. De manera anloga, <ABC=67,5, y por fin, c.q.d., <BAC=45.

3) El ngulo con vrtice A del tringulo ABC es como mximo 45. A '(0, 0) b c2 (a + b + c)) , podemos hallar la Como las coordenadas de los puntos son estas B ''( (a + b + c), a a ( a + b) b2 c (a + b + c), (a + b + c)) C ''( a (a + c) a expresin del coseno del ngulo A, que coincidir con la que formaran los vectores siguientes:

 b c2 b=( , ) a a ( a + b) b.c cos A '' = . | b |.| c | b2 c c=( , ) a(a + c) a

Ahora bien, esta expresin determina una funcin simtrica respecto de las variables b y c. Por tanto, esta funcin continua presentar un extremo ptimo cuando b=c. Y, por el apartado 3i) anterior, si b=c entonces A=45. Veamos adems que el extremo que se presenta en x = c=0), se tiene que cos A=1, luego cuando b=c A ' = puede tomar A es de 45.

es un mnimo ya que en ambos casos lmite, b=0 (

y cos = 4 4

2 y as el valor mximo del ngulo que 2

Problema 232. Soluci on de Roberto Bosch Cabrera, Ciudad de la Habana, Cuba. Probaremos varias desigualdades las cuales en su conjunto implican (1) y (2). Para 0 se tiene (a + b)(a + b) +1 (a + b)(a + b) ab 2 + 2 + 1 2 2 2 2 a + ( + 1)ab + b ab + 2ab + ab (a b)2 0 ab Para 0 se tiene (a + b)(a + b) +1 2 2 a + ( + 1)ab + b2 2 + 2 + 1 2 2 3 2 ( + 2 + 1)a + ( + 2 + )ab + (2 + 2 + 1)b2 (a b)2 Para 2 se tiene a2 + ab + b2 +2 a2 + 2ab + b2 4 ( + 2)a2 + (2 + 4)ab + ( + 2)b2 ( 2)(a b)2 Para 0 se tiene (a + b)(a + b) +1 (2 + 2 + 1)a2 + (22 + 4 + 2)ab + (2 + 2 + 1)b2 ( 1)2 (a b)2 Para 0 2 se tiene a+b 2 4a2 + 4ab + 4b2 (2 )(a + b)2 a2 + ab + b2 +2 ( + 2)a2 + (2 + 4)ab + ( + 2)b2 0 a+b 2 4a2 + (42 + 4)ab + 4b2 0 a+b 2 a2 + ab + b2 +2 4a2 + 4ab + 4b2 0 a2 + ab + b2 +2 2 a + ab + b2 +2 (2 + 2)a2 + (3 + 22 + + 2)ab + (2 + 2)b2 0

PROBLEMA 234, propuesto por D.M. Batinetu-Giurgiu, Bucarest, y Neculai Stanciu, Buzau, Ruman a Sea f : R R una funci on par y derivable, con derivada continua. Si a R+ , calcular +a f ( x) + f (x) ln(1 + ex ) dx. 1 + ex a Soluci on por Daniel Lasaosa Medarde, Universidad P ublica de Navarra, Pamplona, Espa na Sea g (x) = f (x) ln(1 + ex ), con lo que g (x) = f (x) ln(1 + ex ) + y la integral pedida es
+a a +a

ex f ( x) , 1 + ex ex 1 f (x) dx = ex + 1

f (x) + f (x) ln(1 + ex ) dx = 1 + ex

+a

g ( x)
a

= g (a) g (a)
a

f (x) tanh(x)dx.

Ahora bien, como f (x) es par, y tanh(x) es impar, su producto es impar, y la integraci on de este entre l mites sim etricos es nula. Luego como f (a) = f (a) por ser f (x) par, el valor de la integral pedida es g (a) g (a) = f (a) ln 1 + ea 1 + ea = f (a) ln (ea ) = af (a).

Problema 235. Soluci on de Roberto Bosch Cabrera, Ciudad de la Habana, Cuba. La distribuci on gamma es continua y depende de dos par ametros k y cuya funci on de densidad para valores x > 0 es (x)k1 f (x) = ex (k ) de donde X (n + 1, 1) tendr a funci on de densidad f (x) = de esta forma resulta

xn ex n!

P(X 3)

=
3

xn ex dx n!
3

= =

1 n!

xn ex dx
0 3 0

xn ex dx

(n + 1) 1 n! n!
3

xn ex dx
0 3 3 2

= e

+e

3+e

2!

+ + e3

3n n!

despu es de aplicar integraci on por partes varias veces. Entonces Y Poisson(3), ya que P(Y n) = P(Y = 0) + P(Y = 1) + + P(Y = n) 32 3n = e3 + e3 3 + e3 + + e3 2! n!

Ahora teniendo en cuenta que mk (Y ) = E(Y k ) se obtiene

m1 (Y ) = E(Y ) =
k=0

3k 3 e =3 k!

donde se ha usado la expansi on en serie de Taylor de ex . Adem as queda

m2 (Y ) = E(Y 2 )

=
k=0

k2 k
k=0

3k 3 e k!

= = =

3k 3 e + k!

k (k 1)
k=0

3k 3 e k!

3+9
k=2

3 e3 (k 2)!

k2

12

m3 (Y ) = E(Y 3 )

=
k=0

k3 k2
k=1

3k 3 e k! 3k e3 (k 1)!
2

= = = = Quedando nalmente
m3 (Y ) m2 (Y )

3
k=1

3k1 3 e +6 (k 1) (k 1)!

k=1

3k1 3 e +3 (k 1) (k 1)!

k=1

3k1 3 e (k 1)!

3 12 + 6 3 + 3 57 = 4.75, cuya parte entera es 4.

57 12

Noticia de Congresos, comentario de pginas web y resea de libros 48 Crossing the Bridge y The Geometry of the triangle; dos libros de Gerry Leversha. La coleccin de libros que publica The United Kingdom Mathematics Trust no tiene, todava, muchos ttulos en su haber, pero todos son sumamente interesantes. En 2008, Gerry Leversha, miembro de la Mathematical Association y actualmente editor de su revista The Mathematical Gazette public Crossing the bridge, un volumen de 180 pginas dedicado a estudiar los aspectos fundamentales de la Geometra eucldea elemental. Recientemente (este mismo ao 2013) ha realizado un verdadero tour de forc y acaba de salir, tambin en la coleccin del UKMT, The Geometry of the triangle (541 pginas!). Este libro est llamado a ser, a buen seguro, un ttulo de referencia para quienes, por su edad o por obra y desgracia del currculo escolar y universitario que les toc vivir, no han podido degustar los resultados geomtricos sin utilizar coordenadas; aun cuando en uno de los Apndices del libro se tratan las coordenadas baricntricas, muy utilizadas hoy en da en revistas digitales como Forum Geometricorum o Foros de internet como Advanced Geometry, un foro muy reciente que sustituye a Hyacinthus, que ha sido cancelado unilateralmente por su Administrador de cuyo nombre prefiero no acordarme. En ambos libros se incluyen muchos ejercicios propuestos; la edicin y tipografa son impecables (no poda ser menos, en estos tiempos tecnolgicamente avanzados); la Bibliografa es amplia e incluye muchos enlaces a sitios de Internet, con lo que se beneficiarn, tambin, quienes no tengan acceso a una Biblioteca tradicional con libros de Geometra en formato tradicional. Recomiendo vivamente estas dos preciosas muestras de la Geometra explicada comme il faut. Leversha, G. Crossing the bridge. Pathways number 1. UKMT, 2008. Leversha, G. The Geometry of the Triangle. Pathways number 2. UKMT, 2013. Valladolid, 27 de mayo de 2013 Francisco Bellot Rosado

Capturado en internet 48

Topologa de la recta real

Que levante la mano quien no lo haya escuchado en clase alguna vez

Nuevas tecnologas

La vida real no siempre es polticamente correcta

Si lo ponen en prctica, los matemticos s que tendran desempleo

Salvando la infinita distancia con el protagonista de la foto, la mesa del editor est aproximadamente as.