023 Preparacion2 PDF

Preparacin para competiciones matemticas universitarias
Preparacin para competiciones matemticas

universitarias
Pea, Maite (maitepalcaraz@hotmail.com),
Rodrigo Javier (jrodrigo@upcomillas.es)
Departamento de Matemtica Aplicada
Universidad Pontificia Comillas de Madrid
RESUMEN
Las competiciones universitarias de tipo matemtico, como la OIMU a nivel
iberoamericano, la IMC a nivel mundial, requieren una preparacin especfica, al plantearse
problemas matemticos de un nivel superior al usual en los exmenes de primeros cursos de las
titulaciones universitarias cientficas.
Es por esto que se hace necesario el establecimiento de estrategias tericas para abordar
este tipo de problemas, siendo tambin importante el contar con una coleccin de problemas de
una dificultad parecida a los que se proponen en este tipo de competiciones.
En este artculo se expone parte de la base terica matemtica imprescindible para
afrontar una olimpiada matemtica, y se da una coleccin de problemas resueltos, gran parte de
ellos extrados de exmenes de olimpiadas matemticas ya celebradas, tiles para la parte
prctica de la preparacin.
Palabras claves:
Olimpiadas matemticas; ecuaciones funcionales; didctica de las matemticas
Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura
311
1. INTRODUCCIN
El entrenamiento necesario para presentar a alumnos con ciertas garantas de
xito a pruebas matemticas universitarias, puede ser considerado como un rea aparte
dentro de la didctica de las matemticas, por la gran aptitud de los alumnos que se
presentan a estos exmenes, y por la especializacin de los problemas que deben
resolver, que implica un alto conocimiento terico de especialidades matemticas como
el Algebra, el Anlisis y la Teora de Nmeros.
Se hace por ello necesario disponer de un manual de preparacin en el que se
esboce la teora imprescindible que hay que manejar para poder atacar los problemas de
los exmenes [1], y en el que se d un amplio espectro de ejemplos para que el
estudiante pueda practicar [2], [3].
En este artculo se intentan cubrir estos dos aspectos, proponindose problemas
extrados de las siguientes olimpiadas matemticas:
IMC (www.imc-math.org): International Mathematics Competition for University
Students
OIMU (http://www.obm.org.br/oimu/): Olimpiada Iberoamericana Universitaria de
Matemticas
CPA: Concurso Puig Adam de Matemticas
OME (http://www.rsme.es/): Olimpiada Matemtica Espaola
IMO (http://imo.math.ca/): International Mathematical Olympiad
OIM: Olimpiada Iberoamericana de Matemticas
OCMU
(http://olimpia.uan.edu.co/default.asp):
Olimpiada
Colombiana
de
Matemticas Universitaria
ICW: Instituto Cientfico Weizmann
PC (http://math.scu.edu/putnam/): Putnam Competition
Nos centraremos principalmente en los problemas propuestos en la OIMU,
OCMU y, especialmente, en la IMC, al ser una competicin universitaria a la que se han
presentado en los ltimos aos estudiantes de la Universidad Pontificia Comillas.
La IMC es una competicin matemtica que se celebra desde 1994, organizada
por la University College London, con patrocinadores internacionales como Wolfram
312
research DEShaw&Co. Suele tener lugar en los ltimos das de Julio y en algn pas
del Este de Europa, siendo Bulgaria el pas que ms ediciones ha acogido.
Es una competicin abierta a estudiantes universitarios de los cuatro primeros
cursos de cualquier carrera cientfica, y se puede ver como una continuacin natural de
la IMO, la competicin matemtica por excelencia de los estudiantes de Instituto.
Consta de dos das de exmenes de cinco horas cada uno, con seis problemas
ordenados por su dificultad (uno y dos los ms sencillos, tres y cuatro los intermedios,
cinco y seis los ms difciles). Estn puntuados sobre veinte puntos, sin tener en cuenta
la dificultad que tengan.
A pesar de presentarse los alumnos por Universidades y tutelados por un
profesor, es una competicin individual, en la que se clasifica a los alumnos por el total
de la puntuacin obtenida en los dos exmenes. En los exmenes no se permite ningn
tipo de ayuda a los estudiantes de libros, calculadoras, indicaciones de los profesores.
Estos slo pueden atender al principio del examen dudas respecto de los
enunciados, que estn redactados en ingls. Los exmenes deben redactarse tambin en
ingls.
Aunque los exmenes se realizan en slo dos das, la competicin suele
prolongarse a una semana, llevndose a cabo el resto de los das la preparacin del
examen, su correccin, su revisin y la entrega final de premios.
Desarrollamos a continuacin las estrategias tericas necesarias para resolver
problemas en competiciones como la citada IMC.
2. ESTRATEGIAS PARA RESOLVER PROBLEMAS

En este captulo no se pretende dar un conjunto de reglas fijas para resolver
problemas tipo olimpiada, sino exponer unas estrategias sencillas, ilustradas con
ejemplos, que se aplican en diferentes casos. Seguiremos el convenio de poner el
enunciado de los ejemplos problemas en negrita.
2. 1. Estrategias Bsicas
Pensemos en el siguiente problema:
313
Tenemos un aro, alrededor del cual hemos escrito nueve nmeros, que son 1
0. No todos ellos son 1 ni 0. Entonces, en cada paso escribimos, entre cada dos
nmeros un 1 si los dos nmeros son iguales o un 0 si los dos nmeros son distintos,
y luego borramos los nmeros que tenamos al principio. Es posible, en un
nmero finito de pasos, conseguir que los nueve nmeros sean 1?
(Propuesto en [2])
En un principio el problema puede parecer muy complicado, pero supondremos
que tenemos el problema resuelto, y veremos qu pasa antes. Si hemos llegado a tener
todo 1, es porque en el paso anterior todos los nmeros eran iguales, es decir, tenamos
nueve ceros. Sin embargo, para tener nueve ceros, en el paso anterior tenamos que
tener todos los nmeros alternos, ya que tenan que ser distintos cada dos. Esto es,
tenamos que tener 1, 0, 1, 0, 1, 0, 1, 0, 1, y vemos que por ser nueve un nmero impar,
el noveno nmero y el primero son 1, entre ellos se pondra un 1, por lo que es
imposible obtener 9 ceros , as que es imposible tambin llegar a tener nueve unos.
A esta estrategia se la conoce como trabajar hacia atrs, y como hemos visto consiste
en suponer que hemos llegado a la situacin que nos piden, y a partir de ah vamos
viendo qu ocurra en situaciones anteriores, lo que nos puede llevar a que la situacin
pedida es imposible, darnos condiciones para que se cumpla, etc.
Otra estrategia muy conocida es buscar cosas que no cambien, sobre todo en
procesos iterativos. La explicaremos tambin con un ejemplo:
Sea n un nmero impar. Escribimos en una pizarra los nmeros del 1 al 2 n. A
cada paso podemos escoger dos nmeros cualesquiera de la pizarra, a y b ,
borrarlos y escribir en su lugar | a b | . Demostrar que al final del proceso siempre
quedar en la pizarra un nmero impar.
Buscaremos alguna propiedad que no cambie al repetir el proceso. Por ejemplo, es
fcil ver que la paridad de la suma no cambia al borrar dos nmeros y sustituirlos por su
diferencia, ya que
314
S = 1 + 2 + ... + a + ... + b + ... + 2 n = 1 + 2 + ... + a + ... b + ... + 2 n + 2 b y puesto que la

diferencia ser 2a (si b > a ) 2b (si b < a ), S ' = 1 + 2 + ... + a + ... b + ... + 2n
S ' = 1 + 2 + ... a + ... + b + ... + 2n tendr la misma paridad que S .
Veamos cunto vale S : S = 1 + 2 + ... + 2n =
2n(2n + 1)
= n(2n + 1) que es impar
2
por ser n impar. Por tanto, cuando quede un solo elemento v, S = v y S es impar, por
tanto, v ha de ser impar.
Vemos por ltimo en este apartado otras formas de demostrar muy conocidas como
son la reduccin al absurdo y el principio de induccin. La reduccin al absurdo
consiste en suponer que lo que nos piden demostrar no se cumple (es falso) y llegar a
una contradiccin. El principio de induccin, sin embargo, nos permite probar que una
propiedad es cierta para un conjunto numerable si sta es cierta para un cierto elemento
x 0 que sea el mnimo del conjunto. Consiste en demostrar que es cierta para x 0 y luego
en probar que si es cierta para un nmero n, tambin es cierta para el siguiente n+1. Hay
alguna variante de la induccin, por ejemplo probar que una propiedad es cierta para r
nmeros x 0 , x 0 + 1, x 0 + 2, ...., x 0 + r 1 y luego probar que si la propiedad es cierta
para n, tambin se cumple para n + r , demostrar que si se cumple para un nmero n y
todos los anteriores tambin se cumple para n+1.
Como ejemplo podemos pensar en los siguientes problemas:
Reduccin al absurdo:
Un grupo de diez amigos va a un restaurante a comer. Al final de la comida, el

camarero les trae la cuenta, de un total de 225 euros. Prueba que podemos escoger
dos de ellos de modo que entre los dos pagarn al menos 45 euros.
Supongamos que no, esto es, que es imposible escoger a dos de ellos con esta
propiedad. Entonces, hagamos cinco parejas al azar, de modo que todos estn en una
pareja. Como entre todos pagaron 225 euros, S 1 + S 2 + S 3 + S 4 + S 5 = 225 donde S i es
el dinero que pusieron en total los dos amigos de la pareja i. Hemos supuesto que cada
pareja paga menos de 45 euros, y por tanto S 1 + S 2 + S 3 + S 4 + S 5 < 455 = 225 , lo que
315
contradice a que en total pagaron 225 euros. Por tanto siempre podemos escoger una
pareja con la propiedad pedida.
Induccin:
Demostrar que 1 + 2 + ... + n =
n(n + 1)
2
Vemos que la propiedad es cierta para n = 1 , ya que 1 =

cierta
n =i.
para
1 + 2 + ... + i + (i + 1) =
Entonces
12
= 1 . Supongamos que es
2
n = i +1
para
tenemos
que
i(i + 1)
(i + 1)(i + 2)
y queda demostrado.
+ (i + 1) =
2
2
2.2. Desigualdades
La desigualdad bsica que se puede usar en un problema es a 2 0 tambin
2
i
0 . Sin embargo, convertir una desigualdad dada en una suma de nmeros
cuadrados puede ser una tarea muy complicada. Por eso algunas estrategias pueden ser
bastante tiles.
Por ejemplo, con a, b > 0 sabemos que
(a b )2 0 a 2 + b 2 2ab 0 a + b 2 ,
b
que es una desigualdad muy
interesante, que por ejemplo en el caso particular en que a = x, b = 1 lleva a x +
1
2.
x
En muchos problemas, conocer alguna de estas desigualdades nos puede ahorrar

mucho trabajo para llegar a la solucin.
Otras
desigualdades
sencillas
que
podemos
obtener
siguiendo
un
procedimiento similar son:
a b
0 a + b 2 ab 0
a+b
ab , y la ltima desigualdad se
2
conoce como la desigualdad entre las medias aritmticas y geomtricas.
316
Claramente la igualdad se alcanza en las desigualdades anteriores slo cuando

a =b.
Esta desigualdad se puede generalizar a ms nmeros y a otros tipos distintos de
medias:
2. 2. 1. Desigualdad de las Medias:

Sean n nmeros a1 , a 2 , K , a n > 0 . Entonces se tiene que:
min (a1 , a2 , ..., an )
n
n a1 a2 ... an
1 1
1
+ + ... +
a1 a2
an
a1 + a2 + ... + an
a12 + a22 + ... + an2

max (a1 , a2 , ..., an )
n
Esta desigualdad se llama tambin la desigualdad Mh, Mg, Ma, Mc ya que

relaciona las medias armnica, geomtrica, aritmtica y cuadrticas respectivamente.
En
general
se
a1 + ... + a n
M =
n
cumple
la
desigualdad
M M
siendo
. La desigualdad anterior es un caso particular entonces para
= 1, 0, 1, y 2 .
La igualdad entre todas las medias se alcanza solamente cuando todos los
nmeros son iguales.
Ejemplo:
Sean
a1 , a 2 , K , a n
nmeros
reales
positivos.
Demuestra
que
si
1
1
1
+
+L+
= 1 entonces a1 + a 2 + K + a n n 2
a1 a 2
an
Usaremos la desigualdad de las medias. Sabemos que:
n
1
1
+K+
a1
an
a + K + a n , y esto es equivalente a n 2 a + K + a
n
=n 1
1
n
1
n
2. 2. 2. Desigualdad de Reagrupamiento (Rearrangement principle)

Otra desigualdad muy interesante y bastante sencilla es la siguiente. Imaginemos
que tenemos tres sacos con billetes, uno de 500 euros, otro de 200 euros y otro de 100
euros y nos dejan coger de un saco cinco billetes, de otro tres y de otro uno.
317
Evidentemente, para sacar el mximo dinero posible, cogeremos 5 billetes de 500 euros,
3 billetes de 200 euros y 1 billete de 100 euros.
Este ejemplo se puede generalizar. En general si tenemos dos sucesiones ordenadas
en el mismo orden (las dos crecientes o las dos decrecientes) la suma del producto de
los trminos es mxima si tomamos el mayor por el mayor, el siguiente mayor por el
siguiente mayor y as hasta el menor por el menor, y la suma de los productos ser
mnima si multiplicamos el mayor por el menor, el siguiente mayor por el siguiente
menor y as hasta el menor de la primera sucesin por el mayor de la ltima. Esto se
puede formalizar como:
Si las secuencias A y B estn ordenadas en el mismo orden:
n
a1 , a2 , K , an y b1 , b2 , K , bn , entonces a1b1 + a 2 b2 + L + a n bn ai b j ( i )
i =1
Donde j (i ) es una cierta permutacin, esto es j : {1,2, K , n} {1,2, K n} , siendo

j (i ) una funcin biyectiva.
La igualdad se alcanza cuando todos los trminos de cada sucesin son

iguales.
Por ejemplo:
Si tenemos la secuencia a, b, c y la secuencia a, b, c de nuevo,
a 2 + b 2 + c 2 ab + bc + ca
Ya que en el primer caso hemos ordenado las dos secuencias en el mismo orden.
Esto se puede escribir de forma compacta como: (ver [1])
a b c
a b c
a b c
b c a
Tambin es fcil ver que
a 3 + b 3 + c 3 a 2 b + b 2 c + c 2 a 3abc , , expresado con matrices:

a b c a b c a b c c a b
a b c a b c b c a = a b c
a b c b c a c a b b c a
318
2. 2. 3. Desigualdad de Jensen:
Esta desigualdad nos da una relacin entre la media de las imgenes de una
funcin y la funcin de la media.
x + x 2 + K + x n f ( x1 ) + K + f ( x n )
f 1
, si la funcin f es convexa, esto es,
n
n
si la segunda derivada de f es negativa. Esto se puede observar muy bien en un

grfico:
Ejemplo:
Sean a, b, c nmeros reales positivos que satisfacen la relacin

a
Probar la desigualdad
1+ a
b
1+ b
c
1+ c
1
1
1
+ +
= 1.
ab ac bc
3 3
2
Haciendo el cambio de variable a = tgA, b = tgB, c = tgC con A+B+C=180 (esta

ltima igualdad implica que
1
1
1
+ +
= 1 ) , la parte izquierda de la desigualdad
ab ac bc
queda como:
tgA
1 + tg A
2
tgB
1 + tg B
2
tgC
1 + tg C
2
tgA
2
sec A
tgB
2
sec B
tgC
sec 2 C
= senA + senB + senC
319
Y utilizando la desigualdad de Jensen, como el seno es una funcin convexa en

el intervalo [0, ] ,
senA + senB + senC

3
A+ B+C

sen
.
= sen =
3
3
2
Nota:
Es muy comn usar cambios de variable como hemos hecho en este problema.
Tenemos una condicin,
1
1
1
+ +
= 1 con la que es difcil de trabajar. Si
ab ac bc
multiplicamos a los dos lados por abc la condicin queda como: a + b + c = abc , y
sabemos que tgA + tgB + tgC = tgAtgBtgC A + B + C = , por tanto, el cambio de
variable a = tgA, b = tgB, c = tgC , nos facilita el problema porque la condicin deja de
1
1
1
+ +
= 1 para ser A + B + C = , con la que es mucho ms fcil trabajar.
ab ac bc
ser
2. 3. Ecuaciones Funcionales
Las ecuaciones funcionales son ecuaciones en las que tenemos una relacin entre
una funcin en un punto en varios, y sus derivadas sucesivas evaluaciones.
Pondremos varios ejemplos para que se puedan ver distintas formas de
abordar un problema de este tipo:
Encontrar todas las funciones f : N N tales que f ( x + y ) = f ( x) + f ( y )

(Ecuacin Funcional de Cauchy)
Para empezar, como tenemos x e y podemos probar a hacer algunas sustituciones
con nmeros.
Lo primero de todo, llamemos
f (1) = a . Entonces es fcil ver que con
x = y = 1 , obtenemos:
f (1 + 1) = f (2) = f (1) + f (1) = 2 f (1) = 2a
320
Ahora que sabemos los valores de f (1) = a, f (2) = 2a , podemos probar con
x = 2, y = 1 :
f (2 + 1) = f (3) = f (2) + f (1) = 3a
Parece evidente que si
f (1) = a, f (2) = 2a, f (3) = 3a , se cumplir que
f (n ) = n a para todo n , as que intentemos probarlo por induccin.
Para el caso n = 1 : f (1) = a,

Supongamos que para n = i, f (i ) = i a
Entonces para n = i + 1, con x = i, y = 1, tenemos que :
f (i + 1) = f (i ) + f (1) = i a + a = (i + 1) a
como queramos probar.
As que todas las funciones posibles son f ( x) = ax, con a N
Hallar todas las funciones f : tales que

( x y ) f ( x + y ) ( x + y ) f ( x y ) = 4 xy ( x 2 y 2 ) .
Haciendo algunas sustituciones con x e y obtenemos que:
x= y
2 xf (0) = 0 f (0) = 0
Dividamos todo por ( x + y )( x y ) :
f ( x + y) f ( x y)
= 4 xy.
( x + y)
( x y)
f ( x)
Sea h( x) =
.
x
El problema se podra enunciar como hallar todas las funciones
h : tales que h( x + y ) h( x y ) = 4 xy.
Sean x + y = a y x y = b.
Entonces 4 xy = a 2 b 2 , luego h(a ) h(b) = a 2 b 2 , a, b 0.
Entonces es evidente que h( x) = x 2 + C , luego f ( x) = x 3 + Cx x
Encontrar todas las funciones f : N N tales que f ( f (n)) = n + 1

(OME-fase nacional 2001)
Supongamos que existe una funcin f : N N tal que f ( f (n)) = n + 1 .
Entonces, si f (1) = a , se cumple que
f ( f (1)) = f (a) = 2 f ( f (a)) = f (2) = a + 1 f ( f (2)) = f (a + 1) = 3 K

Por lo que tenemos que f (n) = a + n 1 , y adems f (a + n 1) = n + 1
321
Pero entonces, haciendo n = a en la primera igualdad y n = 1 en la segunda,

tenemos que f (a) = 2 a 1 = 2 , por lo que a = 3 , contradiccin con que a N .
2
Por tanto, no existe ninguna funcin que cumpla las condiciones del enunciado.
2. 4.- Interpretaciones Geomtricas

Una de las estrategias ms importantes para afrontar un problema matemtico es la
capacidad de visualizarlo, de interpretarlo fsicamente, geomtricamente o desde otra
perspectiva distinta de aquella con la que est propuesto. Muchas veces, la
interpretacin del problema desde otro campo hace que convirtamos un problema difcil
en uno que ya sabemos resolver, o que podemos resolver con ms facilidad.
Usaremos como ejemplo la siguiente desigualdad:
Tomemos un vector con componentes positivas ( x, y ) . Probar que el

mdulo del vector es menor que x + y .
Supongamos que k es el mdulo del vector. Entonces tenemos que
k 2 = x 2 + y 2 y por tanto los nmeros k, x, y son, por el teorema de Pitgoras, los
lados de un tringulo rectngulo. Por tanto es evidente por la desigualdad triangular

que cada uno de los lados tiene que ser menor que la suma de los otros dos y en
particular, k < x + y .
Vemos otro ejemplo de interpretacin geomtrica:
Sean a , b , c , tres nmeros naturales arbitrarios

a) Demostrar que la expresin
H=
a+ b+ c
)(
a+ b c
)(
)(
a b + c a + b + c , es un
entero.
b) Supongamos que a > b > c . En estas condiciones, es necesario que
a < b + c para que H > 0 ? Es suficiente dicha condicin para que H > 0 ?
(Propuesto en el Concurso Puig-Adam)

a) Si desarrollamos la expresin vemos que:
322
H=
)( a + b c )( a b + c )( a +
b - c )(c a b + 2 a b ) = 4ab (c a b )
a+ b+ c
(a + b + 2
b+ c =
Que evidentemente es un entero.

b) Vemos que es suficiente: Si a < b + c ,
a < b + c < b + c , por lo que
2 a < 2 b + 2 c . Tambin sabemos que a > b, c 2 a > 2 b , 2 c . Siempre que

tenemos un nmero positivo mayor que otros 2, pero menor que la suma de esos 2,
podemos construir un tringulo de lados esos 3 nmeros: Basta con tomar un segmento
de longitud el mayor de los 3, y hacer las circunferencias de centros los extremos del
segmento y radios los otros 2 nmeros. Las circunferencias se intersecan en un punto
que, con los 2 extremos del segmento, hacen un tringulo de lados los 3 nmeros (ver
figura). Entonces existe un tringulo de lados 2 a , 2 b , 2 c . Por la frmula de
Heron, el rea de este tringulo ser
S=
a+ b+ c
)(
a+ b c
)(
)(
a b+ c a+ b+ c .
Para
que exista, lo de dentro de la raz ( H ) ha de ser > 0 .
Figura: El tringulo con vrtices los 2 del segmento y una de las intersecciones
entre las 2 circunferencias tiene lados 2, 3, 4, si la longitud del segmento es 4 y los
radios de las circunferencias 2 y 3.
Tomando a = 4 , b = 2 , c = 1 , se cumple que:
H = 4 a b (a + b c ) = 32 25 > 0 , pero a > b + c , luego la condicin no es

2
necesaria.
323
Como se puede ver, lo que se ha hecho ha sido interpretar el enunciado como

que 2 a , 2 b , 2 c eran los lados de un tringulo, y entonces con una frmula
conocida (la frmula de Heron) el problema era inmediato.
Otro problema de mayor dificultad que los anteriores es el siguiente:
Tenemos un cuadrado de vrtices A, B, C, D. Se trazan las lneas AP y AQ

sabiendo que BP=CQ. Se escogen dos puntos cualesquiera X, Y en dichas rectas.
Demostrar que siempre se puede construir un tringulo de lados BX, XY, YD
(Propuesto en la OIM-2003)
Para solucionarlo, usaremos la siguiente idea:
Si doblamos el cuadrado tal y como muestra el dibujo, el tringulo queda formado en

el espacio ya que AD=AB y por tanto coinciden. Slo queda demostrar que el tetraedro
dibujado siempre se podr formar, para lo cual basta con demostrar que el ngulo PAQ
es menor o igual que 45, que es cierto por ser BP=CQ, ya que el ngulo QAC<PAB.
Este ltimo problema apareci en la Olimpiada Iberoamericana de Matemticas de
2003 y una solucin analtica del problema era muy tediosa. Sin embargo una idea tan
sencilla como la que hemos explicado arriba permita dar una solucin muy elegante.
324
Aunque estas estrategias normalmente no suelen tener aplicacin directa en los

problemas, s queremos insistir en que pueden facilitar un problema ms difcil,
darnos ideas para enfocarlo.
Por ltimo, pensemos el siguiente problema:
Sean a, b, c, d nmeros reales y sea d = max{a, b, c, d } . Demostrar que

a(d c) + b(d a ) + c(d b) d 2 .
Si consideramos la siguiente figura:
Entonces el rea del cuadrado es justamente d 2 y los tres rectngulos tienen

rea a(d c) + b(d a) + c(d b) que siempre ser menor que el rea del cuadrado
con igualdad si y solamente si a = 0 y b = d o c = d , cualquier otra permutacin.
Este problema se propuso en una preparacin para la olimpiada internacional
a varios alumnos de 4 de E. S. O. Sorprendentemente, todos ellos lo solucionaron de
esta forma. Cuando se les pregunt en qu razonamientos se haban basado para
llegar a esa solucin, dijeron que el segundo miembro de la desigualdad, el d 2 les
haba hecho pensar en el rea de un cuadrado, mientras que los otros trminos eran
productos de dos nmeros distintos y positivos y por tanto podan ser interpretados
como reas de rectngulos. Bastaba entonces con pintar el cuadrado de lado d y tratar
de encajar en l los rectngulos.
2. 5.- Principios de conteo

Muchos problemas propuestos en olimpiadas matemticas se pueden resolver
contando las formas posibles de realizar una determinada accin, o, utilizando el
325
camino inverso, interpretar una frmula que nos d el enunciado como el cardinal de un
conjunto. Por ejemplo, si los dos miembros de una identidad que nos piden verificar son
distintas formas de contar una misma cosa, es evidente que la identidad se cumple.
Hay muchas herramientas para contar. La combinatoria nos ofrece numerosas
frmulas para contar las distintas posibilidades para ordenar objetos, y la mayora estn
recogidas en casi todos los libros de clculo de matemtica discreta ([4], [5]).
Tambin es til conocer los nmeros combinatorios, y algunas de las relaciones
que satisfacen. Enumeraremos algunas de ellas, por ejemplo:
m
i
m
n m +1
= C m ,n =
, m, n N
n!
n
j
m
j m j
=
n i =0 i n i
m m 1 m 1
=
+
n n 1 n
n
n
2 n =
i =0 i
Que se pueden probar fcilmente por induccin. Demostraremos la ltima
frmula ya que se puede dar una prueba bastante curiosa:
n
n
n
Sabemos que por el binomio de Newton: (a + b ) = a n i b i . Sustituyendo
i =0 i
n
n
ahora por a = b = 1 obtenemos precisamente 2 n = .
i =0 i
Otra herramienta muy conocida para contar es el Principio de las Casillas o

Principio de Dirichlet, tambin conocido como el Principio del Palomar y The Box
Principle. El enunciado de este principio es muy sencillo, una primera versin podra
ser: Tenemos cinco flores y cuatro jarrones. Si colocamos las flores en cuatro jarrones,
entonces en al menos un jarrn habr al menos dos flores. Como se puede ver por el
enunciado, es un principio bastante intuitivo.
326
Una versin ms general sera: Si tenemos n objetos, y m cajas en las que
n
distribuirlos, al menos en una de ellas habr objetos, donde x denota el menor
m
nmero entero n / n x .
Un ejemplo de utilizacin de este principio en un problema nada trivial sera:
Se consideran cuatro nmeros reales y distintos del intervalo (0,1).

Demostrar que siempre se pueden elegir dos de ellos, a y b, tales que:
(1 a )(1 b ) > 2ab + 2ba a b 8 a1 b

2

Todos los nmeros del intervalo (0,1) son de la forma cos , con 0, .
2

Dividiendo en tres partes dicho intervalo: 0, , , , , , por el
6 6 3 3 2
principio del palomar tenemos que al menos dos de los cuatro nmeros considerados,
a = cos y b = cos verifican: 0 < <

Entonces, como la funcin coseno es decreciente en 0, , suponiendo sin
2
3

prdida de generalidad que a < b , tenemos que cos( ) > cos =
, por lo que
2
6
3
, desigualdad que con a y b queda:
2
cos cos + sen sen >

ab+
(1 a )(1 b ) >
2ab
(1 a )(1 b ) > a
3
, que es a su vez equivalente a
2
2
+ b2 2 a2 b2
1
4
Finalmente, para obtener la desigualdad del enunciado, dividimos por 2 a b esta

ltima expresin.
Terminamos esta subseccin refirindonos a las ecuaciones de recurrencias, que
son relaciones que nos permiten expresar una propiedad en un instante determinado en
funcin del valor de la propiedad en una serie de instantes anteriores, y que son
herramientas tiles para hallar cardinales de conjuntos en casos en que no se pueden
utilizar las tcnicas anteriores.
327
Como ejemplo puede servir el siguiente problema:
Considera los conjuntos:

S n = {( x1 , x 2 , K , x n ) : i = 1, ..., n, xi {0,1,2}}
An = {(x1 , x 2 , K , x n ) S n : i = 1, ..., n 2, {xi , xi +1 , xi + 2 } 1}
Bn = {( x1 , x 2 , K , x n ) S n : xi = xi +1 xi +1 0}
Prueba que An+1 = 3 Bn

(IMC 2005-Problema 2, primer da)
Para n=2 es cierto, ya que
A3 = VR3,3 3 = 24
B2 = VR3, 2 1 = 8
Tambin se cumple para n=3.
Supongamos que es cierto para todo n i , i 3 . Entonces, demostremos que
tambin es cierto para n = i + 1 . Contemos los elementos que hay en cada conjunto por
medio de relaciones de recurrencia de segundo orden:
Ai + 2 = 2 Ai +1 + 2 Ai
Bi +1 = 2 Bi + 2 Bi 1
Comprobamos que se cumplen estas dos igualdades:
2 Ai = n de vectores de Ai +1 con las dos ltimas cifras distintas y que por tanto
les puedo aadir como ltima cifra la ltima que tengan.
2 Ai +1 = n de vectores de Ai +1 a los que le aado de ltima cifra una de las dos
cifras en las que no acaban
(Otra forma de verlo sera que por cada vector en Ai puedo conseguir 2 vectores
en Ai + 2 metiendo 2 veces una cifra distinta a la ltima del vector en Ai , y por cada
vector en Ai +1 puedo conseguir 2 vectores en Ai + 2 metiendo al final una cifra distinta a
la ltima del vector en Ai +1 . Son distintos a los vectores en Ai + 2 conseguidos antes,
porque estos tienen las 2 ltimas cifras distintas, y los anteriores tenan las 2 ltimas
cifras iguales, y todo vector de Ai + 2 se puede conseguir as, luego Ai + 2 = 2 Ai +1 + 2 Ai ).
328
2 Bi 1 = n de vectores de Bi con la ltima cifra distinta de 0 y que por tanto les

puedo aadir un 0.
2 Bi = n de vectores de Bi a los que le aade un 1 o un 2.
Por lo que se cumple tambin la segunda igualdad
Y por tanto se cumple la igualdad del enunciado (induccin).
2. 6.- Algunos resultados de teora de nmeros y nmeros complejos

En esta subseccin no haremos un desarrollo terico, sino que daremos slo tres
ejemplos, de los que se extraen la utilidad de algunos conceptos de la teora de
nmeros como la divisibilidad, de las propiedades de los nmeros complejos:
Estamos en una isla desierta en la que sabemos que un antiguo pirata

enterr un tesoro. No sabemos en qu lugar de la isla lo enterr, pero tenemos
un mapa en el que nos indican la ruta que debemos seguir para encontrarlo. En
la isla del tesoro hay un pino P y un abeto A. Si trasladamos todo el terreno, con
el tesoro incluido, de manera que P ocupe la posicin de A, a continuacin
giramos 90 con centro en P y sentido contrario al de las agujas del reloj y
finalmente giramos otros 90 con centro en A en el mismo sentido, el tesoro
permanece en el mismo lugar del principio. Encuentra el tesoro.
(Propuesto en [3])
Claramente hemos de encontrar un punto que permanezca invariante despus
de todas las transformaciones.
Coloquemos el origen en el punto P, y el eje x en la direccin PA, y
normalicemos el problema de modo que A=(2,0). Sea z un complejo cualquiera.
Transformemos z segn los movimientos descritos en el enunciado:
La traslacin de vector PA transforma z en z+2. Girar con centro P y ngulo

90 transforma z+2 en (z+2)i, y si ahora trasladamos el origen a A, giramos 90 y
deshacemos el cambio de origen queda (z+2)i transformado en ((z+2)i-2)i+2 y si z
permanece invariante eso tiene que ser igual a z, y la nica solucin de la ecuacin es
z=-i, luego el tesoro se encuentra en el punto (0,-1) del sistema de referencia.
329
Sabiendo que 13 = 2 2 + 3 2 y 74 = 5 2 + 7 2 , expresar el nmero 1374 = 962

como suma de dos cuadrados.
(Propuesto en [2])
Sea z=2+3i y w=5+7i. Entonces:
z w = 962 = z w = (2 + 3 i )(5 + 7 i ) = (10 21 + (15 + 14 ) i ) = 112 + 29 2

2
Probar que 2003 no puede ser expresado como suma de dos cuadrados
perfectos.
Supongamos que s. Entonces, 2003= a 2 + b 2 .
Sabemos que 2003 da de resto 3 al dividirlo entre 4 (es congruente con 3
mdulo 4). Entonces a 2 + b 2 tiene que dar el mismo resto al dividirlo entre cuatro.
Veamos qu resto dan al dividir entre cuatro los cuadrados perfectos:
Si a da de resto 0 al dividir entre cuatro, a 2 tambin dar resto cero al dividir entre
cuatro.
Si a da de resto 1, a=4a+1, y a 2 =16 a ' 2 +8a+1 que tambin da de resto 1 al
dividirlo por 4.
Igualmente se puede deducir que si a da de resto 2 3 al dividirlo por 4, a 2 da de
resto 0 1 respectivamente al dividirlo entre cuatro. Por tanto a 2 y b 2 dan de resto 0
1 al dividirlos entre cuatro y es imposible que su suma d resto 3 al dividirlo entre
cuatro, contradiccin.
Observacin
Un resultado de Euler, respondiendo a una conjetura de Fermat, es que un
nmero natural se puede expresar como suma de dos cuadrados si y slo si no tiene
ningn factor primo congruente con 3 mdulo 4, con exponente impar.
330
Esto se puede aplicar a los dos problemas anteriores: 2003 es un primo

congruente con 3 mdulo 4, luego no se puede expresar como suma de dos
cuadrados; 962 = 2 13 37 , con 2, 13, 37 no congruentes con 3 mdulo 4, luego se
puede expresar como suma de dos cuadrados, y el problema 2 de esta subseccin da
una forma de hacerlo.
3. PROBLEMAS RESUELTOS
En esta seccin daremos una coleccin de problemas planteados en algunas de
las olimpiadas matemticas antes citadas, incluyendo soluciones a los mismos:
3. 1.- Problemas de la International Mathematical Competition (IMC)

1.- Sea f C 1 [a, b], f (a ) = 0 y supongamos que existe un , > 0 ,tal que
f ' ( x) f ( x)
para todo x [a, b] . Es cierto entonces que f ( x) = 0 para todo x [a, b] ?

(30/7/1994-Problema 1)
Solucin:
Supongamos que no fuera cierto, esto es, que existiera un cierto x [a, b ] para el
cual f ( x) 0 .
k
k + 1
Subdividimos el intervalo [a, b] en intervalos de la forma a + , a +

, con
k = 0,..., [ (b a )] 1 , siendo
[]
la parte entera. Entonces habr un mnimo k con
k
k
k + 1
k = 0,..., [ (b a )] 1 tal que f a + = 0 y en el intervalo a + , a +

existe
un x tal que f ( x) 0 . Por simetra en el razonamiento supongamos que f ( x) > 0 .

Puesto que estamos trabajando con una funcin continua en un intervalo cerrado y
k +1
k
k + 1
acotado, a + , a +
, a +
, b si el mnimo k
es
[ (b a )] 1 ,
alcanzar el mximo absoluto, y adems, sabemos que este mximo es estrictamente

331
mayor que 0. Sea a = a +
k
k + 1
y c el mnimo punto del intervalo a + , a +

en el
que f alcanza su mximo, que existir porque f es continua.

Entonces por el teorema de Lagrange tendremos que existe un x0 (a ' , c) tal
que f ' ( x0 ) =
f (c ) f ( a ' ) f (c ) f ( a ' )
= f (c) > f ( x0 ) , contradiccin, por lo que

1
c a'
f ( x) = 0 para todo x [a, b] .
2.- Sea f : 2 una funcin dada por f ( x, y ) = ( x 2 y 2 )e x
y2
a) Prueba que f alcanza su mnimo y su mximo absoluto.
f
f
( x , y ) = ( x, y ) = 0 y
x
y
b) Determina todos los puntos ( x, y ) tales que
determina para cules de ellos f alcanza un extremo relativo o absoluto.

