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
ertimenttos Mate
emticos
s 48
Los Caballerros de la Larga Bsqued
da(1 pa
arte), po
or Vctor Bujn
Delg
gado.
Capturado en
n internett 48
as inform
maciones
Otra
Club
b GeoGe
ebra Iberroameric
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
anos a inc
corporarse
e al Club
b GeoGeb
bra
iberroamerica
Iberoamericano. Esta iniciatiiva cuenta con el apoyo
a
e
impulso de la
a Consejera de Econom
E
a, Innov
vacin, C
Ciencia y
pleo de lla Junta de Anda
aluca y la coordin
nacin aca
admica se
s
Emp
lleva
a desde la
a Univerrsidad de
e Crdob
ba (Espa
a).

Ms informacin [+] http:///www.ibertiic.org/clubggeogebra.phhp

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 VIII 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

Angelo, sit tibi terra levis.

Valladolid, 27 de mayo de 2013.

Francisco Bellot Rosado

x
2(2 + x)

<

1
16

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,

lo cual es imposible. Por lo tanto, es suficiente probar los nmeros primos

que son menores o iguales que 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:

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

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

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

3

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 )

dt

ln t

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

viii)

Si p es primo y 1 k p , entonces (k 1)!( p k )!+ ( 1)

k 1

0(mod p )

y recprocamente (H.Demir, Mathesis 1962)

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
h
D

es decir la media

geomtrica entre x, y. Por otra parte

O

C
y

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

nmeros

no

negativos

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

. 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

inscrita

en

el

tringulo,

entonces:

.
Solucin:
Sea S el rea del tringulo, tenemos

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

(Esto es fundamental a la hora de

en

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

Solucin:

se cumple:

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

, se cumple que

. Cundo ocurre la igualdad?

Solucin: teniendo en cuenta que
por

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

de

manera

anloga

. Sumando miembro a miembro obtenemos

la desigualdad deseada.
Problema 10. (Lista corta, OIM 2004) Si los nmeros positivos
satisfacen

que

la

suma

es

1,

prueba

,
que:

.
Soludin:

Haciendo

Es evidente que

equivalente a:

definimos

, la desigualdad es

. Usando la desigualdad media aritmtica media

geomtrica deducimos que:

, usando la desigualdad media aritmtica

media geomtrica

Problema 11. (Ucrania, 2004) Sean

Solucin:

, con

. Prueba que

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

, se cumple

que:

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

; y adems

Entonces
Y

, sumando miembro a miembro

tenemos la desigualdad que queremos demostrar.

Problema 13. (Grecia, 2010) Si

prueba que

. Cundo ocurre la igualdad?

Solucin:
La desigualdad se puede transformar en

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

se cumple

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

( 1)i a n

que

n 1

( 1)i ( 1)i

i )1

i 1

r j1 ...r ji

rj1 ...rji

1 j1 ... ji n

i 1 1 j1 ...
n 1

Una doble sumatoria con un total de

2n

ji

2 trminos. Ahora por la

i 1

desigualdad Media Aritmtica-Media Geomtrica (aplicable porque los ri son

positivos) se sabe que
n 1

r ...r ji

j1
i 1 1 j1 ... ji n
n

n 1
2n 2

r ...r ji

j1
i 1 1 j1 ... ji n

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

n
n 1
2

n 1

r ...r ji = 2n

j1
i 1 1 j1 ... ji n

2n 2

= 2( 2

2)

rk

k 1

r ...r ji

j1
i 1 1 j1 ... ji n

i 1 1 j1 ... ji n

r j1 ...r ji

k 1

rk

n 1

rk = a0
k 1

Una recopilacin de los resultados obtenidos hasta el momento permite

concluir que
i

( 1) an
i 1

n 1

n 1
i

(2

2) ao

entonces

( 1) an 1
i 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
1
abc

33

ab + bc + ca = 1. Probar que
3

6( a b c )

3
.
abc

Solucin:
Escribamos

3
3

3
3

1
abc

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

abc
3

3
3

como ab + bc + ca = 1 tenemos

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

6(a b c)

4 3(ab) 2

(bc) 2
abc

(ca) 2

3
3

1 3ab 3(ab) 2

3bc 3(bc) 2
abc

