Miguel Amengual Covas La desigualdad de Euler a partir de otras desigualdades entre elementos de un tringulo.

Este artculo es continuacin del publicado en el nmero 5 (enero-febrero 2003). En esta segunda parte se establecen seis desigualdades geomtricas y dos trigonomtricas, elementales las ocho, de las que se deduce inmediatamente la desigualdad de Euler. Las notaciones que se hacen servir son las habituales para un tringulo ABC .

8.

1 1 1 1 2 = + + r ha hb hc R

Multiplicando miembro a miembro las siguientes desigualdades

a = (s b) + (s c ) 2 b = (s c ) + (s a ) 2 c = (s a ) + ( s b ) 2

(s b)(s c ) (s c )(s a ) (s a )(s b)

resulta

abc 8(s a )(s b)(s c )

que, habida cuenta de la frmula

r 2 s = (s a )(s b )(s c ) , (1) obtenida a partir de la Hern y de la expresin rs para el rea del tringulo,

escribimos equivalentemente en la forma

1 4r . 2rs abc

Multiplicando ambos miembros de esta ltima por

a + b + c = 2s

(2)

obtenemos
a +b + c 4rs 2 2 rs abc 2 = ( pues abc = 4 Rrs R

(3) )

Resta tan slo observar que

1 a b c = + + r 2 rs 2rs 2rs 1 1 1 = + + ha hb hc ( por (2) ) 1 ( rs = aha , etc) 2

para obtener la desigualdad enunciada. Tal desigualdad es equivalente a 9.

1 1 1 1 2 = + + r ra rb rc R

donde ra , rb , rc son los radios de las circunferencias excritas al tringulo ABC . En efecto, a partir de las conocidas relaciones resulta inmediatamente
ra (s a ) = rb (s b) = rc (s c ) = rs

1 1 1 s a sb s c + + = + + ra rb rc rs rs rs 1 = r

10. Tenemos

ra + rb rb + rc rc + ra 4 R 2 r + + = rc ra rb r

ra + rb rb + rc rc + ra ra rb rb rc rc ra + + = r + r + r + r + r +r rc ra rb b a c b a c 2 + 2+ 2 =6

Por otra parte, a partir de las relaciones (2), (3) y ab + bc + ca = r 2 + s 2 + 4Rr y siendo
s a s b + ra + rb rs rs = c = sc rc s c rs

y cclicamente, resulta

ra + rb rb + rc rc + ra c a b + + = + + rc ra rb s c s a s b = =

2 s s 2 2s (r 2 + s 2 + 4 Rr )+ 12 Rrs r2s 4R 2r = r

(a + b + c )s 2 2(ab + bc + ca )s + 3abc (s a )(s b)(s c )

11. Tenemos

9 r ra + rb + rc

9R 2

ra + rb + rc =

rs rs rs + + s a s b s c

1 1 1 = r [( s a ) + (s b) + (s c )] + + s a sb s c r9 ,

que es la primera desigualdad.

La segunda puede escribirse en la forma

rs rs rs 9abc + + s a s b s c 8rs

que es equivalente a
1 1 1 9abc 8r 2 s 2 + + 0 s a sb s c

la cual, en funcin de x = s a > 0 , y = s b > 0 , z = s c > 0 se escribe

1 1 1 9( x + y )( y + z )( z + x ) 8 xyz( x + y + z ) x+ y+ z 0

reducindose a
x 2 y + x 2 z + xy 2 + xz 2 + y 2 z + yz 2 6 xyz 0 .

La validez de esta ltima se establece inmediatamente a partir de la desigualdad entre las medias aritmtica y geomtrica: en efecto,

x 2 y + x 2 z + xy 2 + xz 2 + y 2 z + yz 2 6 6 (x 2 y )(x 2 z )(xy2 )(xz 2 )(y 2 z )(yz 2 ) = 6 xyz

12.

3R a tan

A B C + b tan + c tan 5R 4r 2 2 2

Si expresamos en funcin x = s a > 0 , y = s b > 0 , z = s c > 0 las tangentes de los semingulos as como las longitudes que aparecen, obtenemos
3

(x + y )(y + z )(z + x ) yz (y + z ) (x + y + z )x 4 ( x + y + z )xyz

(x + y )( y + z )(z + x ) 4 4 ( x + y + z ) xyz

xyz x+ y +z

que se reduce a
3( x + y )( y + z )( z + x ) 4 yz ( y + z ) 5( x + y )( y + z )( z + x ) 16 xyz

Una y otra desigualdades son equivalentes a la desigualdad

x 2 y + x 2 z + xy 2 + xz 2 + y 2 z + yz 2 6 xyz 0

que hemos visto anteriormente.

13.

9 r ma + mb + mc

9R 2

Si aplicamos la desigualdad de Cauchy

(ux + vy + wz)2 (u 2 + v 2 + w 2 )(x 2 + y 2 + z 2 )