(30/7/1994-Problema 2)
Solucin:
a) La funcin f es una funcin diferenciable, y por tanto continua, en el plano.
Puesto que f es una funcin continua, en una esfera centrada en el origen y de
radio 1 (y su interior) alcanzar su mximo y su mnimo absoluto. Demostremos que en
el complementario de la esfera la funcin est acotada entre [-1/e, 1/e]:
Es evidente, ya que f ( x, y ) = ( x 2 y 2 )e x
ser
x2 y2
e
x 2 + y 2 1
x2 + y2
e
x 2 + y 2 1
y2
x2 y2
ex
+ y2
x2 y2 1 1
, al
2
2
e x + y 1 e e
1 x, y , x 2 + y 2 > 1 . Por tanto, como en la esfera de
radio 1 se alcanzan los valores f(1,0)=1/e, f(0,-1)=-1/e, la funcin alcanza su mximo y

mnimo absoluto.
b) Calculemos ahora sus derivadas parciales:
f
( x, y ) = 2 xe x
x
y2
(1 x 2 + y 2 );
f
( x, y ) = 2 ye x
y
y2
(1 x 2 + y 2 ) .
Es fcil ver que stas son iguales a 0 si y slo si:
x = y = 0 x = 0, y = 1 x = 1, y = 0 .
332
Basta con sustituir y encontrar el valor de f en cada punto para ver que:
f(1,0)=f(-1,0)=1/e son mximos
absolutos y que f(0,1)=f(0,-1)=-1/e
son
mnimos absolutos, ya que f(0,0)=0. El punto (0,0) se comprueba con la matriz Hessiana
que es un punto de silla, esto es no es mximo ni mnimo local ni absoluto.
3. 2.- Problemas de la OIMU

