Revista Escolar de la Olimp ada Iberoamericana de Matemtica

Nmero 21 (Septiembre-octubre 2005)

ISSN 1698-277X

ndice

Art culos, notas y lecciones de preparacin ol mpica

Algunos problemas de Matemticas, por Juan Bosco Romero Mrquez
(dedicado a la memoria del Prof. Miguel de Guzmn Ozmiz)

Juegos y probabilidades, por Laurentiu Modan

Funcin signo segunda derivada, por Jess lvarez Lobo

--------------------------------------------------------------------------------

Problemas para alumnos de Educacin Media y de Olimpiadas

Presentamos los problemas de la XX Olimpiada Iberoamericana de
Matemticas (Cartagena de Indias, Colombia)

--------------------------------------------------------------------------------

Problemas para los ms jvenes

Cinco problemas de los Crculos Matemticos Rusos

--------------------------------------------------------------------------------

Problemas

Debido a numerosos problemas informticos sufridos durante el verano, es
posible que algunos ficheros enviados por los lectores no se hayan recibido.
Por ello se ruega se compruebe si se ha producido esta circunstancia.

El editor presenta excusas al Prof. Jess lvarez Lobo por haber omitido su
nombre entre los lectores que han resuelto los problemas nmeros 91 y 92, as
como a los Problemas 1 y 2 de la Olimpiada de Australia, incluidos en la
seccin de problemas de nivel medio y de Olimpiadas.

Resueltos:

Problema 97. Recibidas soluciones de : Jess lvarez Lobo (Oviedo, Espaa);
Floro Damin Aranda Ballesteros (Crdoba, Espaa); Luis Gmez Snchez
Alfaro (Callao, Per); Daniel Lasaosa Medarde (Pamplona, Espaa); Marcos
Martinelli (Brasil); Bruno Salgueiro Fanego (Vivero, Espaa) y el proponente.
Presentamos las soluciones de Marcos Martinelli y de Luis Gmez Snchez
Alfaro.

Problema 98: Recibidas soluciones (idnticas, dicho sea de paso) de: Floro
Damin Aranda Ballesteros (Crdoba, Espaa); Daniel Lasaosa Medarde
(Pamplona, Espaa); Marcos Martinelli (Brasil); Bruno Salgueiro Fanego
(Vivero, Espaa) y el proponente. Presentamos la solucin de Aranda.

Problema 99: Recibidas soluciones de : Daniel Lasaosa Medarde (Pamplona,
Espaa); Marcos Martinelli (Brasil); Bruno Salgueiro Fanego (Vivero, Espaa) y
el proponente. Presentamos la solucin de Lasaosa.

Problema 100: Recibidas soluciones de: Jess lvarez Lobo (Oviedo,
Espaa); Floro Damin Aranda Ballesteros (Crdoba, Espaa); Daniel Lasaosa
Medarde (Pamplona, Espaa); Marcos Martinelli (Brasil) y el proponente.
Presentamos la solucin de lvarez Lobo.


Propuestos

Propuestos 101-105
--------------------------------------------------------------------------------


Divertimentos matemticos

Cinco problemas de enunciado curioso

--------------------------------------------------------------------------------

Reseas web

Una pgina de competiciones en Serbia y Montenegro

Editor: Francisco Bellot Rosado
ALGUNOS PROBLEMAS DE MATEMTICAS





Por Juan Bosco Romero Mrquez


Dedicado a la memoria del Prof. Miguel de Guzmn Ozmiz.






1 Introduccin

En este trabajo, presentamos dos cuestiones matemticas en forma de
problemas como un homenaje a la memoria del admirado y querido, Profesor.
Miguel de Guzmn Ozmiz, gran matemtico y mejor persona que cautivaba con
su entraable personalidad a todos los que fuimos alumnos y amigos suyos.
Su gran sencillez y fcil accesibilidad, le haca rebosar de una entraable
personalidad humana y cientfica que haca que su urea de ser humano bueno se
proyectara en todo lo que haca, con un amor sin lmites, en su Fe inquebrantable,
y en su entrega y ayuda a los dems de una forma desinteresada.
El primer problema que voy a proponer y resolver cae dentro del mbito del
Anlisis Matemtico, y ms concretamente, se trata de probar una desigualdad
con cota inferior y superior de la Funcin Gamma de Euler.
El segundo problema versa sobre un resultado elemental de la Geometra del
Triangulo que se resuelve dentro de diferentes contextos : Geometra Sinttica,
Analtica sin DERIVE, y, con DERIVE siguiendo la lnea de
[ ] 1
.
Ambas partes de la Matemtica, el Anlisis y la Geometra, que eran las ms
queridas por el Prof. Miguel de Guzmn Ozmiz, a las que dedicaba sus
investigaciones matemticas de cualquier nivel.
Adems, entre otras muchas cosas, una fundamental y principal para l, era
ensear y aprender la Matemtica a travs del juego como una aventura, y la
belleza a conseguir como un premio, por eso hizo una ingente labor de
investigacin metodolgica y didctica, de ensear a los futuros profesores de
cmo descubrir estos dos parmetros en sus clases, que junto con la divulgacin
matemtica en sus libros y en revistas, las aplicaba con gran entrega a la
formacin de los futuros profesores porque tena una gran preocupacin por la
enseanza de la matemtica en todos los niveles educativos.


Estas dos cuestiones en forma de problemas que le dedico a l, como un
modesto homenaje y tributo a su vida, a su obra hecha con un gran amor y
desarrollada con juego y belleza, y con a su entraable y lucida personalidad tanto
humana como cientfica con la que siempre me senta arropado y ayudado.



2 Resultados.

Comenzamos esta seccin enunciado y resolviendo cada uno de los dos
problemas que presentamos en este trabajo.

Problema 1

Sean a, b, y c nmeros reales fijos, tales que b
, 0
a
,
2
3
c

x
, 1 c
probar que :


( )
( )
.
1 +

,
_

,
_

,
_

,
_

a c x b c x
c
x
e
x
c
x
c
x
e
x


donde
( ) x
=
,
0
1
dt e t
t x

con x >0, real es la funcin gamma de Euler,

llamada integral euleriana de segunda especie.

Demostracin.

Es un buen ejercicio elemental de Anlisis Matemtico, en que
estudiamos la monotona de dos funciones continuas e infinitamente derivables f
y g, que construimos al efecto utilizando una forma equivalente la desigualdad
propuesta, a travs de la funcin logaritmo, si para ello, utilizamos como
resultado clave para resolver este problema la desigualdad de Minc-Sathre-
Alzer, ver
[ ] [ ]. 7 2

y que dice as, en la parte que nos interesa aqu :




Lema. (Desigualdad de Minc-Sathre-Alzer)

Si x
, 1
es un nmero real, entonces se verifica :


( )
( ) x x
x
Lx
x
1
2
1
'
<

<
. (1)

Definimos la funcin f de variable real con valores reales, para c
, 1

como sigue :

