Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Desigualdades - Radmila, Jose Antonio y Rogelio PDF
Desigualdades - Radmila, Jose Antonio y Rogelio PDF
II
Introduccin
o
tulo 3.
La mayor de las soluciones de los ejercicios o problemas que han aparecido
a
en competencias internacionales de matemticas se extrajeron de las soluciones
a
ociales de cada uno de los concursos. Esta es la razn por la cual no damos
o
crditos individuales por ellas.
e
Una gran parte de los ejercicios y problemas de desigualdades se pueden resolver
utilizando distintas tcnicas, es por ello que encontrar algunos ejercicios repee
a
tidos, pero en diferentes secciones. Esto le indicar que puede encontrar, con
a
la tcnica desarrollada en la seccin correspondiente, una manera de resolver el
e
o
ejercicio utilizando dicha herramienta.
El material presentado en este libro ha sido acumulado durante los ultimos
quince aos, principalmente durante las sesiones de trabajo con estudiantes que
n
han ganado el concurso nacional de la Olimpiada Mexicana de Matemticas;
a
estos estudiantes se estaban preparando para las competencias internacionales
en las que Mxico participa.
e
Quisieramos agradecer a Rafael Mart
nez Enr
quez, Leonardo Ignacio Mart
nez
Sandoval, David Mireles Morales, Jess Rodr
u
guez Viorato y Pablo Sobern
o
Bravo por su cuidadosa revisin del texto y sus valiosos comentarios, lo cual
o
permiti mejorar la presentacin del libro.
o
o
Radmila Bulajich Manfrino
Jos Antonio Gmez Ortega
e
o
Rogelio Valdez Delgado
Contenido
Introduccin
o
1. Desigualdades Numricas
e
1.1. El orden en los nmeros reales . . .
u
1.2. La funcin cuadrtica ax2 + 2bx + c.
o
a
1.3. Una desigualdad fundamental,
media geomtrica-media aritmtica .
e
e
1.4. Una desigualdad maravillosa,
la desigualdad del reacomodo . . . .
1.5. Funciones convexas . . . . . . . . .
1.6. Una desigualdad util . . . . . . . . .
III
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
1
1
5
. . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. Desigualdades Geomtricas
e
2.1. Dos desigualdades bsicas . . . . . . . . . . . . . .
a
2.2. Desigualdades entre los lados de un tringulo . . .
a
2.3. Uso de desigualdades en la geometr del tringulo
a
a
2.4. La desigualdad de Euler y algunas aplicaciones . . .
2.5. Funciones simtricas de a, b y c . . . . . . . . . . .
e
2.6. Desigualdades con reas y per
a
metros . . . . . . .
2.7. Teorema de Erds-Mordell . . . . . . . . . . . . .
o
2.8. Problemas de optimizacin . . . . . . . . . . . . .
o
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
. 59
. 63
. 68
. 77
. 82
. 87
. 93
. 102
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
24
38
46
51
115
Contenido
IV
235
Bibliograf
a
237
Indice
239
Cap
tulo 1
Desigualdades Numricas
e
1.1.
Desigualdades Numricas
e
divide en dos partes a la recta, los nmeros positivos son la parte que contiene
u
al uno 1. Por lo general el 1 est colocado a la derecha de 0 en el sentido
a
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, tendr
amos que cualquier
nmero x = 0 cumplir con x P y x P , lo cual contradice la propiedad
u
a
1.1.1.
Ahora podemos denir la relacin, a es mayor que b, si a b P (en s
o
mbolos
a > b). Anlogamente, a es menor que b, si b a P (en s
a
mbolos a < b).
Observemos que a < b es equivalente a b > a. Denimos tambin a es menor
e
o igual que b, si a < b a = b, (en s
o
mbolos a b).
Denotamos a los nmeros reales por R y al conjunto P de nmeros reales
u
u
positivos por R+ .
Ejemplo 1.1.4 (i) Si a < b y c es cualquier nmero, entonces a + c < b + c.
u
(ii) Si a < b y c > 0, entonces ac < bc.
En efecto, para mostrar (i) tenemos que a + c < b + c (b + c) (a + c) >
0 b a > 0 a < b. Para ver (ii), tenemos que: a < b b a > 0 y como
c > 0, resulta que (b a)c > 0, luego bc ac > 0 y entonces ac < bc.
Ejercicio 1.1 Dados dos nmeros a y b, una y slo una de las siguientes
u
o
armaciones se cumple, a = b, a > b o a < b.
Ejercicio 1.2 Muestre las siguientes armaciones:
(i) a < 0, b < 0 ab > 0.
(ii) a < 0, b > 0 ab < 0.
(iii) a < b, b < c a < c.
(iv) a < b, c < d a + c < b + d.
(v) a < b b < a.
1
(vi) a > 0 > 0.
a
1
(vii) a < 0 < 0.
a
a
(viii) a > 0, b > 0 > 0.
b
(ix) 0 < a < b, 0 < c < d ac < bd.
(x) a > 1 a2 > a.
(xi) 0 < a < 1 a2 < a.
Ejercicio 1.3 (i) Si a > 0, b > 0 y a2 < b2 , entonces a < b. (ii) Si b > 0,
o
tenemos que a > 1 si y slo si a > b.
b
Para un nmero real x se dene el valor absoluto, el cual se denota por |x|,
u
como
|x| =
x
x
para x 0
para x < 0.
Desigualdades Numricas
e
La igualdad se tiene cuando todos los xi tienen el mismo signo. Esta se demuestra de manera similar, o bien por induccin. Otra versin de la desigualdad
o
o
anterior que su usa muy a menudo es
|x1 x2 . . . xn | |x1 | + |x2 | + . . . + |xn |.
Ejercicio 1.5 Sean x, y, a, b nmeros reales muestre que:
u
(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.6 Para nmeros reales a, b, c muestre que
u
|a| + |b| + |c| |a + b| |b + c| |c + a| + |a + b + c| 0.
m+2n
m
2 si y slo si 2 < m+n .
o
n <
Ejercicio 1.9 Si a b, x y, entonces ax + by ay + bx.
Ejercicio 1.10 Si x, y > 0, entonces
x2
y
y2
x
x + y.
< 2x + 9?
(1 1 + 2x)2
Ejercicio 1.14 Muestre que para cualquier entero positivo, la parte fraccionaria
1.2.
ab
bc
ca
+ 5
+ 5
1.
5 + ab
5 + bc
+b
b +c
c + a5 + ca
Una desigualdad muy util en los nmeros reales es x2 0, la cual es vlida para
u
a
cualquier nmero real x (basta ver las propiedades 1.1.1 y 1.1.3 y el ejercicio
u
1.2 de la seccin anterior). De sta se deducen muchas otras desigualdades,
o
e
en particular la usaremos para maximizar o minimizar una funcin cuadrtica
o
a
ax2 +2bx+c. Estas funciones cuadrticas aparecen con frecuencia en problemas
a
de optimizacin o en desigualdades.
o
Un ejemplo comn consiste en probar que si a > 0, la funcin cuadrtica
u
o
a
b2
b
2 + 2bx + c tendr un m
nimo es c a . En
ax
a
nimo en x = a y el valor m
efecto,
b2
b
ax2 + 2bx + c = a x2 + 2 x + 2
a
a
b
= a x+
a
+c
+c
b2
,
a
b2
a
Desigualdades Numricas
e
2
b
como x + a 0 y como el valor m
nimo de esta ultima expresin es cero
o
2
b
cuando x = a , tenemos que el valor m
nimo de la cuadrtica es c ba .
a
b
Si a < 0, la funcin cuadrtica ax2 + 2bx + c, tendr un mximo en x = a y
o
a
a
a
su valor ah es c
b2
2
a . En efecto, como ax
2
b
0 (ya que a < 0),
a
+ 2bx + c = a x +
b 2
a
+c
b2
a
puesto que a x +
2
expresin es cero, luego la funcin cuadrtica siempre es menor o igual a c ba
o
o
a
b
y toma ese valor en x = a .
Ejemplo 1.2.1 Si x, y son nmeros positivos con x + y = 2a, el producto xy
u
es mximo cuando x = y = a.
a
Si x + y = 2a, entonces y = 2a x. Por lo que, xy = x(2a x) = x2 + 2ax =
(x a)2 + a2 tiene un valor mximo cuando x = a y entonces y = x = a.
a
Esto se puede interpretar geomtricamente como: de los rectngulos de per
e
a
metro jo, el de mayor rea es el cuadrado. Ya que si x, y son los lados del
a
rectngulo, el per
a
metro es 2(x + y) = 4a y su rea es xy, que es mxima
a
a
cuando x = y = a.
Ejemplo 1.2.2 Si x, y son nmeros positivos con xy = 1, la suma x + y es
u
m
nima cuando x = y = 1.
1
x.
1
x
+ 2, luego,
1
x + y es m
nimo cuando x x = 0, esto es, cuando x = 1. Por lo tanto,
x = y = 1.
Tambin podemos interpretar geomtricamente esto de la siguiente forma, de
e
e
los rectngulos de rea 1, el cuadrado es el de menor per
a
a
metro. En efecto, si
x, y son los lados del rectngulo, tenemos que su rea es xy = 1 y su per
a
a
metro
2
1
1
a
metro
es 2(x + y) = 2 x + x = 2
x x + 2 4. Adems, el per
1
es 4 si y slo si x x = 0, esto es, cuando x = y = 1.
o
Si xy = 1, entonces y =
As x + y = x +
,
1
x
2.
1
1
a
Basta observar que x + x =
x x + 2 2. Adems, la igualdad se logra
1
si y slo si x x = 0, esto es cuando x = 1.
o
a
b
b
a
2, y la igualdad se da si y slo si
o
a2 b2 c2
a2 b2 c2 2bc
a2 (b + c)2
4b2 c2 < 0
a2 b2 c2 + 2bc < 0
a2 (b c)2 < 0
[a + b + c] [a b c] [a b + c] [a + b c] < 0
[b + c a][c + a b][a + b c] > 0.
Ejercicio 1.16 Supongamos que el polinomio ax2 + bx+ c satisface que: a > 0,
a + b + c 0, a b + c 0, a c 0 y b2 4ac 0. Muestre que sus ra
ces
son reales y se encuentran en el intervalo 1 x 1.
Ejercicio 1.17 Si a, b, c son nmeros positivos, entonces no suceden simultu
a
1
neamente las desigualdades a(1 b) > 4 , b(1 c) > 1 , c(1 a) > 1 .
4
4
1.3.
`
2
b 2
= b2 4ac es negativo. En efecto, esto se sigue de que ax2 +bx+c = a x + 2a + 4acb .
4a
b b2 4ac
Recuerde que las ra
ces son
, y son reales cuando 0, en caso contrario no
2a
hay ra
ces reales, por lo que ax2 + bx + c toma un mismo signo, esta expresin ser positiva
o
a
si a > 0.
1
Desigualdades Numricas
e
a+b
.
(M G M A)
ab
2
Adems la igualdad ocurre si y slo si a = b.
a
o
a+b
e
Los nmeros ab y 2 se conocen como la media geomtrica y la media
u
aritmtica de a y b, respectivamente. Para demostrar la desigualdad basta
e
observar que,
2
a + b 2 ab
a+b
1
a b 0.
ab =
=
2
2
2
1
x
2.
1
y
b
a
4
x+y .
b
x
2 ab.
2.
1 (ab)2
8
a
a+b
2
ab
1 (ab)
8
b
2
+
1
y
x+y
.
xy
2
(1.1)
g
B
D
x
h
E
C
O
y
luego
g=
xy.
xy
h
2
2xy
.
=
luego
h=
= x+y ,
1
xy
x+y
+1
2
x
xy
.
1
1
2
x + y
El nmero
u
1
1
+y
x
1
x
xy
z
1
y
+
yz
x
1
z
1
xy
zx
y
x + y + z.
1
yz
1 .
zx
10
Desigualdades Numricas
e
a+b c+d
+
2
2
1
ab + cd
2
4
ab cd = abcd.
a
b
b
c
c
d
d
a
1
a
1
b
1
c
1
d
16.
4.
4
verdadera para cuatro nmeros, tenemos a+b+c+d 4 abcd = d3 d = d.
u
4
3
Luego, a+b+c d 1 d = 4 d, por lo que, a+b+c d = 3 abc.
4
4
3
Estas ideas se pueden usar para justicar la versin general de la desigualdad
o
para n nmeros no negativos. Si a1 , a2 , ... , an son n nmeros no negativos,
u
u
tomamos los nmeros A y G denidos como
u
A=
a1 + a2 + + an
n
G=
a1 a2 an .
a1 a2 an
a1 + a2 + + an
.
n
11
n a1 a2 an1 g =
n
gn1 g = g.
a1 ++an1
n1
g,
2 ( a1 a2 + a3 a4 + + a2n1 a2n )
1
2n ( a1 a2 a3 a4 a2n1 a2n ) n
1
= 2n (a1 a2 a2n ) 2n .
Hemos aplicado primero varias veces la armacin P2 que sabemos es cierta y
o
12
Desigualdades Numricas
e
3y
3
. Adems,
a
434
1
x= .
3
4
luego, y
esto es, si
3x3 + 3(1 x3 )
4
3
4
1
1
1
+
+ +
x1 x2
xn
n2 .
n+1
2
n1
2
a3
b
b3
c
c3
a
ab + bc + ca.
13
1
1
1
+
+
a+b b+c c+a
Ejercicio 1.45 Si Hn = 1 +
1
2
1 1 1
+ + .
a b
c
1
+ + n , muestre que
n 2.
1
1+x1
+ +
1
1+xn
= 1.
Ejercicio 1.47 (Lista corta IMO, 1998) Sean a1 , a2 , ... , an nmeros positivos
u
con a1 + a2 + + an < 1, muestre que
1
a1 a2 an [1 (a1 + a2 + + an )]
n+1 .
(a1 + a2 + + an ) (1 a1 ) (1 a2 ) (1 an )
n
Ejercicio 1.48 Sean a1 , a2 , ... , an nmeros positivos, tales que
u
1
1+an = 1. Muestre que
a1 + + an (n 1)
1
1
+ +
a1
an
1
1+a1
+ +
14
Desigualdades Numricas
e
.
a3 + b3 + abc b3 + c3 + abc c3 + a3 + abc
abc
1
+1
b
1
+1
c
64.
1
1
b
1
1
c
8.
1
1
1
1+a + 1+b + 1+c
15
i=1
(x + y + z)2
x yz + y zx + z xy.
3
x4 + y 4 + z 2 8xyz.
Ejercicio 1.59 (Rusia, 1992) Muestre que para cualesquiera nmeros reales x,
u
y > 1, se tiene
x2
y2
+
8.
y1 x1
1.4.
b1 b2 b n .
an b1 + an1 b2 + + a1 bn
(1.2)
(1.3)
16
Desigualdades Numricas
e
= a1 b1 + a2 b2 + + as br + + ar bs + + an bn .
i=1
x2 2
i
n
2
i=1 yi
xi y i +
i=1
i=1
n
2
i=1 zi ,
pero como
=
es equivalente a demostrar
2
yi
i=1
x2 2
i
2
zi ,
xi zi +
i=1
i=1
n
i=1
xi zi
xi yi ,
i=1
17
ndices i = 1, . . . , n.
Considere la permutacin (a , a , . . . , a ) de (a1 , a2 , . . . , an ) denida por a =
o
n
1 2
i
xn+1i , para i = 1, . . . , n.
Utilizando la desigualdad (1.3) tenemos que
xn
x1 x2
+ 2 + + 2
2
1
2
n
= a b1 + a b2 + + a bn
1
2
n
an b1 + an1 b2 + + a1 bn
= a1 bn + a2 bn1 + + an b1
an
a1 a2
+ 2 + + 2.
=
2
1
2
n
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.
18
Desigualdades Numricas
e
Por lo tanto,
a+b+c
a2 b (a b) + b2 c(b c) + c2 a(c a) 0.
Ejemplo 1.4.7 (Desigualdad de Cauchy-Schwarz ) Para cualesquiera nmeu
ros reales x1 , . . ., xn , y1 , . . ., yn , la siguiente desigualdad se cumple
2
xi yi
i=1
2
yi
x2
i
i=1
i=1
n
n
2
2
De lo contrario, sean S =
i=1 xi y T =
i=1 yi , claramente S = 0 y
yi
xi
T = 0. Denamos ai = S y an+i = T , para i = 1, 2, ..., n. Usando el corolario
1.4.1,
n
2 =
i=1
x2
i
+
S2
n
i=1
2
yi
=
T2
2n
a2
i
i=1
x1 y1 + x2 y2 + + xn yn
.
ST
19
xi y i
2
yi
x2
i
=
i=1
i=1
i=1
i=1 j=1
(xi yj xj yi )2 .
u
de ejercicios y problemas.
Ejemplo 1.4.8 (Desigualdad de Nesbitt) Para a, b, c R+ , se tiene que
a
b
c
3
+
+
.
b+c c+a a+b
2
Sin perder generalidad, podemos suponer que a b c, de esta hiptesis se
o
1
1
1
sigue que a + b c + a b + c y b+c c+a a+b .
Usando la desigualdad del reacomodo (1.2) dos veces, tenemos
b
c
b
c
a
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
Por lo tanto, 2
b
c
a
+
+
b+c c+a a+b
= 3.
3
3.
20
Desigualdades Numricas
e
a3 (b
1
a,
y =
1
b
1
1
1
+ 3
+ 3
+ c) b (c + a) c (a + b)
S =
a3 (b
x3
1 1
+
y z
y3
1 1
+
z x
z3
1 1
+
x y
y2
z2
x2
+
+
.
y+z z+x x+y
x2
y2
z2
+
+
y+z z+x x+y
xy
yz
zx
+
+
y+z z+x x+y
xz
yx
zy
+
+
,
z+x z+x x+y
a
b
a+b+c
c
2 1+
3
a
abc
1+
b
c
1+
b
c
1+
a+b+c
c
2 1+
3
a
abc
Observemos que
1+
a
b
1+
a b c
+ +
b c a
a c b
+ +
c b a
a+b+c
abc
2 1+
3
abc
abc
1+
2(a + b + c)
a b c a c b
+ + + + +
.
3
b c a c b a
abc
21
x2
y2
y2
, z2 ,
z2
x2
x2
z2
z2
y2
y z x z y x
z, x, y, y, x, z
x y z x z y
y , z , x, z , y, x
y (b1 , b2 , b3 , b4 , b5 , b6 ) =
y2
, x2 , tenemos que
x3 y 3
z3
x3 z 3
y3
x2 y y 2 z
z 2 x x2 z
z2 y
y2 x
+ 3+ 3+ 3 + 3+ 3 2 + 2 + 2 + 2 + 2 + 2
y3
z
x
z
y
x
y z z x x y
z y y x x z
=
x2
y2
z2
x2
z2
y2
+
+
+
+
+
yz zx xy zy yx xz
2 x3 + y 3 + z 3
.
xyz
.
n
n
n
Aplicando varias veces la desigualdad del reacomodo obtenemos
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 ,
al sumar todas las expresiones, obtenemos
n (a1 b1 + + an bn ) (a1 + + an ) (b1 + + bn ) .
Notemos que la igualdad ocurre solamente cuando a1 = a2 = = an o
b1 = b2 = = bn .
22
Desigualdades Numricas
e
s a1 s a2
s an
n1
s a1 s a2
s an
n1
Ejercicio 1.67 Si a1 , a2 , ... , an R+ y a1 + a2 + + an = 1, entonces
a2
an
n
a1
.
+
+ +
2 a1 2 a2
2 an
2n 1
23
.
n
n
1
x2
n
+ +
1
xn
x1 + x2 + + xn
n
.
x1 x2 xn
n
1
1
1
+
+ + .
a1 a2
an
u
Ejercicio 1.72 (China, 1989) Sean a1 , a2 , ... , an nmeros positivos, tales que
a1 + a2 + + an = 1. Muestre que
a1
an
1
( a1 + + an ).
+ +
1 a1
1 an
n1
(i) 4a + 1 + 4b + 1 + 4c + 1 < 5,
(ii) 4a + 1 + 4b + 1 + 4c + 1 21.
24
Desigualdades Numricas
e
Ejercicio 1.76 Sean x1 , x2 , ... , xn (n > 2) nmeros reales tales que la suma
u
de cualesquiera n 1 de ellos es mayor que el elemento que quedo fuera de la
suma. Sea s = n xk . Muestre que
k=1
n
k=1
1.5.
x2
s
k
.
s 2xk
n2
Funciones convexas
(1.4)
(x, f (x))
(y, f (y))
25
En efecto, la ecuacin de la recta que pasa por (x, f (x))y (y, f (y)) es
o
L(s) = f (x) +
f (y) f (x)
(s x).
yx
x+y
2
1
(f (x) + f (y)).
2
(1.5)
(3) (Desigualdad de Jensen) Si f es convexa en [a, b], entonces para cualesquiera t1 , ... , tn [0, 1] con n ti = 1 y para x1 , ... , xn [a, b], se
i=1
tiene
f (t1 x1 + + tn xn ) t1 f (x1 ) + + tn f (xn ).
(4) En particular, para x1 , ... , xn [a, b], podemos armar que
f
x1 + + x n
n
1
(f (x1 ) + + f (xn )) .
n
1
2
en la ecuacin (1.4).
o
t1
(3) f (t1 x1 + + tn xn ) = f ((1 tn ) ( 1tn x1 + +
(1 tn ) f
tn1
1tn xn1 )
+ tn xn )
tn1
+ + 1tn xn1 + tn f (xn ), por convexidad
tn1
t1
o
1tn f (x1 ) + + 1tn f (xn1 ) + tn f (xn ), por induccin
t1
1tn x1
(1 tn )
= t1 f (x1 ) + + tn f (xn ).
1
(4) Solamente tenemos que aplicar (3) con t1 = t2 = = tn = n .
26
Desigualdades Numricas
e
Observaciones 1.5.2 (i) Podemos ver que (4) es vlida bajo la unica suposia
o
o
2
cualesquiera x, y [a, b].
La demostracin de (i), la haremos por induccin. Llamemos Pn a la armacin
o
o
o
f
x1 + + x n
n
1
(f (x1 ) + + f (xn )) ,
n
x1 + + xn1 + y
n
1
1
1
f (x1 ) + + f (xn1 ) + f (y).
n
n
n
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
=f
u+v
2
, donde u =
x1 ++xn
n
yv =
xn+1 ++x2n
.
n
Como f
D
u+v
2
1
2 (f (u) + f (v)), tenemos que
x1 + + x n
xn+1 + + x2n
1
1
(f (u) + f (v)) =
f
+f
2
2
n
n
1
(f (x1 ) + + f (xn ) + f (xn+1 ) + + f (x2n )) ,
2n
27
= m, luego
f (t1 x1 + + tn xn ) = f
pn
p1
x1 + + xn
m
m
= f (x1 + + x1 ) + + (xn + + xn )
m
p1 trminos
e
pn trminos
e
p1
pn
= f (x1 ) + + f (xn )
m
m
= t1 f (x1 ) + + tn f (xn ).
pn trminos
e
28
Desigualdades Numricas
e
29
x x0
y x0
(f (x) f (x0 ))(y x0 ) (f (y) f (x0 ))(x x0 )
P (x) P (y)
30
Desigualdades Numricas
e
1 x f (x)
A = 1 y f (y) .
1 z f (z)
(y, f (y))
(x, f (x))
(z, f (z))
(z, f (z))
(y, f (y))
(x, f (x))
En efecto,
> 0 det A > 0
(z y)f (x) (z x)f (y) + (y x)f (z) > 0
yx
zy
f (x) +
f (z).
f (y) <
zx
zx
Si tomamos t = yx , tenemos que 0 < t < 1, 1 t =
zx
y f (tz + (1 t)x) < tf (z) + (1 t)f (x).
zy
zx ,
y = tz + (1 t)x
Ahora veamos, una serie de ejemplos, donde resaltamos el uso de las funciones
convexas para establecer desigualdades.
Ejemplo 1.5.8 La funcin f (x) = xn , n 1 es convexa en R+ y la funcin
o
o
n , con n par, es convexa en R.
f (x) = x
31
a+b n
2
1, se cumple
an +bn
tenemos que,
2
1
que an + bn n1 .
2
+
2
a+b
b
a n
+
b
1+
1
a
+f
f 1+
2
b
2n = f (2) f
1
2
1+
a
b
b n
a
2n+1 .
1+
b
a
+ 1+
b
a
t1 elog x1 + + tn elog xn = t1 x1 + + tn xn .
1
En particular, si tomamos ti = n , para 1 i n, obtenemos otra
demostracin de la desigualdad entre la media geomtrica y la media
o
e
aritmtica para n nmeros.
e
u
(ii) (Desigualdad de Young) Sean x, y nmeros reales positivos. Si a, b > 0
u
1
1
1
satisfacen la condicin a + b = 1, entonces xy a xa + 1 y b .
o
b
xy = (xa ) a y b
1
b
1 a 1 b
x + y .
a
b
32
Desigualdades Numricas
e
i=1
1/a
xi y i
b
yi
xi yi
n
n
a
b
i=1 xi =
i=1 yi
1 b
1 a
a xi + b yi , luego
i=1
1
a
a
x
i
xa +
i
n
a
i=1 xi
n
i=1
n
a
i=1 xi
i=1
i=1
i=1
1/b
xa
i
1
b
= 1.
n
b
yi =
i=1
1 1
+ = 1.
a b
n
b
i=1 yi
=A y
n
yi
=1 y
= B. Tomemos x =
i
n
b
i=1 yi
i=1
= 1,
tenemos que
n
1
Por lo tanto,
x y i
i
=
i=1
i=1
n
i=1 xi yi
1
xi yi
= 1/a 1/b
1/a B 1/b
A
A B
xi y i .
i=1
A1/a B 1/b .
(ak + bk )p
k=1
1
p
(ak )p
k=1
1
p
(bk )p
+
k=1
Observemos que
(ak + bk )p = ak (ak + bk )p1 + bk (ak + bk )p1
33
luego,
n
(ak + bk )p =
k=1
ak (ak + bk )p1 +
k=1
bk (ak + bk )p1 .
(1.6)
k=1
ak (ak + bk )p1
(ak + bk )q(p1)
k=1
k=1
1
p
bk (ak + bk )p1
1
q
(ak )p
n
k=1
1
p
(bk )p
k=1
1
q
(ak + bk )q(p1)
k=1
Sustituyendo estas desigualdades en (1.6), y observando que q(p 1) = p, obtenemos 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 nmeros reales
u
mayores que 1, muestre que
1
n
1
.
+ +
n r r + 1
1 + r1
1 + rn
1
n
1
es convexa para R+ , ya que
1 + ex
0, para x > 0.
ex
(1+ex )2
y f (x) =
ex (ex 1)
(ex +1)3
ri = exi
1
x ++x
( 1 n n)
e
por tanto,
+1
1
n
1
1+ex
es
1
1
+ +
x1
1+e
1 + exn
1
1
n
+ +
.
r1 r n + 1
1 + r1
1 + rn
34
Desigualdades Numricas
e
x
1x
n
i=1
xi
1
=
n
1 xi
n
i=1
f (xi ) f
i=1
1
xi
n
=f
1
n
1
=
,
n n1
por lo tanto,
n
i=1
xi
n
.
1 xi
n1
n
i=1 xi
n
i=1
xi
n
n.
i=1 1 =
n
i=1 xi
q
p
ap
ij
j=1
i=1
1
q
i=1
l
j=1
1
p p
q
aq .
ij
Lq =
q
p
bj
j=1
l
qp
ap
ij
bj p
i=1
j=1
k
=
i=1
qp
p
bj
j=1
ap .
ij
35
Lq
i=1
=
i=1
qp
bj p
l
j=1
qp
q
p
bj
qp
q
bj
k
i=1
qp
q
j=1
q
p
j=1
q
qp
l
j=1
l
j=1
l
j=1
p
q
q
aij
p
q
q
(ap ) p
ij
p
q
q
aij
= Lqp Rp .
1
a
+ b+
1
b
25
.
2
1
+ b+
b
1
+ c+
c
100
.
3
Ejercicio 1.79 (Rusia, 2000) Demuestre que para nmeros reales x, y con
u
0 x, y 1, se tiene que
1
+
1 + x2
1
1+
y2
2
.
1 + xy
36
Desigualdades Numricas
e
3
cumplen con sen A + sen B + sen C 2 3.
Ejercicio 1.81 Si A, B, C, D son ngulos en el intervalo [0, ], entonces:
a
(i) sen A sen B sen2
A+B
2
A+B+C+D
4
A+B+C
3
37
.
2
2
2
(b + c)
(c + a)
(a + b)
4(a + b + c)
6
3
.
ab + bc + ca
a+b+c
3
6
.
a+b+c
ab + bc + ca
(t1 xr + + tn xr ) r (t1 xs + + tn xs ) s ,
1
n
1
n
la igualdad se da si y slo si x1 = x2 = = xn .
o
Ejercicio 1.88 (Dos extensiones de la desigualdad de Hlder.) Sean x1 ,
o
x2 , . . . , xn , y1 , y2 , . . . , yn , z1 , z2 , . . . , zn nmeros reales positivos.
u
1
(i) Si a, b, c son nmeros reales positivos tales que a + 1 = 1 , entonces
u
b
c
1
c
(xi yi )c
i=1
1
a
1
b
xi a
yi b
i=1
i=1
1
a
xi yi zi
1
b
1
1
1
a+b+c
i=1
zi c
i=1
= 1, entonces
1
c
yi b
xi a
i=1
i=1
38
Desigualdades Numricas
e
a+b
2
+f
b+c
2
c+a
2
f (a) + f (b) + f (c)
+f
3
+f
a+b+c
3
3
(i) a2 + b2 + c2 + 3 a2 b2 c2 2(ab + bc + ca).
(ii) a2 + b2 + c2 + 2abc + 1 2(ab + bc + ca).
Ejercicio 1.91 Sean a, b, c nmeros reales positivos, muestre que
u
b+c c+a a+b
+
+
a
b
c
1.6.
a
b
c
+
+
b+c c+a a+b
(1.7)
39
(1.8)
(1.9)
3
3 y y c = 3 z, podemos deducir que
positivos, tomando a = x, b =
x+y+z
3 xyz,
3
con igualdad si y slo si x = y = z.
o
Observe que se puede utilizar la identidad (1.8) para dar otra demostracin del
o
ejercicio 1.27.
Ejercicio 1.92 Para nmeros reales x, y, z, muestre que
u
x2 + y 2 + z 2 |xy + yz + zx|.
40
Desigualdades Numricas
e
u
y son positivos, entonces se tiene la siguiente desigualdad
(a + b)2
a2 b2
+
.
x
y
x+y
(1.10)
b
a
x+ y
x
y
a2 b2
+
x
y
(x + y).
Usando el teorema dos veces, podemos extender la desigualdad para tres pares
de nmeros,
u
(a + b)2 c2
(a + b + c)2
a2 b2 c2
+
+
,
x
y
z
x+y
z
x+y+z
41
(1.11)
para todos los nmeros reales a1 , a2 , ... , an y x1 , x2 , ... , xn > 0, con igualdad
u
si y slo si
o
a1
a2
an
=
= =
.
x1
x2
xn
La desigualdad (1.11) es conocida tambin como la desigualdad de Cauchye
Schwarz en la forma de Engel o el Principio del m
nimo de Arthur Engel.
Como una primera aplicacin de esta desigualdad, damos otra demostracin de
o
o
la desigualdad de Cauchy-Schwarz,
a2 + a2 + + a2 =
1
2
n
a2 b2
a2 b2 a2 b2
n n
2 2
1 1
2 + b2 + + b2 ,
b1
n
2
entonces
a2 b2
a2 b2 a2 b2
(a1 b1 + a2 b2 + + an bn )2
1 1
+ 22 2 + + n2 n
.
bn
b2
b2
b2 + b 2 + + b 2
n
1
1
2
Luego, podemos concluir
(a2 + a2 + + a2 )(b2 + b2 + + b2 ) (a1 b1 + a2 b2 + + an bn )2
1
2
n
1
2
n
y la igualdad se tiene si y slo si
o
a1
a2
an
=
= =
.
b1
b2
bn
Existen otras formas de la desigualdad de Cauchy-Schwarz a la Engel, como las
del siguiente ejemplo.
Ejemplo 1.6.2 Sean a1 , ... , an , b1 , ... , bn nmeros reales positivos. Muestre
u
que:
(i)
(ii)
an
(a1 + + an )2
a1
+ +
.
b1
bn
a1 b1 + + an bn
1
an
a1
+ + 2
bn
a1 + + an
b2
1
a1
an
+ +
b1
bn
42
Desigualdades Numricas
e
maneras:
an
a2
a2
(a1 + + an )2
a1
+ +
= 1 + + n
.
(i)
b1
bn
a1 b1
an bn
a1 b1 + + an bn
a2
1
a2
n
a1
an
1
b2
b2
(ii) 2 + + 2 = 1 + + n
bn
a1
an
a1 + + an
b1
a1
an
+ +
b1
bn
a1 + b1
an + bn
a1 + a2 + + an + b1 + b2 + + bn
=
(a1 + a2 + + an )2
2(a1 + a2 + + an )
1
= (a1 + a2 + + an ).
2
El siguiente ejemplo es una demostracin de la desigualdad entre la media
o
cuadrtica y la media aritmtica.
a
e
Ejemplo 1.6.4 (Desigualdad media cuadrtica-media aritmtica) Para
a
e
nmeros reales positivos x1 , ... , xn , se tiene que
u
x1 + x2 + + xn
x2 + x2 + + x 2
n
1
2
.
n
n
Observemos que usando (1.11), se tiene que
x2 + x2 + + x2
(x1 + x2 + + xn )2
n
2
1
n
n2
y sta implica la desigualdad de arriba.
e
En algunos casos los numeradores no son cuadrados, pero un simple truco nos
permite escribirlos como cuadrados y entonces podemos aplicar la desigualdad.
El siguiente ejemplo es una primera aplicacin de este truco, la cual nos permite
o
dar una demostracin ms corta del ejemplo 1.4.9.
o
a
43
Ejemplo 1.6.5 (IMO, 1995) Sean a, b, c nmeros positivos tal que abc = 1.
u
Demuestre que
1
1
3
1
+ 3
+ 3
.
+ c) b (a + c) c (a + b)
2
a3 (b
Observemos que
1
1
1
1
1
1
a2
b2
c2
+
+
=
+
+
a3 (b + c) b3 (c + a) c3 (a + b)
a(b + c) b(c + a) c(a + b)
1
( a + 1 + 1 )2
ab + bc + ca
b
c
=
2(ab + bc + ca)
2abc
3 3 (abc)2
3
= ,
2
2
b2
c2
(a + b + c)2
a2
+
+
.
a(b + c) b(c + a) c(a + b)
2(ab + bc + ca)
De la ecuacin (1.8), obtenemos a2 + b2 + c2 ab bc ca 0 y entonces
o
2 3(ab + bc + ca). Por lo tanto
(a + b + c)
a
b
c
(a + b + c)2
3
+
+
.
b+c c+a a+b
2(ab + bc + ca)
2
Ejemplo 1.6.7 (Repblicas Checa y Eslovaca, 1999) Para nmeros reales pou
u
sitivos a, b y c, muestre la desigualdad
b
c
a
+
+
1.
b + 2c c + 2a a + 2b
44
Desigualdades Numricas
e
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
b2
c2
(a + b + c)2
a2
+
+
1,
ab + 2ca bc + 2ab ca + 2bc
3(ab + bc + ca)
donde la ultima desigualdad se sigue como en el ejemplo anterior.
.
a b
c
d
a+b+c+d
Ejercicio 1.99 Sean a y b nmeros reales positivos, muestre que
u
8(a4 + b4 ) (a + b)4 .
.
x+y y+z z+x
x+y+z
.
ay + bz az + bx ax + by
a+b
45
.
x
y
z
3(x + y + z)
(ii) (Belorusia, 2000) Muestre que, para todos los nmeros reales a, b, c, x, y,
u
z, se sigue la siguiente desigualdad
(a + b + c)3
a3 b3 c3
+
+
.
x
y
z
3(x + y + z)
Ejercicio 1.108 (Grecia, 2008) Para x1 , x2 , . . . , xn nmeros enteros positivos,
u
muestre que
x2 + x2 + + x2
n
2
1
x1 + x2 + + xn
kn
t
x1 x2 x n ,
46
1.7.
Desigualdades Numricas
e
La estrategia de sustitucin
o
b
1b
c
1c
8.
z+x
y
x+y
z
8,
a + bc + b + ca + c + ab 2.
47
a + bc =
(a + b)(a + c)
2a + b + c
.
2
Anlogamente,
a
2b + c + a
2c + a + b
c + ab
y
.
2
2
Por lo que, al sumar las tres desigualdades, se obtiene
b + ca
a + bc + b + ca + c + ab
2a + b + c 2b + c + a 2c + a + b
4a + 4b + 4c
+
+
=
= 2.
2
2
2
2
La igualdad se alcanza cuando a + b = a + c, b + c = b + a y c + a = c + b, lo
que nos lleva a que, a = b = c = 1 .
3
+
+
.
2+1
2+1
2+1
2
a
b
c
Notemos que (a2 + 1) = a2 + ab + bc + ca = (a + b)(a + c), y, anlogamente,
a
b2 + 1 = (b + c)(b + a) y c2 + 1 = (c + a)(c + b). Ahora la desigualdad, que
estamos considerando, es equivalente a
a
+
(a + b)(a + c)
b
+
(b + c)(b + a)
c
3
.
2
(c + a)(c + b)
(a + b)(a + c)
(b + c)(b + a)
(c + a)(c + b)
a
b
c
a
b
c
1
1
1
+
+
+
+
+
2 a+b a+c
2 b+c b+a
2 c+a c+b
3
.
2
48
Desigualdades Numricas
e
1+ ab
1+ a
1 + xy
c+a
1x
c
bc
=
=
=
=x+
.
b
b
c+b
1+y
1+y
1+ c
1+ c
Anlogamente,
a
1y
a+b
=y+
a+c
1+z
b+c
1z
=z+
.
b+a
1+x
y est es equivalente a,
a
x2 z + y 2 x + z 2 y + x2 + y 2 + z 2 x + y + z + 3.
Pero, por la desigualdad M G M A, x2 z + y 2 x + z 2 y 3 3 x3 y 3 z 3 = 3.
1
Tambin, tenemos x2 + y 2 + z 2 3 (x + y + z)2 = x+y+z (x + y + z)
e
3
como muestra el siguiente ejemplo. Este tambin sirve para sealar que se puede
e
n
necesitar hacer ms de un proceso de sustitucin.
a
o
Ejemplo 1.7.5 Sean a, b, c nmeros reales positivos, muestre que se cumple
u
que
(a + b)(a + c) 2 abc(a + b + c).
49
b
a,
y =
c
a,
la
xy(1 + x + y).
1
Ahora, al dividir entre xy ambos lados y hacer la sustitucin r = 1+ x , s = 1+ 1 ,
o
y
la desigualdad a demostrar ahora es
rs 2 rs 1.
Es una situacin comn que los problemas tengan varias formas de resolverse,
o
u
resulta tambin que pueden aceptar varias sustituciones que ayuden a resolverlo.
e
Esto se muestra en el siguiente ejemplo.
Ejemplo 1.7.6 (Corea, 1998) Si a, b, c son nmeros reales positivos, tales que
u
a + b + c = abc, muestre que
1
1
1
3
+
+
.
2
2
2
2
1+a
1+b
1+c
1
o
Bajo la sustitucin x = a , y = 1 , z = 1 , la condicin a + b + c = abc, se
o
b
c
traduce en xy + yz + zx = 1 y la desigualdad es equivalente a
x
+
x2 + 1
y
y2 + 1
3
.
2
z2 + 1
z
50
Desigualdades Numricas
e
51
+
+
.
3
3
3 a
b
b
Ejercicio 1.114 (Rumania, 2008) Sean a, b, c nmeros reales positivos, con
u
abc = 8, muestre que
a2 b2 c2
+
+
0.
a+1 b+1 c+1
1.8.
Teorema de Muirhead
El consider expresiones algebraicas de la forma xa1 xa2 xan , luego analiz poo
o
n
1 2
linomios simtricos que conten estas expresiones, para dar un ordenen el ese
an
pacio de n-adas (a1 , a2 , ..., an ) que satisfac la condicin a1 a2 an .
an
o
Vamos a suponer que xi > 0 para toda 1 i n. Denotemos por
!
F (x1 , ..., xn )
la suma de los n! trminos obtenidos de evaluar F (x1 , ..., xn ) en todas las posie
bles permutaciones de (x1 , ..., xn ). Nosotros consideramos slo el caso particular
o
F (x1 , ..., xn ) = xa1 xa2 xan , con xi > 0, ai 0.
n
1 2
Escribimos [a] = [a1 , a2 , ..., an ] =
variables x, y, z > 0 se tiene
1
n!
1 2
[x (y + z) + y 2 (x + z) + z 2 (x + y)].
3!
52
Desigualdades Numricas
e
1
1
1
1
n!
1 1
n
n
n
aritmtica y [ n , n , ..., n ] = n! (x1 x2 xn ) = n x1 x2 xn es la media
e
geomtrica. Cuando a1 + a2 + + an = 1, [a] es una generalizacin comn
e
o
u
de la media aritmtica y de la media geomtrica.
e
e
Si a1 a2 an , b1 b2 bn , en general [b] no es comparable
con [a], en el sentido que exista una desigualdad entre ellos, vlida para todos
a
los nmeros reales no negativos x1 , x2 , . . ., xn .
u
Muirhead deseaba comparar los valores de los polinomios simtricos [a] y [b]
e
para cualquier valor no negativo de las variables en ambos polinomios.
Denamos de ahora en adelante (a) = (a1 , a2 , ..., an ).
Denicin 1.8.1 Decimos que (a) mayoriza a (b) y escribimos (b) (a), cuano
do (a) y (b) se pueden arreglar de tal forma que satisfacen las siguientes dos
condiciones:
n
ai .
bi =
(1)
i=1
i=1
(2)
i=1
bi
i=1
Es claro que (a) (a) y que si (c) (b) y (b) (a) garantizan (c) (a).
Teorema 1.8.2 (Teorema de Muirhead) [b] [a] para cualesquiera valores
no negativos de las variables (x1 , x2 , ..., xn ) si y slo si (b) (a). La igualdad
o
slo se tiene cuando (b) y (a) son idnticos o cuando todos los xi son iguales.
o
e
Antes de pasar a la demostracin del teorema, la cual es un poco complicada,
o
veamos algunos ejemplos. Primero, es claro que [2, 0, 0] no puede ser comparado
con [1, 1, 1] ya que la primera condicin en la denicin 1.8.1 no se satisface,
o
o
pero podemos ver que [2, 0, 0] [1, 1, 0], lo cual es equivalente a
x2 + y 2 + z 2 xy + yz + zx.
De la misma forma, podemos ver que:
1. x2 + y 2 2xy [2, 0] [1, 1],
2. x3 + y 3 + z 3 3xyz [3, 0, 0] [1, 1, 1],
3. x5 + y 5 x3 y 2 + x2 y 3 [5, 0] [3, 2],
4. x2 y 2 + y 2 z 2 + z 2 x2 x2 yz + y 2 xz + z 2 xy [2, 2, 0] [2, 1, 1],
53
bi
= [b] [a] = x
ai
al =
(0 < ).
+
ak +
al
2
2
T (al ) = bl = =
+
ak +
al
2
2
T (a ) = a
( = k, = l).
Lema 1.8.3 Si b = T a entonces [b] [a], con igualdad slo cuando todos los
o
xi son iguales.
54
Desigualdades Numricas
e
n
1
2
1
2
! 3
2n!
1
=
(x1 x2 ) xa3 xan (x + x + )(x x2 ) 0
n
1
2
1
3
!
2n!
con igualdad slo cuando todos los xi son iguales.
o
Lema 1.8.4 Si (b) (a), con (b) no idntica a (a), entonces (b) puede ser
e
obtenida de (a) usando sucesivas aplicaciones de un nmero nito de transforu
maciones T .
Demostracin. Al nmero de diferencias a b distintas de cero, le llamao
u
remos la discrepancia entre (a) y (b). Si la discrepancia es cero, los conjuntos
son iguales. Demostremos el lema por induccin, suponiendo que es verdadero
o
cuando la discrepancia es menor que r y demostrando que es verdadero cuando
la discrepancia es r.
Supongamos entonces, que (b) (a) y que la discrepancia es r > 0. Como
n
n
(a b ) = 0, y no todas las diferencias son cero,
i=1 ai =
i=1 bi , y
deben existir diferencias positivas y negativas, y la primera que nos es cero
debe ser positiva por la segunda condicin de (b) (a). Entonces, podemos
o
encontrar k y l tal que
bk < ak , bk+1 = ak+1 , ... , bl1 = al1 , bl > al ,
(1.12)
k
l
a = bk y si bl = entonces a = bl . Como cada una de las parejas ak ,
k
l
55
a
l
i=1
a .
i
ai =
bi =
= 2 = ak + al ,
a
k
i=1
i=1
a
k1 = ak1 ak = + > + = ak bk bk+1 = ak+1 = ak+1 ,
o
de la desigualdad M G M A.
56
Desigualdades Numricas
e
n
.
y1 y2 yn
n
Notemos que la desigualdad M G M A es equivalente a
x1 x2 xn
xn + x n + + x n
n
2
1
n
donde xi = n yi .
Ahora, observemos que
1
n
n
i=1
n
i=1
n3
n3
(x1 x2 )(x1 x2 )x3 x4 + ... .
b2
a + b.
a
a, y =
57
1
(a + b + c)3 .
7
18
36
[3, 0, 0] + 6
7
7
[1, 1, 1]
18
36
([3, 0, 0] [2, 1, 0]) + 6
7
7
18
[2, 1, 0]
7
[1, 1, 1] 0.
a3
b3
c3
a2 + b2 b2 + c2 c2 + a2
+
+
+
+ .
2c
2a
2b
bc ca ab
58
Desigualdades Numricas
e
4 3(ABC) a2 + b2 + c2 .
.
(a + b)(a + c) (b + c)(b + a) (c + a)(c + b)
4(a + b + c)
Cap
tulo 2
Desigualdades Geomtricas
e
2.1.
60
Desigualdades Geomtricas
e
Ejercicio 2.2 (i) Si con segmentos de longitud a < b < c se puede construir
a2 ab + b2 +
b2 bc + c2 .
61
Los radicales sugieren usar la ley de los cosenos con ngulos de 120 y de 60
a
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
60
60
b
B
c
C
2 ab + b2 , BC =
mos que AB = a
b2 bc + c2 y CA = a2 + ac + c2 .
La desigualdad que debemos mostrar es la desigualdad del tringulo para el
a
tringulo ABC.
a
Ejercicio 2.4 Sea ABC un tringulo con A > B, muestre que BC > 1 AB.
a
2
Ejercicio 2.5 Sea ABCD un cuadriltero convexo, muestre que:
a
(i) Si AB + BD < AC + CD entonces AB < AC.
1
(ii) Si A > C y D > B entonces BC > 2 AD.
62
Desigualdades Geomtricas
e
a2 + b2 b2 + c2 c2 + a2
12R.
+
+
mc
ma
mb
AD
2 1.
DIa
2.2.
63
2bc
.
a
Caso 2. a b.
Aqu resulta que b a 0, y como a < b + c 2b, tenemos que
b+ca=c+bac <
2bc
.
a
Otro tipo de problemas para las longitudes de los lados de un tringulo, son
a
aquellos donde se pide demostrar que cierta relacin entre los nmeros a, b y c
o
u
es suciente para construir un tringulo con lados de longitud a, b y c.
a
2
> 3 a4 + b4 + c4 + d4 ,
a2 + b2 + c2 2 a4 + b4 + c4 = (a+b+c)(a+bc)(ab+c)(a+b+c) > 0
y notar que de estos factores ninguno es negativo, compare con el ejemplo 1.2.5.
64
Desigualdades Geomtricas
e
a2 + b2 + c2 a2 + b2 + c2
+
+ d2
2
2
a2 + b2 + c2
2
a2 + b2 + c2
2
+ d4
x
Y
Z
I
y
B
C
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
y
65
(2.1)
tringulo, muestre que a + b c + b + c a + c + a b a+ b+ c.
a
Como a = y + z, b = z + x, c = x + y, podemos deducir a + b c = 2z,
b + c a = 2x, c + a b = 2y. Luego, la desigualdad es equivalente a
2x + 2y + 2z x + y + y + z + z + x.
Ahora usando la desigualdad entre la media aritmtica y la media cuadrtica
e
a
(vea ejercicio 1.68), obtenemos
2y + 2z
2x + 2y
2z + 2x
2x + 2y + 2z =
+
+
2
2
2
2x + 2y
2y + 2z
2z + 2x
+
+
2
2
2
=
x + y + y + z + z + x.
(x + y + z)xyz.
(ABC)
=
s
Finalmente, de (ABC) =
abc
4R
R=
(x + y + z)xyz
=
x+y+z
xyz
.
x+y+z
se tiene
(x + y)(y + z)(z + x)
4
(x + y + z)xyz
(2.2)
66
Desigualdades Geomtricas
e
3
a
3 3 x2 y, 2y + z 3 3 y 2 z y 2z + x 3 z 2 x, lo que nos ayudar a tener la
siguiente desigualdad
(A B C )
9
3(x + y + z)27(xyz)
= (ABC),
16
4
o
Ejercicio 2.18 Sean a, b y c las longitudes de los lados de un tringulo, muestre
a
que
3(ab + bc + ca) (a + b + c)2 4(ab + bc + ca).
Ejercicio 2.19 Sean a, b y c las longitudes de los lados de un tringulo, muestre
a
que
ab + bc + ca a2 + b2 + c2 2(ab + bc + ca).
Ejercicio 2.20 Sean a, b y c las longitudes de los lados de un tringulo, muestre
a
que
2 a2 + b2 + c2 (a + b + c)2 .
Ejercicio 2.21 Sean a, b y c las longitudes de los lados de un tringulo, muestre
a
que
a
b
c
3
+
+
< 2.
2
b+c c+a a+b
Ejercicio 2.22 (IMO, 1964) Sean a, b y c las longitudes de los lados de un
tringulo, muestre que
a
a2 (b + c a) + b2 (c + a b) + c2 (a + b c) 3abc.
67
3 a + b + c 2 3.
Ejercicio 2.27 Sean a, b, c las longitudes de los lados de un tringulo y r el
a
inradio del tringulo, muestre que
a
3
1 1 1
+ +
.
a b
c
2r
Ejercicio 2.28 Sean a, b, c las longitudes de los lados de un tringulo y s el
a
semiper
metro, muestre que:
(i) (s a)(s b) < ab,
ab + bc + ca
.
4
c
clica
a2 + b2 c2
a2 b2 + c2 a2 + b2 + c2 ,
68
Desigualdades Geomtricas
e
donde c
clicas, (a, b, c), (b, c, a)
clica signica la suma sobre las permutaciones c
y (c, a, b), de (a, b, c).
Ejercicio 2.30 Si a, b, c son las longitudes de los lados de un tringulo
a
acutngulo, muestre que
a
c
clica
a2 + b2 c2
a2 b2 + c2 ab + bc + ca,
donde c
clicas, (a, b, c), (b, c, a)
clica signica la suma sobre las permutaciones c
y (c, a, b), de (a, b, c).
2.3.
2 + b2 + c2 .
a
rea (ABC), entonces 4 3(ABC) a
h
d
3
podemos escribir como h = 2 a + y, donde y mide su defecto con respecto a
la longitud de la altura del tringulo equiltero. Tambin escribimos d = a x
a
a
e
2
a
y e = 2 + x, donde x se puede interpretar como el defecto o la diferencia, que
69
a
+x
a2 + b2 + c2 4 3(ABC) = a2 + h2 +
2
+ h2 +
a
x
2
ah
4 3
2
3 2
3
2
2
= a + 2h + 2x 2 3 a
a+y
2
2
3
3 2
= 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.
c
B
70
Desigualdades Geomtricas
e
a2 + c2 b2
= a2 + c2 ac
2 3(ABC)
2ac
2 + b2 + c2
a
=
2 3(ABC).
2
a,
la desigualdad de Nesbitt, (ver ejemplo 1.4.8 de la seccin 1.4). Esta dice que
o
para nmeros positivos a, b, c, siempre se tiene
u
b
c
3
a
+
+
.
b+c c+a a+b
2
(2.4)
9
3
3= .
2
2
71
1
1
6 3
1
+
+
,
(i)
MD ME
MF
a
1
1
1
3 3
(ii)
+
+
.
MD + ME ME + MF
MF + MD
a
A
F
1 1 1
+ +
x y z
9, despejando,
9
6 3
1 1 1
+ + =
.
x y z
h
a
Para demostrar la segunda parte, observemos que de la desigualdad (2.3), tenemos que
(x + y + y + z + z + x)
Por lo tanto,
1
x+y
1
y+z
1
z+x
9
2h
1
1
1
+
+
x+y y+z z+x
=
3 3
a .
9.
72
Desigualdades Geomtricas
e
r
r
r
+
+
= 1,
ha hb hc
(ii) ha + hb + hc 9r.
Para demostrar la primera ecuacin, observemos que
o
manera anloga,
a
r
hb
(ICA)
r
(ABC) , hc
r
r
r
+
+
ha hb hc
(IAB)
(ABC) ,
r
ha
sumando
ra
ha a
(IBC)
(ABC) .
De
(ICA)
(IAB)
(IBC)
+
+
(ABC) (ABC) (ABC)
(IBC) + (ICA) + (IAB)
= 1.
(ABC)
=
=
ha
I
r
1
1
1
+
+
ha hb hc
r 9r.
Ejemplo 2.3.4 Sea ABC un tringulo con alturas AD, BE, CF y sea H el
a
ortocentro. Muestre que:
(i)
(ii)
BE
CF
AD
+
+
9,
HD HE
HF
HF
3
HD HE
+
+
.
HA HB HC
2
73
F
H
HF
HD HE
+
+
AD
BE
CF
9.
1
Ms an, la igualdad se da si y slo si HD = HE = HF = 3 , o lo que es lo
a u
o
AD
BE
CF
1
mismo, S1 = S2 = S3 = 3 S. Para demostrar la segunda parte observemos que,
S1
S1
S2
S3
HD
HE
HF
HD
a
HA = ADHD = SS1 = S2 +S3 y anlogamente, HB = S3 +S1 , HC = S1 +S2 ,
3
entonces por la desigualdad de Nesbitt tenemos que HD + HE + HF 2 .
HA
HB
HC
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 Geomtricas
e
P
P
AL
AD
AL
AD
Es claro que, LP = P D P A . Luego, el valor m
nimo de LP + BM + CN se
MQ
NR
obtiene cuando P , Q y R son los puntos medios de los arcos BC, CA y AB,
respectivamente. Esto suceder cuando AL, BM y CN sean las bisectrices
a
internas del tringulo ABC. Por lo que, sin perder generalidad, supondremos
a
que AL, BM y CN son las bisectrices internas de ABC. Como AL es bisectriz
interna, se tiene que1
BL =
ba
ca
, LC =
b+c
b+c
a
b+c
AL2 = bc 1
Adems,
a
AL2
AL2
AL
=
=
=
LP
AL LP
BL LC
(bc) 1
a
b+c
a2 bc
(b+c)2
(b + c)2 a2
.
a2
(a + b)2 c2
CN
=
.
NR
c2
Por lo tanto,
CN
AL BM
+
+
LP
MQ NR
b+c
a
c+a
b
a+b
c
75
a2
b2
+ 2
b2
a
c+a
b
b2 c2
+
c2 b2
c2
a2
+ 2
a2
c
a+b
c
3=
+2
ab bc ca
+ 2+ 2
c2
a
b
2 3 + 2 3 3 = 9.
Aqu usamos el hecho que
a2
b2
b
+ a2 2 y que
ab
c2
bc
+ a2 + ca 3 3
b2
(ab)(bc)(ca)
a2 b2 c2
= 3.
Ejemplo 2.3.6 (Lista corta IMO, 1997) Las longitudes de los lados de un
hexgono ABCDEF satisfacen AB = BC, CD = DE y EF = F A. Muestre
a
que
DE
FA
3
BC
+
+
.
BE
DA F C
2
B
A
c
a
b
D
E
Sean a = AC, b = CE y c = EA. La desigualdad de Ptolomeo (ver ejercicio
2.11), aplicada en el cuadriltero ACEF , nos garantiza que AE F C F A
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
Anlogamente, se puede ver que
a
a
BC
BE
b+c
DE
b
.
DA
c+a
FA
a
b
c
3
Por tanto, BC + DE + F C b+c + c+a + a+b 2 . La ultima desigualdad es
BE
DA
la desigualdad de Nesbitt, que sabemos es cierta.
76
Desigualdades Geomtricas
e
b
c
a
+
+
3,
b+ca c+ab a+bc
1
1
9
1
+
+
,
S1 S2 S3
S
1
1
1
18
+
+
.
S1 S2 S3
S
BE
CF
AD
+
+
9,
DD
EE
FF
BE
CE
9
AD
+
+
.
AD
BE
CF
4
77
(i) la lb lc rs2 .
(ii) la lb + lb lc + lc la s2 .
2
2
2
(iii) la + lb + lc s2 .
2.4.
Otra demostracin puede verse en [6], pg. 122 o [9], pg. 29.
o
a
a
La demostracin puede verse en [6], observacin 3.2.7, pg. 123 o [1], pg. 76.
o
o
a
a
78
Desigualdades Geomtricas
e
= OM 2 M D 2 + DQ2 QO2
= DO(M O + M D + DQ + OQ)
= R(2M Q) = 2Rr.
Por lo tanto, OI 2 = R2 2Rr.
Existen demostraciones directas de la desigualdad (esto es, sin utilizar la frmula de Euler).
o
Una de ellas es la siguiente: el c
rculo de los nueve puntos de un tringulo es el circunc
a
rculo
del tringulo medial A B C , como este tringulo es semejante a ABC en razn 2:1, se tiene
a
a
o
que el radio del c
rculo de los nueve puntos es R . Claramente una circunferencia que corta a
2
los tres lados del tringulo debe tener radio mayor que el radio del inc
a
rculo, luego R r.
2
79
s
La segunda desigualdad, 33 R , es equivalente a a + b + c 3 3R. Pero
2
sta, utilizando la ley de los senos, es equivalente a sen A + sen B + sen C
e
3 3
o
2 . Observemos que esta ultima desigualdad es verdadera, ya que la funcin
f (x) = sen x es cncava en [0, ], entonces sen A+sen B+sen C sen A+B+C =
o
3
3
sen 60 =
3
2 .
A
2
sen
B
2
sen
C
2
1
.
8
Ejercicio 2.43 Sea ABC un tringulo. Llamamos a los ngulos en los vrtices
a
a
e
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 tringulo y sea R el radio del circunc
a
rculo.
Muestre que
2A
1
a
2B
1
b
2C
1
c
2
3
3
R
80
Desigualdades Geomtricas
e
1 2
a + b2 + c2 .
9
R
B
1
GA = AA ,
3
sustituyendo tenemos
2
1
2
OG2 + (A A)2 = A O2 + R2 .
9
3
3
6
R2
a2
4
y A O2 = R2
2 1 2 2
+ R
3 3
9
a2
4 ,
81
tenemos que
2 b2 + c2 a2
4
a2 2 b2 + c2 a2
6
18
2 + b2 + c2
a
= R2
.
9
= R2
9abc
.
4 3(ABC)
a+b+c
Usando que 4R(ABC) = abc, tenemos las siguientes equivalencias
a2 b2 c2
3abc
a2 + b2 + c2
4(ABC)
.
2
2 + b2 + c2
16(ABC)
9
a
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 ngulos en cada uno de los
a
vrtices del tringulo ABC, muestre que
e
a
sen2 A + sen2 B + sen2 C
7
9
.
4
82
Desigualdades Geomtricas
e
3
4 3(ABC) 3 a2 b2 c2 .
s2
,
3
donde s es el semiper
metro de ABC.
Ejercicio 2.47 Sean a, b, c las longitudes de los lados de un tringulo ABC
a
y sean ha , hb , hc las longitudes de las alturas sobre A, B, C, respectivamente.
Muestre que
b2
c2
a2
+
+
4.
hb hc
hc ha ha hb
2.5.
Funciones simtricas de a, b y c
e
(2.5)
2
ab + bc + ca = s + r + 4rR
(2.6)
abc = 4Rrs.
(2.7)
83
b2 + c2 a2 c2 + a2 b2 a2 + b2 c2
+
+
2bc
2ca
2ab
2 + c2 + b c2 + a2 + c a2 + b2 a3 + b3 + c3
a b
2abc
2 + b2 + c2 ) 2(a3 + b3 + c3 )
(a + b + c) (a
2abc
2 r 2 4Rr 4 s3 3r 2 s 6Rrs
4s s
8Rrs
2 r 2 4Rr (s2 3r 2 6Rr)
s
2Rr
2 + 2Rr
2r
r
= + 1.
2Rr
R
Ejemplo 2.5.2 Sean A, B y C los ngulos en cada uno de los vrtices del
a
e
tringulo ABC, muestre que cos A + cos B + cos C 3 .
a
2
El lema 2.5.1 nos garantiza que cos A + cos B + cos C =
desigualdad de Euler, R 2r, tenemos el resultado.
r
R
+ 1, y usando la
84
Desigualdades Geomtricas
e
Luego,
cos A + cos B + cos C =
=
b2 + c2 a2 c2 + a2 b2 a2 + b2 c2
+
+
2bc
2ca
2ab
(b + c a)(c + a b)(a + b c)
+ 1,
2abc
C
L
c
El teorema de la bisectriz nos asegura que BL = AB = b y, como BL+LC = a,
LC
CA
ac
ab
se tiene que BL = b+c y LC = b+c . El mismo teorema de la bisectriz aplicado
a
IL
BL
ac
a la bisectriz BI del ngulo ABL, garantiza que AI = AB = (b+c)c = b+c .
a
Por lo que,
AI + IL
IL
a
a+b+c
AL
=
=1+
=1+
=
.
AI
AI
AI
b+c
b+c
AI
b+c
BI
c+a
CI
Luego, AL = a+b+c 8 . Anlogamente, BM = a+b+c y CN =
a
desigualdad que se pide demostrar en trminos de a, b y c, es
e
a+b
a+b+c .
As la
,
(b + c)(c + a)(a + b)
8
1
<
.
3
4
(a + b + c)
27
La desigualdad M G AM nos garantiza que
(b + c)(c + a)(a + b)
(b + c) + (c + a) + (a + b)
3
8
(a + b + c)3 ,
27
85
=
=
1
8
1+
x
x+y+z
1
8
1+
xyz
x + y + z xy + yz + zx
+
+
x+y+z
x+y+z
x+y+z
1+
y
x+y+z
1+
z
x+y+z
>
1
.
4
Ejercicio 2.48 Sean A, B y C las medidas de los ngulos en cada uno de los
a
vrtices del tringulo ABC, muestre que
e
a
sen2
B
C
3
A
+ sen2 + sen2 .
2
2
2
4
4 3(ABC)
9abc
.
a+b+c
3
4 3(ABC) 3 a2 b2 c2 .
86
Desigualdades Geomtricas
e
4 3(ABC) a2 + b2 + c2 .
Ejercicio 2.52 Sean a, b y c las longitudes de los lados de un tringulo y
a
(ABC) el rea del tringulo, muestre que
a
a
4 3(ABC) ab + bc + ca.
Ejercicio 2.54 Sean a, b y c las longitudes de los lados de un tringulo y
a
(ABC) el rea del tringulo, muestre que
a
a
3(a + b + c)abc
4 3(ABC)
.
ab + bc + ca
Ejercicio 2.55 Sean a, b y c las longitudes de los lados de un tringulo. Si
a
a + b + c = 1, muestre que
1
a2 + b2 + c2 + 4abc < .
2
Ejercicio 2.56 Sean a, b y c las longitudes de los lados de un tringulo, R el
a
circunradio y r el inradio, muestre que
2r
(b + c a)(c + a b)(a + b c)
= .
abc
R
Ejercicio 2.57 Sean a, b y c las longitudes de los lados de un tringulo y R el
a
circunradio, muestre que
3 3R
a2
b2
c2
+
+
.
b+ca c+ab a+bc
87
2
(1) (a b)2 + (b c)2 + (c a)2 = (x y)2 + (y z)2 + (z x)2 = 2(1 32 ).
(2) a + b + c = 21 .
2
(3) a2 + b2 + c2 = 21 22 .
2
(4) ab + bc + ca = 1 + 2 .
(5) abc = 1 2 3 .
(6) 16(ABC)2 = 2(a2 b2 + b2 c2 + c2 a2 ) (a4 + b4 + c4 ) = 16r 2 s2 = 161 3 .
(7) R =
(8) r =
1 2 3
.
4 1 3
3
.
1
2.6.
8.
cd
2 , tenemos
bc+da
2 . Estas
que
dos
tenemos que, a + b + c + d + e + f 4 + 8.
88
Desigualdades Geomtricas
e
A2
a
a
A
c
b B
B1
b
a
C c
c
C2
C1
B2
Es claro, usando la frmula de rea (ABC) =
o
a
ab sen C
,
2
que
(b + c)2 sen A
(c + a)2 sen B (a + b)2 sen C
+
+
+
2
2
2
89
(ii)
R1
per
metro de A1 B1 C1 D1
.
per
metro de ABCD
R
(A1 B1 C1 D1 )
(ABCD)
R1
R
B1
A
D
O
B
C
C1
D1
BD1 R1 C1 D1 R + BC1 R1
(2.8)
CA1 R1 D1 A1 R + CD1 R1
DB1 R1 A1 B1 R + DA1 R1 .
Luego, al sumar estas desigualdades y descomponer AC1 , BD1 , CA1 y DB1
como AB + BC1 , BC + CD1 , CD + DA1 y DA + AB1 , respectivamente,
tenemos
R1 per
metro (ABCD) + R1 (BC1 + CD1 + DA1 + AB1 )
R per
metro (A1 B1 C1 D1 ) + R1 (AB1 + BC1 + CD1 + DA1 ).
90
Desigualdades Geomtricas
e
Por lo tanto,
R1
per
metro (A1 B1 C1 D1 )
.
per
metro (ABCD)
R
Para demostrar (ii), usaremos el hecho que (ABCD) = ad sen A+bc sen A =
2
sen A
(ad + bc) y tambin que (ABCD) = ab sen B+cd sen B = sen B (ab + cd),
e
2
2
2
donde A = DAB y B = ABC.
A1
B1
w
d
D
a
O
B
b
z
C
D1
C1
w(d+x)
ab+cd .
x(a+y)sen A
, podemos deducir la igual2
(BC1 D1 )
y(b+z) (CD1 A1 )
z(c+w)
(ABCD) = ab+cd , (ABCD) = ad+bc ,
Luego,
x
z
y
w
+
+
+
,
y(ad + bc) w(ad + bc) z(ab + cd) x(ab + cd)
2
4(R1 R2 )
91
2R)
+ b + c + d)2 (4 4
= 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
1
4 (a
2
4(R1 R2 )
(A1 B1 C1 D1 )
1+
=
(ABCD)
4R2
R1
R
igual a b.
D
B
El rea del papalote ABCD es por un lado
a
(ABCD) = (ABC) + (ACD) =
y por otro, (ABCD) = 2(ABD) =
c(a c) +
2 ab sen BAD
.
2
b(b c)
92
Desigualdades Geomtricas
e
a
de donde se sigue el resultado buscado.
ab,
Podemos dar otra solucin del ejemplo anterior. Como y BD son perpendio
AC
( b c + a c)(2 c) a b + a b,
de donde el resultado se sigue.
Ejercicio 2.59 En cada lado de un cuadrado con lados de longitud uno, se
escoge un punto. Los cuatro puntos forman un cuadriltero con lados de longitud
a
a, b, c y d, muestre que:
(i) 2 a2 + b2 + c2 + d2 4,
(ii) 2 2 a + b + c + d 4.
Ejercicio 2.60 En cada lado de un hexgono regular de lados de longitud 1 se
a
escoge un punto. Los seis puntos forman un hexgono de per
a
metro h. Muestre
que 3 3 h 6.
Ejercicio 2.61 Considere las tangentes al inc
rculo, de un tringulo ABC, que
a
son paralelas a los lados del tringulo. Estas determinan junto con los lados del
a
tringulo un hexgono T . Muestre que
a
a
per
metro de T
2
per
metro de (ABC).
3
93
5+ 5
(ii) (ABCDE) =
(ABC).
2
(i)
Ejercicio 2.67 Si AD, BE y CF son las alturas del tringulo ABC, muestre
a
que
per
metro (DEF ) s,
donde s es el semiper
metro de ABC.
Ejercicio 2.68 Las longitudes de las bisectrices internas de un tringulo son
a
menores o iguales a 1, muestre que el rea de dicho tringulo es menor o igual
a
a
a 33 .
Ejercicio 2.69 Si a, b, c, d son las longitudes de los lados de un cuadriltero
a
convexo de rea (ABCD), muestre que:
a
ab + cd
(i) (ABCD)
,
2
ac + bd
,
(ii) (ABCD)
2
a+c
b+d
(iii) (ABCD)
.
2
2
2.7.
Teorema de Erds-Mordell
o
94
Desigualdades Geomtricas
e
Demostracin.
o
P
A
C
C
B
P
C
B
A
La suma de las reas de estos paralelogramos es cpa + apc y es igual al rea del
a
a
P P C , donde A P es paralela a BP y de igual longitud. El
paralelogramo A
a
rea de A P P C es menor o igual que b P B. Adems, las reas son iguales
a
a
si BP es perpendicular a A C si y slo si P est sobre BO, donde O es el
o
a
circuncentro de ABC 9 .
BP es perpendicular a A C si y slo si P BA = 90 A , pero A = A y
o
OBC = 90 A, luego P deber de estar sobre BO.
a
9
95
P
a
pc P
b
P
pa
B
Luego,
B
cpa + apc bP B.
Por lo tanto,
c
a
P B pa + pc .
b
b
Anlogamente,
a
PA
c
b
pc + pb
a
a
b
a
P C pa + pb .
c
c
b c
+
c b
pa +
a b
c a
pb +
+
+
a c
b a
pc 2 (pa + pb + pc ) ,
c
ya que b + b 2. Adems, tenemos la igualdad si y slo si a = b = c y P se
a
o
c
encuentra en AO, BO y CO. Es decir, si el tringulo es equiltero y P = O.
a
a
96
Desigualdades Geomtricas
e
A
c
pc P
pa
a
cP C apa + bpb .
Por lo tanto,
aP A + bP B + cP C 2(apa + bpb + cpc ) = 4(ABC).
Ejemplo 2.7.4 Con la notacin del teorema de Erds-Mordell, muestre que
o
o
pa P A + pb P B + pc P C 2 (pa pb + pb pc + pc pa ) .
Como en el ejemplo anterior, tenemos que aP A bpb + cpc . Por lo que,
pa P A
c
b
pa pb + pc pa .
a
a
c
a
b
a
pa pb + pb pc , pc P C pc pa + pb pc .
b
b
c
c
Al sumar las tres desigualdades, obtenemos
Anlogamente, tenemos que pb P B
a
a b
b c
+
+
pa pb +
b a
c b
2 (pa pb + pb pc + pc pa ) .
pa P A + pb P B + pc P C
pb pc +
c a
pc pa
+
a c
1
1
1
+
+
PA PB PC
1
1
1
+ .
+
pa pb pc
97
C1
B1
A
P
C1
B
A
1
A1
P A1 P A = P B1 P B1 = P C1 P C1 = d2 .
1
Ms an, A , B y C se encuentran sobre B1 C1 , C1 A , y A B1 , respectivaa u
1
1
, P B y P C son perpendiculares a B C , C A y
mente, y los segmentos P A
1 1
1 1
A B1 , respectivamente.
1
Aplicando el teorema de Erds-Mordell al tringulo A B1 C1 , obtenemos que
o
a
1
+ P B + P C 2 (P A + P B + P C ).
P A1
1
1
Pero como,
P A =
1
d2
d2
d2
, P B1 =
, P C1 =
,
P A1
P B1
P C1
P C =
d2
,
PC
P B =
d2
d2
, P A =
,
PB
PA
luego,
d2
1
1
1
+
+
P A1 P B1 P C1
2d2
1
1
1
+
+
PA PB PC
por lo tanto,
2
1
1
1
+
+
PA PB PC
1
1
1
+
+
pa pb pc
98
Desigualdades Geomtricas
e
A
b
pc P
pa
c
C1
Sea C1 sobre BC tal que BC1 = AB. Luego, AC1 = 2c sen B , y el teorema de
2
Pappus nos garantiza que, P B 2c sen B c pa + c pc . Por lo tanto,
2
PB
pa + pc
.
2 sen B
2
Anlogamente,
a
PA
pb + pc
2 sen A
2
PC
pa + pb
.
2 sen C
2
1
8 sen A
2
1
sen B
2
sen C
2
sen B
2
sen C =
2
Ejemplo 2.7.7 (IMO, 1991) Sea P un punto interior del tringulo ABC. Muesa
tre que alguno de los ngulos P AB, P BC, P CA es menor o igual a 30 .
a
Tracemos A1 , B1 y C1 las perpendiculares desde P a los lados BC, CA y AB,
respectivamente. Por el teorema de Erds Mordell, obtenemos que P A + P B +
o
P C 2P A1 + 2P B1 + 2P C1 .
99
C1
B1
A1
P C 2P B1 .
P
.
2
E
F
N
P M
D
C
A
B
100
Desigualdades Geomtricas
e
ZP
z
x
F N + BN ,
y
y
x
y
BP + DP.
z
y
101
Observemos que
y z
+
z y
z
y
BP + BN =
z
y
BP + BN
2
y z
z y
BP BN
2
BN BP
DP DM
FM FN
=
=
.
XY
YZ
ZX
Al aplicar la desigualdad
y
z
BP + BN
z
y
y
z
z
y
2, obtenemos
y z
+
z y
BP + BN
r
2
2
r yx zx
BP + BN
.
2 z
y
yx zx
z
y
r xz yz
,
2 y
x
r zy xy
.
DM + DP
2 x
z
FN + FM
P A2 P B 2 P C 2
+
+
12,
pb pc
pc pa
pa pb
PB
PC
PA
3,
+
+
pb + pc pc + pa pa + pb
102
Desigualdades Geomtricas
e
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 tringulo, P un punto arbitrario del plano y sean
a
pa , pb y pc las distancias de P a los lados del tringulo con longitudes a, b y
a
c, respectivamente. Si por ejemplo, P y A estn en distintos lados de la recta
a
BC, entonces pa es negativo, y lo mismo pasa en los otros dos casos. Muestre
que
PA + PB + PC
2.8.
b c
+
c b
pa +
c a
pb +
+
a c
a b
+
b a
pc .
Problemas de optimizacin
o
M
N
P
P
B
P
L C
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 interseccin de P N con A B . Adems, P M es
o
a
altura del tringulo equiltero A P P . Si A P es la altura del tringulo A P P
a
a
a
desde A , es claro que P M = A P . Sea L el pie de la altura desde el vrtice
e
A del tringulo A B C . Luego,
a
P L + P M + P N = P L + N M + P N = P L + A P = A P + P L = A L .
Observacin 2.8.2 (i) Hay una prueba del lema de Viviani que se basa en el
o
manejo de las reas. Denotemos por (ABC) el rea del tringulo ABC, entonces
a
a
a
(ABC) = (ABP ) + (BCP ) + (CAP ). Luego, si a es la longitud del lado del
tringulo y h la longitud de su altura, se tiene que ah = aP N + aP L + aP M ,
a
cancelando a obtenemos h = P N + P L + P M .
(ii) Otra demostracin del lema de Viviani se deduce de la siguiente gura
o
A
N
M
P
M
104
Desigualdades Geomtricas
e
B
A
C
P
C
Como AP CB es c
clico, tenemos que, CP A = 180o B = 120o . Ana
logamente, por ser AP BC c
clico, AP B = 120o . Finalmente, BP C =
360o AP B CP A = 360o 120o 120o = 120o .
Para la unicidad, supongamos que Q cumple con AQB = BQC = CQA =
120o . Como AQB = 120o , el punto Q deber estar en el circunc
a
rculo de
ABC . Anlogamente, en el circunc
a
rculo de CAB , por lo que Q = P .
Estudiaremos ahora la solucin de Torricelli al problema de Fermat-Steiner. Dado
o
el tringulo ABC con ngulos menores o iguales a 120o , construimos el punto
a
a
de Fermat P , ste satisface que AP B = BP C = CP A = 120o . Ahora
e
por A, B y C tracemos perpendiculares a AP , BP y CP , respectivamente.
E
A A
F
P
Q
C
C
D
Estas perpendiculares determinan un tringulo DEF . Veamos que ste es ea
e
quiltero; como el cuadriltero P BDC es c
a
a
clico por tener en B y C ngulos
a
de 90 y como BP C = 120 , podemos deducir que BDC = 60 . Podemos
repetir este argumento en cada ngulo, luego DEF es equiltero.
a
a
Ahora bien, sabemos que la distancia de P a los vrtices del tringulo ABC es
e
a
igual a la longitud de la altura del tringulo equiltero DEF . Observemos que
a
a
cualquier otro punto Q, dentro del tringulo ABC, satisface que AQ A Q,
a
105
P
C
o
C P B = AP B, el punto P debe cumplir que AP B = BP C = 120 (y
entonces tambin CP A = 120 ).
e
Una ventaja de esta solucin es que proporciona otra caracterizacin del punto
o
o
de Fermat y otra forma de localizarlo. Si revisamos la demostracin podemos
o
, donde C es el tercer
resaltar que el punto P se encuentra en el segmento CC
vrtice del tringulo equiltero de lado AB, pero si en lugar de girar con centro
e
a
a
en B, se gira alrededor de C, se obtiene otro tringulo equiltero AB C y se
a
a
. Luego, podemos encontrar P
puede concluir que P se encuentra sobre BB
106
Desigualdades Geomtricas
e
como la interseccin de BB y CC .
o
La solucin de Steiner. Cuando tratamos de resolver problemas de mximos
o
a
y m
nimos nos enfrentamos principalmente a tres preguntas, (i) existe una
solucin?, (ii) es unica la solucin? (iii) qu propiedades caracterizan a la o
o
o
e
las soluciones? La solucin de Torricelli muestra que, de entre todos los puntos
o
del tringulo, este punto particular P , desde el cual se ven los tres lados del
a
tringulo con un ngulo de 120 , corresponde al menor valor de P A + P B +
a
a
P C. De esta forma responde a las tres preguntas que sealamos, hacindolo
n
e
adems de una manera elegante. Sin embargo, la solucin no da indicios de por
a
o
qu Torricelli elige tal punto; Cul fu su primer impulso para tomar ese punto?
e
a e
Probablemente esta pregunta no se podr responder. En lo que sigue veremos
a
una sucesin de ideas que nos llevan a descubrir por qu el punto de Fermat es
o
e
el ptimo, stas son debidas al gemetra suizo Jacob Steiner. Antes veamos los
o
e
o
siguientes dos lemas.
Lema 2.8.4 (Problema de Hern) Encontrar la trayectoria ms corta entre
o
a
dos puntos A y B que estn del mismo lado de una recta d, pasando por la
a
recta.
B
A
d
P
La distancia ms corta entre A y B, pasando por la recta d, la podemos encontrar
a
de la siguiente manera. Reejemos B sobre d para obtener un punto B ; el
segmento AB corta a d en un punto P que hace que AP + P B sea el
m
nimo entre las cantidades AP + P B, con P en d.
B
A
d
P
107
B
C
o
Sea D un punto sobre C, entonces tenemos que el conjunto {P : P A + P B =
DA+ DB} es una elipse ED , con focos en los puntos A y B, y que D pertenece
a ED . En general, Ed = {P : P A + P B = d}, donde d es un nmero positivo,
u
es una elipse con focos en A y B (si d > AB). Ms an, estas elipses tienen la
a u
o
propiedad de que Ed es un subconjunto del interior de Ed si y slo si d < d .
Luego, queremos encontrar el punto Q en C tal que QA + QB sea m
nima. El
punto ptimo Q pertenece a una elipse, precisamente a EQ . Esta elipse EQ no
o
intersecta a C en otro punto, de hecho, si C es otro punto en comn de EQ
u
, en el arco de circunferencia entre Q y C de C,
y C, entonces todo punto C
ser un punto interior de EQ , luego C A + C B < QA + QB y Q no ser el
a
a
o
ptimo, lo que es una contradiccin.
o
Luego, el punto Q que minimiza AQ+QB debe pertenecer a la elipse EQ que es
tangente a C en Q. La recta tangente comn a EQ y C deber ser perpendicular
u
a
al radio CQ, donde C es el centro de C y, por el principio de reexin de la
o
elipse (ngulo de incidencia es igual al ngulo de reexin), deber suceder que
a
a
o
a
CQ es bisectriz interna del ngulo AQB y entonces BQC = CQA.
a
108
Desigualdades Geomtricas
e
Q
A
109
E
F
H
Como estos dos tringulos tienen en comn al ngulo en A, bastar ver que
a
u
a
a
AEF = ABC. Pero es claro que AEF + F EC = 180 y como el
cuadriltero BCEF es c
a
clico se tiene que ABC + F EC = 180 , por lo
tanto AEF = ABC.
Lema 2.8.7 Con la notacin del lema anterior se tiene que, el reejado de D
o
con respecto a AB es colineal a E y F , y el reejado de D con respecto a CA
es colineal con E y F .
Demostracin. Es inmediata del lema anterior.
o
110
Desigualdades Geomtricas
e
A
D
E
F
D
B
N
F
C
Reejemos la gura completa sobre el lado BC, despus el tringulo resultante
e
a
lo reejamos sobre CA, luego sobre AB, sobre BC y nalmente en CA.
Tenemos en total seis tringulos congruentes y dentro de cada uno de ellos
a
tenemos su tringulo rtico y el otro tringulo inscrito LM N . El lado AB del
a
o
a
ultimo tringulo es paralelo al lado AB del primero, ya que como resultado de la
a
primera reexin, el lado AB se rota en sentido negativo un ngulo 2B, despus
o
a
e
en sentido negativo un ngulo 2A, en la tercera reexin queda invariante, en
a
o
la cuarta reexin gira un ngulo 2B en sentido positivo y en la quinta tambin
o
a
e
gira en sentido positivo un ngulo 2A. Luego, el ngulo total de rotacin del
a
a
o
segmento AB es cero.
El segmento F F es igual a dos veces el per
metro del tringulo rtico, ya que
a
o
F F se compone de seis pedazos, donde cada lado del rtico est tomado dos
o
a
veces. Tambin la l
e
nea quebrada N N es el doble del per
metro de LM N .
111
a
que esta cantidad sea m
nima. Es evidente que, AL = AL = AL y que AC y
AB son bisectrices de los ngulos LAL y L AL, respectivamente, por lo que
a
L AL = 2BAC = 2, el cual es un ngulo jo.
a
A
L
B
112
Desigualdades Geomtricas
e
As L L es m
,
nima cuando AL lo sea, es decir, cuando AL sea la altura10 .
Un anlisis semejante desde los puntos B y C nos lleva a que tambin BM y
a
e
CN debern ser alturas. Luego, el tringulo LM N de per
a
a
metro m
nimo es el
tringulo rtico.
a
o
Ejercicio 2.73 Sea ABCD un cuadriltero c
a
clico convexo. Si O es la interseccin de las diagonales AC y BD, y P , Q, R, S son los pies de las perpendio
culares desde O sobre los lados AB, BC, CD, DA, respectivamente, muestre
que P QRS es el cuadriltero de per
a
metro m
nimo inscrito en ABCD.
Ejercicio 2.74 Sea P un punto dentro del tringulo ABC. Sean D, E y F
a
los puntos de interseccin de AP , BP y CP con los lados BC, CA y AB,
o
respectivamente. Determine P tal que el rea del tringulo DEF sea mxima.
a
a
a
Ejercicio 2.75 (IMO, 1981) Sea P un punto dentro del tringulo ABC. Sean
a
D, E y F los pies de las perpendiculares desde P a los lados BC, CA y AB,
CA
BC
respectivamente. Encuentre el punto P que minimiza a P D + P E + AB .
PF
Ejercicio 2.76 Sean P , D, E y F , como en el ejercicio 2.75. Para qu punto
e
2 + CE 2 + AF 2 es m
P , la suma BD
nima?
Ejercicio 2.77 Sean P , D, E y F como en el ejercicio 2.75. Para qu punto
e
P , el producto P D P E P F es mximo?
a
Ejercicio 2.78 Sea P un punto dentro del tringulo ABC. Para qu punto
a
e
P , la suma P A2 + P B 2 + P C 2 es m
nima?
Ejercicio 2.79 Para cada punto P del circunc
rculo del tringulo ABC, se
a
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 mxima y cul es su longitud.
a
a
10
a
o
e
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 porqu. El tringulo AL L es issceles con L AL = 2A,
e
a
o
luego, AL L = 90 A y por simetr ELA = 90 A, por tanto CLE = A.
a
Luego, AELB es un cuadriltero c
a
clico, por lo tantoAEB = ALB = 90 , lo que implica
que BE sea altura. Anlogamente, CF es altura.
a
113
Ejercicio 2.80 (Turqu 2000) Sea ABC un tringulo acutngulo con cira,
a
a
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 circunc
rculo de DEF . Muestre que
t2
t2
3
t2
a
+ b + c R.
ha hb hc
2
Ejercicio 2.81 Sean ha , hb , hc las longitudes de las alturas de un tringulo
a
ABC y pa , pb , pc las distancias desde un punto P a los lados BC, CA, AB,
respectivamente, donde P es un punto dentro del tringulo ABC. Muestre que:
a
(i)
ha hb hc
+
+
9.
pa
pb
pc
(ii) ha hb hc 27pa pb pc .
(iii) (ha pa )(hb pb )(hc pc ) 8pa pb pc .
Ejercicio 2.82 Si h es la longitud de la altura ms grande de un tringulo
a
a
acutngulo entonces r + R h.
a
Ejercicio 2.83 De los tringulos que tienen una base comn y un mismo
a
u
per
metro, el issceles es el que tiene mayor rea.
o
a
Ejercicio 2.84 De todos los tringulos con un per
a
metro dado, el tringulo
a
equiltero es el que tiene mayor rea.
a
a
Ejercicio 2.85 De todos los tringulos inscritos en un c
a
rculo dado, el tringulo
a
equiltero es el que tiene mayor per
a
metro.
Ejercicio 2.86 Si P es un punto dentro del tringulo ABC, l = P A, m = P B
a
y n = P C, muestre que
(lm + mn + nl)(l + m + n) a2 l + b2 m + c2 n.
Ejercicio 2.87 (IMO, 1961) Sean a, b y c las longitudes de los lados de un
tringulo ABC y sea (ABC) su area, muestre que
a
4 3(ABC) a2 + b2 + c2 .
114
Desigualdades Geomtricas
e
Ejercicio 2.88 Sea (ABC) el rea del tringulo ABC y sea F el punto de
a
a
Fermat del tringulo. Muestre que
a
4 3(ABC) (AF + BF + CF )2 .
Ejercicio 2.89 Sea P un punto dentro del tringulo ABC, muestre que
a
P A + P B + P C 6r.
Ejercicio 2.90 (El rea del tringulo pedal). Para un tringulo ABC y un
a
a
a
punto P del plano, se dene el tringulo pedal de P con respecto a ABC
a
como el tringulo A1 B1 C1 , donde A1 , B1 , C1 son los pies de las perpendiculares
a
desde P sobre BC, CA, AB, respectivamente. Muestre que el rea del tringulo
a
a
A1 B1 C1 satisface
(A1 B1 C1 ) =
(R2 OP 2 )(ABC)
,
4R2
Cap
tulo 3
Problemas Recientes de
Desigualdades
SB + SC
1
<
< 2 2.
2
SA
Problema 3.2 (Repblicas Checa y Eslovaca, 1995) Sea ABCD un tetraedro
u
con
BAC + CAD + DAB = ABC + CBD + DBA = 180 .
Muestre que CD AB.
Problema 3.3 (Estonia, 1995) Sean a, b, c las longitudes de los lados de un
tringulo y , , los ngulos opuestos a los lados, respectivamente. Muestre
a
a
que si el inradio del tringulo es r, entonces
a
a sen + b sen + c sen 9r.
116
xn
x2 x3
2
+ 3 + + n,
2
3
n
i=1
xi
< .
1 + x0 + + xi1 xi + + xn
2
117
xi xj
n2
+
n1
n
i=1
n
i=1 ai
ai x2
i
.
1 ai
n
i=1
xi (xn+1 xi )
i=1
xn+1 (xn+1 xi ).
Problema 3.16 (Taiwan, 1997) Sean a1 , ..., an nmeros positivos, tales que
u
ai1 +ai+1
es entero para toda i = 1, ..., n, a0 = an , an+1 = a1 y n 3. Muestre
ai
que
an1 + a1
an + a2 a1 + a3 a2 + a4
+
+
+ +
3n.
2n
a1
a2
a3
an
Problema 3.17 (Taiwan, 1997) Sea ABC un tringulo acutngulo, con cira
a
cuncentro O y circunradio R. Muestre que si AO corta al circunc
rculo de OBC
en D, BO corta al circunc
rculo de OCA en E y CO corta al circunc
rculo de
OAB en F , entonces OD OE OF 8R3 .
Problema 3.18 (APMO, 1997) Sea ABC un tringulo. La bisectriz interna
a
del ngulo A intersecta al segmento BC en X y al circunc
a
rculo en Y . Sea
AX
a
la = AY . Anlogamente, dena lb y lc . Muestre que
la
lb
lc
+
+
3
2A
2B
sen
sen
sen2 C
118
n+1
.
2
z
x
b
+ = ,
x z
y
x y
c
+ = .
y
x
z
1
1
1
1
+
+
+
x1 x2 x3 x4
Problema 3.23 (Irn, 1998) Sean x, y, z nmeros mayores que 1 y tales que
a
u
1
1
1
+ y + z = 2. Muestre que
x
x+y+z
x1+
y1+
z 1.
M C M D 3 3M A M B.
119
Problema 3.26 (Espaa, 1998) Una recta que contiene al centroide G del
n
tringulo ABC intersecta el lado AB en P y el lado CA en Q. Muestre que
a
1
P B QC
.
P A QA
4
120
AB + BC + CA
.
8
Problema 3.33 (Polonia, 1999) Sea D un punto sobre el lado BC del tringulo
a
ABC tal que AD > BC. Considere un punto E sobre el lado CA de manera
AE
BD
que EC = ADBC . Muestre que AD > BE.
Problema 3.34 (Rumania, 1999) Sean a, b, c nmeros reales positivos tales
u
que ab + bc + ca 3abc. Muestre que a + b + c a3 + b3 + c3 .
Problema 3.35 (Rumania, 1999) Sean x1 , x2 , ..., xn nmeros reales positivos
u
tales que x1 x2 xn = 1. Muestre que
1
1
1
+
+ +
1.
n 1 + x1 n 1 + x2
n 1 + xn
Problema 3.36 (Rumania, 1999) Sea n 2 un entero positivo y sean x1 ,
y1 , x2 , y2 , ..., xn , yn nmeros reales positivos tales que x1 + x2 + + xn
u
x1 y1 + x2 y2 + + xn yn . Muestre que
x1 + x2 + + x n
x1 x2
xn
+
+ +
.
y1
y2
yn
j
j=1
n2 1
.
2
121
Problema 3.40 (San Petesburgo, 1999) Sean x0 > x1 > > xn nmeros
u
reales. Muestre que
x0 +
1
1
1
+
+ +
xn + 2n.
x0 x1 x1 x2
xn1 xn
Problema 3.44 (APMO, 1999) Sea {an } una sucesin de nmeros reales que
o
u
satisfacen, ai+j ai + aj , para toda i, j = 1, 2, . . .. Muestre que
a1 +
an
a2
+ +
an , para toda n N.
2
n
122
4
1i<jn
xi xj (x2 + x2 ) C
i
j
1in
xi ,
a
+
b
2(a + b)
1 1
+
.
a b
Problema 3.50 (IMO, 2000) Sean a, b, c nmeros reales positivos con abc = 1.
u
Muestre que
a1+
1
b
b1+
1
c
c1+
1
a
1.
123
a2 + b2 + c2 3 abc.
abc(a + b + c)
ixi
n
2
xi
i
+
i=1
se tiene para cada entero n 2 y para todos los nmeros reales no negativos
u
x1 , x2 , ..., xn .
Problema 3.54 (Austria-Polonia, 2001) Muestre que
2<
a + b b + c c + a a3 + b3 + c3
+
+
3,
c
a
b
abc
a2
a
b
c
+
+
1.
2 + 8ca
2 + 8ab
+ 8bc
b
c
Problema 3.56 (Lista corta IMO, 2001) Muestre que para todos los nmeros
u
reales x1 , x2 , . . . , xn ,
x2
xn
x1
n.
2 + 1 + x 2 + x2 + + 1 + x 2 + + x 2 <
1 + x1
n
1
1
2
Problema 3.57 (Austria, 2002) Sean a, b, c nmeros reales tales que existen
u
, , {1, 1}, con a + b + c = 0. Determine el valor positivo ms
a
pequeo de
n
a3 +b3 +c3
abc
124
,
b(a + b) c(b + c) a(c + a)
(a + b + c)2
para cualesquiera nmeros reales positivos a, b, c.
u
Problema 3.59 (Canad, 2002) Muestre que para cualesquiera nmeros reales
a
u
positivos a, b, c,
a3
b3
c3
+
+
a + b + c,
bc ca ab
y determine cundo ocurre la igualdad.
a
Problema 3.60 (Irlanda, 2002) Muestre que para cualesquiera nmeros reales
u
positivos x, y, z menores que 1, se tiene que
3 3 xyz
y
z
x
+
+
1x 1y 1z
1 3 xyz
Problema 3.61 (Rioplatense, 2002) Sean a, b, c nmeros reales positivos.
u
Muestre que
a
1
+
b+c 2
1
b
+
c+a 2
1
c
+
a+b 2
1.
a + bc + b + ca + c + ab abc + a + b + c.
125
1
.
27
1
1
1
3
+
+
,
mb mc mc ma ma mb
S
donde S es el rea del tringulo y ma , mb , mc son las longitudes de las mediaa
a
nas.
Problema 3.67 (Rumania, 2003) Sean a, b, c, d nmeros reales positivos con
u
abcd = 1. Muestre que
1 + ab 1 + bc 1 + cd 1 + da
+
+
+
4.
1+a
1+b
1+c
1+d
la + lb + lc 3s.
+
+
.
1a 1b 1c
1+a 1+b 1+c
Problema 3.70 (APMO, 2003) Muestre que
1
2n
,
2
126
i,j
2
|xi xj | (n2 1)
3
i,j
(xi xj )2 ,
.
x2 (x1 + x2 + x3 ) x3 (x2 + x3 + x4 )
x1 (xn + x1 + x2 )
3
1
x
(P (1))2 .
127
Problema 3.76 (Irn, 2004) Sean x, y, z nmeros reales para los cuales
a
u
xyz = 1. Muestre que
x4 + y 4 + z 4 + 3(x + y + z)
x2 x2 y 2 y 2 z 2 z 2
+
+
+
+
+ .
y
z
x
z
x
y
.
R
AX
a3 + b3 + c3 a2 bc + b2 ca + c2 ab.
xy + z + yz + x + zx + y 1 + xy + yz + zx.
Problema 3.81 (Rumania, 2004) Encuentre todos los nmeros reales positivos
u
a, b, c que satisfacen las desigualdades
4(ab + bc + ca) 1 a2 + b2 + c2 3(a3 + b3 + c3 ).
128
ai
iS
1ijn
(ai + + aj )2 .
3
3
1
3
+ 6(a + b + c)
.
3
abc
abc
Problema 3.87 (IMO, 2004) Sea n 3 un nmero entero. Sean t1 , t2 , . . . ,
u
tn nmeros reales positivos tales que
u
n2 + 1 > (t1 + t2 + + tn )
1
1
1
+ + +
t1 t2
tn
129
Muestre que ti , tj , tk son las longitudes de los lados de un tringulo, para todo
a
i, j, k, con 1 i < j < k n.
Problema 3.88 (Japn, 2005) Sean a, b y c nmeros reales positivos, tales
o
u
que a + b + c = 1. Muestre que
3
3
a 1 + b c + b 3 1 + c a + a 1 + a b 1.
1 1 1
+ +
a b
c
(a + b + c)
a3 )(1
b3 )
b2
(1 +
b3 )(1
c3 )
c2
(1 +
c3 )(1
a3 )
4
.
3
Problema 3.92 (IMO, 2005) Sean x, y, z nmeros reales positivos tales que
u
xyz 1. Muestre que
x5
y5 y2
z5 z2
x5 x2
+ 5
+ 5
0.
2 + z2
2 + x2
+y
y +z
z + x2 + y 2
.
a(b + 1) b(c + 1) c(a + 1)
1 + abc
Problema 3.94 (Estonia, 2006) Sea O el circuncentro de un tringulo acutngua
a
, B y C los circuncentros de los tringulos BCO, CAO y
lo ABC y sea A
a
130
+
+
.
a2 + bc b2 + ca c2 + ab
2 ab bc ca
(n 1)2 A
ai
.
aj
A1
n2 d
.
4
131
+
+
a + b + c + 3.
3
3
3
3 c2 a2 + 1
3 a2 b2 + 1
3 b2 c2 + 1
Problema 3.101 (China, 2007) Si a, b, c son las longitudes de los lados de un
tringulo con a + b + c = 3, encuentre el m
a
nimo de
a2 + b2 + c2 +
4abc
.
3
[x]
x + {x}
x + [x]
{x}
{x}
x + [x]
>
9
,
2
2
3
+
.
a + b + c abc
132
y 2 + zx
2y 2 (z + x)
z 2 + xy
2z 2 (x + y)
1.
.
2 + b + c2 2 + c + a2 2 + a + b2
12
Bajo que circunstancias se tiene la igualdad?
Problema 3.112 (Canad, 2008) Sean a, b, c nmeros reales positivos tales
a
u
que a + b + c = 1. Muestre que
3
a bc b ca c ab
+
+
.
a + bc b + ca c + ab
2
133
Problema 3.113 (Irn, 2008) Encuentre el menor nmero real K tal que, para
a
u
cualesquiera nmeros reales positivos x, y, z, se cumple la siguiente desigualdad
u
3
.
32
a2 (b
+ c)
1
1+
b2 (c
+ a)
1
1
+ c2 (a
+ b)
1
.
abc
4
.
9
134
2
2
2
(x y)
(y z)
(z x)
xy + yz + zx
Cundo se da la igualdad?
a
Problema 3.120 (IMO, 2008) (i) Si x, y, z son tres nmeros reales distintos
u
a 1 y tales que xyz = 1. Muestre que
y2
z2
x2
+
+
1.
(x 1)2 (y 1)2
(z 1)2
(ii) Muestre que la igualdad es cierta para un nmero innito de nmeros
u
u
racionales x, y, z.
Cap
tulo 4
En este cap
tulo presentamos las soluciones o sugerencias de los ejercicios y problemas que aparecen en este libro. En las secciones 1 y 2 damos las soluciones a
los ejercicios de los cap
tulos 1 y 2, respectivamente. En la seccin 3 las solucioo
nes a los problemas del cap
tulo 3. Le recomendamos al lector que no consulte
este cap
tulo sin antes haber intentado resolver los ejercicios y problemas l
e
mismo.
4.1.
136
Solucin 1.4 Para (i), (ii) y (iii) use la denicin, y para (iv) y (v) recuerde
o
o
que |a|2 = a2 .
Solucin 1.5 (i) x |x| y x |x|. (ii) Considere |a| = |a b + b| y
o
|b| = |b a + a| y aplique la desigualdad del tringulo. (iii) (x2 + xy + y 2 )(x
a
y) = x3 y 3 . (iv) (x2 xy + y 2 )(x + y) = x3 + y 3 .
Solucin 1.6 Si a, b o c son cero, tenemos la igualdad. Entonces, suponga que
o
|a| |b| |c| > 0, ya que la desigualdad es simtrica en a, b y c. Dividiendo
e
entre |a|, la desigualdad es equivalente a
1+
c
c
c
c
b
b
b
b
+
1+
0.
+
1+
+ 1+ +
a
a
a
a a
a
a a
c
b
Como a 1 y a 1, se tiene que 1 +
Entonces, es suciente probar que
b
b
c
b
c
c
+
1+ +
+
a
a
a a
a a
b
a
b
a
= 1+
+ 1+
y 1+
c
a
c
= 1 + a.
c
b
0.
+
a a
0 b a 1 ab
ba
1.
1 ab
+
=
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
nmeros reales no negativos. Para la desigualdad derecha note que, b 1
u
b2 b b b2 , ahora termine as
,
ab2 ba2 ab2 b2 a2 = b2 (a a2 ) a a2 =
Solucin 1.8 Muestre, ms generalmente, que x <
o
a
1
que x > 2 1 + 1+x < 2.
1
1
1
( a)2 .
4
2
4
2 1+
1
1+x
>
2y
137
x2 ,
Solucin 1.13 Para que las expresiones estn bien denidas es necesario que
o
e
2
x 1 y x = 0. Multiplique el numerador y el denominador por 1 + 1 + 2x .
2
1
entonces 4n2 + n < 2n + 4 , que es inmediato al tomar cuadrados.
Solucin 1.15 Como (a3 b3 )(a2 b2 ) 0, se tiene que a5 +b5 a2 b2 (a+b),
o
luego
ab
ab
abc2
c
2 2
= 2 2 2
.
=
a5 + b5 + ab
a b (a + b) + ab
a b c (a + b) + abc2
a+b+c
Anlogamente,
a
a5
bc
b5 +c5 +bc
a
a+b+c
ca
c5 +a5 +ca
b
a+b+c .
Por lo que,
ab
bc
ca
c
a
b
+
+
+
+
,
5 + ab b5 + c5 + bc c5 + a5 + ca
+b
a+b+c a+b+c a+b+c
pero,
c
a+b+c
a
a+b+c
b
a+b+c
c+a+b
a+b+c
= 1.
138
b
ces, se tiene que a = (x1 + x2 )
y su valor es 4acb < 0. Si x1 , x2 son las ra
4a
c
a+b+c
ab+c
y a = x1 x2 , por lo que a = (1 x1 )(1 x2 ), a = (1 + x1 )(1 + x2 )
y ac = 1 x1 x2 . Observe que, (1 x1 )(1 x2 ) 0, (1 + x1 )(1 + x2 ) 0 y
a
1 x1 x2 0, garantizan que 1 x1 ,x2 1.
Solucin 1.17 Si las tres desigualdades ocurren, debe suceder que a, b y c son
o
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 .
Solucin 1.18 Use la desigualdad M G M A con a = 1, b = x.
o
1
Solucin 1.19 Use la desigualdad M G M A, con a = x y b = x .
o
a+b
2
( a b)
ab =
=
2
(ab)2
,
2( a+ b)2
2 .
xy
Solucin 1.30
o
1
x
Solucin 1.31
o
xy
z
Solucin 1.32
o
x2 +(y 2 +z 2 )
2
yz
x
xy 2 z
zx
= 2y.
x y2 + z2 .
a
b
b
y a.
139
Solucin 1.34 (a + b + c + d) 4 4 a b c d,
o
Solucin 1.35
o
a
b
b
+c+
c
d
d
a
abcd
bcda
44
1
a
a1
b1
a2
b2
+ +
an
bn
n1
2
(a 1)
1+a++an1
n
Solucin 1.39 1 =
o
1+a
2
nn
n+1
2
>a
n1
2
1+b
2
a1 an
b1 bn
n1
2
, pero
1+c
2
1
c
1
d
44
1
x1
1
xn
+ +
a3
b
b3
c
bc = 3ab. Anlogamente,
a
Por lo que,
3
2( ab
b3
c
c3
a)+
b3
c
nn
1
x1 xn .
= n.
(a 1) an1 + + 1 >
1+a++an1
n
>
(n1)n
2
=a
n1
2
a b c = abc.
1
abcd.
= 4.
1
b
c3
a
+ ca 3bc y
c3
a
a3
b
a3
b
b3
c
+ bc
+ ab 3ca.
b c
+
c b
+b
c a
+c
+
a c
a b
+
b a
1
(2a + 2b + 2c)
2
y el resultado se sigue.
Solucin 1.42 Aplique la desigualdad M G M A dos veces, a2 b + b2 c + c2 a
o
3abc, ab2 + bc2 + ca2 3abc.
Solucin 1.43
o
1+ab
1+a
abc+ab
1+a
= ab
1 + ab 1 + bc 1 + ca
+
+
= ab
1+a
1+b
1+c
3
1+c
1+a
1+c
1+a
+ bc
(abc)2 = 3.
1+a
1+b
+ ca
1+b
1+c
140
Solucin 1.44
o
que
1
b+c
1
c+a
(a + b + c) 9 , es equivalente a mostrar
2
1
1
1
+
+
a+b b+c c+a
(a + b + b + c + c + a) 9,
1
a
1
b
4
a+b .
(n 1)
j=i yj
1 yi
yi
xi =
i
1
n1
j=i yj
yi
(n 1)n
j=i yj
i
i
n
i=1
n
1
i=1 1+ai
n
=
i,j
n
i=1
ai aj
=
(1 + aj ) ai
i>j
i=1
n
ai
i=1 1+ai
=1
1
=
ai
ai (n 1)
= (n1)n .
yi
Solucin 1.48
o
1
n1
1ai
ai ,
para i =
= n 1. Observe que
1
1
ai
ai
ai
1 + ai
1 + ai
i=1
i=1
i=1
( ai aj 1)( ai aj )2 ( ai + aj )
.
(1 + ai )(1 + aj ) ai aj
2+a +a
i
j
1
1
Como 1 1+ai + 1+aj = 1+ai +aj +ai aj , tenemos que ai aj 1. Por lo tanto,
los trminos de la ultima suma son positivos.
e
a2
n
i
i=1 ai +bi
Sa Sb =
i=1
y Sb =
a2 b2
i
i
=
ai + bi
b2
n
i
i=1 ai +bi .
n
n
i=1
ai
bi = 0,
i=1
141
2S =
i=1
1
a2 + b2
i
i
ai + bi
2
n
i=1
(ai + bi )2
=
ai + bi
ai ,
i=1
a3
c
1
.
3 + abc
+b
abc(a + b + c)
1
+1
b
1
+1
c
a+b+c 3
3
1
27 .
1 1 1
1
1
1
1
+ + +
+
+
+
a b
c ab bc ca abc
3
3
1
1+
+
+
3
abc
3
2
abc
(abc)
= 1+
=
1
1
1+
3
abc
43 .
142
b+1
c+1
a+1
a b c = 1.
inmediata de la desigualdad 2
2
2
Solucin 1.54 Vea que es similar al ejercicio 1.52.
o
Solucin 1.55 Aplique la desigualdad entre la media aritmtica y la media
o
e
armnica para obtener
o
2ab
=
a+b
1
a
2
+
1
b
a+b
.
2
1
4
ai bi
n
i=1
1
.
(ai + bi )2
(ai + bi )2
i=1
i=1
1
n2 .
(ai + bi )2
143
z2 z2
4 x y z
x4 + y 4 +
+
4
= 8xyz.
2
2
4
Solucin 1.59 Por M G M A, se tiene
o
x2
y2
+
2
y1 x1
La ultima desigualdad se deduce de
xy
(x 1)(y 1)
x
x1
8.
2, ya que (x 2)2 0.
Segunda Solucin. Sean a = x1, b = y1, que son nmeros positivos, entono
u
2
2
ces la desigualdad que se quiere demostrar es equivalente a (a+1) + (b+1) 8.
b
a
Ahora bien, por M G M A, tenemos que (a + 1)2 4a y (b + 1)2 4b. Luego,
2
(a+1)2
b
+ (b+1) 4 a + a 8. La ultima desigualdad es consecuencia del
b
a
b
ejercicio 1.24.
Solucin 1.60 Observe que (a, b, c) y (a2 , b2 , c2 ) se ordenan de la misma forma,
o
use la desigualdad (1.2).
Solucin 1.61 Por el ejercicio anterior
o
a3 + b3 + c3 a2 b + b2 c + c2 a.
1
1
Observe que ( a , 1 , 1 ) y ( a2 , b1 , c1 ) se ordenan de la misma forma. Entonces,
2
2
b c
usando la desigualdad (1.2), se obtiene
1
1
1
+
+
a3 b3 c3
1 1
1 1
1 1
+ 2 + 2
2 c
a
b a c b
a b c
=
+ +
c a b
= a2 b + b2 c + c2 a.
b , c , a y (a1 , a2 , a3 ) = c , a , b .
144
1
1
1
,
,
b+ca c+ab a+bc
Solucin 1.65 Utilice la misma idea que en el ejercicio anterior, pero con n
o
variables.
Solucin 1.66 Use el ejercicio anterior y el hecho que
o
s
sa1
=1+
a1
sa1 .
3
3
por lo tanto,
evidente.
1
3
a2 + b2 + c2
3
2
a2 + b2 + c2 . Luego, 2(ab + bc + ca) 3 , y el resultado es
an1 an
G
G
G
G
a1 a2
+
+ +
+
=
+
+ +
+ ,
a2 a3
an
a1
x2 x3
xn x1
luego,
1
x1
1
x2
n
+ +
1
xn
G.
145
a2
an
x1 x2
xn
a1
+
+ +
=
+
+ +
,
an a1
an1
G
G
G
entonces
x1 + x2 + + xn
.
n
Las igualdades ocurren si y slo si a1 = a2 = = an , es decir, si y slo si
o
o
x1 = x2 = = xn .
G
a1 an
a1 an a1 an
+
+ +
,
a1
a2
an
ai
Solucin 1.72 Primero note que n 1a =
o
i=1
i
Por la desigualdad M G M A se obtiene
1
n
n
i=1
1 ai
n
n
i=1
1
=
1 ai
1
1
n
n
i=1 (1
ai )
n
i=1 1
ai .
1
n
n
i=1 (1
ai )
n
.
n1
1 ai
n
i=1
(1 ai ) n =
n(n 1)
y
i=1
ai
n.
1
1
1
1
+ + +
A B C
D
146
1 2
(a + b2 + c2 + d2 )
16
1
1
1
1
+ + +
A B C
D
1 2
(a + b2 + c2 + d2 )(a + b + c + d)
16
A+B+C +D
3
1
1
1
1
+ + +
A B C
D
1
B
1
C
1
D)
a 3 b 3 c
a
3
, (b1 , b2 , b3 ) =
,
(a1 , a2 , a3 ) = 3 ,
b
c
a
b
y permutacin (a , a , a ) =
o
1 2 3
b
c,
a b c
+ +
b c a
c
a,
a
b
a2
+
bc
16.
b
c
c
a
, para obtener
b2
+
ca
c2
.
ab
1 a a b
3
3 a
3 aab
+ +
=
= a3 = a.
3 b
b c
bbc
bc
Anlogamente,
a
desigualdades.
1
3
b
c
+b+
c
c
a
by
1
3
c
a
c
a
a
b
Solucin 1.76 Por hiptesis, para toda k, se tiene que s 2xk > 0. Por la
o
o
desigualdad de Cauchy-Schwarz
n
k=1
x2
k
s 2xk
k=1
(s 2xk )
xk
k=1
= s2 .
n
k=1 (s
147
k=1
x2
s
k
.
s 2xk
n2
1 2
x
es convexa en R+ .
a
b
c
Solucin 1.78 La funcin f (a, b, c) = b+c+1 + a+c+1 + a+b+1 + (1 a)(1
o
o
b)(1 c) es convexa en cada una de las variables, luego su mximo se alcanza
a
en los extremos.
1+y 2
2,
+
1 + e2v
1 + e2u
esto es,
f (u) + f (v)
f
2
2
1 + e(u+v)
u+v
2
2x
1
12e
donde f (x) = 1+e2x . Como f (x) = e4x (1+e2x )5/2 , la funcin es cncava en
o
o
el intervalo [0, ). Por lo tanto, la desigualdad anterior es verdadera.
A+B AB
+
2
2
sen
A+B AB
2
2
j
(j 1)
j1
j
j1
j1
j1
= j1 (jj (j 1)j1 ) = aj j1 .
148
n1
n2
n
Luego, n an n1 an an1 n2 an an1 a1 .
o
e
x, y y z, por lo que se puede suponer x z y, ahora regrese a la desigualdad
original, donde claramente
x(x z)2 + y(y z)2 0 (x z)(y z)(x + y z).
Solucin 1.85 La desigualdad es homognea, por lo que se puede suponer que
o
e
x
a + b + c = 1. Ahora los sumandos de la izquierda son de la forma (1x)2 ,
x
4+2x
es convexa, ya que f (x) = (1x)4
(1x)2
b
c
a
Jensen, (1a)2 + (1b)2 + (1c)2 3f a+b+c = 3f
3
y la funcin f (x) =
o
desigualdad de
> 0. Por la
1
3
3 2
2 .
6
9
.
(a + b + c)2
(a + b + c)
3
a+b+c
z = 1;
c
0.
1
se sigue inmediataAhora bien, si abc = 1, considere x = a , y = 1 y
b
mente que xyz = 1. Luego, la desigualdad es equivalente a
1+
3
6
xy + yz + zx
x+y+z
149
r
1 b
1 c
1 a
que probar adems es que xi yi zi a xi + b yi + c zi , pero esto se sigue de la
a
parte (i) del mismo ejemplo.
Solucin 1.89 Por la simetr de las variable en la desigualdad se puede suponer
o
a
que a b c. Se tienen dos casos, (i) b a+b+c y (ii) b a+b+c .
3
3
Caso (i) b a+b+c .
3
Se tiene que a+b+c a+c c, y luego es cierto que a+b+c b+c c.
3
2
3
2
Entonces, existen , [0, 1] tales que
c+a
= c + (1 )
2
a+b+c
3
and
b+c
= c + (1 )
2
a+b+c
3
a+b+c
3
= (2)
Luego,
a + b 2c
= (2 )
2
a + b 2c
3
1
Por lo tanto, 2 ( + ) = 3 y ( + ) = 2 .
2
Ahora bien, como f es una funcin convexa, se tiene que
o
f
f
f
a+b
2
b+c
2
c+a
2
1
(f (a) + f (b))
2
f (c) + (1 )f
f (c) + (1 )f
a+b+c
3
a+b+c
3
a + b 2c
+2c.
3
150
a+b
2
+f
b+c
2
+f
c+a
2
1
(f (a) + f (b) + f (c))
2
3
a+b+c
+ f
.
2
3
a+c
2
a+b+c
3
ya
a+b
2
3
a2 + b2 + c2 + 3 a2 b2 c2 2(ab + bc + ca).
Para la segunda parte aplique la desigualdad AM GM de la siguiente forma
3
2abc + 1 = abc + abc + 1 3 a2 b2 c2 .
Solucin 1.91 Aplicando la desigualdad de Popoviciu a la funcin convexa
o
o
1
9
4
4
4
1
f (x) = x + x se obtiene la desigualdad, a + 1 + 1 + a+b+c b+c + c+a + a+b .
b
c
Ahora, multiplique ambos lados de la desigualdad por (a + b + c) para terminar
la demostracin.
o
Solucin 1.92 Observe que por la ecuacin (1.8), se obtiene
o
o
1
1
1
x2 + y 2 + z 2 |x||y| |y||z| |z||x| = (|x| |y|)2 + (|y| |z|)2 + (|z| |x|)2
2
2
2
lo cual es claramente mayor o igual a cero. Por lo tanto,
|xy + yz + zx| |x||y| + |y||z| + |z||x| x2 + y 2 + z 2 .
151
o
1
(a + b + c)((a + b)2 + (a + c)2 + (b c)2 ).
2
La conclusin se sigue de la desigualdad del tringulo, b + c > a.
o
a
Solucin 1.96 Sea p = |(x y)(y z)(z x)|. Utilizando la desigualdad
o
M G M A del lado derecho de la identidad (1.8), se tiene que
x2 + y 2 + z 2 xy yz zx
3
2
p2 .
(4.1)
2(x + y + z) 3 3 p,
(4.2)
152
(4.3)
2
B.
B2 A
2
= 1,
1
1
2
= B2 + +
3,
B
B B
es decir, A 1. El m
nimo A = 1 se alcanza, por ejemplo, con (x, y, z) =
(1, 0, 0).
3A = B 2 +
=
.
a b
c
d
a+b+c+d
a+b+c+d
Solucin 1.99 Utilice la desigualdad (1.11) dos veces para obtener
o
2
( (a+b) )2
(a2 + b2 )2
(a + b)4
a4 b4
2
+
=
.
a +b =
1
1
2
2
8
4
,
axy + bzx ayz + bxy azx + byz
(a + b)(xy + zx + yz)
a+b
153
o
Solucin 1.102 Escriba el lado izquierdo como
o
b2
c2
b2
c2
a2
a2
+
+
+
+
+
,
a+b b+c c+a a+b b+c c+a
luego use la desigualdad (1.11).
Solucin 1.103 (i) Escriba el lado izquierdo como
o
x2
y2
z2
+ 2
+ 2
x2 + 2xy + 3zx y + 2yz + 3xy z + 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, slo falta probar la desigualdad
o
1
(x + y + z)2
,
x2 + y 2 + z 2 + 5(xy + zx + yz)
2
pero sta es equivalente a x2 + y 2 + z 2 xy + zx + yz.
e
(ii) Como en la parte (i), escriba el lado izquierdo como
w2
x2
y2
z2
+
+
+
xw + 2yw + 3zw xy + 2xz + 3xw yz + 2yw + 3xy zw + 2xz + 3yz
entonces, use la desigualdad (1.11) para obtener
x
y
z
w
+
+
+
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
que es equivalente a 3(w2 + x2 + y 2 + z 2 ) 2(wx + xy + yz + zw + wy + xz).
Pero sta se deduce de la desigualdad M G M A aplicada seis veces en la
e
forma x2 + y 2 2xy.
154
(x + y + z)2
.
x2 + y 2 + z 2 + 3(xy + yz + zx)
Tambin, la desigualdad
e
3
(x + y + z)2
2 + y 2 + z 2 + 3(xy + yz + zx)
x
4
es equivalente a
x2 + y 2 + z 2 xy + yz + zx.
Solucin 1.105 Escriba el lado izquierdo como
o
a2
b2
c2
d2
+
+
+
a(b + c) b(c + d) c(d + a) d(a + b)
y use la desigualdad (1.11) para obtener
a2
b2
c2
d2
(a + b + c + d)2
+
+
+
o
2 + c2 2ac y b2 + d2 2bd, las cuales son inmediatas por la desigualdad
que a
M G M A.
Solucin 1.106 Escriba el lado izquierdo como
o
a2
b2
c2
d2
e2
+
+
+
+
ab + ac bc + bd cd + ce de + ad ae + be
y use la desigualdad (1.11) para obtener
a2
b2
c2
d2
e2
(a + b + c + d + e)2
+
+
+
+
.
ab + ac bc + bd cd + ce de + ad ae + be
ab
155
Como
(a + b + c + d + e)2 =
a2 + 2
ab,
muestre que
a2 + 4
ab 5
ab,
lo cual es equivalente a
2
La ultima desigualdad se sigue de
a2
ab.
a2
ab.
a3 b3 c3
+
+
x
y
z
a2
x
b2
y
c2
z
a+b+c
,
3
.
x
y
z
x+y+z
Por lo tanto,
(a + b + c)2 a + b + c
a3 b3 c3
+
+
.
x
y
z
x+y+z
3
1
3
(1 + 1 + 1) 3 (x + y + z) 3 a + b + c.
a
x2 + + x 2
x2
x2
n
n
1
1
=
+ +
x1 + + x n x1 + + x n
x1 + + xn
x1 + + x n
(x1 + + xn )2
=
.
n(x1 + + xn )
n
kn
t
x1 x n .
156
y
z
z
y c = x , se puede reescribir
b3
c3
a3
+ 3
+ 3
1,
a3 + 2 b + 2 c + 2
con la condicin extra que, abc = 1.
o
Para probar esta ultima desigualdad se puede usar la condicin extra como sigue
o
a3
b3
c3
+ 3
+ 3
+2 b +2 c +2
a3
=
=
a3
b3
c3
+ 3
+ 3
+ 2abc b + 2abc c + 2abc
a2
b2
c2
+ 2
+ 2
a2 + 2bc b + 2ca c + 2ab
(a + b + c)2
= 1.
a2 + b2 + c2 + 2bc + 2ca + 2ab
a3
a1
a2
Solucin 1.111 Use la sustitucin x1 = a1 , x2 = a3 , . . ., xn = an . Como
o
o
a2
a1
1
1
a
1+x1 +x1 x2 = 1+ a2 + a2 a3 = a1 +a2 +a3 y anlogamente para los otros sumandos
a1
a1 a2
157
Pero esta desigualdad es ahora evidente. Unicamente observe que para toda
i = 1, ..., n se cumple que
ai + ai+1 + ai+2 < a1 + a2 + + an .
1
o
Solucin 1.112 Con la sustitucin x = a , y = 1 y z = 1 , la condicin
o
o
b
c
ab + bc + ca = abc, se transforma en x + y + z = 1 y la desigualdad original es
equivalente a
x4 + y 4 y 4 + z 4 z 4 + x4
+
+
1 = x + y + z.
x3 + y 3 y 3 + z 3 z 3 + x3
Por la desigualdad de Tchebyshev, se garantiza que
x4 + y 4
x3 + y 3 x + y
,
2
2
2
por lo que,
x4 + y 4 y 4 + z 4 z 4 + x4
x+y y+z z+x
+
+
.
+ 3
+ 3
3 + y3
3
3
x
y +z
z +x
2
2
2
.
3
3
Elevando al cuadrado ambos lados y se obtiene que 3(xy + yz + zx) (x +
y + z)2 , la cual es vlida si y slo si (xy + yz + zx) x2 + y 2 + z 2 , pero esta
a
o
desigualdad es ya conocida.
Solucin 1.114 Note que
o
1
1
1
+
+
a+1 b+1 c+1
1
1
1
+
+
.
1
a+1 b+1 c+1
a2 b2 c2
+
+
0 33
a+1 b+1 c+1
158
Utilizando la sustitucin, a =
o
2x
y ,
1
1
1
+
+
=
a+1 b+1 c+1
b=
2y
z ,
c=
2z
x,
se obtiene
1
1
1
+ 2y
+ 2z
+1
x +1
z +1
z
x
y
+
+
=
2x + y 2y + z 2z + x
z2
x2
y2
+
+
=
2
2
2xy + y
2yz + z
2zx + x2
(x + y + z)2
= 1.
2xy + y 2 + 2yz + z 2 + 2zx + x2
2x
y
a
o
(1.11).
Solucin 1.115 Observe que
o
2
2
[5, 0, 0] = (a5 + b5 + c5 ) (a3 bc + b3 ca + c3 ab) = [3, 1, 1],
6
6
donde se us el teorema de Muirhead.
o
Solucin 1.116 Utilizando la frmula de Hern para el rea de un tringulo,
o
o
o
a
a
podemos reescribir la desigualdad como sigue
a2 + b2 + c2 4 3
(a + b + c) (a + b c) (a + c b) (b + c a)
.
2
2
2
2
(a + b + c)(xyz)
(a + b + c)
(a + b + c)2
(x + y + z)3
.
=
27
3 3
159
(a2 b + ab2 ) 9
x+z
2 ,
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 ms de uno al mismo
a
tiempo), se tiene que
x2 (y + z) + y 2 (x + z) + z 2 (x + y) = x2 2c + y 2 2a + z 2 2b 0
pero 6xyz es negativo, lo cual concluye la prueba.
Solucin 1.119 Observe que
o
b3
c3
a3
+ 2
+ 2
a+b+c
b2 bc + c2 c ca + a2 a ab + b2
160
e
como
[9, 1, 0] + [6, 4, 0] + [6, 3, 1] + [4, 3, 3]
1
1
[1, 0, 0]
[6, 3, 0] + [3, 3, 3]
2
3
[7, 3, 0] + [6, 4, 0] + [6, 3, 1] + [4, 3, 3]
[9, 1, 0] [7, 3, 0]
lo cual es evidente utilizando Muirhead.
Solucin 1.120 Suponga que a b c, luego
o
1
1
1
.
(1 + b) (1 + c)
(1 + c) (1 + a)
(1 + a) (1 + b)
Use Tchebyshev para ver que
b3
c3
a3
+
+
(1 + b) (1 + c) (1 + a) (1 + c) (1 + a) (1 + b)
1
1
1
1
(a3 + b3 + c3 )
+
+
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
Finalmente, use que 3 (a3 + b3 + c3 ) ( a+b+c )3 ,
3
c)
3+a+b+c 3
3
a+b+c
3
1 3
3 + (a + b + c)
(a + b3 + c3 )
3
(1 + a)(1 + b)(1 + c)
Para la ultima desigualdad, observe que
a+b+c
3
a+b+c
3
+ a+b+c
3
1 y (1 + a)(1 + b)(1 +
3
1
2.
6
(1 +
a+b+c 3
3 )
6
.
8
161
4 4 4
4 4 4
, ,
= a 3 b 3 c 3 = 1 = [0, 0, 0],
3 3 3
4 4 1
, ,
3 3 3
4 4 1
4 4 1
1 4 4 1
= 3 (a 3 b 3 c 3 + b 3 c 3 a 3 + c 3 a 3 b 3
3
1
= 3 (ab + bc + ca) = 3[1, 0, 0].
3
4.2.
Solucin 2.2 (i) c < a+b c < a+b+2 ab = ( a+ b)2 c < a+ b.
o
(ii) Con 2, 3 y 4 se puede construir un tringulo y con 4, 9 y 16 no es posible
a
construirlo.
162
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 ser suciente que ver que a+b < b+c + c+a , pero es ms fcil ver que
a
a a
1
1
1
c < b+c + c+a .
Solucin 2.3 Utilice el hecho de que si a, b, c son las longitudes de los lados de
o
un tringulo, el ngulo que se opone al lado de longitud c es o bien recto, agudo
a
a
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 tringulo acutngulo. Luego, como
a
a
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 contradiccin.
o
Solucin 2.4 Como A > B entonces BC > CA. Utilizando la desigualdad
o
del tringulo AB < BC + CA y la armacin anterior se tiene que AB < 2BC.
a
o
Solucin 2.5 (i) Sea O el punto de interseccin de las diagonales AC y BD.
o
o
Aplique la desigualdad del tringulo a los tringulos ABO y CDO. Sumando
a
a
las desigualdades, tenemos AB + CD < AC + BD. Por otro lado, por hiptesis
o
se tiene que AB + BD < AC + CD. Sumando estas dos ultimas desigualdades
163
bc + ad > ab + cd
(d b)(a c) > 0.
Solucin 2.13 Con centro en A haga una rotacin de 60 del tringulo ABP.
o
o
a
El punto B se transforma en C y sea P el transformado de P. El tringulo
a
P P C tiene lados P P = P A, P C = P B y P C, como el que se desea.
2
3
164
A
P
P
B
165
abc
4R
4Rr
a2
1
rs
4Rr
,
a2
b+c
2 , pero bc =
2 c2
b
vea que a 2 o, equivalentemente, que 2bc a
b2 +c2
a2
= 2.
2
Solucin 2.18 Simplicando y utilizando el ejercicio 1.27, la primera desigualo
dad es equivalente a ab + bc + ca a2 + b2 + c2 . Para la segunda desarrolle
(a+b+c)2 y utilizando la desigualdad del tringulo se obtiene que a2 < a(b+c).
a
Solucin 2.19 Utilice la sugerencia anterior.
o
Solucin 2.20 Si desarrolla la expresin regresar al ejercicio anterior.
o
o
a
Solucin 2.21 La primera desigualdad es la desigualdad de Nesbitt, ejemplo
o
1.4.8. Para la segunda desigualdad use el hecho de que a + b > a+b+c , entonces
2
2c
c
< a+b+c .
a+b
Solucin 2.22 Observe que a2 (b + c a) + b2 (c + a b) + c2 (a + b c)
o
2abc = (b + c a) (c + a b) (a + b c); ahora vea el ejemplo 2.2.3.
Solucin 2.23 Observe que
o
a b2 + c2 a2 +b c2 + a2 b2 + c a2 + b2 c2 =
a2 (b + c a) + b2 (c + a b) + c2 (a + b c) ,
166
x2
y
y2
z
+ zx x + y + z. Ahora, use la
Solucin 2.25
o
ab bc ca
+
+
a+b b+c c+a
=
<
ab bc ca
o
Solucin 2.26 Por el ejercicio 2.18
o
3(ab + bc + ca) (a + b + c)2 4(ab + bc + ca).
Entonces, como ab + bc + ca = 3, se sigue que 9 (a + b + c)2 12, de donde
se tiene el resultado.
Solucin 2.27 Use la transformacin de Ravi, a = y + z, b = z + x, c = x + y.
o
o
Por la desigualdad M G M A, y la desigualdad de Cauchy-Schwarz,
1 1 1
+ +
a b
c
1
1
1
+
+
y+z z+x x+y
1
1
1
1
+ +
2
yz
xy
zx
x+ y+ z
=
2 xyz
3 x+y+z
2 xyz
3
3 x+y+z
=
.
=
2
xyz
2r
167
ab + bc + ca
.
4
xy + zw (x + z)(y + w).
De donde,
c
clica
a2 + b2 c2
a2 b2 + c2 =
1
2
1
2
c
clica
a2 + b2 c2
c2 + a2 b2
a2 b2 + c2
c2 a2 + b2
(2a2 )(2c2 ) =
c
clica
ac.
c
clica
168
y
y
x
2x
2y
2z
+
+
3.
y+z z+x x+y
+
x
y
Solucin 2.32 Como en los tringulos con la misma base la razn de sus alturas
o
a
o
es igual a la razn de sus reas, se tiene que,
o
a
PS
(P BC) (P CA) (P AB)
(ABC)
PQ PR
+
+
=
+
+
=
= 1.
AD BE CF
(ABC) (ABC) (ABC)
(ABC)
Utilice la desigualdad (2.3) de la seccin 2.3.
o
1
Solucin 2.33 (i) Recuerde que (S1 + S2 + S3 )( S1 +
o
1
S2
1
S3 )
9.
(ii) Los vrtices de los tringulos forman un hexgono que se divide en 6 tringue
a
a
a
los de reas S1 , S2 , S3 , T1 , T2 , T3 , donde los tringulos de reas Si y Ti tienen
a
a
a
un ngulo comn. Utilice la frmula de rea que involucra al seno del ngulo
a
u
o
a
a
para demostrar que S1 S2 S3 = T1 T2 T3 . Use despus la desigualdad M G M A,
e
como sigue
S
1
1
1
+
+
S1 S2 S3
(S1 + S2 + S3 + T1 + T2 + T3 )
18 6 S1 S2 S3 T1 T2 T3
= 18.
3
S1 S2 S3
1
1
1
+
+
S1 S2 S3
PM
BM
PN
CN
AL BM
CN
+
+
PL PM
PN
PL PM
PN
+
+
AL BM
CN
= 9.
169
Por la desigualdad (2.3), se sabe que esta igualdad ocurre solamente cuando
BM
CN
AL
P L = P M = P N = 3, lo que garantiza que P sea el centroide.
Solucin 2.35 (i) Como HD = DD , HE = EE y HF = F F , donde H es
o
el ortocentro5 . Luego, la solucin se sigue de la parte (i) del ejemplo 2.3.4.
o
e
o
(ii) Como AD = AD+DD = 1 + HD , se tiene tambin, al ver la solucin del
AD
AD
AD
BE
CF
HD
HE
HF
AD
ejemplo 2.3.4, que AD + BE + CF = 1 + AD + 1 + BE + 1 + CF = 4.
Como
AD
AD
BE
BE
CF
CF
AD
AD
BE
BE
CF
CF
9 se sigue el resultado.
a
b+c
4bc
(s(s a)).
(b + c)2
2
Como 4bc (b + c)2 , se tiene que la s(s a), y la lb s (s a)(s b)
(sa)+(sb)
c
s
= s 2 . Por lo tanto, la lb lc s s(s a)(s b)(s c) = s(sr),
2
2
2
2
la lb +lb lc +lc la s a+b+c = s2 , y la +lb +lc s(sa)+s(sb)+s(sc) = s2 .
2
bc
AM
= 2R sen . Anlogamente,
a
ca
BN
= 2R sen y
ab
CP
= 2R sen .
bc
ca
ab
+
+
= 2R(sen + sen + sen ) 6R.
AM
BN
CP
La igualdad se alcanza si M , N y P son los pies de las alturas.
Solucin 2.38 Sean A1 , B1 , C1 los puntos medios de los lados BC, CA, AB,
o
respectivamente, y sean B2 , C2 las reecciones de A1 con respecto a AB y CA,
respectivamente. Tambin considere a D la interseccin de AB con A1 B2 y E
e
o
la interseccin de CA con A1 C2 . Entonces,
o
2DE = B2 C2 C2 B1 + B1 C1 + C1 B2 = A1 B1 + B1 C1 + C1 A1 = s.
Use que A1 DAE es un cuadriltero inscrito en una circunferencia de dimetro
a
a
AA1 y use la ley de senos en ADE, para deducir que DE = AA1 sen A =
5
170
a
ma sen A. Entonces, s 2DE = 2ma sen A = 2ma 2R = ama , es decir,
R
ama sR. Anlogamente, puede vericar que bmb sR y cmc sR.
a
B
C
(s a)(s b)(s c)
sr 2
r
1
A
sen sen =
=
=
,
2
2
2
abc
abc
4R
8
1 1 1
+ +
a b
c
9.
1 1 1
3
+ +
.
a b
c
R
(4.4)
+
+
3 2A 2B 2C
1
x2
sen2
A
2
1cos A
2
2
2
2
1 b +c a
2bc
2
3
3
= .
2
+ B + C)
(4.5)
1
log
+ log
+ log
3
2A
2B
2C
6
2
(A
log
a2 (bc)2
4bc
+
+
3 2A 2B 2C
(sb)(sc)
.
bc
171
1
log
+ log
+ log
3
2A
2B
2C
3
log .
2
1
Suponga que a b c, lo cual implica A B C. Entonces a
1
1
1
log
+ log
+ log
a
2A b
2B c
2C
1 1 1
+ +
a b
c
log
2A
(4.6)
1
b
1
c
+ log 2B + log 2C
3
3
1
3
log
+ log
+ log
log .
a
2A b
2B
c
2C
R
2
Elevando a las potencias adecuadas y tomando rec
procos, obtiene la desigualdad deseada. En todas las desigualdades anteriores, la igualdad se tiene si y slo
o
si a = b = c (esto es, la igualdad se tiene slo para tringulos equilteros).
o
a
a
Solucin 2.44 Por la ley de los senos, se tiene que
o
sen B
sen C
1
sen A
=
=
=
,
a
b
c
2R
donde a, b, c son las longitudes de los lados del tringulo y R es el circunradio.
a
Entonces,
sen2 A + sen2 B + sen2 C =
=
b2
c2
a2
+
+
4R2 4R2 4R2
1
(a2 + b2 + c2 )
4R2
1
9
9R2 = ,
2
4R
4
172
donde r es el inradio de ABC. Por otra parte, usando el teorema 2.4.3 se obtiene
que s2 27r 2 , de donde
EF 2 + F D 2 + DE 2
s2
.
3
Solucin 2.47
o
a2
b2
c2
+
+
hb hc hc ha ha hb
a2 bc + b2 ca + c2 ab
abc(a + b + c)
=
2
4(ABC)
4(ABC)2
2R
abc(a + b + c)
=
4.
abc (a+b+c)r
r
4
=
=
4R
A
2
1cos A
2
4 3(ABC)
9abc
9 4 Rrs
2s
4 3rs
2 3s 9R R.
a+b+c
2s
3 3
o
Solucin 2.50 Use el ejercicio anterior y la desigualdad entre la media armnica
o
o
y la media geomtrica
e
3
1
ab
1
bc
1
ca
a2 b2 c2 .
a2 b2 c2
a2 + b2 + c2
.
3
a+b+c
2
entonces
173
3 xyz(x + y + z) xy + yz + zx.
Elevando al cuadrado y reduciendo trminos, se tiene que la desigualdad anterior
e
es equivalente a
xyz(x + y + z) x2 y 2 + y 2 z 2 + z 2 x2 .
Deduzca sta ultima de la desigualdad de Cauchy-Schwarz con (xy, yz, zx) y
e
ab + bc + ca
a+b+c
=
=
=
174
b2
c2
a2
+
+
sa sb sc
sb
sc
sa
a+
b+
c
sa
sb
sc
1
2
s
2
b
c
a
+
+
sa sb sc
2s(R R )
2s(R r)
3 3rR
2
=
= 3 3R,
r
r
r
=
las dos ultimas desigualdades se derivan del hecho que R 2r (lo que implica
d
b
175
HI
2y
=
.
b
p
Luego,
p(DEF GHI) =
4(xa + yb + zc)
p
1
pero, a2 + b2 + c2 3 (a + b + c)(a + b + c) por la desigualdad de Tchebyshev.
Por lo tanto, p(DEF GHI) 2(a + b + c) 4 (a + b + c) = 2 (a + b + c).
3
3
2 3
rculos de radio 1, entonces uno de los tres c
rculos
3 es cubierto por tres c
cubre una cuerda de longitud mayor a 2.
Solucin 2.63 Tome el tringulo acutngulo de lados de longitud 2r1 , 2r2 y
o
a
a
2r3 , si existe. Su circunradio es el buscado. Si no existe el tringulo, la solucin
a
o
es el mayor radio entre r1 , r2 y r3 .
Solucin 2.64 Lema 1. Si un cuadrado de lado de longitud a est dentro del
o
a
rectngulo de lados de longitud c y d, entonces a m {c, d}.
a
n
Demostracin.
o
176
d
a
c
Por los vrtices del cuadrado dibujamos rectas paralelas a los lados del rectngulo
e
a
de tal manera que encierren al cuadrado como se muestra en la gura. Como las
rectas paralelas forman un cuadrado dentro del rectngulo se tiene el resultado.
a
Lema 2. La longitud de la diagonal del cuadrado inscrito en un tringulo es
a
menor o igual a la longitud de la bisectriz interna del ngulo recto.
a
Demostracin. Sea ABC un tringulo rectngulo con hipotenusa CA y sea
o
a
a
P QRS el cuadrado inscrito.
A
S
T
P
Podemos suponer que los vrtices P y Q pertenecen a los catetos del tringue
a
lo rectngulo (en caso de no ser as transladamos el cuadrado) y sea O la
a
,
intereseccin de las diagonales P R y QS.
o
Como BQOP es c
clico (B = O = 90 ), se sigue que QBO = QP O =
, entonces O pertenece a la bisectriz interna del ngulo B. Sea T la in45
a
terseccin de BO con RS, entonces QBT = QST = 45 , luego BQT S
o
es c
clico y el centro O del circunc
rculo de BQT S es la interseccin de las
o
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 tringulo rectngulo. Como O O > O V , se tiene que las cuerdas
a
a
SQ y BT satisfacen SQ < BT , que es lo que se desea.
177
B
G
++
6
= 8 sen3 (30 ) = 1.
(CXA)
= (CDX) = a+b , de donde
a
para encontrar (ABCDE).
AX
XD
a
b
1+ 5
2 .
178
R
(pa + pb )(pb + pc )(pc + pa ).
2r
Utilice la desigualdad M G M A.
Solucin 2.71 (i)
o
(ii)
(iii)
PA
pb +pc
P
A
pb pc
PB
pc +pa
P A2
pb pc
P
B
pc pa
PC
pa +pb
P B2
pc pa
33
P
C
pa pb
33
P C2
pa pb
33
P A2 P B 2 P C 2
pb pc pc pa pa pb
PA
PB
PC
pb +pc pc +pa pa +pb
33
P
P
P
A B C
pb pc pc pa pa pb
R
2r
33
4R 2
r
12.
3.
4R
r
6.
(iv) Proceda como en el ejemplo 2.7.5, es decir, haga una inversin en una
o
circunferencia de centro P y radio d (arbitrario, por ejemplo d = pb ). Sean A ,
B , C los inversos de A, B, C. Sean p , p , p las distancias de P a los lados
a
c
b
B C , C A , A B , respectivamente.
pa P B P C B C
P B P C BC
=
,
P A1
d2
179
b c
+
c b
pa +
c a
pb +
+
a c
a b
+
b a
pc .
AN P M + AM P N
,
PA
180
de donde
BC
AN P M + AM P N
PN
PM
BN +
+
CM.
PA
PA
PA
Por lo tanto,
BC P A P M AB + P N CA.
b
c
a
Luego, P A pb a + pc a . Anlogamente para las otras dos desigualdades.
D
S
C
R
A
A
y
x
z
y
x
z
1
1
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
= 1
=
181
y
z
x
a
que ax by cz = 1. Ahora bien, el ultimo producto es mximo cuando
y
z
1
x
u
a = b = c y como los segmentos concurren el valor comn es 2 . Luego, se
tiene que P es el centroide.
Solucin 2.75 Si x = P D, y = P E y z = P F , se tiene que 2(ABC) =
o
ax + by + cz. Por la desigualdad de Cauchy-Schwarz,
(a + b + c)2
a
b
c
+ +
x y z
(ax + by + cz) .
b
c
a
Luego, x + y + z (a+b+c) . La igualdad se da cuando x = y = z, es decir,
2(ABC)
cuando P es el incentro.
aP D+bP E+cP F
3
2(ABC)
,
3
se
tiene que P D P E P F
Adems, la igualdad ocurre si y slo si
a
o
aP D = bP E = cP F .
Pero c P F = b P E (ABP ) = (CAP ) P est sobre la mediana AA .
a
De manera anloga, vea que P se encuentra en las otras medianas, entonces P
a
es el centroide.
Solucin 2.78 Usando la tcnica para la demostracin del teorema de Leibniz,
o
e
o
1
verique que 3P G2 = P A2 + P B 2 + P C 2 3 (a2 + b2 + c2 ), donde G es el
centroide. Por lo tanto, se tiene que el punto ptimo es P = G.
o
Solucin 2.79 El cuadriltero AP M N es c
o
a
clico y est inscrito en la circunfea
rencia de dimetro AP .
a
La cuerda M N subtiende siempre el ngulo A (o 180 A) por lo que la
a
longitud de M N depende proporcionalmente del radio de la circunferencia que
circunscribe a AP M N .
Tendr la mayor circunferencia cuando el dimetro AP sea lo ms grande posia
a
a
ble. Esto sucede cuando P es diametralmente opuesto a A. En este caso M y
182
A
N
P
M
B
AL AD
=
AD
R cos A 3R cos
AL =
OA
3
A+B+C
= 3R cos 60 = R.
3
2
t2
a
ha
= R + r, utilizando
A
F
L E
H
M
O
A
r
R
183
cpc
apa
bpb
+
+
aha
bhb chc
ha hb hc
+
+
pa
pb
pc
9.
pa pb pc
ha hb hc
pa
pc
pb
+
+
ha hb hc
= 1,
donde s =
a+b+c
.
2
(4.7)
184
+ cos
2
2
3
2
+ sen2
0 es equivalente a
0.
3
e
4 (p1 p2 + p2 p3 + p3 p1 ). Tambin,
2p2 +2p2 +2p2 2p1 p2 cos 120 2p2 p3 cos 120 2p3 p1 cos 120
3
2
1
p3 p1 )sen 120 =
= 2(p2 + p2 + p2 ) + p1 p2 + p2 p3 + p3 p1 .
1
2
3
Ahora usando que x2 + y 2 2xy, se tiene que a2 + b2 + c2 3(p1 p2 + p2 p3 +
4
p3 p1 ) = 3 3 3(ABC) . Luego, a2 + b2 + c2 4 3(ABC).
185
Solucin 2.88 Sean a, b, c las longitudes de los lados del tringulo ABC.
o
a
Dena, al igual que en el ejercicio anterior, sean p1 = F A, p2 = F B y p3 = F C.
Recuerde que, por la solucin del ejercicio anterior, se tiene
o
4 3(ABC) = 3(p1 p2 + p2 p3 + p3 p1 ).
Luego, lo unico que debe probar es
3(p1 p2 + p2 p3 + p3 p1 ) (p1 + p2 + p3 )2
pero, esto es equivalente a p1 p2 +p2 p3 +p3 p1 p2 +p2 +p2 que es un resultado
3
2
1
conocido, ver ejercicio 1.27.
Solucin 2.89 Como en el problema de Fermat, hay dos casos, cuando ABC
o
tiene todos sus ngulos menores a 120 o cuando hay un ngulo mayor de 120 .
a
a
, donde C es la imagen
En el primer caso el m
nimo de P A + P B + P C es CC
de A, al rotar la gura con centro en B un ngulo de 60 y en direccin positiva.
a
o
Por la ley de los cosenos se tiene que
(CC )2 = b2 + c2 2bc cos (A + 60 )
= b2 + c2 bc cos A + bc 3sen A
1 2
(a + b2 + c2 ) + 2 3(ABC).
=
2
Ahora, utilice que a2 +b2 +c2 4 3(ABC) para obtener (CC )2 4 3(ABC).
2
Por el teorema 2.4.3 se tiene que (ABC) 3 3r , por lo tanto (CC )2 36r 2 .
En el caso en que A 120 , el punto que resuelve el problema de FermatSteiner es el punto A, por lo que P A + P B + P C AB + AC = b + c. Por lo
tanto, lo unico que se tiene que probar es b + c 6r. Ms an, para esto puede
a u
xyz
usar el hecho que b = x + z, c = x + y y r = x+y+z .
Segunda Solucin. Es claro que P A + pa ha , donde pa es la distancia de
o
P al lado BC y ha es la longitud de la altura desde A. Luego, ha + hb + hc
186
sen QCP
sen BQC
PQ
PC .
B1
C1
P
A1
(A1 B1 C1 ) =
=
=
=
=
1
A1 B1 A1 C1 sen B1 A1 C1
2
1
P B P C sen B sen C sen QCP
2
PQ
1
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
circunc
rculo de ABC, es P B P Q = R2 OP 2 y el rea del tringulo ABC
a
a
2 sen A sen B sen C. Luego, (A B C ) es mxima
est dada por (ABC) = 2R
a
a
1 1 1
cuando P = O, es decir, cuando A1 B1 C1 es el tringulo medial.
a
4.3.
187
de aqu se obtiene B1 B2 =
a2
b2
2 2
2 2
+a
+ a2 = a cb2 c2 b =
c
de ab + ac = bc y la desigualdad por la desigualdad (1.11). La desigualdad es
estricta ya que b = c.
2
2
2
2
2
Note que, a2 + a2 = a + a 2 a = 1 2 a .
b
c
bc
bc
b
c
Ley de los senos aplicada al tringulo A1 A3 A4 lleva a que
a
sen 2
sen 2
7
7
2
2
4 =
2
sen 7 sen 7
2sen 7 sen 7 cos 2
7
a2
bc
sen 2
sen 2
7
7
=
2(1 cos2 2 ) cos 2
2 cos 2 (1 + cos 2 )(1 cos 2 )
7
7
7
7
7
=
>
sen 2
1
7
=
2
2
2
2
4 cos 7 (1 + cos 7 )sen 7
4 cos 7 (1 + cos 2 )
7
21
1
1
.
=
=
2
2
4 cos (1 + cos )
2
4 (1 + )
4
4
2
Luego
a2
b2
a2
c2
2
= 1 2 a < 1 ( 2 1) = 2 2.
bc
Solucin 3.2 Corte el tetraedro por las aristas DA, DB, DC y desdblelo
o
o
en el plano del tringulo ABC. Las caras ABD, BCD y CAD tendrn por
a
a
imagen a los tringulos ABD1 , BCD2 y CAD3 . Vea que D1 , B y D2 son
a
colineales as como tambin lo son D3 , A y D1 , y que B y A son puntos medios
e
1
de D1 D2 y D3 D1 , respectivamente. Luego, AB = 2 D2 D3 y por la desigualdad
del tringulo D2 D3 CD3 + CD2 = 2CD. Por lo tanto AB CD, como se
a
quer
a.
Solucin 3.3 Sea S el rea del tringulo entonces se tienen las siguientes
o
a
a
2S
frmulas sen = 2S , sen = 2S , sen = 2S , y r = S = a+b+c . Use estas
o
bc
ca
ab
s
frmulas para obtener que la desigualdad a probar es equivalente a
o
a
b
c
+
+
bc ca ab
(a + b + c) 9,
188
de (CD E ) es sen C , para esto ultimo note que CI = sen C y que D I = cos C ,
luego
2r 2
1
2r 2
=
(CD E ) = D E CI =
2r 2 .
C
C
2
sen C
2 sen 2 cos 2
Solucin 3.6 La clave est en notar que 2AX 3(AB + BX), que se puede
o
a
deducir aplicando el teorema de Ptolomeo (ejercicio 2.11) al cuadriltero c
a
clico
189
2
AX.
3
Por lo tanto
3(AB + BC + CD).
x1 +
x2 x3
xn
1
n1
2
+ 3 + + n x1 +x2 + +xn
= x1 +x2 + +xn n+M.
2
3
n
2
n
Por otro lado, la desigualdad entre la media armnica y la media aritmtica nos
o
e
lleva a
n
x1 + x2 + + xn
1
1
1 = 1.
n
x + x + + xn
1
tj =
j
P1
, para obtener
xj
j
j
1
j
(x1 x2 ...xn )
1
P 1
j
1
.
j
190
1
x1
x1
n
1
xj
= n.
es que abc
1
1 + x0 + x1 + + xi1 xi + + xn (1 + x0 + + xn ) = 1.
2
Para el lado derecho considere i = arcsen (x0 + + xi ), para i = 0, ..., n.
Note que
1 + x0 + + xi1 xi + + xn =
1 + sen i1
= cos i1 .
sen i sen i1
cos i1
1 sen i1
< . Pero
2
i i+1
i + i+1
sen
< (cos i1 )(i i1 ).
2
2
i i1 = n 0 =
.
2
2
n
n
n
2
Solucin 3.12 Si
o
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
x2
i
.
n1
1 ai
i=1
191
xi
i=1
i=1
x2
i
1 ai
n
i=1
(1 ai ) .
xi (xn+1 xi )
n 1xn+1 .
2
w2 + x2 + y 2 + z 2 = 1.
Tambin puede usar la desigualdad de Cauchy-Schwarz para obtener
e
|wx + xy + yz + zw|2 (w2 + x2 + y 2 + z 2 )(x2 + y 2 + z 2 + w2 ) = 1.
Solucin 3.16 Para la desigualdad de la izquierda, reacomode as
o
an + a2 a1 + a3
an1 + a1
a1 a2 a3 a2
a1 an
+
++
=
+
+
+
++
+ ,
a1
a2
an
a2 a1 a2 a3
an a1
ahora utilice que
x
y
y
x 2.
a1 +a3
a2 +a4
a2 + a3
+a
+a
Llame Sn = ana1 2 +
o
+ + an1n 1 . Pruebe por induccin que
a
Sn 3n.
Primero para n = 3, se necesita ver que b+c + c+a + a+b 9. Si a = b = c,
a
b
c
entonces b+c + c+a + a+b = 6 y la desigualdad es cierta. Suponga ahora que
a
b
c
192
an1 + a2 a2 + a3
an2 + a1
+
+ +
+ 1 + 1.
a1
a2
an1
OD
y
BO
x+y
=
OE
z
CO
y+z
.
=
OF
x
R3
OD OE OF
193
8, por lo que, OD
AX
AY sen 2 A
ha
2R sen 2 A
1
sen A
ha
=
como
a sen A
a
2R
=
3
hb
hc
ha
a sen A b sen B c sen C
= 3
como ha = b sen C, hb = c sen A, hc = a sen B.
Solucin 3.19 Sin perder generalidad, podemos suponer x1 x2 xn .
o
Como 1 < 2 < < n se tiene, por la desigualdad del reacomodo (1.2),
A = x1 + 2x2 + + nxn nx1 + (n 1)x2 + + xn = B.
Luego, |A + B| = |(n + 1) (x1 + + xn )| = n + 1, por lo que A + B =
(n + 1). Ahora bien, si A + B = n + 1 se cumple que B n+1 A, y si
2
A + B = (n + 1) sucede que B n+1 A.
2
a
Suponga ahora que n+1 o n+1 estn entre B y A, ya que en caso contrario A
2
2
o B estar en el intervalo n+1 , n+1 . Luego, uno de los valores |A| o |B|
an
2
2
es menor o igual a n+1 y termina el problema.
2
Suponga por lo tanto, B n+1 < n+1 A.
2
2
Sea y1 , ..., yn una permutacin de x1 , ..., xn tal que 1y1 + 2y2 + + nyn = C
o
toma el valor ms grande con C n+1 . Tome i tal que y1 y2 yi
a
2
y yi > yi+1 , y considere
D = y1 + 2y2 + + iyi+1 + (i + 1)yi + (i + 2)yi+2 + + nyn
2
2
2
194
Solucin 3.20 Entre los nmeros x, y, z dos tienen el mismo signo (suponga
o
u
y
que son x y y), como c = z x + x es positivo, z es positivo.
y
Note que a + b c = 2xy , b + c a = 2yz , c + a b = 2zx son positivos.
z
x
y
Rec
procamente, si u = a + b c, v = b + c a y w = c + a b son
positivos entonces haciendo u = 2xy , v = 2yz , w = 2zx , podemos obtener que
z
x
y
a=
u+w
2
=x
y
z
z
y
, etc.
4
4
4
Gracias a la desigualdad M GM A se tienen
1 y por lo tanto, X i=1 xi .
(x1 x2 x3 x4 )2 =
y1
x1
z1
, ,
y
x
z
M AM B
M CM D
= tan tan
4.
4.
PM
Solucin 3.25 Primero note que P L + BM + P N = 1. Ahora, use el hecho de
o
AL
CN
que AL, BM y CN son menores que a.
QC
QA
PB
PA
= 1.
QC
QA
1
4
PB
PA
QC
QA
195
2
e
AQG y CQC son semejantes, entonces P B = BB y QC = CC . Use sto
PA
AG
QA
AG
= BB + CC .
junto con el hecho de que AG = 2GA
Solucin 3.27 Sean el circunc
o
rculo del tringulo ABC y R su radio. Consia
dere la inversin en . Para cualquier punto P distinto de O, sea P su inverso.
o
El inverso del circunc
rculo de OBC es la recta BC, entonces A , el inverso de
1
A1 , es el punto de interseccin entre el rayo OA1 y BC. Como7
o
P Q =
R2 P Q
OP OQ
1
1
1
+
+
y+z z+x x+y
9
.
2
196
Solucin 3.28 Note que el rea del tringulo GBC es, (GBC) =
o
a
a
2(ABC)
aGL
. Anlogamente, GN = 2(ABC) .
a
2 , de donde GL =
3a
3c
Por lo tanto,
(GN L) =
=
(ABC)
3
GL GN sen B
4(ABC)2 sen B
=
2
18ac
(ABC)2 b2
(ABC) b2
4(ABC)2 b2
=
.
=
(18abc)(2R)
9 4R2
(9R abc )(4R)
4R
Anlogamente, (GLM ) =
a
(ABC) c2
94R2
y (GM N ) =
a2 + b2 + c2
4R2
(LM N )
1
=
(ABC)
9
(ABC) a2
.
94R2
Por lo tanto,
R2 OG2
.
4R2
= > .
2
2
(ABC)
4R
4R
9
27
Solucin 3.29 La funcin f (x) =
o
o
f (ab) + f (bc) + f (ca)
3
1
1+x
ab + bc + ca
3
=
3
3 + ab + bc + ca
3
1
= ,
3 + a2 + b2 + c2
2
= .
2 + b2 + c2
1 + ab 1 + bc 1 + ca
3 + ab + bc + ca
3+a
2
La primera desigualdad se sigue de la desigualdad (1.11) y la segunda se sigue
del ejercicio 1.27.
Solucin 3.30 Dena x = b + 2c, y = c + 2a, z = a + 2b. La desigualdad
o
deseada se transforma en
x y
+
y
x
y z
+
z y
x
z
+3
+
x z
y
z x
+ +
x y
z
15,
197
.
b + 2c c + 2a a + 2b
ab + 2ca bc + 2ab ca + 2bc
3(ab + bc + ca)
La desigualdad se sigue inmediatamente de la desigualdad (1.11). Slo falta
o
probar la desigualdad (a + b + c)2 3(ab + bc + ca), que es una consecuencia
de la desigualdad de Cauchy-Schwarz.
Solucin 3.31 Utilice la desigualdad (1.11) o bien utilice la desigualdad de
o
Cauchy-Schwarz con
a , b , c , d
y ( a + b, b + c, c + d, d + a).
a+b
b+c
c+d
d+a
Solucin 3.32 Sean x = b + c a, y = c + a b y z = a + b c. La semejanza
o
entre los tringulos ADE y ABC nos da que
a
per
metro de ADE
2x
DE
=
=
.
a
per
metro de ABC
a+b+c
x(y+z)
Luego, DE = x+y+z , es decir, la desigualdad es equivalente a ver que
x+y+z
. Utilice la desigualdad M G M A.
4
x(y+z)
x+y+z
=
=
=
C
E
sen E
BC sen B
sen B
FD
EC
entonces, E = E.
Considere despus, a G sobre BD con BG = AD y a H la interseccin de GE
e
o
con la paralela a BC por A. Use que los tringulos ECG y EAH son semejantes,
a
y el teorema de Menelao en el tringulo CAD, con transversal EF B, para
a
concluir que AH = DB. Tendr ahora que BDAH es un paralelogramo, que
a
BH = AD y que BHG es issceles con BH = BG = AD > BE.
o
Solucin 3.34 Observe que ab + bc + ca 3abc si y slo si
o
o
Como
1 1 1
(a + b + c)
+ +
9,
a b
c
1
a
1
b
1
c
3.
198
a3 + b3 + c3
1 1 1
+ +
a b
c
3 a3 + b3 + c3 .
Solucin 3.35 Tome yi =
o
desigualdad, es decir,
xi
n1 ,
1
1
1
+
+ +
> n 1.
1 + y1 1 + y2
1 + yn
Luego
1
1 + yi
>
j=i
1
1 + yj
(n 1) n1
=
j=i
yj
1 + yj
y1 yi yn
(1 + y1 ) (1 + yi ) (1 + yn )
n
i=1
1
y1 yn
,
> (n 1)n
1 + yi
(1 + y1 ) (1 + yn )
o
Solucin 3.36 Use la desigualdad de Cauchy-Schwarz con las colecciones
o
x1
xn
x1 y1 , . . . , xn yn para garantizar que
y
y1 , . . . ,
yn
(x1 + + xn )2 =
2
x1
xn
x1 y 1 + +
xn y n
y1
yn
xn
x1
+ +
(x1 y1 + + xn yn ) .
y1
yn
xi y i
199
1
1
1
+ n+ n
n
a
b
c
La armacin se sigue del hecho de que el lado izquierdo de cada una de las
o
identidades tiene el mismo mismo signo.
Solucin 3.38 Haga la demostracin por induccin en n. El caso n = 1 es
o
o
o
claro. Suponga el resultado cierto para n y vea que es vlida la desigualdad para
a
n + 1.
Como se tiene que n < n2 + i < n + 1, para i = 1, 2, ..., 2n, sucede que
n2 + i =
n2 + i n <
n2 + i +
i
2n
n=
i
.
2n
Luego
(n+1)2
(n+1)2
n2
j +
j=1
j=1
j
j=n2 +1
n2 1
1
+
2
2n
2n
i
i=1
(n + 1)2 1
.
2
3
x2 + y 2 (x3 + y 3 )2/3 2 < (x3 + y 3 )2/3 (x3 + y 3 )1/3 = x3 + y 3 .
3 +y 3
2 (y 1)2 0.
que y
Segunda Solucin. Como (y 1)2 0, se tiene que 2y y 2 + 1, luego
o
2y 3 y 4 + y 2 . Luego, x3 + y 3 x3 + y 4 + y 2 y 3 x2 + y 2 , ya que
x3 + y 4 x2 + y 3 .
Solucin 3.40 La desigualdad es equivalente a
o
(x0 x1 ) +
1
1
+ (x1 x2 ) + + (xn1 xn ) +
2n.
(x0 x1 )
(xn1 xn )
200
a+3b
4
ab3 ,
b+4c
5
bc4 y
11
c+2a
3
19
ca2 , tenemos
17
a2 b + a b2 + b2 c + b c2 + c2 a + c a2 2(a3 + b3 + c3 ).
Para ver la validez de la ultima desigualdad, use la desigualdad del reacomodo
o la desigualdad de Tchebyshev.
Solucin 3.43 Sea E la interseccin de AC y BD. Los tringulos ABE y
o
o
a
DCE son semejantes, entonces
|AB|
|AB CD|
=
.
|AC BD|
|AE EB|
|AB|
Usando la desigualdad del tringulo en ABE, se tiene que |AEEB| 1 y
a
concluya entonces que |AB CD| |AC BD|. Anlogamente, |ADBC|
a
|AC BD|.
Solucin 3.44 Muestre, que siempre se tiene que a1 + +aj j(j+1) an , para
o
2n
j n, de la siguiente forma. Primero pruebe que la desigualdad es vlida para
a
j = n, es decir, a1 + + an n+1 an ; use el hecho de que 2(a1 + + an ) =
2
a1 ++a
(a1 + an1 ) + + (an1 + a1 ) + 2an . Luego, pruebe que si bj = 1++j j ,
o
entonces b1 b2 bn an (para probar por induccin que bj bj+1 ,
n
aj+1
necesitamos probar que, bj j+1 , lo cual se sigue de la primera parte para
n = j + 1).
Damos otra demostracin de a1 + + aj j(j+1) an , nuevamente usando
o
2n
induccin. Es claro que
o
a1 a1
a1 +
a2
a1 a1 a2
a2 a2
=
+
+
+
= a2 .
2
2
2
2
2
2
201
aj
a2
+ +
a1 + + aj .
2
j
aj
a2
+ + j = aj + + a1
2
j
se tiene que
(j+1) a1 +
aj
a2
+ +
2
j
Luego,
a1 +
aj
j
a2
+ +
aj+1 .
2
j
j+1
j+1
Finalmente, sumando j+1 en ambos lados de la desigualdad, terminamos el
ultimo paso de la prueba por induccin.
o
Ahora,
a1 +
an
a2
+ +
2
n
1
(a1 + + an ) +
n
1
n
n(n + 1)
an
2n
n1
j=1
n1
+
j=1
1
1
j
j+1
(a1 + + aj )
j(j + 1)
1
an = an .
j(j + 1) 2n
202
Solucin 3.45
o
1in
xi
x2 + 2
i
1in
= 8
1in
1in
= 8
1i<jn
1i<jn
x2 2
i
xi xj
1i<jn
x2
i
1i<jn
xi xj (x2
1
xi xj
xi xj
+ + x2 )
n
xi xj (x2 + x2 ).
i
j
1i<jn
las xi deben ser diferentes de cero y las n 2 restantes iguales a cero; adems,
a
en el paso en el que se us la desigualdad M G M A, las xi diferentes de cero
o
deben ser iguales. Se puede comprobar que, en tal caso, la constante C = 1 es
8
la m
nima.
y
3x2 y 4 y 6 + x3 y 3 + x3 y 3 ,
203
a2 x2
=
.
(by + cz)(bz + cy)
2((by)2 + (cz)2 )
2( + )
Sumando las otras dos desigualdades similares, obtendr
a
S
1
2
+
+
+ + +
204
x
y,
b =
y
x
1+
z
z
y
z
, c =
z
x.
La desigualdad es
z
y
1,
1+
x
x
o
Solucin 3.51 Note primero que abc a + b + c implica que (abc)2
o
(a + b + c)2 3(a2 + b2 + c2 ), donde la ultima desigualdad se sigue de la
desigualdad (1.11).
Por la desigualdad M GM A, a2 +b2 +c2 3 3 (abc)2 , luego (a2 +b2 +c2 )3
33 (abc)2 . Por lo tanto (a2 + b2 + c2 )4 32 (abc)4 .
Solucin 3.52 Por la desigualdad M G M A,
o
(a + b)(a + c) = a(a + b + c) + bc 2 abc(a + b + c).
Segunda Solucin. Dena x = a + b, y = a + b, z = b + c, tendr que x, y, z
o
a
son las longitudes de los lados del tringulo XY Z, ya que a, b, c son positivos.
a
Entonces, por la frmula del rea del tringulo de la seccin 2.2 la desigualdad
o
a
a
o
xy
es equivalente a 2 (XY Z) . Ahora, use que el rea del tringulo con lados
a
a
de longitud x, y, z es menor o igual a xy .
2
Solucin 3.53 Como xi 0, entonces xi 1 1. Luego, puede usar la
o
desigualdad de Bernoulli para toda i, y obtener
(1 + (xi 1))i 1 + i(xi 1).
205
a
a4/3 +b4/3 +c4/3 , ser claro como
Solucin 3.55 Si muestra que a2a
o
a
+8bc
obtener el resultado. Esta ultima desigualdad es equivalente a
a4/3 + b
4/3
4/3
+c
4/3
4/3
+c
a4/3
4/3
= b
4/3
+c
a4/3 + a4/3 + b
4/3
4/3
+c
4 x
c
b
1
+
. Aplicando
y
z
ax+by+cz
2 + 8ab (antes multiplique por un
c
a
b
c
1
+
+
.
a2 + 8bc
b2 + 8ca
c2 + 8ab
a3 + b3 + c3 + 24abc
x1
x2
xn
n
2 + 1 + x2 + x2 + + 1 + x 2 + + x 2
1 + x1
n
1
1
2
Luego, es suciente demostrar que
1
1
.
x2
1
a2
i
ai bi
b2 .
i
x2
1
1+x2
1
b2 ,
i
206
xi
2 + + x2
1 + x1
i
x2
i
(1 + x2 + + x2 )2
1
i
x2
i
(1 + x2 + + x2 )(1 + x2 + + x2 )
1
1
i1
i
1
1
.
(1 + x2 + + x2 ) (1 + x2 + + x2 )
1
1
i1
i
x2
1
1
Para i = 1, use que b2 1+x2 = 1 1+x2 .
1
1
1
Sume las desigualdades, la suma de la derecha es telescpica, por lo que,
o
n
b2 =
i
i=1
xi
2 + + x2
1 + x1
i
1+
x2
1
1
< 1.
+ + x2
n
Solucin 3.57 Como slo existen dos valores posibles para , , , los tres
o
o
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
a3 + b3 + c3
abc
=
=
a3 + b3 (a + b)3
ab(a + b)
(a + b)2 a2 + ab b2
ab
3ab
ab
= 9.
=
=
a3 + b3 + (a + b)3
(a + b)2 + a2 ab + b2
=
ab(a + b)
ab
2 + 2b2 + ab
a b
2a
=2
+
+ 1.
ab
b a
3
3
1
abc, Y = 3 (a + b)(b + c)(c + a). Use M G M A
a(c+a) XY , donde X =
207
y Y 2 a+b+c . Luego,
3
a+b+c
3
3
XY
a4
b4
c4
+
+
abc abc abc
(a2 + b2 + c2 )2
3abc
a + b + c 3 (a + b + c)
(a + b + c)4
=
27abc
3
abc
a+b+c
(abc)
= a + b + c.
abc
=
Solucin 3.61
o
1
a
+
b+c 2
1
b
+
c+a 2
1
c
+
a+b 2
208
1
Solucin 3.64 Multiplicando por abc la igualdad 1 = a + 1 + 1 , se tiene
o
b
c
ab
bc
ca
abc =
c + ab
c +
a +
b . Entonces, es suciente demostrar que
ab
1
c + c + 2 ab o c + ab c + ab(1 a 1 ) + 2 ab o a + b 2 ab.
b
Solucin 3.65 Como (1 a)(1 b)(1 c) = 1 (a + b + c) + ab + bc + ca abc
o
y como a + b + c = 2, la desigualdad es equivalente a
1
.
27
Pero a < b + c = 2 a implica que a < 1 y, anlogamente, b < 1 y c < 1,
a
entonces la desigualdad de la izquierda es verdadera. La otra desigualdad se
sigue de la desigualdad M G M A.
0 (1 a)(1 b)(1 c)
B1
C1
A1
3
Adems, (AA1 M ) = 4 (ABC). Entonces la desigualdad que se tiene que dea
mostrar es,
3
1
1
3
1
+
.
+
ma mb mb mc mc ma
4 (AA1 M )
Ahora, la ultima desigualdad ser verdadera si la siguiente desigualdad se sa
a
tisface para las longitudes de los lados de un tringulo a, b, c y rea S, es
a
a
decir,
1
1
1
3 3
+
+
,
ab bc ca
4S
4 3S
209
9abc
a+b+c
y da =
1
bc ,
1 + ab
1 + bc
1 + bc
1 + ab
+
+
+
1+a
ab + abc
1+b
bc + bcd
= (1 + ab)
1
1
+
1 + a ab + abc
1
x
1
y
+ (1 + bc)
4
x+y ,
1
1
+
1 + b bc + bcd
(4.8)
.
para obtener
4
4
+ (1 + bc)
1 + a + ab + abc
1 + b + bc + bcd
1 + ab
1 + bc
+
1 + a + ab + abc 1 + b + bc + bcd
1 + ab
a + abc
+
= 4.
1 + a + ab + abc a + ab + abc + abcd
a
b+c
1
bc
((b + c)2 a2 ) ((b + c)2 a2 ).
2
(b + c)
4
1
1a
1
b+c
la desigualdad es equivalente a
1
1
2
2
2
1
+
+
+
+
.
b+c c+a a+b
2a + b + c 2b + a + c 2c + a + b
210
1
x
1
y
4
x+y ,
1
1
1
+
+
b+c c+a a+b
4
4
4
+
+
a + b + 2c b + c + 2a c + a + 2b
n
n
n
2
2
2
n
=
(a + b + c) >
(2c) = 2cn n bn + cn .
2
2
2
Como a b, se tiene que
b+
a
2
a
= bn + nbn1 + otros trminos positivos
e
2
n
> bn + abn1 bn + an .
2
n
1
1
1
2
a
a
n
n n
n
n n
n
n n
+c+
< b+ +
(a + b ) + (b + c ) + (c + a )
2
2
2
n
n
2
2
=1+
.
= a+b+c+
2
2
Segunda Solucin. Recuerde que, a, b, c son las longitudes de los lados de un
o
tringulo si y slo si existen nmeros positivos x, y, z con a = y + z, b = z + x,
a
o
u
1
c = x + y. Como a + b + c = 1, se tiene que x + y + z = 2 .
Ahora, use la desigualdad de Minkowski
1
m
n
m
(xi + yi )
i=1
1
m
xm
i
1
m
n
m
yi
i=1
i=1
para obtener
1
2z.
n
2y. Por lo tanto,
1
1
1
2
n
n
n n
n
n n
n
n n
(a + b ) + (b + c ) + (c + a ) < a + b + c + 2(x + y + z) = 1 +
.
2
1
2x y (cn + an ) n < b +
211
Solucin 3.71 Note primero que si restringe las sumas con i < j, entonces
o
ellas suman la mitad. La suma de la izquierda est elevada al cuadrado y la
a
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 trmino x1 aparece
e
en (n 1) trminos con signo negativo, x2 aparece en un trmino con signo
e
e
positivo y en (n 2) trminos con signo negativo, etc. Entonces, se obtiene que
e
(n 1)x1 (n 3)x2 (n 5)x3 + (n 1)xn =
(2i 1 n)xi .
i2 4(n + 1)
i + n(n + 1)2
2
n(n + 1)(2n + 1) 2n(n + 1)2 + n(n + 1)2
3
1
n(n + 1)(2(2n + 1) 6(n + 1) + 3(n + 1))
3
1
n(n2 1).
3
i,j
|i j| |xj xj |
i,j
(xi xj )2
i,j
(i j)2 .
Aqu est asegurado que la igualdad se da si y slo si (xi xj ) = r(i j), con
a
o
r > 0.
212
Como
i,j
|i j| |xi xj | =
n
2
i,j
n2 (n2 1)
.
6
se tiene
(i 1) + (i 2) + + (i (i 1)) ((i + 1) i) + ((i + 2) i) + + (n i)) =
(i 1)i (n i)(n i + 1)
n(2i n 1)
=
.
2
2
2
El coeciente de xi en el lado derecho es,
n
n
n(2i n 1)
1+
1 = ((i 1) (n i)) =
.
2
2
2
=
i<j
j>i
xi
xi+1
bi = xi + xi+1 + xi+2
xi = 3.
bi = 3
ai = 1,
i=1
i=1
i=1
La desigualdad es equivalente a
n
i=1
ai
n2
.
bi
3
n
i=1
bi
b1 b n
b1 b n
n
1
.
3
b1 b n
n a a
an
n
n2
a1
ai
1
n
n
.
n
=n
=
n
n
bi
b1
bn
3
b1 b n
b1 b n
213
1
Solucin 3.73 Para cualquier a nmero real positivo a + a 2, con igualdad
o
u
si y slo si a = 1. Como los nmeros ab, bc y ca son no-negativos, se tiene
o
u
P (x)P
1
1
+b +c
x2
x
1
1
= a2 + b2 + c2 + ab x +
+ bc x +
x
x
1
x
= (ax2 + bx + c) a
+ ca x2 +
1
x2
1
x
1
1
+b +c
2
x
x
2
2
2
a
( ax) + ( bx) + ( c)
x
= (ax2 + bx + c) a
=
Solucin 3.74
o
a
b
ax
+ bx + c c
x
x
2
+ ( c)
= (a + b + c)2 = (P (1))2 .
a2 (b + c) + b2 (c + a) + c2 (a + b)
3
(a + b)(b + c)(c + a)
4
3
a2 b + a2 c + b2 c + b2 a + c2 a + c2 b
2 b + a2 c + b2 c + b2 a + c2 a + c2 b
2abc + a
4
2
2
2
2
2
2
a b + a c + b c + b a + c a + c b 6abc
214
+
+
.
1 + 2ab 1 + 2bc 1 + 2ca
1 + a2 + b2 1 + b2 + c2 1 + c2 + a2
Ahora, usando la desigualdad (1.11), se obtiene
1
1
1
(1 + 1 + 1)2
9
+
+
=
= 1.
2 + b2 1 + b2 + c2 1 + c2 + a2
2 + b2 + c2 )
1+a
3 + 2(a
3+23
Solucin 3.76 La desigualdad es equivalente a cada una de las siguientes
o
desigualdades
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
2 (x
215
z = x y + z z x + z y + z = xy + z(x + y + z) = xy + z.
xy + z + yz + x + zx + y xy + yz + zx + x + y + z.
Solucin 3.80 Por el ejemplo 1.4.11, se tiene que
o
a3 + b3 + c3
(a + b + c)(a2 + b2 + c2 )
.
3
Ahora,
a3 + b3 + c3
a+b+c
3
(a2 + b2 + c2 )
AA1
(ABC)
4R1
AB AC BC
216
iS
y
(ai + + aj )2 =
1ijn
0ijn
(Si Sj )2 .
(x1 x2 + + (1)
xp )
x2 ,
i
(xj xi ) +
1i<jp
(4.9)
i=1
4
1ijp
ji par
xi xj (p 1)
x2 .
i
i=1
Esto puede ser obtenido sumando las desigualdades de la forma 4xi xj 2(x2 +
i
x2 ), i < j, j i =par (para i impar en la desigualdad, xi aparece
j
p
2
p1
2
veces
1 veces).
217
= (a + b + c)abc = xz,
luego, y 2 = a2 b2 + b2 c2 + c2 a2 + 2xz 3xz. De donde,
z 2 + 2y 2 4xz + 4x2 17y + 8 =
+
x
3
8
10
+ (y 3)2 + (y 2 3xz)
9
9
35 2
(x 3y) 0,
9
La parte (i) del ejercicio 1.90 nos dice que es suciente probar que (abc)2 + 2
3
3 a2 b2 c2 , pero esto se sigue de la desigualdad M G M A.
3
3
1
3
+ 6(a + b + c) =
3
abc
3
3
=
3
3
3
3
3
=
3
3
218
Es fcil ver que 3((ab)2 + (bc)2 + (ac)2 ) (ab + bc + ac)2 (use la desigualdad
a
de Cauchy-Schwarz). Entonces es suciente probar que
3
3
3
que es equivalente a (abc)2
la desigualdad M G M A
1
27 .
1
3
,
abc
abc
(abc)2 = (ab)(bc)(ca)
ab + bc + ca
3
La igualdad se da si y slo si a = b = c =
o
1
.
27
1
.
3
ti
i=1
i=1
1
1
+
t2 t3
n + t1
1
=n+
ti
1i<jn
1
(t2 + t3 ) +
t1
tj
ti
+
tj
ti
(i,j)=(1,2),(1,3)
tj
ti
+
tj
ti
tj
2
ti
+ 2, para todo i,j.
, t2 + t3 2 t2 t3 , y
tj
ti
t2 t3
n
2
ti
n +1 >
i=1
i=1
t2 t3
n2 n
t1
2
1
n+2
+2
2 = 2a+ +n2 4.
+2
ti
t1
2
a
t2 t3
2
De donde, 2a + a 5 < 0 y esto implica 1/2 < a = t1 / t2 t3 < 2, por lo
a.
t1 < 2 t2 t3 t2 + t3 , como se quer
Solucin 3.88 Note que 1 + b c = a + b + c + b c = a + 2b 0. Entonces
o
3
a 1+bca
1 + 1 + (1 + b c)
3
=a+
ab ac
.
3
219
Anlogamente,
a
bc ba
b3 1+ca b+
3
ca cb
3
.
c 1+ab c+
3
Sume estas tres desigualdades, y obtendr que
a
a 3 1 + b c + b 3 1 + c a + c 3 1 + a b a + b + c = 1.
Solucin 3.89 Si alguno de los nmeros es cero o si un nmero impar de
o
u
u
nmeros son negativos, entonces x1 x2 x6 0 y la desigualdad es obvia.
u
Por lo tanto, unicamente podemos tener 2 o 4 nmeros negativos entre los
u
nmeros involucrados en la desigualdad. Supongamos que ninguno de ellos es
u
cero y que hay dos nmeros negativos (para el otro caso, cambie el signo de
u
2
2
2
todos los nmeros). Si yi = |xi | entonces, es claro que y1 + y2 + + y6 = 6,
u
y1 + y2 = y3 + + y6 , and that x1 x2 x6 = y1 y2 y6 .
De la desigualdad M G M A se obtiene
y1 y2
y1 + y2
2
= A2 .
y3 + y4 + y5 + y6
4
y1 + y2
4
1 4
A .
24
1
Por lo tanto, y1 y2 y6 24 A6 .
Por otro lado, la desigualdad de Cauchy-Schwarz implica que,
2
2
2(y1 + y2 ) (y1 + y2 )2 = 4A2
2
2
2
2
4(y3 + y4 + y5 + y6 ) (y3 + y4 + y5 + y6 )2 = 4A2 .
2
2
2
Es decir, 6 = y1 + y2 + + y6 2A2 + A2 = 3A2 y entonces y1 y2 ...y6
3
2
1
1 6
24 A 24 = 2 .
b c
Solucin 3.90 Use la desigualdad de Cauchy-Schwarz con (1, 1, 1) y ( a , c , a )
o
b
para obtener
2
(1 + 1 + 1 )
a2 b2
c2
+ 2+ 2
b2
c
a
a b c
+ +
b c a
220
a
c
b
a
c
b
33
abc
bca
a
b
b
c
c
a
abc
bca
33
a b c
+ +
b c a
= 3, luego
= 3. Por lo tanto,
a2 b2
a b c
c2
a b c
+ 2 + 2 + + + 3+ + + .
b2
c
a
c a b
b c a
Sumando
a
c
b
a
c
b
2
2
(a2 a + 1)(a + 1) =
1 + a3 .
(a2
b2
c2
1
a2
+ 2
+ 2
.
2 + 2)
2 + 2)
+ 2)(b
(b + 2)(c
(c + 2)(a2 + 2)
3
221
Luego
x5 x2
x5 + y 2 + z 2
x5 x2
x3 (x2 + y 2 + z 2 )
1
1
x2
2 + y2 + z2
x
x
1
(x2 yz) 0.
x2 + y 2 + z 2
1
x
yz.
1
x3
1
x
1
+ y2 + z2 )
x3
5 + y2 + z2
x
yz + y 2 + z 2
(x2 + y 2 + z 2 )2
y 2 +z 2
+ y2 + z2
2
(x2 + y 2 + z 2 )2
x2
3
.
+ y2 + z2
1
1
1
+
+
a(b + 1) b(c + 1) c(a + 1)
+3
b(c + 1)
1+b
c(a + 1)
1+c
a(b + 1)
1+a
+
+
+
+
+
6.
a(b + 1)
(b + 1)
b(c + 1)
(c + 1)
c(a + 1)
(a + 1)
222
e
para seis nmeros.
u
Solucin 3.94 Sea R el circunradio del tringulo ABC. Como BOC = 2A,
o
a
COA = 2B y AOB = 2C se tiene que
(ABC) = (BOC) + (COA) + (AOB)
R2
(sen 2A + sen 2B + sen 2C)
2
2A + 2B + 2C
R2
3 sen
2
3
2
2
R
3 3R2
3 sen
.
=
=
2
3
4
=
R2
(tan A + tan B + tan C)
4
R2
3 tan
4
A+B+C
3
R2
3 3R2
=
=
3 tan
.
4
3
4
3 3R2
(A B C )
(ABC).
4
a
Solucin 3.95 Note primero que a2 + bc 2a2 bc = 2 ab ca. Anlogao
2 + ca 2 bc ab, c2 + ab 2ca bc; luego se puede asegurar
mente, b
223
que
1
1
1
1
+
+
a2 + bc b2 + ca c2 + ab
2
1
1
1
+ +
ab ca
bc ab
ca bc
1
1
1
+
+
ab bc ca
1
1
1
+
+
ca ab bc
el resultado se concluye.
Solucin 3.96 Por la desigualdad de Cauchy-Schwarz se obtiene
o
2
2
n
ai
= (n 1)
ai
ai aj
ai
= (n 1)2 A2 .
aj
i=j
i=1
i=j
i=j
ai
ai aj =
i=1
i=j
a2
i
i=1
= A2 A.
s=
i<j
|ai aj | =
j=2 i=1
n
=
j=2
(di + + dj1 )
=
k=1
k(n k)dk .
224
ak ak+1 = = a2k .
Solucin 3.98 Considere el polinomio P (t) = tb(t2 b2 ) + bc(b2 c2 ) +
o
ct(c2 t2 ). Este satisface las igualdades P (b) = P (c) = P (b c) = 0, luego
P (t) = (b c)(t b)(t c)(t + b + c), ya que el coeciente de t3 es (b c).
Por lo que
|ab(a2 b2 ) + bc(b2 c2 ) + ca(c2 a2 )| = |P (a)|
El problema es, ahora, encontrar el menor nmero M que cumpla para todos
u
los nmeros a, b, c, la desigualdad
u
|(a c)(a b)(b c)(a + b + c)| M (a2 + b2 + c2 )2 .
Pero si (a, b, c) cumple la desigualdad, tambin, (a, b, c) la cumple para
e
cualquier nmero real . Por lo que se puede suponer, sin perder generalidad,
u
que a2 + b2 + c2 = 1. As el problema se reduce a encontrar el valor mximo de
a
P = |(a b)(a c)(b c)(a + b + c)| para nmeros reales a, b, c que satisfacen
u
a2 + b2 + c2 = 1.
Note que
[3(a2 + b2 + c2 )]2 = [2(a b)2 + 2(a c)(b c) + (a + b + c)2 ]2
8|(a c)(b c)|[2(a b)2 + (a + b + c)2 ]
= 16 2P.
3 3+ 6
,
6 2
b=
6 2
yc=
63 3
.
6 2
1
Solucin 3.99 Para a = 2, b = c = 2 y n 3 la desigualdad no es vlida.
o
a
3
a+b+c
Si n = 1, la desigualdad se reduce a abc 1, que se sigue de abc 3 = 1.
Para el caso n = 2, sea x = ab + bc + ca; entonces como a2 + b2 + c2 = (a + b +
c)2 2(ab + bc + ca) = 9 2x y x2 = (ab + bc + ca)2 3(a2 bc + ab2 c + abc2 ) =
225
2 0.
equivalente a (2x + 3)(x 3)
Solucin 3.100 Primero use la desigualdad M GM A para ver que ca+c+a
o
3
3 c2 a2 . Por lo que
(a + 1)(b + 1)2
(a + 1)(b + 1)2
(a + 1)(b + 1)2
(b + 1)2
=
=
.
3
ca + c + a + 1
(c + 1)(a + 1)
(c + 1)
3 c2 a2 + 1
Anlogamente para los otros dos sumandos; y entonces se tiene
a
(a + 1)(b + 1)2 (b + 1)(c + 1)2 (c + 1)(a + 1)2
+
+
3
3
3
3 c2 a2 + 1
3 a2 b2 + 1
3 b2 c2 + 1
(c + 1)2
(a + 1)2
(b + 1)2
+
+
.
(c + 1)
(a + 1)
(b + 1)
Ahora aplique la desigualdad (1.11).
Solucin 3.101 Use la transformacin de Ravi a = x + y, b = y + z, c = z + x,
o
o
a
obtendr que x + y + z = 3 y xyz ( x+y+z )3 = 1 . Adems,
a
2
3
8
(a2 + b2 + c2 )(a + b + c) + 4abc
4abc
=
3
3
2 + (z + x)2 + (x + y)2 )(x + y + z) + 4(y + z)(z + x)(x + y)
2((y + z)
=
3
4
3
= ((x + y + z) xyz)
3
13
3 3 1
4
= .
3
2
8
3
a2 + b2 + c2 +
13
3 .
226
Aplique la desigualdad (1.11) y la desigualdad del ejercicio 1.27, para ver que
(2z)4
(2x)4
(2y)4
+
+
(z + x)(2x) (x + y)(2y) (y + z)(2z)
8(x2 + y 2 + z 2 )2
x2 + y 2 + z 2 + xy + yz + zx
8(x2 + y 2 + z 2 )2
.
2(x2 + y 2 + z 2 )
a
a + 2r
2a + r
r
r
2a + r
9
> .
2
Que se reduce a
2
Pero como
r
a
a
r
r a
+
a r
a
r
+
a + 2r 2a + r
5
> .
2
Pero a+2r a+r y 2a+r a+r; ms an, en las dos desigualdades anteriores
a u
las igualdades no se pueden dar simultneamente (ya que eso implicar que
a
a
227
32
1 1 1
+ +
,
a b
c
a+b+c
3
entonces a+b+c a+b+c . Entonces, bastar demostrar que a + b + c
a
3
2 3(xy + yz + zx), sucede que
Como (x + y + z)
1 1 1
+ +
a b
c
(a + b + c)2
1
1
1
+
+
ab bc ca
3
abc .
3
(a + b + c),
abc
+
+
1.
a+b+1 b+c+1 c+a+1
Por lo tanto,
2(a + b + c) + (a2 + b2 + c2 ) (a + b + c)2 = a2 + b2 + c2 + 2(ab + bc + ca)
de aqu el resultado.
228
m
nimo cuando Z, Q, C sean colineales y esto signica que CZ es la altura.
Por simetr BQ tambin deber ser altura y entonces P es el ortocentro.
a,
e
a
Solucin 3.109 Sea H el ortocentro del tringulo M N P y sean A , B , C
o
a
las proyecciones de H sobre BC, CA, AB, respectivamente. Como el tringulo
a
M N P es acutngulo H est en el interior y tambin en el interior del tringulo
a
a
e
a
ABC, y entonces
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 tringulo ABC, y si
a
, B , C son sus proyecciones sobre BC, CA, AB, respectivamente, entonces
A
x HA + HB + HC , donde x es la longitud de la altura menor de ABC.
Demostracin.
o
HA HB HC
(BHC) (CHA) (AHB)
HA + HB + HC
+
+
=
+
+
= 1.
x
ha
hb
hc
(ABC) (ABC) (ABC)
Lema 2. Si M N P es un tringulo acutngulo y H es su ortocentro, entonces
a
a
HM + HN + HP 2X, donde X es la altura ms grande del tringulo M N P.
a
a
Demostracin. Suponga que M N P, entonces N P P M M N
o
y entonces pasa que X es igual a la altura M M . Debe ver que HM + HN +
HP 2M M = 2(HM + HM ), o equivalentemente que HN + HP
HM + 2HM .
Sea H el punto simtrico de H con respecto a N P ; como M N H P es un
e
cuadriltero c
a
clico, el teorema de Ptolomeo dice que
H M N P = H N M P + H P M N H N N P + H P N P
y entonces se obtiene que H N + H P H M = HM + 2HM .
Solucin 3.110 Suponga, sin prdida de generalidad, que x y z. Por lo
o
e
que x + y z + x y + z, xy zx yz, 2z 2 (x + y) 2y 2 (z + x) 2x2 (y +
21
21
. Por la desigualdad del reacomodo,
z), 21
2z (x+y)
2y (z+x)
2x (y+z)
2yz
2x2 (y + z)
xy + zx
2x2 (y + z)
Ahora, al sumar
2x2 (y + z)
229
obtiene
2x2 + 2yz
2x2 (y + z)
2x2 + xy + zx
2x2 (y + z)
2x2 + x(y + z)
2x2 (y + z)
2x3 (y + z)
2x2 (y + z)
= 2( x + y + z) = 2.
Segunda Solucin. Note primero que,
o
2x2 (y
+ z)
x2 x(y + z) + yz
x2 + yz
(x y)(x z)
2x2 (y
+ z)
x(y + z)
2x2 (y + z)
y+z
2
2x2 (y + z)
y+ z
(x y)(x z)
+
.
2
2x2 (y + z)
+ z)
(x y)(x z)
2x2 (y
+ z)
x+
y+
z.
(y z)(y x)
2y 2 (z + x)
(z x)(z y)
2z 2 (x + y)
0.
2
Sin perder generalidad, suponga que x y z. Luego (xy)(xz) 0, y
2x (y+z)
(y z)(y x)
+ x)
(z x)(z y)
2z 2 (x
= (y z)(x y)
+ y)
(x z)(y z)
2z 2 (x
2y 2 (z
2z 2 (x + y)
+ y)
(x y)(y z)
1
2z 2 (x
+ y)
1
2y 2 (z
+ x)
(y z)(x y)
2y 2 (z + x)
(y z)(x y)
2y 2 (z + x)
0.
230
z 2 (x + y).
Solucin 3.111 Por la desigualdad (1.11)
o
b2
c2
(a + b + c)2
a2
+
+
.
2 + b + c2 2 + c + a2 2 + a + b2
6 + a + b + c + a2 + b2 + c2
Entonces, tiene que probar 6 + a + b + c + a2 + b2 + c2 12, pero como
a2 + b2 + c2 = 3, es suciente mostrar que a + b + c 3. Pero se tiene tambin
e
que (a + b + c)2 = a2 + b2 + c2 + 2(ab + bc + ca) 3(a2 + b2 + c2 ) = 9.
La igualdad se da si y slo si a = b = c = 1.
o
Solucin 3.112 Note primero que
o
1
2bc
2bc
2bc
a bc
=
=
=
.
a + bc
1 b c + bc
(1 b)(1 c)
(c + a)(a + b)
1
b
+ 1 ) 9.
c
Solucin 3.113 Note que (x y+y z+z x)2 = x2 y+y 2 z+z 2 x+2(xy yz+
o
yz zx + zx xy).
La desigualdad M G M A garantiza que
xy yz = xyz
xy 2
xyz + xy 2
,
2
por lo que,
231
Por lo tanto K 2
igualdad con K =
3
.
2 2
Como para x = y = z, se da la
es el m
nimo.
(x + y + z)(xy + yz + zx).
(x + y + z) (xy + yz + zx)
3 xyz
3
3
x2 y 2 z 2 = xyz
(x + y) (y + z) (z + x)
.
2
2
2
a2 + b2 b2 + c2 c2 + d2
+
+
2
2
2
a2 + c2 a2 + d2 b2 + d2
3
+
+
= .
2
2
2
2
232
(x + y + z) 3 3 xyz 3
(xy + yz + zx) 3 3 x2 y 2 z 2 3
(x2 + y 2 + z 2 ) 3 3 x2 y 2 z 2 3.
1
1
1
=
=
.
1+
+ c)
1 + a(ab + ac)
1 + a(3 bc)
3a + 1 abc
3
La desigualdad M G M A implica que 1 = ab+bc+ca a2 b2 c2 , entonces
3
abc 1. Luego,
1
1
1
=
.
2 (b + c)
1+a
3a + 1 abc
3a
=
a2 (b
Anlogamente,
a
1
1
+ a2 (b
+ c)
1
1+b2 (c+a)
1
3b
1
1+
b2 (c
+ a)
1
1+c2 (a+b)
1
3c .
1
1+
c2 (a +
b)
Por lo tanto,
1
1
1
+
+
3a 3b 3c
1
bc + ca + ab
=
.
3abc
abc
1
1
1
+
+
a+b b+c c+a
k + (a + b + c)k = (a + b + c + 1)k.
233
=
=
=
a2 + b2 + c2 + 3(ab + bc + ca)
(a + b)(b + c)(c + a)
2 + b2 + c2 + 2(ab + bc + ca) + (ab + bc + ca)
a
(a + b)(b + c)(c + a)
(a + b + c)(a + b + c + 1)
.
(a + b + c)2 abc
Luego,
(a + b + c)
(a + b + c + 1)
1
1
1
+
+
a+b b+c c+a
(a + b + c)2
1,
(a + b + c)2 abc
a
1
1
4
Solucin 3.119 Lema. Si a, b > 0, entonces (ab)2 + a2 + b1 ab .
o
2
Demostracin.
o
2
2 3ab)2
1
1
4
Basta notar que (ab)2 + a2 + b1 ab = (a 2+b(ab)2 .
2
a b2
Sin perder generalidad suponga que z = m
n{x, y, z}; ahora aplique el lema
con a = (x z) y b = (y z), para tener
1
1
4
1
.
+
+
234
= (a + b + c)2 2(a + b + c 1)
= (a + b + c 1)2 + 1
luego
a2 + b2 + c2 = (a + b + c 1)2 + 1.
El caso (ii) se puede demostrar dependiendo de como se lleg a establecer
o
el caso (i). Por ejemplo, si se demostr de la 2a forma, la igualdad se tiene
o
cuando a2 + b2 + c2 = 1 y a + b + c = 1. (En la 1a f orma la igualdad se tiene
cuando xyz = 1 y xy + yz + zx = 3). De las ecuaciones se puede cancelar
una variable, por ejemplo c (y como c = 1 a b, si se demuestra que a
y b nmeros racionales el c ser tambin un nmero racional), para llegar a
u
a
e
u
a2 + b2 + ab a b = 0. Esta identidad se puede trabajar como una ecuacin
o
1a
(1a)(1+3a)
Notacin
o
N
R
R+
aA
AB
|x|
{x}
[x]
[a, b]
(a, b)
f : [a, b] R
f (x)
f (x)
det A
n
i=1 ai
n
i=1 ai
i=j ai
mx{a, b, . . . }
a
m
n{a, b, . . . }
236
Notacin
o
x
exp x = ex
f (a, b, . . . )
c
clica
F (x1 , . . . , xn )
(b) (a)
[b] [a]
Bibliograf
a
238
Bibliography
Indice
Concavidad
Funcin
o
interpretacin geomtrica, 30
o
e
Convexidad
Funcin
o
interpretacin geomtrica, 30
o
e
Desigualdad
util, 40
Cauchy-Schwarz, 18
a la Engel, 41
de Bernoulli, 36
de Cauchy-Schwarz, 41
forma de Engel, 41
de Euler, 78
de Hlder, 32
o
de Jensen, 25
de Leibniz, 81
de Minkowski, 32
de Nesbitt, 19, 43, 70, 75
de Ptolomeo, 62
de Schur, 36
de Tchebyshev, 21
del reacomodo, 15
del tringulo, 3
a
forma general, 3
Entre medias potenciales, 37
Hlder generalizada, 37
o
Indice
240
Menor que, 2
Problema
de Pompeiu, 62
Fagnano, 102, 108
Fermat-Steiner, 102
Hern, 106
o
con c
rculo, 107
Punto
de Fermat, 103, 105
Recta real, 1
Solucin
o
de Fejr
e
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 Erds-Mordell, 9497, 101
o
de Euler, 77
de Leibniz, 80
de Muirhead, 51, 52
de Pappus, 93
Transformacin
o
de Ravi, 64, 85
Tringulo
a
o
rtico, 109, 112
pedal, 114
Valor absoluto, 3