Documente Academic
Documente Profesional
Documente Cultură
j
(
\
,
tg senx sen tgx ( ) ( )
x
j
(
\
,
0
2
,
x
j
(
\
,
0
2
,
sen tgx ( )
tg senx ( )
MATEMATICAS 29/10/07 18:56 Pgina 42
Anlisis de los problemas propuestos en la Olimpiada Matemtica IMC 43
Es claro que para todo,
ya que, si
,
(sen es estrictamente creciente en el primer
cuadrante), por lo que
(tg es estrictamente creciente en
),
por lo que basta con ver que
para todo .
(Este primer paso lo hace igual el autor del
problema en su solucin, aunque aplica este
argumento inicial para todo
, intervalo contenido en
).
Para ello, vemos que
para todo .
Para ver esto, desarrollamos por Taylor en el 0
la funcin de la izquierda: Se cumple que
(donde los puntos suspensivos indican trmi-
nos de mayor grado). Por tanto,
para todo , para cier-
to nmero (observacin: esto no asegura
que para todo
ya que el polinomio de Taylor en 0 aproxima
a la funcin cerca del 0: se cumple que
si x > 0 y est cerca de 0, ya que
si , al ser conti-
nua y ). Para ver que la funcin es
positiva en todo el intervalo que nos piden,
hacemos lo siguiente:
(ya que si , ,
por lo que )
Por tanto, si llamamos
, hay que ver
para todo
(sabemos por lo anterior que para
todo
,
para cierto nmero ). Para
ello, vemos el signo de en las races de en
f f
) x
( )
0,
f x ( ) > 0
x arcsen
j
(
\
,
j
(
,
]
]
]
0
4
,
f x ( ) > 0 sen tg x senx ( ) ( ) ( ) cos
f x sen senx ( ) ( )
cos senx ( ) > 0
senx
j
(
]
]
]
0
4
,
x arcsen
j
(
\
,
j
(
,
]
]
]
0
4
,
sen tg x senx ( ) ( ) ( ) > cos 0
sen senx sen tg x senx
senx
sen senx
( ) ( ) ( ) ( )
( )
> ( )
cos
cos
0
tg senx sen tg x
sen senx
senx
sen tg x ( ) ( ) ( )
( )
( )
( ) ( )
cos
t x ( ) 0,
tg senx sen tgx t ( ) ( ) ( ) ( )
( ) 8
x 0
1
30 8
1
30
8
+
( ) ( ) ( ) ( )
( )
tg senx sen tgx t
x
!
x
tg senx sen tgx t
x +
( ) ( ) ( ) ( )
j
(
,
,
\
,
(
(
>
( )
7
8
1
30 8
0
!
tg senx sen tgx t
x +
( ) ( ) ( ) ( )
( ) 8
8
8!
tg senx sen tgx
x
( ) ( )
7
30
x arcsen
j
(
\
,
j
(
,
]
]
]
0
4
,
tg senx sen tgx ( ) ( ) > 0
)
x ( ) 0, sen tgx ( ) > 0
tg senx ( )
7 7 7
15 24 30
+ + + ... ...
x x x
5 7
3 5 3 5 7
2
15
1
9 3
2
15 6 6 18
+ + + + x x x
x x x x x
3 3 5 7 7
6 3 6 36 120
+ + + + x
x x x x x
...
!
... + +
j
(
,
\
,
(
+ + ( )
3
5
1
120 3
1
7
x
x
x
77
+ ...
... ... + + + +
j
(
,
\
,
(
+ + + +
j
(
,
\
,
(
3 5 7 3 5
3
3
2
15
17
315
1
6 3
2
15
x
x x x
x
x x
x
x x
+ + +
3 5
1
3 3 5 ! !
... ...
j
(
,
\
,
(
+
3
sen x
x x x
x
x x x
+ + + +
j
(
,
\
,
(
+ +
j
(
,
\
,
(
3 5 7 3 5 7
3
2
15
17
315 3 5 7
...
! ! !
...
3
tg senx sen tg x tg x
x x x
( ) ( ) ( ) + +
j
(
,
\
,
(
3 5 7
3 5 7 ! ! !
...
x arcsen
j
(
\
,
j
(
,
]
]
]
0
4
,
tg senx sen tgx ( ) ( ) > 0
arcsen
4 2
j
(
\
,
j
(
,
\
,
( ,
x arctg
j
(
\
,
,
,
\
,
(
2 2
,
x arcsen
j
(
\
,
j
(
,
]
]
]
0
4
,
tg senx sen tgx ( ) > ( )
j
(
\
,
2 2
,
tg senx tg sen tgx ( ) >
j
(
\
,
( )
4
1
senx sen arcsen >
j
(
\
,
j
(
,
\
,
(
4 4
x arcsen >
j
(
\
,
4
x arcsen
j
(
\
,
j
(
,
\
,
(
4 2
,
tg senx sen tgx ( ) > ( )
!
... ... +
j
(
,
\
,
(
+ + ( )
3
5
7
2
15 3
17
315
x
x
x
MATEMATICAS 29/10/07 18:56 Pgina 43
44 anales de mecnica y electricidad / septiembre-octubre 2007
si existen:
Entonces se cumple que:
Es decir, en los puntos donde , si
existen, tiene el mismo signo que
(con esto nos hemos quitado las funciones
, ).
Para ver el signo de g en
,
vemos el signo de g en las races de g en
,
si existen:
(tomamos slo la raz positiva porque
).
Entonces,
(tomamos slo la raz positiva porque
,
por lo que al ser
: ).
Por tanto,
Entonces donde ,
Y esta ltima funcin tiene el mismo signo
que
3 3 8 1
6
+ + sec cos sec x tgx x x tgx
2 2 8 1 8 1
6 6 6 6
+ + + sec cos sec cos x x x x
x tgx x x tgx 3 3 8 1
6
+ +
\
,
( sec cos sec
xx x x x x 2 2 8 1 8 1
6 6 6 6
+ + +
j
(
, sec cos sec cos
x senx
1
2
2
sec
+ + x x x 2 8 1
3
6 6 6
2
2
sec cos sec
cos
+ +
)
x x 8 1
6 2
cos sec
+
+ +
(
x x x 2 8 1
1
6 6 6
2
sec cos sec
+
+ + x x x
x
2 8 1
6 6 6
2
2
sec cos sec
sec
( )
+ g x x senx 3
2
cos
g x
( )
0
cos
cos
cos
sec
x
x
x
x
+ +
+ +
6
3
6
3
1 8 1 1 8 1
2
2
cos cos
cos cos
cos
tg x x
x x
x
( ) ( )
+
+ +
j
(
,
,
\
,
(
(
3
6 6
6
1
2 1 8 1
2
2
12 <
16
2
2
<
sen tgx
( )
> 0
j
(
,
]
]
] 0
16
2
,
x arcsen tgx tg arcsen
j
(
,
\
,
(
j
(
,
]
]
]
j
(
,
\
,
(
j
(
,
\
,
(
j
(
,
]
]
] 0
4
0
4
, ,
sen tgx
x x x
( )
+ + 2 8 1
6 6 6
2
sec cos sec
sen tgx
2
0
( )
+ + 2 8 1
6 6 6
2
sec cos sec x x x
sen tgx
2
(( )
+ + 2 1 8 1
6 6
6
2
cos cos
cos
x x
x
x + 1 0
6
cos
x sen tgx x sen tgx
( )
+ +
( ) ( )
2 1
6 4 6 2
cos cos
x sen tgx sen tgx +
( ) ( )
+
( )
1 1
6 2
2
2
cos
g x tg x x sen tgx
( )
( ) ( )
+
( ) ( )
0 1
3 2
cos cos
0
4
, arcsen
j
(
,
\
,
(
j
(
,
]
]
]
0
4
, arcsen
j
(
,
\
,
(
j
(
,
]
]
]
cos senx
( ) sen senx
( )
g x x tg x sen tgx x
( )
( ) ( )
+
( )
cos cos cos
3 2 3
f
f x
( )
0
( ) ( )
+
( )
( ) ( )
+
x tg x sen tgx x
x sen tg x
cos cos cos
cos
3 2 3
2 2
1
+
( ) ( )
sen tgx sen senx x cos
( )
( )
( ) ( ) ( )
f x senx x tg x x senx cos cos cos sec cos
2
sen senx
sen tg x
sen tg x
( )
( ) ( )
(
2
)) ( )
+1
senx
sen tg x
( )
( ) ( )
+
1
1
2
cos ,
sen tg x senx senx
( ) ( ) ( )
+
( )
1
2 2 2
cos cos
f x sen senx sen tg x senx
( )
( )
( ) ( ) ( )
0 cos
0
4
, arcsen
j
(
,
\
,
(
j
(
,
]
]
]
MATEMATICAS 29/10/07 18:56 Pgina 44
Anlisis de los problemas propuestos en la Olimpiada Matemtica IMC 45
(con esto nos hemos quitado las funciones
, , y ya todo queda en funcin
de sen(x), cos(x)). Vamos a ver que
para todo
.
Para ello, despejamos el trmino con la raz
grande, elevamos al cuadrado para quitarla,
despejamos los trminos con la raz peque-
a, volvemos a elevar al cuadrado para qui-
tarla, lo pasamos todo a un lado, simplifica-
mos, quitamos factores comunes positivos, y
lo dejamos todo en funcin de cosenos, y
nos queda que
es equivalente con
Si hacemos ahora el cambio de variable
tenemos que, como
,
,
con lo que la desigualdad anterior queda
. (Ya hemos quitado
cos(x), y hemos llegado a un polinomio en t).
Se puede ver por Ruffini que el polinomio
de la izquierda tiene la raz t=1 triple, luego
la desigualdad se factoriza como
.
Como , , luego para demos-
trar la desigualdad deseada basta ver que
si
.
Para ver esto, obser vamos que P tiene el
mismo signo que
, P tiene el mismo signo que
, tiene el mismo
signo que , y tie-
ne el mismo signo que . Halla-
mos las races de este ltimo polinomio:
,
por lo que, al ser el coeficiente de t
2
positivo,
tenemos que para todo t, y enton-
ces P(t) es estrictamente creciente, con
P(0)>0, por lo que P(t)>0 si , y en-
tonces es estrictamente creciente en
ese inter valo, con , por lo que
si , y entonces es estric-
tamente creciente en ese inter valo, con
, por lo que si , y en-
tonces P(t) es estrictamente creciente en ese
intervalo, con , por lo que si
, y en concreto
si
,
como queramos. Por tanto tenemos que
para todo
,
y entonces donde , si
.
Vamos a ver que esto implica que g no tie-
ne races en este intervalo. Para ello, halla-
mos ahora el polinomio de Taylor de g en 0:
se cumple que
...
4 6
7
8
61
240
x x
+ +
!
...
6
2
4 4 6 2
8
3 1
4 24 6
1
3
2
x
x
x x x x
+ +
j
(
,
\
,
(
j
(
,
\
,
(
+
cos
!
...
3
2 4 6
3
2 4
1
2 24 6
1
3
2
3
4
x
x x x x x
+ +
j
(
,
\
,
(
+
x arcsen
j
(
,
\
,
(
j
(
,
]
]
]
0
4
,
g x
( )
0
( )
> g x 0
x arcsen
j
(
,
\
,
(
j
(
,
]
]
]
0
4
,
3 3 8 1 0
6
+ + > sec cos sec x tgx x x tgx
2 2 8 1 8 1
6 6 6 6
+ + + sec cos sec cos x x x x
t
,
,
\
,
(
16
16
1
2
,
P t
( )
> 0 t 0
P t
( )
> 0 P 0 0
( )
>
t 0
( )
> P t 0
( )
> P 0 0
( )
P t t 0
( )
> P t 0
( )
> P 0 0
( )
P t
t 0
P t
4
0
( )
( )
>
8 11 0
40 1600 320 11
160
2
0 40 t t t R +
8 11
2
0 40 t t +
P
4 ( )
3 32 13
3 2
20 240 1 t t t + +
P 66 3 2
3 2
80 1 t t t + + +
8
4
0 t
1 4 t + +
3 44 13
5 4 3 2
2 40 t t t t + +
t
,
,
\
,
(
16
16
1
2
,
P t t t t t t t
( )
+ + + + + > 64 52 24 1 0
6 5 4 3 2
96 132 12
t
( )
< 1 0
3
t <1
t t t t t t t
( )
+ + + + +
( )
< 1 64 52 24 1 0
3
6 5 4 3 2
96 132 12
15 9 9 1 0
3 2
t t t + <
64 288 612 696 360 36
9 8 7 6 5 4
t t t t t t + +
t x arcsen
j
(
,
\
,
(
j
(
,
\
,
(
,
,
\
,
(
,
,
\
,
(
cos cos , ,
2 2
2
4
1
16
16
1
x arcsen
j
(
,
\
,
(
j
(
,
]
]
]
0
4
,
cos
2
x t
9 1 0
2
cos x <
360 36 15 9
10 8 6 4
cos cos cos cos x x x x + +
64 288 612 696
18 16 14 12
cos cos cos cos x x x x +
3 3 8 1 0
6
+ + > sec cos sec x tgx x x tgx
2 2 8 1 8 1
6 6 6 6
+ + + sec cos sec cos x x x x
x arcsen
j
(
,
\
,
(
j
(
,
]
]
]
0
4
,
3 3 8 1 0
6
+ + > sec cos sec x tgx x x tgx
2 2 8 1 8 1
6 6 6 6
+ + + sec cos sec cos x x x x
cos tgx
( )
sen tgx
( )
MATEMATICAS 29/10/07 18:56 Pgina 45
Por lo que:
Por otro lado,
y entonces:
Por tanto,
,
lo que implica que si pa-
ra cierto nmero , al ser
si . Esto indica que g no tiene ninguna
raz en
,
ya que si tuviera alguna, estara en
,
por lo que habra un mnimo de las races de
g en ese intervalo, llammosle , pero como
( ), g ser estrictamente
creciente cerca de , por lo que existe un
tal que , y al ser si
, por Bolzano existe un con
tal que , contradiccin
con que era la mnima raz en
.
Por tanto, al ser g continua, se cumple que
en
,
por lo que donde en
.
Y como si para cier to
, como vimos al principio, se cumple que
para todo
,
como queramos (repitiendo el argumento
visto para g).
Como ven, una solucin muy extensa para
un enunciado muy breve.
x arcsen
j
(
,
\
,
(
j
(
,
]
]
]
0
4
,
f x
( )
> 0
x
( )
0, f x
( )
> 0
0
4
, arcsen
j
(
,
\
,
(
j
(
,
]
]
]
f x
( )
0
( )
> f x 0
0
4
, arcsen
j
(
,
\
,
(
j
(
,
]
]
]
g x
( )
> 0
, arcsen
4
j
(
,
\
,
(
,
,
]
]
]
g x
0
0
( )
< x
0
x
0
x
( )
0,
g x
( )
> 0 g
( )
< 0 <
g
( )
0
( )
> g 0
, arcsen
4
j
(
,
\
,
(
,
,
]
]
]
0
4
, arcsen
j
(
,
\
,
(
j
(
,
]
]
]
x > 0
7 x
6
30
0 >
x
( )
0, g x
( )
> 0
x x
x
x x x
+ + + + + ... ...
4 6
2
4 6 6
7
6
4
360
7
6
1
360 30
3 27 7
g x x tgx sen tgx x x
( )
( )
+
( )
cos cos cos
3 2 3 2
6
127
360
+ +
x
...
x
x x x x
2
4 6 4
3 45
3
2
( ,
+
66 6
2
4
2
7
8
7
6
+ +
x
x
x
...
x
x x x x
2
4 6 2 4
3 45
1
3 7
8
+
j
(
,
\
,
(
+
j
(
,
\
,
(
+ ...
2
sen tgx x
2 3
( ) ( )
cos
4 6
sen tgx x
x x
x
x x
2
3 5
2
2
4 6
6 40 3 45
( )
+ +
j
(
,
\
,
(
+ + ... ...
x
x x x x x
x
x x
+ +
+
+ + + +
3 5 3 5 5 3 5
3
2
15 6 120 6 40
... ...
sen tgx x
x x
x
x
x
( )
+ +
+
j
(
,
\
,
(
+ +
3 5
3
3
5
3
2
15
3
6 120
...
... ...
2 4 6
2
4 6
1
2
7
24
9
720
7
6
4
360
x x x
x
x x
j
(
,
\
,
(
+ + +
7 3
cos cos
3
2 4 6
1
3
2
7
8
61
240
x tgx
x x x
( )
+
2 4 6
1
2
7
24
97
720
+
x x x
...
x x
x
x x
( ,
+ + +
+
2 4
6
6
1
2
3 9
4
15
2
44 6
6
4
3
24 720
+
+
x
x
...
...
x
x x
x
x x
+
+ +
j
(
,
\
,
(
+ +
j
(
,
\
,
(
+
3 5
4
3 5
6
3
2
15
24
3
2
15
720
cos cos ... tgx x
x x
x
x x
( )
+ + +
j
(
,
\
,
(
+ +
j
(
,
\
,
(
3 5
3 5
2
3
2
15
1
3
2
15
2
[1] Participacin de la Universidad Pontificia Comillas en el
IMC 2005. Revista Anales de la Mecnica y la Electrici-
dad.Volumen LXXXIII. Fascculo I. Enero-Febrero 2006
[2] www.imc-math.org
Referencias
46 anales de mecnica y electricidad / septiembre-octubre 2007
MATEMATICAS 30/10/07 13:13 Pgina 46
Olimpiadas IMC 2007
La American University of Bulgaria, en Blagoevgrad (Bul-
garia), ha sido este ao la sede de la XIV Edicin de la In-
ternational Mathematics Competition for University Stu-
dents 2007, la famosa competicin matemtica IMC, en la
que alumnos de la Universidad Pontificia Comillas partici-
pan cada ao, cada vez con mejores resultados.
Entre el 3 y el 9 de agosto, el equipo de esta universi-
dad, formado por 4 estudiantes de Ingeniera Industrial del
ICAI, consigui una excelente posicin, a pesar de que es-
te ao las pruebas eran ms complicadas. Las hermanas
Maite y Alicia Pea Alcaraz, de 3er curso, y ya veteranas
tras par ticipar en las ediciones de 2005 y 2006, junto a
dos nuevas representantes de 2 curso IIN, Ftima Porras
Olalla y Cristina Snchez Rebollo, subieron puntos con
respecto a la pasada edicin, y adems, Maite Pea consi-
gui de nuevo la Medalla de Bronce.
Las pruebas son 2 das en sesiones, de 5 horas y con 12
problemas (6 cada da) ordenados por dificultad. Participan
65 universidades de 37 pases. Este ao, han sido 248 parti-
cipantes, entre los que se encontraban las 4 universidades
espaolas: Valencia, Barcelona, la Universidad Complutense
y la Universidad Pontificia Comillas.
En el ranking de las Escuelas de Ingeniera, el equipo de la
Universidad Pontificia Comillas qued en 3 posicin. En este
sentido, el mrito del equipo en la competicin general es que
se trata de alumnas de una Escuela de Ingeniera, que compi-
ten con otros muchos alumnos que estn cursando licenciatu-
ras de Matemticas.
MATEMATICAS 31/10/07 11:45 Pgina 47