023 Preparacion2

Preparacin para competiciones matemticas universitarias
Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura 311

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


312 Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura

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


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 | | b a . 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
b n b a n b a S 2 2 ... ... ... 2 1 2 ... ... ... 2 1 + + + + + + + = + + + + + + + = y puesto que la
diferencia ser a 2 (si a b > ) b 2 (si a b < ), n b a S 2 ... ... ... 2 1 ' + + + + + + =
n b a S 2 ... ... ... 2 1 ' + + + + + + = tendr la misma paridad que S .
Veamos cunto vale S : ) 1 2 (
2
) 1 2 ( 2
2 ... 2 1 + =
+
= + + + = n n
n n
n S que es impar
por ser n impar. Por tanto, cuando quede un solo elemento v, v S = 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
0
x que sea el mnimo del conjunto. Consiste en demostrar que es cierta para
0
x 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 1 ...., , 2 , 1 ,
0 0 0 0
+ + + r x x x x y luego probar que si la propiedad es cierta
para n, tambin se cumple para r n + , 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, 225
5 4 3 2 1
= + + + + S S S S S donde
i
S 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 225 5 45
5 4 3 2 1
= < + + + + S S S S S , lo que


contradice a que en total pagaron 225 euros. Por tanto siempre podemos escoger una
pareja con la propiedad pedida.
Induccin:
Demostrar que
2
) 1 (
... 2 1
+
= + + +
n n
n
Vemos que la propiedad es cierta para 1 = n , ya que 1
2
2 1
1 = = . Supongamos que es
cierta para i n = . Entonces para 1 + = i n tenemos que
2
) 2 )( 1 (
) 1 (
2
) 1 (
) 1 ( ... 2 1
+ +
= + +
+
= + + + + +
i i
i
i i
i i y queda demostrado.
2.2. Desigualdades
La desigualdad bsica que se puede usar en un problema es 0
2
a tambin
0
2
i
i
a . 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 0 , > b a sabemos que
( ) 2 0 2 0
2 2 2
+ +
a
b
b
a
ab b a b a , que es una desigualdad muy
interesante, que por ejemplo en el caso particular en que 1 , = = b x a lleva a 2
1
+
x
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:
( ) ab
b a
ab b a b a
+
+
2
0 2 0
2
, y la ltima desigualdad se
conoce como la desigualdad entre las medias aritmticas y geomtricas.
Claramente la igualdad se alcanza en las desigualdades anteriores slo cuando
b a = .
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 0 , , ,
2 1
>
n
a a a K . Entonces se tiene que:
( )
( )
n
n n
n
n
n
n
a a a
n
a a a
n
a a a
a a a
a a a
n
a a a
..., , , max
... ...
...
1
...
1 1
..., , , min
2 1
2 2
2
2
1 2 1
2 1
2 1
2 1
+ + +
+ + +

+ + +

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 cumple la desigualdad

M M siendo

1
1
...
|
|
\
| + +
=
n
a a
M
n
. La desigualdad anterior es un caso particular entonces para
2 , 1 , 0 , 1 y = .
La igualdad entre todas las medias se alcanza solamente cuando todos los
nmeros son iguales.
Ejemplo:
Sean
n
a a a , , ,
2 1
K n nmeros reales positivos. Demuestra que si
1
1 1 1
2 1
= + + +
n
a a a
L entonces
2
2 1
n a a a
n
+ + + K
Usaremos la desigualdad de las medias. Sabemos que:
n
a a
n
n
a a
n
n
n
+ +
= =
+ +
K
K
1
1
1
1 1
, y esto es equivalente a
n
a a n + + K
1
2

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.


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 n
b b b y a a a , , , , , ,
2 1 2 1
K K , entonces
=
+ + +
n
i
i j i n n
b a b a b a b a
1
) ( 2 2 1 1
L
Donde ( ) i j es una cierta permutacin, esto es { } { } n n j K K , 2 , 1 , , 2 , 1 : , siendo
( ) i j 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,
ca bc ab c b a + + + +
2 2 2

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 c b
c b a
c b a
c b a

Tambin es fcil ver que
abc a c c b b a c b a 3
2 2 2 3 3 3
+ + + + , , expresado con matrices:
(
(
(
=
(
(
(
(
(
(
(
(
(
a c b
c b a
b a c
b a c
a c b
c b a
a c b
c b a
c b a
c b a
c b a
c b a

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.
n
x f x f
n
x x x
f
n n
) ( ) (
1 2 1
+ +
|
\
| + + + K K
, si la funcin f es convexa, esto es,
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 1
1 1 1
= + +
bc ac ab
.
Probar la desigualdad
2
3 3
1 1 1
2 2 2
+
+
+
+
+ c
c
b
b
a
a

Haciendo el cambio de variable tgC c tgB b tgA a = = = , , con A+B+C=180 (esta
ltima igualdad implica que 1
1 1 1
= + +
bc ac ab
) , la parte izquierda de la desigualdad
queda como:
senC senB senA
C
tgC
B
tgB
A
tgA
C tg
tgC
B tg
tgB
A tg
tgA
+ + =
= + + =
+
+
+
+
+
2 2 2 2 2 2
sec sec sec 1 1 1



Y utilizando la desigualdad de Jensen, como el seno es una funcin convexa en
el intervalo [ ] , 0 ,
2
3
3 3 3
= |
\
|
= |
\
| + +
+ +
sen
C B A
sen
senC senB senA
.

Nota:
Es muy comn usar cambios de variable como hemos hecho en este problema.
Tenemos una condicin, 1
1 1 1
= + +
bc ac ab
con la que es difcil de trabajar. Si
multiplicamos a los dos lados por abc la condicin queda como: abc c b a = + + , y
sabemos que = + + = + + C B A tgC tgB tgA tgC tgB tgA , por tanto, el cambio de
variable tgC c tgB b tgA a = = = , , , nos facilita el problema porque la condicin deja de
ser 1
1 1 1
= + +
bc ac ab
para ser = + + C B A , con la que es mucho ms fcil trabajar.

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

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

Encontrar todas las funciones N N f : tales que 1 )) ( ( + = n n f f
(OME-fase nacional 2001)
Supongamos que existe una funcin N N f : tal que 1 )) ( ( + = n n f f .
Entonces, si a f = ) 1 ( , se cumple que
K = + = + = = = = 3 ) 1 ( )) 2 ( ( 1 ) 2 ( )) ( ( 2 ) ( )) 1 ( ( a f f f a f a f f a f f f
Por lo que tenemos que 1 ) ( + = n a n f , y adems 1 ) 1 ( + = + n n a f


Pero entonces, haciendo a n = en la primera igualdad y 1 = n en la segunda,
tenemos que 2 1 2 ) ( = = a a f , por lo que
2
3
= a
, contradiccin con que N a .
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 ) , ( y x . Probar que el
mdulo del vector es menor que y x + .
Supongamos que k es el mdulo del vector. Entonces tenemos que
2 2 2
y x k + = 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, y x k + < .
Vemos otro ejemplo de interpretacin geomtrica:
Sean a , b , c , tres nmeros naturales arbitrarios
a) Demostrar que la expresin
( )( )( )( ) c b a c b a c b a c b a H + + + + + + = , es un
entero.
b) Supongamos que c b a > > . En estas condiciones, es necesario que
c b a + < para que 0 > H ? Es suficiente dicha condicin para que 0 > H ?
(Propuesto en el Concurso Puig-Adam)
a) Si desarrollamos la expresin vemos que:
( )( )( )( )
( )( ) ( )
2
4 2 c - 2 b

b a c ab b a b a c b a a
c b a c b a c b a c b a H
= + + +
= + + + + + + =

Que evidentemente es un entero.
b) Vemos que es suficiente: Si c b a + < , c b c b a + < + < , por lo que
c b a 2 2 2 + < . Tambin sabemos que c b a c b a 2 , 2 2 , > > . 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 c b a 2 , 2 , 2 . Por la frmula de
Heron, el rea de este tringulo ser
( )( )( )( ) c b a c b a c b a c b a S + + + + + + = . 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 4 = a , 2 = b , 1 = c , se cumple que:
( ) 0 25 32 4
2
> = + = c b a b a H , pero c b a + > , luego la condicin no es
necesaria.


Como se puede ver, lo que se ha hecho ha sido interpretar el enunciado como
que c b a 2 , 2 , 2 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.
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 d c b a , , , nmeros reales y sea { } d c b a d , , , max = . Demostrar que
2
) ( ) ( ) ( d b d c a d b c d a + + .
Si consideramos la siguiente figura:

Entonces el rea del cuadrado es justamente
2
d y los tres rectngulos tienen
rea ) ( ) ( ) ( b d c a d b c d a + + que siempre ser menor que el rea del cuadrado
con igualdad si y solamente si d c o d b y a = = = 0 , 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
2
d 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


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:
=
=
+
|
|
\
|
=
|
|
\
|
+
|
|
\
|
=
|
|
\
|
|
|
\
|
|
|
\
|
=
|
|
\
|
= =
|
|
\
|
n
i
n
j
i
m
m n
n m
i
n
n
m
n
m
n
m
i n
j m
i
j
n
m
N n m
n
i
C
n
m
0
0
1
,
2
1
1
1
, ,
!

Que se pueden probar fcilmente por induccin. Demostraremos la ltima
frmula ya que se puede dar una prueba bastante curiosa:
Sabemos que por el binomio de Newton: ( )
i i n
n
i
n
b a
i
n
b a

=
|
|
\
|
= +
0
. Sustituyendo
ahora por 1 = = b a obtenemos precisamente
=
|
|
\
|
=
n
i
n
i
n
0
2 .
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.
Una versin ms general sera: Si tenemos n objetos, y m cajas en las que
distribuirlos, al menos en una de ellas habr
(
(
(
m
n
objetos, donde
(
x denota el menor
nmero entero x n n / .
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:
( ) ( )
b a
b a
a
b
b
a
b a
8
1
2 2
1 1
2 2
+ >
Todos los nmeros del intervalo (0,1) son de la forma cos , con |
\
|
2
, 0

.
Dividiendo en tres partes dicho intervalo: |
\
|
6
, 0

, |
\
|
3
,
6

, |
\
|
2
,
3

, por el
principio del palomar tenemos que al menos dos de los cuatro nmeros considerados,
cos = a y cos = b verifican:
6
0

< < .
Entonces, como la funcin coseno es decreciente en |
\
|
2
, 0

, suponiendo sin
prdida de generalidad que b a < , tenemos que ( )
2
3
6
cos cos = |
\
|
>

, por lo que
3
cos cos sen sen
2
+ > , desigualdad que con a y b queda:
( )( )
2
3
1 1
2 2
> + b a b a , que es a su vez equivalente a
( )( )
4
1
2 1 1 2
2 2 2 2 2 2
+ > b a b a b a b a
Finalmente, para obtener la desigualdad del enunciado, dividimos por b a 2 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.


Como ejemplo puede servir el siguiente problema:
Considera los conjuntos:
( ) { } { }
( ) { } { }
( ) { } 0 : , , ,
1 , , , 2 ..., , 1 : , , ,
2 , 1 , 0 , ..., , 1 : , , ,
1 1 2 1
2 1 2 1
2 1
= =
= =
= =
+ +
+ +
i i i n n n
i i i n n n
i n n
x x x S x x x B
x x x n i S x x x A
x n i x x x S
K
K
K

Prueba que
n n
B A 3
1
=
+

(IMC 2005-Problema 2, primer da)
Para n=2 es cierto, ya que
8 1
24 3
2 , 3 2
3 , 3 3
= =
= =
VR B
VR A

Tambin se cumple para n=3.
Supongamos que es cierto para todo i n , 3 i . Entonces, demostremos que
tambin es cierto para 1 + = i n . Contemos los elementos que hay en cada conjunto por
medio de relaciones de recurrencia de segundo orden:
1 1
1 2
2 2
2 2
+
+ +
+ =
+ =
i i i
i i i
B B B
A A A

Comprobamos que se cumplen estas dos igualdades:
i
A 2 = n de vectores de
1 + i
A con las dos ltimas cifras distintas y que por tanto
les puedo aadir como ltima cifra la ltima que tengan.
1
2
+ i
A = n de vectores de
1 + i
A 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
i
A puedo conseguir 2 vectores
en
2 + i
A metiendo 2 veces una cifra distinta a la ltima del vector en
i
A , y por cada
vector en
1 + i
A puedo conseguir 2 vectores en
2 + i
A metiendo al final una cifra distinta a
la ltima del vector en
1 + i
A . Son distintos a los vectores en
2 + i
A conseguidos antes,
porque estos tienen las 2 ltimas cifras distintas, y los anteriores tenan las 2 ltimas
cifras iguales, y todo vector de
2 + i
A se puede conseguir as, luego
i i i
A A A 2 2
1 2
+ =
+ +
).
1
2
i
B = n de vectores de
i
B con la ltima cifra distinta de 0 y que por tanto les
puedo aadir un 0.
i
B 2 = n de vectores de
i
B 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.


Sabiendo que
2 2
3 2 13 + = y
2 2
7 5 74 + = , expresar el nmero 962 74 13 =
como suma de dos cuadrados.
(Propuesto en [2])
Sea z=2+3i y w=5+7i. Entonces:
( ) ( ) ( ) ( )
2 2
2 2 2 2 2
29 11 14 15 21 10 7 5 3 2 962 + = + + = + + = = = i i i w z w z
Probar que 2003 no puede ser expresado como suma de dos cuadrados
perfectos.
Supongamos que s. Entonces, 2003=
2 2
b a + .
Sabemos que 2003 da de resto 3 al dividirlo entre 4 (es congruente con 3
mdulo 4). Entonces
2 2
b a + 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,
2
a tambin dar resto cero al dividir entre
cuatro.
Si a da de resto 1, a=4a+1, y
2
a =16
2
' a +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,
2
a da de
resto 0 1 respectivamente al dividirlo entre cuatro. Por tanto
2
a y
2
b 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.
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; 37 13 2 962 = , 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 [ ] 0 ) ( , ,
1
= a f b a C f y supongamos que existe un 0 , > ,tal que
) ( ) ( ' x f x f
para todo [ ] b a x , . Es cierto entonces que 0 ) ( = x f para todo [ ] b a x , ?
(30/7/1994-Problema 1)
Solucin:
Supongamos que no fuera cierto, esto es, que existiera un cierto [ ] b a x , para el
cual 0 ) ( x f .
Subdividimos el intervalo[ ] b a, en intervalos de la forma
(
+
+ +

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

1
,
k
a
k
a existe
un x tal que 0 ) ( x f . Por simetra en el razonamiento supongamos que 0 ) ( > x f .
Puesto que estamos trabajando con una funcin continua en un intervalo cerrado y
acotado,
(
+
+ +

1
,
k
a
k
a ,
(
+
+ b
k
a ,
1
si el mnimo k es ( ) [ ] 1 a b ,
alcanzar el mximo absoluto, y adems, sabemos que este mximo es estrictamente


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

1
,
k
a
k
a en el
que f alcanza su mximo, que existir porque f es continua.
Entonces por el teorema de Lagrange tendremos que existe un ) , ' (
0
c a x tal
que ) ( ) (
1
) ' ( ) (
'
) ' ( ) (
) ( '
0 0
x f c f
a f c f
a c
a f c f
x f
> =
= , contradiccin, por lo que

0 ) ( = x f para todo [ ] b a x , .

2.- Sea
2
: f una funcin dada por
2 2
) ( ) , (
2 2 y x
e y x y x f

=
a) Prueba que f alcanza su mnimo y su mximo absoluto.
b) Determina todos los puntos ) , ( y x tales que 0 ) , ( ) , ( = = y x
y
f
y x
x
f
y
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
e e
e
y x
e
y x
e y x y x f
y x y x
y x
1 1
) ( ) , (
1
2 2 2 2
2 2
2 2 2 2
2 2

= =
+ +

, al
ser 1
1
2 2
1
2 2
2 2 2 2

+
+ + y x y x
e
y x
e
y x
1 , ,
2 2
> + y x y x . 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:
) 1 ( 2 ) , ( ); 1 ( 2 ) , (
2 2 2 2
2 2 2 2
y x ye y x
y
f
y x xe y x
x
f
y x y x
+ = + =

.
Es fcil ver que stas son iguales a 0 si y slo si:
0 1, 1 , 0 0 = = = = = = y x y x y x .
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 0 , 0 , 0 < > x si x y x si x , que satisfacen la condicin
=
x
dt t f x xf
0
) ( ) ( para cualquier nmero real x distinto de 0.
(7/10/2000-Problema 1)
Solucin:
Si ) (x f es integrable en ,
=
x
dt t f x G
0
) ( ) ( es continua. Como
x
x G
x f
) (
) ( = ,
con x y x G ) ( funciones continuas, ) (x f es continua en { } 0 y si f es continua en
un cierto intervalo I, ) (x G 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:
0 0 ) ( ' 0 0 ) ( ' ) ( ) ( ' ) ( = = = + x x f x x xf x f x xf x f
Por tanto, las funciones que cumplen las condiciones del enunciado son:
=
0 ) 0 (
0
) (
x si f
x si c
x f

2.- Una funcin derivable : f satisface la desigualdad
x x f x f ) ( ' ) ( y al menos para un real
0
x esta desigualdad es estricta, es
decir, ) ( ' ) (
0 0
x f x f > . 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 [ ] b a, de modo que x sea el supremo de las races de f en dicho intervalo


y adems 0 ) ( b f , a no ser que ( ) 0 = x f para todo x , caso que no se puede dar porque
no se cumplira ) ( ' ) (
0 0
x f x f > . 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,
[ ] 0 ) ( 1 , , < c f y c x b a c .
Entonces aplicando el teorema del valor medio de Lagrange, existir un
[ ] que tal ,
0
c x x :
) ( ) (
) ( ) ( ) (
) ( '
0 0
x f c f
c x
c f
c x
x f c f
x f >
= , contradiccin, luego f no
tiene races.

3. 3.- Problemas de las Olimpiadas Colombianas Universitarias - Instituto
Cientfico Weizmann

1.- Sean x
1
, ... , x
n
vectores no nulos de un espacio vectorial y una
transformacin lineal que satisface:
(x
i
) = x
1
+ x
2
+ ... + x
i
, i = 1, .... , n.
Demostrar que los vectores x
1
, ... , x
n
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
1
x es no nulo, es linealmente independiente (l.
i.). Lo suponemos cierto para 1 n vectores que cumplan las condiciones.
Sean n vectores
1
x ,...,
n
x no nulos que cumplen las condiciones, entonces existe
una aplicacin lineal que cumple que ( )
1 1
x x = ,..., ( )
1 1 1
...

+ + =
n n
x x x , por lo que
1
x ,...,
1 n
x son l. i. (hiptesis de induccin). Por tanto, si
1
x ,...,
n
x son linealmente
dependientes, ser
n
x el que dependa de los dems, es decir,
1 1 1 1
...

+ + =
n n n
x x x ,
por lo que, al ser lineal, se cumplir que
( ) ( ) ( ) ( )
( )
1 1 1 1 1
1 1 1 1 1 1 1 1 1
... ...
... ... ...

+ + + + =
= + + + + = + + =
n n n
n n n n n
x x
x x x x x x

Por otro lado, ( )
n n
x x x + + = ...
1
, por lo que igualando tenemos que
( ) ( ) ( )
1 1 1 1 1 1 1 1 1 1 1
1 ... 1 ... ... ... ...

+ + + + = + + + + = + +
n n n n n n n n
x x x x x x x .
Entonces tenemos
n
x expresado como combinacin lineal de
1
x ,...,
1 n
x de dos
formas distintas, ya que el coeficiente de
1 n
x en la primera forma es
1 n
, y en la
segunda es 1
1

n
, contradiccin con que
1
x ,...,
1 n
x son l. i. Por tanto,
1
x ,...,
n
x 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 b a , ,
b a > , entonces su ecuacin es
2 2
2
2
2
2
1 x a
a
b
y
b
y
a
x
= = + (si tomamos 0 > y ). La
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
tangente. Los focos de esta elipse son ( ) 0 ,
2 2
b a , ( ) 0 ,
2 2
b a , y su recta tangente
en un punto genrico de ella ( ) d c , es ( ) c x
c a
c
a
b
d y
=
2 2
. Para hallar el
simtrico respecto a esta recta de un punto cualquiera ( ) f e , , cogemos la recta
perpendicular a esta tangente que pasa por ( ) f e , , ( ) e x
c b
c a a
f y
+ =

2 2
, y
hallamos su punto de corte con la tangente:


( ) ( ) e x
c b
c a a
f c x
c a
c
a
b
d
+ =

2 2
2 2
, por lo que
2 2 2 2 4
2 2 2 2 4 2 2 3 2
c b c a a
f c a c b a e c a e a d c a c b a c b
x
+
+ +
=
Y sustituyendo en la ecuacin de la tangente queda la y del punto de corte,
siendo ste
|
|
\
|

+
+ +
a
x a b
c b c a a
f c a c b a e c a e a d c a c b a c b
2 2
2 2 2 2 4
2 2 2 2 4 2 2 3 2
,
Entonces el simtrico de ( ) f e , respecto la tangente es el simtrico de ( ) f e ,
respecto a este punto de corte ( ) y x , , que ser ( ) ( ) f e y x , , 2 , quedando
( ) ( ) ( )
|
|
\
|

+
+ +
a
f a x a b
c b c a a
f d c a c b a e c a a e c c b
2 2
2 2 2 2 4
2 2 2 2 2 2 2
2
,
2 2

En uno de los focos
2 2
b a e = , 0 = f , luego sustituyendo en el punto
anterior nos queda que su simtrico ser

( ) ( )
|
|
\
|

+
+ + +
a
x a b
c b c a a
d c a c b a e c a b a a c b a c b
2 2
2 2 2 2 4
2 2 2 2 2 2 2 2 2 2 2
2
,
2 2
Con
( )
2 2 2 2 4
2 2 2 2 4 2 2 3 2
c b c a a
b a c a a d c a c b a c b
x
+
+ +
=

Como ( ) d c , es un punto de la elipse, se cumplir que
2 2
c a
a
b
d =
(suponemos 0 > d ), luego sustituyndolo en el punto anterior, nos queda
( )
|
|
\
|

+
+
a
x a b
c b c a a
c b a b c a c b a b b a a
2 2
2 2 2 2 4
2 2 2 2 2 2 2 2 2 2 4
2
,
2

Con
( ) ( )
2 2 2 2 4
2 2 2 2 4 2 2 2 3 2

c b c a a
b a c a a d c a c b c b
x
+
+ +
=
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 ( ) d c , con
0 < d trazar la simtrica a esta curva respecto al eje OX. El otro foco es igual, slo que
2 2
b a e = . Sustituyndolo en la ecuacin del simtrico y haciendo los dems
clculos igual, nos da la curva
( )
|
|
\
|

+
+ + +
a
x a b
c b c a a
c b a b c a c b a b b a a
2 2
2 2 2 2 4
2 2 2 2 2 2 2 2 2 2 4
2
,
2

Y como antes su simtrica respecto al eje OX.
Observacin: Estas curvas son tambin elipses. En concreto, si 2 = a , 1 = b
quedan las siguientes curvas que describen los focos:
-6 -4 -2 2 4 6
-2
-1
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: 3
2x
+ 3
x
= 90
(III OCMU-ICW, 10/05/1999-Problema 1)
Solucin:
Se cumple que:
( ) 9
2
19 1
2
361 1
3 0 90 3 3 90 3 3
2
2
=
+
=
+
= = + = +
x x x x x

(Cogemos slo la solucin positiva porque 0 3 >
x
). Entonces ( ) 2 9 log
3
= = x .
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


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
i
A al suceso el
individuo i que se analiza tiene sangre A-RH+, entonces
{ } ( ) ( ) ( )
4 3 2 1 4 3 2 1
1 salve se A A A A P A A A A P P = = , siendo
i
A 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:
{ } ( ) ( ) ( )
( ) ( ) ( ) ( )
625
544
625
81
1
5
3
1 1
1 salve se
4
4 3 2 1
4 3 2 1 4 3 2 1
= = |
\
|
= =
= = =
A P A P A P A P
A A A A P A A A A P P

(Ya que el
5
2
% 40 = tienen sangre A-RH+, por lo que ( )
5
3
5
2
1 = =
i
A P ).

3. 4.- Otros problemas

1.- Sea n un nmero natural. Probar que:
( )

= =
< <
n
k
n
k
n
k n
n
k n
1
2
1
2
4

sec
4
4

sec

.
Propuesto por Jos Lus Daz Barrero (http://www-ma3.upc.es/users/diaz/)

Solucin:
La primera desigualdad es equivalente a
( )
4
4

sec
1
1
2
<
=
n
k
n
k n
n
. Si dividimos
entre n en el numerador y denominador de lo de dentro de
2
sec , nos queda
( )

= =
|
|
|
|
\
|
|
\
|

=
n
k
n
k
n
k
n n
k n
n
1
2
1
2
4
1
sec
1
4

sec
1

. Si consideramos la particin
)
`
= n k
n
k
,..., 0 / del intervalo [ ] 1 , 0 , lo que tenemos es la suma inferior de la
funcin
( )
|
\
|
4
1
sec
2
x
en ese intervalo, ya que esa funcin es decreciente en [ ] 1 , 0
(
( ) ( ) ( )
0
4 4
1

4
1
sec 2
4
1
sec
2 2
<
|
\
|
\
|
|
\
|
=
|
|
\
|
|
\
| x
tg
x x
, ya que
( )
4
1 x
est
entre 0 y
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
( ) ( )

4 4
4
1

4
1
sec
4
1
sec
1
1
0
1
0
2
1
2
=
(
\
|
\
|
=
|
\
|
<
|
|
|
|
\
|
|
\
|

=
x
tg dx
x n
k
n
n
k
.
La segunda desigualdad es equivalente a
=
<
n
k
n
k
n
1
2
4

sec
1 4
. Si dividimos entre
n en el numerador y denominador de lo de dentro de
2
sec , nos queda:

= =
|
|
|
|
\
|
=
n
k
n
k
n
k
n n
k
n
1
2
1
2
4

sec
1
4

sec
1

. Si consideramos la particin del intervalo

[ ] 1 , 0 :
)
`
= n k
n
k
,..., 0 / , lo que tenemos es la suma superior de la funcin
|
\
|
4

sec
2
x
en
ese intervalo, ya que esa funcin es creciente en [ ] 1 , 0


( 0
4 4

4

sec 2
4

sec
2 2
>
|
\
|
|
\
|
|
\
|
=
|
|
\
|
|
\
| x
tg
x x
, ya que
4
x
est entre 0 y
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

4 4
4

4

sec
4

sec
1
1
0
1
0
2
1
2
=
(
\
|
|
\
|
=
|
\
|
>
|
|
|
|
\
|
=
x
tg dx
x
n
k
n
n
k
.
2.- Sea
n
A A A , , ,
2 1
K 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 R 2 , probar que:
R PA
n
R
n
k
k
3
1
1

=

(Propuesto en La Gaceta de la R.S.M.E.- Problema 40)
Solucin:
Coloquemos los ejes de coordenadas y x, de modo que
n
A sea el punto ) 0 , (R .
Entonces, si P dista lR del origen (con 2 0 l ) tenemos que:
( ) ( ) ( ) ( )
( ) ( ) ( )

=
= =
+
= + =
n
k
n
k
n
k
k
n
k
lR R l
n
n
k
R lR
n
k
R lR
n
PA
n
1
2 2 2
1
2 2
1
2
cos 2 1
1
2
sin ) sin(
2
cos ) cos(
1 1

y por tanto se obtiene fcilmente que:
( ) ( ) ( ) ( ) R R l l
n
n
k
lR R l
n
n
k
n
k
3 1 2
1
2
cos 2 1
1
1
2 2
1
2 2 2
+ + +

= =

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
los tringulos
1 + k k
A PA ), si P es distinto del centro como el rea de los tringulos es
mayor o igual que el rea del polgono y el lado
1 + k k
A A tambin, R PA
n
n
k
k

=1
1
.
La demostracin de que si un tringulo tiene un lado a fijado y la suma de los
dos opuestos k c b = + tambin fijada, entonces el rea es mxima si
2
k
c b = = se puede
hacer fcilmente usando la frmula de Heron:
2
0 ) 2 ( ) ( '
2
) (
2
) (
2
) (
2
) (
) (
2 2
k
x k x C x S y
x a x k a k a k a
x S = = + =
+ + + +
=
y el punto es un mximo, lo cual se puede ver fcilmente volviendo a derivar la
expresin y teniendo en cuenta que 0 2 ) ( ' ' ,
2
< =
+
C x S C .

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.


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

023 Preparacion2

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

023 Preparacion2

Caricato da

Copyright:

Formati disponibili

Preparacin para competiciones matemticas universitarias

Segundo Congreso Internacional de Matemticas en la Ingeniera y la Arquitectura 311

PA transforma z en z+2. Girar con centro P y ngulo

= , contradiccin, por lo que

cuando x est entre 0 y 1, por lo que la tg es positiva), y la estamos

. Si consideramos la particin del intervalo

Potrebbero piacerti anche