1.- Encontrar todas las funciones f : que sean integrables en
cualquier intervalo
[0, x] si x > 0 y [x,0] si x < 0 ,
que satisfacen la condicin
xf ( x) = f (t )dt para cualquier nmero real x distinto de 0.

0
(7/10/2000-Problema 1)
Solucin:
x
Si f (x) es integrable en , G ( x) = f (t )dt es continua. Como f ( x) =

0
G ( x)
,
x
con G ( x) y x funciones continuas, f (x) es continua en {0} y si f es continua en

un cierto intervalo I, G (x) es diferenciable en dicho intervalo por el Teorema
Fundamental del Clculo Integral, y por tanto f ser diferenciable en {0} .
Derivemos entonces a ambos lados de la igualdad:
f ( x) + xf ' ( x) = f ( x) xf ' ( x) = 0 x 0 f ' ( x) = 0 x 0

Por tanto, las funciones que cumplen las condiciones del enunciado son:
c si x 0
f ( x) =
f (0) si x = 0
2.-
Una
funcin
derivable
f :
satisface
la
desigualdad
f ( x) f ' ( x) x y al menos para un real x0 esta desigualdad es estricta, es
decir, f ( x0 ) > f ' ( x0 ) . Demostrar que f no tiene races.

(6/10/2001-Problema 2)
Solucin:
Imaginemos que f s tiene races en los reales. Entonces podemos encontrar un
intervalo [a, b] de modo que x sea el supremo de las races de f en dicho intervalo
333
y adems f (b) 0 , a no ser que f (x ) = 0 para todo x , caso que no se puede dar porque
no se cumplira f ( x0 ) > f ' ( x0 ) . Puesto que f es derivable, tambin ser continua, as
que podemos asegurar que existir un entorno alrededor de x donde la funcin sea
creciente o decreciente (no estrictamente, porque puede tomar valor 0 en ms de un
punto, pero s creciente ya que si nunca toma un valor mayor o menor que 0 la
desigualdad del enunciado nunca ser estricta). Cojamos un punto de ese intervalo,
c [a, b], x c < 1 y f (c) 0 .
Entonces aplicando el teorema del valor medio de Lagrange, existir un
x0 [x, c ] tal que :
f ' ( x0 ) =
f (c ) f ( x )
f (c )
=
> f (c) f ( x 0 ) , contradiccin, luego f
xc
xc
no
tiene races.
3. 3.- Problemas de las Olimpiadas Colombianas Universitarias - Instituto