3ca 3(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

1
.
27

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

1
3

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

, y

, funciones

. Demuestra que la ecuacin

tiene

soluciones

si

solo

si

las

tienen ceros comunes.

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

funciones

Entonces

se

cumple

la

igualdad

en

esta

desigualdad:

y como

porque tiene que cumplirse la igualdad

, entonces los

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

Problema 19. (China, 2006) Sea

el mximo valor de la suma

. Determina

, donde

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

si

son nmeros reales que satisfacen la

, con

Solucin:
Sea A = x2 + y2 y B = x2 y2 entonces x2 =

xy =

x2y2 =

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

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

Sustituyendo en la ecuacin dada tenemos A = B

A B A B
(1)
2
2

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

Reordenando (1) encontramos que 4a2 = B2(A2 B2) y A2 =

2.

B4
B2

luego B

obteniendo que B > 2.

Ahora, (B2 8)2

0, y B4

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

teniendo entonces que x2 + y2 = A

B4
B2

16

4. Finalmente notemos que x2 + y2 puede

tomar el valor 4, por ejemplo para x =

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

2r2. determina para qu casos se

cumple la igualdad.
Solucin:
El rea A del tringulo CED satisface que
C

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

D
E

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

igualdad se cumple si y solo si CE = CD y

2 A r y A2

2Ar2 donde A

2r2. La

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

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)
Sean f : [0; 1] ! [2; 3] una funcin estrictamente montona; C = 13 ; 12 ; 1
[0; 1] ; A [2; 3] tal que f 1 (A) = C:
i) Estudiar si f admite funcin inversa.
ii) Se considera la funcin g : [0; 1] ! R denida mediante
g(x) =

f (x) ; x 2 0; 21
3 f (x) ; x 2 21 ; 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

z) + (z

x) = 200

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

(x

y) + (y

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 ,

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

{B1} = AB AB ,

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

( 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 ) ) .

coordenadas

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

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

Sexa

f ( x ) = arctan ( (1 senx ) senx ) + arctan ( (1 cos x ) cos x ) ,

x ( 0, 2 ) .

Como

f ( x) 0

( 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

4, 2 )

( ( 2 ) ) , resulta que

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

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

segundo e cuarto cuadrantes).

PROBLEMA 231, propuesto por Antonio F. Costa y Juan Bosco

Romero M
arquez (), Avila,
Espa
na
Sea ABC un tri
angulo rectangulo cuyo angulo recto tiene por vertice A. En la
recta que contiene a la hipotenusa de ABC se consideran los puntos B 0 , exterior
a la hipotenusa y tal que BB 0 = BA, y C 0 , exterior a la hipotenusa y tal que
CC 0 = CA.
Sea r la recta que pasa por B 0 y C 0 ; H1 el semiplano determinado por r que
contienen a A; H2 el semiplano determinado por r que no contiene a A.
Por B 0 trazamos dos rectas paralelas a los catetos y lo mismo hacemos por C 0
obteniendo as un rect
angulo A0 B 0 C 0 D0 ; el punto A0 es el vertice del rectangulo que
est
a en el semiplano H2 .
Por A0 trazamos las rectas que pasan por B y C, y llamamos B 00 y C 00 a las
intersecciones de dichas rectas con los lados del rectangulo y distintas de A0 .
Probar:
1. Que el punto A est
a en el segmento B 00 C 00 .
0 00 00
2. El tri
angulo A B C es rectangulo si y solo si el triangulo ABC tiene
angulos agudos que miden 30 y 60 .

3. El
angulo con vertice A0 del triangulo A0 B 00 C 00 es como maximo 45 , y ese
valor se alcanza cuando ABC es un triangulo isosceles (y por tanto tambien
A0 B 00 C 00 es is
osceles).
Soluci
on por Daniel Lasaosa Medarde, Universidad P
ublica de Navarra,
Pamplona, Espa
na
Los tri
angulos ABC, D0 B 0 C 0 y A0 C 0 B 0 son claramente semejantes, siendo el
,
segundo y el tercero resultado de escalar el primero con factor de escala a+b+c
a
donde se ha usado la notaci
on habitual para los lados del triangulo, y a2 = b2 + c2
por ser ABC rect
angulo en A. Usaremos libremente esta relacion de semejanza en
toda la soluci
on. Asumiremos sin perdida de generalidad que b c, ya que podemos
intercambiar B, C y todos sus puntos correspondientes, sin alterar el problema.
Proposici
on 1: Sea A0 B 0 D0 C 0 un rectangulo cuyos lados mayores A0 B 0 y C 0 D0
b(a+b+c)
miden
, y sus lados menores B 0 D0 y A0 C 0 miden c(a+b+c)
, donde a2 =
a
a
2
2
0 0
0 0
b + c . Elijamos respectivamente sobre los lados D B , D C puntos P, Q tales que
0
0
0 0
D0 P = D0 Q = 2bc
a . Entonces, las rectas A P y A Q cortan a la diagonal B C
0
0
0 0
0 0
0 0
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 0 C 0 del rectangulo mide
claramente a + b + c. Consideremos un sistema de coordenadas cartesianas con
centro en B 0 y tal que las semirrectas B 0 A0 y B 0 D0 son respectivamente los semiejes
positivos horizontal y vertical. La ecuacion de la diagonal es claramente y = cx
b , y
c(a+b+c)
c(ab+c)
2bc
0
0
como B P =
a =
, la ecuacion de la recta A P es claramente
a
a
c(ab+c)x
y = c(ab+c)

