1

LA DESIGUALDAD DE EULER
A PARTIR DE OTRAS DESIGUALDADES ENTRE ELEMENTOS DE UN
TRI NGULO.

De la identidad ( ) r R R OI 2
2
en la que I y O designan,
respectivamente, el incentro y el circuncentro de un tringulo, R el radio de su
circunferencia circunscrita y r el de su circunferencia inscrita, atribuda a Euler
(1765) toda vez que fue obtenida por W. Chapple (1746), se deduce
inmediatamente la muy conocida desigualdad de Euler
r R 2
verificndose la igualdad si y slo si el tringulo es equiltero.

Esta ubcua desigualdad conserva su carcter emblemtico en el campo de
las desigualdades geomtricas porque es simple pero no por ello trivial. Indica su
prevalencia el hecho de que es equivalente a una larga lista de desigualdades
entre elementos de un tringulo, entre otras, las siguientes (aqu y en todo lo que
sigue las notaciones son las habituales para un tringulo ABC ):

r r h r h r h
h h h h h h r r r r r r
r r
c
r r
b
r r
a
s c s b s a s
C B A
C B A
A C C B B A
R ca bc ab
c b a
c
c b a
b
c b a
a
c b a
b a a c c b b a a c c b
b a a c c b
3
2
1
2
1
2
1
4
9 1 1 1
8
1
2
C
sin
2
B
sin
2
A
sin
4
3
2
sin
2
sin
2
sin
2
3
cos cos cos
4
sin sin
1
sin sin
1
sin sin
1
1 1 1 1
3
2 2 2
2 2 2
2

+ + + +
+ +

+ +
+ +
+ +
+ +

+
+
+
+
+ +


donde
a
r ,
b
r ,
c
r y
a
h ,
b
h ,
c
h son los respectivos radios de las circunferencias
excritas y las alturas de . ABC

2
El propsito de este artculo es establecer determinadas desigualdades
geomtricas y deducir de ellas la desigualdad de Euler.
3
1.
b
c
c
b
r
R
+

Sustituimos R y r en funcin de las longitudes de los lados del tringulo y
obtenemos equivalentemente:
( )( )( )
( )( )( ) b
c
c
b
s
c s b s a s
c s b s a s s
abc
+

4


o sea,
( )( )( ) bc
c b
c s b s a s
abc
2 2
4
+

es decir,
( )( )( )( ) . 4
2 2 2 2
c s b s a s c b c ab +

Si ponemos 0 a s x , 0 b s y i 0 c s z , (geomtricamente,
stos son los segmentos en que los puntos de tangencia de la circunferencia
inscrita dividen los lados del tringulo) esta ltima desigualdad se convierte en

( )( ) ( ) ( ) ( ) [ ]
( )( ) ( ) ( ) ( ) [ ]
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) [ ] ( ) ( ) [ ]
( ) ( ) ( ) ( ) . 0
0 4 4
0 4 4
0 4
4
2 2 2 2
2 2 2 2
2 2 2 2 2 2
2 2 2 2
2 2 2 2
+ + +
+ + + + +
+ + + + + + +
+ + + + + +
+ + + + + +
y x z x z z x y x y
xy y x z x z xz z x y x y
y x xyz z x xyz y x z x z y x z x y
xyz y x z x y x z x z y
xyz y x z x y x z x z y



Se verifica la igualdad si y slo si 0 z x y 0 y x , si y slo si
z y x , si y slo si c b a , si y slo si el tringulo es equiltero.

Para obtener la desigualdad de Euler slo resta aplicar un resultado
elemental: si y son nmeros reales positivos, entonces 2 +

,
verificndose la igualdad si y slo si . Esto es inmediato, pero constituye
un teorema fundamental para las desigualdades.
4
2.
a
h
a
m
r
R

2
(
a
m es la longitud de la mediana relativa al lado a )
Tenemos en cuenta que
( )
4
2
2 2 2
2
a c b
m
a
+
y sucesivamente obtenemos:
( ) [ ]
( )( )( )
( ) [ ]
( )( )( ) ( ) [ ] 0 2 4
2 4
2 4
16
4 4
2 2 2
2 2 2 2 2
2 2 2 2 2
2 2 2 2 2 2
2
2
2 2
+
+


+



a c b c s b s a s s c b
a c b
s
c s b s a s
c b
a c b r c b
m
r
c b
m
r
bc
m a
r
abc
m a Rs
a
rs
m
r
R
h
m
r
R
a
a a
a
a
a
a


Ponemos de nuevo a s x , b s y , c s z y la ltima desigualdad
se convierte en:
( ) ( ) ( ) ( ) ( ) ( ) [ ] 0 2 2 4
2 2 2 2 2
+ + + + + + + + z y y x z x xyz z y x y x z x .

Escribimos el primer miembro de la manera siguiente:

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


y reagrupamos as:

( ) ( ) [ ] ( ) ( ) [ ]
( ) ( ) ( ) ( ) ( ) [ ]
2 2 2 2 2
2 2 2 2
4 4 4
4 4
z y yz y x yz z x yz y x z x x
xy y x z x z xz z x y x y
+ + + + + + +
+ + + + + +