f :
[ [ , , c

), ( ) 1 )( ( ) ( ) ( ) ( Lc Lx b Lx c x c L x L x f +


para x
1 c
. Esta funcin se obtiene de forma equivalente al tomar la funcin
logaritmo en el miembro de la izquierda de la desigualdad propuesta.

La funcin f as construida, en el intervalo considerado es continua e
infinitamente derivable en (c,
)
. Adems, f(c) = 0
Estudiemos ahora su monotona en el intervalo en que est definida
utilizando para ello, la derivada primera.
La derivada primera de f viene dada en ese intervalo :

f(x)=
, 0
) (
) ( 1 1
1
) (
) ( '

,
_

+ +
,
_

+
+
,
_

x
x
Lx
x x
c b
x
b
x
c x
Lx
x
x


ya que cada sumando entre parntesis en la expresin anterior, el primero es positivo
por las hiptesis dadas sobre b y c, y el segundo es positivo por la desigualdad de Minc-
Sathre-lzer, del lema, puesta en la forma :


,
) (
) ( 1
0
x
x
Lx
x

+ <
para x
. 1 c


De aqu , la funcin f montona creciente en
[ [ , c
, y por lo tanto,

0 = f(c )
) ( x f
, para
. 1 c x


Por consiguiente, pasando mediante la funcin exponencial inversa de
la funcin logaritmo, tenemos probado la desigualdad equivalente siguiente :


,
) (
) (
c
x
c
x
e
x
b c x

,
_

,
_

b
, 0
x
. 1 c
(2)


Similarmente, definimos la funcin g de variable real con valores reales, para
c
, 1
como sigue :

g:
[ [ , , + c
g(x)=(a+1)(Lx-Lc)+(x-c)(Lx-1)-
( ) ), ( ) ( c L x L


x
. 1 c


La funcin g es continua en el intervalo dado e infinitamente derivable en
(c,
).

Veamos ahora su monotona a travs de la derivada primera en (c,
).

La derivada primera viene dada por la siguiente expresin :

g(x)=
.
) (
) ( ' 1
) (
) ( '
1
1

,
_

+
+

,
_

+ +
,
_

+
x
x
Lx
x
c a
x
x
x
c x
Lx
x
a


Ahora acotemos g(x), en (c,
), +
utilizando para ello, las hiptesis sobre a y
c, y la desigualdad de Minc-Sathre-lzer, en el miembro de la izquierda del lema.
En efecto, llegamos a :

g(x) = ,
. 0
2
3 2 2
2
1 1
) (
) ( ' 1

+
+
+

,
_

+
+
x
c a
x x
c a
x
x
Lx
x
c a

ya que, por hiptesis, a
,
2
3
c
x
, 1 c

.
) (
) `(
2
1
x
x
Lx
x

<


De aqu, obtenemos que la funcin g es montona creciente en el
intervalo definida. Como, adems, 0= g(c)
), ( x g
para x
, 1 c

.
2
3
c a

Por todo lo anterior tenemos demostrada la desigualdad de la derecha propuesta
en nuestro problema. Es decir :


,
) (
) (
1 +

,
_

,
_

a c x
c
x
e
x
c
x
x
, 1 c
a
,
2
3
c
(3).

Finalmente, de las desigualdades demostradas en (2) y (3), llegamos al
resultado propuesto en nuestro problema.
Nuestra desigualdad probada en el problema anterior, es un caso ms
general de la desigualdad propuesta por m, en el Problema 11016, publicado en
la American Mathematical Monthly, Vol.110, N.5, May. 2003, cuando ponemos
c = 1.

Nota.- Ya que la desigualdad demostrada en el problema 1, depende de los
parmetros reales, a, b y c, un problema abierto interesante a resolver sera el siguiente :
Entre qu intervalos deben tomarse a , b y c, y qu tipo de relaciones
deben verificarse entre ellos, para que las cotas propuestas en nuestro problema sean las
mejores posibles?

El siguiente problema que proponemos y resolveremos cae dentro del
marco de la Geometra Elemental del tringulo, y, ha tenido una creacin,
proposicin y resolucin paulatina del mismo .

Problema 2

Sea ABC un tringulo rectngulo en A. Denotamos por D, E y F a
los puntos de tangencia de su crculo inscrito de incentro I , a sus lados BC,
AB y AC, respectivamente.
Designamos por J al centro del cuadrado IEAF, y por K,G, y
H , los puntos de interseccin de la recta DF con las prolongaciones si
son necesarias de el lado AB, la recta DE con el lado AC, y la
recta FE con el lado BC, respectivamente.

Probar que :

a) Los tringulos JBG y JKC, son ambos rectngulos e issceles.

b) Los puntos K, G, y H son colineales.

Demostracin.

a) Mtodo Sinttico.

Demostraremos que los tringulos JBG, JKC, son ambos rectngulos
e issceles, en el vrtice J. Por simetra en las construcciones geomtricas basta que
lo probemos para JBG, siendo el razonamiento
similar para el segundo.

De otra parte, construimos el punto L, obtenido como la
interseccin de la bisectriz BI con la recta DE.
Los tringulos rectngulos AGE y LBE son semejantes. Luego entonces el
ngulo B/2 es igual al nguloAGE.Tenemos as que los dos tringulos rectngulos BEI y
GAE son iguales, de este modo AG = BE.
De lo anterior consideramos ahora la igualdad de los tringulos GAJ y BEJ, y as
tenemos que BJ =GJ. Y por consiguiente el tringulo BGJ es issceles con lados iguales
BJ = GJ.
Por ltimo, demostremos que el tringulo JBG es rectngulo en el
vrtice, J.
En efecto:
Consideremos el ngulo
AJG <
=<EJB.
Como sabemos que < AJE =
2 /
, entonces :

<GJB =(<AJE - <AJG) + <EJB =
( ) . 2 / 2 / +

Por tanto, el tringulo JBG es rectngulo e issceles en J. q.q.d


b) Mtodo Analtico o Geometra con coordenadas .

De lo demostrado en el apartado a) sabemos que se tienen las siguientes
igualdades entre las longitudes de los segmentos, EB = AG y AK = FC .Este
hecho nos permitir elegir el siguiente sistema de coordenadas cartesianas :
Tomamos los catetos AB y AC como loe ejes X e Y , respectivamente de
nuestro sistema de referencia cartesiano, donde los vrtices del tringulo dado,
tienen como coordenadas, A(0,0), B(b,0) y C(c.0), con b distinto de c. Es
decir, que el tringulo rectngulo dado no es issceles..
De otra parte si r es radio del crculo inscrito al tringulo dado, tenemos para
los puntos relevantes en el problema, las siguientes coordenadas :

E(r,0) , F(0,r) , G(0,r-c) y K(r-b,0), respectivamente.

Determinemos ahora las coordenadas del punto H. Como H es el punto de
interseccin de las rectas BC y EF , hallemos en primer lugar las ecuaciones
de cada de estas rectas :

r(E,F) : x + y = 0 ; r(B,C) : bx + cy = bc. (1).

El punto H se obtiene por construccin como interseccin de las
rectas r(E,F) y r(B,C), que es equivalente a resolver el sistema
algebraico lineal de sus respectivas ecuaciones e incgnitas, y obtenemos que :

H(
)
) (
,
) (
b c
r c b
b c
b r c

(2).

Calculemos ahora la recta que pasa por los puntos G y K, que es :

r(G,K) :
. 1

+
c r
y
b r
x
(3).
Comprobemos que, los puntos G, K, y H estn alineados o son
colineales, sustituyendo las coordenadas de H , en la recta, r(G,K) . Esto es :


. 1
) )( (
) (
) )( (
) (

b c
b c
b c c r
r c b
b c b r
b r c
(4).

Hemos de concluir de(4), que los puntos G, K y H estn siempre alineados.q.q.d




Nota. En el caso de que el tringulo rectngulo dado ABC sea issceles, esto
es b = c, el resultado sigue siendo cierto con respecto a la
colineacin de los puntos G, K y H, ya que este ltimo al ser la recta FE
paralela a BC, H, es el punto del infinito.

Agradecimientos.

La solucin geomtrica de este problema propuesto y tambin resuelto
por m, junto con la solucin con DERIVE siguiendo la lnea del libro , junto con otras
consideraciones y generalizaciones, salvo pequeas modificaciones se debe a mi amigo
y colega, Floro Damin Aranda Ballesteros, por su colaboracin, ya que l, tambin
quera aportar su granito de arena, en este homenaje a la memoria del Prof. Miguel de
Guzmn Ozmiz.

Bibliografa.

[ ] 1
Miguel de Guzmn Ozmiz.: La experiencia de descubrir en Geometra,
Editorial Nivola, Madrid, 2002.

[ ] 2
H. Minc and L. Sathre.: Some Inequalities involving (r!)
r
1
,
Proc. Edinburgh Math.Soc.14(1965/66), . 41-46.

[ ] 3
D.S. Mitrinovic.: Analytic Inequalities, Springer, Berln, 1970.

[ ] 4
H. Alzer.: On some gamma function inequalities,
Math.Comp.60(1993), 337-346

[ ] 5
H. Alzer.: On some inequalities for the gamma and psi functions,
Math.Comp.66(1997), 373-389 .

[ ] 6
Juan Bosco Romero Mrquez.: Mathematics Magazine, Problem
1657, Vol. 75, N.3, June 2002, 227.

[ ] 7
Juan Bosco Romero Mrquez.: America Mathematical Monthly,
Problem 11016, Vol. 110, N.5, May, 2003.



JUEGOS Y PROBABILIDADES


LAURENIU MODAN
Department of Mathematics, Faculty of Computer Science
Academy of Economic Studies, Bucharest
modanl@inforec.ase.ro, modan_laurent@yahoo.fr


Abstract. We propose an introduction in Combinatorial Probabilities, using some problems
based on a number of games which are more or less known, in the world of Mathematics.
MR classification: 05A05, 60A99.


PRELIMINARES

La Teora de la Probabilidad se introduce generalmente con dificultad en los etudios
universitarios y slo en los cursos superiores, porque requiere el conocimiento de otras muchas ramas de
las Matemticas, especialmente las teoras de Integrabilidad y de la Medida. Esto es habitual en las
Facultades de Matemticas y no hay problema en que la Teora de la Probabilidad aparezca en los cursos
finales. Por otra parte, en todas las carreras Tcnicas, el estudio de las Probabilidades debe hacerse
antes, por exigencia de las disciplinas de Fsica, Qumica y otras. Por lo tanto, la forma directa de
presentar la Teora de la Probabilidad est relacionada con lo que se considera clsica o Combinatoria,
en el caso discreto, o utilizando la integral de Stieltjes en el caso continuo. Teniendo en cuenta el hecho
de que nuestra vida diaria presenta principalmente fenmenos discretos, que se encuentran en problemas
tcnicos, econmicos o sociales, sostengo la idea de que las probabilidades pueden ser introducidas
desde los cursos iniciales de los estudios universitarios, en cuanto los mtodos de recuento sean
conocidos. Por lo tanto, una leccin como esta podra ser titulada Probabilidades Combinatorias, como
el libro de referencia de los grandes matemticos P. Erds y A. Rnyi.

IDEAS BSICAS

En todo lo que sigue usaremos las nociones clsicas de Combinatoria (ver [9]) y tambin las de
Probabilidad elemental (ver [5], [8]). Para un suceso aleatorio A, su probabilidad es:
( )
s sosposible nmerodeca
les sosfavorab nmerodeca
A P (1)
Y la probabilidad del suceso complementario A, es:
( ) ( ) A P A P 1 (2).
La probabilidad de que se produzca el suceso aleatorio A, si se verifica el suceso aleatorio B ,
est dada por el suceso condicional A/B, siendo
( )
( )
( )
( ) 0 > B P ,
B P
B A P
B A P
I
(3).
Recordemos tambin que mediante el esquema hipergeomtrico (ver [3]), podemos calcular la
probabilidad ( ) , P de la extraccin, sin reemplazamiento, de bolas blancas y bolas negras, de
una urna donde hay inicialmente a bolas blancas y b bolas negras:
( )

,
_

+
+

,
_

,
_

b , a ,
b a
b a
, P (4).
Dos sucesos aleatorios A y B son incompatibles si B AI , de donde:
( ) ( ) ( ) B P A P B A P + U (5).
Si los sucesos A y B son compatibles, es decir si B AI , entonces se verifica la relacin:
( ) ( ) ( ) ( ) B A P B P A P B A P I U + (6).
En el caso de n sucesos compatibles , usaremos la relacin de Poincar, como consecuencia de la
frmula de Inclusin y exclusin::
( ) ( ) ( ) + + +

,
_

< < <
L I I I
U
n k j i
k j i
n j i
j i
n
i
i
n
i
i
A A A P A A P A P A P
1 1 1 1

( ) ( )
n
n
A A P I K I L
1
1
1

+ + (7).
Recordemos la nocin de variable aleatoria discreta. Sea un conjunto finito o numerable , el
correspondiente espacio boreliano de probabilidad ( ) P , , (ver [8]), donde ( ) , y : P
[0,1] es una funcin de probabilidad. Ahora definimos una variable aleatoria discreta como una funcin
: X R , donde:
( ) ( )
j i I i i
x x x X

, para j i cuando I .
Si los sucesos
i
A estn dados por:
( ) { } ( ) I i x X A
i i
, ,
Entonces sus probabilidades son:
( ) ( ) { } ( ) ( ) I i x X P A P p
i i i
, (8).
As, la variable aleatoria discreta se denotar por:
( ) I i p
p
x
X
i
i
i

,
_

, 0 , : , cuando

I i
i
p 1 (9).
Su esperanza matemtica ( ) X E se define como:
( )

I i
i i
p x X E (10).

LOS PRINCIPALES ARGUMENTOS, POR MEDIO DE PROBLEMAS

Los comienzos de la Teora de la Probabilidad estn relacionados con los juegos y datan de hace
ms de cuatro siglos y medio. As, en la frontera entre la primera y segunda mitad del siglo XVI,
Cardano escribi El libro sobre el juego de dados (Liber de Ludo Aleae), aunque su publicacin se
produjo un siglo ms tarde, hacia el ao1663. De hecho, este es el perodo en el que los problemas
planteados por juegos fueron presentados a matemticos importantes de la poca para ser resueltos, y
que son considerados los precursores de la Teora de la Probabilidad. Entre quienes analizaron los
juegos mediante las matemticas podemos citar a Pascal, Fermat, Huygens, Bernoulli, Laplace. En
particular, Laplace fu el primero que observ: Es notable que una rama de la ciencia que empez
analizando juegos se haya convertido en el mtodo ms importante del conocimiento humano.
En lo que sigue, intentaremos probar que usando diferentes juegos (dados, cartas, Lotera, etc),
que tienen un dominio discreto, se puede introducir la probabilidad combinatoria de una manera natural.
Seguramente deberemos empezar por presentar el primer problema de probabilidad planteado a Pascal
en 1654 por el caballero francs De Mr.
Problema 1. (De Mr & Pascal). Un jugador y la banca quieren hacer apuestas equitativas. Estudiar las
probabilidades de ganar, si el jugador quiere obtener:
i) al menos un 6, en 4 lanzamientos de un dado;
ii) al menos dos seises, en 24 lanzamientos con 2 dados.
Solucion. i) Consideremos el suceso:
A
1
= {no aparicin de un 6 en 4 lanzamientos}.
Debemos calcular ( ) 1 A P . Observemos en primer lugar que el nmero de casos posibles es el cardinal del
conjunto
{ } { } { } 6 , 5 , 4 , 3 , 2 , 1 , , , :
4 3 2 1 1
t t t t f f M ,
Donde f est definida en el conjunto de los 4 lanzamientos y con valores en las caras del dado.
Obviamente,
4
1
6 M .
Para el nmero de casos favorables, eliminando la cara 6, debemos calcular el cardinal del conjunto:
{ } { } { } 5 , 4 , 3 , 2 , 1 , , , :
4 3 2 1 2
t t t t g g M ,
Que es
4
2
5 M . Por lo tanto:
( ) ( )
4
1
1
6
5
1 1

,
_

A P A P 0,518.
ii) Sea el suceso:
2
A = {no aparicin de un doble 6 en 24 lanzamientos}
Debemos calcular ( ) 2 A P . Para ello, cuando se lanzan 2 dados, observemos que sus valores estn dados
por
( ) ( ) ( ) { } { } 36 2 1 6 6 6 1 1 1 , , , , , , , , , , K K K .
De aqu que el nmero de casos posibles es el cardinal del conjunto
{ } { } { } 36 , , 2 , 1 , , , :
24 2 1 3
K K t t t u u M ,
Y resulta ser
24
3
36 M .
Para los casos favorables, eliminando el 6 doble, debemos calcular el cardinal del conjunto:
{ } { } { } 35 , , 2 , 1 , , , :
24 2 1 4
K K t t t v v M ,
Es decir,
24
4
35 M . Entonces se tiene:
( ) ( )
24
2
2
36
35
1 1

,
_

A P A P 0,492.
Observacin 1. La situacin i) del Problema 1 es favorable al jugador, mientras que ii) es favorable a la
banca.
Problema 2. (De Mr & Pascal, Problema de las partidas). Dos personas igualmente hbiles toman
parte en un juego a varias partidas, en las que el ganador obtiene 1 punto si gana. El primero que consiga
3 puntos gana el juego. Por razones imprevistas han de suspender el juego cuando el marcador seala 2-
1. Cmo deben repartirse las apuestas entre los dos jugadores?
Solucin. El reparto ha de hacerse proporcionalmente a la probabilidad de ganar de cada jugador, si el
juego continuase. Para ello, observemos que el ganador se decide en a lo sumo 2 partidas. Supongamos
que el primer jugador, I, est en ventaja por 2-1.En las dos hipotticas partidas se tienen las siguientes
situaciones 4 situaciones igualmente posibles:
( ) ( ) ( )( ) II , II I , II , II , I , I , I .
En cada una de ellas, la primera y respectivamente la segunda posiciones muestra al ganador en la
primera, respectivamente la segunda partida. Por lo tanto, I tiene 3 situaciones favorables yII tiene slo
una de ser declarado ganador. Luego el reparto de las apuestas es:
( ) ( ) 25 0 4 1 75 0 4 3 , II P ; , I P .
Observacin 2. Es muy importante observer que el reparto no es proporcional al resultado, sino a la
probabilidad de ganar en el supuesto de que el juego continuase normalmente.
Problema 3. (L. Modan, ver [2]). Una baraja tiene 53 cartas, de las que 13 son comodines(jokers). La
baraja se utiliza en un juego con 6 jugadores y en el que hay un comodn a la vista sobre el tapete.
Calcular la probabilidad de que al menos un jugador tenga un comodn.
Solucin. Los 6 jugadores pueden tener entre sus cartas 1, 2,, 6 comodines. Usando el esquema
hipergeomtrico (4), y teniendo en cuenta que 6 cartas, de 52, se pueden elegir de

,
_

6
52
maneras, se
obtiene la siguiente probabilidad:

,
_

,
_

,
_

6
1
6
52
6
40 12
k
k k
P 0,791.
Problema 4. (L. Modan, ver [1]). De una urna donde hay 10 bolas numeradas del 0 al 9 se extraen, con
reemplazamiento, 7 bolas , para obtener un nmero inicial de 7 cifras. Los jugadores usan nmeros de 7
cifras, elegidos aleatoriamente. Ganan si obtienen el nmero inicial, o sus ltimas 6 cifras, o sus ltimas
5 cifras,.,o sus ltimas 3 cifras. Hallar la probabilidad de ganar de un jugador que solamente utiliza un
nmero.
Solucin. Para todo { } 7 3 , , i K , consideremos los sucesos:
A
i
= {aparicin de las ltimas i cifras del nmero extrado}.
Observemos que ( ) { } 7 , , 3 , K i A
i
son incompatibles, porque la aparicin de i cifras buenas impone
una ganancia que es diferente de la de la situacin con i-1 cifras buenas. Entonces, por (5), la
probabilidad de ganar de un jugador es:
( ) ( )

7
3
7 3
k
k
A P A A P U K U (11).
Pero observemos que en el sistema decimal, el cardinal del conjunto de nmeros de i dgitos es del
conjunto:
{ } { } { } 9 , , 0 , , 1 : K K i f f M .
Ya que
i
M 10 , tenemos:
( ) ( ) { } 7 , , 3 , 10 1 K i A P
i
i
,
Y as sucesivamente, as que, por (11), se tiene:
( ) 0011 , 0
10 1 1
10 1 1
10
1
10
1
10
1
5
3 7 3 7 3

+ + L U K U A A P .
Observacin 3. El Problema 4 es el modelo matemtico del juego NOROC (SUERTE) de la
Corporacin Autnoma de Loteras Rumanas.
Problema 5. (enunciado parcial del Problema III, pg. 22, de [6]). Una urna U cont iene 4 bolas negras
(b) y 2 bolas blancas (w). La urna pertenece a una banca que propone el siguiente juego a las personas
interesadas. El jugador extrae simultneamente y sin reemplazamiento, 2 bolas de U. Caben las
siguientes situaciones:
si las bolas son negras, el jugador gana > 0 euros y el juego termina;
si las bolas son blancas, el jugador pierde 6 euros y el juego termina;
si las bolas son de colores distintos, el jugador extrae, sin reemplazamiento, otras dos bolas, y:
si ambas son negras, gana > 0 euros, y el juego termina;
si las bolas no son negras, pierde 3 euros, y el juego termina.
Sea G la variable aleatoria que describe las ganancias del jugador.
i) Describir el grafo (rbol) correspondiente a las diferentes ganancias.
ii) Calcular la probabilidad q de que se extraigan 2 bolas negras la segunda vez, suponiendo que en la
primera han salido 2 bolas de distinto color.
iii) Calcular la probabilidad { } ( ) G P de ganar euros.
iv) Hallar la ley de probabilidad de la variable aleatoria G y calcular , para que el juego sea equitativo.
Solucin. i) El grafo correspondiente a la variable aleatoria G es el siguiente:


bb ww





bw





bb bw






ii) Despus de la primera extraccin, sin reemplazamiento, en la urna hay 4 bolas, de las que 3 son
negras y una blanca. En la segunda extraccin, 2 bolas negras pueden ser elegidas de

,
_

2
3
maneras,
mientras que dos bolas distintas, de 4, pueden ser elegidas de

,
_

2
4
maneras. Luego por (1), tenemos:

2
1
6
3
2
4
2
3

,
_

,
_

q .
iii) Sean A y B los sucesos siguientes:
A = {obtener 2 bolas de colores distintos en la primera extraccin},
B = {obtener 2 bolas negras en la segunda extraccin}.
Entonces, la probabilidad de ganar euros, por (3), es:
{ } ( ) ( ) ( ) ( ) ( ) A P q A P A B P B A P G P I (12).
Por (1), tenemos:
( )
15
8
15
2 4
2
6
1
2
1
4

,
_

,
_

,
_

A P (13).
Ahora, de (12) y (13), resulta:
G={>0}
(the end of
the game)
G={-6}
(the end of
the game)
G={>0}
(the end of
the game)
G={-3}
(the end of
the game)
{ } ( )
15
4
15
8
2
1
G P .
iv) Por (1), tenemos de nuevo:
{ } ( ) { } ( )
15
1
2
6
2
2
6
5
2
2
6
2
4

,
_

,
_

,
_

,
_

G P , G P ,
{ } ( ) { } ( ) { } ( ) { } ( ) 6 1 3 G P G P G P G P ( ) 15 4 15 1 15 8 15 2 1 + + .
Por lo tanto, la ley de probabilidad, o distribucin de G, es la siguiente:

,
_

15 4 15 6 15 4 15 1
3 6
: G .
Recordemos que un juego es equitativo cuendo la esperanza matemtica E de su variable aleatoria
asociada es 0. As, en nuestro caso, debemos imponer que ( ) 0 G E . Usando (10), tenemos:
( ) ( )
( )
15
3 4
4 6 12 6
15
1
+ +

G E .
Por lo tanto, podemos concluir que la condicin de juego equitativo se obtiene para 3 .
Problema 6. (L. Modan, ver [7]). Sea M un conjunto numerable de parejas de amigos (chico y chica)
que participan en una competicin de danza. Las chicas y los chicos estn en 2 habitaciones separadas.
En cada turno, ante el jurado bailan en pareja un chico y una chica, elegidos aleatoriamente, por lo que
puede ser que no se conozcan. Calcular la probabilidad de que, al menos, una de las parejas de baile sea
una de las parejas de amigos, y probar que esta probabilidad es menor que 1/2.
Solucin. Para todo

N i , consideremos los sucesos siguientes:

A
i
= {la pareja inicial i danza frente al jurado}.
De esta forma, la probabilidad pedida es:

,
_

U
N i
i
A P (14).
Primero calcularemos

,
_

U
n
i
i
A
1
P usando (7). Por(1), observemos que:
( )
( )
( )

N i
n n
n
A P
i
,
1 1
!
!
,

( )
( )
( )
( )

N from , ,
1
1 2
j i
n n n
n
A A P
j i
!
!
I ,
.................
( )
! n n
A A P
n
1
2 1
1
1

L L
I K I .
Estas relaciones nos permiten calcular:

( )
( )
( )
( ) + +

,
_

,
_

+ +

,
_

<

!
!
n n n
n
n
n
n n n n
A P
n
n
i n j i
n
n
i
i
1
1
1
1
2
1
1
1
1
1
1 1
1
1 1
1
1
L
L
U

( )
! ! ! n
n
1
1
3
1
2
1
1
1
+ + + L (15).
En el lmite, en (15), y usando de [4], la serie:
( )
e n
n
n
1 1
1
1
1

!
,
Encontramos, por (14),
( ) .
2
1 1

1
1
2
1
1 lim lim
1
1
<
,
_

+ +

,
_

,
_

e n
A P A P
n
n
n
i
i
n
i
i
! !
L
U U
N



BIBLIOGRAFA

[1] Modan L. Proposed problem (in Romanian), Gazeta Matematic pentru tineri, v. 100, nr.9,
Bucharest, 1995;
[2] Modan L. Proposed problem (in Spanish), Revista Escolar de la Oli. Iberoamer. de Mat., v.2,
nr.8, Valladolid, 2002;
[3] Modan L. Sur un problme de numration, Luc. Sem. de Creat. Mat., v.11, Baia Mare, 2002,
pg. 95-9;
[4] Modan L. Real Differential Calculus (in Romanian), Cison Printing House, Bucharest, 2002;
[5] Modan L. On the negation of the predicates with, applications in Combinatorial Probabilities
, Proceedings of the International Conference The Decidable and the Undecidable in
Mathematics Ed., Brno, Czech Republic, Sept. 19-25, 2003, pg. 189-92;
[6] Modan L.
Csinta Th.
Mathematics Problems (in Romanian), Gil Printing House, Bucharest, 2003;
[7] Modan L. Proposed problem, Octogon, Math. Mag., v.12, nr.2, Braov, 2004;
[8] Neveu J. Bases mathmatiques du Calcul des Probabilits, Masson, Paris, 1964;
[9] Tomescu I. Introduction in Combinatorics (in Romanian), Tehnica Printing House, Bucharest,
1972.


J ess lvarez Lobo. Oviedo. Asturias. Espaa. lobo@matematicas.net.
EXTREMOS RELATI VOS DE FUNCI ONES FRACCI ONARI AS.

La derivada del cociente de dos funciones suele ser expansiva, por lo que el clculo y simplificacin
de la derivada segunda puede resultar tediosa y dificultosa la evaluacin de valores en sta.

Sin embargo, para determinar los extremos relativos (mximos o mnimos) de una funcin ), ( x f no es
necesario calcular ), (x f ya que es suficiente conocer su signo en las races de ). (x f

Funcin signo de la segunda derivada.

Sea



Por brevedad, escribiremos simplemente Se tiene:




Si , 0 ) (
0
x f entonces 0 uv v u en .
0
x x Por tanto,



luego,



Ahora bien, puesto que v
2
es no negativa (positiva, para que f est definida en x
0
), no tiene influencia en
el signo de ). (
0
x f As pues, a efectos de signo, ) (
0
x f es equivalente a la funcin






Evidentemente, s es equivalente a cualquier funcin homottica a ella, con razn de homotecia positiva,
es decir



entendiendo que tal equivalencia es relativa al signo de stas en las races de ) (x f . Esto permite, en
ciertos casos, simplificar an ms la funcin signo asociada a f.

Ejemplo.

Comprobemos con un ejemplo la ventaja que puede suponer sustituir la segunda derivada de una funcin
fraccionaria por su funcin signo asociada, cuando se trata simplemente de determinar extremos
relativos.

Determnense los extremos relativos de la funcin

Despus de algunas simplificaciones, se obtiene:







.

) (
2
v
uv v u
x f

.
) (
) (
) (
x v
x u
x f
. ) (
v
u
x f
,
) ( 2 ) ( ) ( 2 ) (
) (
4
0
2
4
2
0
v
uv v u vv v uv v u
v
uv v u vv v uv v u v u v u
x f
48 47 6

) ( ) ( ) ( ) ( ) (
0 0 0 0 0
x v x u x v x u x s
.

) ( 0 ) (
2 0 0
v
uv v u
x f x f


.
9
) 5 2 (
) (
2
2
+

x
x
x f
.
) 9 (
) 99 540 33 20 ( 2
) (
3 2
2 3
+
+

x
x x x
x f

'

+
+

5
18
2
5
2 2
0
) 9 (
) 18 5 )( 5 2 ( 2
) (
x
x
x
x x
x f
), ( ~ ) ( ) ( ) (
0 0 1
0
0 0 1
x s x s x s k x s
k >


J ess lvarez Lobo. Oviedo. Asturias. Espaa. lobo@matematicas.net.
Obtener f ha supuesto un trabajo tan ingrato como innecesario; pero an nos aguarda lo peor: evaluar
f en
2
5
x y
5
18
x . Esta tarea resulta realmente disuaso ria, incluso disponiendo de calculadora.

Veamos qu fcil resulta todo esto mediante la funcin signo asociada, incluso sin calculadora, lo que
resultara realmente complicado por el mtodo convencional, pues, por ejemplo



He aqu el desarrollo completo de los clculos necesarios para determinar si f tiene mximos relativos o
mnimos relativos:






Despreciando el factor 2 en s (que no influye en el signo) y simplificando, se tiene la funcin signo
cannica asociada a f:




La evaluacin del signo de f en
2
5
x y
5
18
x mediante la funcin signo cannica resulta inmediato:


















2 2
2
2
) 5 2 ( 2 ) 9 ( 8 ) (
2 2 9
8 ) 5 2 ( 4 ) 5 2 (
+

+

x x x s
v x v x v
u x u x u

'

+ +
5
18
2
5
2 2
0 ) 18 5 )( 5 2 ( 2 0 2 ) 5 2 ( ) 9 )( 5 2 ( 2 2 0 0
x
x
x x x x x x uv v u f
( ) .
4941
1250

5
18
f
11 20 ) (
1
+ x x s
( ) ( )
( ) ( )
5
18
5
18
5
18
1
2
5
2
5
2
5
1
0 0
0 0
< <
> >
f en x de mximo f s
f en x de mnimo f s
5
18

2
5
x 0
) (x f
XX Olimpiada Iberoamericana
de Matematicas
Cartagena de Indias 2005
Primer Da
Septiembre 27 de 2005
1. Determine todas las ternas de n umeros reales (x, y, z) que satisfacen el siguiente
sistema de ecuaciones:
xyz = 8,
x
2
y + y
2
z + z
2
x = 73,
x(y z)
2
+ y(z x)
2
+ z(x y)
2
= 98.
2. Una pulga salta sobre puntos enteros de la recta numerica. En su primer movi-
miento salta desde el punto 0 y cae en el punto 1. Luego, si en un movimiento
la pulga salto desde el punto a y cayo en el punto b, en el siguiente movimiento
salta desde el punto b y cae en uno de los puntos b + (b a) 1, b + (b a),
b + (b a) + 1.
Demuestre que si la pulga ha cado dos veces sobre el punto n, para n entero
positivo, entonces ha debido hacer al menos t movimientos, donde t es el menor
entero mayor o igual que 2

n.
3. Sea p > 3 un n umero primo. Si
1
1
p
+
1
2
p
+
1
3
p
+ +
1
(p 1)
p
=
n
m
donde el maximo com un divisor de n y m es 1, demuestre que p
3
divide a n.
Tiempo total: 4
1
2
horas. Cada problema recibe un maximo de 7 puntos.
XX Olimpiada Iberoamericana
de Matematicas
Cartagena de Indias 2005
Segundo Da
Septiembre 28 de 2005
4. Dados dos enteros positivos a y b, se denota por (a b) el residuo que se obtiene
al dividir a por b. Este residuo es uno de los n umeros 0, 1, . . . , b 1. Encuentre
todas las parejas de n umeros (a, p) tales que p es primo y se cumple que
(a p) + (a 2p) + (a 3p) + (a 4p) = a + p.
5. Sea O el circuncentro de un triangulo acutangulo ABC y A
1
un punto en el
arco menor BC de la circunferencia circunscrita al triangulo ABC. Sean A
2
y
A
3
puntos en los lados AB y AC respectivamente, tales que BA
1
A
2
= OAC
y CA
1
A
3
= OAB. Demuestre que la recta A
2
A
3
pasa por el ortocentro del
triangulo ABC.
6. Dado un entero positivo n, en un plano se consideran 2n puntos alineados A
1
, A
2
,
. . ., A
2n
. Cada punto se colorea de azul o rojo mediante el siguiente procedimiento:
En el plano dado se trazan n circunferencias con diametros de extremos A
i
y
A
j
, disyuntas dos a dos. Cada A
k
, 1 k 2n, pertenece exactamente a una
circunferencia. Se colorean los puntos de modo que los dos puntos de una misma
circunferencia lleven el mismo color.
Determine cuantas coloraciones distintas de los 2n puntos se pueden obtener al
variar las n circunferencias y la distribucion de los dos colores.
Tiempo total: 4
1
2
horas. Cada problema recibe un maximo de 7 puntos.
PROBLEMAS PARA LOS MS JVENES (21)
Cinco problemas de los Crculos Matemticos Rusos
1.Los nmeros naturales a y b verican la condicin 56a = 65b: Demostrar
que a +b no es primo.
2.Demostrar que un tringulo equiltero no puede ser cubierto por completo
por dos tringulos equilteros ms pequeos.
3.El lado AC de un tringulo mide 3,8 y el lado AB 0,6. Se sabe que la
longitud de BC es un entero. cunto mide BC?
4.Se tienen 5 monedas, de las que tres son buenas. Una de las otras dos
es ms pesada que una moneda buena, y la quinta es menos pesada que una
moneda buena.En tres pesadas, determinar cules son las monedas falsas.
5.Una pieza imaginaria de ajedrez se llama camello y se mueve como el
caballo, pero en la forma 1x3 (el caballo se mueve en la forma 1x2). podra el
camello pasar de la casilla donde est a una contigua?
1
Soluo do problema 97) por Marcos Martinelli (Brasil)
Para calcular tal determinante multiplique a 3 coluna por n e some primeira, logo
em seguinda, multiplique a 2 coluna por n e some terceira. Teremos ento que calcular
o determinante da seguinte m
3 3
3 4 3 4
4 2 3 4 2 3
atriz:
( ) 0 1 ( ) 0
0 0 .
( ) ( ) 1
-1
E agora multipliquemos a 2 linha por e somemos a mesma 3 linha, logo em seguida,
n
mult
n y y n z y n n z y
z n x n x nx xy z n x n n
n y ny n x y n x x n n n x y n
_ _ + +

+ + + +


+ + + +
, ,
3
3 4 4 3 2
2
3
3 3 3 3
ipliquemos a 1 linha por n somando-a 3 linha novamente, obtendo:
1 ( ) 0
xy 0 ( 1)( )( 1)
0 0
( 1)
( 1)( 1) ( 1) . E assim o result
n n z y
z
z n x n n xy n n n n z
n
z
n z
n
n
xyzn n n xyz n
n
_

+

_
+ + + +

,


,
+
+ + +
3
ado ( 1). n +




Problema 97 (Solucin al problema propuesto por Jos Luis Daz
Barrero, Barcelona, Espaa).
Sean x, y, z tres nmeros complejos no nulos y n un entero.
Demostrar que

y + n
3
z n(z-y) n
2
(y-z)
1/3

(xyz)
-(1/3)
n
2
(z-x) z + n
3
x n(x-z)
n(y-x) n
2
(x-y) x + n
3
y

es un nmero entero y determinar su valor.

Solucin: Notemos E la expresin dada. El cambio de
variables (y/z, z/x, x/y) = (a, b, c), vlido porque xyz 0, da la
relacin abc = 1 y convierte E en

1/3


n
3
+ a n(1-a) -n
2
(1-a)
-n
2
(1-b) n
3
+ b n(1-b)
n(1-c) -n
2
(1-c) n
3
+ c

Adems, se ve que E
3
puede ser considerado como una
forma polinomial en n, de grado 9 y a coeficientes complejos
a
i
= a
i
(x,y,z), i = 0, 1, 2, ....., 9, de los cuales es evidente que
a
0
= a
9
= 1 y suficientemente claro a la vista que a
i
= 0 para i = 1, 2,
4, 5, 7, 8 porque no hay trminos en n
i
para estos ltimos ndices. Se
tiene pues E
3
= n
9
+ a
6
n
6
+ a
3
n
3
+ 1.
Un clculo directo da a
6
= c
i
c
j
con i+j = 6 donde c
k

designa al coeficiente de n
k
en el determinante E
3
y similarmente
a
3
= c
i
c
j
con i+j = 3. As,
a
6
= b +c +a + (1-c)(1-b) - (1-a)(b-1) - b(1-a)(c-1) = 2 + abc = 3.








Del mismo modo se obtiene a
3
= 2abc + 1 = 3. Entonces, en efecto,
ambos coeficientes complejos son independientes de x, y, z por lo
cual se concluye que E = n
3
+ 1.

Dos "soluciones" (las comillas indican error)

"Solucin" 1.- Una vez obtenido E
3
= n
9
+ a
6
n
6
+ a
3
n
3
+ 1, para
que E sea un entero se debe tener E = n
3
+ a n
2
+ b n + 1, con a y b
enteros y una condicin necesaria y suficiente para que esta
expresin de E elevada al cubo sea igual a n
9
+ a
6
n
6
+ a
3
n
3
+ 1 es
que a = b = 0 como se ve fcilmente en [n
2
(n+a) + (bn+1)]
3
haciendo
a
8
= 0 = 3a y a
1
= 0 = 3b. Entonces a
3
= a
6
= 3 por lo cual E = n
3
+ 1.

"Solucin" 2.- Haciendo x = y = z arbitrarios, se tiene
evidentemente E = n
3
+ 1 sobre toda la diagonal compleja de C
3
.
Como E es un polinomio y es igual a n
3
+ 1 para una infinidad de
valores de n, se tiene E = n
3
+ 1 en general.


Luis Gmez Snchez A.
Universidad de Oriente, Venezuela.
Correo electrnico: lagsa7@hotmail.com
Direccin postal: Jirn A. Tovar 267.
La Punta.
01 Callao. PER.









Problema 98.
(Propuesto por J os Luis Daz Barrero, Barcelona, Espaa)
Sean a
0
, a
1
, a
2
tres nmeros complejos no nulos tales que a
0
=a
1
a
2
.
Sabiendo que los afijos de las tres races de la ecuacin z
3
+a
2
z
2
+a
1
z +a
0
=0 forman un tringulo,
probar que una de sus medianas pasa por el origen de coordenadas.
Solucin de F. Damin Aranda Ballesteros, profesor del IES Blas Infante de Crdoba,
Espaa.

Resulta inmediata la siguiente descomposicin:
( ) ( )
3 2 2
2 1 1 2 1 2
z a .z a.z a.a z a . z a + + + = + +
En definitiva, las races de la ecuacin z
3
+a
2
z
2
+a
1
z +a
0
=0 son las siguientes:

0 1
z a = ;
1 1
z a = ;
2 2
z a =
Resulta as evidente que la mediana correspondiente al afijo de z
2
pasa por el origen de coordenadas O,
punto medio entre los afijos z
0
y z
1
.
Problema 99
Propuesto por Laurentiu Modan, Bucarest, Rumana.
Estudiar la convergencia de la sucesin (a
n
),n1, definida por
3
4 4
1
1
n
n
k
k
a n
n
n k
1 _

1
+ 1
, ]

.

Solucin de Daniel Lasaosa Medarde, Pamplona, Espaa.
Es obvio que
2
4 4 4 4
1 1 1
1 1
2
n n n
n
k k k
n n n
a k
n n
n k n k
+

+ +


Obviamente, el primer sumando converge a 1/2 cuando n tiende a infinito.
Sea ahora la funcin
( )
4
1
1
f x
x

+
.
Escribamos la suma de Riemann para la integral de dicha funcin en el intervalo [0,1]
tomando la particin {0,1/n,2/n,...,1}, evaluada la funcin en el extremo mayor de cada
intervalo de la forma ((k1)/n,k/n), para k1,2,...,n. Para cada n, llamaremos S
n
a la
suma de Riemann para la particin anterior. Entonces,
2
4 4 4 4
1 1 1
1 1
n n n
n
k k k
k n n
S f
n n n
n k n k
_


, + +

.
Por lo tanto, es obvio que
1
2
n n
n
a S
n
+
.
Ahora bien, la funcin f(x) es montona (decreciente), continua y finita en el intervalo
cerrado [0,1], luego es integrable en dicho intervalo, siendo el valor de dicha integral
finito, y coincidente con el lmite de la suma S
n
. Luego
1
4
0
1 1
lim
2
1
n
n
a dx
x

,
que es finito. Luego la solucin converge y ste es su lmite.
Para hallar esta integral, tomemos en primer lugar y1/x:
2
dy
dx
y
;
1 1
2
4 4
0 1
4
1 1 1
1
1 1
1
dy
dx dy
y
x y
y
+
+
_


+ + ,
+

.
De aqu se concluye que
1
4 4
0 0
1 1 1
2
1 1
dx dx
x x
+

+ +

.
Esta integral se puede relacionar con la funcin beta tomando t1/(1+x
4
), pues entonces
1
4
1
1 x
t
_


,
; ( )
3
5
3
4
4
4
2
1 1 1 1
1 1
4 4
dx dt t t dt
t t

_ _


, ,
;
( ) ( )
2
0 1 1 5 1
3 1
1
1
2 4 4
4 4
4
0 1 0
1
1 1 1 1 1 1 4
1 1 ,
1 4 4 4 4 4
1
4
2
dx t t t dt t t dt
x
+


_

_
,


_
, +

,

,
donde es la funcin gamma de Euler, y es la funcin beta, definidas por
( )
1
0
t x
x e t dt

; ( ) ( )
( ) ( )
( )
1
1
1
0
, 1
y
x
x y
x y t t dt
x y

.
Ahora bien, es conocido que
1
2

_


,
.
Luego finalmente,
2
4
0
1
1 1 1 1 4
lim
2 2 2 8
1
n
n
a dx
x

,

+

.
Nota: las funciones gamma y beta tienen mltiples propiedades muy estudiadas, por su
inters, entre otros campos, en clculo complejo y estadstica. Algunas de sus
propiedades y valores se pueden encontrar, por ejemplo, en las siguientes pginas web:
http://mathworld.wolfram.com/GammaFunction.html
http://mathworld.wolfram.com/BetaFunction.html
http://numbers.computation.free.fr/Constants/Miscellaneous/gammaFunction.html


J ess lvarez Lobo. Oviedo. Asturias. Espaa. lobo@matematicas.net. rofesor de Matemticas del IES Bernaldo de Quirs
Problema 100. Propuesto por K.R.S. Sastry, Bangalore, India.

Un tringulo se llama heroniano si sus lados y rea son enteros. Sea n un nmero natural dado. Demostrar
que para n = 1, 2, 3, ..., existe al menos un tringulo heroniano que cumple la siguiente condicin: dos de
sus lados son nmeros naturales consecutivos y su rea es igual a n veces el permetro.






Denotemos por H
n
el tringulo heroniano que verifica que dos de sus lados son nmeros naturales
consecutivos y su rea es n veces su permetro.

Expresando en forma de terna los tringulos, donde las componentes representan las longitudes de los
lados, demostraremos que una tal sucesin (H
n
) de tringulos admite la siguiente expresin general :




En efecto, obviamente, para cada nmero natural n, sus lados son enteros, y dos de ellos son
consecutivos. Adems, como trivialmente se comprueba, H
n
es un triangulo rectngulo (pitagrico):





Por tanto, el rea de H
n
es simplemente el semi-producto de sus dos lados menores (catetos).

Veamos cul es la relacin entre el rea y el permetro de H
n
. Denotando por A
n
y P
n
, respectivamente, el
rea y el permetro de H
n
, se tiene:





Para probar la no unicidad en la expresin de H
n
, veamos el siguiente contraejemplo:

Los tringulos H
3
= (13, 84, 85), dado por la expresin general aqu presentada, y el (21, 20, 29), que no
es generado por sta, ambos son heronianos, verifican las condiciones del enunciado y el rea de cada uno
de ellos es el triple del correspondiente permetro.

Observacin: La expresin general de Hn se deduce fcilmente de la teora de las ternas pitagricas desarrollada en la obra
TERNAS PITAGRICAS. Teora de las Contracciones Diofantotridicas. Jess lvarez Lobo. ISBN: 84-8498-212-2. (No venal).

Veamos una deduccin directa para el trmino general de H
n
. Denotando por c
n
el cateto impar, se tiene:



















(4 1, 4 (2 1),4 (2 1) 1), *
n
H n n n n n n + + + + N
{ } { } { }
(4 1) 4 (2 1)
(4 1) 2 (2 1) 2 (4 1)(2 1)
2
, *.
4 1 4 (2 1) 4 (2 1) 1) 8 (2 1) 2(2 1) 2(4 1)(2 1)
n
n
n n n
A n n n n n n
n n
P n n n n n n n n n n
+ +
+ + + +

+ + + + + + + + + + +
N
{ } { } { } { } { } { }
2 2
8 (2 1) 1 1
2 2
4 (2 1) 1) 4 (2 1) 4 (2 1) 1) 4 (2 1) 4 (2 1) 1) 4 (2 1)
8 (2 1) 1 16 8 1 (4 1) ,
n n
n n n n n n n n n n n n
n n n n n n
+ +
+ + + + + + + + + + 1 1
] ]
+ + + + +
144444424444443 144444424444443
N *.
2
0
2
2 1
( , , 1) 2 ( ) 2 ( 1)
2 (2 1 )
n
c
n n n
n n n n n n n n n n
n n n n n n
H pitagrico c b
H c b b b c n c c b n c
A nP b c n b c

+

+ + +
' ;
+ +

[ ]
[ ]
2
2
2 2 ( 1)
4 1
4 (4 1) 0
1 *
2 (4 1) 1 4 (2 1)
(4 1, 4 (2 1),4 (2 1) 1)
n n
n
n n
n
n n
n
c n c
c n
c nc n
c
b n n b n n
H n n n n n

+
+

+
'

+ + +
+ + + +
N

PROBLEMAS PROPUESTOS 101-105
Problema 101 (propuesto por AbderrahimOuardini,Burdeos,Fran-
cia)
Se considera un tringulo ABC cuyos lados estn ordenados de la manera
siguiente:
AB AC BC:
Sea Iel centro de su crculo inscrito, y T el punto de tangencia del crculo
inscrito con el lado AC. El crculo circunscrito al tringulo AIC vuelve a cortar
a la recta IT en J.
Demostrar la equivalencia de las dos proposiciones siguientes:
i) La altura desde B (en el tringulo ABC) es igual a TJ.
ii)AB,AC y BC estn en progresin aritmtica.
Problema 102 (propuesto por Doru Popescu Anastasiu y Miguel
Amengual Covas,Mallorca,Espaa)
Sea ABC un tringulo y D un punto sobre BC.
Probar que la relacin
AD
2
= AB AC (1)
no puede vericarse si AD es altura o bisectriz interior.
Si AD es mediana, probar que existen innitos tringulos que cumplen (1).
(*) Para qutringulos ABC y para qupuntos D 2 BC se verica (1)?
Problema 103 (propuesto por JosLuis DazBarrero,Barcelona,
Espaa)
Sean a
1
;a
2
; ;a
n
(n 2)nmeros reales mayores o iguales que 1. Probar
que

n
X
k=1
1
a
k
!

n
Y
k=1
(1+a
k
)
!
2n
2
:
Problema 104 (propuesto por JosLuis DazBarrero,Barcelona,
Espaa)
Calcular
lim
n!1

n
X
k=1
e
1
n+2005k
n
!
:
Problema 105(propuesto por Jess lvarezLobo,Oviedo,Espaa)
Lin y Lan son dos campesinos, hermanos gemelos, que comparten al 50% un
prado delimitado por los restos de una antigua construccin de forma circular.
1
Lin posse una vaca, "Linda", y Lan un burro, "Lanzado". Obviamente, Linda
come ms que Lanzado, por lo que deciden lo siguiente:primero atar Lan su
asno en un punto cualquiera del cercado circular, con una cuerda cuya longitud
le permita comer exactamente la mitad de la hierba del prado;luego, Lin podr
dejar a Linda en total libertad dentro del crculo para que se deleite con el pasto
restante.
La estrategia para el reparto equitativo del pasto es sencilla, pero...qu
longitud debe tener la cuerda que ate a Lanzado a la circunferencia?
2
DIVERTIMENTOS MATEMTICOS (21)
CINCO PROBLEMAS DE ENUNCIADO CURIOSO
1.En un remoto sistema solar hay un nmero impar de planetas;en un cierto
momento las distancias entre ellos son todas distintas. Hay un astrnomo en
cada planeta, que estudia el planeta ms prximo a l. Demostrar que hay un
planeta que no es estudiado por ningn astrnomo.(Procedencia:Kmal)
2.Un canbal aparece en la orilla del lago circular en el que se est baando
Robinson Crusoe. Robinson sabe que el canbal corre en tierra a una velocidad
4 veces mayor que la que nada. Por otra parte, Robinson es ms veloz que el
canbal, fuera del agua, luego si puede alcanzar un punto de la orilla antes que
el canbal, podr escapar. Puede huir Robinson?(Procedencia:Kmal)
3.Para n= 1;2;3; , la sucesin nita S
n
es una permutacin de 1;2;3; ;n,
formada segn una ley que debe determinarse. De acuerdo con esta ley, se tiene:
S
1
= (1)
S
2
= (2;1)
S
3
= (2;3;1)
S
4
= (4;2;3;1)

S
9
= (5;4;2;9;8;6;7;3;1)
Descubrir la ley de formacin y dar S
10
:(Procedencia:CruxMathematicorum)
4.Un hombre ha viajado durante 30 das. El da de su partida ha recorrido
11 leguas;pero en los das siguientes, su marcha se ha hecho ms lenta, de
modo que si a partir del segundo da se compara el trayecto hecho cada da con
el hecho la vspera, se obtienen sucesivamente como cocientes las razones
3
5
;
4
6
;
5
7
;
6
8
;
Cuntas leguas ha recorrido en los 30 das?(Procedencia:Mathesis)
5.Una isla tiene gatos, pjaros y serpientes. Cada da, cada gato desayuna
un pjaro;cada serpiente come un gato y cada pjaro cena una serpiente. No
hay otras muertes, ni nacimientos. A cierta hora del da ndel mes, un pjaro
se convierte en el nico ser viviente de la isla. Despus de qucomida ocurri
esto? Hallar una expresin para el nmero de pjaros antes del desayuno, en el
primer da de ese mes.(Procedencia:The Mathematical Gazette).
1
COMENTARIO DE PGINAS WEB (21)

Una pgina de competiciones en Serbia y Montenegro

www.matf.bg.ac.yu/~matic/competitions

La pgina que comentamos hoy tiene versiones en serbo-croata e ingls, y est
mantenida por la Universidad de Belgrado. Tiene como secciones Generalidades,
Problemas, IMO, BMO (la Olimpiada Balcnica), Serbia y Montenegro en IMO;
Serbia y Montenegro en BMO,.y la principal razn que me ha movido a
presentarla a los lectores de la Revista Escolar de la OIM: The I MO Compendium.
Se trata de la versin preliminar de un libro que va a ser publicado en octubre de
2005 por la editorial Springer, dentro de la serie Problem Books of mathematics. En
l se van a incluir TODOS los problemas propuestos a los Jurados de la IMO desde
1959 hasta 2004. En la pgina web se irn incluyendo problemas posteriores. Sin
estar todava publicado, cabe suponer que ser la versin corregida y aumentada
del famoso libro rumano Olimpiadele I nternationale de matematica ale elevilor, de
Ion Cuculescu, que incluye los problemas de la IMO entre 1973 y 1982. Los
autores de tan monumental obra son Dusan Djukic, Ivan Matic y Nikola Petrovic.
Auguramos un notable xito de esta publicacin.
La pgina web, adems, contiene otros muchos problemas de olimpiadas
nacionales y regionales, que la hacen de visita casi obligatoria para los que
amamos las Olimpiadas de Matemticas.

Valladolid, octubre 2005
Francisco Bellot Rosado
R Re ev vi is st ta a E Es sc co ol la ar r d de e l la a O Ol li im mp p a ad da a I Ib be er ro oa am me er ri ic ca an na a d de e
M Ma at te em m t ti ic ca a


h ht tt tp p: :/ // /w ww ww w. .c ca am mp pu us s- -o oe ei i. .o or rg g/ /o oi im m/ /r re ev vi is st ta ao oi im m/ /



E Ed di it ta a: :