.
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

x=

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

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

Proposici
on 2: En la situacion descrita en el enunciado, A esta a una distancia

AD0 = 2bc
de D0 , y sobre la bisectriz del angulo recto B 0 D0 C 0 .
a
Demostraci
on 2: Sean H, H 0 las proyecciones de A, D0 sobre la recta B 0 C 0 .
Claramente,
HH 0 = BB 0 + BH B 0 H 0 = c +
mientras que AH =
AD0 =

bc
a

y D0 H 0 =

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

a
a2
a2

bc(a+b+c)
,
a2
2

HH 0 2 + (D0 H 0 AH) =

luego

bc p
(b c)2 + (b + c)2 =
a2

2bc
,
a

quedando demostrada la primera parte de la proposicion. Al mismo tiempo,

cos AD0 H 0 =

b+c
D0 H 0 AH
= ,
AD0
2a

con lo que al ser cos B 0 D0 H 0 =

b
a

sin AD0 H 0 =

bc
HH 0
= ,
AD0
2a

y sin B 0 D0 H 0 = ac , se tiene que

1
cos B 0 D0 A = cos B 0 D0 H 0 cos AD0 H 0 sin B 0 D0 H 0 sin AD0 H 0 = ,
2
luego en efecto B 0 D0 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 0 , Q0 de la Proposici
on 1, luego B 00 , C 00 coinciden con los puntos P, Q de la
00 0 00
Proposici
on 1, es decir, B D C es rectangulo isosceles en D0 , con longitud de cate2bc
tos a . El punto medio de la hipotenusa B 00 C 00 es claramente el circuncentro de
B 00 D0 C 00 , y est
a sobre
la bisectriz de B 00 D0 C 00 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 00 C 00 , como queramos demostrar.
Supongamos que A0 B 00 C 00 es rectangulo en C 00 . Como D0 C 00 B 00 = 45 , se tiene
que A0 C 00 C 0 = 45 , es decir, al ser A0 C 0 C 00 = A0 C 0 D0 = 90 , A0 C 00 C 0 es
rect
angulo is
osceles en C 0 , luego A0 C 0 = C 0 C 00 = C 0 D0 D0 C 00 . El recproco es
cierto, es decir, si A0 C 0 = C 0 C 00 , entonces A0 C 00 C 0 = 45 , y A0 B 00 C 00 = 90 .
Luego A0 B 00 C 00 es rect
angulo en C 00 si y solo si
c(a + b + c)
b(a + b + c) 2bc
=

,
c2 + 2bc b2 = a(b c).
a
a
a

Sea ab = sin = 1 x2 , ac = cos = x, con lo que sustituyendo y reorganizando

terminos, la anterior relaci
on es equivalente a
p

0 = (1 2x)
1 x2 + 1 + x .
El segundo factor s
olo puede ser nulo cuando
x = 1, claramente imposible pues

0 < ac < 1, luego ha de ser c = a2 y b = 23a , con ABC = 60 y ACB = 30 .

Restaurando la generalidad, y al no poder ser B 00 A0 C 00 = 90 por ser B 00 A0 C 00 <
B 0 A0 C 0 = 90 , se tiene que A0 B 00 C 00 es rectangulo si y solo si uno de entre B, C
mide 60 y el otro 30 , como queramos demostrar.

La altura de A0 sobre B 0 C 0 es claramente bc(a+b+c)

, con lo que el area del
a2
bc(a+b+c)
0
. Ahora bien, por el teorema de Stewart,
tri
angulo A BC es
2a
2

(a + b)2 (a2 2ab + 2b2 )