esto es,

( ) ( ) ( ) ( )
( )
2 2 2 2 2 2 2 2 2 3 3 4
2 2 2 2
9 6 6 4 2 2 z y xyz z xy yz x z x y x z x y x x x
y x z x z z x y x y
+ + + + + +
+ + + +


y finalmente,

( ) ( ) ( ) ( ) ( )
2
2 2 2 2 2
3yz xz xy x x y x z x z z x y x y + + + + + +

que es 0 .
5
Hay igualdad si y slo si z y x , es decir, si y slo si el tringulo es
equiltero.

Est claro que
a a
h m y, por tanto, 1
a
a
h
m
. Se concluye pues que r R 2 .
6
3.
a
h
a
w r R 2 (
a
w es la longitud de la bisectriz interior del ngulo
A)

Quedar demostrada si probamos que
( )
a
h a s s r R 2
ya que ( ) ( ) a s s a s bcs
c b
w
a

+

2
.
Expresamos las longitudes que figuran en (1) en funcin de R ,
2
A
i
2
C B
. Tenemos:
( ) ( ) ( )
( ) ( )
,
2
sin
2
cos 2
2
sin 2 1 1
2
cos 2
cos cos
cos cos
sin sin 2 sin
2 2
2 2

,
_

1
]
1

,
_

,
_

+
+

A C B
R
A C B
R
A C B R
C B C B R
C B R C b h
a

,
_

1
]
1

,
_

1
]
1

,
_

,
_

2
sin 4
2
cos
2
sin 4 1
2
sin
2
cos
2
sin 4 1
2
cos
2
cos
2
sin 4 1
2
sin
2
sin 2
2
sin 4 1
2
sin
2
sin
2
sin 8 2
2
A C B A
R
A C B A
R
C B C B A
R
C B A
R
C B A
R R r R


i
( )
2
sin
2
cos
2
cos 2
2
cos sin sin 2
2
cos
2 2
A C B A
R
A
C B R
A
bc a s s

.

Si ponemos x
C B

2
cos y y
A

2
sin , resulta 0 1 > > y x ( x es mayor
que y ya que 0
2
sin
2
sin 2
2
A
sin
2
cos >

C B C B
y x ) y la desigualdad (1) se
escribe

( ) ( )
2 2 2 2 2 2
2 4 4 1 1 2 y x R y xy R y x y R + +
7
( )
2 2 2 2
2 1 1 2 y x y x y +
c


Ponemos z y x , observamos que 0 > z y despus de elevar al cuadrado
obtenemos
( )( )
( ) ( ) ( ) , 0 1 4 8 4
0 1 4 8 4 8
4 4 1 2 1 4
2 2 2 2
4 2 2 3
4 2 2
+ +
+ + +
+ + +
yz z y yz z y y
z zy y z zy
z z z z y y


evidentemente cierta.

Hay igualdad si y slo si
2
1
z y , si y slo si el tringulo es equiltero.

Al ser, obviamente,
a a
h w , tenemos 0
a a
h w y conclumos que
r R 2 .
8
4.
( )
2
2
1
2
1
2
1
2
1
2
1
r
c b a R
+ +

A partir de la expresin
R
abc
S
4
para el rea del tringulo y de la frmula de
Hern, tenemos:

( )( )( )( )
( ) [ ] ( ) [ ] ( )( )
( )
( ) ( ) ( )
,
1 1 1
2
1 1 1
2
2 2 2 2 2 2
2 2
16 1
2 2 2
2 2 2
2
2 2
2
2 2
2
2 2
2 2 2
2 2 2
4 2 2 4 4 2 2 4 4 2 2 4 2 2 2 2 2 2
2 2 2
2 2 2 2 2 2
2 2 2
2
2 2
2
2 2 2 2 2 2
2
2
c b a
c b a
a c c b b a
c b a
c b a
a a c c c c b b b b a a a c c b b a
c b a
ab b a c ab c b a
c b a
b a c c b a
c b a
c b a c b a c b a c b a
c b a
S
R
+ +
+ +
+ +
+ + + + + + +

+ + +

+ + + + + +



lo cual prueba la primera desigualdad.

Para la segunda, usamos la frmula r
c b a
S
+ +

2
junto con la de Hern
y obtenemos:

( )
( )
( )( )( )
( ) ( ) ( )
( )( )( )
( )( ) ( )( ) ( )( )
( ) ( ) ( )
.
1 1 1
1 1 1
1 1 1
16 2
1
2 2 2
2 2 2 2 2 2
2
2
2
c b a
c b c c a b b a c
c b a c b a c b a c b a c b a c b a
c b a c b a c b a
c b a c b a c b a
c b a c b a c b a
c b a
S
c b a
r
+ +

+

+

+ +
+
+ + +
+
+ + +

+ + + +
+ + + + + +

+ + + +
+ +

+ +

La desigualdad de Euler se deduce inmediatamente.



9
5. Si
1
AA ,
1
BB i
1
CC son las bisectrices interiores de un tringulo ABC
( ) AB C CA B BC A
1 1 1
, , y I es el incentro, entonces
r
R
IC
CI
IB
BI
IA
AI 4
8
1 1 1


El teorema de la bisectriz aplicado al tringulo ABA
1
en el cual
c b
ac
BA
+

1
da
a
c b
c b
ac
c
BA
BA
IA
AI +

+

1 1

y de la misma manera,
b
a c
IB
BI +

1
i
c
b a
IC
CI +

1
.

La desigualtad propuesta equivale pues a la siguiente:
r
R
c
b a
b
a c
a
c b 4
8
+

+


La desigualdad de la izquierda, equivalente a ( )( )( ) abc a c c b b a 8 + + + se
cumple para tres nmeros positivos cualesquiera (no necesariamente han de ser
las longitudes de los lados de un tringulo).

Para la desigualdad de la derecha, sustitumos
( )( )( ) c s b s a s
abc
C B A
r
R


2
sin
2
sin
2
sin
1 4


y resulta equivalente a
( )( )( )( )( )( )
2 2 2
c b a c s b s a s a c c b b a + + +

c

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

Si ponemos a s x , b s y , c s z esta ltima se escribe
( ) ( ) ( ) ( )( )( ) 0 2 2 2
2 2 2
+ + + + + + + + + z y x z y x z y x xyz y x x z z y

( ) ( ) ( ) ( ) ( ) [ ] 0 2
2 2 2 2 2 2
+ + + + + + + + + zx yz xy xyz x z x z z y z y y x y x z y x

( ) ( ) ( ) ( ) 0 2
2 2 2 2 2 2
+ + + + + + + zx yz xy xyz x z x z z y z y y x y x

cuyo primer miembro escribimos de la siguiente manera:

10
( ) ( ) ( ) ( ) zx yz xy xyz z y x z z y x z y y x z y x x + + + + + + + 2
2 2 2 2 2 2 2 2 2 2 2 2


o equivalentemente

( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) [ ]
( )( )

+
+ + + + +
+ + + + +
+ + + + + + +
0
2
2 2 2 2
2
2
2 2 2 2 3 2 3 2 3
2 2 2 2 2 2
3 2 3 2 3 2
z y yz x x
x z z y y x xyz y x z x z y z y x
zx yz xy z y x xyz yz zx z xy yz y zx xy x
zx yz xy xyz xyz yz zx z z xy xy yz y yz x zx xy x


Hay igualdad si y slo si z y x , es decir, si y slo si el tringulo es
equiltero.

Tenemos pues la desigualdad
r
R 4
8 , equivalente a la de Euler.
11
6.
R
r C B 2
2
cos
2

.

( ) ( ) ( )( ) ( )( )
( )( )
( )( )
bc
c s b s
a
c b
bc
c s b s
a
a s
a
s
ab
b s a s
ca
a s c s
ab
c s s
ca
b s s
C B C B C B
+

,
_

+

+

2
sin
2
sin
2
cos
2
cos
2
cos


por tanto, si designamos por S el rea de ABC ,

( )( ) ( )( )( ) ( )
( )
( )
( )
( )
( )
( )
( ) a s a
c b
R
r
a s a
c b
abc
S
s
S
a s a
c b
sabc
S
a s a
c b
abc
c s b s a s s
bc
c s b s
a
c b C B

,
_

4
4
4
s 2
cos
2
2 2 2
2 2
2


Entonces,

( )
( )
( )
( )
( ) ( )
( )
( ) ( )
( )
( )
( )
( )
0
4
2
4
4 2 4 4
4
4
4
8
2
4
2
4
2
2
cos
2
2 2 2
2
2
2
2
2

+ + +

+ + +

,
_

a s aR
c b a r
a s a
ca bc ab c b a
R
r
a s a
c b a a c b
R
r
a s a
a s a c b
R
r
a s a
c b
R
r
R
r
a s a
c b
R
r
R
r C B


Se verifica la igualdad
R
r C B 2
2
cos
2

si y slo si c b a + 2 , si y slo si
las longitudes de los lados del tringulo estn en progresin aritmtica.
12
Siendo
2
cos 1
2
C B
, resulta
R
r 2
1 equivalente a la desigualdad de
Euler.




Bibliografa
O. Bottema et al., Geometric Inequalities, Groningen, 1969.
DS Mitrinovic et al., Recent Advances in Geometric Inequalities, Kluwer Ac.
Publishers, The Netherlands, 1989.
L. Panaitopol, O inegalitate in triunghi, Gazeta Matematica (Bucarest), 106,
(2001), 146-148.


Miguel Amengual Covas
miguel.amengual@correo.cop.es


R Re ev vi is st ta a E Es sc co ol la ar r d de e l la a O Ol li im mp p a ad da a I Ib be er ro oa am me er ri ic ca an na a d de e
M Ma at te em m t ti ic ca a


h ht tt tp p: :/ // /w ww ww w. .c ca am mp pu us s- -o oe ei i. .o or rg g/ /o oi im m/ /r re ev vi is st ta ao oi im m/ /



E Ed di it ta a: :