GENERALIZACIN DE UN PROBLEMA PROPUESTO EN

LA XLVI OME Y SU RELACIN CON LA DESIGUALDAD DE

NESBITT
D.M. BTINEU-GIURGIU1 y NECULAI STANCIU2
Abstract. This note presents a generalization for a problem given to the XLVI th National
Mathematics Olympiad of Spain (OME).
Keywords: Cauchy-Buniakovski-Schwarzs inequality, Bergstrms inequality,
Jensens inequality, the AM-QM inequality, Nesbitts inequality, Olympiad.
MSC : 26D15

En la XLVI Olimpiafa Matemtica Espaola, Fase Nacional (Valladolid), el segundo

da (27de marzo de 2010) se propuso el siguiente
Problema. Sean a, b, c numerous reales positivos. Probar que:
3a + b + c
15
a + b + 3c
a + 3b + c
(1)
+
+

3a + 3b + 2c 3a + 2b + 3c 2a + 3b + 3c 8
Si llamamos a = x1 , b = x 2 , c = x3 , y X 3 = a + b + c , entonces la (1) se convierte en:

X 3 + 2 x1 X 3 + 2 x 2 X 3 + 2 x3 15
(2)
+
+

3 X 3 x1 3 X 3 x 2 3 X 3 x3
8
Nos proponemos generalizar esta desigualdad y dar varias demostraciones de su
generalizacin.
Una Generalizacin. Si n N * {1,2} , a R+ , b, c, d , x k R+* , k = 1, n ,
n

X n = x k and
k =1

cX n > d max xk
1 k n

entonces:
aX n + bx k (an + b )n

cn d
k =1 cX n dx k
Demostracin 1. Tenemos:
n

n
n

(an + b ) X = (aX n + bxk ) = aX n + bxk (aX n + bxk )(cX n dxk )

k =1

k =1 cX n dx k

( C B S ) n
aX + bx k n

(aX n + bx k )(cX n dx k )
n

k =1 cX n dx k k =1

1
2

2
n

Department of Mathematics, Matei Basarab National College, Bucharest, Romania

Department of Mathematics, George Emil Palade General School, Buzu, Romania

(3)
2

(C B S )

(an + b )2 X n2

aX + bx k
n

k =1 cX n dx k
n

(aX
k =1

+ bx k )(cX n dx k )

(an + b )2 X n2
n

(an + b )

k =1

(acn + bc ad )X

k =1

2
n

bd x
k =1

2
k

2
n

acnX + (bc ad )X n x k bd x
2
n

2
k

Por la desigualdad de las medias aritmtica y geomtrica deducimos que:

n

xk2
k =1

Entonces obtenemos:
n
aX n + bx k

k =1 cX n dx k

X2
1 n

xk = n
n k =1
n

(an + b )2 X n2
(acn + bc ad )X n2 bd X n2

(4)

(an + b )2 n
acn 2 + (bc ad )n bd

(an + b )n .
cn d

Demostracin 2. Se tiene:
n
n
(aX n + bxk )2
aX + bx k
,
Un = n
=
k =1 cX n dx k
k =1 (aX n + bx k )(cX n dx k )
Y por la desigualdad de Bergstrm deducimos que:

Un

(aX n + bx k )
k =1

(acX
n

k =1

2
n

+ (bc ad )X n x k bdx

2
k

(an + b )2 X n2

acnX + (bc ad )X bd x
2
n

2
n

k =1

2
k

Donde hemos tenido en cuenta (4), y se obtiene la conclusin.

Demostracin 3. Consideremos el trinomio:
2

aX n + bx k

Tn =
X (aX n + bx k )(cX n dx k ) =
cX dx

n
k

n
n
n
aX + bx k 2

X 2 (aX n + bx k ) X + (aX n + bx k )(cX n dx k ) =

= n
k =1
k =1

k =1 cX n dx k
n
n aX + bx k 2
n

X 2 (aX n + bx k ) X + acX n2 + (bc ad )X n x k bdx k2 .

= n
k =1
k =1

k =1 cX n dx k
Ya que los valores del trinomio cuadrtico Tn ( x) 0 , x R resulta:

n aX + bx k n
n

acX n2 + (bc ad )X n x k bdx k2 =

(aX n + bx k ) n
k =1

k =1 cX n dx k k =1
n
n
aX + bx k

acnX n2 + (bc ad )X n2 bd x k2 .
= n
k =1

k =1 cX n dx k
Entonces, por (4) se obtiene que:
n
n aX n + bx k
bd 2
2

acn + bc ad
(
)
+

aX
bx
X n

n
k
n
k =1
k =1 cX n dx k
2

(an + b ) X n2
aX n + bx k

bd 2

k =1 cX n dx k
X n
acn + bc ad
n

2
n
aX + bx k
n(an + b )

n
=
acn 2 + (bc ad )n bd
k =1 cX n dx k
2

n(an + b )
n(an + b )
, q.e.d.
=
(an + b )(cn d ) cn d
*
Demostracin 4. Consideremos R n =
R
R ...

R , n N , donde para cualesquiera

2

x, y R ,
n

x = (x1 , x 2 ,..., x n ) , y = ( y1 , y 2 ,..., y n ) y para todo R , definimos:

x + y = ( x1 + y1 , x 2 + y 2 ,..., x n + y n ) R n y x = (x1 , x 2 ,..., x n ) R n .

As R n es un espacio vectorial sobre el cuerpo R .Definimos tambin

n

, : R n R n R , x, y = x k y k ( producto escalar de los vectores x e y ) y entonces R n se

k =1

convierte en un espacio de Hilbert en el que una base ortogonal es el sistema de vectores

1, if i = j
, y
ek = ( 1k , 2 k ,..., nk ) , donde k = 1, n y : An An R , (i, j ) = ij =
0, if i j
An = {1,2,..., n}.
La funcin es el smbolo de Kroneker.
Es obvio que ei , e j = ij , (i, j ) An An .As, ek = 1, k = 1, n y entonces el sistema

{ek }1k n es un sistema ortonormal de vectores del espacio de Hilbert

Rn .

Para cualquier vector x R n , consideremos la funcin : An R , (k ) = x, ek = k o sea,

x = (1 , 2 ,..., n ) , donde k , k = 1, n son los coeficientes de Fouriers de x del espacio de

Hilbert R n con respecto al sistema ortonormal {ek }1 k n .

Por lo tanto para todo x R n , x = (x1 , x 2 ,..., x n ) se tiene x = k ek = (1 , 2 ,..., n ) , es decir

k =1

x k = k = x, ek , k = 1, n . Tambin tenemos: x

= x, x = x k2 , y entonces se verifica la
k =1

desigualdad de Cauchy-Schwarz

x, y x y , x, y R n ,
O sea
2

n
n

x k y k x k2 y k2 .
k =1

k =1 k =1
n
Considerando los vectores x, y R , con:

( x, y )

x y
2

aX n + bx1 aX n + bx 2
aX n + bx n
e
x=
,
,...,
cX dx

cX
dx
cX
dx

1
2
n
n
n
n

y = (aX n + bx1 )(cX n dx1 ), (aX n + bx 2 )(cX n dx 2 ),...,

(aX n + bxn )(cX n dxn ) ) .

Por la desigualdad de Cauchy-Schwarz:

2
n
n
( x, y )2 = (aX n + bxk ) aX n + bxk
k =1

k =1 cX n dx k

acX n2 + (bc ad ) X n x k bdx k2

k =1
2
n
(an + b ) X n2
aX + bx k
(5)
n

n
2
2
k =1 cX n dx k
(acn + bc ad )X n bd xk

k =1

Como la funcin f : R R , f (t ) = t es convexa en R , por la desigualdad de Jensen se

deduce que:
2
X2
x1 + x 2 + ... + x n
Xn
f ( x1 ) + f ( x 2 ) + ... + f ( x n ) nf
= n
= n ,
n
n

n
Y entonces de (5) resulta que:
2
n
(an + b )2 X n2
aX n + bx k
(
(an + b )n ,
an + b ) n
=
=
Un =

bd 2 (an + b )(cn d )
cn d

k =1 cX n dx k
X n
acn + bc ad
n

q.e.d.
Aplicaciones.
*
+

*
+

*
+

A.1. Si a = 0, b = c = d = 1 , entonces la relacin (3) se escribe como:

n
xk
n
,

n 1
k =1 X n x k
y para n = 3 obtenemos la desigualdad de Nesbitt, i.e.:
x3
x1
x2
3
+
+
.
x 2 + x3 x3 + x1 x1 + x 2 2
A.2. Si a = 1 , b = 2 , c = 3 y d = 1 , entonces la (3) resulta ser:
n
X n + 2 x k (n + 2 )n
,

3n 1
k =1 3 X n x k
de la que para n = 3 se obtiene la (2) y despus se deduce (1).