Académique Documents
Professionnel Documents
Culture Documents
1.
Introducci
on
(1)
(2)
1
x2 + y 2 + z 2 > (x + y + z)2 ,
(3)
3
cumpliendose la igualdad en todas ellas y solo si x = y = z.
Por otro lado, observemos que la funcion y = csc x, con derivada positiva
en el interivalo (0, ), es convexa en dicho intervalo, por lo que si trazamos
1
1
1
3
1
+
+
>
= 2 3,
sen C sen A sen B
sen 3
(4)
2.
1p 2 2
2(a b + a2c2 + b2c2 ) (a4 + b4 + c4).
4
Desigualdad de Weitzenb
ock
a2 + b2 + c2 > 4 3S.
La igualdad se cumple si y solo si el triangulo es equilatero. Esta desigualdad
fue puesta tambien como problema en la Olimpiada Matematica Internacional de 1961.
2.1.
Primera demostraci
on
3
3
(a4 + b4 + c4 ) + 2(a2b2 + a2c2 + b2c2 )
> 2(a2 b2 + a2c2 + b2c2 ) (a4 + b4 + c4)
3
(a2 + b2 + c2 )2
> (4S)2 .
3
El resultado se deduce entonces inmediatamente tomando las raices cuadradas
de cada miembro. De la primera igualdad podemos tambien deducir que la
igualdad ocurre si y solo si a = b = c, es decir, si el triangulo es equilatero.
2.2.
Segunda demostraci
on
a2 + b2 + c2 > 4 3S.
2.3.
Tercera demostraci
on
2
2.4.
Cuarta demostraci
on
En solo dos pasos usamos el teorema del coseno, una formula del area y
la formula del coseno de una suma:
a2 + b2 + c2 4 3S
2.5.
Quinta demostraci
on
2.6.
Sexta demostraci
on
2.7.
2S
2S
2S
+
+
> 2S 2 3 = 4 3S.
sen A sen B sen C
S
eptima demostraci
on
s
(s a)(s b)(s c)
r2 =
6
s > 3 3r.
s
27
Ahora hacemos
1
4
a2 + b2 + c2 > (a + b + c)2 = s2 > 4 3sr = 4 3S.
3
3
4
3.
Refinamientos y generalizaciones
3.1.
Octava demostraci
on
Demostremos que
3.2.
A+B +C
3
3 3
= 3 sen =
.
3
2
La desigualdad de Hadwiger-Finsler
B
C
A
+ tan + tan > 3 tan
2
2
2
A
2
B
2
C
2
= 3 tan
= 3.
6
(5)
C
c2 (a b)2
tan =
,
2
4S
Referencias
[1] A. Engel. Problem-Solving Strategies, New York 1998.
[2] P. Finsler y H. Hadwiger, Comment. Math. Helv., 10 1937/38, pags.
316-326.
[3] R. Weitzenbock, Math. Zeitschrift, 5, 1919, pags. 137-146.
[4] www.artofproblemsolving.com Sitio dedicado a la resolucion de problemas.