Desigualdades - Radmila, Jose Antonio y Rogelio
Desigualdades - Radmila, Jose Antonio y Rogelio
Desigualdades - Radmila, Jose Antonio y Rogelio
on
II
Introducci
on
inradio y el circunradio del triangulo, respectivamente. Se incluyen tambien varios problemas geometricos clasicos haciendo hincapie en los metodos utilizados
para resolverlos.
En el captulo 3 se presentan ciento veinte problemas de desigualdades que han
aparecido en concursos recientes, cubriendo todos los niveles desde olimpiadas
nacionales, regionales hasta competencias internacionales.
En el captulo 4, se dan las soluciones a cada uno de los doscientos diez ejercicios
de los captulos 1 y 2, as como a los problemas presentados en el captulo 3.
La mayora de las soluciones de los ejercicios o problemas que han aparecido
en competencias internacionales de matematicas se extrajeron de las soluciones
oficiales de cada uno de los concursos. Esta es la razon por la cual no damos
creditos individuales por ellas.
Una gran parte de los ejercicios y problemas de desigualdades se pueden resolver
utilizando distintas tecnicas, es por ello que encontrar
a algunos ejercicios repetidos, pero en diferentes secciones. Esto le indicara que puede encontrar, con
la tecnica desarrollada en la seccion correspondiente, una manera de resolver el
ejercicio utilizando dicha herramienta.
El material presentado en este libro ha sido acumulado durante los u
ltimos
quince a
nos, principalmente durante las sesiones de trabajo con estudiantes que
han ganado el concurso nacional de la Olimpiada Mexicana de Matematicas;
estos estudiantes se estaban preparando para las competencias internacionales
en las que Mexico participa.
Quisieramos agradecer a Rafael Martnez Enrquez, Leonardo Ignacio Martnez
Sandoval, David Mireles Morales, Jes
us Rodrguez Viorato y Pablo Soberon
Bravo por su cuidadosa revision del texto y sus valiosos comentarios, lo cual
permiti
o mejorar la presentacion del libro.
Radmila Bulajich Manfrino
Jos
e Antonio G
omez Ortega
Rogelio Valdez Delgado
Contenido
Introducci
on
1. Desigualdades Num
ericas
1.1. El orden en los n
umeros reales . . .
1.2. La funcion cuadr
atica ax2 + 2bx + c.
1.3. Una desigualdad fundamental,
media geometrica-media aritmetica .
1.4. Una desigualdad maravillosa,
la desigualdad del reacomodo . . . .
1.5. Funciones convexas . . . . . . . . .
1.6. Una desigualdad u
til . . . . . . . . .
1.7. La estrategia de sustitucion . . . . .
1.8. Teorema de Muirhead . . . . . . . .
III
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
1
1
5
. . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. Desigualdades Geom
etricas
2.1. Dos desigualdades b
asicas . . . . . . . . . . . . . .
2.2. Desigualdades entre los lados de un triangulo . . .
2.3. Uso de desigualdades en la geometra del triangulo
2.4. La desigualdad de Euler y algunas aplicaciones . . .
2.5. Funciones simetricas de a, b y c . . . . . . . . . . .
2.6. Desigualdades con
areas y permetros . . . . . . .
2.7. Teorema de Erdos-Mordell . . . . . . . . . . . . .
2.8. Problemas de optimizacion . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
. 59
. 63
. 68
. 77
. 82
. 87
. 93
. 102
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
24
38
46
51
115
Contenido
IV
235
Bibliografa
237
Indice
239
Captulo 1
Desigualdades Num
ericas
1.1.
El orden en los n
umeros reales
Los n
umeros reales tienen la importante propiedad de poseer un orden. El orden
en los n
umeros reales nos permitir
a comparar dos n
umeros y decidir cual de ellos
es mayor o bien si son iguales. A fin de evitar justificaciones tediosas, asumiremos
que en los n
umeros reales hay un conjunto P que llamaremos el conjunto de
n
umeros positivos, y simbolicamente escribiremos x > 0, para decir que un
n
umero x est
a en P . Aceptaremos tambien las tres propiedades siguientes.
Propiedad 1.1.1 Cada n
umero real x tiene una y solo una de las siguientes
caractersticas:
(i) x = 0.
(ii) x P (esto es x > 0).
(iii) x P (esto es x > 0).
Propiedad 1.1.2 Si x,y P , entonces x + y P
(en smbolos x > 0, y > 0 x + y > 0).
Propiedad 1.1.3 Si x, y P , entonces xy P
(en smbolos x > 0, y > 0 xy > 0).
Si tenemos a la recta real como representacion geometrica de los n
umeros
reales, es decir, una recta dirigida donde se ha localizado el cero 0, el cual
Desigualdades Num
ericas
Ejercicio 1.3 (i) Si a > 0, b > 0 y a2 < b2 , entonces a < b. (ii) Si b > 0,
olo si a > b.
tenemos que ab > 1 si y s
Para un n
umero real x se define el valor absoluto, el cual se denota por |x|,
como
(
x
para x 0
|x| =
x para x < 0.
Geometricamente, |x| es la distancia del n
umero x (en la recta real) al origen
0. Tambien, |a b| es la distancia entre los n
umeros reales a y b en la recta
real.
Ejercicio 1.4 Para cualesquiera n
umeros reales x, a y b, se tiene que:
(i) |x| 0, y es igual a cero solamente cuando x = 0.
(ii) |x| = |x|.
(iii) |x|2 = x2 .
(iv) |ab| = |a| |b|.
a |a|
, con b 6= 0.
(v) =
b
|b|
Proposici
on 1.1.5 (Desigualdad del tri
angulo) Para dos n
umeros reales a y
b, siempre se tiene que
|a + b| |a| + |b| .
Ademas la igualdad ocurre solamente cuando ab 0.
Demostraci
on. Como ambos lados de la desigualdad son n
umeros positivos;
2
por el ejercicio 1.3 bastar
a entonces verificar que |a + b| (|a| + |b|)2 .
|a + b|2 = (a + b)2 = a2 + 2ab + b2 = |a|2 + 2ab + |b|2 |a|2 + 2 |ab| + |b|2
= |a|2 + 2 |a| |b| + |b|2 = (|a| + |b|)2 .
Desigualdades Num
ericas
La igualdad se tiene cuando todos los xi tienen el mismo signo. Esta se demuestra de manera similar, o bien por induccion. Otra version de la desigualdad
anterior que su usa muy a menudo es
|x1 x2 . . . xn | |x1 | + |x2 | + . . . + |xn |.
Ejercicio 1.5 Sean x, y, a, b n
umeros reales muestre que:
(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 n
umeros reales a, b, c muestre que
|a| + |b| + |c| |a + b| |b + c| |c + a| + |a + b + c| 0.
x2
y
y2
x
x + y.
1.2 La funci
on cuadr
atica ax2 + 2bx + c.
< 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
5
+ b + ab b + c + bc c + a5 + ca
La funci
on cuadr
atica ax2 + 2bx + c.
Desigualdades Num
ericas
2
como x + ab 0 y como el valor mnimo de esta u
ltima expresion es cero
2
b
cuando x = a , tenemos que el valor mnimo de la cuadratica es c ba .
Si a < 0, la funcion cuadratica ax2 + 2bx + c, tendra un maximo en x = ab y
2
2
2
su valor ah es c ba . En efecto, como ax2 + 2bx + c = a x + ab + c ba y
2
ltima
puesto que a x + ab 0 (ya que a < 0), el valor mas grande de esta u
2
expresion es cero, luego la funcion cuadratica siempre es menor o igual a c ba
y toma ese valor en x = ab .
Ejemplo 1.2.1 Si x, y son n
umeros positivos con x + y = 2a, el producto xy
es m
aximo cuando x = y = 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 maximo cuando x = a y entonces y = x = a.
Esto se puede interpretar geometricamente como: de los rectangulos de permetro fijo, el de mayor area es el cuadrado. Ya que si x, y son los lados del
rect
angulo, el permetro es 2(x + y) = 4a y su area es xy, que es maxima
cuando x = y = a.
Ejemplo 1.2.2 Si x, y son n
umeros positivos con xy = 1, la suma x + y es
mnima cuando x = y = 1.
1
x.
1
x
x
1
x
2
+ 2, luego,
1
x + y es mnimo cuando x x = 0, esto es, cuando x = 1. Por lo tanto,
x = y = 1.
Tambien podemos interpretar geometricamente esto de la siguiente forma, de
los rect
angulos de
area 1, el cuadrado es el de menor permetro. En efecto, si
x, y son los lados del rectangulo,
su
area es xy = 1 y su permetro
tenemos que
2
1
1
es 2(x + y) = 2 x + x = 2
x x + 2 4. Ademas, el permetro
es 4 si y s
olo si x 1x = 0, esto es, cuando x = y = 1.
Si xy = 1, entonces y =
As, x + y = x +
1
x
2.
2
Basta observar que x + x1 =
x 1x + 2 2. Ademas, la igualdad se logra
si y s
olo si x 1x = 0, esto es cuando x = 1.
Ejemplo 1.2.4 Si a, b > 0 entonces
a = b.
a
b
b
a
2, y la igualdad se da si y solo si
1.3.
`
2
2
b 2
.
+ 4acb
= b 4ac es negativo. En efecto, esto se sigue de que ax2 +bx+c = a x + 2a
4a
b b2 4ac
Recuerde que las races son
, y son reales cuando 0, en caso contrario no
2a
hay races reales, por lo que ax2 + bx + c toma un mismo signo, esta expresi
on ser
a positiva
si a > 0.
1
Desigualdades Num
ericas
de dos n
umeros no negativos a y b, que esta dada por
a+b
.
(M G M A)
ab
2
Adem
as la igualdad
ocurre si y solo si a = b.
etrica y la media
Los n
umeros ab y a+b
2 se conocen como la media geom
aritm
etica de a y b, respectivamente. Para demostrar la desigualdad basta
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
Presentamos ahora una demostracion geometrica y visual de las siguientes desigualdades, para x, y > 0,
1
x
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 n
umero
1
+ y1
x
1
x
xy
z
1
y
+
yz
x
1
z
1
xy
zx
y
x + y + z.
1
yz
1 .
zx
10
Desigualdades Num
ericas
4
abcd,
de
la
siguiente
manera:
ab + cd
4
2
2
2
2
q
4
ab cd = abcd.
a
b
b
c
c
d
d
a
1
a
1
b
4.
1
c
1
d
16.
la
desigualdad
es
los siguientes cuatro n
umeros a, b, c y d = 3 abc. Como
4 3
4
a+b+c+d
verdadera para cuatro n
umeros, tenemos
abcd = d d = d.
4
1
3
a+b+c
Luego, a+b+c
d
=
d,
por
lo
que,
d
= 3 abc.
4
4
4
3
Estas ideas se pueden usar para justificar la version general de la desigualdad
para n n
umeros no negativos. Si a1 , a2 , ... , an son n n
umeros no negativos,
tomamos los n
umeros A y G definidos como
A=
a1 + a2 + + an
n
G=
a1 a2 an .
Estos n
umeros se conocen como la media aritm
etica y la media geom
etrica
de los n
umeros a1 , a2 , ... , an , respectivamente.
Teorema 1.3.1 (Desigualdad entre las medias geom
etrica y aritm
etica)
a1 a2 an
a1 + a2 + + an
.
n
Primera demostraci
on. (de Cauchy)
Llamemos Pn a la afirmacion G A, para n n
umeros. La demostracion la
haremos por inducci
on sobre n, pero una induccion del siguiente tipo:
(1) Se muestra que la afirmacion vale para 2 n
umeros, esto es que P2 es cierta.
11
n a1 a2 an1 g = n gn1 g = g.
n
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 afirmacion P2 que sabemos es cierta y
a1 = A, a2 = A + k h.
Como a1 + a2 = A + A + k h = A h + A + k = a1 + a2 , es claro que,
a1 + a2 + a3 + + an = a1 + a2 + a3 + + an , pero a1 a2 = A(A + k h) =
A2 + A(k h) y a1 a2 = (A + k)(A h) = A2 + A(k h) hk, luego,
a1 a2 > a1 a2 y entonces a1 a2 a3 an > a1 a2 a3 an .
12
Desigualdades Num
ericas
3y
3
. Ademas,
434
1
x=
3 .
4
luego, y
esto es, si
3x3 + 3(1 x3 )
4
4
4
3
=
,
4
a3
b
b3
c
c3
a
ab + bc + ca.
13
1
2
1
+ + n1 , muestre que
n 2.
1
1+x1
+ +
1
1+xn
= 1.
1
1
.
a1 + + an (n 1) + +
a1
an
1
1+a1
+ +
14
Desigualdades Num
ericas
.
a3 + b3 + abc b3 + c3 + abc c3 + a3 + abc
abc
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.
1.4.
b1 b2 b n .
an b1 + an1 b2 + + a1 bn
(1.2)
(1.3)
16
Desigualdades Num
ericas
= a1 b1 + a2 b2 + + as br + + ar bs + + an bn .
x2i 2
Pn
n
X
xi y i +
i=1
Pn
n
X
i=1
yi2
n
X
i=1
x2i 2
n
X
i=1
xi zi +
n
X
zi2 ,
i=1
pero como i=1 yi2 = i=1 zi2 , entonces la desigualdad que tenemos que probar
es equivalente a demostrar
n
X
i=1
xi zi
n
X
i=1
xi yi ,
17
= a1 b1 + a2 b2 + + an bn
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 Num
ericas
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 n
umeros reales x1 , . . ., xn , y1 , . . ., yn , la siguiente desigualdad se cumple
!
! n
!2
n
n
X
X
X
2
2
yi .
xi yi
xi
i=1
i=1
i=1
i=1
i=1
x1 y1 + x2 y2 + + xn yn
.
ST
19
La igualdad ocurre si y s
olo si ai = an+i , para i = 1, 2, . . . , n, y esto es cierto
si y solo si xi = TS yi , para i = 1, 2, . . . , n.
Podemos dar otra demostracion de la desigualdad de Cauchy-Schwarz utilizando
la identidad de Lagrange
n
X
i=1
xi y i
!2
n
X
i=1
x2i
n
X
i=1
yi2
1 XX
(xi yj xj yi )2 .
2
i=1 j=1
+
+
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
b
c
b+c c+a a+b
a
+
+
+
+
= 3.
Por lo tanto, 2
b+c c+a a+b
b+c c+a a+b
Otra forma, de demostrar la desigualdad es usando la desigualdad (1.3) dos
veces,
c+a a+b b+c
+
+
b+c c+a a+b
a+b b+c c+a
+
+
b+c c+a a+b
3
3.
2b+c+a
2c+a+b
Luego, al sumar las dos expresiones obtenemos 2a+b+c
b+c + c+a + a+b 6,
y entonces
2b
2c
2a
+
+
3.
b+c c+a a+b
20
Desigualdades Num
ericas
a3 (b
1
a,
y =
1
b
1
1
1
+ 3
+ 3
+ c) b (c + a) c (a + b)
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
2(a + b + c)
a b c a c b
+ + + + +
.
3
b c a c b a
abc
21
x3 y 3
z3
x3 z 3
y3
x2 y y 2 z
z 2 x x2 z
z2 y
y2 x
+
+
+
+
+
+
+
+
+
+
y3
z3
x3
z3
y 3 x3
y 2 z z 2 x x2 y
z 2 y y 2 x x2 z
x2
y2
z2
x2
z2
y2
+
+
+
+
+
yz zx xy zy yx xz
2 x3 + y 3 + z 3
.
=
xyz
=
.
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 Num
ericas
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
Ejercicio 1.69 Para n
umeros reales positivos a, b, c, que satisfacen a+b+c = 1,
muestre que
1
ab + bc + ca .
3
Ejercicio 1.70 (Media arm
onica, geom
etrica y aritm
etica) Sean
x1 , x2 , ... , xn R+ , muestre que
1
x1
1
x2
n
+ +
1
xn
x1 + x2 + + xn
n
.
x1 x2 xn
n
1
1
1
+
+ + .
a1 a2
an
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 Num
ericas
1.5.
x2k
s
.
s 2xk
n2
Funciones convexas
(1.4)
(x, f (x))
(y, f (y))
25
En efecto, la ecuacion de la recta que pasa por (x, f (x))y (y, f (y)) es
L(s) = f (x) +
f (y) f (x)
(s x).
yx
1
2
en la ecuacion (1.4).
tn1
t1
(3) f (t1 x1 + + tn xn ) = f ((1 tn ) ( 1t
x1 + + 1t
xn1 ) + tn xn )
n
n
tn1
t1
(1 tn ) f 1tn x1 + + 1tn xn1 + tn f (xn ), por convexidad
n
o
tn1
t1
(1 tn ) 1t
f
(x
)
+
+
f
(x
)
+ tn f (xn ), por induccion
1
n1
1tn
n
= t1 f (x1 ) + + tn f (xn ).
26
Desigualdades Num
ericas
,
para
cualesquiera
x,
cion de que f satisfaga la relacion f x+y
2
2
y [a, b].
(ii) Podemos ver que (3) es valida para t1 , . . . , tn [0, 1] n
umeros racionales,
(y)
x+y
bajo la u
nica condicion de que f satisfaga la relacion f 2 f (x)+f
para
2
cualesquiera x, y [a, b].
La demostracion de (i), la haremos por induccion. Llamemos Pn a la afirmacion
1
x1 + + x n
(f (x1 ) + + f (xn )) ,
f
n
n
para x1 , . . ., xn [a, b] . Es claro que son validas las afirmaciones P1 y P2 .
Ahora, mostremos que Pn Pn1 .
n1
. Entonces, por ser cierto Pn ,
Sean x1 , . . ., xn [a, b] y sea y = x1 ++x
n1
tenemos
x1 + + xn1 + y
1
1
1
f
f (x1 ) + + f (xn1 ) + f (y).
n
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 .
n+1 ++x2n
Sea D = f x1 ++xn +x
=f
2n
u+v
2
xn+1 ++x2n
.
n
Como f
D
u+v
2
, donde u =
x1 ++xn
n
yv =
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
i=1 pi
27
= m, luego
f (t1 x1 + + tn xn ) = f
p
x1 + +
pn
xn
m
= f (x1 + + x1 ) + + (xn + + xn )
{z
}
{z
}
|
|
m
p1 t
erminos
pn t
erminos
p1
pn
= f (x1 ) + + f (xn )
m
m
= t1 f (x1 ) + + tn f (xn ).
pn t
erminos
Observaci
on 1.5.3 Si f : [a, b] R es una funcion continua2 en [a, b] y
cumple el inciso (2) de la proposicion, entonces f es convexa.
Hemos visto que si f cumple (2), entonces
f (qx + (1 q)y) qf (x) + (1 q)f (y),
para cualesquiera x, y [a, b] y q [0, 1] un n
umero racional. Como cualquier
real t se puede aproximar por una sucesion de n
umeros racionales qn , tenemos
que si estos qn est
an en [0, 1], entonces
f (qn x + (1 qn )y) qn f (x) + (1 qn )f (y).
Ahora bien, la continuidad de f nos garantiza que al tomar el lmite obtenemos
f (tx + (1 t)y) tf (x) + (1 t)f (y).
Decimos que f : [a, b] R es c
oncava si f es convexa.
Observaci
on 1.5.4 Una funcion f [a, b] R es concava en [a, b] si y solo si
f (ty + (1 t)x) tf (y) + (1 t)f (x), para 0 t 1 y a x < y b.
Veamos ahora algunos criterios para decidir si una funcion es convexa.
2
Una funci
on f : [a, b] R es continua en el punto c [a, b] si lmxc f (x) = f (c), y f
es continua en [a, b] si es continua para todo punto en el intervalo. Equivalentemente, f es
continua en c, si para toda sucesi
on de puntos {cn } que converge a c, la sucesi
on {f (cn )}
converge a f (c).
28
Desigualdades Num
ericas
29
x x0
y x0
(f (x) f (x0 ))(y x0 ) (f (y) f (x0 ))(x x0 )
P (x) P (y)
Criterio 1.5.7 Si la funcion f : [a, b] R es derivable4 con derivada nodecreciente, entonces f es convexa. En particular, si f es dos veces derivable y
f (x) 0 entonces la funcion es convexa.
Demostraci
on. Desde luego f (x) 0, para x [a, b], garantiza que f (x)
es no-decreciente. Vemos que f (x) no-decreciente implica que la funcion es
convexa.
Sea x = tb + (1 t)a, un punto de [a, b]. Por el teorema del valor medio5 ,
existen c (a, x) y d (x, b) tales que
f (x) f (a) = (x a)f (c) = t(b a)f (c)
y
30
Desigualdades Num
ericas
1 x f (x)
A = 1 y f (y) .
1 z f (z)
El
area puede ser positiva o negativa, dependiendo si el triangulo XY Z se
recorre en sentido positivo (contrario al avance de las manecillas del reloj) o en
sentido negativo. Para una funcion convexa tendremos que > 0 y para una
funcion c
oncava < 0, como muestran las graficas siguientes.
(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
zx , tenemos que 0 < t < 1, 1 t =
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 funcion f (x) = xn , n 1 es convexa en R+ y la funcion
f (x) = xn , con n par, es convexa en R.
31
,
tenemos
que
+f 1+
f 1+
2 = f (2) f
2
2
b
a
n
b
1
a n
+ 1+
=
1+
.
2
b
a
Ejemplo 1.5.9 La funcion exponencial f (x) = ex es convexa en R, ya que
f (x) = ex > 0, para todo x R.
Veamos varias aplicaciones de esta propiedad:
(i) (DesigualdadPM GM A con pesos) Si x1 , ... , xn , t1 , ... , tn son n
umeros
positivos y ni=1 ti = 1, entonces
xt11 xtnn t1 x1 + + tn xn .
t1 elog x1 + + tn elog xn = t1 x1 + + tn xn .
32
Desigualdades Num
ericas
(iii) (Desigualdad de H
older) Sean x1 , x2 , ... , xn , y1 , y2 , ... , yn , n
umeros
positivos y a, b > 0 tales que a1 + 1b = 1, entonces
n
X
i=1
xi y i
i=1
xi yi
a
xi
i=1
xai
!1/a
n
X
yib
i=1
Pn
a
b
i=1 xi =
i=1 yi
1 b
1 a
a xi + b yi , luego
n
X
n
X
Pn
n
i=1
i=1
!1/b
= 1.
1 1
1X a 1X b
xi +
yi = + = 1.
a
b
a b
Pn
a
i=1 xi
Pn
a
i=1 xi
=A y
=1 y
Pn
b
i=1 yi
n
X
i=1
b
yi
= B. Tomemos xi =
Pn
b
i=1 yi
= 1,
tenemos que
1
Por lo tanto,
n
X
xi yi
i=1
i=1
Pn
n
X
i=1 xi yi
n
X
1
xi yi
xi y i .
= 1/a 1/b
A1/a B 1/b
A B
i=1
A1/a B 1/b .
!1
n
X
(ak )p
k=1
!1
n
X
(bk )p
k=1
!1
Observemos que
(ak + bk )p = ak (ak + bk )p1 + bk (ak + bk )p1
33
luego,
n
n
n
X
X
X
(ak + bk )p =
ak (ak + bk )p1 +
bk (ak + bk )p1 .
k=1
k=1
(1.6)
k=1
n
X
ak (ak + bk )p1
p1
bk (ak + bk )
k=1
n
X
(ak )p
k=1
n
X
(bk )p
k=1
!1
!1
!1
!1
n
X
(ak + bk )q(p1)
k=1
n
X
(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 n
umeros reales
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
x1 ++xn
)
n
n
e(
+1
1
por tanto,
1
1
+
+
x
1+e 1
1 + exn
1
1+ex
es
1
1
n
+ +
.
r1 r n + 1
1 + r1
1 + rn
Ejemplo
umeros x1 , ... , xn (0, 1)
P 1.5.12 (China, 1989) Para cualesquiera n n
y con ni=1 xi = 1, se cumple que
Pn
n
X
xi
xi
.
i=1
1 xi
n1
i=1
34
Desigualdades Num
ericas
x
1x
i=1
i=1
n
X
1
xi
n
x
1X
1X
i
f (xi ) f
=
n
n
1 xi
i=1
1
1
=f
=
,
n
n n1
por lo tanto,
n
X
i=1
xi
n
.
1 xi
n1
Pn
xi p
esto se sigue de la desigualdad
Pn, pero
Bastar
a ahora ver que
pP
Pn i=1
n
n
de Cauchy-Schwarz, i=1 xi
x
n.
i=1 1 =
i=1 i
Ejemplo 1.5.13 (Hungra-Israel, 1999) Sean k y l dos enteros positivos dados,
y sean aij , 1 i k y 1 j l, kl n
umeros positivos dados. Muestre que si
q p > 0 entonces
l
X
j=1
k
X
i=1
p p1
! pq 1q
q
k
l
X X q
p
aij
aij
.
i=1
j=1
P
Definamos bj = ki=1 apij , para j = 1, 2, . . . , l, y denotemos la parte izquierda
de la desigualdad a probar por L y su parte derecha por R. Entonces
Lq =
l
X
bjp
j=1
l
X
k
X
qp
p
bj
i=1
j=1
k
X
i=1
apij
!!
l
qp
X
b p ap .
j
j=1
ij
35
Lq
k
X
i=1
k
X
i=1
l
X
j=1
l
X
qp
bj p
j=1
l
X
j=1
q
p
q
qp
qp
q
bjp
qp
q
bj
k
X
i=1
qp
q
l
X
j=1
l
X
j=1
pq
q
(apij ) p
l
X
j=1
p
q
q
aij
p
q
q
aij
= Lqp Rp .
1
a+
a
2
1
+ b+
b
2
25
.
2
.
a+
a
b
c
3
1
2
1
.
+p
2
2
1
+
xy
1+x
1+y
36
Desigualdades Num
ericas
37
.
2
2
2
(b + c)
(c + a)
(a + b)
4(a + b + c)
6
3
.
ab + bc + ca
a+b+c
Mas a
un, si abc = 1, pruebe que
1+
3
6
.
a+b+c
ab + bc + ca
)1
c
(xi yi )c
i=1
( n
X
)1 (
a
xi a
i=1
n
X
yi b
i=1
(ii) Si a, b, c son n
umeros reales positivos tales que
n
X
i=1
xi yi zi
( n
X
i=1
xi a
)1 ( n
a
X
i=1
yi b
)1
1
1
1
a+b+c
)1 ( n
b
X
i=1
)1
= 1, entonces
zi c
38
Desigualdades Num
ericas
3
2
2
2
f (a) + f (b) + f (c)
a+b+c
+f
.
3
3
Ejercicio 1.90 Seana, b, c n
umeros reales no negativos, muestre que:
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 n
umeros reales positivos, muestre que
a
b
c
b+c c+a a+b
+
+
+
+
4
.
a
b
c
b+c c+a a+b
1.6.
Una desigualdad
util
(1.7)
39
(1.8)
(1.9)
3
3
3
positivos, tomando a = x, b = y y c = z, podemos deducir que
x+y+z
3 xyz,
3
con igualdad si y s
olo si x = y = z.
Observe que se puede utilizar la identidad (1.8) para dar otra demostracion del
ejercicio 1.27.
Ejercicio 1.92 Para n
umeros reales x, y, z, muestre que
x2 + y 2 + z 2 |xy + yz + zx|.
40
Desigualdades Num
ericas
.
x
y
x+y
(1.10)
Demostraci
on. La demostracion es muy simple. Simplificando, podemos expresar la desigualdad como
a2 y(x + y) + b2 x(x + y) (a + b)2 xy,
la cual se reduce a la desigualdad (ay bx)2 0 que es obvia. Vemos que la
igualdad se tiene si y s
olo si ay = bx, esto es, si xa = yb .
Otra forma de justificar este resultado es utilizando la desigualdad de CauchySchwarz de la siguiente manera,
2
b 2
b2
a
a
2
x+ y
+
(x + y).
(a + b) =
x
y
x
y
Usando el teorema dos veces, podemos extender la desigualdad para tres pares
de n
umeros,
(a + b)2 c2
(a + b + c)2
a2 b2 c2
+
+
,
x
y
z
x+y
z
x+y+z
41
(1.11)
a2 b2
a21 b21 a22 b22
+ 2 + + n2 n ,
2
bn
b1
b2
entonces
a2n b2n
a21 b21 a22 b22
(a1 b1 + a2 b2 + + an bn )2
+
+
+
.
b2n
b21
b22
b21 + b22 + + b2n
Luego, podemos concluir
(a21 + a22 + + a2n )(b21 + b22 + + b2n ) (a1 b1 + a2 b2 + + an bn )2
y la igualdad se tiene si y s
olo si
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 n
umeros reales positivos. Muestre
que:
an
(a1 + + an )2
a1
+ +
.
b1
bn
a1 b1 + + an bn
a1
1
an 2
an
a1
+ +
.
(ii) 2 + + 2
bn
a1 + + an b1
bn
b1
(i)
42
Desigualdades Num
ericas
+ +
bn
a1
an
a1 + + an b1
bn
b1
Ejemplo 1.6.3 (APMO, 1991) Sean a1 , ... , an , b1 , ... , bn , n
umeros reales
positivos, tal que a1 + a2 + + an = b1 + b2 + + bn . Muestre que
a2n
1
a21
+ +
(a1 + + an ).
a1 + b1
an + bn
2
Observemos que (1.11) implica
a2n
(a1 + a2 + + an )2
a21
+ +
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 demostracion de la desigualdad entre la media
cuadr
atica y la media aritmetica.
Ejemplo 1.6.4 (Desigualdad media cuadr
atica-media aritm
etica) Para
n
umeros reales positivos x1 , ... , xn , se tiene que
r
x1 + x2 + + xn
x21 + x22 + + x2n
.
n
n
Observemos que usando (1.11), se tiene que
x21 + x22 + + x2n
(x1 + x2 + + xn )2
n
n2
y esta implica la desigualdad de arriba.
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 aplicacion de este truco, la cual nos permite
dar una demostracion mas corta del ejemplo 1.4.9.
43
a3 (b
Observemos que
1
1
1
1
1
1
2
2
2
a
b
c
+
+
=
+
+
a3 (b + c) b3 (c + a) c3 (a + b)
a(b + c) b(c + a) c(a + b)
( a1 + 1b + 1c )2
ab + bc + ca
=
2(ab + bc + ca)
2abc
p
3 3 (abc)2
3
= ,
2
2
.
a(b + c) b(c + a) c(a + b)
2(ab + bc + ca)
De la ecuacion (1.8), obtenemos a2 + b2 + c2 ab bc ca 0 y entonces
(a + b + c)2 3(ab + bc + ca). Por lo tanto
a
b
c
(a + b + c)2
3
+
+
.
b+c c+a a+b
2(ab + bc + ca)
2
Ejemplo 1.6.7 (Rep
ublicas Checa y Eslovaca, 1999) Para n
umeros reales positivos a, b y c, muestre la desigualdad
b
c
a
+
+
1.
b + 2c c + 2a a + 2b
44
Desigualdades Num
ericas
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 u
ltima desigualdad se sigue como en el ejemplo anterior.
Ejercicio 1.98 (Sud
africa, 1995) Para n
umeros positivos a, b, c, d, muestre
que
1 1 4 16
64
+ + +
.
a b
c
d
a+b+c+d
Ejercicio 1.99 Sean a y b n
umeros reales positivos, muestre que
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 n
umeros reales a, b, c, x, y,
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 n
umeros enteros positivos,
muestre que
kn
2
x1 + x22 + + x2n t
x1 x2 x n ,
x1 + x2 + + xn
donde k = max {x1 , x2 , . . . , xn } and t = mn {x1 , x2 , . . . , xn }. Bajo que
condiciones es v
alida la igualdad?
46
1.7.
Desigualdades Num
ericas
La estrategia de sustituci
on
Una estrategia u
til para resolver problemas de desigualdades es el uso de sustituciones. Es decir, sustituir unas variables por otras de manera que el problema
tenga una expresion m
as amable para trabajar. Con una sustitucion conveniente
se puede lograr, por ejemplo, que cambien un poco los terminos difciles de
manejar, simplificar expresiones o bien reducir terminos. A
un cuando no hay
recetas para hacer esto, en esta seccion se dan algunas ideas de lo que puede
hacerse, como siempre lo mejor es trabajar con algunos ejemplos.
Una primera sugerencia es que para problemas donde hay una condicion extra,
hay que intentar utilizarla para simplificar la desigualdad. En el siguiente ejemplo
con la condicion extra se eliminan denominadores buscando hacer mas facil el
problema.
Ejemplo 1.7.1 Si a, b, c son n
umeros reales positivos y menores que 1, con
a + b + c = 2, se tiene que
b
c
a
8.
1a
1b
1c
Despues de hacer la sustitucion x = 1 a, y = 1 b, z = 1 c, tenemos que
x + y + z = 3 (a + b + c) = 1, a = 1 x = y + z, b = z + x, c = x + y. Por
lo tanto, la desigualdad es ahora equivalente a
y+z
z+x
x+y
8,
x
y
z
y esta, a su vez, es equivalente a
(x + y)(y + z)(z + x) 8xyz.
Pero esta u
ltima desigualdad es inmediata. Basta aplicar tres veces la desigual
dad M G M A de la siguiente manera (x + y) 2 xy (ver el ejercicio 1.26).
a + bc + b + ca + c + ab 2.
47
a + bc =
Analogamente,
(a + b)(a + c)
2a + b + c
.
2
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 = 13 .
+
+
.
2
2
2
2
a +1
b +1
c +1
Notemos que (a2 + 1) = a2 + ab + bc + ca = (a + b)(a + c), y, analogamente,
b2 + 1 = (b + c)(b + a) y c2 + 1 = (c + a)(c + b). Ahora la desigualdad, que
estamos considerando, es equivalente a
a
b
c
3
p
+p
+p
.
2
(a + b)(a + c)
(b + c)(b + a)
(c + a)(c + b)
(a + b)(a + c)
(b + c)(b + a)
(c + a)(c + b)
a
b
c
a
b
c
1
1
3
1
+
+
+
+
+
= .
2 a+b a+c
2 b+c b+a
2 c+a c+b
2
Los problemas muchas veces sugieren que sustitucion debe hacerse. En el siguiente ejemplo la sustitucion nos permite convertir al menos a uno de los
terminos de la desigualdad en una expresion mas sencilla.
48
Desigualdades Num
ericas
b+c
1z
=z+
.
b+a
1+x
y est
a es equivalente a,
x2 z + y 2 x + z 2 y + x2 + y 2 + z 2 x + y + z + 3.
p
Pero, por la desigualdad M G M A, x2 z + y 2 x + z 2 y 3 3 x3 y 3 z 3 = 3.
Tambien, tenemos x2 + y 2 + z 2 31 (x + y + z)2 = x+y+z
(x + y + z)
3
49
b
a,
y =
c
a,
la
rs 2 rs 1.
Esta u
ltima, es equivalente a (rs 2)2 0, que es inmediata.
Es una situacion com
un que los problemas tengan varias formas de resolverse,
resulta tambien que pueden aceptar varias sustituciones que ayuden a resolverlo.
Esto se muestra en el siguiente ejemplo.
Ejemplo 1.7.6 (Corea, 1998) Si a, b, c son n
umeros reales positivos, tales que
a + b + c = abc, muestre que
1
1
1
3
+
+
.
2
2
2
2
1+a
1+b
1+c
y
3
x
z
+p
.
+
2
x2 + 1
z2 + 1
y2 + 1
Otra posible sustitucion para resolver el ejemplo anterior es considerar la sustitucion a = tan A, b = tan B, c = tan C, como se tiene que tan A + tan B +
tan C = tan A tan B tan C entonces A + B + C = (o bien un m
ultiplo
de ). Pero como 1 + tan2 A = (cos A)2 , la desigualdad es equivalente a
cos A + cos B + cos C 23 que es valida como se vera en el ejemplo 2.5.2.
Note que la desigualdad de Jensen no es posible aplicarla en este caso ya que
1
la funcion f (x) = 1+x
no es c
oncava en R+ .
2
En el ejemplo anterior vimos que ademas de las sustituciones algebraicas hay
sustituciones trigonometricas. Esto se muestra tambien en el siguiente ejemplo.
En las secciones 2.2 y 2.5 del siguiente captulo trabajaremos con sustituciones
geometricas.
50
Desigualdades Num
ericas
2
Al hacer la sustitucion a = cos
cos2 B, c = cos2 C, con
A, B, C en el
A, b =
2 A = sen A,
1
a
=
1
cos
1 b = sen B
),
se
tiene
que
intervalo
(0,
2
51
+
+
.
3
3
3 a
b
b
Ejercicio 1.114 (Rumania, 2008) Sean a, b, c n
umeros reales positivos, con
abc = 8, muestre que
a2 b2 c2
+
+
0.
a+1 b+1 c+1
1.8.
Teorema de Muirhead
la suma de los n! terminos obtenidos de evaluar F (x1 , ..., xn ) en todas las posibles permutaciones de (x1 , ..., xn ). Nosotros consideramos solo el caso particular
1 2
[x (y + z) + y 2 (x + z) + z 2 (x + y)].
3!
52
Desigualdades Num
ericas
1
1
1
n!
(x1n x2n xnn ) = n x1 x2 xn es la media
aritmetica y [ n1 , n1 , ..., n1 ] = n!
geometrica. Cuando a1 + a2 + + an = 1, [a] es una generalizacion com
un
de la media aritmetica y de la media geometrica.
Si a1 a2 an , b1 b2 bn , en general [b] no es comparable
con [a], en el sentido que exista una desigualdad entre ellos, valida para todos
los n
umeros reales no negativos x1 , x2 , . . ., xn .
Muirhead deseaba comparar los valores de los polinomios simetricos [a] y [b]
para cualquier valor no negativo de las variables en ambos polinomios.
Definamos de ahora en adelante (a) = (a1 , a2 , ..., an ).
Definici
on 1.8.1 Decimos que (a) mayoriza a (b) y escribimos (b) (a), cuando (a) y (b) se pueden arreglar de tal forma que satisfacen las siguientes dos
condiciones:
(1)
n
X
bi =
(2)
i=1
ai .
i=1
i=1
n
X
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 solo si (b) (a). La igualdad
s
olo se tiene cuando (b) y (a) son identicos o cuando todos los xi son iguales.
Antes de pasar a la demostracion del teorema, la cual es un poco complicada,
veamos algunos ejemplos. Primero, es claro que [2, 0, 0] no puede ser comparado
con [1, 1, 1] ya que la primera condicion en la definicion 1.8.1 no se satisface,
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
P
P
Esto s
olo puede ser verdadero para todo x si
bi = ai .
Ahora, sean x1 = x2 = = x = x, x+1 = = xn = 1 para x grande.
Como (b) y (a) est
an en orden decreciente, los ndices de las potencias mas
grandes de x en [b] y [a] son
b1 + b2 + + b , a1 + a2 + + a ,
respectivamente. Luego, es claro que la primera no puede ser mayor que la
segunda y esto prueba (2) en la definicion 1.8.1.
La demostracion en la otra direccion es mas complicada, y para esto necesitaremos una nueva definicion y dos lemas.
Definiremos un tipo especial de transformacion lineal T de a, como sigue. Suponga que ak > al , y escribimos
ak = + ,
al =
(0 < ).
+
ak +
al
2
2
T (al ) = bl = =
+
ak +
al
2
2
T (a ) = a
( 6= k, 6= l).
Lema 1.8.3 Si b = T a entonces [b] [a], con igualdad solo cuando todos los
xi son iguales.
54
Desigualdades Num
ericas
Demostraci
on. Podemos reacomodar (a) y (b) de tal forma que k = 1, l = 2.
Entonces
[a] [b] = [ + , , x3 , ...] [ + , , x3 , ...]
1 X a3
+
x xann (x+
x
+ x
=
1
2
1 x2 )
! 3
2n!
1 X a3
x
+ x
x+
)
x xann (x+
1
2
1
2
! 3
2n!
1 X
=
(x1 x2 ) xa33 xann (x1 + x2 + )(x1 x2 ) 0
!
2n!
con igualdad s
olo cuando todos los xi son iguales.
Lema 1.8.4 Si (b) (a), con (b) no identica a (a), entonces (b) puede ser
obtenida de (a) usando sucesivas aplicaciones de un n
umero finito de transformaciones T .
Demostraci
on. Al n
umero de diferencias a b distintas de cero, le llamaremos la discrepancia entre (a) y (b). Si la discrepancia es cero, los conjuntos
son iguales. Demostremos el lema por induccion, suponiendo que es verdadero
cuando la discrepancia es menor que r y demostrando que es verdadero cuando
la discrepancia es r.
Supongamos
que (b) (a) y que la discrepancia es r > 0. Como
Pn
Pentonces,
P
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 condicion de (b) (a). Entonces, podemos
encontrar k y l tal que
bk < ak , bk+1 = ak+1 , ... , bl1 = al1 , bl > al ,
(1.12)
55
al
= 2 = ak + al ,
n
X
i=1
bi =
n
X
ai =
i=1
n
X
ai .
i=1
56
Desigualdades Num
ericas
n
.
y1 y2 yn
n
Notemos que la desigualdad M G M A es equivalente a
x1 x2 xn
donde xi = n yi .
Ahora, observemos que
n
1X n
xi = [n, 0, 0, ..., 0] y x1 x2 xn = [1, 1, ..., 1].
n
i=1
1X n
xi (x1 x2 xn ) = [n, 0, 0, ..., 0] [1, 1, ..., 1]
n
i=1
a2
b2
+
a + b.
b
a
a, y =
57
1
(a + b + c)3 .
7
18
36
18
[3, 0, 0] + 6
[1, 1, 1] [2, 1, 0]
7
7
7
18
36
([3, 0, 0] [2, 1, 0]) + 6
[1, 1, 1] 0.
7
7
a3
b3
c3
a2 + b2 b2 + c2 c2 + a2
+
+
+
+ .
2c
2a
2b
bc ca ab
58
Desigualdades Num
ericas
4 3(ABC) a2 + b2 + c2 .
.
(a + b)(a + c) (b + c)(b + a) (c + a)(c + b)
4(a + b + c)
Captulo 2
Desigualdades Geom
etricas
2.1.
Dos desigualdades b
asicas
60
Desigualdades Geom
etricas
Ejercicio 2.2 (i) Si con segmentos de longitud a < b < cse puede construir
un tri
angulo, entonces con segmentos de longitud a < b < c se puede
armar un tri
angulo.
(ii) El recproco de (i) es falso.
(iii) Si con segmentos de longitud a < b < c se puede armar un triangulo,
1
1
1
entonces con segmentos de longitud a+b
, b+c
y c+a
se puede formar un
tri
angulo.
Ejercicio 2.3 Considere los segmentos de longitud a, b, c, d y e, de manera
que con cualesquiera tres de ellos se puede formar un triangulo, muestre que
hay tres de ellos que forman un triangulo acutangulo.
Algunas veces la clave para resolver un problema esta en identificar ciertas
cantidades con magnitudes geometricas, como sucede en el siguiente ejemplo.
Ejemplo 2.1.1 Si a, b, c son n
umeros positivos con a2 + b2 ab = c2 , muestre
que (a b)(b c) 0.
Como c2 = a2 + b2 ab = a2 + b2 2ab cos 60 , podemos pensar que a, b,
c son las longitudes de los lados de un triangulo tal que la medida del angulo
opuesto al lado de longitud c, es igual a 60 . Los angulos del triangulo ABC
cumplen, A 60 y B 60 , o bien A 60 y B 60 . Por lo tanto,
por la propiedad D2 tenemos que a c b o bien a c b. En cualquier
caso sucede que (a b)(b c) 0.
Observaci
on 2.1.2 Tambien se puede resolver el ejemplo anterior sin tener que
identificar a, b y c con las longitudes de los lados de un triangulo.
Supongamos primero que a b, el que a2 + b2 ab = c2 implica que a(a b) =
c2 b2 = (c b)(c + b), por lo que c b 0 y entonces (a b)(b c) 0.
An
alogamente, a b implica c b 0, lo que nos lleva a que
(a b)(b c) 0.
Otro ejemplo donde no es inmediato que se trate de una desigualdad geometrica,
o que el uso de la geometra ayude, se muestra a continuacion.
Ejemplo 2.1.3 Si a, b, c son n
umeros positivos, entonces
p
p
p
a2 + ac + c2 a2 ab + b2 + b2 bc + c2 .
61
Los radicales sugieren usar la ley de los cosenos con angulos de 120 y de 60
como sigue: a2 + ac + c2 = a2 + c2 2ac cos 120 , a2 ab + b2 = a2 + b2
2ab cos 60 y b2 bc + c2 = b2 + c2 2bc cos 60 .
a
60
60
b
B
c
C
62
Desigualdades Geom
etricas
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 triangulo, son
aquellos donde se pide demostrar que cierta relacion entre los n
umeros a, b y c
es suficiente para construir un tri
angulo con lados de longitud a, b y c.
2
Ejemplo 2.2.2 (i) Si a, b, c son n
umeros positivos y satisfacen, a2 + b2 + c2 >
2 a4 + b4 + c4 , entonces a, b y c son las longitudes de los lados de un triangulo.
(ii) Si a, b, c, d son n
umeros positivos y satisfacen
2
a2 + b2 + c2 + d2 > 3 a4 + b4 + c4 + d4 ,
y notar que de estos factores ninguno es negativo, compare con el ejemplo 1.2.5.
64
Desigualdades Geom
etricas
2
2
La segunda desigualdad se sigue de la desigualdad de Cauchy-Schwarz; luego
(a2 +b2 +c2 ) 2
a4 + b4 + c4 < 2
. Por la primera parte tenemos que con a, b y c se
4
puede formar un tri
angulo. Como el argumento utilizado es simetrico en a, b, c
y d, tenemos el resultado.
Existe una tecnica que ayuda a transformar una desigualdad entre las longitudes
de los lados de un tri
angulo en una desigualdad entre n
umeros positivos (desde
luego relacionados con los lados), llamada la transformaci
on de Ravi.
Si el incrculo (I, r) del triangulo ABC es tangente a los lados BC, CA y
AB en los puntos X, Y y Z, respectivamente, tenemos que, x = AZ = Y A,
y = ZB = BX, z = XC = CY .
A
x
Z
bY
b
bI
y
B
x
z
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)
2x + 2y + 2z x + y + y + z + z + x.
2y + 2z
2x + 2y
2z + 2x
2x + 2y + 2z =
+
+
2
2
2
r
r
r
2x + 2y
2y + 2z
2z + 2x
+
+
2
2
2
=
x + y + y + z + z + x.
Finalmente, de (ABC) =
abc
4R
R=
se tiene
(x + y)(y + z)(z + x)
p
.
4 (x + y + z)xyz
66
Desigualdades Geom
etricas
+
+
< 2.
2
b+c c+a a+b
67
3 a + b + c 2 3.
Ejercicio 2.27 Sean a, b, c las longitudes de los lados de un triangulo y r el
inradio del tri
angulo, muestre que
3
1 1 1
+ +
.
a b
c
2r
Ejercicio 2.28 Sean a, b, c las longitudes de los lados de un triangulo y s el
semipermetro, muestre que:
(i) (s a)(s b) < ab,
ab + bc + ca
.
4
68
Desigualdades Geom
etricas
P
donde cclica significa la suma sobre las permutaciones cclicas, (a, b, c), (b, c, a)
y (c, a, b), de (a, b, c).
Ejercicio 2.30 Si a, b, c son las longitudes de los lados de un triangulo
acut
angulo, muestre que
p
X p
a2 + b2 c2 a2 b2 + c2 ab + bc + ca,
cclica
P
donde cclica significa la suma sobre las permutaciones cclicas, (a, b, c), (b, c, a)
y (c, a, b), de (a, b, c).
2.3.
Como un tri
angulo equilatero con lado de longitud a tiene area igual a 43 a2 ,
la igualdad se alcanza en tal caso; trataremos entonces de comparar lo que
sucede en un tri
angulo en general con lo que pasa, al respecto, en un triangulo
equil
atero con lado de longitud a.
A
c
h
d
Sea BC = a. Si AD es la altura
de un triangulo desde A, su longitud h la
3
podemos escribir como h = 2 a + y, donde y mide su defecto con respecto a
la longitud de la altura del triangulo equilatero. Tambien escribimos d = a2 x
y e = a2 + x, donde x se puede interpretar como el defecto o la diferencia, que
69
2
a
2
a
ah
+ x + h2 +
x 4 3
a2 + b2 + c2 4 3(ABC) = a2 + h2 +
2
2
2
3 2
3
2
2
= a + 2h + 2x 2 3 a
a+y
2
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.
Ademas, la igualdad se da si y s
olo si x = y = 0, es decir, cuando el triangulo
es equil
atero.
Veamos otra demostracion del ejemplo anterior. Sea ABC el triangulo con
lados de longitud a b c, y sea A un punto de manera que A BC sea un
triangulo equil
atero con lados de longitud a. Llamemos d = AA , entonces d
mide de alguna manera el defecto que tiene ABC con respecto al triangulo
equilatero.
c
B
70
Desigualdades Geom
etricas
a
+
c
= a2 + c2 ac
2 3(ABC)
2ac
2
2
2
a +b +c
=
2 3(ABC).
2
(2.4)
9
3
3= .
2
2
71
La igualdad se da si y s
olo si a + b = b + c = c + a, o equivalentemente, si
a = b = c.
Veamos ahora una serie de ejemplos de desigualdades geometricas donde tales
relaciones se utilizan.
Ejemplo 2.3.2 Sea ABC un tri
angulo equilatero con lados de longitud a; sea
M un punto dentro de ABC y D, E, F las proyecciones de M sobre los lados
BC, CA y AB, respectivamente. Muestre que:
1
1
6 3
1
+
+
,
(i)
MD ME
MF
a
1
1
1
3 3
(ii)
+
+
.
MD + ME ME + MF
MF + MD
a
A
F
M
b
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
1
1
1
(x + y + y + z + z + x)
+
+
9.
x+y y+z z+x
Por lo tanto,
1
x+y
1
y+z
1
z+x
9
2h
3 3
a .
72
Desigualdades Geom
etricas
r
r
r
+
+
= 1,
ha hb hc
(ii) ha + hb + hc 9r.
Para demostrar la primera ecuacion, observemos que
manera an
aloga,
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 triangulo con alturas AD, BE, CF y sea H el
ortocentro. Muestre que:
(i)
(ii)
BE
CF
AD
+
+
9,
HD HE
HF
HF
3
HD HE
+
+
.
HA HB HC
2
73
F
H
BE
CF
AD
+
+
HD HE
HF
HF
HD HE
+
+
AD
BE
CF
9.
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 Geom
etricas
P
P
AL
AD
AL
CN
Es claro que, LP
nimo de LP
= PAD
+ BM
D P A . Luego, el valor m
M Q + N R se
obtiene cuando P , Q y R son los puntos medios de los arcos BC, CA y AB,
respectivamente. Esto sucedera cuando AL, BM y CN sean las bisectrices
internas del tri
angulo ABC. Por lo que, sin perder generalidad, supondremos
que AL, BM y CN son las bisectrices internas de ABC. Como AL es bisectriz
interna, se tiene que1
2 !
a
ba
ca
.
, LC =
y AL2 = bc 1
BL =
b+c
b+c
b+c
Adem
as,
AL2
AL2
AL
=
=
=
LP
AL LP
BL LC
(bc) 1
a
b+c
a2 bc
(b+c)2
2
(b + c)2 a2
.
a2
An
alogamente, para las bisectrices BM y CN , se tiene
BM
(c + a)2 b2
=
MQ
b2
(a + b)2 c2
CN
=
.
NR
c2
Por lo tanto,
CN
AL BM
+
+
LP
MQ NR
b+c 2
c+a 2
a+b 2
+
+
3
a
b
c
1 b+c c+a a+b 2
+
+
3
3
a
b
c
1
(6)2 3 = 9.
3
75
a2
b2
+
b2
a2
b2 c2
+
c2 b2
c2
a2
+
a2
c2
+2
ab bc ca
+ 2+ 2
c2
a
b
2 3 + 2 3 3 = 9.
Aqu usamos el hecho que
a2
b2
+ ab 2 2 y que
ab
c2
q
3 (ab)(bc)(ca)
+ abc2 + ca
3
= 3.
b2
a2 b2 c2
Ejemplo 2.3.6 (Lista corta IMO, 1997) Las longitudes de los lados de un
hexagono ABCDEF satisfacen AB = BC, CD = DE y EF = F A. Muestre
que
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 cuadril
atero ACEF , nos garantiza que AE F C F A
CE + AC EF . Como EF = F A, tenemos entonces c F C F A b + F A a.
Por lo tanto,
FA
c
.
FC
a+b
Analogamente, se puede ver que
a
BC
BE
b+c
DE
b
.
DA
c+a
DE
FA
a
b
c
3
Por tanto, BC
ltima desigualdad es
BE + DA + F C b+c + c+a + a+b 2 . La u
la desigualdad de Nesbitt, que sabemos es cierta.
76
Desigualdades Geom
etricas
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.4.
Teorema 2.4.1 (Teorema de Euler) Si en un triangulo ABC, O es su circuncentro, I su incentro, R su circunradio y r su inradio, entonces
OI 2 = R2 2Rr.
Demostraci
on. Veamos una demostracion2 que solamente depende del teorema
de Pit
agoras y del hecho de que el circuncrculo del triangulo BCI tiene centro
D, donde D es el punto medio del arco BC 3 . En la demostracion usaremos
segmentos dirigidos.
2
3
Otra demostraci
on puede verse en [6], p
ag. 122 o [9], p
ag. 29.
La demostraci
on puede verse en [6], observaci
on 3.2.7, p
ag. 123 o [1], p
ag. 76.
78
Desigualdades Geom
etricas
bb
bI
= 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.
79
la desigualdad M G
Demostraci
on. Usaremos que5 , (ABC) = abc
4R = sr. Por
3 3
ltima desigualdad es verdadera, ya que la funci
2 . Observemos que esta u
on
=
f (x) = sen x es c
oncava en [0, ], entonces sen A+sen3 B+sen C sen A+B+C
3
sen 60 =
3
2 .
3
5
Consultar [6], p
ag. 97 o [9], p
ag. 13.
80
Desigualdades Geom
etricas
1 2
a + b2 + c2 .
9
Demostraci
on. Usaremos el teorema de Stewart que dice6 que, si L es un
punto sobre el lado BC
de un triangulo ABC y si AL = l, BL = m, LC = n,
entonces a l2 + mn = b2 m + c2 n.
A
b b
O
R
1
GA = AA ,
3
sustituyendo tenemos
2
1
2
OG2 + (A A)2 = A O2 + R2 .
9
3
3
6
Para la demostraci
on vease [6], p
ag. 96 o [9], p
ag. 6.
OG
a2
R
4
y A O2 = R2
2 1 2 2
+ R
3 3
9
a2 2 b2 + c2 a2
= R2
6
18
2
2
2
a +b +c
= R2
.
9
=
81
a2
4 ,
tenemos que
!
2 b2 + c2 a2
4
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
16(ABC)
9
a + b2 + c2
La desigualdad de Cauchy-Schwarz nos garantiza que a+b+c 3 a2 + b2 + c2 ,
por lo que
9abc
4 3(ABC)
.
a+b+c
Ejercicio 2.44 Sean A, B y C las medidas de los angulos en cada uno de los
vertices del tri
angulo ABC, muestre que
sen2 A + sen2 B + sen2 C
7
Consultar [6], p
ag. 83 o [9], p
ag. 10.
9
.
4
82
Desigualdades Geom
etricas
3
4 3(ABC) 3 a2 b2 c2 .
Ejercicio 2.46 Suponga que el incrculo de ABC es tangente a los lados BC,
CA, AB, en D, E, F , respectivamente. Muestre que
EF 2 + F D 2 + DE 2
s2
,
3
2.5.
Funciones sim
etricas de a, b y c
(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
2
2
2
2
a b + c + b c + a + c a + b2 a3 + b3 + c3
2abc
2
2
2
(a + b + c) (a + b + c ) 2(a3 + b3 + c3 )
2abc
2
2
4s s r 4Rr 4 s3 3r 2 s 6Rrs
8Rrs
2
2
s r 4Rr (s2 3r 2 6Rr)
2Rr
2
2r + 2Rr
r
= + 1.
2Rr
R
Ejemplo 2.5.2 Sean A, B y C los angulos en cada uno de los vertices del
triangulo ABC, muestre que cos A + cos B + cos C 32 .
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 Geom
etricas
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
AB
c
El teorema de la bisectriz nos asegura que BL
LC = CA = b y, como BL+LC = a,
ac
ab
se tiene que BL = b+c y LC = b+c . El mismo teorema de la bisectriz aplicado
a
IL
BL
ac
= b+c
a la bisectriz BI del
angulo ABL, garantiza que AI
= AB
= (b+c)c
.
Por lo que,
AI + IL
IL
a
a+b+c
AL
=
=1+
=1+
=
.
AI
AI
AI
b+c
b+c
AI
b+c 8
BI
c+a
CI
Luego, AL
= a+b+c
. Analogamente, BM
= a+b+c
y CN
=
desigualdad que se pide demostrar en terminos de a, b y c, es
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
8
(b + c) + (c + a) + (a + b) 3
= (a + b + c)3 ,
(b + c)(c + a)(a + b)
3
27
por lo que la desigualdad de la derecha que debemos demostrar es ahora evidente.
8
85
=
=
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 Geom
etricas
4 3(ABC) a2 + b2 + c2 .
Ejercicio 2.52 Sean a, b y c las longitudes de los lados de un triangulo y
(ABC) el
area del tri
angulo, muestre que
4 3(ABC) ab + bc + ca.
Ejercicio 2.54 Sean a, b y c las longitudes de los lados de un triangulo y
(ABC) el
area del tri
angulo, muestre que
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 triangulo. Si
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 triangulo, R el
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 triangulo y R el
circunradio, muestre que
3 3R
a2
b2
c2
+
+
.
b+ca c+ab a+bc
87
4 1 3
r
3
(8) r =
.
1
(7) R =
2.6.
Desigualdades con
areas y permetros
8.
B
cd sen D
Como (ABC) = ab sen
ab
2
2 y (CDA) =
2
ab+cd
1 = (ABCD) 2 . An
alogamente, 1 = (ABCD)
desigualdades nos garantizan que ab + bc + cd + da 4.
cd
2 , tenemos
bc+da
2 . Estas
que
dos
tenemos que, a + b + c + d + e + f 4 + 8.
88
Desigualdades Geom
etricas
A2
a
a
A
c
b B
B1
b
a
C c
c
C2
C1
B2
Es claro, usando la formula de area (ABC) =
ab sen C
,
2
que
(b + c)2 sen A
(c + a)2 sen B (a + b)2 sen C
+
+
+
2
2
2
89
La u
ltima desigualdad se deduce ya sea de la desigualdad M G M A, de la
desigualdad del reacomodo o bien de la desigualdad de Tchebychev. Ademas,
se da la igualdad solamente en el caso en que a = b = c.
Ejemplo 2.6.3 (China, 1988 y 1993) Se tienen dos circunferencias concentricas
de radios R y R1 (R1 > R) y un cuadrilatero convexo ABCD inscrito en la
circunferencia peque
na. Las extensiones de AB, BC, CD y DA intersectan a
la circunferencia grande en C1 , D1 , A1 y B1 , respectivamente. Muestre que:
R1
permetro de A1 B1 C1 D1
.
permetro de ABCD
R
2
R1
(A1 B1 C1 D1 )
, donde (ABCD) denota el area del cuadrilatero.
(ii)
(ABCD)
R
(i)
A1
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 permetro (ABCD) + R1 (BC1 + CD1 + DA1 + AB1 )
90
Desigualdades Geom
etricas
Por lo tanto,
R1
permetro (A1 B1 C1 D1 )
.
permetro (ABCD)
R
sen A
=
Para demostrar (ii), usaremos el hecho que (ABCD) = ad sen A+bc
2
sen A
ab sen B+cd sen B
sen B
en que (ABCD) =
=
2 (ad + bc) y tambi
2
2 (ab + cd),
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,
(R12
x
z
y
w
R )
+
+
+
,
y(ad + bc) w(ad + bc) z(ab + cd) x(ab + cd)
2
91
p
Ahora bien, como 2 (ad+ bc)(ab + cd) ad + bc + ab + cd = (a + c)(b + d)
2
4(R12 R2 )
(A1 B1 C1 D1 )
1+
=
(ABCD)
4R2
R1
R
2
de longitud
igual a a y el segundo que satisfaga que CD = DA y de longitud
igual a b.
D
B
El area del papalote ABCD es por un lado
(ABCD) = (ABC) + (ACD) =
y por otro, (ABCD) = 2(ABD) =
c(a c) +
2 ab sen BAD
.
2
b(b c)
92
Desigualdades Geom
etricas
Esta u
ltima forma de calcular el area muestra claramente que (ABCD)
de donde se sigue el resultado buscado.
ab,
( 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 cuadrilatero con lados de longitud
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 hexagono regular de lados de longitud 1 se
escogeun punto. Los seis puntos forman un hexagono de permetro h. Muestre
que 3 3 h 6.
Ejercicio 2.61 Considere las tangentes al incrculo, de un triangulo ABC, que
2
permetro de (ABC).
3
Ejercicio 2.62 Encontrar el radio del crculo de area maxima que puede cubrirse
con tres crculos de radio 1.
Ejercicio 2.63 Encontrar el radio del crculo de area maxima que puede cubrirse
con tres crculos de radios r1 , r2 y r3 .
Ejercicio 2.64 Dentro de un cuadrado de lado 1, coloque dos cuadrados ajenos.
Si las longitudes de los lados de los dos cuadrados son a y b, respectivamente,
muestre que a + b 1.
Ejercicio 2.65 Un cuadrilatero convexo esta inscrito en una circunferencia de
radio 1, de manera que uno de sus lados es un diametro y los otros son de
longitudes a, b, c. Muestre que abc 1.
93
5+ 5
(ii) (ABCDE) =
(ABC).
2
(i)
Ejercicio 2.67 Si AD, BE y CF son las alturas del triangulo ABC, muestre
que
permetro (DEF ) s,
donde s es el semipermetro de ABC.
Ejercicio 2.68 Las longitudes de las bisectrices internas de un triangulo son
menores
o iguales a 1, muestre que el area de dicho triangulo es menor o igual
a 33 .
Ejercicio 2.69 Si a, b, c, d son las longitudes de los lados de un cuadrilatero
convexo de
area (ABCD), muestre que:
ab + cd
(i) (ABCD)
,
2
ac + bd
,
(ii) (ABCD)
2
a+c
b+d
(iii) (ABCD)
.
2
2
2.7.
Teorema de Erd
os-Mordell
94
Desigualdades Geom
etricas
Demostraci
on.
P
A
C
C
B
P
C
B
A
La suma de las
areas de estos paralelogramos es cpa + apc y es igual al area del
paralelogramo A P P C , donde A P es paralela a BP y de igual longitud. El
area de A P P C es menor o igual que b P B. Ademas, las areas son iguales
95
P
a
pc Pb
Pb
b
P
pa
B
Luego,
B
cpa + apc bP B.
Por lo tanto,
c
a
P B pa + pc .
b
b
Analogamente,
PA
c
b
pc + pb
a
a
b
a
P C pa + pb .
c
c
96
Desigualdades Geom
etricas
A
c
pc Pb
pa
a
De manera an
aloga, se tienen
aP A bpb + cpc ,
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 notacion del teorema de Erdos-Mordell, muestre que
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
An
alogamente, tenemos que pb P B
c a
a b
b c
pc pa
pa P A + pb P B + pc P C
+
+
+
pa pb +
pb pc +
b a
c b
a c
2 (pa pb + pb pc + pc pa ) .
Ejemplo 2.7.5 Con la notacion del teorema de Erdos-Mordell, muestre que
2
1
1
1
+
+
PA PB PC
1
1
1
+ .
+
pa pb pc
97
C1
B1
A
bP
C1
B
A1
A1
P A1 P A1 = P B1 P B1 = P C1 P C1 = d2 .
Mas a
un, A , B y C se encuentran sobre B1 C1 , C1 A1 , y A1 B1 , respectivamente, y los segmentos P A , P B y P C son perpendiculares a B1 C1 , C1 A1 y
A1 B1 , respectivamente.
Aplicando el teorema de Erdos-Mordell al triangulo A1 B1 C1 , obtenemos que
P A1 + P B1 + P C1 2 (P A + P B + P C ).
Pero como,
P A1 =
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,
2
1
1
1
+
+
P A1 P B1 P C1
2d
1
1
1
+
+
pa pb pc
1
1
1
+
+
PA PB PC
por lo tanto,
2
1
1
1
+
+
PA PB PC
98
Desigualdades Geom
etricas
A
b
pc Pb
pa
c
C1
pa + pc
.
2 sen B2
An
alogamente,
PA
pb + pc
2 sen A2
PC
pa + pb
.
2 sen C2
1
1
(pa + pb ) (pb + pc ) (pc + pa ) ,
A
8 sen 2 sen B2 sen C2
sen B2
sen C2 =
Ejemplo 2.7.7 (IMO, 1991) Sea P un punto interior del triangulo ABC. Muestre que alguno de los
angulos P AB, P BC, P CA es menor o igual a 30 .
Tracemos A1 , B1 y C1 las perpendiculares desde P a los lados BC, CA y AB,
respectivamente. Por el teorema de Erdos Mordell, obtenemos que P A + P B +
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 Geom
etricas
ZP
z
x
F N + BN ,
y
y
x
y
BP + DP.
z
y
101
Observemos que
z
y
BP + BN =
z
y
y z
+
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
BP + BN
r yx zx
=
2
2 z
y
r yx zx
BP + BN
.
2 z
y
y z
+
z y
Desigualdades an
alogas se tienen para
y
x
FN + FM
y
x
x
z
DM + DP
x
z
r xz yz
FN + FM
,
2 y
x
r zy xy
.
DM + DP
2 x
z
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 Geom
etricas
PA
PB
PC
(iii)
6,
+
+
pb pc
pc pa
pa pb
(iv) P A P B + P B P C + P C P A 4(pa pb + pb pc + pc pa ).
Ejercicio 2.72 Sea ABC un triangulo, P un punto arbitrario del plano y sean
pa , pb y pc las distancias de P a los lados del triangulo con longitudes a, b y
c, respectivamente. Si por ejemplo, P y A estan en distintos lados de la recta
BC, entonces pa es negativo, y lo mismo pasa en los otros dos casos. Muestre
que
c a
a b
b c
pb +
+
+
+
pa +
pc .
PA + PB + PC
c b
a c
b a
2.8.
Problemas de optimizaci
on
M
N
P
P
B
Pb
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 interseccion de P N con A B . Ademas, P M es
altura del tri
angulo equil
atero A P P . Si A P es la altura del triangulo A P P
desde A , es claro que P M = A P . Sea L el pie de la altura desde el vertice
A del tri
angulo A B C . Luego,
P L + P M + P N = P L + N M + P N = P L + A P = A P + P L = A L .
Observaci
on 2.8.2 (i) Hay una prueba del lema de Viviani que se basa en el
manejo de las
areas. Denotemos por (ABC) el area del triangulo ABC, entonces
(ABC) = (ABP ) + (BCP ) + (CAP ). Luego, si a es la longitud del lado del
triangulo y h la longitud de su altura, se tiene que ah = aP N + aP L + aP M ,
cancelando a obtenemos h = P N + P L + P M .
(ii) Otra demostracion del lema de Viviani se deduce de la siguiente figura
A
N
M
P
b
M
Demostraci
on. Primero veamos la existencia de P . Sobre los lados AB y CA
construimos tri
angulos equil
ateros ABC y CAB . Sus circuncrculos se intersectan en A y en otro punto que denotamos por P .
104
Desigualdades Geom
etricas
B
A
C
P
C
Como AP CB es cclico, tenemos que, CP A = 180o B = 120o . Analogamente, por ser AP BC cclico, 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 debera estar en el circuncrculo de
ABC . An
alogamente, en el circuncrculo de CAB , por lo que Q = P .
Estudiaremos ahora la solucion de Torricelli al problema de Fermat-Steiner. Dado
el tri
angulo ABC con
angulos menores o iguales a 120o , construimos el punto
de Fermat P , este satisface que AP B = BP C = CP A = 120o . Ahora
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 triangulo DEF . Veamos que este es equil
atero; como el cuadrilatero P BDC es cclico por tener en B y C angulos
de 90 y como BP C = 120 , podemos deducir que BDC = 60 . Podemos
repetir este argumento en cada angulo, luego DEF es equilatero.
Ahora bien, sabemos que la distancia de P a los vertices del triangulo ABC es
igual a la longitud de la altura del triangulo equilatero DEF . Observemos que
cualquier otro punto Q, dentro del triangulo ABC, satisface que AQ A Q,
105
P
C
BP = P B = P P , por lo que, AP + BP + CP = P C + P P + CP . La
trayectoria CP + P P + P C es mnima cuando C, P , P y C son colineales.
Esta u
ltima condicion exige que C P B = 120 y BP C = 120 ; pero como
106
Desigualdades Geom
etricas
como la intersecci
on de BB y CC .
La soluci
on de Steiner. Cuando tratamos de resolver problemas de maximos
y mnimos nos enfrentamos principalmente a tres preguntas, (i) existe una
solucion?, (ii) es u
nica la solucion? (iii) que propiedades caracterizan a la o
las soluciones? La solucion de Torricelli muestra que, de entre todos los puntos
del tri
angulo, este punto particular P , desde el cual se ven los tres lados del
tri
angulo con un
angulo de 120 , corresponde al menor valor de P A + P B +
P C. De esta forma responde a las tres preguntas que se
nalamos, haciendolo
adem
as de una manera elegante. Sin embargo, la solucion no da indicios de por
que Torricelli elige tal punto; Cual fue su primer impulso para tomar ese punto?
Probablemente esta pregunta no se podra responder. En lo que sigue veremos
una sucesion de ideas que nos llevan a descubrir por que el punto de Fermat es
el
optimo, estas son debidas al geometra suizo Jacob Steiner. Antes veamos los
siguientes dos lemas.
Lema 2.8.4 (Problema de Her
on) Encontrar la trayectoria mas corta entre
dos puntos A y B que estan del mismo lado de una recta d, pasando por la
recta.
bB
d
P
La distancia m
as corta entre A y B, pasando por la recta d, la podemos encontrar
de la siguiente manera. Reflejemos 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
mnimo entre las cantidades AP + P B, con P en d.
bB
d
P
107
Veremos u
nicamente un esbozo de la solucion.
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 n
umero positivo,
es una elipse con focos en A y B (si d > AB). Mas a
un, estas elipses tienen la
propiedad de que Ed es un subconjunto del interior de Ed si y solo si d < d .
Luego, queremos encontrar el punto Q en C tal que QA + QB sea mnima. El
punto
optimo Q pertenece a una elipse, precisamente a EQ . Esta elipse EQ no
intersecta a C en otro punto, de hecho, si C es otro punto en com
un de EQ
108
Desigualdades Geom
etricas
Cb
Q
A
109
acutangulo, un tri
angulo inscrito de permetro mnimo. Damos dos soluciones
clasicas, donde el reflejar sobre rectas juega un papel central. Una debida a H.
Schwarz y la otra a L. Fejer.
La soluci
on de Schwarz. El matematico aleman Hermann Schwarz dio la
siguiente solucion del problema basandose en dos observaciones las cuales aparecen en los siguientes dos lemas. Estos lemas nos hacen ver que el triangulo
inscrito de menor permetro es el triangulo formado con los pies de las alturas
del triangulo, el cual se conoce como tri
angulo
ortico.
Lema 2.8.6 Sea ABC un tri
angulo. Sean D, E y F los pies de las alturas
sobre BC, CA y AB, desde los vertices A, B y C, respectivamente. Entonces
los triangulos ABC, AEF , DBF y DEC son semejantes.
Demostraci
on. Basta ver que los primeros dos triangulos son semejantes, ya
que las otras semejanzas se demuestran de manera analoga.
A
E
F
Lema 2.8.7 Con la notacion del lema anterior se tiene que, el reflejado de D
con respecto a AB es colineal a E y F , y el reflejado de D con respecto a CA
es colineal con E y F .
Demostraci
on. Es inmediata del lema anterior.
110
Desigualdades Geom
etricas
A
D
E
F
D
B
en ABC.
C
E
N
F
C
Reflejemos la figura completa sobre el lado BC, despues el triangulo resultante
lo reflejamos sobre CA, luego sobre AB, sobre BC y finalmente en CA.
Tenemos en total seis triangulos congruentes y dentro de cada uno de ellos
tenemos su tri
angulo
ortico y el otro triangulo inscrito LM N . El lado AB del
u
ltimo tri
angulo es paralelo al lado AB del primero, ya que como resultado de la
primera reflexion, el lado AB se rota en sentido negativo un angulo 2B, despues
en sentido negativo un angulo 2A, en la tercera reflexion queda invariante, en
la cuarta reflexion gira un angulo 2B en sentido positivo y en la quinta tambien
gira en sentido positivo un angulo 2A. Luego, el angulo total de rotacion del
segmento AB es cero.
El segmento F F es igual a dos veces el permetro del triangulo ortico, ya que
F F se compone de seis pedazos, donde cada lado del ortico esta tomado dos
veces. Tambien la lnea quebrada N N es el doble del permetro de LM N .
111
L
B
112
Desigualdades Geom
etricas
113
Ejercicio 2.80 (Turqua, 2000) Sea ABC un triangulo acutangulo con circunradio R, las longitudes de las alturas AD, BE y CF son ha , hb y hc ,
respectivamente. Sean ta , tb y tc las longitudes de las tangentes desde A, B y
C, respectivamente, al circuncrculo de DEF . Muestre que
t2
t2
3
t2a
+ b + c R.
ha hb hc
2
Ejercicio 2.81 Sean ha , hb , hc las longitudes de las alturas de un triangulo
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 triangulo ABC. Muestre que:
(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 mas grande de un triangulo
acutangulo entonces r + R h.
Ejercicio 2.83 De los tri
angulos que tienen una base com
un y un mismo
permetro, el isosceles es el que tiene mayor area.
Ejercicio 2.84 De todos los tri
angulos con un permetro dado, el triangulo
equilatero es el que tiene mayor
area.
Ejercicio 2.85 De todos los tri
angulos inscritos en un crculo dado, el triangulo
equilatero es el que tiene mayor permetro.
Ejercicio 2.86 Si P es un punto dentro del triangulo ABC, l = P A, m = P B
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
triangulo ABC y sea (ABC) su area, muestre que
4 3(ABC) a2 + b2 + c2 .
114
Desigualdades Geom
etricas
Ejercicio 2.88 Sea (ABC) el area del triangulo ABC y sea F el punto de
Fermat del tri
angulo. Muestre que
4 3(ABC) (AF + BF + CF )2 .
Ejercicio 2.89 Sea P un punto dentro del triangulo ABC, muestre que
P A + P B + P C 6r.
Ejercicio 2.90 (El
area del tri
angulo pedal). Para un triangulo ABC y un
punto P del plano, se define el tri
angulo pedal de P con respecto a ABC
como el tri
angulo A1 B1 C1 , donde A1 , B1 , C1 son los pies de las perpendiculares
desde P sobre BC, CA, AB, respectivamente. Muestre que el area del triangulo
A1 B1 C1 satisface
(A1 B1 C1 ) =
(R2 OP 2 )(ABC)
,
4R2
Captulo 3
Problemas Recientes de
Desigualdades
Problema 3.1 (Bulgaria, 1995) Sean SA , SB y SC las areas de los heptagonos regulares A1 A2 A3 A4 A5 A6 A7 , B1 B2 B3 B4 B5 B6 B7 y C1 C2 C3 C4 C5 C6 C7 ,
respectivamente. Suponga que A1 A2 = B1 B3 = C1 C4 , muestre que
SB + SC
1
<
< 2 2.
2
SA
Problema 3.2 (Rep
ublicas Checa y Eslovaca, 1995) Sea ABCD un tetraedro
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
triangulo y , , los
angulos opuestos a los lados, respectivamente. Muestre
que si el inradio del tri
angulo es r, entonces
a sen + b sen + c sen 9r.
116
Problema 3.4 (Francia, 1995) Tres crculos con el mismo radio tienen un punto
com
un. Si S es el
area del conjunto de puntos que son interiores al menos a dos
crculos, como deber
an colocarse los crculos para que S sea mnima?
Problema 3.5 (Alemania, 1995) Sea ABC un triangulo con D y E puntos
sobre BC y CA, respectivamente, de manera que DE pasa por el incentro de
ABC. Si S =
area(CDE) y r es el inradio, muestre que S 2r 2 .
Problema 3.6 (Irlanda, 1995) Sean A, X, D puntos sobre una recta con X
entre A y D. Sea B un puntotal que ABX = 120 y sea C un punto entre
B y X. Muestre que 2AD 3 (AB + BC + CD).
Problema 3.7 (Corea, 1995) Un n
umero finito de puntos del plano, tienen la
propiedad de que cada tres de ellos forman un triangulo de area menor o igual a
1. Muestre que todos los puntos estan dentro o sobre los lados de un triangulo
de
area menor o igual a 4.
Problema 3.8 (Polonia, 1995) Para un entero positivo n fijo, encuentre el
valor mnimo de la suma
x1 +
xn
x22 x33
+
+ + n,
2
3
n
donde x1 , x2 , . . . , xn son n
umeros positivos que satisfacen que la suma de sus
recprocos es n.
Problema 3.9 (IMO, 1995) Sea ABCDEF un hexagono convexo con AB =
BC = CD y DE = EF = F A, tal que BCD = EF A = 3 . Sean G y H
puntos en el interior del hexagono tales que AGB = DHE = 2
3 . Muestre
que
AG + GB + GH + DH + HE CF.
Problema 3.10 (Balc
anica, 1996) Sean O el circuncentro y G el centroide de
un tri
angulopABC. Sean R y r el circunradio y el inradio del triangulo. Muestre
que OG R(R 2r).
Problema 3.11
(China, 1996) Supongase que x0 = 0, xi > 0 para i =
P
1, 2, ..., n, y ni=1 xi = 1. Muestre que
1
n
X
i=1
xi
< .
1 + x0 + + xi1 xi + + xn
2
117
Pn
i=1 ai
n
X
n 2 X ai x2i
+
.
2 xi xj
n1
1 ai
i<j
i=1
i=1
Problema 3.14 (San Petesburgo, 1996) Sean M la interseccion de las diagonales de un cuadril
atero cclico, N la interseccion de los segmentos que unen los
puntos medios de lados opuestos y O el circuncentro. Muestre que OM ON .
Problema 3.15 (Austria-Polonia, 1996) Si w, x, y y z son n
umeros reales que
satisfacen w + x + y + z = 0 y w2 + x2 + y 2 + z 2 = 1. Muestre que
1 wx + xy + yz + zw 0.
118
con igualdad si y s
olo si el triangulo es equilatero.
Problema 3.19 (IMO, 1997) Sean x1 , ..., xn n
umeros reales con |x1 + + xn |
n+1
= 1 y |xi | 2 , para i = 1, ..., n. Muestre que existe una permutacion y1 , ...,
yn de x1 , ..., xn tal que
|y1 + 2y2 + + nyn |
n+1
.
2
z
x
b
+ = ,
x z
y
x y
c
+ = .
y
x
z
x+y+z
x1+
y1+
z 1.
M C M D 3 3M A M B.
119
.
P A QA
4
Problema 3.27 (Armenia, 1999) Sea O el centro del circuncrculo del triangulo
acutangulo ABC. Las rectas CO, AO y BO intersectan, por segunda vez, al
circuncrculo de los tri
angulos AOB, BOC y AOC en C1 , A1 y B1 , respectivamente. Muestre que
BB1 CC1
9
AA1
+
+
.
OA1
OB1 OC1
2
120
AB + BC + CA
.
8
Problema 3.33 (Polonia, 1999) Sea D un punto sobre el lado BC del triangulo
ABC tal que AD > BC. Considere un punto E sobre el lado CA de manera
AE
BD
que EC
= ADBC
. Muestre que AD > BE.
Problema 3.34 (Rumania, 1999) Sean a, b, c n
umeros reales positivos tales
que ab + bc + ca 3abc. Muestre que a + b + c a3 + b3 + c3 .
Problema 3.35 (Rumania, 1999) Sean x1 , x2 , ..., xn n
umeros reales positivos
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 n
umeros reales positivos tales que x1 + x2 + + xn
x1 y1 + x2 y2 + + xn yn . Muestre que
x1 + x2 + + x n
x1 x2
xn
+
+ +
.
y1
y2
yn
n np o
X
n2 1
.
j
2
j=1
121
1
1
1
+
+ +
xn + 2n.
x0 x1 x1 x2
xn1 xn
an
a2
+ +
an , para toda n N.
2
n
122
4
X
X
xi ,
xi xj (x2i + x2j ) C
1i<jn
1in
123
a2 + b2 + c2 3 abc.
p
Problema 3.52 (Brasil, 2001) Muestre que (a + b)(a + c) 2 abc(a + b + c)
para todos los n
umeros reales positivos a, b, c.
Problema 3.53 (Polonia, 2001) Muestre que la desigualdad
X
n
n
X
n
xii
+
ixi
2
i=1
i=1
a + b b + c c + a a3 + b3 + c3
+
+
3,
c
a
b
abc
a2
a
b
c
+
+
1.
2
2
+ 8bc
b + 8ca
c + 8ab
Problema 3.56 (Lista corta IMO, 2001) Muestre que para todos los n
umeros
reales x1 , x2 , . . . , xn ,
x2
xn
x1
+
+ +
< n.
2
2
2
2
2
1 + x 1 1 + x 1 + x2
1 + x1 + + x n
Problema 3.57 (Austria, 2002) Sean a, b, c n
umeros reales tales que existen
, , {1, 1}, con a + b + c = 0. Determine el valor positivo mas
3 3 3 2
+c
.
peque
no de a +b
abc
124
,
b(a + b) c(b + c) a(c + a)
(a + b + c)2
para cualesquiera n
umeros reales positivos a, b, c.
Problema 3.59 (Canada, 2002) Muestre que para cualesquiera n
umeros reales
positivos a, b, c,
a3
b3
c3
+
+
a + b + c,
bc ca ab
y determine cu
ando ocurre la igualdad.
Problema 3.60 (Irlanda, 2002) Muestre que para cualesquiera n
umeros reales
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 n
umeros reales positivos.
Muestre que
a
1
1
1
b
c
+
+
+
1.
b+c 2
c+a 2
a+b 2
Problema 3.62 (Rioplatense, 2002) Sean a, b, c n
umeros reales positivos.
Muestre que
9
1 1 1
a+b b+c c+a
+ 2 + 2
+ + + .
2
c
a
b
a+b+c a b
c
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
area del tri
angulo y ma , mb , mc son las longitudes de las medianas.
Problema 3.67 (Rumania, 2003) Sean a, b, c, d n
umeros reales positivos con
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
X
i,j
X
2
(xi xj )2 ,
|xi xj | (n2 1)
3
i,j
.
x2 (x1 + x2 + x3 ) x3 (x2 + x3 + x4 )
x1 (xn + x1 + x2 )
3
127
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.
128
(ai + + aj )2 .
iS
1ijn
3
3
1
3
+ 6(a + b + c)
.
3
abc
abc
Problema 3.87 (IMO, 2004) Sea n 3 un n
umero entero. Sean t1 , t2 , . . . ,
tn n
umeros reales positivos tales que
1
1
1
2
n + 1 > (t1 + t2 + + tn )
+ + +
.
t1 t2
tn
129
Muestre que ti , tj , tk son las longitudes de los lados de un triangulo, para todo
i, j, k, con 1 i < j < k n.
Problema 3.88 (Japon, 2005) Sean a, b y c n
umeros reales positivos, tales
que a + b + c = 1. Muestre que
3
3
a 1 + b c + b 3 1 + c a + a 1 + a b 1.
(1 +
a3 )(1
b3 )
+p
b2
(1 +
b3 )(1
c3 )
+p
c2
(1 +
c3 )(1
a3 )
4
.
3
y5 y2
z5 z2
x5 x2
+ 5
+ 5
0.
2
2
2
2
+y +z
y +z +x
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 triangulo acutangulo ABC y sea A , B y C los circuncentros de los triangulos BCO, CAO y
130
+
+
.
a2 + bc b2 + ca c2 + ab
2 ab bc ca
Problema 3.96 (Turqua, 2006) Sean a1 , a2 , . . . , an n
umeros reales positivos
tales que
a1 + a2 + + an = a21 + a22 + + a2n = A.
Muestre que
X ai
(n 1)2 A
.
aj
A1
i6=j
n2 d
.
4
Problema 3.99 (Bulgaria, 2007) Encuentre todos los enteros positivos n tal
que si a, b, c son n
umeros reales no negativos con a + b + c = 3, entonces
abc(an + bn + cn ) 3.
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
triangulo con a + b + c = 3, encuentre el mnimo de
a2 + b2 + c2 +
4abc
.
3
+
> ,
[x]
x + {x}
{x}
x + [x]
2
donde [x] y {x} representan la parte entera y la parte fraccionaria de x, respectivamente.
Problema 3.106 (Per
u, 2007) Sean a, b, c n
umeros reales positivos tales que
a + b + c a1 + 1b + 1c . Muestre que
a+b+c
2
3
+
.
a + b + c abc
132
2x2 (y + z)
+p
y 2 + zx
2y 2 (z + x)
+p
z 2 + xy
2z 2 (x + y)
1.
Problema 3.111 (B
altica, 2008) Si los n
umeros reales positivos a, b, c satisfacen que a2 + b2 + c2 = 3, muestre que
b2
c2
(a + b + c)2
a2
+
+
.
2 + b + c2 2 + c + a2 2 + a + b2
12
Bajo que circunstancias se tiene la igualdad?
Problema 3.112 (Canada, 2008) Sean a, b, c n
umeros reales positivos tales
que a + b + c = 1. Muestre que
3
a bc b ca c ab
+
+
.
a + bc b + ca c + ab
2
133
3
.
32
a2 (b
+ c)
1
1+
b2 (c
+ a)
1
1
+ c2 (a
+ b)
1
.
abc
para cualesquiera n
umeros reales a, b, c 0, que cumplen ademas que a+b+c =
ab + bc + ca.
Problema 3.118 (Serbia, 2008) Sean a, b, c n
umeros reales positivos tales que
a + b + c = 1. Muestre que
a2 + b2 + c2 + 3abc
4
.
9
134
2
2
2
(x y)
(y z)
(z x)
xy + yz + zx
Cu
ando se da la igualdad?
Problema 3.120 (IMO, 2008) (i) Si x, y, z son tres n
umeros reales distintos
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 n
umero infinito de n
umeros
racionales x, y, z.
Captulo 4
En este captulo 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 captulos 1 y 2, respectivamente. En la seccion 3 las soluciones a los problemas del captulo 3. Le recomendamos al lector que no consulte
este captulo sin antes haber intentado resolver los ejercicios y problemas el
mismo.
4.1.
Soluci
on 1.1 Se sigue de la definicion de a < b y la propiedad 1.1.1 para el
n
umero a b.
Soluci
on 1.2 (i) Si a < 0, entonces a > 0. Use tambien que (a)(b) = ab.
(ii) (a)b > 0. (iii) a < b b a > 0, use ahora la propiedad 1.1.2. (iv) Use
la propiedad 1.1.2. (v) Si a < 0, entonces a > 0. (vi) a a1 = 1 > 0. (vii) Si
a < 0, entonces a > 0. (viii) Use (vi) y la propiedad 1.1.3. (ix) Muestre que
ac < bc y que bc < bd. (x) Use la propiedad 1.1.3 con a 1 > 0 y a > 0. (xi)
Use la propiedad 1.1.3 con 1 a > 0 y a > 0.
Soluci
on 1.3 (i) a2 < b2 b2 a2 = (b + a)(b a) > 0. (ii) Si b > 0,
entonces 1b > 0, ahora use el ejemplo 1.1.4 (ii).
136
Soluci
on 1.4 Para (i), (ii) y (iii) use la definicion, y para (iv) y (v) recuerde
que |a|2 = a2 .
Soluci
on 1.5 (i) x |x| y x |x|. (ii) Considere |a| = |a b + b| y
|b| = |b a + a| y aplique la desigualdad del triangulo. (iii) (x2 + xy + y 2 )(x
y) = x3 y 3 . (iv) (x2 xy + y 2 )(x + y) = x3 + y 3 .
Soluci
on 1.6 Si a, b o c son cero, tenemos la igualdad. Entonces, suponga que
|a| |b| |c| > 0, ya que la desigualdad es simetrica en a, b y c. Dividiendo
entre |a|, la desigualdad es equivalente a
b
b c
c
c
c
b
b
1 + + 1 + + 1 + + 1 + + 0.
a
a
a
a a
a
a a
Como ab 1 y ac 1, se tiene que 1 + ab = 1 + ab y 1 + ac = 1 + ac .
Entonces, es suficiente probar que
b c b
b
c
c
c
b
+ + 1+ +
+ 1 + + 0.
a
a
a a
a a
a a
Ahora, use la desigualdad del triangulo y el ejercicio 1.5.
Soluci
on 1.7 (i) Use que 0 b 1 y 1 + a > 0, para ver que
0 b(1 + a) 1 + 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
n
umeros reales no negativos. Para la desigualdad derecha note que, b 1
b2 b b b2 , ahora termine as,
ab2 ba2 ab2 b2 a2 = b2 (a a2 ) a a2 =
Soluci
on 1.8 Muestre, mas generalmente, que x <
1
< 2.
que x > 2 1 + 1+x
1
1
1
( a)2 .
4
2
4
2 1+
Soluci
on 1.9 ax + by ay + bx (a b)(x y) 0.
1
1+x
>
2y
137
Soluci
on 1.10 Suponga que x y. Luego, utilice el ejercicio anterior con
p
y 2 , 1y y 1x .
x2 ,
Soluci
on 1.11 Observe que
Soluci
on 1.13 Para que las expresiones esten bien definidas es necesario
que
2
1
+
2x
.
y
el
denominador
por
1
+
x 12 y x 6= 0. Multiplique el numerador
2
4n + n< 2n + 1. Luego, su parte entera es 2n y lo que hay que mostrar es
entonces 4n2 + n < 2n + 41 , que es inmediato al tomar cuadrados.
Soluci
on 1.15 Como (a3 b3 )(a2 b2 ) 0, se tiene que a5 +b5 a2 b2 (a+b),
luego
ab
ab
abc2
c
=
.
=
a5 + b5 + ab
a2 b2 (a + b) + ab
a2 b2 c2 (a + b) + abc2
a+b+c
Analogamente,
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
+ 5
+
+
,
5
5
5
+ b + ab b + c + bc c + a + ca
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.
Soluci
on 1.16 Considere p(x) = ax2 + bx + c, por hipotesis p(1) = a + b + c y
p(1) = a b + c son no negativos. Como a > 0, el mnimo de p se logra en b
2a
138
Soluci
on 1.23 Use la desigualdad M G M A, con ax y xb .
Soluci
on 1.24 Use la desigualdad M G M A, con
Soluci
on 1.25
0 < b a.
a+b
2
( a b)
ab =
=
2
(ab)2
,
2( a+ b)2
Soluci
on 1.26 x + y 2 xy.
Soluci
on 1.27 x2 + y 2 2xy.
Soluci
on 1.28 xy + zx 2x yz.
Soluci
on 1.29 Vea el ejercicio 1.27.
1
y
2 .
xy
Soluci
on 1.30
1
x
Soluci
on 1.31
xy
z
Soluci
on 1.32
x2 +(y 2 +z 2 )
2
yz
x
q
2
2 xyzxz = 2y.
p
x y2 + z2 .
a
b
y ab .
139
p
Soluci
on 1.33 x4 + y 4 + 8 = x4 + y 4 + 4 + 4 4 4 x4 y 4 16 = 8xy.
q
Soluci
on 1.34 (a + b + c + d) 4 4 a b c d, a1 + 1b + 1c + d1 4 4 a b1c d .
a
b
Soluci
on 1.35
+ cb +
c
d
d
a
q
4 4 ab cb dc ad = 4.
Soluci
on 1.36 (x1 + + xn ) n n x1 xn , x11 + +
a1
b1
Soluci
on 1.37
a2
b2
+ +
an
bn
q
an
n n ab11 b
= n.
n
1
xn
q
1
n n x1 x
.
n
n+1
n1
(a 1) an1 + + 1 >
Soluci
on 1.38 an 1 > n a 2 a 2
q
n
(n1)n
n1
n1
n1
n1
n1
1+a++a
1+a++a
na 2 (a 1)
> a 2 , pero
> a 2 =a 2 .
n
n
1+b 1+c
Soluci
on 1.39 1 = 1+a
a b c = abc.
2
2
2
3
Soluci
on 1.40 Aplicando la desigualdad M G M A, se tiene, ab + bc + bc
q
3
3
3
3
3
3
3 3 ab bc bc = 3ab. An
alogamente, bc + ca + ca 3bc y ca + ab + ab 3ca.
3
Por lo que, 2( ab +
b3
c
c3
a)+
Segunda Soluci
on. Tambien se puede resolver aplicando el ejercicio 1.107.
Soluci
on 1.41 Si abc = 0, el resultado es claro. Si abc > 0, se tiene que
c a
a b
ab bc ca
1
b c
+c
+
+
=
+
+
+
a
+b
c
a
b
2
c b
a c
b a
1
(2a + 2b + 2c)
2
y el resultado se sigue.
Soluci
on 1.42 Aplique la desigualdad M G M A dos veces, a2 b + b2 c + c2 a
3abc, ab2 + bc2 + ca2 3abc.
abc+ab
1+c
=
=
ab
Soluci
on 1.43 1+ab
1+a
1+a
1+a .
1 + ab 1 + bc 1 + ca
1+c
1+a
1+b
+
+
= ab
+ bc
+ ca
1+a
1+b
1+c
1+a
1+b
1+c
q
3
3 (abc)2 = 3.
140
Soluci
on 1.44
que
1
a+b
1
b+c
1
c+a
1
1
1
+
+
a+b b+c c+a
(a + b + c) 92 , es equivalente a mostrar
(a + b + b + c + c + a) 9,
1
a
1
b
4
a+b .
Soluci
on 1.45 Note que,
(1 + 1) + (1 + 12 ) + + (1 + n1 )
n + Hn
=
.
n
n
Ahora aplique la desigualdad M G M A.
1yi
1
xi = y1i
Soluci
on 1.46 Defina, yi = 1+x
i
P1 = yi . Ahora,
P observe que y1 + . . . + yn = 1 implica que 1 yi = j6=i yj , luego, j6=i yj
Q
1
n1
y
(n 1)
y
j6=i j
xi =
Y
i
1 yi
yi
Q P
i
j6=i yj
Q
yi
(n 1)n
Q Q
i
j6=i yj
yi
1
n1
= (n1)n .
i
Soluci
on 1.47 Defina an+1 = 1 (a1 + + an ) y xi = 1a
ai , para i =
1, ..., n + 1. Aplique directamente el ejercicio 1.46.
Pn
Pn
ai
1
Soluci
on 1.48
i=1 1+ai = 1
i=1 1+ai = n 1. Observe que
n
X
i=1
n
n
n
n
n
X
X
X
1 X
1
ai X 1
=
a
i
ai
ai
1 + ai
1 + ai
i=1
i=1
i=1
i=1
i=1
X ai aj
X (ai aj 1)( ai aj )2 ( ai + aj )
=
.
=
(1 + aj ) ai
(1 + ai )(1 + aj ) ai aj
ai (n 1)
i,j
i>j
2+a +a
1
1
+ 1+a
= 1+ai +ai j +aj i aj , tenemos que ai aj 1. Por lo tanto,
Como 1 1+a
i
j
los terminos de la u
ltima suma son positivos.
Soluci
on 1.49 Sean Sa =
Sa Sb =
a2i
i=1 ai +bi
Pn
n
X
a2 b2
i=1
ai + bi
y Sb =
=
n
X
i=1
b2i
i=1 ai +bi .
Pn
ai
n
X
i=1
bi = 0,
141
n
X
a2 + b2
i=1
i=1
i=1
1 X (ai + bi )2 X
ai ,
=
ai + bi
2
ai + bi
i
a3
c
1
.
3
+ b + abc
abc(a + b + c)
3
1
Soluci
on 1.51 Note que abc a+b+c
= 27
.
3
1
1
1
1 1 1
1
1
1
1
+1
+1
+1
= 1+ + + +
+
+
+
a
b
c
a b
c ab bc ca abc
3
3
1
1+
+q
+
3
abc
3
2
abc
(abc)
3
1
=
1+
43 .
3
abc
1
Una funci
on f (a, b, . . .) es homogenea si para t R se tiene que f (ta, tb, . . .) =
tf (a, b, . . .). Luego, una desigualdad de la forma f (a, b, . . .) 0, para el caso de una funci
on homogenea es equivalente a f (ta, tb, . . .) 0 para cualquier t > 0.
142
b+c b+c
8. Use
Soluci
on 1.52 La desigualdad es equivalente a b+c
a
b
c
ahora, la desigualdad M G M A para cada termino del producto, y la desigualdad se resuelve inmediatamente.
Soluci
on 1.53 Note que,
b
c
(a + 1)(b + 1)(c + 1) 2
a
+
+
=
(a + 1)(b + 1) (b + 1)(c + 1) (c + 1)(a + 1)
(a + 1)(b + 1)(c + 1)
2
3
=1
,
(a + 1)(b + 1)(c + 1)
4
que es equivalente a (a + 1)(b +1)(c + 1) 8, y esta
u
ltima desigualdad es
b+1
c+1
a+1
a b c = 1.
inmediata de la desigualdad 2
2
2
Soluci
on 1.54 Vea que es similar al ejercicio 1.52.
Soluci
on 1.55 Aplique la desigualdad entre la media aritmetica y la media
armonica para obtener
2ab
=
a+b
1
a
2
+
1
b
a+b
.
2
i=1
(ai + bi )2
n
X
i=1
1
n2 .
(ai + bi )2
Soluci
on 1.57 Por la desigualdad M G M A, se tiene que xy + yz 2y xz.
resultado (x+y+z)
x yz + y zx + z xy.
3
143
Soluci
on 1.58 La desigualdad M GM A lleva a
que x4 +y 4 2x2 y 2 . Usando
2
2
2
M GM A nuevamente se tiene que 2x y +z 8xyz. O bien, directamente
se tiene que
r
2
2
4 4 4
z
z
4 x y z
x4 + y 4 +
+
4
= 8xyz.
2
2
4
Soluci
on 1.59 Por M G M A, se tiene
x2
y2
xy
8.
+
2p
y1 x1
(x 1)(y 1)
La u
ltima desigualdad se deduce de
x
x1
2, ya que (x 2)2 0.
Segunda Soluci
on. Sean a = x1, b = y1, que son n
umeros positivos, enton2
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+1)
4 ab + ab 8. La u
ltima desigualdad es consecuencia del
b
a
ejercicio 1.24.
Soluci
on 1.60 Observe que (a, b, c) y (a2 , b2 , c2 ) se ordenan de la misma forma,
use la desigualdad (1.2).
Soluci
on 1.61 Por el ejercicio anterior
a3 + b3 + c3 a2 b + b2 c + c2 a.
Observe que ( a1 , 1b , 1c ) y ( a12 , b12 , c12 ) se ordenan de la misma forma. Entonces,
usando la desigualdad (1.2), se obtiene
1
1
1
+
+
a3 b3 c3
1 1
1 1
1 1
+ 2 + 2
2
a c 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
Soluci
on 1.63 Use la desigualdad
(1.2) con (a1 , a2 , a3 ) = (b1 , b2 , b3 ) =
1 1 1
, a , a ) = 1 , 1 , 1 .
,
,
y
(a
1 2 3
a b c
b c a
Soluci
on 1.64 Suponga que a b c, y considere (a1 , a2 , a3 ) = (a, b, c).
Use la desigualdad del reacomodo (1.2) dos veces con (a1 , a2 , a3 ) = (b, c, a) y
(c, a, b), respectivamente. Desde luego, se esta utilizando
1
1
1
,
,
.
(b1 , b2 , b3 ) =
b+ca c+ab a+bc
Soluci
on 1.65 Utilice la misma idea que en el ejercicio anterior, pero con n
variables.
Soluci
on 1.66 Use el ejercicio anterior y el hecho que
s
sa1
=1+
a1
sa1 .
Soluci
on 1.67 Aplique el ejercicio 1.65 a la sucesion a1 , . . ., an , a1 , . . ., an .
Soluci
on 1.68 Aplique el ejemplo 1.4.11.
Soluci
on 1.69 Note que 1 = (a2 + b2 + c2 ) + 2(ab + bc + ca), y use el ejercicio
anterior como sigue
r
a+b+c
1
a2 + b2 + c2
=
3
3
3
por lo tanto,
evidente.
1
3
Segunda Soluci
on. La desigualdad es equivalente a 3(ab+bc+ca) (a+b+c)2
pero esta se reduce a ab + bc + ca a2 + b2 + c2 .
Soluci
on 1.70 Sea G = n x1 x2 xn la media
umeros
geometrica de los n
n
.
dados y (a1 , a2 , ..., an ) = xG1 , xG1 x22 , , x1 xG2 x
n
Utilice el corolario 1.4.2, se tiene que
n
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 s
olo si a1 = a2 = = an , es decir, si y solo si
x1 = x2 = = xn .
G
Soluci
on 1.71 La desigualdad es equivalente a
a1n1 + a2n1 + + ann1
a1 an
a1 an a1 an
+
+ +
,
a1
a2
an
=
Qn
n
n
1 ai
1 ai
i=1 (1 ai )
i=1
i=1
s
r
1
n
.
=
1 Pn
n1
i=1 (1 ai )
n
Mas a
un, la desigualdad de Cauchy-Schwarz sirve para mostrar que
v
u n
n
n
X
X
p
uX
1 ai t (1 ai ) n = n(n 1) y
ai n.
i=1
i=1
i=1
Soluci
on 1.73 (i) 4a +1 < 4a+1+1
+ 1. (ii) Use la desigualdad de
2 = 2a
Cauchy-Schwarz con u = ( 4a + 1, 4b + 1, 4c + 1) y v = (1, 1, 1).
Soluci
on 1.74 Suponga que a b c d (los otros casos son analogos).
Entonces, si A = b + c + d, B = a + c + d, C = a + b + d y D = a + b + c, se
1
. Aplique la desigualdad de Tchebyshev dos veces
tiene que A1 B1 C1 D
para mostrar que
a3 b3 c3 d3
1
1 3
1
1
1
3
3
3
+
+
+
(a + b + c + d )
+ + +
A
B
C
D
4
A B C
D
146
1
1
1
1
1 2
2
2
2
+ + +
(a + b + c + d )(a + b + c + d)
16
A B C
D
1 2
A+B+C +D
1
1
1
1
2
2
2
= (a + b + c + d )
+ + +
.
16
3
A B C
D
Ahora, use la desigualdad de Cauchy-Schwarz para ver que
a2 + b2 + c2 + d2 ab + bc + cd + da = 1
y use la desigualdad (A + B + C + D)( A1 +
1
B
1
C
1
D)
16.
Soluci
on 1.75 Use la desigualdad del reacomodo con
r
s r
r r r !
2
a 2
c 2
b
a
b
c
3
3
3
3
, (b1 , b2 , b3 ) =
,
,
, 3
(a1 , a2 , a3 ) = 3 ,
b
c
a
b
c
a
y permutacion
(a1 , a2 , a3 )
q
3
b
c,
a b c
+ +
b c a
p
p
3 c
3 a
a,
b , para obtener
r
3
a2
+
bc
r
3
b2
+
ca
r
3
c2
.
ab
1 a a b
3
3 a
3 aab
+ +
=
= a3 = a.
3 b
b c
bbc
bc
An
alogamente, 13 bc + bc + ac b y 13 ac + ac + ab c. Ahora sume las tres
desigualdades.
Soluci
on 1.76 Por hipotesis, para toda k, se tiene que s 2xk > 0. Por la
desigualdad de Cauchy-Schwarz
n
X
k=1
x2k
s 2xk
n
X
k=1
(s 2xk )
n
X
k=1
xk
!2
= s2 .
Pn
k=1 (s
147
x2k
s
.
s 2xk
n2
Soluci
on 1.77 La funcion f (x) = x +
1 2
x
es convexa en R+ .
a
b
c
Soluci
on 1.78 La funcion f (a, b, c) = b+c+1
+ a+c+1
+ a+b+1
+ (1 a)(1
b)(1 c) es convexa en cada una de las variables, luego su maximo se alcanza
en los extremos.
Soluci
on 1.79 Si x = 0, entonces la desigualdad se reduce a 1 + 1
1+y 2
2,
esto es,
2
1
1
p
;
+
1 + e2v
1 + e2u
1 + e(u+v)
f (u) + f (v)
f
2
u+v
2
2x
1
12e
donde f (x) = 1+e
on es concava en
. Como f (x) = e4x (1+e
2x )5/2 , la funci
2x
el intervalo [0, ). Por lo tanto, la desigualdad anterior es verdadera.
Soluci
on 1.80 Encuentre f (x).
Soluci
on 1.81 Utilice log(sen x) o bien
A+B AB
A+B AB
+
.
Aplique
la
desigualdad
de
Bernoulli
para
mostrar
que
j
j1
j
(j 1), lo que implica
j j1
j
j1
j1
j
.
(jj (j 1)j1 ) = aj j1
(j 1) = j1
jj j1
j
j1
148
n1
n2
an an1 n2
an an1 a1 .
Luego, nn an n1
Soluci
on 1.83 Si x y z, se tiene que xn (x y)(x z) y n (x y)(y z)
n
y z (z x)(z y) 0.
Soluci
on 1.84 Note que x(xz)2 +y(y z)2 (xz)(y z)(x+y z) 0 si y
s
olo si x(xz)(xy)+y(yz)(yx)+z(xz)(yz) 0. La desigualdad ahora
se sigue de la desigualdad de Sch
ur. O bien, la u
ltima expresion es simetrica en
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).
Soluci
on 1.85 La desigualdad es homogenea, por lo que se puede suponer que
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+b+c
a
= 3f
Jensen, (1a)2 + (1b)2 + (1c)2 3f
3
y la funcion f (x) =
desigualdad de
> 0. Por la
1
3 2
3 = 2 .
Soluci
on 1.86 Como (a + b + c)2 3(ab + bc + ca), se puede deducir que
3
9
1 + ab+bc+ca
1 + (a+b+c)
a verdadera si
2 . Entonces, la desigualdad ser
6
9
.
(a + b + c)2
(a + b + c)
2
3
Pero esta u
ltima desigualdad se sigue de que 1 a+b+c
0.
1+
Ahora bien, si abc = 1, considere x = a1 , y = 1b y z = 1c ; se sigue inmediatamente que xyz = 1. Luego, la desigualdad es equivalente a
1+
3
6
xy + yz + zx
x+y+z
149
r
a+b+c
3
and
b+c
= c + (1 )
2
a+b+c
3
= (2)
a+b+c
3
a + b 2c
+2c.
3
Luego,
a + b 2c
= (2 )
2
a + b 2c
3
Por lo tanto, 2 ( + ) = 32 y ( + ) = 21 .
Ahora bien, como f es una funcion convexa, se tiene que
a+b
1
(f (a) + f (b))
2
2
b+c
a+b+c
f
f (c) + (1 )f
2
3
c+a
a+b+c
f
f (c) + (1 )f
2
3
f
150
f
2
2
2
2
3
a+b+c
+ f
.
2
3
Caso (ii) b a+b+c
3 .
Es an
alogo al caso (i), utilizando el hecho que a
a+b+c
3 .
a+c
2
a+b+c
3
ya
a+b
2
Soluci
on 1.90 Si alguna de las variables a, b o c es cero, la desigualdad
es evidente. Aplicando la desigualdad de Popovicius, al ejercicio anterior, y
utilizando la funcion f : R R+ definida por f (x) = exp(2x), que es convexa
ya que f (x) = 4 exp(2x) > 0, se obtiene que
2(x + y + z)
)
3
2 [exp(x + y) + exp(y + z) + exp(z + x)] =
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 .
Soluci
on 1.91 Aplicando la desigualdad de Popoviciu a la funcion convexa
9
4
4
4
b+c
+ c+a
+ a+b
.
f (x) = x + x1 se obtiene la desigualdad, a1 + 1b + 1c + a+b+c
Ahora, multiplique ambos lados de la desigualdad por (a + b + c) para terminar
la demostracion.
Soluci
on 1.92 Observe que por la ecuacion (1.8), se obtiene
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
Segunda Soluci
on. Aplique la desigualdad de Cauchy-Schwarz con (x, y, z) y
(y, z, x).
Soluci
on 1.93 La desigualdad es equivalente a tener ab+bc+ca a2 +b2 +c2 ,
la cual se sabe que es verdadera. Vea el ejercicio 1.27.
Soluci
on 1.94 Observe que, si a + b + c = 0, entonces se sigue de la ecuacion
(1.7) que a3 + b3 + c3 = 3abc. Como (x y) + (y z) + (z x) = 0, se obtiene
la factorizacion
(x y)3 + (y z)3 + (z x)3 = 3(x y)(y z)(z x).
Soluci
on 1.95 Suponga, sin perdida de generalidad, que a b c. Entonces,
necesita demostrar que
a3 + b3 + c3 + 3abc 0.
Como
a3 + b3 + c3 + 3abc = (a)3 + b3 + c3 3(a)bc,
factorice, la u
ltima expresion, como
1
(a + b + c)((a + b)2 + (a + c)2 + (b c)2 ).
2
La conclusion se sigue de la desigualdad del triangulo, b + c > a.
Soluci
on 1.96 Sea p = |(x y)(y z)(z x)|. Utilizando la desigualdad
M G M A del lado derecho de la identidad (1.8), se tiene que
x2 + y 2 + z 2 xy yz zx
3p
3
p2 .
2
(4.1)
2(x + y + z) 3 3 p,
(4.2)
152
Soluci
on 1.97 Utilice la identidad (1.7), factorice, la condicion x3 + y 3 + z 3
3xyz = 1, y se obtiene
(x + y + z)(x2 + y 2 + z 2 xy yz zx) = 1.
(4.3)
2
B.
1
1
2
= B2 + +
3,
B
B B
es decir, A 1. El mnimo A = 1 se alcanza, por ejemplo, con (x, y, z) =
(1, 0, 0).
3A = B 2 +
Soluci
on 1.98 Por la desigualdad (1.11), se tiene que
1 1 4 16
(1 + 1 + 2 + 4)2
64
+ + +
=
.
a b
c
d
a+b+c+d
a+b+c+d
Soluci
on 1.99 Utilice la desigualdad (1.11) dos veces para obtener
2
2
( (a+b)
(a2 + b2 )2
(a + b)4
a4 b4
2 )
+
=
.
a +b =
1
1
2
2
8
4
Soluci
on 1.100 Escriba el lado izquierdo como
,
axy + bzx ayz + bxy azx + byz
(a + b)(xy + zx + yz)
a+b
153
donde la u
ltima desigualdad se sigue de la ecuacion (1.8).
Soluci
on 1.102 Escriba el lado izquierdo como
b2
c2
b2
c2
a2
a2
+
+
+
+
+
,
a+b b+c c+a a+b b+c c+a
luego use la desigualdad (1.11).
Soluci
on 1.103 (i) Escriba el lado izquierdo como
x2
y2
z2
+
+
x2 + 2xy + 3zx y 2 + 2yz + 3xy z 2 + 2zx + 3yz
y use la desigualdad (1.11) para obtener
x
y
z
(x + y + z)2
+
+
2
.
x + 2y + 3z y + 2z + 3x z + 2x + 3y
x + y 2 + z 2 + 5(xy + zx + yz)
Ahora, s
olo falta probar la desigualdad
1
(x + y + z)2
,
x2 + y 2 + z 2 + 5(xy + zx + yz)
2
pero esta es equivalente a x2 + y 2 + z 2 xy + zx + yz.
(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 esta se deduce de la desigualdad M G M A aplicada seis veces en la
forma x2 + y 2 2xy.
154
Soluci
on 1.104 Use la desigualdad (1.11) para obtener
y2
z2
x2
+
+
(x + y + z)2
.
x2 + y 2 + z 2 + 3(xy + yz + zx)
Tambien, la desigualdad
3
(x + y + z)2
2
2
2
x + y + z + 3(xy + yz + zx)
4
es equivalente a
x2 + y 2 + z 2 xy + yz + zx.
Soluci
on 1.105 Escriba el lado izquierdo como
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
+
+
+
Demostrar que la u
ltima expresion es mayor que 2, es equivalente a demostrar
2
2
que a + c 2ac y b2 + d2 2bd, las cuales son inmediatas por la desigualdad
M G M A.
Soluci
on 1.106 Escriba el lado izquierdo como
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
P
+
+
+
+
.
ab + ac bc + bd cd + ce de + ad ae + be
ab
a2 + 4
a2 + 2
ab 5
ab,
ab,
X
a2
ab.
P 2 P
La u
ltima desigualdad se sigue de
a ab.
2
155
Soluci
on 1.107 (i) Use la desigualdad de Tchebyshev con los n
umeros (a
b2
c2
a2
b c) y ( x y z ) para tener que
1
3
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
a3 b3 c3
+
+
x
y
z
31
(1 + 1 + 1) 3 (x + y + z) 3 a + b + c.
x1 + + x n
(x1 + + xn )2
=
.
n(x1 + + xn )
n
156
Como k = m
ax {x1 , . . . , xn } min {x1 , . . . , xn } = t, se tiene que kn
t n
x1 ++xn
y como
1,
ya
que
todos
los
x
son
enteros
positivos,
es
suficiente
i
n
probar que
x1 + + x n n
x1 x n ,
n
que es equivalente a la desigualdad M G M A.
Como todas las desigualdades intermedias que se han usado son desigualdades
v
alidas cuando x1 = = xn se concluye que esto sucede en este caso.
Soluci
on 1.109 Con la sustitucion a = xy , b =
la desigualdad como,
y
z
y c = xz , se puede reescribir
b3
c3
a3
+
+
1,
a3 + 2 b3 + 2 c3 + 2
con la condicion extra que, abc = 1.
Para probar esta u
ltima desigualdad se puede usar la condicion extra como sigue
a3
b3
c3
+ 3
+ 3
+2 b +2 c +2
a3
=
=
a3
b3
c3
+ 3
+ 3
+ 2abc b + 2abc c + 2abc
a2
b2
c2
+
+
a2 + 2bc b2 + 2ca c2 + 2ab
(a + b + c)2
= 1.
a2 + b2 + c2 + 2bc + 2ca + 2ab
a3
a1 a2
157
,
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
3
3
3
x +y
y +z
z +x
2
2
2
Soluci
on 1.113 La desigualdad de la izquierda se sigue de aplicar la desigualdad
ca
ab
(1.11). Para la desigualdad de la derecha, la sustitucion, x = bc
a,y = b ,z = c
nos permite reescribir la desigualdad como
r
x+y+z
yz + zx + xy
.
3
3
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 sustitucion, a =
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
Para la u
nica desigualdad que aparece en este calculo, se aplico la desigualdad
(1.11).
Soluci
on 1.115 Observe que
2
2
[5, 0, 0] = (a5 + b5 + c5 ) (a3 bc + b3 ca + c3 ab) = [3, 1, 1],
6
6
donde se uso el teorema de Muirhead.
Soluci
on 1.116 Utilizando la formula de Heron para el area de un triangulo,
podemos reescribir la desigualdad como sigue
r
(a + b + c) (a + b c) (a + c b) (b + c a)
2
2
2
a +b +c 4 3
.
2
2
2
2
Pero, esta es equivalente a
(a2 + b2 + c2 )2 3[((a + b)2 c2 )(c2 (b a)2 )]
.
=
4(ABC) = (a + b + c)(xyz) (a + b + c)
27
3 3
159
Ahora, s
olo se tiene que probar que (a + b + c)2 3(a2 + b2 + c2 ). Aplicando,
el teorema de Muirhead, se deduce esta desigualdad, ya que [1, 1, 0] [2, 0, 0].
Soluci
on 1.117 Note que,
b
c
9
a
+
+
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 mas de uno al mismo
tiempo), se tiene que
x2 (y + z) + y 2 (x + z) + z 2 (x + y) = x2 2c + y 2 2a + z 2 2b 0
pero 6xyz es negativo, lo cual concluye la prueba.
Soluci
on 1.119 Observe que
b3
c3
a3
+
+
a+b+c
b2 bc + c2 c2 ca + a2 a2 ab + b2
160
.
(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 3
1
1
3
3
(a + b + c )
+
+
=
3
(1 + b)(1 + c) (1 + a)(1 + c) (1 + a)(1 + b)
1
3 + (a + b + c)
= (a3 + b3 + c3 )
.
3
(1 + a)(1 + b)(1 + c)
3
Finalmente, use que 31 (a3 + b3 + c3 ) ( a+b+c
3 ) ,
3
para ver que
c) 3+a+b+c
3
1 3
3 + (a + b + c)
(a + b3 + c3 )
3
(1 + a)(1 + b)(1 + c)
Para la u
ltima desigualdad, observe que
a+b+c
3
a+b+c
3
a+b+c
3
+ a+b+c
3
1 y (1 + a)(1 + b)(1 +
3
21 .
6
(1 +
a+b+c 3
3 )
6
.
8
161
Segunda Soluci
on. Multiplicando por el denominador com
un y desarrollando
ambos lados, la desigualdad deseada es equivalente a
a(a4 + b4 + c4 + a3 + b3 + c3 ) 3(1 + a + b + c + ab + bc + ca + abc).
Como 4(a4 + b4 + c4 + a3 + b3 + c3 ) = 4(3[4, 0, 0] + 3[3, 0, 0]) y 3(1 + a + b + c +
ab + bc + ca + abc) = 3([0, 0, 0] + 3[1, 0, 0] + 3[1, 1, 0] + [1, 1, 1]), la desigualdad
es equivalente a
4[4, 0, 0] + 4[3, 0, 0] [0, 0, 0] + 3[1, 0, 0] + 3[1, 1, 0] + [1, 1, 1].
Ahora, observemos que
4 4 4
4 4 4
, ,
= a 3 b 3 c 3 = 1 = [0, 0, 0],
[4, 0, 0]
3 3 3
4 4 1
3[3, 0, 0] 3 , ,
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.
Soluci
on 2.1 (i) Trace un segmento BC de longitud a, con centro en B un
crculo de radio c y con centro en C un crculo de radio b, Bajo que circunstancias se intersectan?
(ii) Se sigue de (i).
a+bc
b+ca
(iii) a = x + y, b = y + z, c = z + x x = a+cb
2 , y =
2 , z =
2 .
Soluci
on 2.2 (i) c < a+b c < a+b+2 ab = ( a+ b)2 c < a+ b.
(ii) Con 2, 3 y 4 se puede construir un triangulo y con 4, 9 y 16 no es posible
construirlo.
162
1
1
1
< c+a
< a+b
, por lo
(iii) a < b < c a + b < a + c < b + c b+c
1
1
1
que ser
a suficiente que ver que a+b < b+c + c+a , pero es mas facil ver que
1
1
1
c < b+c + c+a .
Soluci
on 2.3 Utilice el hecho de que si a, b, c son las longitudes de los lados de
un tri
angulo, el
angulo que se opone al lado de longitud c es o bien recto, agudo
u obtuso dependiendo si c2 es igual, menor o mayor a a2 + b2 , respectivamente.
Suponga entonces que a b c d e, y que las ternas de segmentos
de longitud (a, b, c) y (c, d, e) no forman un triangulo acutangulo. Luego, como
c2 a2 + b2 y e2 c2 + d2 , se puede concluir que e2 a2 + b2 + d2
a2 + b2 + c2 a2 + b2 + a2 + b2 = (a + b)2 + (a b)2 (a + b)2 , por lo cual
a + b e, lo que nos lleva a una contradiccion.
Soluci
on 2.4 Como A > B entonces BC > CA. Utilizando la desigualdad
del tri
angulo AB < BC + CA y la afirmacion anterior se tiene que AB < 2BC.
Soluci
on 2.5 (i) Sea O el punto de interseccion de las diagonales AC y BD.
Aplique la desigualdad del triangulo a los triangulos ABO y CDO. Sumando
las desigualdades, tenemos AB + CD < AC + BD. Por otro lado, por hipotesis
se tiene que AB + BD < AC + CD. Sumando estas dos u
ltimas desigualdades
obtiene que AB < AC.
(ii) Sea DE paralela a BC; entonces EDA < BCD < A, luego DE >
1
1
2 AD. Por lo tanto, 2 AD < DE < BC, vea el ejercicio anterior.
Soluci
on 2.6 Cada di es menor que la suma de la longitud de dos lados. Use
tambien el hecho que, en un cuadrilatero convexo la suma de la longitud de dos
lados opuestos es menor que la suma de la longitud de las diagonales.
Soluci
on 2.7 Aplique la desigualdad del triangulo a los triangulos ABA y
163
bc + ad > ab + cd
(d b)(a c) > 0.
Soluci
on 2.13 Con centro en A haga una rotacion de 60 del triangulo ABP.
El punto B se transforma en C y sea P el transformado de P. El triangulo
P P C tiene lados P P = P A, P C = P B y P C, como el que se desea.
2
3
Ver [6], p
ag. 136 o [1], p
ag. 128.
Ver [6], p
ag. 97 o [9], p
ag. 13.
164
A
P
P
B
Segunda Soluci
on. Use la desigualdad de Ptolomeo (ejercicio 2.11) en los
cuadril
ateros ABCP , ABP C y AP BC; despues de cancelar factores comunes tendr
a que: P B < P C + P A, P A < P C + P B y P C < P A + P B,
respectivamente. Esto garantiza la existencia del triangulo.
Tercera Soluci
on. Otra solucion para el caso en que P este dentro de ABC.
Sea P el punto donde AP corta al lado BC. Use ahora que, AP < AP <
AB = BC < P B + P C. Analogamente obtenga las desigualdades P B <
P C + P A y P C < P A + P B.
Soluci
on 2.14 Sean a = AB, b = BC, x = AC, y = BD. Recuerde que
en un paralelogramo se cumple la identidad 2(a2 + b2 ) = x2 + y 2 . Suponga
adem
as, sin perder generalidad, que a b. Es claro que 2b < (x + y), por lo
que (2b)2 < (x + y)2 = x2 + y 2 + 2xy = 2(a2 + b2 ) + 2xy. Luego, reduciendo
se obtiene que 2(b2 a2 ) < 2xy.
Soluci
on 2.15 (i) Prolongue las medianas AA , BB y CC hasta que corten
al circuncrculo en A1 , B1 y C1 , respectivamente. Use la potencia de A para
a2
. Tambien, use el hecho de que ma + A A1 2R y
establecer que A A1 = 4m
a
2
165
abc
4R
4Rr
a2
1
rs
4Rr
,
a2
b+c
2
2
vea que a 2 o, equivalentemente, que 2bc a , pero bc = b c2
2
b2 +c2
= a2 .
2
Soluci
on 2.18 Simplificando y utilizando el ejercicio 1.27, la primera desigualdad es equivalente a ab + bc + ca a2 + b2 + c2 . Para la segunda desarrolle
(a+b+c)2 y utilizando la desigualdad del triangulo se obtiene que a2 < a(b+c).
Soluci
on 2.19 Utilice la sugerencia anterior.
Soluci
on 2.20 Si desarrolla la expresion regresara al ejercicio anterior.
Soluci
on 2.21 La primera desigualdad es la desigualdad de Nesbitt, ejemplo
1.4.8. Para la segunda desigualdad use el hecho de que a + b > a+b+c
2 , entonces
2c
c
<
.
a+b
a+b+c
Soluci
on 2.22 Observe que a2 (b + c a) + b2 (c + a b) + c2 (a + b c)
2abc = (b + c a) (c + a b) (a + b c); ahora vea el ejemplo 2.2.3.
Soluci
on 2.23 Observe que
a b2 + c2 a2 +b c2 + a2 b2 + c a2 + b2 c2 =
a2 (b + c a) + b2 (c + a b) + c2 (a + b c) ,
Ver la soluci
on del ejercicio 2.10.
166
Soluci
on 2.24 Use la transformacion de Ravi con a = y + z, b = z + x,
c = x + y para ver primero que
a2 b(ab)+b2 c(bc)+c2 a(ca) = 2(xy 3 +yz 3 +zx3 )2(xy 2 z+x2 yz+xyz 2 ).
Luego, la desigualdad es equivalente a
desigualdad (1.11).
x2
y
y2
z
+ zx x + y + z. Ahora, use la
Soluci
on 2.25
a b b c c a
a b b c c a
a + b + b + c + c + a = a + b b + c c + a
cab
1
<
,
(a + b)(b + c)(c + a)
8
para la u
ltima desigualdad, vea la solucion del ejemplo 2.2.3.
Soluci
on 2.26 Por el ejercicio 2.18
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.
Soluci
on 2.27 Use la transformacion de Ravi, a = y + z, b = z + x, c = x + y.
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
r
3
3 x+y+z
=
.
2
xyz
2r
Para la u
ltima identidad vea el final de la demostracion del ejemplo 2.2.4.
167
Soluci
on 2.28 (i) Se sigue de las equivalencias siguientes,
(s a)(s b) < ab s2 s(a + b) < 0
a + b + c < 2(a + b)
c < a + b.
(ii) Use la transformacion de Ravi, a = y + z, b = z + x, c = x + y, para ver
que la desigualdad es equivalente a,
4(xy + yz + zx) (y + z)(z + x) + (z + x)(x + y) + (x + y)(y + z),
y para justificar la u
ltima desigualdad basta ver que, xy +yz +zx x2 +y 2 +z 2 ,
que se sabe del ejercicio 1.27.
Otra manera de obtener (ii).
La desigualdad es equivalente a,
3s2 2s(a + b + c) + (ab + bc + ca)
ab + bc + ca
.
4
xy + zw (x + z)(y + w).
De donde,
p
p
X p
1 X p 2
a2 + b2 c2 a2 b2 + c2 =
a + b2 c2 a2 b2 + c2
2
cclica
cclica
p
p
+ c2 + a2 b2 c2 a2 + b2
X
1 X p 2
(2a )(2c2 ) =
ac.
2
cclica
cclica
168
Soluci
on 2.31 Considere n
umeros positivos x, y, z, con a = y + z, b = z + x
y c = x + y. Las desigualdades son equivalentes a demostrar que
y+z z+x x+y
+
+
3
2x
2y
2z
Para la primera desigualdad use que
desigualdad de Nesbitt.
y
y
x
2x
2y
2z
+
+
3.
y+z z+x x+y
+
x
y
Soluci
on 2.32 Como en los triangulos con la misma base la razon de sus alturas
es igual a la raz
on de sus areas, se tiene que,
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 seccion 2.3.
Soluci
on 2.33 (i) Recuerde que (S1 + S2 + S3 )( S11 +
1
S2
1
S3 )
9.
(ii) Los vertices de los triangulos forman un hexagono que se divide en 6 triangulos de
areas S1 , S2 , S3 , T1 , T2 , T3 , donde los triangulos de areas Si y Ti tienen
un
angulo com
un. Utilice la formula de area que involucra al seno del angulo
para demostrar que S1 S2 S3 = T1 T2 T3 . Use despues la desigualdad M G M A,
como sigue
1
1
1
1
1
1
+
+
+
+
(S1 + S2 + S3 + T1 + T2 + T3 )
S
S1 S2 S3
S1 S2 S3
18 6 S1 S2 S3 T1 T2 T3
= 18.
3
S1 S2 S3
La igualdad se da cuando el punto O es el centroide del triangulo y las lneas
que pasan por O son las medianas del triangulo, es decir, en el caso en que
S1 = S2 = S3 = T1 = T2 = T3 = 16 S.
Soluci
on 2.34 Si P = G es el centroide, la igualdad es clara, ya que AG
GL =
BG
CG
GM = GN = 2.
BP
CP
AL
BM
CN
Por otro lado, si AP
P L + P M + P N = 6, se tiene que P L + P M + P N = 9.
BC) P M
(P CA)
(P AB)
L
PN
= (P
No es difcil ver que PAL
(ABC) , BM = (ABC) y CN = (ABC) , por lo que
PL
AL
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.
Soluci
on 2.35 (i) Como HD = DD , HE = EE y HF = F F , donde H es
el ortocentro5 . Luego, la solucion se sigue de la parte (i) del ejemplo 2.3.4.
AD+DD
= 1 + HD
en, al ver la solucion del
(ii) Como AD
AD =
AD
AD , se tiene tambi
BE
CF
HD
HE
HF
AD
ejemplo 2.3.4, que AD + BE
+ CF = 1 + AD
+ 1 + BE + 1 + CF = 4.
AD
BE
CF
BE
CF
AD
Como AD
9 se sigue el resultado.
+ BE + CF
AD + BE + CF
Soluci
on 2.36 Como se se
nalo en el ejemplo 2.3.5, la longitud de la bisectriz
interna del
angulo A cumple
2 !
4bc
a
=
(s(s a)).
la2 = bc 1
b+c
(b + c)2
p
Como 4bc (b + c)2 , se tiene que la2 s(s a), y la lb s (s a)(s b)
p
s (sa)+(sb)
= s 2c . Por lo tanto, la lb lc s s(s a)(s b)(s c) = s(sr),
2
la lb +lb lc +lc la s a+b+c
= s2 , y la2 +lb2 +lc2 s(sa)+s(sb)+s(sc) = s2 .
2
Soluci
on 2.37 Sean = AM B, = BN A, = AP C, y sea (ABC) el
area. Se tiene que
abc
1
.
(ABC) = a AM sen =
2
4R
De donde,
Luego,
bc
AM
= 2R sen . An
alogamente,
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.
Soluci
on 2.38 Sean A1 , B1 , C1 los puntos medios de los lados BC, CA, AB,
respectivamente, y sean B2 , C2 las reflecciones de A1 con respecto a AB y CA,
respectivamente. Tambien considere a D la interseccion de AB con A1 B2 y E
la intersecci
on de CA con A1 C2 . Entonces,
2DE = B2 C2 C2 B1 + B1 C1 + C1 B2 = A1 B1 + B1 C1 + C1 A1 = s.
Use que A1 DAE es un cuadril
atero inscrito en una circunferencia de diametro
AA1 y use la ley de senos en ADE, para deducir que DE = AA1 sen A =
5
Consultar [6], p
ag. 85 o [9], p
ag. 37.
170
a
a
= am
ma sen A. Entonces, s 2DE = 2ma sen A = 2ma 2R
R , es decir,
ama sR. An
alogamente, puede verificar que bmb sR y cmc sR.
Soluci
on 2.39 La desigualdad es equivalente a 8(s a)(s b)(s c) abc,
donde s es el semipermetro. p
Como (ABC) = sr = abc
s(s a)(s b)(s c), donde R y r denotan el
4R =
circunradio y el inradio, respectivamente, se tiene que demostrar solamente que
8sr 2 abc. Es decir, que 8sr 2 4Rrs, que es equivalente a 2r R.
Soluci
on 2.40 El
area del triangulo ABC, satisface que (ABC) = abc
4R =
(a+b+c)r
1
1
1
1
1
, luego, ab + bc + ca = 2Rr R2 , donde R y r denotan el circunradio
2
y el inradio, respectivamente.
Soluci
on 2.41 Use el ejercicio 2.40 y la ley de los senos.
q
A
6
Soluci
on 2.42 Use que sen 2 = (sb)(sc)
, donde s es el semipermetro.
bc
B
C
Expresiones semejantes para sen 2 y sen 2 , para ver que
sen
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
3
+ +
.
a b
c
R
Usando nuevamente la desigualdad (2.3), se obtiene
1
3
3
2
+
+
= .
3 2A 2B 2C
2
(A + B + C)
(4.4)
(4.5)
1
log
log
+ log
+ log
+
+
.
3
2A
2B
2C
3 2A 2B 2C
6
sen2
A
2
1cos A
2
2
2 a2
1 b +c
2bc
2
a2 (bc)2
4bc
(sb)(sc)
.
bc
171
1
log
log .
+ log
+ log
3
2A
2B
2C
2
(4.6)
log 2A
log 2B
log 2C
. Usando la desigualdad de Tchebyshev,
+ log 2B
+ log 2C
log 2A
1 1 1
1
1
1
log
+ log
+ log
+ +
.
a
2A b
2B c
2C
a b
c
3
Entonces, por (4.4) y (4.6), se tiene
3
1
3
log
+ log
+ log
log .
a
2A b
2B
c
2C
R
2
Elevando a las potencias adecuadas y tomando recprocos, obtiene la desigualdad deseada. En todas las desigualdades anteriores, la igualdad se tiene si y solo
si a = b = c (esto es, la igualdad se tiene solo para triangulos equil
ateros).
Soluci
on 2.44 Por la ley de los senos, se tiene que
sen B
sen C
1
sen A
=
=
=
,
a
b
c
2R
donde a, b, c son las longitudes de los lados del triangulo y R es el circunradio.
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
Soluci
on 2.47
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
Soluci
on 2.48 Recuerde que sen2
cos C 23 (vea el ejemplo 2.5.2).
A
2
1cos A
2
Soluci
on 2.49 Observe que,
4 3(ABC)
9abc
9 4 Rrs
2s
4 3rs
2 3s 9R R.
a+b+c
2s
3 3
La u
ltima desigualdad la se demostro en el teorema 2.4.3.
Soluci
on 2.50 Use el ejercicio anterior y la desigualdad entre la media armonica
y la media geometrica
3
1
ab
1
bc
1
ca
a2 b2 c2 .
Soluci
on 2.51 Use el ejercicio anterior y la desigualdad M G M A
a2 b2 c2
a2 + b2 + c2
.
3
Soluci
on 2.52 Primero observe que si s =
a+b+c
2
entonces
173
ab + bc + ca
a+b+c
=
=
=
174
Soluci
on 2.57 Observe que
2
b2
c2
1
b2
c2
a
a2
+
+
=
+
+
b+ca c+ab a+bc
2 sa sb sc
sb
sc
sa
1
a+
b+
c
=
2 sa
sb
sc
s
b
c
a
=
+
+
s
2 sa sb sc
s (a + b + c)s2 2(ab + bc + ca)s + 3abc
s
=
2
(s a)(s b)(s c)
s 2s3 2s(s2 + r 2 + 4rR) + 3(4Rrs)
=
s
2
r2s
2s(R R2 )
2s(R r)
3 3rR
=
= 3 3R,
r
r
r
las dos u
ltimas desigualdades
se derivan del hecho que R 2r (lo que implica
3r, respectivamente.
que r R
)
y
que
s
3
2
Soluci
on 2.58 Debe partir del lado de las ecuaciones donde se encuentra la
relacion entre las s y realice las operaciones.
Soluci
on 2.59 Si x1 , 1 x1 , x2 , 1 x2 , . . ., son las longitudes en que queda
dividido
se tiene que a2 + b2 + c2 + d2 =
P 2 cada lado2 por el punto correspondiente,
1
1 2
(xi + (1 xi ) ). Muestre que 2 2(xi 2 ) + 21 = x2i + (1 xi )2 1.
Para la parte (ii), la desigualdad de la derecha se sigue de la desigualdad del
tri
angulo. Para la desigualdad de la izquierda use reflexiones en los lados, como
en la siguiente figura.
d
b
175
Soluci
on 2.60 Esta es igual a (ii) del problema anterior.
Soluci
on 2.61 Si ABC es el tri
angulo y DEF GHI es el hexagono con DE,
F G, HI paralelos a BC, AB, CA, respectivamente, se tiene que el permetro
del hex
agono es 2(DE + F G + HI). Sean X, Y , Z los puntos de tangencia
del incrculo con los lados BC, CA, AB, respectivamente, y sea p = a + b + c
el permetro del tri
angulo ABC. Defina x = AZ = AY , y = BZ = BX y
z = CX = CY , se tiene entonces la relacion
AE + ED + DA
2x
DE
=
=
.
a
p
p
Analogamente, se tienen las otras dos relaciones
2z
FG
=
,
c
p
HI
2y
=
.
b
p
Luego,
p(DEF GHI) =
4(xa + yb + zc)
p
176
d
a
c
Por los vertices del cuadrado dibujamos rectas paralelas a los lados del rectangulo
de tal manera que encierren al cuadrado como se muestra en la figura. Como las
rectas paralelas forman un cuadrado dentro del rectangulo se tiene el resultado.
Lema 2. La longitud de la diagonal del cuadrado inscrito en un triangulo es
menor o igual a la longitud de la bisectriz interna del angulo recto.
Demostraci
on. Sea ABC un triangulo rectangulo con hipotenusa CA y sea
P QRS el cuadrado inscrito.
A
S
T
P
Podemos suponer que los vertices P y Q pertenecen a los catetos del triangulo rect
angulo (en caso de no ser as, transladamos el cuadrado) y sea O la
interesecci
on de las diagonales P R y QS.
Como BQOP es cclico (B = O = 90 ), se sigue que QBO = QP O =
45 , entonces O pertenece a la bisectriz interna del angulo B. Sea T la interseccion de BO con RS, entonces QBT = QST = 45 , luego BQT S
es cclico y el centro O del circuncrculo de BQT S es la interseccion de las
mediatrices de los segmentos SQ y BT , pero la mediatriz de SQ es P R, por lo
tanto el punto O pertenece a P R y si V es el punto medio de BT , se tiene que
V OO es un tri
angulo rectangulo. Como O O > O V , se tiene que las cuerdas
SQ y BT satisfacen SQ < BT , que es lo que se desea.
177
B
G
de las diagonales
igual a AC, esto es 2(a + b) 2, luego el resultado.
Soluci
on 2.65 Si , , son los angulos centrales que abren las cuerdas de
longitudes a, b, c, respectivamente, se tiene que a = 2 sen 2 , b = 2 sen 2 y
c = 2 sen 2 . Luego,
++
6
= 8 sen3 (30 ) = 1.
(CXA)
= a+b
= (CDX)
a , de donde
para encontrar (ABCDE).
AX
XD
a
b
1+ 5
2 .
178
Soluci
on 2.67 Primero se tiene que probar sr = s1 R = (ABC), donde s1 es
el semipermetro del triangulo DEF . Para deducir esta igualdad bastara que
vea que los radios OA, OB y OC son perpendiculares a EF , F D y DE,
respectivamente. Use tambien que R 2r.
Soluci
on 2.68 Suponga que el angulo maximo es A y que este satisface que
60 A 90 , entonces la longitud de las alturas hb y hc son tambien menores
3
b hc
a 1. Utilice ahora el hecho que (ABC) = 2hsen
A y que 2 sen A 1. El caso
del tri
angulo obtuso es mas facil.
Soluci
on 2.69 Si ABCD es el cuadrilatero con lados de longitud a = AB,
b = BC, c = CD y d = DA.
D
B
+ cd sen
ab+cd
(i) (ABCD) = (ABC) + (CDA) = ab sen
2
2
2 .
(ii) Si ABCD es el cuadrilatero mencionado con lados de longitud a, b, c y
d, considere el tri
angulo BC D que resulta de reflejar DCB con respecto a la
mediatriz de BD. Los cuadrilateros ABCD y ABC D tienen la misma area
pero el segundo tiene lados de longitud a, c, b y d, en este orden. Utilice ahora
(i).
bc
cd
da
(iii) (ABC) ab
2 , (BCD) 2 , (CDA) 2 y (DAB) 2 .
Soluci
on 2.70 En el ejemplo 2.7.6 se demostro que
PA PB PC
R
(pa + pb )(pb + pc )(pc + pa ).
2r
Utilice la desigualdad M G M A.
Soluci
on 2.71 (i)
(ii)
(iii)
PA
pb +pc
P A
pb pc
PB
pc +pa
P A2
pb pc
+
q
P C2
pa pb
q
3
P A2 P B 2 P C 2
pb pc pc pa pa pb
q
3
4R 2
r
A
R
PB
PC
3 3 pbP+p
3 3 2r
3.
c pc +pa pa +pb
q
q
+ PpaCpb 3 3 PpbApc PpcBpa PpaCpb 3 3 4R
r 6.
P B
pc pa
P B2
pc pa
PC
pa +pb
12.
Para las u
ltimas desigualdades en (i) y (iii) se ha utilizado el ejercicio 2.70.
Para la u
ltima desigualdad en (ii) use el ejemplo 2.7.6.
(iv) Proceda como en el ejemplo 2.7.5, es decir, haga una inversi
on en una
circunferencia de centro P y radio d (arbitrario, por ejemplo d = pb ). Sean A ,
B , C los inversos de A, B, C. Sean pa , pb , pc las distancias de P a los lados
B C , C A , A B , respectivamente.
pa P B P C B C
P B P C BC
=
,
P A1
d2
179
P B P C + P C P A + P A P B 2(pa P A + pb P B + pc P C).
Finalmente, para concluir use el ejemplo 2.7.4.
Soluci
on 2.72 Si P es un punto interior o en el permetro del triangulo ABC,
utilice la demostracion del teorema 2.7.2.
Si ha es la longitud de la altura desde A, se tiene que el area del triangulo ABC
satisface que 2(ABC) = aha = apa + bpb + cpc .
Como ha P A + pa (a
un si pa 0, esto es, si P es un punto que esta fuera
del tri
angulo, en distinto lado de BC que A), ademas la igualdad se da si P
esta sobre la altura por A. Luego aP A + apa aha = apa + bpb + cpc , entonces
aP A bpb + cpc .
Puede aplicar esta desigualdad al triangulo AB C simetrico a ABC con respecto a la bisectriz interna del
angulo A, donde aP A cpb + bpc , con igualdad
cuando AP pase por O.
Analogamente, bP B apc + cpa y cP C apb + bpa , por lo tanto
c a
a b
b c
pb +
+
+
+
pa +
pc .
PA + PB + PC
c b
a c
b a
La igualdad se da cuando P sea el circuncentro O.
Segunda Soluci
on. Sean L, M y N los pies de las perpendiculares P sobre BC,
CA y AB, respectivamente. Sean H y G la proyecciones ortogonales de B y C,
respectivamente, sobre la recta M N . Luego BC HG = HN + N M + M G.
Como BN H = AN M = AP M , los triangulos rectangulos BN H y AP M
aloga, se tiene que
son semejantes, por lo que HN = PPM
A BN. De manera an
CM
.
M G = PP N
A
Por el teorema de Ptolomeo, aplicado a AM P N , se tiene que P A M N =
AN P M + AM P N , por lo que
MN =
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.
Luego, P A pb ac + pc ab . Analogamente para las otras dos desigualdades.
Soluci
on 2.73 Considere la sucesion de reflexiones del cuadrilatero ABCD,
como en la siguiente figura.
P
B
A
B
S
D
S
C
R
A
A
y x
z y
x
z
1
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
181
La u
ltima igualdad se debe a que la concurrencia de las cevianas nos garantiza
y
z
x
by
cz
= 1. Ahora bien, el u
ltimo producto es maximo cuando
que ax
y
z
x
un es 12 . Luego, se
a = b = c y como los segmentos concurren el valor com
tiene que P es el centroide.
Soluci
on 2.75 Si x = P D, y = P E y z = P F , se tiene que 2(ABC) =
ax + by + cz. Por la desigualdad de Cauchy-Schwarz,
a
b
c
2
(a + b + c)
+ +
(ax + by + cz) .
x y z
2
Luego, xa + yb + zc (a+b+c)
2(ABC) . La igualdad se da cuando x = y = z, es decir,
cuando P es el incentro.
Soluci
on 2.76 Primero vea que BD2 + CE 2 + AF 2 = DC 2 + EA2 + F B 2 ,
usando que BD2 DC 2 = P B 2 P C 2 y relaciones similares.
Ahora bien, (BD + DC)2 = a2 , de donde BD2 + DC 2 = a2 2BD DC.
Analogamente, para los otros dos lados. Luego, BD2 + DC 2 + CE 2 + AE 2 +
AF 2 + F B 2 = a2 + b2 + c2 2(BD DC + CE AE + AF F B).
As, la suma es mnima cuando (BD DC + CE AE + AF F B) sea maxima.
2
2
Pero BD DC BD+DC
= a2 y alcanza el maximo cuando BD = DC.
2
Analogamente, CE = EA y AF = F B, por lo tanto P es el circuncentro.
p
Soluci
on 2.77 Como 3 (aP D)(bP E)(cP F ) aP D+bP3 E+cP F = 2(ABC)
, se
3
3
8 (ABC)
tiene que P D P E P F 27
as, la igualdad ocurre si y solo si
abc . Adem
aP D = bP E = cP F .
Pero c P F = b P E (ABP ) = (CAP ) P esta sobre la mediana AA .
De manera an
aloga, vea que P se encuentra en las otras medianas, entonces P
es el centroide.
Soluci
on 2.78 Usando la tecnica para la demostracion del teorema de Leibniz,
verifique que 3P G2 = P A2 + P B 2 + P C 2 31 (a2 + b2 + c2 ), donde G es el
centroide. Por lo tanto, se tiene que el punto optimo es P = G.
Soluci
on 2.79 El cuadril
atero AP M N es cclico y esta inscrito en la circunferencia de di
ametro AP .
La cuerda M N subtiende siempre el angulo A (o 180 A) por lo que la
longitud de M N depende proporcionalmente del radio de la circunferencia que
circunscribe a AP M N .
Tendra la mayor circunferencia cuando el diametro AP sea lo mas grande posible. Esto sucede cuando P es diametralmente opuesto a A. En este caso M y
182
A
N
P
M
B
=
=
X AL AD
AD
AL =
R cos A 3R cos
OA
3
A+B+C
= 3R cos 60 = R.
3
2
A
F
t2a
ha
= R + r, utilizando
L E
H
M
O
A
183
Soluci
on 2.81 (i) Note que
pc
pb
pa
+
+
ha hb hc
cpc
apa
bpb
+
+
aha
bhb chc
pb
pc
pa
+
+
ha hb hc
9.
3
= 1,
ha hb hc
+
+
pa
pb
pc
pa pb pc
ha hb hc
pa
pc
pb
+
+
ha hb hc
de donde se obtiene la u
ltima igualdad de (i).
(iii) Sean x = (P BC), y = (P CA) y z = (P AB). Observe que a(ha pa ) =
p
s(s a)(s b)(s c)
donde s =
a+b+c
.
2
(4.7)
184
Si s y c est
an fijos, entonces tambien esta fijo s c. Luego el producto de
16(ABC)2 es m
aximo cuando (sa)(sb) sea maximo. Esto es, si sa = sb,
es decir, cuando a = b. Por lo tanto, el triangulo es isosceles.
Soluci
on 2.84 Sea ABC un triangulo con lados de longitud a, b y c. Como el
permetro es fijo, lo es tambien el semipermetro, utilizando la ecuacion (4.7),
se tiene que 16(ABC)2 es maxima cuando (s a)(s b)(s c) es maximo. El
producto de estos tres n
umeros es maximo cuando (s a) = (s b) = (s c),
es decir, cuando a = b = c. Por lo tanto, el triangulo es equilatero.
Soluci
on 2.85 Si a, b, c son las longitudes de los lados del triangulo, observe
, ya
que a + b + c = 2R(sen A + sen B + sen C) 6R sen A+B+C
3
que la funcion sen x es concava. Ademas, se tiene la igualdad cuando sen A =
sen B = sen C.
Soluci
on 2.86 La desigualdad (lm + mn + nl)(l + m + n) a2 l + b2 m + c2 n
es equivalente a
l2 + m2 c2 m2 + n2 a2 n2 + l2 b2
+
+
+30
lm
mn
ln
3
cos AP B + cos BP C + cos CP A + 0.
2
Ahora, use el hecho que cos + cos + cos +
2 cos
+ cos
2
2
2
+ sen
3
2
2
0 es equivalente a
0.
Soluci
on 2.87 Considere el punto de Fermat F y sean p1 = F A, p2 =
F B y p3 = F C, entonces observe primero que (ABC) = 21 (p1 p2 + p2 p3 +
a2 +b2 +c2 =
3
en,
4 (p1 p2 + p2 p3 + p3 p1 ). Tambi
2p21 +2p22 +2p23 2p1 p2 cos 120 2p2 p3 cos 120 2p3 p1 cos 120
p3 p1 )sen 120 =
4
p3 p1 ) = 3 3 3(ABC) . Luego, a2 + b2 + c2 4 3(ABC).
M
as a
un, la igualdad a2 +b2 +c2 4 3(ABC) se cumple cuando p21 +p22 +p23 =
p1 p2 + p2 p3 + p3 p1 , es decir, cuando p1 = p2 = p3 y el triangulo es equilatero.
185
Soluci
on 2.88 Sean a, b, c las longitudes de los lados del triangulo ABC.
Defina, al igual que en el ejercicio anterior, sean p1 = F A, p2 = F B y p3 = F C.
Recuerde que, por la solucion del ejercicio anterior, se tiene
4 3(ABC) = 3(p1 p2 + p2 p3 + p3 p1 ).
Luego, lo u
nico 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 p21 +p22 +p23 que es un resultado
conocido, ver ejercicio 1.27.
Soluci
on 2.89 Como en el problema de Fermat, hay dos casos, cuando ABC
tiene todos sus
angulos menores a 120 o cuando hay un angulo mayor de 120 .
En el primer caso el mnimo de P A + P B + P C es CC , donde C es la imagen
de A, al rotar la figura con centro en B un angulo de 60 y en direccion positiva.
Por la ley de los cosenos se tiene que
(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
186
Llame Q a la interseccion de BP con el circuncrculo del triangulo ABC, luego, se tiene B1 A1 C1 = QCP . En efecto, como P B1 CA1 es un cuadrilatero
cclico se tiene que B1 CP = B1 A1 P . Analogamente, C1 BP = C1 A1 P .
Entonces, B1 A1 C1 = B1 A1 P + C1 A1 P = B1 CP + C1 BP , pero
C1 BP = ABQ = ACQ. Por lo tanto, B1 A1 C1 = B1 CP + ACQ =
QCP .
Otra vez, la ley de los senos garantiza que
sen QCP
sen BQC
PQ
PC .
C1
B1
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
La u
ltima igualdad se da ya que la potencia del punto P , con respecto al
circuncrculo de ABC, es P B P Q = R2 OP 2 y el area del triangulo ABC
est
a dada por (ABC) = 2R2 sen A sen B sen C. Luego, (A1 B1 C1 ) es maxima
cuando P = O, es decir, cuando A1 B1 C1 es el triangulo medial.
4.3.
187
Soluci
on 3.1 Considere a = A1 A2 , b = A1 A3 y c = A1 A4 y aplique el
teorema de Ptolomeo al cuadril
atero A1 A3 A4 A5 para tener que ab + ac = bc,
a
a
o equivalentemente que b + c = 1.
B1 B2
A1 A2
Como los tri
angulos A1 A2 A3 y B1 B2 B3 son semejantes B
= A
= ab y
1 B3
1 A3
2
a2
C
alogamente C1 C2 = ac . Por lo que SBS+S
=
b . An
A
2
2
2
(b+c)
b +c
1
(b+c)2 > 2(b+c)2 = 2 . La tercera igualdad se sigue
de aqu se obtiene B1 B2 =
a2
b2
2 2
2 2
b
+ ac2 = a cb2+a
=
c2
de ab + ac = bc y la desigualdad por la desigualdad (1.11). La desigualdad es
estricta ya que b 6= c.
2
2
2
2
2
Note que, ab2 + ac2 = ab + ac 2 abc = 1 2 abc .
Ley de los senos aplicada al tri
angulo A1 A3 A4 lleva a que
a2
bc
sen 2 7
sen 2 7
4 =
2
2
sen 2
2sen 2
7 sen 7
7 sen 7 cos 7
sen 2 7
sen 2 7
=
2
2
2
2(1 cos2 2
2 cos 2
7 ) cos 7
7 (1 + cos 7 )(1 cos 7 )
=
>
sen 2 7
1
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 4 (1 + cos 4 )
2
4 (1 + )
2
Luego
a2
b2
a2
c2
2
= 1 2 abc < 1 ( 2 1) = 2 2.
Soluci
on 3.2 Corte el tetraedro por las aristas DA, DB, DC y desdoblelo
en el plano del tri
angulo ABC. Las caras ABD, BCD y CAD tendran por
imagen a los tri
angulos ABD1 , BCD2 y CAD3 . Vea que D1 , B y D2 son
colineales as como tambien lo son D3 , A y D1 , y que B y A son puntos medios
de D1 D2 y D3 D1 , respectivamente. Luego, AB = 21 D2 D3 y por la desigualdad
del triangulo D2 D3 CD3 + CD2 = 2CD. Por lo tanto AB CD, como se
quera.
Soluci
on 3.3 Sea S el
area del triangulo entonces se tienen las siguientes
2S
S
2S
,
sen
= 2S
formulas sen = 2S
bc
ca , sen = ab , y r = s = a+b+c . Use estas
formulas para obtener que la desigualdad a probar es equivalente a
a
b
c
+
+
(a + b + c) 9,
bc ca ab
188
El
area de los gajos es igual a (sen + sen + sen ), donde , , son
los
angulos centrales que abren los arcos comunes de los crculos. Es claro que
+ + = 180 . Como la funcion sen x es concava, el mnimo se logra cuando
= = = 3 , lo que implica que los centros de las circunferencias forman
un tri
angulo equil
atero.
Soluci
on 3.5 Sea I el incentro del triangulo ABC y dibuje la recta por I
perpendicular a IC. Sean D , E las interesecciones de esta recta con BC y
CA, respectivamente. Primero pruebe que (CDE) (CD E ) usando que el
area de D DI es mayor que el area de EE I. Para esto observe que uno de los
tri
angulos DD I, EE I queda en el lado opuesto C con respecto a D E , si por
ejemplo, es el tri
angulo D DI entonces este tendra area mayor o igual al area
del tri
angulo EE I, luego la desigualdad se sigue. Ahora, muestre que el area
2r 2
ltimo note que CI = senr C y que D I = cosr C ,
de (CD E ) es sen
C , para esto u
luego
2r 2
1
2r 2
=
(CD E ) = D E CI =
2r 2 .
C
C
2
sen
C
2 sen 2 cos 2
Soluci
on 3.6 La clave esta en notar que 2AX 3(AB + BX), que se puede
deducir aplicando el teorema de Ptolomeo (ejercicio 2.11) al cuadrilatero cclico
189
2 AX.
3
Por lo tanto
3(AB + BC + CD).
Soluci
on 3.7 Tome el tri
angulo A B C de area maxima de entre todos los
triangulos que se pueden formar con tres vertices de los puntos dados; entonces
su area satisface que (A B C ) 1. Construya otro triangulo ABC que tenga
a A B C como tri
angulo medial; este tiene area (ABC) = 4(A B C ) 4. En
ABC se encuentran todos los puntos. En eferto, si alg
un punto Q esta fuera
del triangulo ABC, estar
a en uno de los semiplanos determinados por los lados
y opuesto al semiplano donde est
a el tercer verticie. Por ejemplo, si Q esta en el
semiplano determinado por BC, y opuesto a donde esta A, el triangulo QB C
es de area mayor a A B C , lo cual es una contradiccion.
Soluci
on 3.8 Sea M = 1 + 21 + + n1 . Queremos probar que M es el valor
mnimo deseado, resultado que se alcanza si hacemos x1 = x2 = = xn = 1.
Usando
la desigualdad M GM A, se tiene que xkk +(k 1) = xkk +1+ +1
q
k
x1 +
x22 x33
xn
1
n1
+ + + n x1 +x2 + +xn
= x1 +x2 + +xn n+M.
2
3
n
2
n
Por otro lado, la desigualdad entre la media armonica y la media aritmetica nos
lleva a
n
x1 + x2 + + xn
1
1
1 = 1.
n
x + x + + xn
1
X xjj
X
1
X1
P 1
1
.
(x1 x2 ...xn ) j
j
j
j
190
q
P 1
La u
ltima desigualdad se sigue de n n x11 x1n
xj = n.
Soluci
on 3.9 Note que AF E y BDC son triangulos equilateros. Sean C y
F puntos fuera del hexagono y de manera que ABC y DEF sean tambien
tri
angulos equil
ateros. Como BE es la mediatriz del segmento AD, se sigue que
Soluci
on 3.11 El lado izquierdo de la desigualdad se sigue de que
p
1
1 + x0 + x1 + + xi1 xi + + xn (1 + x0 + + xn ) = 1.
2
1 + x0 + + xi1 xi + + xn =
1 + sen i1 1 sen i1
= cos i1 .
P sen i sen i1
cos i1
< 2 . Pero
i i+1
i + i+1
sen
< (cos i1 )(i i1 ).
2
2
<
i i1 = n 0 =
.
2
Pn
Pn
Pn
2
2
Soluci
i=1 xi = 1 entonces 1 = ( i=1 xi ) =
i=1 xi +
P on 3.12 Si
2 i<j xi xj . Por lo tanto, la desigualdad que se pide demostrar es equivalente
a
n
X
1
x2i
.
n1
1 ai
i=1
191
1 ai
i=1
i=1
i=1
P
Soluci
on 3.13 Note primero que ni=1 xn+1 (xn+1 xi ) = (n 1)x2n+1 .
La desigualdad a demostrar se reduce a
n p
X
i=1
xi (xn+1 xi )
n 1xn+1 .
2
w2 + x2 + y 2 + z 2 = 1.
Tambien puede usar la desigualdad de Cauchy-Schwarz para obtener
|wx + xy + yz + zw|2 (w2 + x2 + y 2 + z 2 )(x2 + y 2 + z 2 + w2 ) = 1.
Soluci
on 3.16 Para la desigualdad de la izquierda, reacomode as
an + a2 a1 + a3
an1 + a1
a1 a2 a3 a2
a1 an
+
++
=
+
+
+
++
+ ,
a1
a2
an
a2 a1 a2 a3
an a1
ahora utilice que xy + xy 2.
+a1
2
3
4
Llame Sn = ana+a
. Pruebe por induccion que
+ a1a+a
+ a2a+a
+ + an1
an
1
2
3
Sn 3n.
c+a
a+b
Primero para n = 3, se necesita ver que b+c
a + b + c 9. Si a = b = c,
c+a
a+b
entonces b+c
a + b + c = 6 y la desigualdad es cierta. Suponga ahora que
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
Soluci
on 3.18 Primero, observe que AY 2R y que ha AX, donde ha is
la longitud de la altura sobre BC. Luego, deduzca que
X
la
sen 2 A
AX
AY sen 2 A
X
ha
2R sen 2 A
X ha
1
sen A
=
como
a sen A
a
2R
r
hb
hc
ha
3
3
a sen A b sen B c sen C
3
X
A.
2
n+1
o
est
a
n
entre
Suponga ahora que n+1
2
2
B y A, ya que en caso contrario A
n+1
o B estaran en el intervalo n+1
,
2
2 . Luego, uno de los valores |A| o |B|
n+1
es menor o igual a 2 y termina el problema.
n+1
Suponga por lo tanto, B n+1
2 < 2 A.
Sea y1 , ..., yn una permutacion de x1 , ..., xn tal que 1y1 + 2y2 + + nyn = C
toma el valor m
as grande con C n+1
2 . Tome i tal que y1 y2 yi
y yi > yi+1 , y considere
D = y1 + 2y2 + + iyi+1 + (i + 1)yi + (i + 2)yi+2 + + nyn
194
Soluci
on 3.20 Entre los n
umeros x,
y, z dos tienen el mismo signo (suponga
y
x
que son x y y), como c = z y + x es positivo, z es positivo.
2yz
2zx
Note que a + b c = 2xy
z , b + c a = x , c + a b = y son positivos.
Recprocamente, si u = a + b c, v = b + c a y w = c + a b son
2yz
2zx
positivos entonces haciendo u = 2xy
z , v = x , w = y , podemos obtener que
y
z
a = u+w
2 = x z + y , etc.
Soluci
on 3.21 Primero vea que un hexagono ABCDEF centralmente simetrico tiene lados opuestos paralelos. Esto garantiza que (ACE) = (BDF ) =
(ABCDEF )
. Ahora, si reflejamos los vertices del triangulo P QR con respecto al
2
centro de simetra del hexagono, obtenemos los puntos P , Q , R que forman
el hex
agono centralmente simetrico P R QP RQ , inscrito en ABCDEF y de
area 2(P QR).
P
P
Soluci
on 3.22 Sean X = 4i=1 x3i , Xi = X x3i ; es claro que X = 13 4i=1 Xi .
p
Por la desigualdad M G M A, 31 X1 3 x32 x33 x34 = x11 ; analogamente, para los
P
otros ndices y esto implica que X 4i=1 x1i .
Por la desigualdad de Tchebyshev se obtiene
x2 + x22 + x23 + x24 x1 + x2 + x3 + x4
x31 + x32 + x33 + x34
1
4
4
4
p
x2 +x2 +x2 +x2
Gracias a la desigualdadPM GM A se tienen 1 2 4 3 4 4 (x1 x2 x3 x4 )2 =
1 y por lo tanto, X i=1 xi .
Soluci
on 3.23 Use la desigualdad de Cauchy-Schwarz con u =
x, y, z .
yv=
Soluci
on 3.24 Si = ACM y = BDM , entonces
M AM B
M CM D
x1
,
x
y1
z1
,
y
z
= tan
tan
,
Ahora, use el hecho de que tan tan tan tan3 ++
y + =
3
donde =
Podemos utilizar otro metodo
el cual usa el hecho de que la desigualdades
equivalente a (M CD) 3 3(M AB) que a su vez es equivalente a h+l
h 3 3,
donde l es la longitud del lado del cuadrado y h es la longitud de la altura desde
M sobre AB. Ahora, encuentre la maxima h.
4.
4.
L
PM
N
Soluci
on 3.25 Primero note que PAL
+ BM
+ PCN
= 1. Ahora, use el hecho de
que AL, BM y CN son menores que a.
QC
QA
PB
PA
= 1.
QC
QA
1
4
PB
PA
QC
QA
195
2
bG
esto
AQG y CQC son semejantes, entonces PP B
A = AG y QA = AG . Use
R2 P Q
OP OQ
OA1
OA OA1 OA1
OA
y+z
donde x, y, z denotan las
areas de los triangulos OBC, OCA y OAB, respectivamente. An
alogamente, se tiene que
BB1
CC1
x+y+z
x+y+z
y
.
=
=
OB1
z+x
OC1
x+y
Luego,
BB1 CC1
AA1
+
+
= (x + y + z)
OA1
OB1 OC1
7
Vea [6], p
ag. 132 o [9], p
ag. 112.
1
1
1
+
+
y+z z+x x+y
9
.
2
196
Para la u
ltima desigualdad, vea el ejercicio 1.44.
Soluci
on 3.28 Note que el area del triangulo GBC es, (GBC) =
2(ABC)
aGL
. Analogamente, GN = 2(ABC)
.
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)
2
(ABC) c2
94R2
a
y (GM N ) = (ABC)
. Por lo tanto,
94R2
(LM N )
1 a2 + b2 + c2
R2 OG2
=
.
=
(ABC)
9
4R2
4R2
An
alogamente, (GLM ) =
= > .
2
2
(ABC)
4R
4R
9
27
Soluci
on 3.29 La funcion f (x) =
f (ab) + f (bc) + f (ca)
3
1
1+x
= ,
3 + a2 + b2 + c2
2
la u
ltima desigualdad se sigue de que ab + bc + ca a2 + b2 + c2 .
Tambien se puede partir de
1
1
1
9
9
3
+
+
= .
2
2
2
1 + ab 1 + bc 1 + ca
3 + ab + bc + ca
3+a +b +c
2
La primera desigualdad se sigue de la desigualdad (1.11) y la segunda se sigue
del ejercicio 1.27.
Soluci
on 3.30 Defina x = b + 2c, y = c + 2a, z = a + 2b. La desigualdad
deseada se transforma en
y
y z
x y
x
z x
z
+3
+
+
+
+ +
+
+
15,
y
x
z y
x z
x y
z
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). Solo falta
probar la desigualdad (a + b + c)2 3(ab + bc + ca), que es una consecuencia
de la desigualdad de Cauchy-Schwarz.
Soluci
on 3.31 Utilice la desigualdad (1.11) o bien utilice la desigualdad de
Cauchy-Schwarz
con
a , b , c , d
y ( a + b, b + c, c + d, d + a).
a+b
b+c
c+d
d+a
Soluci
on 3.32 Sean x = b + c a, y = c + a b y z = a + b c. La semejanza
entre los tri
angulos ADE y ABC nos da que
permetro de ADE
2x
DE
=
=
.
a
permetro de ABC
a+b+c
x(y+z)
, es decir, la desigualdad es equivalente a ver que
Luego, DE = x+y+z
x+y+z
. Utilice la desigualdad M G M A.
4
x(y+z)
x+y+z
Soluci
on 3.33 Tome F sobre AD con AF = BC y defina E el punto de
intersecci
on de BF con AC. Use la ley de los senos en los triangulos AE F ,
=
=
=
EC
sen E
BC sen B
sen B
FD
EC
entonces, E = E.
Considere despues, a G sobre BD con BG = AD y a H la interseccion de GE
con la paralela a BC por A. Use que los triangulos ECG y EAH son semejantes,
y el teorema de Menelao en el triangulo CAD, con transversal EF B, para
concluir que AH = DB. Tendr
a ahora que BDAH es un paralelogramo, que
BH = AD y que BHG es isosceles con BH = BG = AD > BE.
Soluci
on 3.34 Observe que ab + bc + ca 3abc si y solo si
Como
1 1 1
(a + b + c)
+ +
9,
a b
c
1
a
1
b
1
c
3.
198
xi
n1 ,
1
1
1
+
+ +
> n 1.
1 + y1 1 + y2
1 + yn
Luego
1
1 + yi
>
X
j6=i
1
1 + yj
s
(n 1) n1
X
j6=i
yj
1 + yj
y1 yi yn
,
(1 + y1 ) (1\
+ yi ) (1 + yn )
1
y1 yn
,
> (n 1)n
1 + yi
(1 + y1 ) (1 + yn )
y esto u
ltimo lleva a que 1 > x1 xn , que es una contradiccion.
Soluci
la desigualdad de Cauchy-Schwarz con las colecciones
q on 3.36
q Use
x1
xn
para garantizar que
x
y
,
.
.
.
,
x
y
y
,
.
.
.
,
1
1
n
n
y1
yn
r
2
r
x1
xn
(x1 + + xn ) =
x1 y 1 + +
xn y n
y1
yn
xn
x1
+ +
(x1 y1 + + xn yn ) .
y1
yn
P
P
Ahora use la condicion
xi y i
xi . Tambien puede resolverse usando la
desigualdad u
til (1.11).
2
199
Soluci
on 3.37 Como abc = 1, tenemos que (a 1)(b 1)(c 1) = a + b +
alogamente,
c ( a1 + 1b + 1c ). An
1
1
1
n
n
n
n
n
n
+
+
(a 1)(b 1)(c 1) = a + b + c
.
an bn cn
La afirmacion se sigue del hecho de que el lado izquierdo de cada una de las
identidades tiene el mismo mismo signo.
Soluci
on 3.38 Haga la demostracion por induccion en n. El caso n = 1 es
claro. Suponga el resultado cierto para n y vea que es valida la desigualdad para
n + 1.
Como se tiene que n < n2 + i < n + 1, para i = 1, 2, ..., 2n, sucede que
s
2
o p
np
i
i
2
2
2
n +i = n +in < n +i+
n=
.
2n
2n
Luego
(n+1)2 n
n2 n p o
2n
X
X np o X
p o n2 1
1 X
j =
j +
j
i
+
2
2n
2
(n+1)2
j=1
j=1
j=n +1
i=1
(n + 1) 1
.
2
2
2 ,
implica que
3
x2 + y 2 (x3 + y 3 )2/3 2 < (x3 + y 3 )2/3 (x3 + y 3 )1/3 = x3 + y 3 .
Luego x2 x3 < y 3 y 2 y 4 y 3 . La u
ltima desigualdad se debe al hecho
2
2
que y (y 1) 0.
Segunda Soluci
on. Como (y 1)2 0, se tiene que 2y y 2 + 1, luego
3
4
2
2y y + y . Luego, x3 + y 3 x3 + y 4 + y 2 y 3 x2 + y 2 , ya que
x3 + y 4 x2 + y 3 .
Soluci
on 3.40 La desigualdad es equivalente a
(x0 x1 ) +
1
1
+ (x1 x2 ) + + (xn1 xn ) +
2n.
(x0 x1 )
(xn1 xn )
200
Soluci
on 3.41 Como
que
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 u
ltima desigualdad, use la desigualdad del reacomodo
o la desigualdad de Tchebyshev.
Soluci
on 3.43 Sea E la interseccion de AC y BD. Los triangulos ABE y
DCE son semejantes, entonces
|AB|
|AB CD|
=
.
|AC BD|
|AE EB|
|AB|
Usando la desigualdad del triangulo en ABE, se tiene que |AEEB|
1 y
concluya entonces que |AB CD| |AC BD|. Analogamente, |ADBC|
|AC BD|.
Soluci
on 3.44 Muestre, que siempre se tiene que a1 + +aj j(j+1)
2n an , para
j n, de la siguiente forma. Primero pruebe que la desigualdad es valida para
j = n, es decir, a1 + + an n+1
2 an ; use el hecho de que 2(a1 + + an ) =
a1 ++aj
(a1 + an1 ) + + (an1 + a1 ) + 2an . Luego, pruebe que si bj = 1++j
,
an
entonces b1 b2 bn n (para probar por induccion que bj bj+1 ,
aj+1
, lo cual se sigue de la primera parte para
necesitamos probar que, bj j+1
n = j + 1).
Damos otra demostracion de a1 + + aj j(j+1)
2n an , nuevamente usando
inducci
on. Es claro que
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
aj
a2
(j+1) a1 +
+ +
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
u
ltimo paso de la prueba por induccion.
Ahora,
an
a2
+ +
a1 +
2
n
n1
X
1
(a1 + + an ) +
n
j=1
1
n
n(n + 1)
an
2n
n1
X
j=1
1
1
j
j+1
(a1 + + aj )
j(j + 1)
1
an = an .
j(j + 1) 2n
202
Soluci
on 3.45
1in
xi
1in
= 8
= 8
x2i + 2
1in
1in
1i<jn
1i<jn
x2i 2
x2i
xi xj
1i<jn
1i<jn
xi xj (x21
xi xj
xi xj
+ + x2n )
xi xj (x2i + x2j ).
1i<jn
Soluci
on 3.46 Sea 3 a = x y 3 b = y, necesita mostrar que (x2 + y 2 )3
2(x3 + y 3 )2 , para x, y > 0.
Por la desigualdad M G M A tenemos
3x4 y 2 x6 + x3 y 3 + x3 y 3
y
3x2 y 4 y 6 + x3 y 3 + x3 y 3 ,
con igualdad si y s
olo si x6 = x3 y 3 = y 6 o, equivalentemente, si y solo si x = y.
Sumando estas dos desigualdades y sumando x6 + y 6 a ambos lados, obtendra
x6 + y 6 + 3x2 y 2 (x2 + y 2 ) 2(x6 + y 6 + 2x3 y 3 ).
La igualdad ocurre cuando x = y, esto es, cuando a = b.
Soluci
on 3.47 Denote por S el lado izquierdo de la desigualdad. Como a
b c y x y z, por la desigualdad del reacomodo obtiene bz + cy by + cz,
entonces
(by + cz)(bz + cy) (by + cz)2 2((by)2 + (cz)2 ).
203
a2 x2
=
.
(by + cz)(bz + cy)
2((by)2 + (cz)2 )
2( + )
Sumando las otras dos desigualdades similares, obtendra
1
+
+
.
S
2 + + +
Para terminar la demostracion use la desigualdad de Nesbitt.
Soluci
on 3.48 Si XM es una mediana en el triangulo XY Z, entonces,
como resultado de utilizar el teorema de Stewart, XM 2 = 12 XY 2 + 12 XZ 2
1
2
4 Y Z . Sustituya (X, Y, Z, M ) por (A, B, C, P ), (B, C, D, Q), (C, D, A, R) y
(D, A, B, S) en esta formula y sumando las cuatro ecuaciones obtenidas, se
tiene una quinta ecuacion. Multiplicando ambos lados de la quinta ecuacion
por 4, encontrar
a que el lado izquierdo de la desigualdad deseada es igual a
2
2
AB + BC + CD2 + DA2 + 4(AC 2 + BD2 ). Luego, es suficiente mostrar que
AC 2 + BD2 AB 2 + BC 2 + CD2 + DA2 . Esta desigualdad es conocida como
la desigualdad del paralelogramo. Para demostrarla, sea O un punto arbitrario
en el plano y, para cada punto X sea x el vector de O a X. Desarrolle cada
uno de los terminos en AB 2 + BC 2 + CD2 + DA2 AC 2 BD2 , por ejemplo,
escribiendo
AB 2 = |a b|2 = |a|2 2a b + |b|2
y encontrar
a que esta expresion es igual a
|a|2 + |b|2 + |c|2 + |d|2 2(a b + b c + c d + d a a c b d)
= |a + c b d|2 0,
con igualdad si y s
olo si a + c = b + d, esto es, si el cuadrilatero ABCD es un
paralelogramo.
Soluci
on 3.49 Defina A = x2 + y 2 + z 2 , B = xy + yz + zx, C = x2 y 2 + y 2 z 2 +
z 2 x2 , D = xyz. Entonces 1 = A + 2B, B 2 = C + 2xyz(x + y + z) = C + 2D, y
x4 + y 4 + z 4 = A2 2C = 4B 2 4B + 1 2C = 2C 4B + 8D + 1. Entonces,
la expresion del centro es igual a
3 2A + (2C 4B + 8D + 1) = 2 + 2C + 8D 2,
con igualdad si y s
olo si dos de las variables x, y, z son cero.
204
b =
y
z
, c =
z
x.
La desigualdad es
x z
y
1,
1+
z
x
x
p
(a + b)(a + c) = a(a + b + c) + bc 2 abc(a + b + c).
Segunda Soluci
on. Defina x = a + b, y = a + b, z = b + c, tendra que x, y, z
son las longitudes de los lados del triangulo XY Z, ya que a, b, c son positivos.
Entonces, por la formula del area del triangulo de la seccion 2.2 la desigualdad
es equivalente a xy
area del triangulo con lados
2 (XY Z) . Ahora, use que el
.
de longitud x, y, z es menor o igual a xy
2
Soluci
on 3.53 Como xi 0, entonces xi 1 1. Luego, puede usar la
desigualdad de Bernoulli para toda i, y obtener
(1 + (xi 1))i 1 + i(xi 1).
205
Soluci
on 3.55 Si muestra que a2a+8bc a4/3 +ba4/3 +c4/3 , sera claro como
obtener el resultado. Esta u
ltima desigualdad es equivalente a
4/3
4/3 2
a4/3 + b + c
a2/3 (a2 + 8bc).
Aplique la desigualdad M G M A en cada factor de
2 4/3
4/3
4/3 2
4/3
4/3
4/3
.
a4/3 + b + c
a4/3 + a4/3 + b + c
a4/3 = b + c
4 x
1
b + c
. Aplicando
y
z
ax+by+cz
2
c + 8ab (antes multiplique por un
a
b
c
1
+
+
.
a2 + 8bc
b2 + 8ca
c2 + 8ab
a3 + b3 + c3 + 24abc
ai bi
x1
x2
xn
+
+ +
n
2
2
2
2
2
1 + x 1 1 + x1 + x2
1 + x1 + + x n
qX
Soluci
on 3.56 Utilizando la desigualdad de Cauchy-Schwarz
con ai = 1, bi = 1+x2 +xx2i++x2 , se tiene que
1
1
.
x21
qP
a2i
qP
b2i .
x21
1+x21
b2i ,
206
x2i
(1 + x21 + + x2i )2
x2i
(1 + x21 + + x2i1 )(1 + x21 + + x2i )
1
1
.
(1 + x21 + + x2i1 ) (1 + x21 + + x2i )
x2
1
Para i = 1, use que b21 1+x1 2 = 1 1+x
2.
1
1
Sume las desigualdades, la suma de la derecha es telescopica, por lo que,
2
n
X
X
1
xi
2
1
< 1.
bi =
2
2
2
2
1
+
x
+
+
x
1
+
x
+
+
x
n
1
1
i
i=1
Soluci
on 3.57 Como solo existen dos valores posibles para , , , los tres
deben ser iguales, o dos iguales y uno diferente de los otros dos. Por lo tanto,
hay dos casos a considerar.
(1) = = . En este caso, se tiene que a + b + c = 0, y por lo tanto
3
3
2
2
a + b3 (a + b)3
a + b3 + c3
=
abc
ab(a + b)
2
3ab 2
(a + b)2 a2 + ab b2
=
= 9.
=
ab
ab
(2) Sin perdida de generalidad, puede suponer que = , 6= , entonces
c=a+b y
a3 + b3 + c3
abc
=
=
a3 + b3 + (a + b)3
(a + b)2 + a2 ab + b2
=
ab(a + b)
ab
2
2
a b
2a + 2b + ab
=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
3 . Luego,
a+b+c
3
3
XY
Soluci
on 3.59 La desigualdad es equivalente a a4 +b4 +c4 a2 bc+b2 ca+c2 ab,
que se sigue directamente del teorema de Muirhead, ya que [4, 0, 0] [2, 1, 1].
Segunda Soluci
on.
b3
c3
a3
+
+
bc ca ab
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
=
Soluci
on 3.61
1
a
+
b+c 2
1
b
+
c+a 2
1
c
+
a+b 2
Soluci
on 3.62 La desigualdad del problema es equivalente a la siguiente desigualdad
(a + b c)(a + b + c) (b + c a)(b + c + a) (c + a b)(c + a + b)
+
+
9,
c2
a2
b2
2
(b+c)
(c+a)
12. Como (a + b)2
la cual a su vez es equivalente a (a+b)
c2 + a2 + b2
4ab, (b + c)2 4bc y (c + a)2 4ca, se tiene que
r
(a + b)2 (b + c)2 (c + a)2
4ab 4bc 4ca
3 (ab)(bc)(ca)
+
+
2 + 2 + 2 12
= 12.
2
2
2
c
a
b
c
a
b
c2 a2 b2
208
Soluci
on 3.63 Por la desigualdad M G M A, x2 + x + x 3x. Sumando
Soluci
on 3.64 Multiplicando por abc la igualdad 1 = a1 + 1b + 1c , se tiene
q
q
p ca
bc
abc = ab
c + ab
+
c
a +
b . Entonces, es suficiente demostrar que
q ab
c+ c . Elevando al cuadrado la u
ltima desigualdad es equivalente a c+ab
ab
c + c + 2 ab o c + ab c + ab(1 a1 1b ) + 2 ab o a + b 2 ab.
Soluci
on 3.65 Como (1 a)(1 b)(1 c) = 1 (a + b + c) + ab + bc + ca abc
y como a + b + c = 2, la desigualdad es equivalente a
1
.
27
Pero a < b + c = 2 a implica que a < 1 y, analogamente, b < 1 y c < 1,
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)
Soluci
on 3.66 Es posible construir otro triangulo AA1 M , de lados AA1 , A1 M ,
M A de longitud igual a las medianas ma , mb , mc .
B1
C1
A1
Adem
as, (AA1 M ) = 43 (ABC). Entonces la desigualdad que se tiene que demostrar es,
3
1
1
3
1
+
.
+
ma mb mb mc mc ma
4 (AA1 M )
Ahora, la u
ltima desigualdad sera verdadera si la siguiente desigualdad se satisface para las longitudes de los lados de un triangulo a, b, c y area S, es
decir,
1
1
1
3 3
+
+
,
ab bc ca
4S
4 3S
209
9abc
a+b+c
1
ab
y da =
1
bc ,
1 + ab
1 + bc
1 + bc
1 + ab
+
+
+
(4.8)
1+a
ab + abc
1+b
bc + bcd
1
1
1
1
= (1 + ab)
+
+
+ (1 + bc)
.
1 + a ab + abc
1 + b bc + bcd
Ahora, use la desigualdad
1
x
1
y
4
x+y ,
para obtener
4
4
+ (1 + bc)
(Lado izquierdo) (1 + ab)
1 + a + ab + abc
1 +
b + bc + bcd
1 + ab
1 + bc
= 4
+
1 + a + ab + abc 1 + b + bc + bcd
1 + ab
a + abc
= 4
+
= 4.
1 + a + ab + abc a + ab + abc + abcd
Soluci
on 3.68 Por el teorema de Stewart se tiene que
2 !
1
bc
a
((b + c)2 a2 ) ((b + c)2 a2 ).
=
la2 = bc 1
2
b+c
(b + c)
4
Por la desigualdad de Cauchy-Schwarz se sigue que
(la + lb + lc )2 3(la2 + lb2 + lc2 )
3
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
a n
a
b+
= bn + nbn1 + otros terminos positivos
2
2
n n1
n
> b + ab
bn + an .
2
An
alogamente, ya que a c, se tiene (c + a2 )n > cn + an ; por lo tanto
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 Soluci
on. Recuerde que, a, b, c son las longitudes de los lados de un
tri
angulo si y s
olo si existen n
umeros positivos x, y, z con a = y + z, b = z + x,
c = x + y. Como a + b + c = 1, se tiene que x + y + z = 21 .
Ahora, use la desigualdad de Minkowski
n
X
!1
(xi + yi )
i=1
n
X
i=1
!1
n
X
xm
i
!1
yim
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
An
alogamente, (bn + cn ) n < a +
2x y (cn + an ) n < b +
211
Soluci
on 3.71 Note primero que si restringe las sumas con i < j, entonces
ellas suman la mitad. La suma de la izquierda esta elevada al cuadrado y la
suma de la derecha no, entonces la desigualdad deseada con sumas restringidas
a i < j, tiene (1/3), en lugar de (2/3), en el lado derecho.
Considere las sumas de todos los |xi xj |, con i < j. El termino x1 aparece
en (n 1) terminos con signo negativo, x2 aparece en un termino con signo
positivo y en (n 2) terminos con signo negativo, etc. Entonces, se obtiene que
(n 1)x1 (n 3)x2 (n 5)x3 + (n 1)xn =
(2i 1 n)xi .
(2i 1 n)2 = 4
=
=
=
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
X
X
X
|i j| |xj xj |
(xi xj )2 (i j)2 .
i,j
i,j
i,j
Aqu est
a asegurado que la igualdad se da si y solo si (xi xj ) = r(i j), con
r > 0.
212
P
2 2
(i j)2 = (2n 2) 12 + (2n 4) 22 + + 2 (n 1)2 = n (n6 1) .
i,j
P
P
Bastar
a mostrar que
|i j| |xi xj | = n2
|xi xj |. Para ver que esto
Como
i,j
i,j
u
ltimo sucede, compare el coeficiente de xi en cada lado. En el lado izquierdo
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 coeficiente de xi en el lado derecho es,
X
X
n
n
n(2i n 1)
1+
1 = ((i 1) (n i)) =
.
2
2
2
=
i<j
j>i
Soluci
on 3.72 Sean xn+1 = x1 y xn+2 = x2 . Defina
ai =
xi
xi+1
Es claro que
n
Y
bi = xi + xi+1 + xi+2
ai = 1,
n
X
bi = 3
La desigualdad es equivalente a
n
X
ai
i=1
bi
xi = 3.
i=1
i=1
i=1
n
X
n2
.
3
p
3
n b1 b n
n
n
1
.
3
b1 b n
bi
r
n
n a a
an
n
n2
a1
1
n
=n
=
n
n
b1
bn
3
b1 b n
b1 b n
213
Soluci
on 3.73 Para cualquier a n
umero real positivo a + a1 2, con igualdad
si y solo si a = 1. Como los n
umeros ab, bc y ca son no-negativos, se tiene
1
1
1
2
= (ax + bx + c) a 2 + b + c
P (x)P
x
x
x
1
1
1
2
2
2
2
= a + b + c + ab x +
+ bc x +
+ ca x + 2
x
x
x
a2 + b2 + c2 + 2ab + 2bc + 2ca = (a + b + c)2 = P (1)2 .
La igualdad se tiene si y s
olo si x = 1 o ab = bc = ca = 0, que por la condicion
a > 0, implica que b = c = 0. Consecuentemente, para cualquier n
umero real
positivo x, se tiene
1
P (x)P
(P (1))2 ,
x
con igualdad si y s
olo si x = 1 o b = c = 0.
Segunda Soluci
on. Use la desigualdad de Cauchy-Schwarz para obtener
1
1
1
2
= (ax + bx + c) a 2 + b + c
P (x)P
x
x
x
!2
a 2
b
=
( ax)2 + ( bx)2 + ( c)2
+ ( c)2
+
x
x
!2
a
b
ax
= (a + b + c)2 = (P (1))2 .
+ bx + c c
x
x
Soluci
on 3.74
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
2
2
2
2
2
2abc + a b + a c + b c + b a + c a + c b
4
2
2
2
2
2
2
a b + a c + b c + b a + c a + c b 6abc
La u
ltima desigualdad se sigue del teorema de Muirhead.
Segunda Soluci
on. Use la desigualdad (1.11) y la desigualdad de CauchySchwarz.
214
Soluci
on 3.75 Use la desigualdad M G M A en cada denominador, para
obtener
1
1
1
1
1
1
+
+
+
+
.
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
2
2
2
2
2
2
2
2
1+a +b 1+b +c 1+c +a
3 + 2(a + b + c )
3+23
Soluci
on 3.76 La desigualdad es equivalente a cada una de las siguientes
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
Soluci
on 3.77 Sean O y I el circuncentro y el incentro de un triangulo
acut
angulo ABC, respectivamente. Los puntos O, M , X son colineales y, OCX
y OM C son tri
angulos rectangulos semejantes. De donde se tiene
OM
OC
=
.
OX
OC
OA
Como OC = R = OA, se tiene OM
= OX
OA . Luego, OAM y OXA son semeOM
AM
jantes, entonces AX = R .
Ahora es suficiente mostrar que OM r. Compare los angulos OBM y
IBM . Como ABC es acutangulo, O y I son puntos interiores de ABC.
Ahora, se tiene que OBM = 2 A = 12 (A + B + C) A =
1
B
2 (B + C A) 2 = IBM , donde la desigualdad se sigue ya que
C < A. An
alogamente, se tiene que OCM ICM . Luego, el punto O
es un punto interior de IBC, de donde OM r.
Soluci
on 3.78 Defina a = x2 , b = y 2 , c = z 2 , la desigualdad es equivalente a
x6 + y 6 + z 6 x4 yz + y 4 zx + z 4 xy.
Esto se sigue del teorema de Muirhead, ya que [6, 0, 0] [4, 1, 1].
215
Soluci
on 3.79 Use la desigualdad de Cauchy-Schwarz para ver que xy +
p
z = x y + z z x + z y + z = xy + z(x + y + z) = xy + z.
xy + z + yz + x + zx + y xy + yz + zx + x + y + z.
Soluci
on 3.80 Por el ejemplo 1.4.11, se tiene que
a3 + b3 + c3
(a + b + c)(a2 + b2 + c2 )
.
3
Ahora,
3
a +b +c
a+b+c
3
(a2 + b2 + c2 )
AA1
(ABC)
4R1
AB AC BC
216
(ai + + aj )2 =
1ijn
0ijn
(Si Sj )2 .
(x1 x2 + + (1)
xp )
(xj xi ) +
1i<jp
p
X
x2i ,
(4.9)
i=1
1ijp
ji par
xi xj (p 1)
p
X
x2i .
i=1
2
Esto puede ser obtenido sumando las desigualdades de la forma 4xi x
h j i2(xi +
p1
x2j ), i < j, j i =par (para i impar en la desigualdad, xi aparece 2 veces
y para i par, xi aparece p2 1 veces).
Soluci
on 3.85 Sean x = a + b + c, y = ab + bc + ca, z = abc. Entonces
2
2
a + b + c2 = x2 2y, a2 b2 + b2 c2 + c2 a2 = y 2 2xz, a2 b2 c2 = z 2 , luego, la
217
= (a + b + c)abc = xz,
Laparte (i) del ejercicio 1.90 nos dice que es suficiente probar que (abc)2 + 2
3
3 a2 b2 c2 , pero esto se sigue de la desigualdad M G M A.
Soluci
on 3.86 Escriba
r
r
3 3 1
3 3 1 + 6a2 bc + 6b2 ac + 6c2 ab
+ 6(a + b + c) =
=
3
3
abc
3 abc
3
r
3 3 1 + 3ab(ac + bc) + 3bc(ba + ca) + 3ca(ab + bc)
,
=
3
abc
3
y considere la condicion ab + bc + ca = 1, para obtener
r
3 3 1 + 3ab 3(ab)2 + 3bc 3(bc)2 + 3ca 3(ca)2
=
3
abc
3
r
3 3 4 3((ab)2 + (bc)2 + (ca)2 )
.
=
3
abc
3
218
Es f
acil ver que 3((ab)2 + (bc)2 + (ac)2 ) (ab + bc + ac)2 (use la desigualdad
de Cauchy-Schwarz). Entonces es suficiente probar que
3
3
3
que es equivalente a (abc)2
la desigualdad M G M A
1
27 .
r
3
1
3
,
abc
abc
Pero esta u
ltima desigualdad es inmediata de
(abc)2 = (ab)(bc)(ca)
ab + bc + ca
3
La igualdad se da si y solo si a = b = c =
3
1
.
27
1 .
3
Soluci
on 3.87 Por simetra, es suficiente mostrar que t1 < t2 + t3 . Se tiene
n
X
i=1
n + t1
n
X
1
ti
=n+
ti
i=1
1
1
+
t2 t3
1i<jn
1
+ (t2 + t3 ) +
t1
tj
ti
+
tj
ti
X
(i,j)6=(1,2),(1,3)
tj
ti
+
tj
ti
tj
1
2
1
ti
+
+ 2, para todo i,j.
, t2 + t3 2 t2 t3 , y
t2 t3
tj
ti
t2 t3
2
n
n
X
X
t2 t3
n n
t1
2
1
n+2
+2
2 = 2a+ +n2 4.
+2
ti
n +1 >
ti
t1
2
a
t2 t3
2
i=1
i=1
1 + 1 + (1 + b c)
ab ac
3
a 1+bca
.
=a+
3
3
219
Analogamente,
bc ba
b3 1+ca b+
3
ca cb
3
.
c 1+ab c+
3
Sume estas tres desigualdades, y obtendra que
a 3 1 + b c + b 3 1 + c a + c 3 1 + a b a + b + c = 1.
Soluci
on 3.89 Si alguno de los n
umeros es cero o si un n
umero impar de
n
umeros son negativos, entonces x1 x2 x6 0 y la desigualdad es obvia.
Por lo tanto, u
nicamente podemos tener 2 o 4 n
umeros negativos entre los
n
umeros involucrados en la desigualdad. Supongamos que ninguno de ellos es
cero y que hay dos n
umeros negativos (para el otro caso, cambie el signo de
todos los n
umeros). Si yi = |xi | entonces, es claro que y12 + y22 + + y62 = 6,
y1 + y2 = y3 + + y6 , and that x1 x2 x6 = y1 y2 y6 .
De la desigualdad M G M A se obtiene
y1 + y2 2
y1 y2
= A2 .
2
Ademas, la desigualdad M G M A garantiza que
y3 + y4 + y5 + y6 4
y1 + y2 4
1
y3 y4 y5 y6
=
= 4 A4 .
4
4
2
Por lo tanto, y1 y2 y6 214 A6 .
Por otro lado, la desigualdad de Cauchy-Schwarz implica que,
2(y12 + y22 ) (y1 + y2 )2 = 4A2
4(y32 + y42 + y52 + y62 ) (y3 + y4 + y5 + y6 )2 = 4A2 .
220
a
c
b
a
c2
a2 b2
+
+
b2
c2 a2
c
b
a
b
+
b
c
c
a
q
3 3 abc
bca = 3, luego
a b c
+ +
b c a
q
3 3 abc
bca = 3. Por lo tanto,
a2 b2
a b c
c2
a b c
+
+
+ + + 3+ + + .
b2
c2 a2
c a b
b c a
Sumando
a
c
b
a
c
b
Soluci
on 3.91 Note que
p
(a2 a + 1) + (a + 1) p 2
a2 + 2
=
(a a + 1)(a + 1) = 1 + a3 .
2
2
(a2
b2
c2
1
a2
+ 2
+ 2
.
2
2
+ 2)(b + 2) (b + 2)(c + 2) (c + 2)(a2 + 2)
3
x5 + y 2 + z 2 x3 (x2 + y 2 + z 2 )
x3 (x5 + y 2 + z 2 )(x2 + y 2 + z 2 )
221
Luego
X
x5 x2
x5 + y 2 + z 2
x5 x2
x3 (x2 + y 2 + z 2 )
X
1
1
2
x
x2 + y 2 + z 2
x
X
1
(x2 yz) 0.
x2 + y 2 + z 2
1
x
yz.
Segunda Soluci
on. Primero, observe que
x5 + y 2 + z 2 (x2 + y 2 + z 2 )
x2 + y 2 + z 2
x5 x2
=
=
1
.
x5 + y 2 + z 2
x5 + y 2 + z 2
x5 + y 2 + z 2
Ahora tiene que probar que
1
1
1
3
+
+
2
.
x5 + y 2 + z 2 x5 + z 2 + x2 x5 + x2 + y 2
x + y2 + z2
Usando la desigualdad de Cauchy-Schwarz se obtiene
(x2 + y 2 + z 2 )2 (x2 x3 + y 2 + z 2 )(x2
y como xyz 1 entonces x2
1
x3
1
x
1
+ y2 + z2 )
x3
X yz + y 2 + z 2
X y +z + y 2 + z 2
1
3
2
= 2
.
5
2
2
2
2
2
2
2
2
2
2
x +y +z
(x + y + z )
(x + y + z )
x + y2 + z2
Soluci
on 3.93 Inicie observando que
1
1
1
+
+
+3
(1 + abc)
a(b + 1) b(c + 1) c(a + 1)
=
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
La u
ltima desigualdad se sigue despues de aplicar la desigualdad M G M A
para seis n
umeros.
Soluci
on 3.94 Sea R el circunradio del triangulo ABC. Como BOC = 2A,
COA = 2B y AOB = 2C se tiene que
(ABC) = (BOC) + (COA) + (AOB)
R2
(sen 2A + sen 2B + sen 2C)
2
2A + 2B + 2C
R2
3 sen
2
3
2
2
R
3 3R2
3 sen
.
=
=
2
3
4
=
4
3
33R2
R2
=
=
3 tan
.
4
3
4
3 3R2
(A B C )
(ABC).
4
Soluci
on 3.95 Noteprimero
que a2 + bc 2a2 bc = 2 ab ca. Analoga
223
que
1
1
1
1
+
+
a2 + bc b2 + ca c2 + ab
2
1
1
1
+ +
ab ca
bc ab
ca bc
ab bc ca
ca ab bc
ab ca
bc ab
ca bc
el resultado se concluye.
Soluci
on 3.96 Por la desigualdad de Cauchy-Schwarz se obtiene
2
!2
n
X ai X
X
X
ai = (n 1)
ai aj
ai
= (n 1)2 A2 .
aj
i6=j
i=1
i6=j
i6=j
ai aj =
n
X
ai
i=1
i6=j
!2
n
X
i=1
a2i
= A2 A.
Soluci
on 3.97 Sin perdida de generalidad, suponga que a1 an . Sea
dk = ak+1 ak para k = 1, ..., n. Entonces d = d1 + + dn1 . Para i < j, se
tiene |ai aj | = aj ai = di + + dj1 . Entonces,
s=
X
i<j
|ai aj | =
=
j1
n X
X
j=2 i=1
n
X
j=2
(di + + dj1 )
224
Para ver cu
ando la segunda desigualdad es igualdad, observe que 4k(nk) = n2
k = n k. Si n es impar, la igualdad 4k(n k) = n2 se da u
nicamente
cuando dk = 0, para toda k, por lo tanto, a1 = = an = 0. Si n es par, es
decir, n = 2k, la u
nica dk puede ser distinta de cero y entonces a1 = =
ak ak+1 = = a2k .
Soluci
on 3.98 Considere el polinomio P (t) = tb(t2 b2 ) + bc(b2 c2 ) +
2
ct(c 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 coeficiente de t3 es (b c).
Por lo que
|ab(a2 b2 ) + bc(b2 c2 ) + ca(c2 a2 )| = |P (a)|
= 16 2P.
3 3+
6,
6 2
b=
6
6 2
yc=
63
3.
6 2
Soluci
on 3.99 Para a = 2, b = c = 21 y n 3 la desigualdad no es valida.
225
bastar
a demostrar que x2 (9 2x) 27. Esta
u
ltima desigualdad es a su vez
2
equivalente a (2x + 3)(x 3) 0.
Soluci
on 3.100 Primero use la desigualdad M GM A para ver que ca+c+a
3 2 2
3 c a . 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
Analogamente para los otros dos sumandos; y entonces se tiene
(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).
Soluci
on 3.101 Use la transformacion de Ravi a = x + y, b = y + z, c = z + x,
)3 = 18 . Ademas,
obtendr
a que x + y + z = 32 y xyz ( x+y+z
3
(a2 + b2 + c2 )(a + b + c) + 4abc
4abc
=
3
3
2
2
2
2((y + z) + (z + x) + (x + y) )(x + y + z) + 4(y + z)(z + x)(x + y)
=
3
4
3
= ((x + y + z) xyz)
3
!
3
13
3
1
4
= .
3
2
8
3
a2 + b2 + c2 +
13
3 .
Soluci
on 3.102 Aplique la transformacion de Ravi, a = y + z, b = z + x,
c = x + y, de tal forma que la desigualdad se puede reescribir como
(2z)4
(2x)4
(2y)4
+
+
(z + x)(2x) (x + y)(2y) (y + z)(2z)
(y + z)(z + x) + (z + x)(x + y) + (x + y)(y + z).
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 )
Soluci
on 3.104 Bastara considerar el caso en que x y z. Entonces
x = y a, z = y + b con a, b 0.
Por un lado se tiene que, xz = 1 xy yz = 1 (y a)y y(y + b) =
1 2y 2 + ay by y por otro xz = (y a)(y + b) = y 2 ay + by ab. Al sumar
ambas identidades se tiene que 2xz = 1y 2 ab, luego 2xz1 = y 2 ab 0.
Si 2xz = 1 entonces y = 0 y xz = 1 una contradiccion, luego xz < 21 .
Los n
umeros x = y = n1 y z = 21 (n n1 ), cumplen x y z y xy +yz+zx = 1.
1
Sin embargo, xz = 2n
(n n1 ) = 12 2n1 2 puede estar tan cerca como se desee
de 12 , por lo que el valor 12 no puede mejorarse.
Soluci
on 3.105 Suponga que a = [x] y que r = {x}. Entonces, la desigualdad
es equivalente a
a
2a + r
r
9
a + 2r
+
> .
a
a + 2r
r
2a + r
2
Que se reduce a
Pero como
r
a
a
r
r
a
2
+
a r
a
r
+
a + 2r 2a + r
5
> .
2
227
32
1 1 1
+ +
,
a b
c
a+b+c
3
entonces a+b+c
a+b+c
. Entonces, bastara demostrar que a + b + c
3
2
Como (x + y + z) 3(xy + yz + zx), sucede que
2
(a + b + c)
1 1 1
+ +
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.
Soluci
on 3.108 Para un punto P dentro de ABC, considere el punto Q sobre
la mediatriz de BC tal que AQ = AP. Sea S la interseccion de BP con la
tangente a la circunferencia en Q. Entonces, SP + P C SC, por lo que
BP + P C = BS + SP + P C BS + SC.
Por otro lado, BS + SC BQ + QC, luego BP + P C es mnimo si P = Q.
Sea T el punto medio del segmento M N. Como el triangulo AM Q es isosceles
y M T es una de sus alturas, entonces M T = ZQ donde Z es el pie de la altura
de Q sobre AB. Luego M N + BQ + QC = 2(M T + QC) = 2(ZQ + QC) es
228
+
+
=
+
+
= 1.
x
ha
hb
hc
(ABC) (ABC) (ABC)
Lema 2. Si M N P es un triangulo acutangulo y H es su ortocentro, entonces
HM + HN + HP 2X, donde X es la altura mas grande del triangulo M N P.
Demostraci
on. Suponga que M N P, entonces N P P M M N
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 simetrico de H con respecto a N P ; como M N H P es un
cuadril
atero cclico, 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 .
Soluci
on 3.110 Suponga, sin perdida de generalidad, que x y z. Por lo
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
p
2x2 (y + z)
xy + zx
p
2x2 (y + z)
Ahora, al sumar
obtiene
2x2
p
2x2 (y + z)
X 2x2 + 2yz
p
2x2 (y + z)
229
X 2x2 + xy + zx
p
2x2 (y + z)
X 2x2 + x(y + z)
p
=
2x2 (y + z)
p
X 2 2x3 (y + z)
p
2x2 (y + z)
= 2( x + y + z) = 2.
Segunda Soluci
on. Note primero que,
x2 + yz
p
2x2 (y + z)
=
=
x2 x(y + z) + yz
x(y + z)
p
+p
2
2x (y + z)
2x2 (y + z)
r
y+z
(x y)(x z)
p
+
2
2x2 (y + z)
y+ z
(x y)(x z)
p
+
.
2
2x2 (y + z)
x2 + yz
p
2x2 (y + z)
Luego, bastar
a ver que
X (x y)(x z)
p
+ x + y + z.
2
2x (y + z)
2
Sin perder generalidad, suponga que x y z. Luego (xy)(xz)
0, y
2x (y+z)
(y z)(y x) (z x)(z y)
p
+ p
2y 2 (z + x)
2z 2 (x + y)
= (y z)(x y)
(x z)(y z) (y z)(x y)
p
p
2z 2 (x + y)
2y 2 (z + x)
(x y)(y z) (y z)(x y)
p
p
2z 2 (x + y)
2y 2 (z + x)
!
1
1
p
p
0.
2z 2 (x + y)
2y 2 (z + x)
=
230
La u
ltima desigualdad es consecuencia de y 2 (z + x) = y 2 z + y 2 x yz 2 + z 2 x =
2
z (x + y).
Soluci
on 3.111 Por la desigualdad (1.11)
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 suficiente mostrar que a + b + c 3. Pero se tiene tambien
que (a + b + c)2 = a2 + b2 + c2 + 2(ab + bc + ca) 3(a2 + b2 + c2 ) = 9.
La igualdad se da si y solo si a = b = c = 1.
Soluci
on 3.112 Note primero que
1
2bc
2bc
2bc
a bc
=
=
=
.
a + bc
1 b c + bc
(1 b)(1 c)
(c + a)(a + b)
1
b
+ 1c ) 9.
Soluci
on 3.113 Note que (x y+y z+z x)2 = x2 y+y 2 z+z 2 x+2(xy yz+
yz zx + zx xy).
La desigualdad M G M A garantiza que
por lo que,
p
xyz + xy 2
,
xy yz = xyz xy 2
2
231
Por lo tanto K 2
igualdad con K =
.
2 2
Como para x = y = z, se da la
es el mnimo.
Segunda Soluci
on. Aplique la desigualdad de Cauchy-Schwarz de la siguiente
forma:
p
p
(x + y) (y + z) (z + x)
(x + y + z) (xy + yz + zx)
3 xyz 3 x2 y 2 z 2 = xyz
.
3
3
2
2
2
Soluci
on 3.114 El lado izquierdo de la desigualdad se escribir tambien como
a2 b2 cd+ab2 c2 d+abc2 d2 +a2 bcd2 +a2 bc2 d+ab2 cd2 = abcd(ab+bc+cd+ac+ad+bd).
4
2
2
2 +d2
La desigualdad M G M A garantiza que a2 b2 c2 d2 ( a +b +c
)4 = 14 ,
4
1
. Para ver que el factor (ab + bc + cd + ac + ad + bd) es
por lo que abcd 16
3
menor a 2 se pueden seguir los dos caminos siguientes:
Uno es aplicar la desigualdad de Cauchy-Schwarz para tener que
(ab + bc + cd + ac + ad + bd + ba + cb + dc + ca + da + db)
(a2 + b2 + c2 + d2 + a2 + b2 + c2 + d2 + a2 + b2 + c2 + d2 ) = 3.
El otro consiste en aplicar la desigualdad M G M A como sigue:
(ab + bc + cd + ac + ad + bd)
a2 + b2 b2 + c2 c2 + d2
+
+
2
2
2
a2 + c2 a2 + d2 b2 + d2
3
+
+
= .
2
2
2
2
232
Soluci
on 3.115 (a) Desarrollando los cuadrados y agrupando los terminos se
tiene
(1 + x + y)2 + (1 + y + z)2 + (1 + z + x)2
= 3 + 4(x + y + z) + 2(xy + yz + zx) + 2(x2 + y 2 + z 2 ).
Ahora, aplique la desigualdad M G M A para obtener
(x + y + z) 3 3 xyz 3
p
(xy + yz + zx) 3 3 x2 y 2 z 2 3
p
(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
1 + a (b + c)
3a + 1 abc
3a
=
a2 (b
An
alogamente,
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
Soluci
on 3.117 La desigualdad es equivalente a
1
1
1
(a + b + c)
+
+
k + (a + b + c)k = (a + b + c + 1)k.
a+b b+c c+a
233
=
=
=
a2 + b2 + c2 + 3(ab + bc + ca)
(a + b)(b + c)(c + a)
2
a + b2 + c2 + 2(ab + bc + ca) + (ab + bc + ca)
(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
y como la igualdad se da si y s
olo si abc = 0, se tiene que k = 1 es el valor
maximo.
Soluci
on 3.118 Multiplicando ambos lados de la desigualdad por el factor
(a + b + c), se obtiene la desigualdad equivalente
9(a + b + c)(a2 + b2 + c2 ) + 27abc 4(a + b + c)3 ,
la cual es a su vez equivalente a
5(a3 + b3 + c3 ) + 3abc 3(ab(a + b) + ac(a + c) + bc(b + c)).
Por la desigualdad de Sch
ur con n = 1, ver el ejercicio 2.83 , se sigue que
a3 + b3 + c3 + 3abc ab(a + b) + bc(b + c) + ca(c + a),
y la desigualdad de Muirhead nos dice que 2[3, 0, 0] 2[2, 1, 0], que es equivalente a
4(a3 + b3 + c3 ) 2(ab(a + b) + ac(a + c) + bc(b + c)).
Sume las u
ltimas desigualdades y obtendra el resultado.
1
1
1
4
Soluci
on 3.119 Lema. Si a, b > 0, entonces (ab)
2 + a2 + b2 ab .
Demostraci
on.
(a2 +b2 3ab)2
1
1
1
4
Basta notar que (ab)
.
2 + a2 + b2 ab =
a2 b2 (ab)2
Sin perder generalidad suponga que z = mn{x, y, z}; ahora aplique el lema
con a = (x z) y b = (y z), para tener
1
1
4
1
.
+
+
234
Ahora, ser
a suficiente mostrar que xy + yz + zx (x z)(y z); pero esto es
equivalente a 2z(y + x) z 2 , que es inmediato.
Soluci
on 3.120 Para el caso (i) hay varias maneras de resolverlo.
a
1 f orma. Puede mostrase que
y2
z2
(yz + zx + xy 3)2
x2
+
+
1
=
.
(x 1)2
(y 1)2 (z 1)2
(x 1)2 (y 1)2 (z 1)2
y
x
z
2a f orma. Con la sustitucion a = x1
, b = y1
, c = z1
, la desigualdad
2
2
2
por demostrar es a + b + c 1, y la condicion xyz = 1 es equivalente a
abc = (a 1)(b 1)(c 1) o (ab + bc + ca) + 1 = a + b + c. Con la ayuda de
las identidades anteriores se puede obtener que
= (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 llego a establecer
el caso (i). Por ejemplo, si se demostro de la 2a forma, la igualdad se tiene
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 n
umeros racionales el c sera tambien un n
umero racional), para llegar a
a2 + b2 + ab a b = 0. Esta identidad
se
puede
trabajar como una ecuacion
1a
(1a)(1+3a)
, que seran n
umeros racionales
cuadr
atica en b con races b =
2
k
, entonces
si (1 a) y (1 + 3a) son cuadrados de n
umeros racionales. Si a = m
sucede que m k y m + 3k son cuadrados de n
umeros enteros, por ejemplo, si
m = (k 1)2 + k, es claro que m k = (k 1)2 y m + 3k = (k + 1)2 . Luego,
2 1
k
los n
umeros racionales a = m
, b = mk+k
y c = 1 a b, cuando k varia
2m
en los n
umeros enteros, son n
umeros racionales donde se alcanza la igualdad.
Hay unas excepciones k = 0, 1, ya que los valores a = 0 o 1 no son valores
permitidos.
Notaci
on
N
R
R+
aA
AB
|x|
{x}
[x]
[a, b]
(a, b)
f : [a, b] R
f (x)
f (x)
det A
P
n
Qni=1 ai
Qi=1 ai
i6=j ai
max{a, b, . . . }
mn{a, b, . . . }
los n
umeros enteros positivos (n
umeros naturales)
los n
umeros reales
los n
umeros reales positivos
si y s
olo si
implica
el elemento a pertenece al conjunto A
A es un subconjunto de B
valor absoluto del n
umero real x
la parte fraccionaria de un n
umero real x
la parte entera de un n
umero real x
el conjunto de n
umeros reales x tal que a x b
el conjunto de n
umeros reales x tal que a < x < b
la funcion f definida en [a, b] con valores en R
la derivada de la funcion f (x)
la segunda derivada de la funcion f (x)
el determinante de la matriz A
la suma a1 + a2 + + an
el producto a1 a2 an
el producto para toda a1 , a2 , . . . , an excepto aj
el m
aximo valor entre a, b, . . .
el mnimo valor entre a, b, . . .
la raz del n
umero real positivo x
236
Notaci
on
x
x
exp
Xx = e
f (a, b, . . . )
cclica
x
[b] [a]
n
1 2
n!
n!
!
Bibliografa
238
Bibliography
Indice
Concavidad
Funcion
interpretaci
on geometrica, 30
Convexidad
Funcion
interpretaci
on geometrica, 30
Desigualdad
u
til, 40
Cauchy-Schwarz, 18
a la Engel, 41
de Bernoulli, 36
de Cauchy-Schwarz, 41
forma de Engel, 41
de Euler, 78
de Holder, 32
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 tri
angulo, 3
forma general, 3
Entre medias potenciales, 37
Holder generalizada, 37
Indice
240
Menor que, 2
Problema
de Pompeiu, 62
Fagnano, 102, 108
Fermat-Steiner, 102
Her
on, 106
con crculo, 107
Punto
de Fermat, 103, 105
Recta real, 1
Solucion
de Fejer
Problema de Fagnano, 111
de Hofmann-Gallai
Problema de Fermat-Steiner,
105
de Schwarz
Problema de Fagnano, 110
de Shwarz
Problema de Fagnano, 109
de Steiner
Problema de Fermat-Steiner,
106
Problema Fermat-Steiner, 108
de Torricelli
Problema de Fermat-Steiner,
102
Teorema
de Erdos-Mordell, 9497, 101
de Euler, 77
de Leibniz, 80
de Muirhead, 51, 52
de Pappus, 93
Transformacion
de Ravi, 64, 85
Tri
angulo
ortico, 109, 112
pedal, 114
Valor absoluto, 3