Cientfico Weizmann
1.- Sean x1 , ... , xn vectores no nulos de un espacio vectorial y una
transformacin lineal que satisface:
(xi) = x1 + x2 + ... + xi ,
i = 1, .... , n.
Demostrar que los vectores x1 , ... , xn son linealmente independientes.

(I OCMU, 10/12/1997-Problema 2)
Solucin:
Lo demostramos por induccin sobre n = nmero de vectores:
Si n=1, entonces, como el vector x1 es no nulo, es linealmente independiente (l.
i.). Lo suponemos cierto para n 1 vectores que cumplan las condiciones.
Sean n vectores x1 ,..., x n no nulos que cumplen las condiciones, entonces existe
una aplicacin lineal que cumple que ( x1 ) = x1 ,..., ( x n 1 ) = x1 + ... + x n 1 , por lo que
x1 ,..., x n 1 son l. i. (hiptesis de induccin). Por tanto, si x1 ,..., x n son linealmente
334
dependientes, ser x n el que dependa de los dems, es decir, x n = 1 x1 + ... + n 1 x n 1 ,

por lo que, al ser lineal, se cumplir que
( x n ) = 1 (x1 ) + ... + n 1 ( x n 1 ) = 1 x1 + ... + n 1 ( x1 + ... + x n 1 ) =
= (1 + ... + n 1 ) x1 + ... + n 1 x n 1
Por otro lado, (xn ) = x1 + ... + xn , por lo que igualando tenemos que
x1 + ... + xn = (1 + ... + n 1 ) x1 + ... + n 1 xn 1 xn = (1 + ... + n 1 1) x1 + ... + (n 1 1)xn 1 .
Entonces tenemos x n expresado como combinacin lineal de x1 ,..., x n 1 de dos

