Академический Документы
Профессиональный Документы
Культура Документы
(1)
Llamaremos a los c
n
, coeIicientes del desarrollo en serie exponencial de Fourier de x(t),
o simplemente coeIicientes de Fourier de x(t). Podemos deIinir, para las Iunciones
complejas de variable t, periodicas con periodo T
0
(sea este su periodo Iundamental o
no), una operacion que tiene las propiedades de producto escalar:
( ) ( ) ( ) ( )
0
*
0
1
T
x t v t x t v t dt
T
=
i
(2)
donde la integral se realiza sobre un intervalo de longitud igual al periodo Iundamental,
y el asterisco indica conjugacion compleja. Las Iunciones exp(i2nf
0
t) son
ortonormales con respecto a este producto escalar, es decir,
( ) ( ) ( ) ( )
0
0 0 0 ,
0
1
exp 2 exp 2 exp 2
n m
T
i nf t i mf t i n m f t dt
T
= =
i
(3)
donde
n,m
es el simbolo delta de Kronecker, que es igual a 1 si n=m, y nulo en caso
contrario. Esto garantiza, por ejemplo, que si una Iuncion se puede expresar de dos
Iormas como serie exponencial de Fourier, los coeIicientes de ambas series son
identicos uno a uno. Ademas, si una seal x(t) se puede expresar de acuerdo a (1),
entonces
( ) ( ) ( ) ( )
0
0 0 0 ,
0
1
exp 2 exp 2 exp 2
m m n m
m m
T
x t i nf t dt c i mf t i nf t c
T
+ +
= =
= =
i ;
( ) ( )
0
0
0
1
exp 2
n
T
c x t i nf t dt
T
=
(4)
Es decir, los coeIicientes del desarrollo en serie de Fourier serian el resultado de
'proyectar la Iuncion x(t) sobre los 'vectores exp(i2nf
0
t). Estos vectores Iormarian
un conjunto linealmente independiente ortonormado. No podemos decir que Iormen
una base porque todavia no sabemos si es un sistema generador.
2.4.-Teorema de Parseval
Notese ademas que la interpretacion Iisica del producto escalar de una Iuncion periodica
(real o incluso compleja) consigo misma, segun (2), es la de potencia media, ya que
( ) ( ) ( )
0
2
0
1
T
x t x t x t dt
T
=
i ,
Pudiendo interpretarse ,x(t),
2
como la potencia instantanea (salvo una constante de
proporcionalidad) de la Iuncion x(t) cuando esta es una magnitud Iisica. Por ejemplo, la
potencia electrica instantanea es proporcional al voltaje al cuadrado, y tambien a la
corriente al cuadrado. El teorema de Parseval nos permite calcular la potencia media de
una Iuncion, expresandola a traves de sus coeIicientes de Fourier. Para ello, tenemos en
cuenta que, si la Iuncion es expresable de acuerdo a (1), entonces
( ) ( ) ( ) ( )
* *
0 0 ,
exp 2 exp 2
n m n m n m
n m n m
x t x t c c i nf t i mf t c c
= = = =
|
= = (
'
i i ;
( )
0
2 2
0
1
media n
n
T
P x t dt c
T
+
=
= =
(5)
Es decir, como hallar la potencia media de una Iuncion es equivalente a hallar su
producto escalar consigo misma de acuerdo a la deIinicion (2), entonces si esta Iuncion
es expresable como serie de Fourier, podemos hallar esta potencia media sumando los
modulos al cuadrado de sus componentes respecto de las Iunciones ortonormadas
exp(i2nf
0
t).
Este resultado nos permite calcular mediante una sencilla integracion sumas inIinitas;
basta con encontrar la Iuncion x(t) que tenga los coeIicientes apropiados.
2.5.-Otras propiedades de los coeficientes de Fourier
Si una Iuncion real x(t) es expresable de acuerdo a (1), entonces c
n
y c
n
son complejos
conjugados:
( ) ( ) ( ) ( ) ( )
* * *
0 0 0
exp 2 exp 2 exp 2
n n n
n n n
x t c i nf t c i nf t x t c i nf t
+ + +
= = =
= = = =
.
Si la Iuncion tiene simetria par (es decir, x(t)=x(t) para todo t), entonces c
n
=c
n
,
mientras que si tiene simetria impar (es decir, x(t)=x(t)) para todo t), entonces
c
n
=c
n
:
( ) ( ) ( ) ( ) ( )
0 0 0
exp 2 exp 2 exp 2
n n n
n n n
x t c i nf t c i nf t x t c i nf t
+ + +
= = =
= = = =
.
Los reciprocos de los anteriores resultados tambien son ciertos, como el lector puede
comprobar trivialmente.
La suma de todos los coeIicientes de Fourier de x(t) es igual a x(0):
( ) ( ) 0 exp 0
n n
n n
x c c
+ +
= =
= =
(6)
Este resultado tambien puede, obviamente, ser utilizado para calcular ciertas sumas
inIinitas, eligiendo nuevamente seales x(t) que tengas los coeIicientes apropiados.
Reciprocamente, el valor del coeIiciente c
0
es el valor promedio de la seal en un
periodo, como se comprueba haciendo n=0 en (4):
( ) ( ) ( )
0 0
0
0 0
1 1
exp 0
T T
c x t dt x t dt
T T
= =
(7)
Si una Iuncion x(t) con coeIicientes de Fourier c
n
se retarda de un tiempo , entonces los
coeIicientes de Fourier de la Iuncion retardada son exp(i2nf
0
)c
n
(propiedad de
retardo):
( ) ( ) ( ) ( ) ( )
0 0 0
exp 2 exp 2 exp 2
n n
n n
x t c i nf t c i nf i nf t
+ +
= =
= =
Aplicando esta, si una seal tiene simetria en media onda (es decir, x(t+T
0
/2)=x(t) para
todo t), entonces los coeIicientes de Fourier de orden par son nulos:
( ) ( ) ( ) ( ) ( )
0
0 0
1 exp 2 exp 2
2
n
n n
n n
T
x t c i nf t x t c i nf t
+ +
= =
+ = =
.
De aqui se deduce necesariamente que si n es par, c
n
=c
n
, que es por lo tanto nulo. El
lector puede comprobar Iacilmente que el reciproco tambien es cierto.
Finalmente, si los coeIicientes de Fourier de x(t) son c
n
, los coeIicientes de Fourier de la
derivada de x(t) con respecto a t son i2nf
0
c
n
(propiedad de derivacion).
( ) ( )
( ) ( )
0
0 0
exp 2
2 exp 2
n n
n n
dx t d i nf t
c c i nf i nf t
dt dt
+ +
= =
= =
.
Existen otras propiedades de los coeIicientes de Fourier, pero no seran relevantes para
este escrito.
2.6.-Condiciones de Dirichlet
Hasta ahora hemos asumido que existen coeIicientes c
n
tales que la Iuncion x(t)
satisIace (1). La pregunta que no hemos respondido todavia es, para que Iunciones
periodicas de periodo Iundamental T
0
se cumple (1)? La respuesta es, por lo menos
todas aquellas que cumplan las condiciones de Dirichlet, que son:
1) La Iuncion debe ser absolutamente integrable en un periodo, es decir, el valor
absoluto de x(t) (o su modulo si la Iuncion toma valores complejos) debe tener
una integral igual a un real en un periodo.
2) La Iuncion tiene un numero Iinito de maximos y minimos en un periodo.
3) La Iuncion tiene un numero Iinito de discontinuidades en un periodo, todas ellas
con salto Iinito.
Cuando estas tres condiciones se cumplen, la serie de Fourier converge a la Iuncion, en
el sentido de que la potencia media del error que existe entre la Iuncion y la serie
truncada tiende a 0, al crecer el numero de terminos en la serie truncada:
( ) ( )
0
2
0
0
1
lim exp 2 0
N
n
N
n N
T
x t c i nf t dt
T
+
+
=
=
.
Ademas, la igualdad (1) con los coeIicientes calculados de acuerdo a (4) seria exacta en
todo punto t salvo en los (posibles) puntos aislados de discontinuidad de x(t), en los que
la serie de Fourier converge puntualmente al valor promedio de los limites laterales de
x(t) por derecha e izquierda. Este resultado se da sin demostracion, ya que esta es
relativamente compleja (suele estudiarse en 4 o 5 curso de la licenciatura en Ciencias
Matematicas), y en mi opinion no tiene una aportacion conceptual signiIicativa para el
tema de este escrito.
Podriamos tambien interpretar que el conjunto de las Iunciones exp(i2nf
0
t) son un
sistema generador de un conjunto de Iunciones, al cual pertenecen todas las que
satisIacen las condiciones de Dirichlet (hay algunas otras, como veremos enseguida).
Dentro de ese conjunto generado, las Iunciones exp(i2nf
0
t) serian una base
ortonormada.
2.7.-El ~peine de Dirac
Existen distribuciones que no satisIacen las condiciones de Dirichlet, pero si pueden ser
expresadas como serie de Fourier. Un ejemplo es el resultado de repetir periodicamente
distribuciones delta de Dirac (t) (tambien llamadas impulsos unitarios), espaciadas de
T
0
, de Iorma que una de ellas este situada en t=0. A una tal distribucion se le conoce
como tren de impulsos unitarios o 'peine de Dirac, y la denotaremos por p(t):
( ) ( )
0
m
p t t mT
+
=
=
.
La distribucion delta de Dirac o impulso unitario tiene dos propiedades que se pueden
demostrar equivalentes:
1) Al derivar una Iuncion continua a trozos, su derivada posee, en cada punto de
discontinuidad, una distribucion delta de Dirac multiplicada por el salto de la
Iuncion en la discontinuidad, es decir, por el limite por la derecha menos el
limite por la izquierda de la Iuncion en el punto de discontinuidad.
2) La distribucion delta de Dirac unitaria, (t), es nula para todo valor no nulo de t,
cumpliendose ademas que
( ) ( ) ( ) 0
b
a
t x t dt x =
para todo intervalo (a,b) que contenga a 0 en su interior.
Utilizando esta segunda propiedad, es trivial comprobar que los coeIicientes de Fourier
del 'peine de Dirac son
( ) ( )
( )
0
0
2
0
0 0 0
2
exp 0
1 1
exp 2
T
n
T
c t i nf t dt
T T T
+
= = =
.
3.-Aplicacin de la serie de Fourier al clculo de sumas
infinitas
3.1.-Ejemplo: suma de inversos de enteros impares con signo alternante
Como ya se ha comentado, para poder aplicar las series de Fourier al calculo de sumas
inIinitas, necesitamos encontrar seales cuyos coeIicientes sean apropiados. Por
ejemplo, podemos tomar una onda cuadrada unitaria con simetria impar y periodo
Iundamental 1 (es decir, f
0
=T
0
=1), cuya representacion graIica seria:
Es trivial comprobar, por integracion directa, que sus coeIicientes de Fourier serian:
( ) ( ) ( )
1
0
2
1
0
2
exp 2 exp 2 1 1
2 2
n
n
i nt i nt
c
i n i n i n
= + = .
Tras un retardo de 1/4 (es decir, un avance de 1/4), obtendriamos una onda cuadrada
unitaria con simetria par, que toma el valor 1 en t=0, y cuyos coeIicientes de Fourier
serian
( ) ( ) 1 1 1 1
exp
2
n n
n
n
i n
c i
i n i n
= =
.
Notese que estos coeIicientes son nulos cuando n es par, y cuando n es impar positivo,
toman valores de signo alternante, proporcionales a 1/n: c
1
=2/, c
3
=2/(3),
c
5
=2/(5),. Obviamente, c
n
=c
n
por tener la seal simetria par. Por lo tanto, aplicando
(6), se obtiene el por otra parte relativamente conocido resultado:
( )
1
2 2 2
1 0 2 2 ...
3 5
n n
n n
x c c
+ +
= =
= = = = +
;
1 1 1
1 ...
3 5 7 4
+ + = .
3.2.-Sumas infinitas de potencias pares negativas de enteros: Parseval
Estamos interesados en el calculo de sumas de la Iorma:
2
1
1
k
n
n
+
=
,
siendo k un entero positivo cualquiera. En primer lugar, podemos observar que, como
todo entero se puede escribir de una unica manera como 2
m, siendo un entero no
negativo y m un entero positivo impar, y en estas condiciones 2
m es siempre entero,
entonces
2
2 2 2 2 2 2
1 0 1 0 1
impar impar
1 1 1 1 2
2 2 2 1
k
k k k k k k k k
n m m
m m
S s
n m m
+ + + + +
= = = = =
= = = =
,
2
1
impar
1
k k
m
m
s
m
+
=
=
.
De esta Iorma, podemos intentar utilizar Iunciones con simetria en media onda cuyos
coeIicientes c
n
sean inversamente proporcionales a n
k
para calcular la suma deseada.
Recordamos tambien que, si conocemos una Iuncion cuyos coeIicientes son
inversamente proporcionales a n
k
, y esta es la derivada de una segunda Iuncion,
entonces esta ultima tendra, por la propiedad de derivacion, coeIicientes inversamente
proporcionales a n
k+1
. La primera suma, S
1
, la podemos calcular Iacilmente, ya que
como hemos visto, la onda cuadrada unitaria (cuya potencia instantanea es 1 en todo
instante, y por lo tanto tambien es 1 su potencia media), tiene coeIicientes inversamente
proporcionales a n:
1 2 2 2 2 2
1
impar impar
4 8 1 8
1
n n
n n
s
n n
+ +
= =
= = =
;
2
1 2
1
impar
1
8
n
n
s
n
+
=
= =
;
2 2
1 1 2 2
1
1 2
2 1 6
n
S s
n
+
=
= = =
.
Para hallar las sumas generales, tomamos la siguiente Iamilia de Iunciones:
( )
( )
( )
( )
1
1
1
1
4 1 , 0,
2
1 1
0,
2
1
4 1 , 0 .
2
k
k
k
k
t t
x t t
t t
+ <
= =
<
Las Iunciones se consideran extendidas periodicamente con periodo 1. Se oIrece a
continuacion la representacion graIica de algunos miembros de esta Iamilia:
Se comprueba trivialmente que todas estas Iunciones son simetricas en media onda,
siendo ademas
( )
( ) ( )
1
4 1
k
k
dx t
k x t
dt
= , k par,
( )
( ) ( ) ( )
1
1
4 1 2 2
2
k
k
dx t
k x t p t p t
dt
= +
, k impar.
La potencia media de cada una de estas seales es, aprovechando sus simetrias par o
impar, segun que k sea par o impar respectivamente,
( )
( )
( )
1 1
2 1
2 2
2 2
0
0
4 1
1
2 4 1
2 2 1 2 1
k
k
k
t
P t dt
k k
= = =
.
Llamaremos c
k,n
a los coeIicientes de Fourier de la seal x
k
(t). Las anteriores relaciones
entre la derivada de una Iuncion de la Iamilia y la anterior se traducen pues en
( )
, 1,
2 1
k n k n
i k
c c
n
= , k par,
( )
( )
( )
, 1,
1 1
2 1
n
k n k n
i k
c c i
n n
= , k impar.
Por ejemplo, ya que la onda triangular unitaria con simetria par y signo negativo seria
x
2
(t), y la onda cuadrada unitaria con simetria impar seria x
1
(t), tenemos:
( )
( )
1,
2, 2 2
2 1 1
2
n
n
n
i c
c
n n
= = .
Notese que existe, a priori, una indeterminacion de la Iorma 0/0 para n=0, pero se
resuelve comprobando que ha de ser c
2,0
=0 ya que x
2
(t) tiene simetria en media onda.
Entonces, se obtiene de Iorma inmediata
2
2 2, 2 4 4 4
1
impar
1 16 32
2
3
n
n n
n
P c s
n
+ +
= =
= = = =
;
4
2 4
1
impar
1
96
n
n
s
n
+
=
= =
;
4 4
2 2 4 4
1
1 2
2 1 90
n
S s
n
+
=
= = =
.
Para hallar las sumas para valores mayores de k, se pueden establecer las siguientes
ecuaciones recurrentes, Iruto de las propiedades de derivacion y retardo, y de los
coeIicientes ya hallados del 'peine de Dirac p(t):
( )
, 1,
2 1
k n k n
i k
c c
n
= , k par,
( ) ( )
1,
,
2 1 1 1
n
k n
k n
i k c
c
n i n
= + , k impar.
Asi, para k=3 y 4, respectivamente, se tiene,
( ) ( )
3, 3 3
1 1 1 1
8
n n
n
c i i
n n
= ;
( ) ( )
4, 4 4 2 2
1 1 1 1
48 6
n n
n
c
n n
= + ;
9 9 7 3
2
3 3 2 1
3 3, 6 4 2 6
2 2 2 2 1 1
5 3
n
n
s s s s
P c
+
=
= = = + =
;
6
3
960
s
= .
9 2 11 2 5 2 11 2
2
3 4 2 4
4 4, 8 6 4 8
2 3 2 3 2 3 2 3 1 9
7 5
n
n
s s s s
P c
+
=
= = = + =
;
8
4
17
161280
s
= .
6 6 6
3 3 6 6 3
1
1 2
2 1 3 5 7 945
n
S s
n
+
=
= = = =
,
8 8 8
4 4 8 8 3 2
1
1 2
2 1 2 3 5 7 9450
n
S s
n
+
=
= = = =
.
Para valores mayores de k se podria utilizar el mismo procedimiento, solo que se
complicaria de Iorma rapida, con la aparicion de cada vez mas sumandos en cada c
k,n
,
que llevaria a multitud de terminos cruzados en el calculo de los ,c
k,n
,
2
.
3.3-Sumas infinitas de potencias pares negativas de enteros: valor de la funcin en
= == =0
Si en el caso anterior nos restringimos a las Iunciones con valores pares de k, obtenemos
x
k
(0)=1, sin ningun tipo de indeterminacion, ya que este valor es igual tanto a ambos
limites laterales como al valor directamente dado a la Iuncion en t=0. Podemos pues
aplicar la propiedad que nos permite hallar el valor de la Iuncion en el origen en Iuncion
de sus coeIicientes de Fourier, utilizando ademas que la simetria par de la Iuncion
garantiza que c
n
=c
n
, y que todos los coeIicientes pares son nulos por ser las x
k
(t)
simetricas en media onda:
2 , 2 ,
1
impar
1 2
k n k n
n n
n
c c
+ +
= =
= =
.
Utilizando ademas las relaciones recursivas anteriormente halladas para los c
k,n
,
tenemos que, para n impar,
( )( ) ( )
2 , 2 2, 2 2 2 2
4 2 1 2 2 4 2 1
k n k n
k k k
c c
n n
= ,
2, 2 2
4
n
c
n
= .
La solucion de esta ecuacion recursiva nos permitiria hallar los c
2k,n
, de donde
podriamos extraer los valores de las sumas deseadas. Es relativamente sencillo
comprobar por induccion que, para n impar,
( )
( )
( )
2
2 , 2 2
1
2 2 1 !
1
2 2 !
l
k
l
k n l l
l
k
c
n k l
=
.
EIectivamente, para k=1, tenemos
( )
( )
( )
2
1
2, 2 2 2 2
2 2 1 !
4
1
2 2 !
n
c
n n
= =
,
mientras que si el resultado es cierto para k, entonces
( )( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
2 2, 2 , 2 2 2 2
2 ' 2
1
'
2 ' 2 ' 2 2
' 2
2 '
1
'
2 ' 2 '
' 1
4 2 1 2 4 2 1
2 2 2 1 ! 2 2 2 1 !
1
2 2 2 ' ! 2 2 2 !
2 2 2 1 !
1 ,
2 2 2 ' !
k n k n
l
k
l
l l
l
l
k
l
l l
l
k k k
c c
n n
k k
n k l n k
k
n k l
+
+
=
+
=
+ +
=
+ +
=
+ +
+
=
+
donde se ha realizado el cambio de variable l'=l+1. De aqui,
( )
( )
( )
( )( )
2
2
2 , 2 2
1 1 1
impar
2 1 2 !
2 2 2 2 !
2 1 1
2 2
l
l
k k
l l l
l
k n l l
n l l
n
l S
k k l s
k k c
l l
+
= = =
= = =
;
Esto nos permitiria hallar las diIerentes sumas mediante la ecuacion recursiva hallada.
Para simpliIicar estos calculos, podemos deIinir
( )
2 2
2
2 2 !
l l
l
l
Q
S
l
= , ( ) ( )
2 1 2
1
2
1 2 2 1
2
k
l
l l
l
l
k
k Q
l
=
=
,
1 1 2
2! 1
2 6
Q S
= = ,
2 2 3 4
4! 1
2 30
Q S
= = ,
3 3 6 5
6! 1
2 42
Q S
= = ,
4 4 8 7
8! 1
2 30
Q S
= = .
Por ejemplo, podemos hallar
( ) ( ) ( )
4
9 10 9 2 1 2
5 5
1
3 5 7 8
10
2 2 1 2 3 11 31 5 1 2 2 1
2
5 5 9 2 5 21 2 5 63 2 5 79 2 5 31;
l
l l
l
l
Q Q Q
l
=
= = +
= + + =
5
5
66
Q = ;
9 10 10
5
5 10
1
2 1
10! 93555
n
Q
S
n
+
=
= = =
.
( ) ( ) ( )
5
11 12 11 2 2 1 2
6 6
1
2 2 6 2 6 2 9
10
12
2 2 1 2 3 5 7 13 6 1 2 2 1
2
2 3 2 3 11 2 3 55 2 3 77 2 3 935 2 3 1705
2 3 691;
l
l l
l
l
Q Q Q
l
=
= =
= + + +
=
6
691
2730
Q = ;
11 12 12
6
6 12
1
2 1 691
12! 638512875
n
Q
S
n
+
=
= = =
.
Algunos lectores habran reconocido que los Q
l
son en realidad los valores absolutos de
los numeros de Bernoulli B
2l
, deIinidos junto con los polinomios de Bernoulli B
m
(x)
mediante:
( )
0
1 !
m
vx
m
v
m
B x v
ve
e m
=
=
; ( )
0
0 lim
1
m
m m m x
x
d x
B B
dx e
= =
.
De hecho, un resultado debido a AdolI Hurwitz, matematico de Iinales del siglo XIX y
principios del XX, establece que para m2,
( )
( )
( )
0
exp 2
!
2
m m m
n
n
i nt
m
B t
n
i
+
=
=
.
Es decir, que para m=2l, aplicando la propiedad del valor en t=0 se obtiene
( )
( ) ( )
( )
( ) ( )
2 2 2 2 2 1 2
1
1 2 ! 1 2 !
1
0 2
2
2
l l
l l l l l l l
n
l l
B B S
n
=
= = =
;
( )
( )
( )
( )
1
2 1 2 2 1 2
2
2
2 1 2
0
2 ! 2 !
l
l l l l
l
l l
B
S B
l l
= = .
Los numeros de Bernoulli estan calculados para valores muy grandes de m (en Octubre
de 2005 se publico el valor de B
5000000
). Observando los valores mostrados en |1|,
podemos entonces hallar:
13 14
14
1
1 2 7
6 14!
n
n
+
=
=
,
15 16
16
1
1 2 3617
510 16!
n
n
+
=
=
,
17 18
18
1
1 2 43867
798 18!
n
n
+
=
=
19 20
20
1
1 2 174611
330 20!
n
n
+
=
=
,
21 22
22
1
1 2 854513
138 22!
n
n
+
=
=
.
Notese Iinalmente que, debido a la relacion entre los numeros de Bernoulli y la Iuncion
zeta de Riemann (ver por ejemplo |1|),
( ) ( )
( )
1
2 2 1 2
1 2 !
2
2
l
l l l
l
B l
= ,
podemos hallar por un segundo camino el resultado que sera conocido para algunos
lectores:
( )
2
1
1
2
l
n
l
n
=
=
.
Referencias:
|1| http://mathworld.wolIram.com/BernoulliNumber.html
PROBLEMAS PARA LOS MS JVENES (28)
Presentamos algunos problemas de Olimpiadas rusas, para alumnos de la
clase 9
Problema J28.1: (Ashgabad, 1990), propuesto por I.Voronovich.
Demostrar que, cualquiera que sea el nmero real t; se verica la desigualdad
t
4
t +
1
2
> 0:
Problema J28.2:(Ashgabad,1990), propuesto por V.Chinik.
Por un punto interior P al tringulo ABC se trazan tres paralelas a los lados,
que dividen a stos en tres segmentos , de longitudes respectivas a
1
; a
2
; a
3
(el
lado BC), b
1
; b
2
; b
3
(el lado CA) y c
1
; c
2
; c
3
(el lado AB).
Demostrar que
a
1
b
1
c
1
= a
2
b
2
c
2
= a
3
b
3
c
3
:
Problema J28.3 .(1996),propuesto por L.Mednikov.
Demostrar que si 0 < a < 1 y 0 < b < 1; entonces
ab (1 a) (1 b)
(1 ab)
2
<
1
4
:
Problema J28.4. (Alma Ata, 1992) propuesto por D.A. Mitikin.
Resolver el sistema de ecuaciones
(1 + x)
1 + x
2
1 + x
4
= 1 + y
7
(1 + y)
1 + y
2
1 + y
4
= 1 + x
7
c
2
;
b
2
; R(p a; 0) ; S (0; p a) :
AO y =
b
c
x; AM y =
c
b
x;
BC
x
c
+
y
b
= 1; SR x +y = p a:
Las coordenadas de los puntos M,N y U son:
M
cb
2
b
2
c
2
;
c
2
b
b
2
c
2
N
(p a b) c
c b
;
(p a c) b
b c
U
(p a) b
b c
;
(p a) c
b c
(b c)
2
(b +c)
2
;
y la de MN
2
:
MN
2
=
c
2
[
b
2
+ (p a b) (b +c)
]
2
+b
2
c
2
+ (p a c) (b +c)
2
(b c)
2
(b +c)
2
:
Desarrollando se comprueba que
2
b
2
+ (p a b) (b +c) ;
c
2
+ (p a c) (b +c) ;
(p a) (b +c) cb
son todos iguales a
pb +pc ab ac cb
y el tringulo es issceles.
3
Problemas propuestos (nivel medio y de Olimpiadas 28)
1.(Moldavia, 1997)Sea n = 2
13
3
11
5
7
:
Determinar el nmero de divisores positivos de n
2
que son menores que n y
que no son divisores de n:
2.(Lista corta IMO 1996)Hallar todos los enteros estrictamente positivos, a; b
tales que
a
2
b
b
2
a
=
a
2
+ b
2
ab
+ ab
3.(VietNam 1996) Encontrar todas las funciones f : N
!N
tales que
f(n) + f(n + 1) = f(n + 2)f(n + 3) 1996; para todo n 2 N
:
4.(Eslovenia 1996) Sea Q el punto medio del lado AB del cuadriltero convexo
ABCD, inscrito en una circunferencia, y sea S la interseccin de sus diagonales
AC y BD.
Sean P y R las proyecciones ortogonales de S sobre AD y BC, respectiva-
mente.
Demostrar que PQ = QR.
5.(Colorado 1988). Se toman 5 puntos interiores o sobre los lados de un
tringulo de rea 1. Demostrar que tres de ellos son vrtices de un tringulo
cuya rea no es mayor que 1/4.
6.(URSS 1973). Una circunferencia es tangente, respectivamente en A y B
a dos semirrectas de origen O. La paralela a OB trazada por A vuelve a cortar
a en C. El segmento OC vuelve a cortar a en E. Las rectas AE y OB se
cortan en K.
Demostrar que K es el punto medio del segmento OB.
1
Problema 5(21 OIM, Guayaquil 2006)
Dada una circunferencia , considere un cuadriltero ABCD con sus cuatro lados
tangentes a , con AD tangente a en P y CD tangente a en Q. Sean X e Y los puntos
donde BD corta a , y M el punto medio de XY. Demuestre que CMQ AMP = .
Solucin de Hugo Fernndez Hervs, durante el concurso:
Sea O el centro de la circunferencia, entonces el cuadriltero POQD es cclico, y su
dimetro es OD pues 2 / = = DPO DQO . Adems, OM BD OM XY ; es
decir, el ngulo DMO vale 2 / , por lo que M tambin pertenece a la circunferencia
circunscrita a POQD.
De esto se deduce que PMQD es cclico y por tanto MQC APM = . Y aplicando el
teorema del seno a los tringulos APM y CQM se obtiene que:
) (
) (
APM sen
x sen
AM
AP
= y
) (
) (
) (
) (
) (
) (
APM sen
y sen
APM sen
y sen
MQC sen
y sen
CM
CQ
=
=
siendo
AMP x = e CMQ y = .
Sean = AB P' , = BC Q' , ' ' AMP x = y ' ' CMQ y = . Procediendo de igual
manera que antes, se llega a:
) ' (
) ' ( '
M AP sen
x sen
AM
AP
= y
) ' (
) ' ( '
M AP sen
y sen
CM
CQ
y
) ' (
) ' (
) (
) (
M AP sen
y sen
APM sen
y sen
; dividiendo ambas
expresiones:
) ' (
) ' (
) (
) (
y sen
x sen
y sen
x sen
= .
Por otro lado, se puede observar que < + = + ' ' y y x x pues
' ) ' ( ) ' ( ' y y QMD MB Q PMD MB P x x + = + = + = + esto es as pues DP=DQ,
y por tanto el arco que abarcan PMD y QMD en la circunferencia circunscrita a
PMQD es el mismo, por lo que son iguales, lo mismo para MB P' y MB Q' .
Ahora bien, el sistema de ecuaciones:
) ' (
) ' (
) (
) (
y sen
x sen
y sen
x sen
=
< + = + ' ' y y x x
Slo tiene la solucin ' ' ; y x y x = = . Con lo que queda demostrado el enunciado.
Problema 131
Propuesto por 1os Luis Daz Barrero, Barcelona, Espaa
Calcular
2
1
2 4 4
2
1
limln
=
|
`
'
)
Solucin de Daniel Lasaosa Medarde, Pamplona, Espaa.
Generalizaremos el problema para hallar el limite
2
2
2 2 4 4 4
2
1
limln
=
|
`
'
)
,
siendo un real positivo cualquiera, y luego lo particularizaremos para el caso =1. En
primer lugar, utilizamos conocidas relaciones de logaritmos para escribir el limite como
2
2
2 2 4 4 4 2 2 4 4 4 2
2 2 2
1 1
2 4
1
limln lim ln
lim ln 1 .
= =
=
| |
=
`
' '
)
|
| | |
=
' ' '
'
Ahora bien, podemos identiIicar el ultimo termino como la suma de Riemann de la
integral entre 0 y de la siguiente Iuncion:
( )
( )
2 4
ln 1 = + + ,
donde se ha dividido el intervalo (0,) en subintervalos de longitud /, y se ha
evaluado la Iuncion () en el extremo superior de cada subintervalo. Se tiene entonces
que el limite pedido es igual a
( )
( ) ( )
2 4 2
0 0 0
1
ln 1 ln 1
2
= + + = + +
,
donde se ha realizado el cambio de variable =
2
. Si ahora hacemos ademas el cambio
de variable
( ) senh = , ( ) cosh = ,
( ) ( ) ( ) ( )
2 2
1 senh senh 1 senh cosh
+ + = + + = + = ,
se tiene que el limite pedido es
( )
( )
( )
arcsenh
2
0 0
1 1
ln 1 cosh
2 2
+ + =
.
Al ser la Iuncion senh() siempre estrictamente creciente salvo para =0, el extremo
superior de la integral es un real positivo bien determinado. Podemos Iinalmente
integrar por partes:
( )
( ) ( ) ( )
0 0 0 0
0
cosh
2 2 2
senh senh cosh 1;
2
+
= =
+
= = +
( )
( )
( )
arcsenh
0
arcsenh 1 1
1
cosh
2 2
+ +
=
,
y este es el limite general pedido. Podemos calcular el arcoseno hiperbolico como
sigue:
2
= ;
2
2 1 0
= ;
2 4 4
1
2
+
= = + .
Como el resultado con signo negativo no tiene sentido, ya que
=
|
=
`
'
)
.
En el caso particular de que =1, se tiene
( )
( )
2
1
2 4 4
2
1
arcsenh 1 1 2
2 1
limln ln 1 2
2 2
=
|
= =
`
'
)
.
PROBLEMA 132
Propuesto por: J os Luis Daz Barrero, Barcelona, Espaa.
Sean
n
x x x ,..., ,
2 1
nmeros reales dados. Para todo 1 n , demostrar que:
( )( )
12
2 1
cos
1
sin
1
1 1
+ +
= =
n n
x T
n
x T
n
n
k
k k
n
k
k k
Donde
K
T es el k-esimo numero triangular, definido por
( )
2
1 +
=
k k
T
k
. 1 k .
SOLUCION DE: DANIEL DARIO GONGORA GARCIA.
Carabayllo, Lima, PERU.
mastermath2004@hotmail.com
Se tiene la desigualdad de Cauchy:
= = =
n
k
k
n
k
k
n
k
k k
b a b a
1
2
1
2
2
1
Y hacemos:
1
=
=
= = =
n
k
k
n
k
k
n
k
k k
k k
k k
x T x T
x b
T a
1
2
1
2
1
sin sin
sin
(1)
2
=
=
= = =
n
k
k
n
k
k k
n
k
k
k k
k k
x T x T
x b
T a
1
2
1
2
1
cos cos
cos
.. (2)
Sumando (1) y (2) obtenemos:
( )
= = = = = =
+
= =
n
k
n
k
K
n
k
n
k
k
n
k
k k
n
k
k k
k k
n T n T x T x T
1 1 1 1
2
1
2
1
2
1
1 cos sin
=
+
= =
n
k
n
k
k k
n
1 1
2
2
=
( )( ) ( )
+
+
+ +
2
1
6
1 2 1
2
n n n n n n
=
( )( )
6
2 1
2
+ + n n n
Por lo tanto:
( )( )
6
2 1
cos sin
2
2
1
2
1
+ +
= =
n n n
x T x T
n
k
k
n
k
k k
( )
De otro lado, aplicando M.A.M.G.
2
1
2
1
2
1
2
1
cos sin
2
cos sin
= =
= =
n
k
k k
n
k
k k
n
k
k k
n
k
k k
x T x T
x T x T
2
1
2
1 1 1
cos sin cos sin 2
= = = =
n
k
k k
n
k
k k
n
k
k k
n
k
k k
x T x T x T x T .( )
Relacionando ( ) ( ) obtenemos:
( )( )
6
2 1
cos sin 2
2
1 1
+ +
= =
n n n
x T x T
n
k
k k
n
k
k k
( )( ) ( )( )
12
2 1
cos
1
sin
1
12
2 1
1 1
+ +
+ +
= =
n n
x T
n
x T
n
n n
k
n
k
k
n
k
k k
Tomando la parte derecha de la desigualdad obtenemos que:
( )( )
12
2 1
cos
1
sin
1
1 1
+ +
= =
n n
x T
n
x T
n
n
k
k k
n
k
k k
Q.E.D.
Resolucin de Problemas Rafael Arias
PROBLEMA 133 REVISTA DE LA O.E.I.
ENUNCIADO
Probar que si , y 0 > b a 0 > , entonces se verifica ( )
2 2 2
1 a ab a b + . Cundo
se alcanza la igualdad?
SOLUCIN
Es inmediato que .
2 2
a ab b
( ) ( ) ( )
2 2 2 2 2 2 2
1 a b ab a b b a b + + = + . porque . Por
lo tanto, . Luego
2 2
a b a b 0 > b a
0
2 2
a b ( ) ab a b ab +
2 2
.
Es consecuencia entonces que ( )
2 2 2
1 a ab a b + .
2
a ab = si y slo si . b a =
Supngase ( ) . Es sabido que ab a b = +
2 2
1 ( ) ( )
2 2 2 2
1 a b ab a b + + . Luego
. Como se cumplen a la vez y ,
es inmediato que . Por ser y b estrictamente positivos, se concluye que .
( )
2 2 2 2 2 2
0 b a a b a b ab ab +
2 2
b a
2 2
b a
2 2
b a = a b a =
Por lo tanto, para que se cumpla la igualdad, deben ser iguales los trminos y b . a
Problema 134
Propuesto por el editor
Sean O, I, H el circuncentro, incentro y ortocentro, respectivamente, del triangulo ABC.
Conocidos los lados del triangulo OIH, determinar los lados del triangulo ABC.
Solucin de Daniel Lasaosa Medarde, Pamplona, Espaa.
Se utilizaran en la resolucion del problema las siguientes relaciones:
8 cos cos cos
2 2 2
A B C
p R
| | |
=
' ' '
,
( ) ( ) ( ) 4sen sen sen cos cos cos 1
2 2 2
r A B C
A B C
R
= = + +
,
( ) ( ) ( )
( )
2
2
2
4 2
cos cos cos
16
p R r
A B C
R
+
= ,
donde R y r son los radios respectivos de las circunIerencias circunscrita e inscrita a
ABC, y p es el perimetro del triangulo. La primera se puede demostrar aplicando el
teorema del seno y conocidas relaciones trigonometricas:
( ) ( ) ( ) sen sen sen 2cos cos cos
2 2 2 2
p C A B A B
A B C
R
( | | |
= =
(
' ' '
.
La segunda requiere la anterior, y conocidas expresiones del area S de ABC:
( ) ( ) ( )
( ) ( ) ( )
2
sen sen sen
2
4sen sen sen
2 2 2 2
2cos cos cos
2 2 2
2cos cos cos cos cos cos 1.
2 2 2
A B C
r S abc A B C
A B C R Rp R p
A B A B A B
A B C
| | |
= = = =
| | |
' ' '
' ' '
( | | |
= =
(
' ' '
La ultima se puede obtener a partir de
( ) ( ) ( )
( )( )( )
3
2 2 2
2 2 2 2 2 2 2
2 2 2
2
1 cos 1 cos 1 cos
8 8
p p a p b p c
p S p
A B C
a b c a b c R
= = = ( ( (
( ) ( ) ( )
( ) ( ) ( )
2 2 2
4
2 2 2 2 2 2 2
2
2
2 2 2
32
1 cos 1 cos 1 cos
8
,
2
p a p b p c
S
A B C
a b c a b c p
r
R
= =
=
donde se ha utilizado otra conocida expresion del area del triangulo. Entonces,
( ) ( ) ( )
2 2
2 2
1 cos cos cos
16 4
p r r
A B C
R R R
= + +
.
Una vez que disponemos de estas relaciones, podemos pasar a expresar las longitudes
de los lados de OIH en Iuncion de R, r y p. En el caso de OI, es conocido que
2 2
2 OI R Rr = ,
que se obtiene aplicando el teorema de la potencia a I con respecto a la circunIerencia
circunscrita a ABC. De Iorma similar hallaremos OH. Para ello, consideremos el punto
A' donde AH corta de nuevo a la circunIerencia circunscrita a ABC. Entonces,
( )
( )
( )
cos
2 cos
sen
c A
HA R A
A B
= =
+
, ( ) ( ) ( ) ' 2 cos 4 cos cos HA BH C R B C = = ,
( ) ( ) ( ) ( )
2
2
2 2 2 2 2
' 8 cos cos cos 2 2
2
p
OH R HA HA R R A B C R R r = = = .
La primera igualdad se halla aplicando el teorema del seno, teniendo en cuenta que
HBA=/2A, AHB=A+B, mientras que la segunda es un ejercicio de simple
trigonometria una vez que se constata que CBA'=CAA'=HBC=/2C.
Finalmente, para hallar IH, supondremos sin perdida de generalidad que BC. Luego
2 2 2
A B C
IAH CAB CAI HAB A B
= = =
.
Aplicando el teorema del coseno se obtiene entonces
( )
( )
( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
2
2
2 cos
4sen sen cos cos
4 2 2 2
2cos cos 2cos cos cos
2 2 2
cos 1 cos cos cos cos
cos 1 cos 1 cos cos sen sen ;
IA HA IAH
B C B C
A
R
B C B C B C
A A
A B C A B C
A B C A B C
| | |
=
' ' '
| | |
=
' ' '
= ( (
= ( (
( ) ( )
2
2
2 2
2
2sen sen 2sen 2sen 1 cos 1 cos
4 2 2 2 2
IA B C B C
B C
R
( | | | |
= = = ( (
(
' ' ' '
;
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( )
2 2 2 2 2 2
2 2
2 2
2
2
2
2 cos 4 cos 4 1 cos 1 cos
4 cos 1 cos 1 cos 4 cos sen sen
4 1 cos 1 cos 1 cos 4 cos cos cos
2 2 .
4
IH HA IA IA HA IAH R A R B C
R A B C R A B C
R A B C R A B C
p
r R r
= + = +
=
= + +
Podemos ahora despejar R, r y p en Iuncion de las longitudes de los lados de OIH:
( ) ( )
4
2
2 2 2 2 2
2
2 4 2 2 2 2
OI
OH IH R r R R r R r OI
R
= = = ;
2
2 2 2
2 2
OI
R
OI OH IH
=
+
;
2 2 2 2 2
2 2 2
2
2
2 2 2
R OI OH OI IH
r
R
OI OH IH
= =
+
;
( )
( )
( ) ( )
2
4 2 2 2
2
2 2 2 2
2 2 2
2
4 2 2 2 2 2 2 2
2
2 2 2
4
2 2 2 2 2 2 2
2 2 2
2 3 2
2 4 2 2 2
2 2
27 10 2 2 2 2
2
2 2
27
8 3 2 27 8 3 2
2 2
OI OI OH IH
p R R r OH OH
OI OH IH
OI OI OI OH IH OI OH IH
OH
OI OH IH
OI
OI OH IH R OI OH IH
OI OH IH
+ +
= + + =
+
+ + +
=
+
= + = +
+
Ahora bien, los lados del triangulo son las raices de la ecuacion cubica
( ) ( )
3 2
0 x a b c x ab bc ca x abc + + + + + = .
Las ecuaciones de este tipo se resuelven de Iorma habitual mediante cambio de variable:
3
p
v x = ,
3
3 2 0 v v = ,
( )
2
3
9
p ab bc ca
+ +
= ,
( )
3
27 2 9
54
abc p ab bc ca p
+ + +
= .
Las soluciones son entonces
2 cos
3 3
p
x
= +
,
2
2 cos
3 3
p
x
+
= +
,
2
2 cos
3 3
p
x
= +
,
donde
( )
3
cos
= .
Ahora bien, podemos simpliIicar las expresiones para y . Para ello, observamos que
( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
2 2 2 2
2
2
4 2
2 1 cos 2 1 cos 2 1 cos
64 sen sen sen sen sen sen sen
2 2 2 2 2 2 2
16 4 ;
ab bc ca p ab bc ca a b c
ab C bc A ca B
A B C A B C A B C
R
Rr r
=
=
( | | | | | | |
=
(
' ' ' ' ' ' '
=
2
2 2 2 2 2
9 12 3 4 8 4
4
p
Rr r R Rr IH OI IH = = = ;
( )
2 2
2
2 2 2 2
2 2 2
54 108 9
2 36 9 2 4 14 10
4 4
3 5 7 ;
RS p p
p Rr r R r R Rr r
p p
OH IH OI
= + = + +
=
( )
( ) ( )
2 2 2
2 2 2 2
3 5 7
cos
2
4 4
OH IH OI p
OI IH OI IH
=
.
Por lo tanto, el problema esta solucionado, pues podemos hallar p en Iuncion de los
lados de OIH, quedando entonces tanto como determinados por los lados de OIH,
pudiendo entonces hallarse las longitudes de los lados de ABC.
Nota 1: El anterior metodo de resolucion de la ecuacion cubica es valido y produce
soluciones reales si y solo si, bien ==0, bien >0. Pero en nuestro caso siempre se da
una de las dos condiciones, pues
( )
2 2 2
9 a b c ab bc ca = + + + + ,
que es mayor o igual que 0 en virtud de la desigualdad del producto escalar, siendo nulo
si y solo si a=b=c, en cuyo caso es trivial comprobar que =0.
Nota 2: Las relaciones halladas causan indeterminacion cuando IH=2OI, o cuando
todos OIH queda degenerado a un punto. En el segundo caso, no podemos hallar las
longitudes de los lados del triangulo, simplemente deducir que es equilatero. En el
primer caso, =0, que como se ha visto en la nota 1 implica que el triangulo es
equilatero. Luego en todo otro caso existe una unica solucion (salvo permutaciones en
el orden de los lados del triangulo).
Ejemplo: Sean
5
2
OI = ,
5
2
OH = , 2 IH = .
Entonces, la resolucion del triangulo ABC seria como sigue:
2 2
4 5 2 1
9 9 3
OI IH
= = = ,
2 2
25
27
25 675 99
16
10 3 4 144 12
5 25
4 4
4
2 4
p
= + = = =
+
;
2 2 2
9 54 75 35
3 5 7 10 0
2 4 4
OH IH OI
p
= = = = ; ( ) arccos 0
2
= = .
De aqui se obtienen Iinalmente las longitudes de los lados:
2 3
4 cos 5
3 6
+ =
,
2 3 5
4 cos 3
3 6
+ =
,
2 3
4 cos 4
3 2
+ =
.
Problema 135
Propuesto por el editor
Demostrar que
2
+ es un divisor comun de
3
2
+ y
3
+ si divide a uno
de estos dos polinomios.
Solucin de Daniel Lasaosa Medarde, Pamplona, Espaa.
Nota: existen ciertos casos patologicos, segun que ciertas combinaciones de los
coeIicientes sean nulos o no, para los que el resultado a demostrar es Ialso; en una
primera parte, asumiremos que todos los coeIicientes son no nulos, y en una segunda,
analizaremos los casos en los que algun coeIiciente es nulo, para identiIicar los casos
patologicos.
Sean pues todos los coeIicientes no nulos. Entonces, podemos escribir:
( )
2 3 3 2 2
3 2 2
2 2 2
2
+
+ = + + + +
;
( )
( )
2 2
2 2 3
3 2
2 2 2
+ = + + + +
.
Entonces, el primer polinomio divide al segundo si y solo si
2
2 = , y
2 3 2
= + ,
mientras que el primer polinomio divide al tercero si y solo si
2 2 3
= + , y
2 2
= .
Es entonces obvio que una de las dos condiciones es comun. Ahora bien, si el primer
polinomio divide al segundo, entonces
2
=2, que aplicado a la condicion comun
resulta en
3 2 2 2
2 + = = ,
2 2
= ,
y el primer polinomio divide tambien al tercero. Reciprocamente, si el primer
polinomio divide al tercero, entonces
2
=
2
, que aplicado a la condicion comun resulta
en
2 2 3 2
2 = + = ,
2
2 = ,
con lo que el primer polinomio divide tambien al segundo, q.e.d..
Analicemos ahora los casos con algun coeIiciente nulo.
Si los tres coeIicientes son nulos, los tres polinomios son nulos, con lo que la division
tanto del segundo como del tercero entre el primero es una indeterminacion.
Si =0, y es no nulo, el primer polinomio divide siempre al segundo con cociente
2
,
mientras que para =/ (la raiz del primer polinomio), el tercer polinomio toma valor
4
/
3
+, valor no nulo que tiene el mismo signo que , con lo que el primero no
dividiria al tercero. Si ==0, y es no nulo, entonces el primer polinomio es constante
y no nulo, con lo que dividiria al segundo y al tercero siempre.
Si =0 y es no nulo, el tercer polinomio tendria grado 1 y el primero grado 2, con lo
que el tercero nunca seria divisible por el primero. Ademas, el primer polinomio tendria
una raiz nula, pero el segundo no, con lo que el segundo nunca seria divisible por el
primero, siendo en este caso la aIirmacion del enunciado trivialmente cierta.
Finalmente, si =0 es el unico coeIiciente nulo, podemos escribir
( )
2 2
2 2
+
+ = + + ,
( )
2 2
3 2
+
= + ,
donde se comprueba trivialmente que el resto no puede ser nulo en ninguno de los dos
casos a menos que y sean ambos nulos, en contradiccion con la hipotesis de que es
el unico coeIiciente nulo.
Por lo tanto, hemos encontrado el siguiente caso patologico, y hemos demostrado que es
exhaustivo: si es nulo y no lo es, el primer polinomio divide siempre al segundo,
pero nunca al tercero.
PROBLEMAS PROPUESTOS 136-140
PROBLEMA 136.Propuesto por Ovidiu Furdui, Kalamazoo, USA.
Sea a = a a| la "parte decimal" o "mantisa" del nmero real a:
Calcular la integral denida, entre 1=n y 1; de la funcin
cos ( nx) ;
donde n es un entero positivo.
PROBLEMA 137. Propuesto por Laurentiu Modan, Bucarest, Rumania.
Sea O(n) el nmero de nmeros impares entre los primeros 2n 1 nmeros
naturales, y sean S
1
(n) ; S
2
(n) su suma y la suma de sus cuadrados, respecti-
vamente.
i)Comparar O(n) con S
1
(n) :
ii) Hallar todos los nmeros naturales n que verican la desigualdad
S
2
(n) 3 O(n) _ S
1
(n) :
iii) Calcular
lim
n!1
S
2
(n)
O(n) S
1
(n)
:
PROBLEMA 138.Propuesto por Jos Luis Daz Barrero, Barcelona, Es-
paa.
Sea A
1
; A
2
; :::; A
n
un sistema completo de sucesos asociado a un experimento
aleatorio. Es decir, los A
k
son no vacos (1 _ k _ n) , disjuntos dos a dos y tales
que
n
[
k=1
A
k
= E (suceso seguro).
Demostrar que
n
Y
k=1
p (A
k
) _
n
X
k=1
p
2
(A
k
) :
PROBLEMA 139. Propuesto por Jos Luis Daz Barrero, Barcelona,
Espaa.
Sean a; b; c los lados de un tringulo de semipermetro p y circunradio R:
Demostrar que
a
3
sinA
+
b
3
sinB
+
c
3
sinC
_
8Rp
2
3
:
PROBLEMA 140. Propuesto por Doru Popescu Anastasiu, en el nmero
3 de la revista SIPROMA (1998); recuperado por el editor, ya que al ser el
ltimo nmero publicado, no se recibieron soluciones (excepto del proponente).
Sea A
1
A
2
A
3
un tringulo, de lados respectivamente opuestos a
1
; a
2
; a
3
y rea
S:
1
Se consideran los puntos
M
1
; M
2
(A
2
A
3
) ; P
1
; P
2
(A
3
A
1
) ; Q
1
; Q
2
(A
1
A
2
) tales que
M
1
P
2
| A
1
A
2
; M
2
Q
1
| A
1
A
3
; P
1
Q
2
| A
2
A
3
:
Sean
B
1
= M
2
Q
1
M
1
P
2
; B
2
= P
1
Q
2
M
1
P
2
; B
3
= M
2
Q
1
Q
2
P
1
:
Llamemos al rea del tringulo B
1
B
2
B
3
; y nalmente, sean k
1
; k
2
:k
3
las
distancias de B
1
; B
2
; B
3
a A
2
A
3
; A
3
A
1
; A
1
A
2
; respectivamente.
Demostrar que
3
X
i=1
k
i
k
i+1
a
i
a
i+1
+ 4
_
S
3
X
i=1
k
i
a
i
!
_ 2S (S 4) ;
donde los subndices se toman congruentes mdulo 3.
2
COMENTARIO DE PGINAS WEB (28)
Una nueva revista digital: Mathematical Reflections, de Titu
Andreescu
http://reflections.awesomemath.org
Este ao, 2006, es el primero de funcionamiento de una nueva revista digital,
Mathematical Reflections, cuyo editor es Titu Andreescu, ahora en la
Universidad de Texas en Dallas, bien conocido en el mbito de la Olimpiada
Internacional y en las pginas de problemas de Gazeta matematica, por
ejemplo. La revista se ofrece gratuitamente a todos los internautas
interesados, y en ella, adems de artculos extraordinariamente interesantes
(en su 6 nmero aparece, por ejemplo, un artculo del Prof. Mircea Lascu
sobre desigualdades entre la suma de las medianas y las simedianas de un
tringulo), se proponen problemas para todos los niveles: junior, senior,
undergraduate y de olimpiadas. Los artculos figuran escritos en ingls. El
nivel de los problemas es, en general, alto: no se pueden esperar problemas
fciles si se quiere subir el nivel de nuestros estudiantes.
Adems de la revista, la organizacin Awesome Mathematics ofrece un
campamento de verano para alumnos interesados en la resolucin de
problemas difciles. Hay que decir que un buen nmero de estudiantes
iberoamericanos asistieron al mismo en 2006 y sera bueno que ese nmero se
ampliase en aos sucesivos. La informacin sobre formularios de inscripcin,
cmo pedir becas para ayudar al pago y todo lo necesario para acudir al
campamento es accesible a travs de un enlace desde la propia revista.
Auguramos un gran xito a esta nueva revista digital, que facilita gracias a la
tecnologa problemas y artculos de extraordinario inters para los estudiantes
y profesores de matemticas, del mundo entero.
Valladolid, diciembre de 2006
Francisco Bellot
Editor de la REOIM
DIVERTIMENTOS MATEMTICOS (28)
Excepcionalmente, en esta ocasin presentamos dos temas
dentro de los Divertimentos.
I
Una situacin planteada por Andy Liu en Mathematical
Mayhem, 1988
El ao 1988 fue el primero en el que un grupo de estudiantes
olmpicos de Canad puso en marcha la revista Mathematical
Mayhem, que posteriormente se refundira con Crux
Mathematicorum.
En su nmero inicial, y con un propsito perfectamente serio, Andy
Liu, que en seguida apoy la iniciativa de Ravi Vakil y sus
compaeros, plante la situacin que describimos a continuacin,
para evitar el bien conocido temor a las demostraciones que hoy
atenaza a muchos estudiantes (y hay que hacer constar que la
culpa no es suya.). El objetivo es, partiendo de los postulados
que se citan ms abajo, demostrar los teoremas que siguen:
Consideramos la situacin en la que algunos leones muerden a
algunos corderos.
Postulado 1: Hay al menos 2 leones.
Postulado 2: Cada len muerde a, al menos, tres corderos.
Postulado 3: Para cualquier par de leones, hay exactamente un
cordero que es mordido por los dos.
Postulado 4: Para cualquier par de corderos, hay al menos un len
que ha mordido a ambos.
Demuestre, si puede, los 8 teoremas siguientes:
Teorema 1: Hay al menos dos corderos.
Teorema 2: Cada cordero ha sido mordido por, al menos, tres
leones.
Teorema 3: Para cualquier par de corderos, hay exactamente un
len que los ha mordido a los dos.
Teorema 4: Para cualquier par de leones, hay al menos un cordero
que ha sido mordido por los dos.
Teorema 5: Para cualquier len del conjunto, hay al menos un
cordero que no ha sido mordido por l.
Teorema 6: Para cualquier cordero del conjunto, hay al menos un
len que no lo ha mordido.
Teorema 7: Para cualquier par de leones, existe al menos un
cordero que no ha sido mordido por ninguno de los dos.
Teorema 8: Para cualquier par de corderos, existe al menos un
len que no ha mordido a ninguno de ellos.
Invitamos a los lectores de REOIM a que demuestren estos
teoremas, o elijan algunos de ellos como postulados y prueben los
postulados que se habrn convertido en teoremas.
II
Plebiscito sobre la proposicin matemtica ms bella
Asigne a cada proposicin que sigue una puntuacin entre 0 y 10
(valen los empates). Enve el resultado, a ser posible por correo
electrnico, al editor:
Francisco Bellot Rosado
franciscobellot@gmail.com,
acompaado de los comentarios o sugerencias que considere
adecuados. En algn nmero de REOIM 2007 haremos pblico el
resultado del plebiscito.
A) Hay infinitos nmeros primos.
B) Slo hay cinco poliedros regulares
C) El cuadriltero de rea mxima, de lados prefijados a,b,c y
d, es el inscrito en una circunferencia.
D) No hay tringulos equilteros cuyos vrtices sean puntos con
coordenadas enteras.
E) Todo mapa plano se puede colorear con 4 colores.
F) Raz cuadrada de 2 es irracional.
G) El gran teorema de Fermat
H) Pi es trascendente.
I) Toda matriz cuadrada es raz de su polinomio caracterstico.
J) Un icosaedro regular inscrito en un octaedro regular divide a
las aristas de ste en la razn urea.
K) La frmula de Euler para poliedros: Caras + Vrtices = Aristas
+ 2.
L) Si los puntos del plano se colorean con tres colores, hay un
par de puntos del mismo color cuya distancia mutua es 1.
M) Una aplicacin continua del disco unidad cerrado en s mismo
tiene un punto fijo.
N) El teorema de Pitgoras
O) El conjunto de los nmeros racionales es numerable.
Valladolid, diciembre 2006
Francisco Bellot
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: :