BB 0 A0 C 0 + BC 0 A0 B 0
0
0

BB

BC
=
,
B0C 0
a2
y de forma similar para CA0 intercambiando b y c. Entonces,
abc(a + b + c)
p
sin B 00 A0 C 00 = sin BA0 C =
.
(a + b)(a + c) (a2 2ab + 2b2 )(a2 2ac + 2c2 )
2

BA0 =

Definiendo 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 00 A0 C 00 = sin BA0 C =
4
2a 2as3 + s4
Por lo tanto, B 00 A0 C 00 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 solo si b = c, es decir,
B 00 A0 C 00 45 , con igualdad si y solo si ABC es isosceles, como queramos
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'

C''=C*

A
B''=B *

C
B'

H1
C'

H2

D''

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

Operando el primer miembro de la ltima igualdad, queda

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

a2

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

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

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 m 2 + 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

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

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

(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

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

Por la razn de semejanza K =

(a + b + c)
podemos hallar fcilmente AC:
a

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

ab

ab
a2 + (2 + 1)ab + b2
(a b)2

p
(a + b)(a + b)
+1
(a + b)(a + b)
2 + 2 + 1
2
ab + 2ab + ab
0

Para 0 se tiene
p
(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

a2 + ab + b2
+2
2
a + ab + b2

+2
(2 + 2)a2 + (3 + 22 + + 2)ab + (2 + 2)b2
0

Para 2 se tiene
r

a2 + ab + b2
+2
a2 + 2ab + b2

4
( + 2)a2 + (2 + 4)ab + ( + 2)b2
( 2)(a b)2

a+b
2
a2 + ab + b2

+2
4a2 + 4ab + 4b2
0

Para 0 se tiene
p
(a + b)(a + b)
+1
(2 + 2 + 1)a2 + (22 + 4 + 2)ab + (2 + 2 + 1)b2
( 1)2 (a b)2

a+b
2
4a2 + (42 + 4)ab + 4b2
0

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

PROBLEMA 234, propuesto por D.M. Batinetu-Giurgiu, Bucarest, y

Neculai Stanciu, Buzau, Rumana
Sea f : R R una funci
on par y derivable, con derivada continua. Si a R+ ,
calcular

Z +a 
f (x)
0
x
+
f
(x)
ln(1
+
e
)
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 0 (x) = f 0 (x) ln(1 + ex ) +

ex f (x)
,
1 + ex

y la integral pedida es


Z +a 
Z +a 
ex 1
f (x)
0
x
0
+
f
(x)
ln(1
+
e
)
dx
=
g
(x)

f
(x)
dx =
1 + ex
ex + 1
a
a
Z +a
= g(a) g(a)
f (x) tanh(x)dx.
a

Ahora bien, como f (x) es par, y tanh(x) es impar, su producto es impar, y la

integraci
on de este entre lmites simetricos es nula. Luego como f (a) = f (a) por
ser f (x) par, el valor de la integral pedida es


1 + ea
= f (a) ln (ea ) = af (a).
g(a) g(a) = f (a) ln
1 + ea

Problema 235. Soluci

on de Roberto Bosch Cabrera, Ciudad de la Habana, Cuba.
La distribucion gamma es continua y depende de dos parametros k y cuya funcion 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
xn ex
n!

f (x) =
de esta forma resulta
P(X 3)

xn ex
dx
n!
3

Z
Z 3
1
xn ex dx
xn ex dx
=
n!
0
0
Z 3
(n + 1)
1
=
xn ex dx

n!
n! 0
3n
32
= e3 + e3 3 + e3 + + e3
2!
n!
Z

despues 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 ) =

X
3k
k e3 = 3
k!

k=0

donde se ha usado la expansi

on en serie de Taylor de ex . Ademas queda
m2 (Y ) = E(Y 2 )

=
=

X
k=0

X
k=0

k2

3k 3
e
k!

3k
3k 3 X
k(k 1) e3
e +
k!
k!
k=0

X
3k2 3
3+9
e
(k 2)!

12

k=2

m3 (Y ) = E(Y 3 )

=
=
=

X
k=0

k3

3k 3
e
k!

k2

3k
e3
(k 1)!

k=1

k=1

=
=
Quedando finalmente

m3 (Y )
m2 (Y )

57
12

k=1

k=1

X
X 3k1
3k1 3
3k1 3
e +6
e +3
e3
(k 1)
(k 1)
(k 1)!
(k 1)!
(k 1)!
2

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

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.