formas distintas, ya que el coeficiente de x n 1 en la primera forma es n 1 , y en la
segunda es n 1 1 , contradiccin con que x1 ,..., x n 1 son l. i. Por tanto, x1 ,..., x n son
l. i.
2.- Una elipse es reflejada en una recta tangente a ella. La imagen de esta
reflexin gira sobre la elipse original (que permanece fija) sin deslizarse.
Determinar el lugar geomtrico de los focos de la elipse que est rotando.
(I OCMU, 10/12/1997- Problema 3)
Solucin:
Si la elipse inicial la consideramos centrada en el origen y de semiejes a, b ,
a > b , entonces su ecuacin es
x2 y2
b
+ 2 =1 y =
a 2 x 2 (si tomamos y > 0 ). La
2
a
a
b
elipse que queda al girar la elipse reflejada sobre sta es simtrica con sta respecto a su
recta tangente, y sus focos sern simtricos a los de esta elipse respecto a la recta
)(a
tangente. Los focos de esta elipse son a 2 b 2 , 0 ,

en un punto genrico de ella
(c, d )
es y = d
b
a
c
a c2
2
simtrico respecto a esta recta de un punto cualquiera

perpendicular a esta tangente que pasa por
(e, f ) ,
b 2 , 0 , y su recta tangente
(x c ) .
(e, f ) ,
y= f +
Para hallar el
cogemos la recta
a a2 c2
(x e ) , y
bc
hallamos su punto de corte con la tangente:
335
(x c ) =
a a2 c2
(x e ) , por lo que
bc
b
a
x=
b2c3 + a b c a 2 c 2 d + a 4 e a 2 c 2 e a b c a 2 c 2 f
a4 a2 c2 + b2 c2
a2 c2
f +
Y sustituyendo en la ecuacin de la tangente queda la y del punto de corte,

siendo ste
b 2c3 + a b c a 2 c 2 d + a 4 e a 2 c 2 e a b c a 2 c 2 f b a 2 x 2
,
4
2
2
2
2
a
a
a
c
+
b
c
Entonces el simtrico de (e, f ) respecto la tangente es el simtrico de (e, f )

respecto a este punto de corte (x, y ) , que ser 2 ( x, y ) (e, f ) , quedando
b 2 c 2 (2 c e ) + a 2 a 2 c 2 e + 2 a b c a 2 c 2 (d f ) 2b a 2 x 2 a f
,
4
2
2
2
2
a
a
a
c
+
b
c
En uno de los focos e = a 2 b 2 , f = 0 , luego sustituyendo en el punto

anterior nos queda que su simtrico ser
b 2 c 2 a 2 b 2 + 2 c + a 2 a 2 b 2 a 2 c 2 e + 2 a b c a 2 c 2 d 2b a 2 x 2
,
4
2
2
2
2
a
a
a
c
+
b
c
Con x =
Como
b 2c3 + a b c a 2 c 2 d + a 4 a 2 c 2
a4 a2 c2 + b2 c2
(c, d )
a2 b2
es un punto de la elipse, se cumplir que d =
b
a2 c2
a
(suponemos d > 0 ), luego sustituyndolo en el punto anterior, nos queda
a4
336
a 2 b 2 b 2 a 2 b 2 c 2 + a 2 c 2b 2 a 2 b 2 c 2b a 2 x 2
,
a
a4 a2 c2 + b2 c2
b2c3 + b 2 c a 2 c 2 d + a 4 a 2 c 2
Con x =
a4 a2 c2 + b2 c2
a2 b2
Esta es entonces la curva que traza el primer foco, siendo c el parmetro de la

curva ( a y b son fijos, son los semiejes de la elipse inicial). Para los puntos (c, d ) con
d < 0 trazar la simtrica a esta curva respecto al eje OX. El otro foco es igual, slo que
e = a 2 b 2 . Sustituyndolo en la ecuacin del simtrico y haciendo los dems

clculos igual, nos da la curva
a4
a 2 b 2 + b 2 a 2 b 2 c 2 + a 2 c 2b 2 + a 2 b 2 c 2b a 2 x 2
,
a
a4 a2 c2 + b2 c2
Y como antes su simtrica respecto al eje OX.

Observacin: Estas curvas son tambin elipses. En concreto, si a = 2 , b = 1
quedan las siguientes curvas que describen los focos:
2
-6
-4
-2
-1
-2
Que son elipses de semiejes 4, 2, el doble que los de la elipse inicial

(Clculos hechos con ayuda del programa Mathematica).
3.- Hallar las soluciones de la ecuacin: 32x + 3x = 90

(III OCMU-ICW, 10/05/1999-Problema 1)
Solucin:
Se cumple que:
( )
3 2 x + 3 x = 90 3 x
+ 3 x 90 = 0 3 x =
1 + 361 1 + 19
=
=9
2
2
(Cogemos slo la solucin positiva porque 3 x > 0 ). Entonces x = log 3 (9 ) = 2 .
4.- La vctima de un accidente morir a menos que reciba en los prximos

10 minutos una transfusin de sangre tipo A-Rh positivo. Se dispone de gran
337
nmero de donantes de los cuales slo se sabe que el 40% tienen sangre de ese tipo.
Se necesitan dos minutos para determinar el tipo de sangre del posible donante y
dos minutos para realizar la transfusin. Cul es la probabilidad de que se salve
si el hospital dispone de un slo equipo de tipificacin de sangre?
(III OCMU-ICW, 10/05/1999-Problema 2)
Solucin:
Como tienen 2 minutos para analizar la sangre de cada donante y 2 minutos para
hacer la transfusin y en total disponen de 10 minutos, se salvar si el cuarto donante
alguno de los anteriores tienen sangre A-RH+. Entonces si llamamos Ai al suceso el
individuo i que se analiza tiene sangre A-RH+, entonces
P({se salve}) = P( A1 A2 A3 A4 ) = 1 P (A1 A2 A3 A4 ) , siendo Ai el

suceso el individuo i que se analiza no tiene sangre A-RH+. Como los sucesos son
independientes, ya que la probabilidad de que uno no tenga sangre A-RH+ no se ve
afectada por el hecho de que los otros analizados la tengan no, la probabilidad de la
interseccin es el producto de las probabilidades, por lo que:
P ({se salve}) = P ( A1 A2 A3 A4 ) = 1 P (A1 A2 A3 A4 ) =
4
81 544
3
= 1 P (A1 ) P (A2 ) P (A3 ) P (A4 ) = 1 = 1
=
625 625
5
(Ya que el 40% =
2
2 3
tienen sangre A-RH+, por lo que P (Ai ) = 1 = ).
5
5 5
3. 4.- Otros problemas
1.- Sea n un nmero natural. Probar que:

n
sec
(n k )
k =1
4n
<
4n
< sec 2
k =1
k
.
4n
Propuesto por Jos Lus Daz Barrero (http://www-ma3.upc.es/users/diaz/)
Solucin:
338

n
La primera desigualdad es equivalente a
n sec
k =1
(n k )
4n
<
. Si dividimos
entre n en el numerador y denominador de lo de dentro de sec 2 , nos queda
k
1
1
1
n
2 (n k )
2
sec
= sec
4n
4
k =1 n
k =1 n
. Si consideramos la particin
/ k = 0,..., n del intervalo [0, 1] , lo que tenemos es la suma inferior de la

n
(1 x )
funcin sec 2
en ese intervalo, ya que esa funcin es decreciente en [0, 1]
4
(1 x )
( sec 2
4
entre 0 y
2 (1 x )
= 2 sec
4
(1 x )
tg
< 0 , ya que
4 4

(1 x )
4
est
cuando x est entre 0 y 1, por lo que la tg es positiva), y la estamos
evaluando en los extremos superiores de los subintervalos, por lo que

k
1
1
n
2
sec
4
k =1 n
1
< 1 sec 2 (1 x ) dx = tg (1 x ) 4 = 4 .
0
4
4 0
La segunda desigualdad es equivalente a
n
1
k
< sec 2
. Si dividimos entre
k =1 n
4n
n en el numerador y denominador de lo de dentro de sec 2 , nos queda:
k

1
1
2 k
2 n
sec
= sec
n
4
n
4
k =1
k =1 n
[0, 1] :
. Si consideramos la particin del intervalo
2 x
en
/ k = 0,..., n , lo que tenemos es la suma superior de la funcin sec
n
ese intervalo, ya que esa funcin es creciente en [0, 1]
339
x
( sec 2
4
2 x
est entre 0 y
= 2 sec
tg
> 0 , ya que
4
4
4 4 4
cuando x est entre 0 y 1, por lo que la tg es positiva), y la estamos evaluando en los

extremos superiores de los subintervalos, por lo que
k

1
2 n
sec
4
k =1 n
1
1
> sec 2 x dx = tg x 4 = 4 .
0
4
4 0
2.- Sea A1 , A2 , K , An un polgono regular inscrito en una circunferencia

centrada en el origen y de radio R . Si P es un punto cualquiera cuya distancia al
origen es menor o igual que 2 R , probar que:
1 n
PAk 3R
n k =1
(Propuesto en La Gaceta de la R.S.M.E.- Problema 40)

Solucin:
Coloquemos los ejes de coordenadas x, y de modo que An sea el punto (R,0) .
Entonces, si P dista lR del origen (con 0 l 2 ) tenemos que:
1 n
1 n
PA
=
k n
n k =1
k =1
1 n
n k =1
(l
(lR cos( ) R cos(2k n )) + (lR sin( ) R sin (2k n ))

2
( (
+ 1 R 2 2lR 2 cos 2k
))
y por tanto se obtiene fcilmente que:
1 n
n k =1
(l
( (
+ 1 R 2 2lR 2 cos 2k
)n ) 1n (l
n
+ 2l + 1 R 2 3R
k =1
Para demostrar la otra parte de la desigualdad probaremos primero que si

tenemos un tringulo ABC con la base BC fijada y con AB+AC=cte, entonces, el
tringulo tendr rea mxima si es issceles, o dicho de otro modo, si tiene base BC
fijada y un rea dada, su permetro ser mnimo si es issceles.
En este caso, como la nica forma de que todos los tringulos sean issceles es
que P sea el centro del polgono (para el cual la suma de AB+AC=2R para cada uno de
340
los tringulos PAk Ak +1 ), si P es distinto del centro como el rea de los tringulos es
mayor o igual que el rea del polgono y el lado Ak Ak +1 tambin,
1 n
PAk R .
n k =1
La demostracin de que si un tringulo tiene un lado a fijado y la suma de los

dos opuestos b + c = k tambin fijada, entonces el rea es mxima si b = c =
k
se puede
2
hacer fcilmente usando la frmula de Heron:
(a + k ) (a + k ) (a + k x) (a + x)
k
y S 2 ' ( x ) = C ( 2 x + k ) = 0 x =
2
2
2
2
2
y el punto es un mximo, lo cual se puede ver fcilmente volviendo a derivar la
S 2 ( x) =
expresin y teniendo en cuenta que C + , S 2 ' ' ( x) = 2C < 0 .
4. CONCLUSIONES
La preparacin de alumnos universitarios para su participacin en olimpiadas
matemticas internacionales no es una tarea sencilla, por la dificultad que entraan los
problemas que se plantean en este tipo de pruebas.
En este artculo se ha intentado facilitar esta tarea por medio de un manual de
preparacin resumido, con estrategias y ejemplos resueltos, que es un esquema de un
manual ms amplio realizado por los autores y todava en construccin.
5. AGRADECIMIENTOS
Queremos agradecer a Alicia Pea, Miguel Such, Elisa Lorenzo, Jos Luis Daz Barrero
(profesor de la Universitat Politcnica de Catalunya) y a Cristbal Snchez Rubio por sus
propuestas de enunciados y soluciones para algunos de los problemas contenidos en este
artculo.
6. REFERENCIAS BIBLIOGRFICAS
[1]
ENGEL, A. (1998). Problems Solving Strategies. Ed. Springer
[2]
LARSO, L. C. (1997). Problems Solving through problems. Ed. Springer
[3]
GRANE, J. (2001). Sessions de Preparaci per a lOlimpada Matemtica.

Societat Catalana de Matemtiques.
341
[4]
GARCA MERAYO, F. (2001). Matemtica Discreta. Ed. Paraninfo.
[5]
ROSEN, K. H. (1999). Discrete Mathematics. Ed. Mc Graw-Hill.
342

023 Preparacion2 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

023 Preparacion2 PDF

Cargado por

Copyright:

Formatos disponibles

Preparacin para competiciones matemticas universitarias

Preparacin para competiciones matemticas

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

2. ESTRATEGIAS PARA RESOLVER PROBLEMAS

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

S = 1 + 2 + ... + a + ... + b + ... + 2 n = 1 + 2 + ... + a + ... b + ... + 2 n + 2 b y puesto que la

Un grupo de diez amigos va a un restaurante a comer. Al final de la comida, el

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

Demostrar que 1 + 2 + ... + n =

Vemos que la propiedad es cierta para n = 1 , ya que 1 =

0 . Sin embargo, convertir una desigualdad dada en una suma de nmeros

que es una desigualdad muy

interesante, que por ejemplo en el caso particular en que a = x, b = 1 lleva a x +

En muchos problemas, conocer alguna de estas desigualdades nos puede ahorrar

procedimiento similar son:

conoce como la desigualdad entre las medias aritmticas y geomtricas.

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

Claramente la igualdad se alcanza en las desigualdades anteriores slo cuando

2. 2. 1. Desigualdad de las Medias:

a12 + a22 + ... + an2

Esta desigualdad se llama tambin la desigualdad Mh, Mg, Ma, Mc ya que

. La desigualdad anterior es un caso particular entonces para

2. 2. 2. Desigualdad de Reagrupamiento (Rearrangement principle)

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

Donde j (i ) es una cierta permutacin, esto es j : {1,2, K , n} {1,2, K n} , siendo

La igualdad se alcanza cuando todos los trminos de cada sucesin son

Tambin es fcil ver que

a 3 + b 3 + c 3 a 2 b + b 2 c + c 2 a 3abc , , expresado con matrices:

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

si la segunda derivada de f es negativa. Esto se puede observar muy bien en un

Sean a, b, c nmeros reales positivos que satisfacen la relacin

Haciendo el cambio de variable a = tgA, b = tgB, c = tgC con A+B+C=180 (esta

= senA + senB + senC

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

Y utilizando la desigualdad de Jensen, como el seno es una funcin convexa en

senA + senB + senC

Encontrar todas las funciones f : N N tales que f ( x + y ) = f ( x) + f ( y )

f (1) = a . Entonces es fcil ver que con

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

f (1) = a, f (2) = 2a, f (3) = 3a , se cumplir que

f (n ) = n a para todo n , as que intentemos probarlo por induccin.

Para el caso n = 1 : f (1) = a,

Hallar todas las funciones f : tales que

Encontrar todas las funciones f : N N tales que f ( f (n)) = n + 1

f ( f (1)) = f (a) = 2 f ( f (a)) = f (2) = a + 1 f ( f (2)) = f (a + 1) = 3 K

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

Preparacin para competiciones matemticas universitarias

Pero entonces, haciendo n = a en la primera igualdad y n = 1 en la segunda,

2. 4.- Interpretaciones Geomtricas

Tomemos un vector con componentes positivas ( x, y ) . Probar que el

lados de un tringulo rectngulo. Por tanto es evidente por la desigualdad triangular