con u = ma , v = mb , w = mc , x = y = z = 1 y tenemos en cuenta la relacin

3 2 ( a + b 2 + c 2 ) as como la desigualdad a 2 + b 2 + c 2 9 R 2 , la cual 4 a 2 + b2 + c 2 resulta inmediatamente de la frmula OG 2 = R 2 que expresa el 9
2 2 ma + mb + mc2 =

cuadrado de la distancia entre el circuncentro y el baricentro del tringulo, obtenemos

ma + mb + mc 3(a 2 + b 2 + c 2 ) = 9 (a 2 + b 2 + c 2 ) 9 R 4 2

verificndose la igualdad si y slo si el tringulo es equiltero.

Por otra parte, multiplicando miembro a miembro las desigualdades

s( s a ) =

(b + c )2 a 2
4

2(b 2 + c 2 ) a 2 2 = ma , 4

etc., resulta, habida cuenta de (1),

ma mb mc rs 2

y, toda vez que

s = (s a ) + (s b) + (s c ) 33 (s a )( s b )(s c ) = 33 r 2 s
por (1)

o, equivalentemente,
s 2 27r 2

obtenemos
ma + mb + mc 33 ma mb mc 33 rs 2 33 27 r 3 = 9r

verificndose la igualdad si y slo si el tringulo es equiltero.

14.

cos

A B B C C A 2r cos cos 2 2 2 R 2r A B C por su igual 8 sin sin sin , obtenemos R 2 2 2 A B C A B B C CA 8 sin sin sin cos cos cos 2 2 2 2 2 2

Sustituyendo

(4)

equivalente a la propuesta. Siendo sin

A sin A A B C = , etc. y positivos los nmeros cos , cos y cos , A 2 2 2 2 2cos 2 A B C B C A CA B cos + cos cos + cos cos 2 2 2 2 2 2

la desigualdad (4) se escribe equivalentemente

sin Asin B sinC cos

(5) .

Tenemos
cos A B C 1 A B +C A B C cos = cos + cos , 2 2 2 2 2 A B +C 2B cos = cos = sin B 2 2 A B C A+ B +C 2A = cos = cos = sin A 2 2 2

y
cos

de donde se sigue

cos

A B C sin A + sin B cos = 2 2 2

y cclicamente. Para establecer la validez de (5), hacemos servir la desigualdad entre las medias aritmtica y geomtrica en la siguiente:
cos A B C B C A CA B cos + cos cos + cos cos = 2 2 2 2 2 2 sin A + sin B sin B + sin C sin C + sin A = + + 2 2 2 sin A sin B sin B sin C sin C sin A = sin A sin B sin C

15.

9 r ha + hb + hc

9R 2

Tenemos

(ha + hb + hc ) 1 = (ha + hb + hc )
r

1 1 1 + + 9 , ha hb hc

de donde

(ha + hb + h c ) 9r .
Por otra parte, la siguiente desigualdad
a = (s b) + (s c ) 2

(s b ) (s c )

es equivalente a y la escribimos en la forma

a 2 4( s b ) (s c ) 1 1 4 + . sb sc a

Anlogamente,
1 1 4 + s c sa b

1 1 4 + . s a sb c

La suma de estas tres ltimas desigualdades es

1 1 1 1 1 1 + + 2 + + s a sb s c a b c

la cual, despus de multiplicar por el valor S del rea del tringulo se reduce a

ra + rb + rc ha + hb + hc ,

de la que resulta (ver la desigualdad nmero 11)

ha + hb + hc 9R 2

Bibliografa. O. Bottema et al., Geometric Inequalities, Groningen, 1969. DS Mitrinovic et al., Recent Advances in Geometric Inequalities, Kluver Ac. Publishers, The Netherlands, 1989. Mihly Bencze, Problem 2717, Crux Mathematicorum, 29, 2 (2003), 119-120. I.V. Maftei y M. A. Nicolae, Asupra unor relatii de evaluare ntr-un triunghi, Gazeta Matematica, nr. 10/2002, 379-387.

Post Scriptum . Mi inters por las desigualdades geomtricas empez con la invitacin
del profesor Josep Gran i Manlleu de la Universitat Politcnica de Catalunya a que colaborara en la edicin de 1999 del libro Sessions de preparaci per a lolimpada matemtica que edita la Societat Catalana de Matemtiques. La aceptacin me llev a intentar una tarea que, a la hora de la verdad, ha resultado bastante fructfera. Mi reconocimiento y afecto al profesor Gran y a Francisco Bellot Rosado, de Valladolid, catedrtico y editor de esta Revista Escolar de la OIM, como impulsores del olimpismo matemtico en Espaa, as como mi agradecimiento a ambos por haberme dado siempre, con creces, toda la ayuda que les he pedido. Cala Figuera, Mallorca, junio 2003

Revista Escolar de la Olimpada Iberoamericana de Matemtica http://www.campus-oei.org/oim/revistaoim/

Edita: