Desigualdades Radmila, Jose Antonio y Rogelio PDF
Desigualdades Radmila, Jose Antonio y Rogelio PDF
Introduccion III
1. Desigualdades Numericas 1
1.1. El orden en los numeros reales . . . . . . . . . . . . . . . . . . 1
1.2. La funcion cuadratica ax2 + 2bx + c. . . . . . . . . . . . . . . . 5
1.3. Una desigualdad fundamental,
media geometrica-media aritmetica . . . . . . . . . . . . . . . . 7
1.4. Una desigualdad maravillosa,
la desigualdad del reacomodo . . . . . . . . . . . . . . . . . . . 15
1.5. Funciones convexas . . . . . . . . . . . . . . . . . . . . . . . . 24
1.6. Una desigualdad util . . . . . . . . . . . . . . . . . . . . . . . . 38
1.7. La estrategia de sustitucion . . . . . . . . . . . . . . . . . . . . 46
1.8. Teorema de Muirhead . . . . . . . . . . . . . . . . . . . . . . . 51
2. Desigualdades Geometricas 59
2.1. Dos desigualdades basicas . . . . . . . . . . . . . . . . . . . . . 59
2.2. Desigualdades entre los lados de un triangulo . . . . . . . . . . 63
2.3. Uso de desigualdades en la geometra del triangulo . . . . . . . 68
2.4. La desigualdad de Euler y algunas aplicaciones . . . . . . . . . . 77
2.5. Funciones simetricas de a, b y c . . . . . . . . . . . . . . . . . . 82
2.6. Desigualdades con areas y permetros . . . . . . . . . . . . . . 87
2.7. Teorema de Erdos-Mordell . . . . . . . . . . . . . . . . . . . . 93
2.8. Problemas de optimizacion . . . . . . . . . . . . . . . . . . . . 102
Notacion 235
Bibliografa 237
Indice 239
Captulo 1
Desigualdades Numericas
Propiedad 1.1.1 Cada numero real x tiene una y solo una de las siguientes
caractersticas:
(i) x = 0.
(ii) x P (esto es x > 0).
(iii) x P (esto es x > 0).
divide en dos partes a la recta, los numeros positivos son la parte que contiene
al uno 1. Por lo general el 1 esta colocado a la derecha de 0 en el sentido
que tiene la recta. Hacemos notar que el 1 es positivo, ya que si fuera negativo,
como cumple con la propiedad 1 x = x para cada x, tendramos que cualquier
numero x 6= 0 cumplira con x P y x P , lo cual contradice la propiedad
1.1.1.
Ahora podemos definir la relacion, a es mayor que b, si a b P (en smbolos
a > b). Analogamente, a es menor que b, si b a P (en smbolos a < b).
Observemos que a < b es equivalente a b > a. Definimos tambien a es menor
o igual que b, si a < b o a = b, (en smbolos a b).
Denotamos a los numeros reales por R y al conjunto P de numeros reales
positivos por R+ .
Ejercicio 1.1 Dados dos numeros a y b, una y solo una de las siguientes
afirmaciones se cumple, a = b, a > b o a < b.
Ejercicio 1.3 (i) Si a > 0, b > 0 y a2 < b2 , entonces a < b. (ii) Si b > 0,
tenemos que ab > 1 si y solo si a > b.
Para un numero real x se define el valor absoluto, el cual se denota por |x|,
como
(
x para x 0
|x| =
x para x < 0.
Geometricamente, |x| es la distancia del numero x (en la recta real) al origen
0. Tambien, |a b| es la distancia entre los numeros reales a y b en la recta
real.
Ejercicio 1.4 Para cualesquiera numeros reales x, a y b, se tiene que:
(i) |x| 0, y es igual a cero solamente cuando x = 0.
(ii) |x| = |x|.
(iii) |x|2 = x2 .
(iv) |ab| = |a| |b|.
a |a|
(v) = , con b 6= 0.
b |b|
La igualdad se tiene cuando todos los xi tienen el mismo signo. Esta se de-
muestra de manera similar, o bien por induccion. Otra version de la desigualdad
anterior que su usa muy a menudo es
(i) |x| b b x b.
(ii) ||a| |b|| |a b|.
(iii) x2 + xy + y 2 0.
(iv) x > 0, y > 0 x2 xy + y 2 > 0.
Ejercicio
1.8 Muestre quem+2n
si n, m son numeros enteros positivos, entonces
m
n < 2 si y solo si 2 < m+n .
4x2
< 2x + 9?
(1 1 + 2x)2
Ejercicio
1.14 Muestre que para cualquier entero positivo, la parte fraccionaria
de 4n2 + n es menor que 14 .
Ejercicio 1.15 (Lista corta IMO, 1996). Sean a, b, c numeros positivos que
satisfacen abc = 1, muestre que
ab bc ca
+ 5 + 5 1.
a5 + b + ab b + c + bc c + a5 + ca
5 5
2
como x + ab 0 y como el valor mnimo de esta ultima expresion es cero
2
cuando x = ab , tenemos que el valor mnimo de la cuadratica es c ba .
Si a < 0, la funcion cuadratica ax2 + 2bx + c, tendra un maximo en x = ab y
2 2 2
su valor ah es c ba . En efecto, como ax2 + 2bx + c = a x + ab + c ba y
2
puesto que a x + ab 0 (ya que a < 0), el valor mas grande de esta ultima
2
expresion es cero, luego la funcion cuadratica siempre es menor o igual a c ba
y toma ese valor en x = ab .
1
Ejemplo 1.2.3 Para cualquier numero positivo x, se tiene que x + x 2.
2
Basta observar que x + x1 = x 1x + 2 2. Ademas, la igualdad se logra
si y solo si x 1x = 0, esto es cuando x = 1.
a b
Ejemplo 1.2.4 Si a, b > 0 entonces b + a 2, y la igualdad se da si y solo si
a = b.
1.3 Media geometrica-media aritmetica 7
b
Ejercicio 1.23 Para a, b, x R+ , ax + x 2 ab.
a b
Ejercicio 1.24 Para a, b > 0, b + a 2.
1 (ab)2 a+b
1 (ab)
2
Ejercicio 1.25 Para 0 < b a, 8 a 2 ab 8 b .
h
g
E
B C
D O
x y
1.3 Media geometrica-media aritmetica 9
xy yz zx
Ejercicio 1.31 Para x, y, z R+ , z + x + y x + y + z.
p
Ejercicio 1.32 Para x, y, z R, x2 + y 2 + z 2 x y 2 + z 2 + y x2 + z 2 .
Hay un muy buen truco para ver que la desigualdad tambien es verdadera para
tres numeros no negativos a, b y c, esto es, que abc a+b+c
3
3 . Considere
los siguientes cuatro numeros a, b, c y d = 3 abc. Como la desigualdad
es
a+b+c+d 4 4 3
verdadera para cuatro numeros, tenemos abcd = d d = d.
4
Luego, a+b+c
4 d 1
4 d = 3
4 d, por lo que, a+b+c
3 d = 3 abc.
Cuando es valido (1), (2) y (3), todas las afirmaciones Pn con n 2 son
verdaderas. Demostramos ahora estas afirmaciones:
a1 = A, a2 = A + k h.
n+1 n1
Ejercicio 1.38 Si a > 1, entonces an 1 > n a 2 a 2 .
a3 b3 c3
Ejercicio 1.40 Si a, b, c > 0 entonces b + c + a ab + bc + ca.
a2 b2 + b2 c2 + c2 a2 abc(a + b + c).
1.3 Media geometrica-media aritmetica 13
1
Ejercicio 1.45 Si Hn = 1 + 2 + + n1 , muestre que
1
n(n + 1) n < n + Hn , para n 2.
1 1
Ejercicio 1.46 Si x1 , x2 , ... , xn > 0, son tales que 1+x1 + + 1+xn = 1.
Muestre que
x1 x2 xn (n 1)n .
Ejercicio 1.47 (Lista corta IMO, 1998) Sean a1 , a2 , ... , an numeros positivos
con a1 + a2 + + an < 1, muestre que
a1 a2 an [1 (a1 + a2 + + an )] 1
n+1 .
(a1 + a2 + + an ) (1 a1 ) (1 a2 ) (1 an ) n
1
Ejercicio 1.48 Sean a1 , a2 , ... , an numeros positivos, tales que 1+a1 + +
1
1+an = 1. Muestre que
1 1
a1 + + an (n 1) + + .
a1 an
14 Desigualdades Numericas
a21 a2n 1
+ + (a1 + + an ).
a1 + b1 an + bn 2
1 1 1
Ejercicio 1.54 Sean a, b, c numeros positivos que satisfacen 1+a + 1+b + 1+c =
1, muestre que
abc 8.
Ejercicio 1.59 (Rusia, 1992) Muestre que para cualesquiera numeros reales x,
y > 1, se tiene
x2 y2
+ 8.
y1 x1
a1 a2 an y b1 b2 b n .
a1 b1 + a2 b2 + + an bn a1 b1 + a2 b2 + + an bn (1.2)
an b1 + an1 b2 + + a1 bn (1.3)
S = a1 b1 + a2 b2 + + ar br + + as bs + + an bn y
S = a1 b1 + a2 b2 + + as br + + ar bs + + an bn .
S S = ar br + as bs as br ar bs = (bs br )(as ar ).
ndices i = 1, . . . , n.
Considere la permutacion (a1 , a2 , . . . , an ) de (a1 , a2 , . . . , an ) definida por ai =
xn+1i , para i = 1, . . . , n.
Utilizando la desigualdad (1.3) tenemos que
x1 x2 xn
2
+ 2 + + 2 = a1 b1 + a2 b2 + + an bn
1 2 n
an b1 + an1 b2 + + a1 bn
= a1 bn + a2 bn1 + + an b1
a1 a2 an
= 2
+ 2 + + 2.
1 2 n
Como 1 a1 , 2 a2 , ... , n an , tenemos que
x1 x2 xn a1 a2 an 1 2 n 1 1 1
+ + + 2 2 + 2 + + 2 2 + 2 + + 2 = + + + .
12 22 n 1 2 n 1 2 n 1 2 n
Ejemplo 1.4.5 (IMO, 1964) Sean a, b, c las longitudes de los lados de un
triangulo. Muestre que
a2 (b + c a) + b2 (a + c b) + c2 (a + b c) 3abc.
a (b + c a) b (a + c b) ab + ac a2 ab + bc b2
(a b) c (a + b) (a b)
(a b) (a + b c) 0.
a2 b (a b) + b2 c(b c) + c2 a(c a) 0.
Si x1 = x2 = = xn = 0q
o y1 = y2 = =q
yn = 0 el resultado es evidente.
Pn 2
Pn 2
De lo contrario, sean S = i=1 xi y T = i=1 yi , claramente S 6= 0 y
xi yi
T 6= 0. Definamos ai = S y an+i = T , para i = 1, 2, ..., n. Usando el corolario
1.4.1,
n n 2n
X x2i X yi2 X
2 = + = a2i
S2 T2
i=1 i=1 i=1
a1 an+1 + a2 an+2 + + an a2n + an+1 a1 + + a2n an
x1 y1 + x2 y2 + + xn yn
= 2 .
ST
1.4 Una desigualdad maravillosa 19
a b c 3
+ + .
b+c c+a a+b 2
Sin perder generalidad, podemos suponer que a b c, de esta hipotesis se
1 1 1
sigue que a + b c + a b + c y b+c c+a a+b .
a b c b c a
+ + + +
b+c c+a a+b b+c c+a a+b
a b c c a b
+ + + + .
b+c c+a a+b b+c c+a a+b
a b c b+c c+a a+b
Por lo tanto, 2 + + + + = 3.
b+c c+a a+b b+c c+a a+b
Otra forma, de demostrar la desigualdad es usando la desigualdad (1.3) dos
veces,
c+a a+b b+c
+ + 3
b+c c+a a+b
a+b b+c c+a
+ + 3.
b+c c+a a+b
1 1
Sin perder generalidad podemos suponer c b a. Sean x = a, y = b y
z = 1c , entonces
1 1 1
S = + 3 + 3
a3 (b+ c) b (c + a) c (a + b)
x3 y3 z3
= + +
1 1 1 1 1 1
+ + +
y z z x x y
x2 y2 z2
= + + .
y+z z+x x+y
Como x y z, tenemos que x + y z + x y + z y tambien que
x y z
y+z z+x x+y . Por la desigualdad del reacomodo (1.2), obtenemos
x2 y2 z2 xy yz zx
+ + + +
y+z z+x x+y y+z z+x x+y
x2 y2 z2 xz yx zy
+ + + + ,
y+z z+x x+y z+x z+x x+y
que a su vez nos lleva a 2S x + y + z 3 3 xyz = 3. Por lo tanto, S 32 .
x3 y 3 z3 x3 z 3 y3 x2 y y 2 z z 2 x x2 z z2 y y2 x
+ + + + + + + + + +
y3 z3 x3 z3 y 3 x3 y 2 z z 2 x x2 y z 2 y y 2 x x2 z
x2 y2 z2 x2 z2 y2
= + + + + +
yz zx xy zy yx xz
2 x3 + y 3 + z 3
= .
xyz
a1 b1 + + an bn = a1 b1 + a2 b2 + + an bn
a1 b1 + + an bn a1 b2 + a2 b3 + + an b1
a1 b1 + + an bn a1 b3 + a2 b4 + + an b2
.. .. ..
. . .
a1 b1 + + an bn a1 bn + a2 b1 + + an bn1 ,
a3 + b3 + c3 a2 b + b2 c + c2 a.
22 Desigualdades Numericas
a2 b2 c2 b c a
2
+ 2
+ 2
+ + .
b c a a b c
s s s n2
+ + + .
s a1 s a2 s an n1
Ejercicio 1.72 (China, 1989) Sean a1 , a2 , ... , an numeros positivos, tales que
a1 + a2 + + an = 1. Muestre que
a1 an 1
+ + ( a1 + + an ).
1 a1 1 an n1
Ejercicio 1.76 Sean x1 , x2 , ... , xn (n > 2) numeros reales tales que la suma
de cualesquiera P
n 1 de ellos es mayor que el elemento que quedo fuera de la
suma. Sea s = nk=1 xk . Muestre que
n
X x2k s
.
s 2xk n2
k=1
(x, f (x))
(y, f (y))
x y
1.5 Funciones convexas 25
En efecto, la ecuacion de la recta que pasa por (x, f (x))y (y, f (y)) es
f (y) f (x)
L(s) = f (x) + (s x).
yx
Luego, al evaluar en s = ty + (1 t)x, obtenemos que
f (y) f (x)
L(ty + (1 t)x) = f (x) + (t(y x)) = f (x) + t(f (y) f (x))
yx
= tf (y) + (1 t)f (x).
(3) (Desigualdad de Jensen) SiPf es convexa en [a, b], entonces para cua-
lesquiera t1 , ... , tn [0, 1] con ni=1 ti = 1 y para x1 , ... , xn [a, b], se
tiene
f (t1 x1 + + tn xn ) t1 f (x1 ) + + tn f (xn ).
(4) En particular, para x1 , ... , xn [a, b], podemos afirmar que
x1 + + x n 1
f (f (x1 ) + + f (xn )) .
n n
Observaciones 1.5.2 (i) Podemos ver que (4) es valida bajo la unica suposi-
cion de que f satisfaga la relacion f x+y2 f (x)+f2
(y)
, para cualesquiera x,
y [a, b].
(ii) Podemos ver que (3) es valida para t1 , . . . , tn [0, 1] numeros racionales,
f (x)+f (y)
bajo la unica condicion de que f satisfaga la relacion f x+y 2 2 para
cualesquiera x, y [a, b].
Pero el lado izquierdo es f (y), por lo que nf (y) f (x1 )+ +f (xn1 )+f (y),
luego
1
f (y) (f (x1 ) + + f (xn1 )) .
n1
Finalmente veamos que Pn P2n .
Sea D = f x1 ++xn +x
2n
n+1 ++x2n
=f u+v
2 , donde u = x1 ++xn
n yv =
xn+1 ++x2n
n .
u+v
Como f 2 21 (f (u) + f (v)), tenemos que
1 1 x1 + + x n xn+1 + + x2n
D (f (u) + f (v)) = f +f
2 2 n n
1
(f (x1 ) + + f (xn ) + f (xn+1 ) + + f (x2n )) ,
2n
donde hemos usado dos veces la afirmacion Pn .
Para demostrar 1(ii), nuestro punto de partida sera considerar la afirmacion
f x1 ++x
n
n
n (f (x1 ) + + f (xn )), para x1 , . . ., xn [a, b] y n N.
Pn
Sean t1 = sr11 , . . ., tn = srnn , numeros racionales en [0, 1] con i=1 ti = 1.
pi
Si m es el mnimo comun multiplo de las si , entonces ti = m con pi N y
1.5 Funciones convexas 27
Pn
i=1 pi = m, luego
p pn
1
f (t1 x1 + + tn xn ) = f x1 + + xn
m m
1
= f (x1 + + x1 ) + + (xn + + xn )
m | {z } | {z }
p1 terminos pn terminos
1
(f (x1 ) + + f (x1 )) + + (f (xn ) + + f (xn ))
m | {z } | {z }
p1 terminos pn terminos
p1 pn
= f (x1 ) + + f (xn )
m m
= t1 f (x1 ) + + tn f (xn ).
pero esto implica que f (tx2 + (1 t)x1 ) tf (x2 ) + (1 t)f (x1 ), por lo que
f es convexa.
Demostracion. Desde luego f (x) 0, para x [a, b], garantiza que f (x)
es no-decreciente. Vemos que f (x) no-decreciente implica que la funcion es
convexa.
Sea x = tb + (1 t)a, un punto de [a, b]. Por el teorema del valor medio5 ,
existen c (a, x) y d (x, b) tales que
(y, f (y))
(x, f (x))
(z, f (z)) (z, f (z))
(y, f (y)) (x, f (x))
x y z x y z
En efecto,
Ahora veamos, una serie de ejemplos, donde resaltamos el uso de las funciones
convexas para establecer desigualdades.
n n
!1/a n
!1/b
X X X
xi y i xai yib .
i=1 i=1 i=1
Pn a
Pn b
Supongamos primero que i=1 xi = i=1 yi = 1.
1 a 1 b
Por la parte (ii), xi yi a xi + b yi , luego
n n n
X 1X a 1X b 1 1
xi yi xi + yi = + = 1.
a b a b
i=1 i=1 i=1
Pn a
Pn b
Supongamos ahora que i=1 xi =A y i=1 yi = B. Tomemos xi =
xi
y = By1/b
A1/a i
i
. Como
n Pn a n Pn b
i=1 xi i=1 yi
X a X b
xi = =1 y yi = = 1,
A B
i=1 i=1
tenemos que
n n n
X X xi yi 1 X
1 xi yi = = 1/a 1/b xi y i .
i=1 i=1
A1/a B 1/b A B i=1
Pn
Por lo tanto, i=1 xi yi A1/a B 1/b .
Como un caso particular, cuando a = b = 2, se obtiene la desigualdad de
Cauchy-Schwarz.
n
!1 n
!1 n
!1
X p X p X p
Observemos que
luego,
n
X n
X n
X
(ak + bk )p = ak (ak + bk )p1 + bk (ak + bk )p1 . (1.6)
k=1 k=1 k=1
n n
!1 n
!1
X X p X q
n n
!1 n
!1
X X p X q
p1
bk (ak + bk ) (bk )p (ak + bk )q(p1) .
k=1 k=1 k=1
Sustituyendo estas desigualdades en (1.6), y observando que q(p 1) = p, ob-
tenemos la desigualdad requerida. La desigualdad de Minkowski es una igualdad
si permitimos p = 1. Para 0 < p < 1, la desigualdad se invierte.
Ejemplo 1.5.11 (Lista corta IMO, 1998) Si r1 , ... , rn son numeros reales
mayores que 1, muestre que
1 1 n
+ + .
1 + r1 1 + rn n r r + 1
1 n
1
Notemos primero que la funcion f (x) = es convexa para R+ , ya que
1 + ex
ex ex (ex 1)
f (x) = (1+ex )2
y f (x) = (ex +1)3 0, para x > 0.
1
Ahora, si ri > 1, entonces ri = exi para alguna xi > 0. Como f (x) = 1+ex es
convexa, tenemos que
1 1 1 1
x1 ++xn x
+ +
e( n
)
+1 n 1+e 1 1 + exn
por tanto,
n 1 1
+ + .
n r1 r n + 1 1 + r1 1 + rn
Ejemplo
P 1.5.12 (China, 1989) Para cualesquiera n numeros x1 , ... , xn (0, 1)
y con ni=1 xi = 1, se cumple que
n Pn
X xi xi
i=1 .
i=1
1 xi n1
34 Desigualdades Numericas
n n n
!
1X x 1X X 1 1 1
i = f (xi ) f xi =f = ,
n 1 xi n n n n n1
i=1 i=1 i=1
por lo tanto,
n
X xi n
.
i=1
1 xi n1
Pn
Bastara ahora ver que
Pn i=1 xi p
Pn, pero esto se sigue de la desigualdad
n
pP n
de Cauchy-Schwarz, i=1 xi x
i=1 i i=1 1 = n.
! pq 1q
p p1
l k k l q
X X p X X q
aij aij .
j=1 i=1 i=1 j=1
P
Definamos bj = ki=1 apij , para j = 1, 2, . . . , l, y denotemos la parte izquierda
de la desigualdad a probar por L y su parte derecha por R. Entonces
l
X q
Lq = bjp
j=1
l k
!!
X qp X
= bj p
apij
j=1 i=1
k
X Xl qp
= b p ap .
j ij
i=1 j=1
1.5 Funciones convexas 35
a b c
+ + + (1 a)(1 b)(1 c) 1.
b+c+1 c+a+1 a+b+1
Ejercicio 1.79 (Rusia, 2000) Demuestre que para numeros reales x, y con
0 x, y 1, se tiene que
1 1 2
+p .
1+x 2 1+y 2 1 + xy
36 Desigualdades Numericas
Ejercicio 1.82 (Desigualdad de Bernoulli) (i) Para todo numero real x > 1
y todo entero positivo n, se cumple (1 + x)n 1 + nx.
(ii) Use la desigualdad para dar otra demostracion de la desigualdad M GM A.
a b c 9
2
+ 2
+ 2
.
(b + c) (c + a) (a + b) 4(a + b + c)
3 6
1+ .
ab + bc + ca a+b+c
3 6
1+ .
a+b+c ab + bc + ca
la igualdad se da si y solo si x1 = x2 = = xn .
( n )1 ( n )1 ( n
)1
X c X a X b
(xi yi )c xi a yi b .
i=1 i=1 i=1
1 1 1
(ii) Si a, b, c son numeros reales positivos tales que a+b+c = 1, entonces
n
( n )1 ( n )1 ( n )1
X X a X b X c
xi yi zi xi a yi b zi c .
i=1 i=1 i=1 i=1
38 Desigualdades Numericas
a2 + b2 + c2 ab bc ca
1
a2 + b2 + c2 ab bc ca = [(a b)2 + (b c)2 + (c a)2 ]. (1.8)
2
De esta forma, obtenemos otra version de la identidad (1.7),
1
a3 + b3 + c3 3abc = (a + b + c)[(a b)2 + (b c)2 + (c a)2 ]. (1.9)
2
Esta presentacion de la identidad implica una demostracion mas corta de la
desigualdad M G M A para tres variables. De (1.9), es claro que si a, b, c son
numeros positivos, entonces a3 + b3 + c3 3abc. Ahora, si x, y, z son numeros
positivos, tomando a = 3 x, b = 3 y y c = 3 z, podemos deducir que
x+y+z
3 xyz,
3
con igualdad si y solo si x = y = z.
Observe que se puede utilizar la identidad (1.8) para dar otra demostracion del
ejercicio 1.27.
x2 + y 2 + z 2 |xy + yz + zx|.
1 1 1 a2 + b2 + c2
+ + .
a b c abc
Una desigualdad simple, que puede ser utilizada para demostrar un gran numero
de desigualdades algebraicas, es la siguiente.
a21 a2 a2 (a1 + a2 + + an )2
+ 2 + + n , (1.11)
x1 x2 xn x1 + x2 + + xn
para todos los numeros reales a1 , a2 , ... , an y x1 , x2 , ... , xn > 0, con igualdad
si y solo si
a1 a2 an
= = = .
x1 x2 xn
La desigualdad (1.11) es conocida tambien como la desigualdad de Cauchy-
Schwarz en la forma de Engel o el Principio del mnimo de Arthur Engel.
Como una primera aplicacion de esta desigualdad, damos otra demostracion de
la desigualdad de Cauchy-Schwarz,
entonces
a21 a2n 1
+ + (a1 + + an ).
a1 + b1 an + bn 2
Ejemplo 1.6.5 (IMO, 1995) Sean a, b, c numeros positivos tal que abc = 1.
Demuestre que
1 1 1 3
+ 3 + 3 .
a3 (b+ c) b (a + c) c (a + b) 2
Observemos que
1 1 1
1 1 1 a2 b 2 c2
+ + = + +
a3 (b + c) b3 (c + a) c3 (a + b) a(b + c) b(c + a) c(a + b)
( a1 + 1b + 1c )2 ab + bc + ca
=
2(ab + bc + ca) 2abc
p
3 3 (abc)2 3
= ,
2 2
donde la primera desigualdad se sigue de (1.11) y la segunda es una consecuencia
de la desigualdad M G M A.
Otro ejemplo del uso de la desigualdad (1.11) es la siguiente demostracion de
la desigualdad de Nesbitt.
Ejemplo 1.6.7 (Republicas Checa y Eslovaca, 1999) Para numeros reales po-
sitivos a, b y c, muestre la desigualdad
a b c
+ + 1.
b + 2c c + 2a a + 2b
44 Desigualdades Numericas
Observemos que
a b c a2 b2 c2
+ + = + + .
b + 2c c + 2a a + 2b ab + 2ca bc + 2ab ca + 2bc
Entonces usando (1.11) tenemos que
a2 b2 c2 (a + b + c)2
+ + 1,
ab + 2ca bc + 2ab ca + 2bc 3(ab + bc + ca)
donde la ultima desigualdad se sigue como en el ejemplo anterior.
8(a4 + b4 ) (a + b)4 .
Ejercicio 1.107 (i) Muestre que, para todos los numeros reales positivos a, b,
c, x, y, z con a b c y z y x, se tiene la siguiente desigualdad
a3 b3 c3 (a + b + c)3
+ + .
x y z 3(x + y + z)
(ii) (Belorusia, 2000) Muestre que, para todos los numeros reales a, b, c, x, y,
z, se sigue la siguiente desigualdad
a3 b3 c3 (a + b + c)3
+ + .
x y z 3(x + y + z)
Pero esta ultima desigualdad es inmediata. Basta aplicar tres veces la desigual-
dad M G M A de la siguiente manera (x + y) 2 xy (ver el ejercicio 1.26).
Puede suceder que la condicion debe usarse simplemente para dirigirse a la
solucion, como en los siguientes dos ejemplos.
Ejemplo 1.7.2 (Mexico, 2007) Si a, b, c son numeros reales positivos que sa-
tisfacen a + b + c = 1, muestre que
a + bc + b + ca + c + ab 2.
1.7 La estrategia de sustitucion. 47
la desigualdad (1.11).
b c
Al dividir entre a2 cada lado de la desigualdad y tomar x = a, y = a, la
desigualdad se transforma en
p
(1 + x)(1 + y) 2 xy(1 + x + y).
Es una situacion comun que los problemas tengan varias formas de resolverse,
resulta tambien que pueden aceptar varias sustituciones que ayuden a resolverlo.
Esto se muestra en el siguiente ejemplo.
Ejemplo 1.7.6 (Corea, 1998) Si a, b, c son numeros reales positivos, tales que
a + b + c = abc, muestre que
1 1 1 3
+ + .
1+a2 1+b 2 1+c2 2
cos A cos B cos C + sen A sen B sen C < cos A cos B + sen A sen B
= cos(A B) 1.
x3 y3 z3
+ + 1.
x3 + 2y 3 y 3 + 2z 3 z 3 + 2x3
a4 + b4 b4 + c4 c4 + a4
+ + 1.
ab(a3 + b3 ) bc(b3 + c3 ) ca(c3 + a3 )
1.8 Teorema de Muirhead 51
la suma de los n! terminos obtenidos de evaluar F (x1 , ..., xn ) en todas las posi-
bles permutaciones de (x1 , ..., xn ). Nosotros consideramos solo el caso particular
1 1 1
aritmetica y [ n1 , n1 , ..., n1 ] = n!
n!
(x1n x2n xnn ) = n x1 x2 xn es la media
geometrica. Cuando a1 + a2 + + an = 1, [a] es una generalizacion comun
de la media aritmetica y de la media geometrica.
Si a1 a2 an , b1 b2 bn , en general [b] no es comparable
con [a], en el sentido que exista una desigualdad entre ellos, valida para todos
los numeros reales no negativos x1 , x2 , . . ., xn .
Muirhead deseaba comparar los valores de los polinomios simetricos [a] y [b]
para cualquier valor no negativo de las variables en ambos polinomios.
Definamos de ahora en adelante (a) = (a1 , a2 , ..., an ).
Definicion 1.8.1 Decimos que (a) mayoriza a (b) y escribimos (b) (a), cuan-
do (a) y (b) se pueden arreglar de tal forma que satisfacen las siguientes dos
condiciones:
n
X n
X
(1) bi = ai .
i=1 i=1
X
X
(2) bi ai , para toda 1 < n.
i=1 i=1
Es claro que (a) (a) y que si (c) (b) y (b) (a) garantizan (c) (a).
x2 + y 2 + z 2 xy + yz + zx.
b1 + b2 + + b , a1 + a2 + + a ,
ak = + , al = (0 < ).
+
T (ak ) = bk = + = ak + al
2 2
+
T (al ) = bl = = ak + al
2 2
T (a ) = a ( 6= k, 6= l).
Lema 1.8.3 Si b = T a entonces [b] [a], con igualdad solo cuando todos los
xi son iguales.
54 Desigualdades Numericas
Lema 1.8.4 Si (b) (a), con (b) no identica a (a), entonces (b) puede ser
obtenida de (a) usando sucesivas aplicaciones de un numero finito de transfor-
maciones T .
b1 + b2 + + b a1 + a2 + + a .
bk + |bk | + = ak ,
bl |bl | = al
y entonces, usando (1.12),
Sea x = a, y = b, simplificando vemos que se tiene que demostrar
x3 + y 3 xy(x + y).
a2 + b2 b2 + c2 c2 + a2 a3 b3 c3
a+b+c + + + + .
2c 2a 2b bc ca ab
Las desigualdades son equivalentes a
a5 + b5 + c5 a3 bc + b3 ca + c3 ab.
a3 b3 c3
+ + a + b + c.
b2 bc + c2 c2 ca + a2 a2 ab + b2
Ejercicio 1.120 (Lista corta IMO, 1998) Sea a, b, c numeros reales positivos
tales que abc = 1. Muestre que
a3 b3 c3 3
+ + .
(1 + b)(1 + c) (1 + c)(1 + a) (1 + a)(1 + b) 4
Captulo 2
Desigualdades Geometricas
Ejercicio 2.2 (i) Si con segmentos de longitud a < b < cse puede construir
un triangulo, entonces con segmentos de longitud a < b < c se puede
armar un triangulo.
(ii) El recproco de (i) es falso.
Observacion 2.1.2 Tambien se puede resolver el ejemplo anterior sin tener que
identificar a, b y c con las longitudes de los lados de un triangulo.
(a b)(b c) 0.
Los radicales sugieren usar la ley de los cosenos con angulos de 120 y de 60
como sigue: a2 + ac + c2 = a2 + c2 2ac cos 120 , a2 ab + b2 = a2 + b2
2ab cos 60 y b2 bc + c2 = b2 + c2 2bc cos 60 .
A a
D
60
60
c
b
B C
2bc
b+ca=c+bac < .
a
Otro tipo de problemas para las longitudes de los lados de un triangulo, son
aquellos donde se pide demostrar que cierta relacion entre los numeros a, b y c
es suficiente para construir un triangulo con lados de longitud a, b y c.
2
Ejemplo 2.2.2 (i) Si a, b, c son numeros positivos y satisfacen, a2 + b2 + c2 >
2 a4 + b4 + c4 , entonces a, b y c son las longitudes de los lados de un triangulo.
(ii) Si a, b, c, d son numeros positivos y satisfacen
2
a2 + b2 + c2 + d2 > 3 a4 + b4 + c4 + d4 ,
y notar que de estos factores ninguno es negativo, compare con el ejemplo 1.2.5.
64 Desigualdades Geometricas
B b C
y z
X
Es claro que a = y + z, b = z + x, c = x + y, x = s a, y = s b y z = s c,
donde s = a+b+c
2 .
Veamos como usar la transformacion de Ravi en el siguiente ejemplo.
a2 (b + c a) + b2 (c + a b) + c2 (a + b c) 3abc.
2.2 Desigualdades entre los lados de un triangulo 67
P
donde cclica significa la suma sobre las permutaciones cclicas, (a, b, c), (b, c, a)
y (c, a, b), de (a, b, c).
c b
h
B d D e C
a 2 a 2 ah
a2 + b2 + c2 4 3(ABC) = a2 + h2 + + x + h2 + x 4 3
2 2 2
!
3 2 2 2
3
= a + 2h + 2x 2 3 a a+y
2 2
!2
3 2 3
= a +2 a + y + 2x2 3a2 2 3ay
2 2
3 3
= a2 + a2 + 2 3ay + 2y 2 + 2x2 3a2 2 3ay
2 2
= 2(x2 + y 2 ) 0.
Veamos otra demostracion del ejemplo anterior. Sea ABC el triangulo con
lados de longitud a b c, y sea A un punto de manera que A BC sea un
triangulo equilatero con lados de longitud a. Llamemos d = AA , entonces d
mide de alguna manera el defecto que tiene ABC con respecto al triangulo
equilatero.
A
d
A
b a
c
B C
a
70 Desigualdades Geometricas
d2 = a2 + c2 2ac cos(B 60 )
= a2 + c2 2ac(cos B cos 60 + sen B sen 60 )
ac sen B
= a2 + c2 ac cos B 2 3
2 2
a + c2 b2
= a2 + c2 ac 2 3(ABC)
2ac
2
a +b +c2 2
= 2 3(ABC).
2
Pero d2 0, luego tenemos que 4 3(ABC) a2 + b2 + c2 , como deseabamos.
Ademas, la igualdad se da si d = 0, esto es si A = A o, equivalentemente, si
ABC es equilatero.
Es comun encontrar entre los problemas de olimpiadas desigualdades que in-
volucran elementos de un triangulo. Algunas de ellas son consecuencia de la
siguiente desigualdad, valida para numeros positivos a, b, c, (ver ejercicio 1.36
de la seccion 1.3).
1 1 1
(a + b + c) + + 9. (2.3)
a b c
Ademas, recordemos que se da la igualdad si y solo si a = b = c.
Otra desigualdad que ha resultado muy util para problemas de geometra, es
la desigualdad de Nesbitt, (ver ejemplo 1.4.8 de la seccion 1.4). Esta dice que
para numeros positivos a, b, c, siempre se tiene
a b c 3
+ + . (2.4)
b+c c+a a+b 2
La desigualdad anterior se puede demostrar, usando la desigualdad (2.3) de la
siguiente forma
a b c a+b+c a+b+c a+b+c
+ + = + + 3
b+c c+a a+b b+c c+a a+b
1 1 1
= (a + b + c) + + 3
b+c c+a a+b
1 1 1 1
= [(a + b) + (b + c) + (c + a)] + + 3
2 b+c c+a a+b
9 3
3= .
2 2
2.3 Uso de desigualdades en la geometra del triangulo 71
Ejemplo 2.3.2 Sea ABC un triangulo equilatero con lados de longitud a; sea
M un punto dentro de ABC y D, E, F las proyecciones de M sobre los lados
BC, CA y AB, respectivamente. Muestre que:
1 1 1 6 3
(i) + + ,
MD ME MF a
1 1 1 3 3
(ii) + + .
MD + ME ME + MF MF + MD a
F M E
b
B C
D
(ii) ha + hb + hc 9r.
r ra (IBC)
Para demostrar la primera ecuacion, observemos que ha = ha a = (ABC) . De
r (ICA) r (IAB)
manera analoga, hb = (ABC) , hc = (ABC) , sumando
ha I
r
B C
Ejemplo 2.3.4 Sea ABC un triangulo con alturas AD, BE, CF y sea H el
ortocentro. Muestre que:
AD BE CF
(i) + + 9,
HD HE HF
HD HE HF 3
(ii) + + .
HA HB HC 2
2.3 Uso de desigualdades en la geometra del triangulo 73
A
E
F
H
B C
D
AD BE CF HD HE HF
+ + + + 9.
HD HE HF AD BE CF
AL BM CN
+ + 9.
LP MQ NR
Sean A el punto medio de BC, P el punto medio del arco BC, D y D las
proyecciones de A y P sobre BC, respectivamente.
74 Desigualdades Geometricas
A D
B C
D L
P
P
AL
Es claro que, LP = PAD AD AL BM CN
D P A . Luego, el valor mnimo de LP + M Q + N R se
obtiene cuando P , Q y R son los puntos medios de los arcos BC, CA y AB,
respectivamente. Esto sucedera cuando AL, BM y CN sean las bisectrices
internas del triangulo ABC. Por lo que, sin perder generalidad, supondremos
que AL, BM y CN son las bisectrices internas de ABC. Como AL es bisectriz
interna, se tiene que1
2 !
ca ba a
BL = , LC = y AL2 = bc 1 .
b+c b+c b+c
Ademas,
2
a
(bc) 1
AL AL2 AL2 b+c (b + c)2 a2
= = = a2 bc
= .
LP AL LP BL LC a2
(b+c)2
2 3 + 2 3 3 = 9.
q
a2 2 3 (ab)(bc)(ca)
Aqu usamos el hecho que b2
+ ab 2 2 y que ab
c2
+ abc2 + ca
b2
3 a2 b2 c2
= 3.
Ejemplo 2.3.6 (Lista corta IMO, 1997) Las longitudes de los lados de un
hexagono ABCDEF satisfacen AB = BC, CD = DE y EF = F A. Muestre
que
BC DE FA 3
+ + .
BE DA F C 2
B
A
a
c C
b
F
D
E
Sean a = AC, b = CE y c = EA. La desigualdad de Ptolomeo (ver ejercicio
2.11), aplicada en el cuadrilatero ACEF , nos garantiza que AE F C F A
CE + AC EF . Como EF = F A, tenemos entonces c F C F A b + F A a.
Por lo tanto,
FA c
.
FC a+b
Analogamente, se puede ver que
BC a DE b
y .
BE b+c DA c+a
Por tanto, BC DE FA a b c 3
BE + DA + F C b+c + c+a + a+b 2 . La ultima desigualdad es
la desigualdad de Nesbitt, que sabemos es cierta.
76 Desigualdades Geometricas
Ejercicio 2.33 Tres lneas se trazan por un punto O que se localiza dentro de
un triangulo de area S de manera que cada lado es cortado por dos de estas.
Las lneas dividen al triangulo en tres triangulos con vertice comun O y areas
S1 , S2 y S3 , ademas de tres cuadrilateros. Muestre que:
1 1 1 9
(i) + + ,
S1 S2 S3 S
1 1 1 18
(ii) + + .
S1 S2 S3 S
AD BE CF
(i)
+
+ 9,
DD EE FF
AD BE CE 9
(ii)
+
+
.
AD BE CF 4
(i) la lb lc rs2 .
(ii) la lb + lb lc + lc la s2 .
(iii) la2 + lb2 + lc2 s2 .
bc ca ab
+ + 6R.
AM BN CP
OI 2 = R2 2Rr.
2
Otra demostracion puede verse en [6], pag. 122 o [9], pag. 29.
3
La demostracion puede verse en [6], observacion 3.2.7, pag. 123 o [1], pag. 76.
78 Desigualdades Geometricas
Q
bb bI
O
B M C
4
Existen demostraciones directas de la desigualdad (esto es, sin utilizar la formula de Euler).
Una de ellas es la siguiente: el crculo de los nueve puntos de un triangulo es el circuncrculo
del triangulo medial A B C , como este triangulo es semejante a ABC en razon 2:1, se tiene
que el radio del crculo de los nueve puntos es R 2
. Claramente una circunferencia que corta a
los tres lados del triangulo debe tener radio mayor que el radio del incrculo, luego R 2
r.
2.4 La desigualdad de Euler y algunas aplicaciones 79
Ejercicio 2.41 Sean A, B y C las medidas de los angulos en cada uno de los
vertices del triangulo ABC, muestre que
1 1 1
+ + 4.
sen A sen B sen B sen C sen C sen A
Ejercicio 2.42 Sean A, B y C las medidas de los angulos en cada uno de los
vertices del triangulo ABC, muestre que
A B C 1
sen sen sen .
2 2 2 8
Ejercicio 2.43 Sea ABC un triangulo. Llamamos a los angulos en los vertices
en A, B, C, de la misma forma, es decir, A, B, C, respectivamente. Sean a, b
y c las longitudes de los lados del triangulo y sea R el radio del circuncrculo.
Muestre que
1 1 1 3
2A a 2B b 2C c 2 R
.
3
5
Consultar [6], pag. 97 o [9], pag. 13.
80 Desigualdades Geometricas
G b b O
R
B C
A
AA OG2 + AG GA = A O2 AG + AO2 GA .
Como
2 1
AO = R, AG = AA y GA = AA ,
3 3
sustituyendo tenemos
2 2 1
OG2 + (A A)2 = A O2 + R2 .
9 3 3
6
Para la demostracion vease [6], pag. 96 o [9], pag. 6.
2.4 La desigualdad de Euler y algunas aplicaciones 81
9R2 a2 + b2 + c2 .
a2 b2 c2 a2 + b2 + c2 3abc
9R2 a2 +b2 +c2 2
4(ABC) .
16(ABC) 9 a + b2 + c2
2
La desigualdad de Cauchy-Schwarz nos garantiza que a+b+c 3 a2 + b2 + c2 ,
por lo que
9abc
4 3(ABC) .
a+b+c
Ejercicio 2.44 Sean A, B y C las medidas de los angulos en cada uno de los
vertices del triangulo ABC, muestre que
9
sen2 A + sen2 B + sen2 C .
4
7
Consultar [6], pag. 83 o [9], pag. 10.
82 Desigualdades Geometricas
Ejercicio 2.46 Suponga que el incrculo de ABC es tangente a los lados BC,
CA, AB, en D, E, F , respectivamente. Muestre que
s2
EF 2 + F D 2 + DE 2 ,
3
donde s es el semipermetro de ABC.
a + b + c = 2s (2.5)
2 2
ab + bc + ca = s + r + 4rR (2.6)
abc = 4Rrs. (2.7)
Lema 2.5.1 Si A, B y C son las medidas de los angulos en cada uno de los
vertices del triangulo ABC, se tiene que cos A + cos B + cos C = Rr + 1.
Demostracion.
b2 + c2 a2 c2 + a2 b2 a2 + b2 c2
cos A + cos B + cos C = + +
2bc 2ca 2ab
a b + c + b c + a + c a + b2 a3 + b3 + c3
2 2 2 2 2
=
2abc
(a + b + c) (a + b + c ) 2(a3 + b3 + c3 )
2 2 2
=
2abc
4s s r 4Rr 4 s3 3r 2 s 6Rrs
2 2
=
8Rrs
s r 4Rr (s2 3r 2 6Rr)
2 2
=
2Rr
2
2r + 2Rr r
= = + 1.
2Rr R
Ejemplo 2.5.2 Sean A, B y C los angulos en cada uno de los vertices del
triangulo ABC, muestre que cos A + cos B + cos C 32 .
r
El lema 2.5.1 nos garantiza que cos A + cos B + cos C = R + 1, y usando la
desigualdad de Euler, R 2r, tenemos el resultado.
Podemos dar otra demostracion directa. Observemos que,
Luego,
b2 + c2 a2 c2 + a2 b2 a2 + b2 c2
cos A + cos B + cos C = + +
2bc 2ca 2ab
(b + c a)(c + a b)(a + b c)
= + 1,
2abc
y como (b + c a)(c + a b)(a + b c) abc, se tiene el resultado.
M
b
I
B C
L
El teorema de la bisectriz nos asegura que BL AB c
LC = CA = b y, como BL+LC = a,
ac ab
se tiene que BL = b+c y LC = b+c . El mismo teorema de la bisectriz aplicado
IL BL ac a
a la bisectriz BI del angulo ABL, garantiza que AI = AB = (b+c)c = b+c .
Por lo que,
AL AI + IL IL a a+b+c
= =1+ =1+ = .
AI AI AI b+c b+c
AI b+c 8 BI c+a CI a+b
Luego, AL = a+b+c . Analogamente, BM = a+b+c y CN = a+b+c . As, la
desigualdad que se pide demostrar en terminos de a, b y c, es
1 (b + c)(c + a)(a + b) 8
< 3
.
4 (a + b + c) 27
La desigualdad M G AM nos garantiza que
(b + c) + (c + a) + (a + b) 3 8
(b + c)(c + a)(a + b) = (a + b + c)3 ,
3 27
por lo que la desigualdad de la derecha que debemos demostrar es ahora evi-
dente.
8
Otra forma de ver la identidad es como sigue: Considere = (ABI), = (BCI) y
AI + r(c+b) c+b
= (CAI), es claro que, AL = ++ = r(a+c+b) = a+c+b .
2.5 Funciones simetricas de a, b y c 85
Ejercicio 2.48 Sean A, B y C las medidas de los angulos en cada uno de los
vertices del triangulo ABC, muestre que
A B C 3
sen2 + sen2 + sen2 .
2 2 2 4
(2) a + b + c = 21 .
(3) a2 + b2 + c2 = 212 22 .
(4) ab + bc + ca = 12 + 2 .
(5) abc = 1 2 3 .
ab sen C
Es claro, usando la formula de area (ABC) = 2 , que
A1
B1
A
D
O
B
C
D1
C1
AC1 R1 B1 C1 R + AB1 R1
BD1 R1 C1 D1 R + BC1 R1 (2.8)
CA1 R1 D1 A1 R + CD1 R1
DB1 R1 A1 B1 R + DA1 R1 .
Por lo tanto,
permetro (A1 B1 C1 D1 ) R1
.
permetro (ABCD) R
A1
B1 x
A w
d
D
a
O c
B
b z
y C
D1
C1
Como (AB1 C1 ) = x(a+y)sen2(180 A) = x(a+y)sen A
2 , podemos deducir la igual-
dad (AB1 C1 ) x(a+y)
(ABCD) = ad+bc . Analogamente,
(BC1 D1 ) y(b+z) (CD1 A1 ) z(c+w)
(ABCD) = ab+cd , (ABCD) = ad+bc ,
(DA1 B1 ) w(d+x)
(ABCD) = ab+cd . Luego,
(A1 B1 C1 D1 )
=
(ABCD)
x z y w
=1+ (R12 2
R ) + + + ,
y(ad + bc) w(ad + bc) z(ab + cd) x(ab + cd)
(A1 B1 C1 D1 ) 4(R12 R2 )
1+ p .
(ABCD) (ad + bc)(ab + cd)
2.6 Desigualdades con areas y permetros 91
p
Ahora bien, como 2 (ad+ bc)(ab + cd) ad + bc + ab + cd = (a + c)(b + d)
2
1
4 (a+ b + c + d)2 (4 42R) = 8R2 , las dos primeras desigualdades se dan
por la desigualdad M G M A, y la ultima se debe a que el cuadrado es de los
cuadrilateros inscritos en una circunferencia, el de mayor permetro. As
2
(A1 B1 C1 D1 ) 4(R12 R2 ) R1
1+ = .
(ABCD) 4R2 R
Ejemplo 2.6.4
p p Si a, b, c son
numeros positivos con c < a y c < b, se tiene que
c(a c) + c(b c) ab.
b b
c c
A C
E
a a
B
El area del papalote ABCD es por un lado
p p
(ABCD) = (ABC) + (ACD) = c(a c) + b(b c)
2 ab sen BAD
y por otro, (ABCD) = 2(ABD) = 2 .
92 Desigualdades Geometricas
Esta ultima forma de calcular el area muestra claramente que (ABCD) ab,
de donde se sigue el resultado buscado.
Podemos dar otra solucion del ejemplo anterior. Como
AC y BD son perpendi-
culares, por el teorema de Pitagoras, tenemos DE = b c y EB = a c.
Por la desigualdad de Ptolomeo (ver ejercicio 2.11)
( b c + a c)(2 c) a b + a b,
(i) 2 a2 + b2 + c2 + d2 4,
(ii) 2 2 a + b + c + d 4.
Ejercicio 2.62 Encontrar el radio del crculo de area maxima que puede cubrirse
con tres crculos de radio 1.
Ejercicio 2.63 Encontrar el radio del crculo de area maxima que puede cubrirse
con tres crculos de radios r1 , r2 y r3 .
(ABCDE) (ABCDE)
(i) < (ABC) < ,
4 3
5+ 5
(ii) (ABCDE) = (ABC).
2
Ejercicio 2.67 Si AD, BE y CF son las alturas del triangulo ABC, muestre
que
permetro (DEF ) s,
Demostracion.
P
A A
A
B C
B C
P P
P A + P B + P C 2 (pa + pb + pc ) .
L
Pb
B A C
La suma de las areas de estos paralelogramos es cpa + apc y es igual al area del
paralelogramo A P P C , donde A P es paralela a BP y de igual longitud. El
area de A P P C es menor o igual que b P B. Ademas, las areas son iguales
si BP es perpendicular a A C si y solo si P esta sobre BO, donde O es el
circuncentro de ABC 9 .
BP es perpendicular a A C si y solo si P BA = 90 A , pero A = A y
9
C C
a b
pc Pb Pb
P
pa
B c A B A
Luego,
cpa + apc bP B.
Por lo tanto,
c a
P B pa + pc .
b b
Analogamente,
b c b a
PA pc + pb y P C pa + pb .
a a c c
Al sumar las desigualdades, tenemos
c a
b c a b
P A+P B+P C + pa + + pb + + pc 2 (pa + pb + pc ) ,
c b a c b a
aP A + bP B + cP C 4(ABC).
c pc Pb b
pa
B a C
De manera analoga, se tienen
aP A bpb + cpc ,
cP C apa + bpb .
Por lo tanto,
pa P A + pb P B + pc P C 2 (pa pb + pb pc + pc pa ) .
b c
pa P A pa pb + pc pa .
a a
a c a b
Analogamente, tenemos que pb P B pa pb + pb pc , pc P C pc pa + pb pc .
b b c c
Al sumar las tres desigualdades, obtenemos
c a
a b b c
pa P A + pb P B + pc P C + pa pb + + pb pc + + pc pa
b a c b a c
2 (pa pb + pb pc + pc pa ) .
A
B1
C1 C1
bP
C
B
A1
B C
A1
P A P A = P B P B = P C P C = d2
P A1 P A1 = P B1 P B1 = P C1 P C1 = d2 .
d2 d2 d2
P A1 = , P B1 = , P C1 = ,
P A1 P B1 P C1
d2 d2 d2
P C = , P B = , P A = ,
PC PB PA
luego,
2 1 1 1 2 1 1 1
d + + 2d + + ,
P A1 P B1 P C1 PA PB PC
por lo tanto,
1 1 1 1 1 1
2 + + + + .
PA PB PC pa pb pc
98 Desigualdades Geometricas
pc Pb b
c
pa
B c C1 C
pa + pc
PB .
2 sen B2
Analogamente,
pb + pc pa + pb
PA y PC .
2 sen A2 2 sen C2
1 1
PA PB PC (pa + pb ) (pb + pc ) (pc + pa ) ,
A
8 sen 2 sen B2 sen C2
La solucion del ejercicio 2.42, nos ayuda a probar que sen A2 sen B2 sen C2 =
r
4R , de donde el resultado se sigue inmediatamente.
Ejemplo 2.7.7 (IMO, 1991) Sea P un punto interior del triangulo ABC. Mues-
tre que alguno de los angulos P AB, P BC, P CA es menor o igual a 30 .
C1 B1
P
B C
A1
P A 2P C1 , P B 2P A1 o P C 2P B1 .
P
RA + R C + R E .
2
Sean M , N y P puntos dentro del hexagono de manera que M DEF , N F AB y
P BCD sean paralelogramos. Sea XY Z el triangulo formado por las rectas que
pasan a traves de B, D, F perpendiculares a F A, BC, DE, respectivamente,
donde B esta sobre Y Z, D sobre ZX y F sobre XY . Observemos que M N P
y XY Z son triangulos semejantes.
E
F D
N
P M
C
A
Y Z
B
100 Desigualdades Geometricas
F
M D
Z Y
H G
Sean Y , Z las respectivas reflexiones de Y y Z con respecto a la bisectriz
interna del X. Sean G, H los pies de las perpendiculares de M , X sobre
Y Z , respectivamente. Como (XY Z ) = (XM Z ) + (Z M Y ) + (Y M X),
tenemos
XH Y Z = M F XZ + M G Y Z + M D Y X.
Si hacemos x = Y Z , y = ZX , z = XY , la igualdad es
xXH = xM G + zDM + yF M.
Como XHG = 90o , entonces XH = XG sen XGH XG . Ademas, por
la desigualdad del triangulo, XG XM + M G, tenemos que
z y
XM XH M G = DM + F M.
x x
Analogamente,
x z
YN F N + BN ,
y y
y x
ZP BP + DP.
z y
Al sumar estas tres desigualdades, obtenemos
z y x z y x
XM + Y N + ZP DM + F M + F N + BN + BP + DP. (2.9)
x x y y z z
2.7 Teorema de Erdos-Mordell 101
Observemos que
y z y z BP + BN y z BP BN
BP + BN = + + .
z y z y 2 z y 2
FM FN BN BP DP DM
r= = = .
XY YZ ZX
y z
Al aplicar la desigualdad z + y 2, obtenemos
y z y z
BP + BN r yx zx
BP + BN = +
z y z y 2 2 z y
r yx zx
BP + BN .
2 z y
XM + Y N + ZP BN + BP + DP + DM + F M + F N
como se deseaba.
Ejercicio 2.70 Utilizando la notacion del teorema de Erdos-Mordell, muestre
que
4R
PA PB PC pa pb pc .
r
P A2 P B 2 P C 2
(i) + + 12,
pb pc pc pa pa pb
PA PB PC
(ii) + + 3,
pb + pc pc + pa pa + pb
102 Desigualdades Geometricas
PA PB PC
(iii) + + 6,
pb pc pc pa pa pb
(iv) P A P B + P B P C + P C P A 4(pa pb + pb pc + pc pa ).
Ejercicio 2.72 Sea ABC un triangulo, P un punto arbitrario del plano y sean
pa , pb y pc las distancias de P a los lados del triangulo con longitudes a, b y
c, respectivamente. Si por ejemplo, P y A estan en distintos lados de la recta
BC, entonces pa es negativo, y lo mismo pasa en los otros dos casos. Muestre
que
c a
b c a b
PA + PB + PC + pa + + pb + + pc .
c b a c b a
M
N M
P P Pb
B B L L C C
2.8 Problemas de optimizacion 103
Si L, M y N son los pies de las perpendiculares sobre los lados, es claro que
P M = N M , donde M es la interseccion de P N con A B . Ademas, P M es
altura del triangulo equilatero A P P . Si A P es la altura del triangulo A P P
desde A , es claro que P M = A P . Sea L el pie de la altura desde el vertice
A del triangulo A B C . Luego,
P L + P M + P N = P L + N M + P N = P L + A P = A P + P L = A L .
Observacion 2.8.2 (i) Hay una prueba del lema de Viviani que se basa en el
manejo de las areas. Denotemos por (ABC) el area del triangulo ABC, entonces
(ABC) = (ABP ) + (BCP ) + (CAP ). Luego, si a es la longitud del lado del
triangulo y h la longitud de su altura, se tiene que ah = aP N + aP L + aP M ,
cancelando a obtenemos h = P N + P L + P M .
(ii) Otra demostracion del lema de Viviani se deduce de la siguiente figura
A
N
M
P
b
M
B L C
A
C
P
B C
E
A A
F
P
Q
B C
C
B
P
60 P
B C
como la interseccion de BB y CC .
La solucion de Steiner. Cuando tratamos de resolver problemas de maximos
y mnimos nos enfrentamos principalmente a tres preguntas, (i) existe una
solucion?, (ii) es unica la solucion? (iii) que propiedades caracterizan a la o
las soluciones? La solucion de Torricelli muestra que, de entre todos los puntos
del triangulo, este punto particular P , desde el cual se ven los tres lados del
triangulo con un angulo de 120 , corresponde al menor valor de P A + P B +
P C. De esta forma responde a las tres preguntas que senalamos, haciendolo
ademas de una manera elegante. Sin embargo, la solucion no da indicios de por
que Torricelli elige tal punto; Cual fue su primer impulso para tomar ese punto?
Probablemente esta pregunta no se podra responder. En lo que sigue veremos
una sucesion de ideas que nos llevan a descubrir por que el punto de Fermat es
el optimo, estas son debidas al geometra suizo Jacob Steiner. Antes veamos los
siguientes dos lemas.
A b
d
P
A b
b
d
P P
B
2.8 Problemas de optimizacion 107
AP + P B = AP + P B = AB AP + P B = AP + P B.
b
B b
Cb
A B
Lema 2.8.6 Sea ABC un triangulo. Sean D, E y F los pies de las alturas
sobre BC, CA y AB, desde los vertices A, B y C, respectivamente. Entonces
los triangulos ABC, AEF , DBF y DEC son semejantes.
Demostracion. Basta ver que los primeros dos triangulos son semejantes, ya
que las otras semejanzas se demuestran de manera analoga.
A
E
F b
H
B C
D
Como estos dos triangulos tienen en comun al angulo en A, bastara ver que
AEF = ABC. Pero es claro que AEF + F EC = 180 y como el
cuadrilatero BCEF es cclico se tiene que ABC + F EC = 180 , por lo
tanto AEF = ABC.
Lema 2.8.7 Con la notacion del lema anterior se tiene que, el reflejado de D
con respecto a AB es colineal a E y F , y el reflejado de D con respecto a CA
es colineal con E y F .
D
E
F
b
D
B C
D
Con estos elementos podemos ahora finalizar la solucion, propuesta por H.
Schwarz, al problema de Fagnano.
Demostraremos ahora que el triangulo de permetro mnimo es el triangulo
ortico. Denotemos a este por DEF y consideremos otro triangulo LM N inscrito
en ABC.
C
M
E
B A
A L
N D
N
F F
B
B A
C
Reflejemos la figura completa sobre el lado BC, despues el triangulo resultante
lo reflejamos sobre CA, luego sobre AB, sobre BC y finalmente en CA.
Tenemos en total seis triangulos congruentes y dentro de cada uno de ellos
tenemos su triangulo ortico y el otro triangulo inscrito LM N . El lado AB del
ultimo triangulo es paralelo al lado AB del primero, ya que como resultado de la
primera reflexion, el lado AB se rota en sentido negativo un angulo 2B, despues
en sentido negativo un angulo 2A, en la tercera reflexion queda invariante, en
la cuarta reflexion gira un angulo 2B en sentido positivo y en la quinta tambien
gira en sentido positivo un angulo 2A. Luego, el angulo total de rotacion del
segmento AB es cero.
El segmento F F es igual a dos veces el permetro del triangulo ortico, ya que
F F se compone de seis pedazos, donde cada lado del ortico esta tomado dos
veces. Tambien la lnea quebrada N N es el doble del permetro de LM N .
2.8 Problemas de optimizacion 111
LM + M N + N L = L N + N M + M L L L .
L
M
L N
B C
L
M L
N
L
B C
L
112 Desigualdades Geometricas
Ejercicio 2.75 (IMO, 1981) Sea P un punto dentro del triangulo ABC. Sean
D, E y F los pies de las perpendiculares desde P a los lados BC, CA y AB,
respectivamente. Encuentre el punto P que minimiza a PBC CA AB
D + PE + PF .
Ejercicio 2.78 Sea P un punto dentro del triangulo ABC. Para que punto
P , la suma P A2 + P B 2 + P C 2 es mnima?
Ejercicio 2.79 Para cada punto P del circuncrculo del triangulo ABC, se
trazan las perpendiculares P M y P N a los lados AB y CA, respectivamente.
Determine en que punto P , la longitud M N es maxima y cual es su longitud.
10
Hasta aqu bastara para terminar la demostracion de Fejer al problema de Fagnano, ya
que si AL es altura y L L corta en E y F a los lados CA y AB, respectivamente, entonces
BE y CF son alturas. Veamos porque. El triangulo AL L es isosceles con L AL = 2A,
luego, AL L = 90 A y por simetra ELA = 90 A, por tanto CLE = A.
Luego, AELB es un cuadrilatero cclico, por lo tantoAEB = ALB = 90 , lo que implica
que BE sea altura. Analogamente, CF es altura.
2.8 Problemas de optimizacion 113
Ejercicio 2.80 (Turqua, 2000) Sea ABC un triangulo acutangulo con cir-
cunradio R, las longitudes de las alturas AD, BE y CF son ha , hb y hc ,
respectivamente. Sean ta , tb y tc las longitudes de las tangentes desde A, B y
C, respectivamente, al circuncrculo de DEF . Muestre que
t2a t2 t2 3
+ b + c R.
ha hb hc 2
Ejercicio 2.83 De los triangulos que tienen una base comun y un mismo
permetro, el isosceles es el que tiene mayor area.
(lm + mn + nl)(l + m + n) a2 l + b2 m + c2 n.
Ejercicio 2.88 Sea (ABC) el area del triangulo ABC y sea F el punto de
Fermat del triangulo. Muestre que
4 3(ABC) (AF + BF + CF )2 .
Ejercicio 2.89 Sea P un punto dentro del triangulo ABC, muestre que
P A + P B + P C 6r.
Ejercicio 2.90 (El area del triangulo pedal). Para un triangulo ABC y un
punto P del plano, se define el triangulo pedal de P con respecto a ABC
como el triangulo A1 B1 C1 , donde A1 , B1 , C1 son los pies de las perpendiculares
desde P sobre BC, CA, AB, respectivamente. Muestre que el area del triangulo
A1 B1 C1 satisface
(R2 OP 2 )(ABC)
(A1 B1 C1 ) = ,
4R2
donde O es el circuncentro y (ABC) es el area del triangulo ABC. Concluya
que el triangulo pedal de area maxima es el triangulo medial.
Captulo 3
Problemas Recientes de
Desigualdades
1 SB + SC
< < 2 2.
2 SA
Problema 3.4 (Francia, 1995) Tres crculos con el mismo radio tienen un punto
comun. Si S es el area del conjunto de puntos que son interiores al menos a dos
crculos, como deberan colocarse los crculos para que S sea mnima?
Problema 3.6 (Irlanda, 1995) Sean A, X, D puntos sobre una recta con X
entre A y D. Sea B un puntotal que ABX = 120 y sea C un punto entre
B y X. Muestre que 2AD 3 (AB + BC + CD).
Problema 3.7 (Corea, 1995) Un numero finito de puntos del plano, tienen la
propiedad de que cada tres de ellos forman un triangulo de area menor o igual a
1. Muestre que todos los puntos estan dentro o sobre los lados de un triangulo
de area menor o igual a 4.
Pn
Problema 3.12 (Polonia, 1996) Sean n 2 yP a1 , a2 , ..., an R+ con i=1 ai =
1. Muestre que para x1 , x2 , ..., xn R con ni=1 xi = 1, se tiene
+
n
X n 2 X ai x2i
2 xi xj + .
n1 1 ai
i<j i=1
1 wx + xy + yz + zw 0.
Problema 3.16 (Taiwan, 1997) Sean a1 , ..., an numeros positivos, tales que
ai1 +ai+1
ai es entero para toda i = 1, ..., n, a0 = an , an+1 = a1 y n 3. Muestre
que
an + a2 a1 + a3 a2 + a4 an1 + a1
2n + + + + 3n.
a1 a2 a3 an
Problema 3.17 (Taiwan, 1997) Sea ABC un triangulo acutangulo, con cir-
cuncentro O y circunradio R. Muestre que si AO corta al circuncrculo de OBC
en D, BO corta al circuncrculo de OCA en E y CO corta al circuncrculo de
OAB en F , entonces OD OE OF 8R3 .
la lb lc
+ + 3
sen A sen B sen2 C
2 2
118 Problemas Recientes de Desigualdades
Problema 3.19 (IMO, 1997) Sean x1 , ..., xn numeros reales con |x1 + + xn |
= 1 y |xi | n+12 , para i = 1, ..., n. Muestre que existe una permutacion y1 , ...,
yn de x1 , ..., xn tal que
n+1
|y1 + 2y2 + + nyn | .
2
y z a z x b x y c
+ = , + = , + = .
z y x x z y y x z
Problema 3.23 (Iran, 1998) Sean x, y, z numeros mayores que 1 y tales que
1 1 1
x + y + z = 2. Muestre que
p
x+y+z x1+ y1+ z 1.
Problema 3.26 (Espana, 1998) Una recta que contiene al centroide G del
triangulo ABC intersecta el lado AB en P y el lado CA en Q. Muestre que
P B QC 1
.
P A QA 4
Problema 3.27 (Armenia, 1999) Sea O el centro del circuncrculo del triangulo
acutangulo ABC. Las rectas CO, AO y BO intersectan, por segunda vez, al
circuncrculo de los triangulos AOB, BOC y AOC en C1 , A1 y B1 , respecti-
vamente. Muestre que
AA1 BB1 CC1 9
+ + .
OA1 OB1 OC1 2
Problema 3.33 (Polonia, 1999) Sea D un punto sobre el lado BC del triangulo
ABC tal que AD > BC. Considere un punto E sobre el lado CA de manera
AE BD
que EC = ADBC . Muestre que AD > BE.
x3 + y 3 2.
Problema 3.40 (San Petesburgo, 1999) Sean x0 > x1 > > xn numeros
reales. Muestre que
1 1 1
x0 + + + + xn + 2n.
x0 x1 x1 x2 xn1 xn
Problema 3.44 (APMO, 1999) Sea {an } una sucesion de numeros reales que
satisfacen, ai+j ai + aj , para toda i, j = 1, 2, . . .. Muestre que
a2 an
a1 + + + an , para toda n N.
2 n
Problema 3.46 (Republicas Checa y Eslovaca, 2000) Muestre que para todos
los numeros reales positivos a y b,
r r s
3
a 3 b 3 1 1
+ 2(a + b) + .
b a a b
Problema 3.50 (IMO, 2000) Sean a, b, c numeros reales positivos con abc = 1.
Muestre que
1 1 1
a1+ b1+ c1+ 1.
b c a
Problemas Recientes de Desigualdades 123
p
Problema 3.52 (Brasil, 2001) Muestre que (a + b)(a + c) 2 abc(a + b + c)
para todos los numeros reales positivos a, b, c.
se tiene para cada entero n 2 y para todos los numeros reales no negativos
x1 , x2 , ..., xn .
a + b b + c c + a a3 + b3 + c3
2< + + 3,
c a b abc
donde a, b, c son las longitudes de los lados de un triangulo.
Problema 3.55 (IMO, 2001) Muestre que para cualesquiera numeros reales
positivos a, b y c se cumple
a b c
+ + 1.
a2 + 8bc 2
b + 8ca 2
c + 8ab
Problema 3.56 (Lista corta IMO, 2001) Muestre que para todos los numeros
reales x1 , x2 , . . . , xn ,
x1 x2 xn
2 + 2 2 + + 2 2
< n.
1 + x 1 1 + x 1 + x2 1 + x1 + + x n
Problema 3.57 (Austria, 2002) Sean a, b, c numeros reales tales que existen
, , {1, 1}, con a + b + c = 0. Determine el valor positivo mas
3 3 3 2
pequeno de a +b
abc
+c
.
124 Problemas Recientes de Desigualdades
2 2 2 27
+ + ,
b(a + b) c(b + c) a(c + a) (a + b + c)2
Problema 3.59 (Canada, 2002) Muestre que para cualesquiera numeros reales
positivos a, b, c,
a3 b3 c3
+ + a + b + c,
bc ca ab
y determine cuando ocurre la igualdad.
Problema 3.60 (Irlanda, 2002) Muestre que para cualesquiera numeros reales
positivos x, y, z menores que 1, se tiene que
x y z 3 3 xyz
+ + .
1x 1y 1z 1 3 xyz
Problema 3.63 (Rusia, 2002) Muestre que x + y + z xy + yz + zx,
para numeros reales positivos x, y, z tales que x + y + z = 3.
x1 x2 xn n2
+ + + .
x2 (x1 + x2 + x3 ) x3 (x2 + x3 + x4 ) x1 (xn + x1 + x2 ) 3
a2 b2 c2 3
+ +
(a + b)(a + c) (b + c)(b + a) (c + a)(c + b) 4
Problema 3.75 (Estonia, 2004) Sean a, b, c numeros reales positivos tales que
a2 + b2 + c2 = 3. Muestre que
1 1 1
+ + 1.
1 + 2ab 1 + 2bc 1 + 2ca
Problemas Recientes de Desigualdades 127
Problema 3.76 (Iran, 2004) Sean x, y, z numeros reales para los cuales
xyz = 1. Muestre que
x2 x2 y 2 y 2 z 2 z 2
x4 + y 4 + z 4 + 3(x + y + z) + + + + + .
y z x z x y
a3 + b3 + c3 ab + bc + ca.
Problema 3.81 (Rumania, 2004) Encuentre todos los numeros reales positivos
a, b, c que satisfacen las desigualdades
Problema 3.86 (Lista corta IMO, 2004) Sean a, b y c numeros reales positivos
tales que ab + bc + ca = 1. Muestre que
r 3
3 1 3
3 + 6(a + b + c) .
abc abc
Muestre que ti , tj , tk son las longitudes de los lados de un triangulo, para todo
i, j, k, con 1 i < j < k n.
a2 b2 c2 4
p +p +p .
(1 + a3 )(1 + b3 ) (1 + b3 )(1 + c3 ) (1 + c3 )(1 + a3 ) 3
Problema 3.92 (IMO, 2005) Sean x, y, z numeros reales positivos tales que
xyz 1. Muestre que
x5 x2 y5 y2 z5 z2
+ 5 + 5 0.
x5 2
+y +z 2 y +z +x2 2 z + x2 + y 2
Muestre que
X ai (n 1)2 A
.
aj A1
i6=j
n2 d
(n 1)d s .
4
Determine las condiciones en los n numeros para que se cumpla la igualdad.
Problema 3.98 (IMO, 2006) Determine el mnimo numero real M tal que la
desigualdad
ab(a2 b2 ) + bc(b2 c2 ) + ca(c2 a2 ) M (a2 + b2 + c2 )2 ,
Problema 3.99 (Bulgaria, 2007) Encuentre todos los enteros positivos n tal
que si a, b, c son numeros reales no negativos con a + b + c = 3, entonces
abc(an + bn + cn ) 3.
Problemas Recientes de Desigualdades 131
Problema 3.105 (Mediterranea, 2007) Sea x > 1 un numero real positivo que
no sea un entero. Muestre que
x + {x} [x] x + [x] {x} 9
+ > ,
[x] x + {x} {x} x + [x] 2
donde [x] y {x} representan la parte entera y la parte fraccionaria de x, respec-
tivamente.
Problema 3.106 (Peru, 2007) Sean a, b, c numeros reales positivos tales que
a + b + c a1 + 1b + 1c . Muestre que
3 2
a+b+c + .
a + b + c abc
132 Problemas Recientes de Desigualdades
Problema 3.109 (Rumania, 2007) Los puntos M , N , P en los lados BC, CA,
AB del triangulo ABC, respectivamente, son tales que el triangulo M N P es
acutangulo. Sea x la longitud de la altura menor del triangulo ABC y X la
longitud de la altura mayor del triangulo M N P . Muestre que x 2X.
x2 + yz y 2 + zx z 2 + xy
p +p +p 1.
2x2 (y + z) 2y 2 (z + x) 2z 2 (x + y)
a2 b2 c2 (a + b + c)2
+ + .
2 + b + c2 2 + c + a2 2 + a + b2 12
Bajo que circunstancias se tiene la igualdad?
a bc b ca c ab 3
+ + .
a + bc b + ca c + ab 2
Problemas Recientes de Desigualdades 133
Problema 3.113 (Iran, 2008) Encuentre el menor numero real K tal que, para
cualesquiera numeros reales positivos x, y, z, se cumple la siguiente desigualdad
p
x y + y z + z x K (x + y)(y + z)(z + x).
Problema 3.118 (Serbia, 2008) Sean a, b, c numeros reales positivos tales que
a + b + c = 1. Muestre que
4
a2 + b2 + c2 + 3abc .
9
134 Problemas Recientes de Desigualdades
Cuando se da la igualdad?
Problema 3.120 (IMO, 2008) (i) Si x, y, z son tres numeros reales distintos
a 1 y tales que xyz = 1. Muestre que
x2 y2 z2
+ + 1.
(x 1)2 (y 1)2 (z 1)2
Solucion 1.2 (i) Si a < 0, entonces a > 0. Use tambien que (a)(b) = ab.
(ii) (a)b > 0. (iii) a < b b a > 0, use ahora la propiedad 1.1.2. (iv) Use
la propiedad 1.1.2. (v) Si a < 0, entonces a > 0. (vi) a a1 = 1 > 0. (vii) Si
a < 0, entonces a > 0. (viii) Use (vi) y la propiedad 1.1.3. (ix) Muestre que
ac < bc y que bc < bd. (x) Use la propiedad 1.1.3 con a 1 > 0 y a > 0. (xi)
Use la propiedad 1.1.3 con 1 a > 0 y a > 0.
Solucion 1.4 Para (i), (ii) y (iii) use la definicion, y para (iv) y (v) recuerde
que |a|2 = a2 .
a b a b a+b
+ + = 1.
1+b 1+a 1+a 1+a 1+a
(iii) Para la desigualdad izquierda use que ab2 ba2 = ab(b a) es producto de
numeros reales no negativos. Para la desigualdad derecha note que, b 1
b2 b b b2 , ahora termine as,
1 1 1
ab2 ba2 ab2 b2 a2 = b2 (a a2 ) a a2 = ( a)2 .
4 2 4
1
Solucion 1.8 Muestre, mas generalmente, que x < 2 1+ 1+x > 2y
1
que x > 2 1 + 1+x < 2.
Solucion 1.10 Suponga que x y. Luego, utilice el ejercicio anterior con
p x2 ,
y 2 , 1y y 1x .
Solucion 1.13 Para que las expresiones esten bien definidas es necesario
que
2
x 12 y x 6= 0. Multiplique el numerador
y el denominador por 1 + 1 + 2x .
Realice simplificaciones, para obtener 2 2x + 1 < 7; ahora resuelva para x.
Solucion 1.14 Como 4n2 < 4n2 + n < 4n2 + 4n + 1, se tiene que, 2n <
ab ab abc2 c
= = .
a5 + b5 + ab a2 b2 (a + b) + ab a2 b2 c2 (a + b) + abc2 a+b+c
bc a ca b
Analogamente, b5 +c5 +bc a+b+c y c5 +a5 +ca a+b+c . Por lo que,
ab bc ca c a b
+ 5 + 5 + + ,
a5 5 5 5
+ b + ab b + c + bc c + a + ca a+b+c a+b+c a+b+c
c a b c+a+b
pero, a+b+c + a+b+c + a+b+c = a+b+c = 1.
2
y su valor es 4acb
4a < 0. Si x1 , x2 son las races, se tiene que ab = (x1 + x2 )
c
y a = x1 x2 , por lo que a+b+c
a = (1 x1 )(1 x2 ), ab+ca = (1 + x1 )(1 + x2 )
ac
y a = 1 x1 x2 . Observe que, (1 x1 )(1 x2 ) 0, (1 + x1 )(1 + x2 ) 0 y
1 x1 x2 0, garantizan que 1 x1 ,x2 1.
Solucion 1.17 Si las tres desigualdades ocurren, debe suceder que a, b y c son
1
menores que 1, y que a(1b)b(1c)c(1a) > 64 . Por otro lado, para 0 x 1
1 1
siempre sucede que x(1 x) 4 , se tiene que a(1 b)b(1 c)c(1 a) 64 .
a
Solucion 1.24 Use la desigualdad M G M A, con b y ab .
2
a+b ( a b) (ab)2
Solucion 1.25 2 ab = 2 =
2( a+ b)2
, simplifique y acote usando
0 < b a.
Solucion 1.26 x + y 2 xy.
q
xy yz 2
Solucion 1.31 z + x 2 xyzxz = 2y.
x2 +(y 2 +z 2 )
p
Solucion 1.32 2 x y2 + z2 .
4.1 Soluciones a los ejercicios del captulo 1 139
p
Solucion 1.33 x4 + y 4 + 8 = x4 + y 4 + 4 + 4 4 4 x4 y 4 16 = 8xy.
q
Solucion 1.34 (a + b + c + d) 4 4 a b c d, a1 + 1b + 1c + d1 4 4 a b1c d .
q
a
Solucion 1.35 b + cb + c
d + d
a 4 4 ab cb dc ad = 4.
q
Solucion 1.36 (x1 + + xn ) n n x1 xn , x11 + + 1
xn
1
n n x1 x n
.
q
a1 a2
Solucion 1.37 b1 + b2 + + an
bn n n ab11 b
an
n
= n.
n+1 n1
Solucion 1.38 an 1 > n a 2 a 2 (a 1) an1 + + 1 >
q
n1 n1 n1 n1 n (n1)n n1
1+a++a 1+a++a
na 2 (a 1) n > a 2 , pero n > a 2 =a 2 .
1+b 1+c
Solucion 1.39 1 = 1+a2 2 2 a b c = abc.
3 3
Solucion 1.40 Aplicando la desigualdad M G M A, se tiene, ab + bc + bc
q
3 3 3 3 3 3
3 3 ab bc bc = 3ab. Analogamente, bc + ca + ca 3bc y ca + ab + ab 3ca.
3 b3 c3
Por lo que, 2( ab + c + a)+ (ab + bc + ca) 3(ab + bc + ca).
Segunda Solucion. Tambien se puede resolver aplicando el ejercicio 1.107.
1 + ab 1 + bc 1 + ca 1+c 1+a 1+b
+ + = ab + bc + ca
1+a 1+b 1+c 1+a 1+b 1+c
q
3 (abc)2 = 3.
3
140 Soluciones a los Ejercicios y Problemas
1 1 1
Solucion 1.44 a+b + b+c + c+a (a + b + c) 92 , es equivalente a mostrar
que
1 1 1
+ + (a + b + b + c + c + a) 9,
a+b b+c c+a
1 1 4
lo cual se sigue del ejercicio 1.36. Para la otra desigualdad use a + b a+b .
Vea el ejercicio 1.22.
1 1 2+a +a
Como 1 1+a i
+ 1+a j
= 1+ai +ai j +aj i aj , tenemos que ai aj 1. Por lo tanto,
los terminos de la ultima suma son positivos.
Pn a2i Pn b2i
Solucion 1.49 Sean Sa = i=1 ai +bi y Sb = i=1 ai +bi .
n n n
X a2 b2 i i
X X
Sa Sb = = ai bi = 0,
ai + bi
i=1 i=1 i=1
4.1 Soluciones a los ejercicios del captulo 1 141
3
Solucion 1.51 Note que abc a+b+c
3 = 271
.
1 1 1 1 1 1 1 1 1 1
+1 +1 +1 = 1+ + + + + + +
a b c a b c ab bc ca abc
3 3 1
1+ 3
+q +
abc 3 2 abc
(abc)
3
1
= 1+ 3
43 .
abc
1
Una funcion f (a, b, . . .) es homogenea si para t R se tiene que f (ta, tb, . . .) =
tf (a, b, . . .). Luego, una desigualdad de la forma f (a, b, . . .) 0, para el caso de una fun-
cion homogenea es equivalente a f (ta, tb, . . .) 0 para cualquier t > 0.
142 Soluciones a los Ejercicios y Problemas
b+c b+c
Solucion 1.52 La desigualdad es equivalente a b+c a b c 8. Use
ahora, la desigualdad M G M A para cada termino del producto, y la desigual-
dad se resuelve inmediatamente.
a b c (a + 1)(b + 1)(c + 1) 2
+ + =
(a + 1)(b + 1) (b + 1)(c + 1) (c + 1)(a + 1) (a + 1)(b + 1)(c + 1)
2 3
=1 ,
(a + 1)(b + 1)(c + 1) 4
2ab 2 a+b
= 1 1 .
a+b a + b
2
Solucion 1.56 Utilice primero que (a + b)2 4ab, luego tome en cuenta que
n n
X 1 X 1
4 .
ai bi
i=1
(ai + bi )2
i=1
Solucion 1.57 Por la desigualdad M G M A, se tiene que xy + yz 2y xz.
Sumando desigualdades similares se obtiene 2(xy+yz+zx) 2(x yz+y zx+
z xy). Nuevamente, por M G M A, se tiene que x2 + x2 + y 2 + z 2 4x yz.
Sumando los resultados similares, una vez mas, se llega a que x2 + y 2 + z 2
x yz + y zx + z xy. Ahora, sumando ambas desigualdades, se obtiene el
2
resultado (x+y+z)
3 x yz + y zx + z xy.
4.1 Soluciones a los ejercicios del captulo 1 143
x2 y2 xy
+ 2p 8.
y1 x1 (x 1)(y 1)
a3 + b3 + c3 a2 b + b2 c + c2 a.
Solucion
1.63 Use la desigualdad (1.2) con (a1 , a2 , a3 ) = (b1 , b2 , b3 ) =
1 1 1 , a , a ) = 1 , 1 , 1 .
, ,
a b c y (a1 2 3 b c a
Solucion 1.65 Utilice la misma idea que en el ejercicio anterior, pero con n
variables.
s a1
Solucion 1.66 Use el ejercicio anterior y el hecho que sa1 =1+ sa1 .
Solucion 1.70 Sea G = n x1 x2 xn la media geometrica de los numeros
dados y (a1 , a2 , ..., an ) = xG1 , xG1 x22 , , x1 xG2 x
n
n
.
Utilice el corolario 1.4.2, se tiene que
a1 a2 an1 an G G G G
n + + + + = + + + + ,
a2 a3 an a1 x2 x3 xn x1
luego,
n
1 1 1 G.
x1 + x2 + + xn
4.1 Soluciones a los ejercicios del captulo 1 145
Solucion 1.73 (i) 4a +1 < 4a+1+1
2 = 2a + 1. (ii) Use la desigualdad de
Cauchy-Schwarz con u = ( 4a + 1, 4b + 1, 4c + 1) y v = (1, 1, 1).
1 2 2 2 2 1 1 1 1
(a + b + c + d )(a + b + c + d) + + +
16 A B C D
1 2 2 2 2 A+B+C +D 1 1 1 1
= (a + b + c + d ) + + + .
16 3 A B C D
a2 + b2 + c2 + d2 ab + bc + cd + da = 1
q
b
p
3 c
p
3 a
y permutacion (a1 , a2 , a3 ) = 3
c, a, b , para obtener
r r r
a b c 3 a2 3 b2 3 c2
+ + + + .
b c a bc ca ab
Finalmente use que abc = 1.
Segunda Solucion. Aplique la desigualdad entre M G M A de la siguiente
manera: r
r 2
1 a a b 3 aab 3 a 3
+ + = = a3 = a.
3 b b c bbc bc
Analogamente, 13 bc + bc + ac b y 13 ac + ac + ab c. Ahora sume las tres
desigualdades.
Solucion 1.76 Por hipotesis, para toda k, se tiene que s 2xk > 0. Por la
desigualdad de Cauchy-Schwarz
n
! n
! n
!2
X x2k X X
(s 2xk ) xk = s2 .
s 2xk
k=1 k=1 k=1
4.1 Soluciones a los ejercicios del captulo 1 147
Pn
Pero 0 < k=1 (s 2xk ) = ns 2s, por lo que
n
X x2k s
.
s 2xk n2
k=1
1 2
Solucion 1.77 La funcion f (x) = x + x es convexa en R+ .
a b c
Solucion 1.78 La funcion f (a, b, c) = b+c+1 + a+c+1 + a+b+1 + (1 a)(1
b)(1 c) es convexa en cada una de las variables, luego su maximo se alcanza
en los extremos.
n1 n2
Luego, nn an n1 an an1 n2 an an1 a1 .
9 6
1+ .
(a + b + c)2 (a + b + c)
2
3
Pero esta ultima desigualdad se sigue de que 1 a+b+c 0.
Ahora bien, si abc = 1, considere x = a1 , y = 1b y z = 1c ; se sigue inmediata-
mente que xyz = 1. Luego, la desigualdad es equivalente a
3 6
1+
xy + yz + zx x+y+z
que es la primera parte del ejercicio.
r
Ahora, suponga que 0 > r > s. Entonces f (x) = x s es concava, es decir,
la desigualdad de Jensen es valida en el otro sentido. Sin embargo, si toma la
potencia 1r -esima la desigualdad se invierte nuevamente.
r
Finalmente, en el caso r > 0 > s, f (x) = x s es nuevamente convexa, y
tomando la 1r -esima potencia en ambos lados de la desigualdad, esta se preserva.
Solucion 1.88 (i) Aplique la desigualdad de Holder a los numeros xc1 , . . . , xcn ,
y1c , . . . , ync con a = ac and b = bc .
(ii) Para probar esto siga la demostracion del ejemplo 1.5.9. Lo unico que tiene
que probar ademas es que xi yi zi a1 xai + 1b yib + 1c zic , pero esto se sigue de la
parte (i) del mismo ejemplo.
Luego,
a + b 2c a + b 2c
= (2 ) .
2 3
Por lo tanto, 2 ( + ) = 32 y ( + ) = 21 .
Ahora bien, como f es una funcion convexa, se tiene que
a+b 1
f (f (a) + f (b))
2 2
b+c a+b+c
f f (c) + (1 )f
2 3
c+a a+b+c
f f (c) + (1 )f
2 3
150 Soluciones a los Ejercicios y Problemas
a3 + b3 + c3 + 3abc 0.
Como
a3 + b3 + c3 + 3abc = (a)3 + b3 + c3 3(a)bc,
factorice, la ultima expresion, como
1
(a + b + c)((a + b)2 + (a + c)2 + (b c)2 ).
2
La conclusion se sigue de la desigualdad del triangulo, b + c > a.
3p
x2 + y 2 + z 2 xy yz zx 3
p2 . (4.1)
2
Ahora bien, como |x y| x + y, |y z| y + z, |z x| z + x, se tiene que
1 1 4 16 (1 + 1 + 2 + 4)2 64
+ + + = .
a b c d a+b+c+d a+b+c+d
x2 y2 z2 (x + y + z)2 3
+ + ,
axy + bzx ayz + bxy azx + byz (a + b)(xy + zx + yz) a+b
4.1 Soluciones a los ejercicios del captulo 1 153
a2 b2 c2 b2 c2 a2
+ + + + + ,
a+b b+c c+a a+b b+c c+a
luego use la desigualdad (1.11).
x2 y2 z2
+ +
x2 + 2xy + 3zx y 2 + 2yz + 3xy z 2 + 2zx + 3yz
y use la desigualdad (1.11) para obtener
x y z (x + y + z)2
+ + 2 .
x + 2y + 3z y + 2z + 3x z + 2x + 3y x + y 2 + z 2 + 5(xy + zx + yz)
Ahora, solo falta probar la desigualdad
(x + y + z)2 1
,
x2 + y 2 + z 2 + 5(xy + zx + yz) 2
w2 x2 y2 z2
+ + +
xw + 2yw + 3zw xy + 2xz + 3xw yz + 2yw + 3xy zw + 2xz + 3yz
entonces, use la desigualdad (1.11) para obtener
w x y z
+ + +
x + 2y + 3z y + 2z + 3w z + 2w + 3x w + 2x + 3y
(w + x + y + z)2
.
4(wx + xy + yz + zw + wy + xz)
Luego, la desigualdad que tiene que probar es
(w + x + y + z)2 2
,
4(wx + xy + yz + zw + wy + xz) 3
Como X X
(a + b + c + d + e)2 = a2 + 2 ab,
muestre que X X X
2 a2 + 4 ab 5 ab,
lo cual es equivalente a X X
a2 2 ab.
P 2 P
La ultima desigualdad se sigue de a ab.
y
Solucion 1.109 Con la sustitucion a = xy , b = z y c = xz , se puede reescribir
la desigualdad como,
a3 b3 c3
+ + 1,
a3 + 2 b3 + 2 c3 + 2
a3 b3 c3 a3 b3 c3
+ 3 + 3 = + 3 + 3
a3 +2 b +2 c +2 a3 + 2abc b + 2abc c + 2abc
a2 b2 c2
= + +
a2 + 2bc b2 + 2ca c2 + 2ab
(a + b + c)2
= 1.
a2 + b2 + c2 + 2bc + 2ca + 2ab
Pero esta desigualdad es ahora evidente. Unicamente observe que para toda
i = 1, ..., n se cumple que
x4 + y 4 y 4 + z 4 z 4 + x4
+ + 1 = x + y + z.
x3 + y 3 y 3 + z 3 z 3 + x3
x4 + y 4 x3 + y 3 x + y
,
2 2 2
por lo que,
2x 2y 2z
Utilizando la sustitucion, a = y , b= z , c= x, se obtiene
1 1 1 1 1 1
+ + = 2x+ 2y + 2z
a+1 b+1 c+1 +1 y z +1 x +1
y z x
= + +
2x + y 2y + z 2z + x
y2 z2 x2
= 2
+ 2
+
2xy + y 2yz + z 2zx + x2
(x + y + z)2
= 1.
2xy + y 2 + 2yz + z 2 + 2zx + x2
Para la unica desigualdad que aparece en este calculo, se aplico la desigualdad
(1.11).
x = a + b c, y = a b + c, z = a + b + c,
[1, 1, 1] [2, 1, 0]
1 1
((x+y)3 +(y+z)3 +(z+x)3 ) ((x+y)(x+z)x+(x+y)(y+z)y+(x+z)(y+z)z),
8 4
que es equivalente a
3(x2 y+y 2 x+y 2 z+z 2 y+z 2 x+x2 z) 2(x2 y+y 2 x+y 2 z+z 2 y+z 2 x+x2 z)+6xyz
o
x2 y + y 2 x + y 2 z + z 2 y + z 2 x + x2 z 6xyz
y aplicando el teorema de Muirhead se obtiene el resultado cuando x, y, z son
no-negativos. Si uno de ellos es negativo (y no puede ser mas de uno al mismo
tiempo), se tiene que
x2 (y + z) + y 2 (x + z) + z 2 (x + y) = x2 2c + y 2 2a + z 2 2b 0
a3 (b + c) b3 (c + a) c3 (a + b)
+ 3 + 3 a + b + c,
b3 + c3 c + a3 a + b3
que a su vez es equivalente a
a3 (b+c)(a3 +c3 )(a3 +b3 )+b3 (c+a)(b3 +c3 )(a3 +b3 )+c3 (a+b)(a3 +c3 )(b3 +c3 )
a3 b3 c3
+ +
(1 + b) (1 + c) (1 + a) (1 + c) (1 + a) (1 + b)
1 3 3 3 1 1 1
(a + b + c ) + + =
3 (1 + b)(1 + c) (1 + a)(1 + c) (1 + a)(1 + b)
1 3 + (a + b + c)
= (a3 + b3 + c3 ) .
3 (1 + a)(1 + b)(1 + c)
1 1 1
(iii) a < b < c a + b < a + c < b + c b+c < c+a < a+b , por lo
1 1 1
que sera suficiente que ver que a+b < b+c + c+a , pero es mas facil ver que
1 1 1
c < b+c + c+a .
Solucion 2.3 Utilice el hecho de que si a, b, c son las longitudes de los lados de
un triangulo, el angulo que se opone al lado de longitud c es o bien recto, agudo
u obtuso dependiendo si c2 es igual, menor o mayor a a2 + b2 , respectivamente.
Suponga entonces que a b c d e, y que las ternas de segmentos
de longitud (a, b, c) y (c, d, e) no forman un triangulo acutangulo. Luego, como
c2 a2 + b2 y e2 c2 + d2 , se puede concluir que e2 a2 + b2 + d2
a2 + b2 + c2 a2 + b2 + a2 + b2 = (a + b)2 + (a b)2 (a + b)2 , por lo cual
a + b e, lo que nos lleva a una contradiccion.
Solucion 2.6 Cada di es menor que la suma de la longitud de dos lados. Use
tambien el hecho que, en un cuadrilatero convexo la suma de la longitud de dos
lados opuestos es menor que la suma de la longitud de las diagonales.
C B A
B A C
m(ab + cd)
(ABCD) = (ABC) + (CDA) = ,
4R
n(bc + ad)
(ABCD) = (BCD) + (DAB) = ,
4R
m bc + ad
= >1 bc + ad > ab + cd
n ab + cd
(d b)(a c) > 0.
Solucion 2.13 Con centro en A haga una rotacion de 60 del triangulo ABP.
El punto B se transforma en C y sea P el transformado de P. El triangulo
P P C tiene lados P P = P A, P C = P B y P C, como el que se desea.
2
Ver [6], pag. 136 o [1], pag. 128.
3
Ver [6], pag. 97 o [9], pag. 13.
164 Soluciones a los Ejercicios y Problemas
A
A
P
B C C
B
P
P
Segunda Solucion. Use la desigualdad de Ptolomeo (ejercicio 2.11) en los
cuadrilateros ABCP , ABP C y AP BC; despues de cancelar factores comu-
nes tendra que: P B < P C + P A, P A < P C + P B y P C < P A + P B,
respectivamente. Esto garantiza la existencia del triangulo.
Tercera Solucion. Otra solucion para el caso en que P este dentro de ABC.
Sea P el punto donde AP corta al lado BC. Use ahora que, AP < AP <
AB = BC < P B + P C. Analogamente obtenga las desigualdades P B <
P C + P A y P C < P A + P B.
Solucion 2.16 Use la formula 4m2b + b2 = 2(c2 + a2 ), para ver que m2b
m2c = 43 (c2 b2 ). Ahora bien, usando la desigualdad del triangulo pruebe que
mb + mc < 32 (b + c). De aqu puede deducir la desigualdad de la izquierda.
4.2 Soluciones a los ejercicios del captulo 2 165
x2 y2 2
Luego, la desigualdad es equivalente a y + z + zx x + y + z. Ahora, use la
desigualdad (1.11).
Solucion 2.25
a b b c c a a b b c c a
a + b + b + c + c + a = a + b b + c c + a
cab 1
< ,
(a + b)(b + c)(c + a) 8
1 1 1 1 1 1
+ + = + +
a b c y+z z+x x+y
1 1 1 1
+ +
2 yz zx xy
x+ y+ z
=
2 xyz
3 x+y+z
2 xyz
r
3 x+y+z 3
= = .
2 xyz 2r
De donde,
X p p 1 X p 2 p
a2 + b2 c2 a2 b2 + c2 = a + b2 c2 a2 b2 + c2
2
cclica cclica
p p
+ c2 + a2 b2 c2 a2 + b2
1 X p 2 X
(2a )(2c2 ) = ac.
2
cclica cclica
168 Soluciones a los Ejercicios y Problemas
Solucion 2.32 Como en los triangulos con la misma base la razon de sus alturas
es igual a la razon de sus areas, se tiene que,
Por la desigualdad (2.3), se sabe que esta igualdad ocurre solamente cuando
AL BM CN
P L = P M = P N = 3, lo que garantiza que P sea el centroide.
Solucion 2.38 Sean A1 , B1 , C1 los puntos medios de los lados BC, CA, AB,
respectivamente, y sean B2 , C2 las reflecciones de A1 con respecto a AB y CA,
respectivamente. Tambien considere a D la interseccion de AB con A1 B2 y E
la interseccion de CA con A1 C2 . Entonces,
2DE = B2 C2 C2 B1 + B1 C1 + C1 B2 = A1 B1 + B1 C1 + C1 A1 = s.
a
ma sen A. Entonces, s 2DE = 2ma sen A = 2ma 2R = am
R , es decir,
a
Solucion 2.40 El area del triangulo ABC, satisface que (ABC) = abc 4R =
(a+b+c)r 1 1 1 1 1
2 , luego, ab + bc + ca = 2Rr R2 , donde R y r denotan el circunradio
y el inradio, respectivamente.
A B C (s a)(s b)(s c) sr 2 r 1
sen sen sen = = = ,
2 2 2 abc abc 4R 8
donde R y r denotan el circunradio y el inradio, respectivamente.
1 3
log + log + log log . (4.6)
3 2A 2B 2C 2
Suponga que a b c, lo cual implica A B C. Entonces a1 1b 1c y
log 2A log 2B log 2C . Usando la desigualdad de Tchebyshev,
1 1 1 1 1 1 log 2A + log 2B + log 2C
log + log + log + + .
a 2A b 2B c 2C a b c 3
a2 b2 c2
sen2 A + sen2 B + sen2 C = + +
4R2 4R2 4R2
1
= (a2 + b2 + c2 )
4R2
1 9
2
9R2 = ,
4R 4
donde la desigualdad se sigue de la desigualdad de Leibniz.
EF 2 + F D 2 + DE 2 9r 2 ,
172 Soluciones a los Ejercicios y Problemas
donde r es el inradio de ABC. Por otra parte, usando el teorema 2.4.3 se obtiene
que s2 27r 2 , de donde
s2
EF 2 + F D 2 + DE 2 .
3
Solucion 2.47
a2 b2 c2 a2 bc + b2 ca + c2 ab abc(a + b + c)
+ + = 2
=
hb hc hc ha ha hb 4(ABC) 4(ABC)2
abc(a + b + c) 2R
= = 4.
abc (a+b+c)r r
4 4R 2
A 1cos A
Solucion 2.48 Recuerde que sen2 2 = 2 y use que cos A + cos B +
cos C 23 (vea el ejemplo 2.5.2).
a+b+c
Solucion 2.52 Primero observe que si s = 2 entonces
xyz(x + y + z) x2 y 2 + y 2 z 2 + z 2 x2 .
p
Solucion 2.53 Use el ejercicio 2.50 y la desigualdad 3 3 (ab)(bc)(ca) ab +
bc + ca.
Solucion 2.58 Debe partir del lado de las ecuaciones donde se encuentra la
relacion entre las s y realice las operaciones.
a d
b c
4.2 Soluciones a los ejercicios del captulo 2 175
a
c
Por los vertices del cuadrado dibujamos rectas paralelas a los lados del rectangulo
de tal manera que encierren al cuadrado como se muestra en la figura. Como las
rectas paralelas forman un cuadrado dentro del rectangulo se tiene el resultado.
Lema 2. La longitud de la diagonal del cuadrado inscrito en un triangulo es
menor o igual a la longitud de la bisectriz interna del angulo recto.
Demostracion. Sea ABC un triangulo rectangulo con hipotenusa CA y sea
P QRS el cuadrado inscrito.
A
S
T
O R
O
P V
B Q C
Podemos suponer que los vertices P y Q pertenecen a los catetos del triangu-
lo rectangulo (en caso de no ser as, transladamos el cuadrado) y sea O la
intereseccion de las diagonales P R y QS.
Como BQOP es cclico (B = O = 90 ), se sigue que QBO = QP O =
45 , entonces O pertenece a la bisectriz interna del angulo B. Sea T la in-
terseccion de BO con RS, entonces QBT = QST = 45 , luego BQT S
es cclico y el centro O del circuncrculo de BQT S es la interseccion de las
mediatrices de los segmentos SQ y BT , pero la mediatriz de SQ es P R, por lo
tanto el punto O pertenece a P R y si V es el punto medio de BT , se tiene que
V OO es un triangulo rectangulo. Como O O > O V , se tiene que las cuerdas
SQ y BT satisfacen SQ < BT , que es lo que se desea.
4.2 Soluciones a los ejercicios del captulo 2 177
b
B
G H C
Solucion 2.65 Si , , son los angulos centrales que abren las cuerdas de
longitudes a, b, c, respectivamente, se tiene que a = 2 sen 2 , b = 2 sen 2 y
c = 2 sen 2 . Luego,
++
abc = 8 sen sen sen 8 sen3 = 8 sen3 (30 ) = 1.
2 2 2 6
Solucion 2.66 Una primera observacion es ver que las diagonales son paralelas
a los lados. Sea X el punto de interseccion de las diagonales AD y CE. Ahora,
se puede dividir el pentagono como
Solucion 2.68 Suponga que el angulo maximo es A y que este satisface que
60 A 90 , entonces la longitud de las alturas hb y hc son tambien menores
a 1. Utilice ahora el hecho que (ABC) = 2hsenb hc 3
A y que 2 sen A 1. El caso
del triangulo obtuso es mas facil.
P B P C + P C P A + P A P B 2(pa P A + pb P B + pc P C).
de donde
PM AN P M + AM P N PN
BC BN + + CM.
PA PA PA
Por lo tanto,
BC P A P M AB + P N CA.
Luego, P A pb ac + pc ab . Analogamente para las otras dos desigualdades.
S
R
D R D
C
C
S R
Q
A
A P B
Luego,
(DEF ) z y x z y x
= 1 1 1 1
(ABC) c b a c b a
x y z x y z x y z
= 1 1 1 + =2 .
a b c a b c a b c
4.2 Soluciones a los ejercicios del captulo 2 181
A
N
P
M
B C
X t2 X AL AD X X
a
= = AL = OA
ha AD
X A+B+C 3
= R cos A 3R cos = 3R cos 60 = R.
3 2
P t2a
Observe que se puede probar un resultado mas fuerte ha = R + r, utilizando
A
L E
F
H
M N
O
A
B D A C
4.2 Soluciones a los ejercicios del captulo 2 183
r
el hecho que cos A + cos B + cos C = R + 1, vea el lema 2.5.2.
Solucion 2.82 Suponga que a < b < c, luego de todas las alturas del triangulo
ABC, AD es la mayor. Si E es la proyeccion de I sobre AD, bastara ver que
AE AO = R. Recuerde que la bisectriz del angulo A es tambien bisectriz del
angulo EAO. Si proyecta I en E sobre el diametro AA , entonces AE = AE .
Ahora vea que AE AO, mostrando que I se encuentra dentro del triangulo
acutangulo COF , donde F es la interseccion de AA con BC.
Para ver que COF es un triangulo acutangulo, use que los angulos de ABC
cumplen A < B < C entonces 12 B < 90 A, 12 C < 90 A. Use
tambien que COF = A + C B < 90 .
Solucion 2.85 Si a, b, c son las longitudes de los lados del triangulo, observe
que a + b + c = 2R(sen A + sen B + sen C) 6R sen A+B+C 3 , ya
que la funcion sen x es concava. Ademas, se tiene la igualdad cuando sen A =
sen B = sen C.
l2 + m2 c2 m2 + n2 a2 n2 + l2 b2
+ + +30
lm mn ln
3
cos AP B + cos BP C + cos CP A + 0.
2
3
Ahora, use el hecho que cos + cos + cos + 2 0 es equivalente a
2
+ 2
2 cos + cos + sen 0.
2 2 2
Solucion 2.88 Sean a, b, c las longitudes de los lados del triangulo ABC.
Defina, al igual que en el ejercicio anterior, sean p1 = F A, p2 = F B y p3 = F C.
Recuerde que, por la solucion del ejercicio anterior, se tiene
4 3(ABC) = 3(p1 p2 + p2 p3 + p3 p1 ).
3(p1 p2 + p2 p3 + p3 p1 ) (p1 + p2 + p3 )2
pero, esto es equivalente a p1 p2 +p2 p3 +p3 p1 p21 +p22 +p23 que es un resultado
conocido, ver ejercicio 1.27.
Solucion 2.89 Como en el problema de Fermat, hay dos casos, cuando ABC
tiene todos sus angulos menores a 120 o cuando hay un angulo mayor de 120 .
En el primer caso el mnimo de P A + P B + P C es CC , donde C es la imagen
de A, al rotar la figura con centro en B un angulo de 60 y en direccion positiva.
Por la ley de los cosenos se tiene que
O B1 Q
b
C1
b
P
B A1 C
1
(A1 B1 C1 ) = A1 B1 A1 C1 sen B1 A1 C1
2
1
= P B P C sen B sen C sen QCP
2
1 PQ
= P B P C sen B sen C sen QCP
2 PC
1
= P B P Q sen A sen B sen C
2
(R2 OP 2 )(ABC)
= .
4R2
a2 sen 2 7 sen 2 7
= 4 =
bc sen 2
7 sen 7 2sen 2 2 2
7 sen 7 cos 7
sen 2 7 sen 2 7
= =
2(1 cos2 2 2
7 ) cos 7 2 cos 2 2 2
7 (1 + cos 7 )(1 cos 7 )
sen 2 7 1
= 2 2 =
4 cos 7 (1 + cos 7 )sen 7 2 4 cos 7 (1 + cos 2
2
7 )
1 1 21
> = = .
4 cos 4 (1 + cos 4 ) 2
4 (1 + ) 2 2
2 2
a2 a2 2
Luego b2
+ c2
= 1 2 abc < 1 ( 2 1) = 2 2.
Solucion 3.2 Corte el tetraedro por las aristas DA, DB, DC y desdoblelo
en el plano del triangulo ABC. Las caras ABD, BCD y CAD tendran por
imagen a los triangulos ABD1 , BCD2 y CAD3 . Vea que D1 , B y D2 son
colineales as como tambien lo son D3 , A y D1 , y que B y A son puntos medios
de D1 D2 y D3 D1 , respectivamente. Luego, AB = 21 D2 D3 y por la desigualdad
del triangulo D2 D3 CD3 + CD2 = 2CD. Por lo tanto AB CD, como se
quera.
Solucion 3.3 Sea S el area del triangulo entonces se tienen las siguientes
formulas sen = 2S 2S 2S S 2S
bc , sen = ca , sen = ab , y r = s = a+b+c . Use estas
formulas para obtener que la desigualdad a probar es equivalente a
a b c
+ + (a + b + c) 9,
bc ca ab
188 Soluciones a los Ejercicios y Problemas
Solucion 3.4 Suponga que los crculos son de radio 1. Sea P el punto comun
de los crculos y sean A, B, C los otros puntos de interseccion. El area de los
gajos sera mnima si el punto P esta dentro del triangulo ABC (sino rote un
crculo 180 alrededor de P , y esto reducira el area).
A
P
B
C
Solucion 3.5 Sea I el incentro del triangulo ABC y dibuje la recta por I
perpendicular a IC. Sean D , E las interesecciones de esta recta con BC y
CA, respectivamente. Primero pruebe que (CDE) (CD E ) usando que el
area de D DI es mayor que el area de EE I. Para esto observe que uno de los
triangulos DD I, EE I queda en el lado opuesto C con respecto a D E , si por
ejemplo, es el triangulo D DI entonces este tendra area mayor o igual al area
del triangulo EE I, luego la desigualdad se sigue. Ahora, muestre que el area
2r 2 r r
de (CD E ) es sen
C , para esto ultimo note que CI = sen C y que D I = cos C ,
2 2
luego
1 2r 2 2r 2
(CD E ) = D E CI = C C
= 2r 2 .
2 2 sen 2 cos 2 sen C
Solucion 3.6 La clave esta en notar que 2AX 3(AB + BX), que se puede
deducir aplicando el teorema de Ptolomeo (ejercicio 2.11) al cuadrilatero cclico
4.3 Soluciones a los problemas del captulo 3 189
x22 x33 xn 1 n1
x1 + + + + n x1 +x2 + +xn = x1 +x2 + +xn n+M.
2 3 n 2 n
Por otro lado, la desigualdad entre la media armonica y la media aritmetica nos
lleva a
x1 + x2 + + xn n
1 1 1 = 1.
n x + x + + xn
1 1
X xjj X
1
1
P 1 X1
(x1 x2 ...xn ) j .
j j j
190 Soluciones a los Ejercicios y Problemas
q P 1
La ultima desigualdad se sigue de n n x11 x1n xj = n.
Solucion 3.10 El teorema de Leibniz garantiza que OG2 = R2 91 (a2 +b2 +c2 ).
Como rs = abc abc
4R , se tiene que 2rR = a+b+c . Luego, lo que hay que demostrar
(a+b+c) (a2 +b2 +c2 )
es que abc 3 3 , para esto use M G M A.
i + i+1 i i+1
sen i sen i1 = 2 cos sen < (cos i1 )(i i1 ).
2 2
Para probar la desigualdad use que el coseno es decreciente y que sen ,
para 0 2 . Luego
X sen i sen i1 X
< i i1 = n 0 = .
cos i1 2
Pn Pn 2 Pn 2
Solucion
P 3.12 Si i=1 xi = 1 entonces 1 = ( i=1 xi ) = i=1 xi +
2 i<j xi xj . Por lo tanto, la desigualdad que se pide demostrar es equivalente
a
n
1 X x2i
.
n1 1 ai
i=1
4.3 Soluciones a los problemas del captulo 3 191
P
Solucion 3.13 Note primero que ni=1 xn+1 (xn+1 xi ) = (n 1)x2n+1 .
La desigualdad a demostrar se reduce a
n p
X
xi (xn+1 xi ) n 1xn+1 .
i=1
Aplique Cauchy-Schwarz con ( x1 , . . . , xn ) y ( xn+1 x1 , . . . , xn+1 xn ).
Solucion 3.14 Recuerde que N tambien es punto medio del segmento que
une los puntos medios X, Y de las diagonales AC y BD. La circunferencia de
diametro OM pasa por X y Y , ya que OX y OY son perpendiculares a las
diagonales respectivas, y ON es una mediana del triangulo OXY .
an1 + a2 a2 + a3 an2 + a1
1+ + + + + 1 + 1.
a1 a2 an1
Como Sn1 3(n 1), se concluye que Sn 3n.
R3
Lo que implica, usando M G M A, que OD OE OF 8, por lo que, OD
OE OF 8R3 .
M AM B
Solucion 3.24 Si = ACM y = BDM , entonces M CM D = tan
tan
y + =
4. Ahora, use el hecho de que tan tan tan tan3 ++ 3 ,
donde = 4.
Podemos utilizar otro metodo
el cual usa el hecho de que la desigualdades
equivalente a (M CD) 3 3(M AB) que a su vez es equivalente a h+l h 3 3,
donde l es la longitud del lado del cuadrado y h es la longitud de la altura desde
M sobre AB. Ahora, encuentre la maxima h.
2
PB QC 1 PB QC
Solucion 3.26 Como PA QA 4 PA + QA , es suficiente probar que
PB QC
PA + QA = 1.
A
B P
bG Q
C
B C
A
Trace BB , CC paralelas a la mediana AA de tal forma que B y C esten
en P Q. Los triangulos AP G y BP B son semejantes, y tambien los triangulos
BB QC CC
AQG y CQC son semejantes, entonces PP B A = AG y QA = AG . Use esto
junto con el hecho de que AG = 2GA = BB + CC .
R2 P Q
P Q =
OP OQ
para dos puntos P , Q (distintos de O) con inversos P , Q , se tiene
1
Solucion 3.29 La funcion f (x) = es convexa para x > 0. Luego,
1+x
f (ab) + f (bc) + f (ca) ab + bc + ca 3
f =
3 3 3 + ab + bc + ca
3 1
= ,
3 + a2 + b2 + c2 2
la ultima desigualdad se sigue de que ab + bc + ca a2 + b2 + c2 .
Tambien se puede partir de
1 1 1 9 9 3
+ + 2 2 2
= .
1 + ab 1 + bc 1 + ca 3 + ab + bc + ca 3+a +b +c 2
La primera desigualdad se sigue de la desigualdad (1.11) y la segunda se sigue
del ejercicio 1.27.
a b c a2 b2 c2 (a + b + c)2
+ + = + + .
b + 2c c + 2a a + 2b ab + 2ca bc + 2ab ca + 2bc 3(ab + bc + ca)
DE permetro de ADE 2x
= = .
a permetro de ABC a+b+c
x(y+z) x(y+z)
Luego, DE = x+y+z , es decir, la desigualdad es equivalente a ver que x+y+z
x+y+z
4 . Utilice la desigualdad M G M A.
1 1 1
Solucion 3.34 Observe que ab + bc + ca 3abc si y solo si a + b + c 3.
Como
1 1 1
(a + b + c) + + 9,
a b c
198 Soluciones a los Ejercicios y Problemas
3(a + b + c) (a + b + c)2
2
= a3/2 a1/2 + b3/2 b1/2 + c3/2 c1/2
3 3 3
1 1 1
a +b +c + +
a b c
3 3 3
3 a +b +c .
xi
Solucion 3.35 Tome yi = n1 , para i = 1, 2, . . . , n, y suponga falsa la
desigualdad, es decir,
1 1 1
+ + + > n 1.
1 + y1 1 + y2 1 + yn
Luego
1 X 1
X yj
> 1 =
1 + yi 1 + yj 1 + yj
j6=i j6=i
s
y1 yi yn
(n 1) n1 ,
(1 + y1 ) (1\+ yi ) (1 + yn )
Solucion
q 3.36
q Use
la desigualdad de Cauchy-Schwarz con las colecciones
x1 xn
y1 , . . . , yn y x1 y 1 , . . . , x n y n para garantizar que
r r 2
2 x1 xn
(x1 + + xn ) = x1 y 1 + + xn y n
y1 yn
x1 xn
+ + (x1 y1 + + xn yn ) .
y1 yn
P P
Ahora use la condicion xi y i xi . Tambien puede resolverse usando la
desigualdad util (1.11).
4.3 Soluciones a los problemas del captulo 3 199
Luego
(n+1)2 n2 n p o (n+1)2 n 2n
X np o X X p o n2 1 1 X
j = j + j + i
2 2n
j=1 j=1
2 j=n +1 i=1
2
(n + 1) 1
= .
2
a+3b
4 b+4c
5 c+2a
3
Solucion 3.41 Como 4 ab3 , 5 bc4 y 3 ca2 , tenemos
que
11 19 17
(a + 3b)(b + 4c)(c + 2a) 60a 12 b 20 c 15 .
2 1 1
Ahora, muestre que c 15 a 12 b 20 o, equivalentemente, que c8 a5 b3 .
|AB|
Usando la desigualdad del triangulo en ABE, se tiene que |AEEB| 1 y
concluya entonces que |AB CD| |AC BD|. Analogamente, |ADBC|
|AC BD|.
Solucion 3.44 Muestre, que siempre se tiene que a1 + +aj j(j+1)2n an , para
j n, de la siguiente forma. Primero pruebe que la desigualdad es valida para
j = n, es decir, a1 + + an n+1
2 an ; use el hecho de que 2(a1 + + an ) =
a1 ++aj
(a1 + an1 ) + + (an1 + a1 ) + 2an . Luego, pruebe que si bj = 1++j ,
an
entonces b1 b2 bn n (para probar por induccion que bj bj+1 ,
aj+1
necesitamos probar que, bj j+1 , lo cual se sigue de la primera parte para
n = j + 1).
Damos otra demostracion de a1 + + aj j(j+1) 2n an , nuevamente usando
induccion. Es claro que
a1 a1
a2 a1 a1 a2 a2 a2
a1 + = + + + = a2 .
2 2 2 2 2 2
4.3 Soluciones a los problemas del captulo 3 201
a1 a1
a2
a1 + a2
2
.. ..
. .
a2 aj
a1 + + + aj .
2 j
a2 aj
ja1 + (j 1) + + a1 + + aj .
2 j
a2 aj
a1 + 2 + + j = aj + + a1
2 j
se tiene que
a2 aj
(j+1) a1 + + + (a1 +aj )+(a2 +aj1 )+ +(aj +a1 ) jaj+1 .
2 j
Luego,
a2 aj j
a1 + + + aj+1 .
2 j j+1
a
j+1
Finalmente, sumando j+1 en ambos lados de la desigualdad, terminamos el
ultimo paso de la prueba por induccion.
Ahora,
n1
a2 an 1 X 1 1
a1 + + + = (a1 + + an ) + (a1 + + aj )
2 n n j j+1
j=1
n1
1 n(n + 1) X 1 j(j + 1)
an + an = an .
n 2n j(j + 1) 2n
j=1
202 Soluciones a los Ejercicios y Problemas
Solucion 3.45
4 2
X X X
xi = x2i + 2 xi xj
1in 1in 1i<jn
X X
4 x2i 2 xi xj
1in 1i<jn
X X
= 8 x2i xi xj
1in 1i<jn
X
= 8 xi xj (x21 + + x2n )
1i<jn
X
8 xi xj (x2i + x2j ).
1i<jn
a2 x2 a2 x2
= .
(by + cz)(bz + cy) 2((by)2 + (cz)2 ) 2( + )
= |a + c b d|2 0,
con igualdad si y solo si a + c = b + d, esto es, si el cuadrilatero ABCD es un
paralelogramo.
3 2A + (2C 4B + 8D + 1) = 2 + 2C + 8D 2,
P qP qP
Solucion 3.56 Utilizando la desigualdad de Cauchy-Schwarz ai bi a2i b2i ,
con ai = 1, bi = 1+x2 +xx2i++x2 , se tiene que
1 2 i
qX
x1 x2 xn
2 + 2 2 + + 2 2
n b2i .
1 + x 1 1 + x1 + x2 1 + x1 + + x n
P x21
Luego, es suficiente demostrar que b2i < 1. Para i = 1, use que b21 1+x21
=
1
1 x21
.
206 Soluciones a los Ejercicios y Problemas
Solucion 3.57 Como solo existen dos valores posibles para , , , los tres
deben ser iguales, o dos iguales y uno diferente de los otros dos. Por lo tanto,
hay dos casos a considerar.
(1) = = . En este caso, se tiene que a + b + c = 0, y por lo tanto
3 2 3 2
a + b3 + c3 a + b3 (a + b)3
=
abc ab(a + b)
2
(a + b)2 a2 + ab b2 3ab 2
= = = 9.
ab ab
(2) Sin perdida de generalidad, puede suponer que = , 6= , entonces
c=a+b y
a3 + b3 + c3 a3 + b3 + (a + b)3 (a + b)2 + a2 ab + b2
= =
abc ab(a + b) ab
2 2
2a + 2b + ab a b
= =2 + + 1.
ab b a
Si a y b tienen el mismo signo, vea que esta expresion no es menor que 5, y su
cuadrado es, por lo tanto, no menor a 25. Si los signos de a y b no son el mismo,
2
se tiene ab + ab 2, por lo tanto 2 ab + ab + 1 3 y 2 ab + ab + 1 9.
Entonces, el valor posible mas pequeno es 9.
1 1
Solucion 3.58 Use la desigualdad M G M A, para ver que b(a+b) + c(b+c) +
1 3
3
p
a(c+a) XY , donde X = abc, Y = 3 (a + b)(b + c)(c + a). Use M G M A
4.3 Soluciones a los problemas del captulo 3 207
a+b+c
nuevamente,
para obtener que X 3 y Y 2 a+b+c
3 . Luego,
3
XY
27 1
2 (a+b+c)2 .
x 2
Solucion 3.60 Considere a f (x) como f (x) = 1x . Como f (x) = (1x) 3 > 0,
Solucion 3.61
a 1 b 1 c 1
+ + + 1
b+c 2 c+a 2 a+b 2
es equivalente a (2a + b + c)(2b + c + a)(2c + a + b) p
8(b + c)(c + a)(a + b).
Ahora, observe que (2a + b + c) = (a + b + a + c) 2 (a + b)(c + a).
Solucion 3.63 Por la desigualdad M G M A, x2 + x + x 3x. Sumando
desigualdades similares para y, z, se obtiene x2 + y 2 + z 2 + 2( x + y + z)
3(x + y + z) = (x + y + z)2 = x2 + y 2 + z 2 + 2(xy + yz + zx).
Solucion 3.64 Multiplicando por abc la igualdad 1 = a1 + 1b + 1c , se tiene
q q p ca
abc = ab c + bc
a + b . Entonces, es suficiente demostrar que c + ab
q ab
c+ c . Elevando al cuadrado la ultima desigualdad es equivalente a c+ab
c + ab 1 1
c + 2 ab o c + ab c + ab(1 a b ) + 2 ab o a + b 2 ab.
C1 B1
M
B A1 C
la cual es equivalente a
9abc
4 3S
a+b+c
que a su vez es el ejemplo 2.4.6.
1 1
Solucion 3.67 Sustituya cd = ab y da = bc , entonces el lado izquierdo de la
desigualdad se convierte en
1 + ab 1 + ab 1 + bc 1 + bc
+ + + (4.8)
1+a ab + abc 1+b bc + bcd
1 1 1 1
= (1 + ab) + + (1 + bc) + .
1 + a ab + abc 1 + b bc + bcd
1 1 4
Ahora, use la desigualdad x + y x+y , para obtener
4 4
(Lado izquierdo) (1 + ab) + (1 + bc)
1 + a + ab + abc 1 +
b + bc + bcd
1 + ab 1 + bc
= 4 +
1 + a + ab + abc 1 + b + bc + bcd
1 + ab a + abc
= 4 + = 4.
1 + a + ab + abc a + ab + abc + abcd
1 1
Solucion 3.69 Como 1a = b+c la desigualdad es equivalente a
1 1 1 2 2 2
+ + + + .
b+c c+a a+b 2a + b + c 2b + a + c 2c + a + b
210 Soluciones a los Ejercicios y Problemas
1 1 4
Ahora, use que x + y x+y , para ver que,
1 1 1 4 4 4
2 + + + +
b+c c+a a+b a + b + 2c b + c + 2a c + a + 2b
n
!1 n
!1 n
!1
X m X m X m
m
(xi + yi ) xm
i + yim ,
i=1 i=1 i=1
para obtener
1 1 1 1
(an + bn ) n = ((y + z)n + (z + x)n ) n (xn + y n ) n + (2z n ) n < c +
n
2z.
1 1
Analogamente, (bn + cn ) n < a + n n
2x y (cn + an ) n < b +
2y. Por lo tanto,
n 1
n n n 1
n n n 1
n n
n
n
2
(a + b ) + (b + c ) + (c + a ) < a + b + c + 2(x + y + z) = 1 + .
2
4.3 Soluciones a los problemas del captulo 3 211
Solucion 3.71 Note primero que si restringe las sumas con i < j, entonces
ellas suman la mitad. La suma de la izquierda esta elevada al cuadrado y la
suma de la derecha no, entonces la desigualdad deseada con sumas restringidas
a i < j, tiene (1/3), en lugar de (2/3), en el lado derecho.
Considere las sumas de todos los |xi xj |, con i < j. El termino x1 aparece
en (n 1) terminos con signo negativo, x2 aparece en un termino con signo
positivo y en (n 2) terminos con signo negativo, etc. Entonces, se obtiene que
X
(n 1)x1 (n 3)x2 (n 5)x3 + (n 1)xn = (2i 1 n)xi .
Aqu esta asegurado que la igualdad se da si y solo si (xi xj ) = r(i j), con
r > 0.
212 Soluciones a los Ejercicios y Problemas
P 2 2
Como (i j)2 = (2n 2) 12 + (2n 4) 22 + + 2 (n 1)2 = n (n6 1) .
i,j P P
Bastara mostrar que |i j| |xi xj | = n2 |xi xj |. Para ver que esto
i,j i,j
ultimo sucede, compare el coeficiente de xi en cada lado. En el lado izquierdo
se tiene
Es claro que
n
Y n
X n
X
ai = 1, bi = 3 xi = 3.
i=1 i=1 i=1
La desigualdad es equivalente a
n
X ai n2
.
bi 3
i=1
Solucion 3.74
a2 (b + c) + b2 (c + a) + c2 (a + b) 3
(a + b)(b + c)(c + a) 4
a2 b + a2 c + b2 c + b2 a + c2 a + c2 b 3
2 2 2 2 2 2
2abc + a b + a c + b c + b a + c a + c b 4
2 2 2 2 2 2
a b + a c + b c + b a + c a + c b 6abc
[2, 1, 0] [1, 1, 1].
1 1 1 (1 + 1 + 1)2 9
2 2
+ 2 2
+ 2 2
2 2 2
= = 1.
1+a +b 1+b +c 1+c +a 3 + 2(a + b + c ) 3+23
x4 + y 4 + z 4 + 3(x + y + z) (x3 z + x3 y + y 3 x + y 3 z + z 3 y + z 3 x)
x3 (x + y + z) + y 3 (x + y + z) + z 3 (x + y + z) + 3(x + y + z) 0
(x + y + z)(x3 + y 3 + z 3 3xyz) 0.
1
La identidad (1.9) muestra que la ultima desigualdad es equivalente a 2 (x +
y + z)2 ((x y)2 + (y z)2 + (z x)2 ) 0.
x6 + y 6 + z 6 x4 yz + y 4 zx + z 4 xy.
Solucion 3.79 Use la desigualdad de Cauchy-Schwarz para ver que xy +
p
z = x y + z z x + z y + z = xy + z(x + y + z) = xy + z.
Analogamente, yz + x yz + x y zx + y zx + y. Por lo tanto,
xy + z + yz + x + zx + y xy + yz + zx + x + y + z.
OB OC BC + OA OB AB + OA OC AC AB AC BC.
Es decir,
y X X
(ai + + aj )2 = (Si Sj )2 .
1ijn 0ijn
X p
X
p+1 2 2
(x1 x2 + + (1) xp ) (xj xi ) + x2i , (4.9)
1i<jp i=1
X p
X
4 xi xj (p 1) x2i .
1ijp i=1
ji par
Es facil ver que 3((ab)2 + (bc)2 + (ac)2 ) (ab + bc + ac)2 (use la desigualdad
de Cauchy-Schwarz). Entonces es suficiente probar que
r
3 3 3 1
3
,
3 abc abc
1
que es equivalente a (abc)2 27 . Pero esta ultima desigualdad es inmediata de
la desigualdad M G M A
3
ab + bc + ca 1
(abc)2 = (ab)(bc)(ca) = .
3 27
La igualdad se da si y solo si a = b = c = 1 .
3
1 1 1 X ti tj
n + t1 + + (t2 + t3 ) + + .
t2 t3 t1 tj ti
(i,j)6=(1,2),(1,3)
Analogamente,
bc ba
b3 1+ca b+
3
3 ca cb
c 1+ab c+ .
3
Sume estas tres desigualdades, y obtendra que
a 3 1 + b c + b 3 1 + c a + c 3 1 + a b a + b + c = 1.
q
a b c
La desigualdad M G M A implica que b + c + a 3 3 abc
bca = 3, luego
a2 b2 c2 a b c
+ + + + .
b2 c2 a2 b c a
q
a b c
Analogamente, c + a + b 3 3 abc
bca = 3. Por lo tanto,
a2 b2 c2 a b c a b c
+ + + + + 3+ + + .
b2 c2 a2 c a b b c a
a b c
Sumando c + a + b en ambos lados, se obtiene el resultado.
a2 + 2 (a2 a + 1) + (a + 1) p 2 p
= (a a + 1)(a + 1) = 1 + a3 .
2 2
a2 b2 c2 1
+ 2 + 2 .
(a2 + 2)(b + 2) (b + 2)(c + 2) (c + 2)(a2 + 2)
2 2 3
x y z 1
+ +
(x + 2)(y + 2) (y + 2)(z + 2) (z + 2)(x + 2) 3
si y solo si
x5 x2 x5 x2 x2 (y 2 + z 2 )(x3 1)2
= 0.
x5 + y 2 + z 2 x3 (x2 + y 2 + z 2 ) x3 (x5 + y 2 + z 2 )(x2 + y 2 + z 2 )
4.3 Soluciones a los problemas del captulo 3 221
Luego
X x5 x2 X x5 x2
x5 + y 2 + z 2 x3 (x2 + y 2 + z 2 )
1 X 1
2
= x
x2 + y 2 + z 2 x
1 X
(x2 yz) 0.
x2 + y 2 + z 2
1
La segunda desigualdad se sigue del hecho de que xyz 1, es decir, x yz.
La ultima desigualdad se sigue de la ecuacion (1.8).
Segunda Solucion. Primero, observe que
x5 x2 x5 + y 2 + z 2 (x2 + y 2 + z 2 ) x2 + y 2 + z 2
= = 1 .
x5 + y 2 + z 2 x5 + y 2 + z 2 x5 + y 2 + z 2
Ahora tiene que probar que
1 1 1 3
+ + 2 .
x5 + y 2 + z 2 x5 + z 2 + x2 x5 + x2 + y 2 x + y2 + z2
Usando la desigualdad de Cauchy-Schwarz se obtiene
1
(x2 + y 2 + z 2 )2 (x2 x3 + y 2 + z 2 )(x2 + y2 + z2 )
x3
1 1
y como xyz 1 entonces x2 x3
= x yz, por lo que
Solucion 3.94 Sea R el circunradio del triangulo ABC. Como BOC = 2A,
COA = 2B y AOB = 2C se tiene que
(ABC) = (BOC) + (COA) + (AOB)
R2
= (sen 2A + sen 2B + sen 2C)
2
R2 2A + 2B + 2C
3 sen
2 3
2
R 2 3 3R2
= 3 sen = .
2 3 4
La desigualdad se debe a que la funcion sen x es concava en [0, ].
Por otro lado, como BOC es isosceles, la mediatriz OA de BC es tambien bi-
sectriz del angulo BOC por lo que BOA = COA = A; analogamente,
COB = AOB = B y AOC = BOC = C.
En el triangulo B OC la altura sobre el lado B C es R2 y B C = R2 (tan B +
2
tan C), por lo que el area del triangulo B OC es (B OC ) = R8 (tan B+tan C).
2 2
Analogamente (C OA ) = R8 (tan C + tan A) y (A OB ) = R8 (tan A + tan B).
Luego,
(A B C ) = (B OC ) + (C OA ) + (A OB )
R2
= (tan A + tan B + tan C)
4
R2 A+B+C
3 tan
4 3
R2 33R2
= 3 tan = .
4 3 4
La desigualdad ocurre por ser convexa la funcion tan x en [0, 2 ].
De donde se concluye que,
3 3R2
(A B C ) (ABC).
4
Solucion 3.95 Noteprimero
que a2 + bc 2a2 bc = 2 ab ca. Analoga-
mente, b2 + ca 2 bc ab, c2 + ab 2 ca bc; luego se puede asegurar
4.3 Soluciones a los problemas del captulo 3 223
que
1 1 1 1 1 1 1
+ + + + .
a2 + bc b2 + ca c2 + ab 2 ab ca bc ab ca bc
Usando la desigualdad de Cauchy-Schwarz de la siguiente manera
2
1 1 1 1 1 1 1 1 1
+ + + + + + ,
ab ca bc ab ca bc ab bc ca ca ab bc
el resultado se concluye.
X X j1
n X
s= |ai aj | = (di + + dj1 )
i<j j=2 i=1
n
X
= (d1 + 2d2 + + (j 1)dj1 )
j=2
= (n 1)d1 + (n 2)2d2 + + 1 (n 1)dn1
n1
X
= k(n k)dk .
k=1
El problema es, ahora, encontrar el menor numero M que cumpla para todos
los numeros a, b, c, la desigualdad
Solucion
3.100 Primero use la desigualdad M GM A para ver que ca+c+a
3 2 2
3 c a . Por lo que
13
Por lo tanto el valor mnimo es 3 .
Aplique la desigualdad (1.11) y la desigualdad del ejercicio 1.27, para ver que
a r 3
+ < .
a + 2r 2a + r 2
Pero a+2r a+r y 2a+r a+r; mas aun, en las dos desigualdades anteriores
las igualdades no se pueden dar simultaneamente (ya que eso implicara que
4.3 Soluciones a los problemas del captulo 3 227
1 1 1 32
a+b+c + + ,
a b c a+b+c
entonces a+b+c
3
3
a+b+c . Entonces, bastara demostrar que a + b + c 3
abc .
2
Como (x + y + z) 3(xy + yz + zx), sucede que
2
2 1 1 1 1 1 1 3
(a + b + c) + + 3 + + = (a + b + c),
a b c ab bc ca abc
(a + b + 1)(a + b + c2 ) (a + b + c)2 .
Entonces
a + b + c2 a2 + b + c a + b2 + c
+ +
(a + b + c)2 (a + b + c)2 (a + b + c)2
1 1 1
+ + 1.
a+b+1 b+c+1 c+a+1
Por lo tanto,
de aqu el resultado.
x HA + HB + HC HM + HN + HP 2X.
La segunda desigualdad es clara, las otras dos son los siguientes dos lemas.
Lema 1. Si H es un punto interior o sobre los lados de un triangulo ABC, y si
A , B , C son sus proyecciones sobre BC, CA, AB, respectivamente, entonces
x HA + HB + HC , donde x es la longitud de la altura menor de ABC.
Demostracion.
H M N P = H N M P + H P M N H N N P + H P N P
P 2x2
Ahora, al sumar p de ambos lados de la desigualdad anterior, se
2x2 (y + z)
obtiene
X 2x2 + 2yz X 2x2 + xy + zx
p p
2x2 (y + z) 2x2 (y + z)
X 2x2 + x(y + z)
= p
2x2 (y + z)
p
X 2 2x3 (y + z)
p
2x2 (y + z)
= 2( x + y + z) = 2.
a2 b2 c2 (a + b + c)2
+ + .
2 + b + c2 2 + c + a2 2 + a + b2 6 + a + b + c + a2 + b2 + c2
ab + bc + ca 9abc.
p xyz + xy 2
xy yz = xyz xy 2 ,
2
por lo que,
(x y + y z + z x)2 x2 y + y 2 z + z 2 x + xy 2 + yz 2 + zx2 + 3xyz.
4.3 Soluciones a los problemas del captulo 3 231
(x + y + z) (xy + yz + zx) p (x + y) (y + z) (z + x)
3 xyz 3 x2 y 2 z 2 = xyz .
3 3 2 2 2
(ab + bc + cd + ac + ad + bd + ba + cb + dc + ca + da + db)
(a2 + b2 + c2 + d2 + a2 + b2 + c2 + d2 + a2 + b2 + c2 + d2 ) = 3.
(ab + bc + cd + ac + ad + bd)
a2 + b2 b2 + c2 c2 + d2 a2 + c2 a2 + d2 b2 + d2 3
+ + + + + = .
2 2 2 2 2 2 2
232 Soluciones a los Ejercicios y Problemas
1 1 1 1 1 1
+ + + +
1 + a2 (b + c) 1+ b2 (c + a) 1+ c2 (a + b) 3a 3b 3c
bc + ca + ab 1
= = .
3abc abc
y la desigualdad de Muirhead nos dice que 2[3, 0, 0] 2[2, 1, 0], que es equiva-
lente a
Demostracion.
1 1 1 4 (a2 +b2 3ab)2
Basta notar que (ab)2 + a2 + b2 ab = a2 b2 (ab)2
.
Sin perder generalidad suponga que z = mn{x, y, z}; ahora aplique el lema
con a = (x z) y b = (y z), para tener
1 1 1 4
+ + .
(x y)2 (y z)2 (z x)2 (x z)(y z)
234 Soluciones a los Ejercicios y Problemas
x2 y2 z2 (yz + zx + xy 3)2
+ + 1 = .
(x 1)2 (y 1)2 (z 1)2 (x 1)2 (y 1)2 (z 1)2
x y z
2a f orma. Con la sustitucion a = x1 , b = y1 , c = z1 , la desigualdad
2 2 2
por demostrar es a + b + c 1, y la condicion xyz = 1 es equivalente a
abc = (a 1)(b 1)(c 1) o (ab + bc + ca) + 1 = a + b + c. Con la ayuda de
las identidades anteriores se puede obtener que
luego
a2 + b2 + c2 = (a + b + c 1)2 + 1.
n
x la n esima raz del numero real positivo x
exp x
Xx = e la funcion exponencial
f (a, b, . . . ) representa la suma de la funcion f evaluada
cclica
en todas las permutaciones cclicas de las variables a, b, . . .
[2] Andreescu, T., Feng, Z., Problems and Solutions from Around the World,
Mathematical Olympiads 1999-2000. MAA, 2002.
[3] Andreescu, T., Feng, Z., Lee, G., Problems and Solutions from Around
the World, Mathematical Olympiads 2000-2001. MAA, 2003.
[7] Bulajich, R., Gomez Ortega, J.A., Geometra. Ejercicios y Problemas, Cua-
dernos de Olimpiadas de Matematicas, Instituto de Matematicas, UNAM,
2002.
[8] Courant, R., Robbins, H., Que son las matematicas? Fondo de Cultura
Economica, 2002.
[9] Coxeter, H., Greitzer, S., Geometry Revisited. New Math. Library, MAA,
1967.
[10] Dorrie, H., 100 Great Problems of Elementary Mathematics. Dover, 1965.
238 Bibliography
[12] Fomin, D., Genkin, S., Itenberg, I., Mathematical Circles. Mathematical
World, Vol. 7. American Mathematical Society, 1996.
[13] Hardy, G.H., Littlewood, J.E., Polya, G., Inequalities. Cambridge at the
University Press, 1967.
[15] Kazarinoff, N., Geometric Inequalities. New Math. Library, MAA. 1961.
[18] Niven, I., Maxima and Minima Without Calculus. The Dolciani Math.
Expositions, MAA, 1981.
Recta real, 1
Solucion
de Fejer
Problema de Fagnano, 111
de Hofmann-Gallai
Problema de Fermat-Steiner,
105
de Schwarz
Problema de Fagnano, 110
de Shwarz
Problema de Fagnano, 109
de Steiner
Problema de Fermat-Steiner,
106
Problema Fermat-Steiner, 108
de Torricelli
Problema de Fermat-Steiner,
102
Teorema
de Erdos-Mordell, 9497, 101
de Euler, 77
de Leibniz, 80
de Muirhead, 51, 52
de Pappus, 93
Transformacion
de Ravi, 64, 85
Triangulo
ortico, 109, 112