693

LaGacetadelaRSME,Vol.11),Núm.4,Págs.693Ã

ProblemasySoluciones
Sección a cargo de

Óscar Ciaurri y José Luis Díaz Barrero

Las soluciones para esta sección deb en enviarse,

preferente
la dirección dem correo
e n t e, a oscar.ciaurri@dmc.unirioja.es e
electrónico
archivos con formato ETX. Alternativam ent e, pueden enviarse a n
Óscar
CiaurriRamírez,Universidadd eLaRioja,Dpto.deMate m áticasy
Com-
putación,C/LuisdeUlloas/n,260 0 4,Logroń o .Paralosprobl e m
asde
estenúm ero s et en drán encu entalas solucionesrecibidas ha
stael30 d e0 0
juniode2
9. Asimismo,solicitamos d elo sl ectores propu e s t as originales
oproble- cidosa d e c ua d a m e n t e d oc u m e n t a do s.Laspropu es t
maspococono
asdepro-
blem a s que se envíen sin solución serán tenidas encuentasi
su interés cado d e un m o d o a pro piado.Unaste
estájustifi ?) juntoalenunci
risco(
dodeunpro bl e m a indicaque e n e s t o s mom entos nose a-
disponed e un a
solució
n.

Problemas

Problema114(corrección). Propuesto por Óscar Ciaurri Ramírez,

daddeLaRioja,Logrońo
p+1 1 p Universi-
3 p 2
. Seagp(z) = z 2F 1A , 2 + 2 , 2 + 2 , q z ), donde2F 1 denota la función hiper-
geométrica. Probar quex>
si 0 y 0<a< 2 entonces

1 1 1 1 π
g12 a + g12 a (x) + ga2 1 + ga2 1 (x) = .
q
2 a x a x sent aπ
2

Problema115. PropuestoporXavierRos(estudiante),UniversitatPolitècnicad
Catalunya,Barcelona.
e
SeanA, B y C los ángulos de un triángulo acutángulo,
r el radio de la circunfe-
rencia inscrita a dicho triángulo
R el
y de la circunscrita. Probar que
√ r
2cosA cosB cosC ≤ .
R
 694 ProblemasySoluciones

Problema116. PropuestoporPaoloPerfetti,DipartimentodiMatematica,Uni
versitàdeglistudidiTorVergata,Roma
-
. Sea{ak }k ≥1 una sucesión de términos positivos tal que
∞ ∞ ∞
X ak< ∞ y X X aj < ∞ .
k=1 k=1 j =k

Probar que, para

p> 1,
n 2k2 1
1 2
l´ım X k p
21 X
(aj )1/p = 0.
n→ +∞ n
k=1 j =k

Problema117. PropuestoporJavierdelReyPantín,I.E.S.DońaJimena,Gijón
¿Cómo debe .ser el perfil de una palanca para que la fuerza que transmite al
peso que se desea elevar tenga en todo momento la dirección de la vertical? O bien,
más concretamente: supongamos que una palanca rígida tiene su punto de apoyo
OYdel
en el origen de coordenadas, que la dirección de la vertical es la , y eje
que
sobre el perfil de la palanca puede rodar sin rozamiento un objeto puntual pesado.
Encontrar una ecuación para dicho perfil de modo que, al mover la palanca, el objeto
a, q h) (dondea>
pesado, situado inicialmente en un punto de coordenadas ( 0y
≤
a h< ∞ a,0)(manteniéndose siempre sobre
), pueda ser elevado hasta el punto
la recta vertical
x = a.

Problema118. Propuesto por Juan Carlos González Vara, Universidad Europea

MigueldeCervantes,Valladolid
. Seana, b y c números reales positivos. Probar que
abp (a + b)3 + bcp (b+ c)3 + cap (c + a)3
r √ 3 √ √
3abch(a + b) ab+ (b+ c) bc+ (c + a) cai
≥ .
a + b+ c
LaGaceta ? Secciones 695

Problema119. PropuestoporCezarLupu(estudiante),UniversidaddeBucarest,
Rumanía
Z1
. Seaf : [0, 1]→ R una función derivable verificando quef (x) dx = 0. Probar
0
x0 2 @, 1) tal que
que existe
x0
0 Z
xf0 (x0) = f (x0) xf (x) dx.
0

Problema120. PropuestoporJoséLuisDíazBarrero,UniversitatPolitècnicad
Catalunya,Barcelona,yPantelimonGeorgePopescu,Bucarest,Rumanía
e
. Hallar todas las ternas de números reales x,y, )( tales que
z
x2008 + y2008 + z2008 = 3,
x2009 + y2009 + z2009 = 3,
x2010 + y2010 + z2010 = 3.

Soluciones

Problema91. Propuesto por José Luis Díaz Barrero, Universitat Politècnica

Catalunya,Barcelona.
de
Sean lna, lnby lnc las longitudes de los lados de un triángulo
ABC . Probar que
3 lna lnb lnc
≤ 2 2 + 2 2 + 2 2 < 1.
5 ln(abc ) ln(abc ) ln(abc )

SoluciónenviadaporXavierRos(estudiante),UniversitatPolitècnicadeCatalunya
Barcelona
,
. Probaremos que
3 lna lnb lnc 2
≤ 2 2 + 2 2 + 2 2 <.
5 ln(abc ) ln(abc ) ln(abc ) 3
x = p q lna, y = p q lnb y z = p q lnc. Así,
Seanp el semiperímetro del triángulo,
las desigualdades a probar son
3 y+z z+x x+y 2
≤ + + <,
5 4x + 3y + 3z 3x + 4y + 3z 3x + 3y + 4z 3
parax,y, ≥ 0. Usando un argumento de homogeneidad, podemos xsuponer
+y+
z por lo que obtenemos las desigualdades equivalentes
z = 1,
3 1q x 1q y 1q z 2
≤ + + <. A)
5 3+ x 3+ y 3+ z 3
696 ProblemasySoluciones

Para t ≥ 0, seaf (t) = 12 t

f 00(t) =
3+t . Puesto que
8
C+ t) 3 > 0, podemos aplicar la
desigualdad de Jensen, para deducir que

f (x) + f (y) + f (z) x +y+z 1 1

≥f =f = ,
3 3 3 5

lo que prueba la desigualdad de la izquierda en A).

Para probar el lado derecho de A), notemosf (x)
que+ f (y) <f (x + y) + f @),
ya que

4xy(x + y + 6)
f (x + y) + f @) q f (x) q f (y) = > 0.
3(x + 3)(y + 3)(x + y + 3)

De este modo
2
f (x) + f (y) + f (z) <f (x + y) + f @)+ f (z) <f (x + y + z) + f @)+ f @)= ,
3
como queríamos demostrar.
Las cotas dadas en A) son las mejores posibles, ya que en el lado izquierdo la
x = y = z = 13 , y en el lado derecho, xsi → 1, y → 0 y
igualdad se alcanza con
z → 0, se tiene que
2
f (x) + f (y) + f (z) → .
3

También resuelto por M. Fernández, O. Furdui, F. J. García, J. C. González, D. Lasaosa, P.

fetti,
Per- P. Refolio, J. Rivero y el
proponente.

Problema92. PropuestoporOvidiuBagdasar,BabesBolyaiUniversity,ClujNa-
poca,Rumanía n
. Probar que sixi > 0, parai = 1,..., , y siendoS = P i =1 xi , entonces
n
n n
r S q xi r xi
X ≥ (n q 1) X .
i =1
xi i =1
S q xi

SoluciónenviadaporKee-
Para cadan> 1, tenemos que
WaiLau,HongKong,China.
n n
r S q xi r xi
X ≥ (n q 1)X
i =1
xi i =1
S q xi
LaGaceta ? Secciones 697

n 0s s 1
√ S q xi (n q 1)xi
= n q 1X @ q
i =1
(n q 1)xi S q xi A
n
S q nxi
=X
i =1
p xi (S q xi )
n n
xj q xi
=X X
i =1 j =1
p xi (S q xi )
0 n n n n 1
1 X X xj q xi X X xi q xj
= +
2 @i =1 j =1 p xi (S q xi ) i =1 j =1 p xj (S q xj ) A
0 n n p xj (S q xj ) q p xi (S q xi ) 1
1 X X
= (xj q xi )
2 @i =1 j =1 p xxi j (S q xi )(S q xj )
A

0 n n 1
1 X X (xj q xi ))2(S q xi q xj
=
2 @i =1 j =1 p xx
i j (S q xi )(S q xj )(p xj (S q xj ) + p xi (S q xi ))
A ≥ 0,

lo que prueba la desigualdad propuesta.

También resuelto por D. Lasaosa, P. Perfetti y el

proponente.
Nota. Paolo Perfetti nos remite una solución basada en la desigualdad de Chebys-
hev. Su solución sigue los pasos dados enOldandNewInequalitie
el libro de T. An-
dreescu, V. Cartoaje, G. Dospinescu y M. Lascu s (GIL Publishing House, 2004) para
probar que, dados ai > 0 parai = 1,..., , se cumple
n
n n n
X 1 √ 1
= 1 =) X ai ≥ (n q 1) X √ .
i =1
1+ ai i =1 i =1
ai

2
Tomandoai = S x ix i puede comprobarse que la desigualdad anterior es equivalente
a la propuesta en el problema.

Problema93. Propuesto por Pablo Fernández Refolio (estudiante),

AutónomadeMadrid,Madrid
Universidad
. Probar que
∞
X 1 1 π 2
n3/ 2 arctan √ q (n + 1)3/ 2 arctan √ +1 = q .
n=1
n n+1 4 3
698 ProblemasySoluciones

Solución enviada por José Manuel Moreno Valderrama (estudiante),

AutónomadeMadrid,Madrid
Universidad
. Denotando por S la suma a evaluar tenemos que
N
1 1
S = l´ımX n3/ 2 arctan √ q (n + 1)3/ 2 arctan √ +1
N →∞
n=1
n n+1
N
1 1 !
= l´ım X n3/ 2 arctan √ q (n + 1)3/ 2 arctan √ +N
N →∞
n=1
n n+1
1
= l´ım arctan1q (N + 1)3/ 2 arctan √ +N
N →∞ N +1
π 1
= + l´ım N q (N + 1)3/ 2 arctan √ .
4 N →∞ N +1
x3
x=xq
Ahora, utilizando el desarrollo arctan 3 + O(x5), deducimos que

π 2 (N + 1)2 3/ 2 2
S= + l´ım N q (N + 1)3/ 2 (N + 1) 1/ 2 q + O(N + 1) 5/ 2
4 N →∞ 3
π 1 π 2
= + l´ım N q (N + 1)+ = q .
4 N →∞ 3 4 3

TambiénresueltoporM.Fernández,O.Furdui,J.C.González,D.Lasaosa, Kee-
fetti, X. Ros y el
WaiLau,P.Per-
proponente.

Problema94. Propuesto por Ovidiu Furdui, The University of Toledo,

Ohio Toledo,
. Probar que
∞
1!
n
X 1 1 1 7
1+ + ∙∙∙+ ζB) q X 2 = ζD) ,
n=1
n 2 n k=1
k 4

dondeζ(a) denota la función Zeta de Riemann evaluada

a. en

Solución enviada por Juan Carlos González Vara, Universidad Europea Miguel
Cervantes,Valladolid
de
. Consideraremos
n
la notación habitual para los números armónicos generalizados
(r ) 1 A)
H n := P k r , r 2 N. En el caso particular
r = 1, usaremosHn ≡ Hn .
k=1
Asumamos la identidad, cuya demostración posponemos momentanemente,
n
X Hk 1
= H n2 + H nB) . A)
k=1
k 2
LaGaceta ? Secciones 699

Entonces podemos escribir

∞ ∞ ∞ ∞ n
X Hn Hn X 1 1 X Hk
ζB) q H nB) =X 2 =
X
2 B)
n=1
n n=1
n k=n+1
k n=1
(n + 1) k=1
k
∞ ∞
2H n+1 !
B) 2 B)
1 H n2 + H n 1 H n+1 + H n+1
= X = X q .
2 n=1 (n + 1)2 2 n=1 (n + 1)2
(n + 1)3

Ahora, usando integración por partes y un cambio de variable elemental, se prue-

ba que
Z1
Hn = q n A q t)n2 1 lntdt. C)
0
En efecto,
1 1
Z Z 1 q A q t)n
qn A q t)n2 1 lntdt = dt
0 0 t
1 1 n
Z 1 q zn Z X k2 1
= dz = z dz = H.n
0 q
1 z 0 k=1

∞ n
Para p = 2, 3,.. , definimos la función polilogaritmo por
p x) ( P xn p , conver-
Li =
n=1
.
gente para|x|≤ 1. Usando C), la función polilogaritmo y la identidad elemental
d lnt
Li 2A q t) = ,
dt 1q t
resulta que
∞ ∞1 1
X Hn
= q X 1 Z A q t)n2 1 lntdt = q Z Li 2A q t) lnt dt
n=1
n3 n=1
n2 0 0 1q t
1 5
= (ζB)) 2 = ζD) ,
2 4
π2 π4
ya que Li2 A) =ζB) = 6 y ζD) = 90 . Como consecuencia,
∞
X H n+1 5
3 = ζD) q 1. D)
n=1
(n + 1) 4

Por otra parte, si asumimos la identidad, que probaremos posteriormente,

∞ B)
1 H n2 + H n
ζD) = X E)
6 n=1 n2

tendremos que
∞ 2 B)
X H n+1 + H n+1
= 6ζD) q 2. F)
n=1
(n + 1)2
 700 ProblemasySoluciones

Finalmente de B), D) y F) se concluye la identidad propuesta.

Pruebade A) . Procederemos por inducción. Es claro que la igualdad se cumple
paran = 1. Supongamos que se verica paran = N . Entonces
2
1 B) 1 1 1 B) 1 1
H N2 +1 + H N +1 = HN + + HN + ∙
2 2 N +1 2 2 (N + 1)2
1 1 B) HN 1
= H N2 + H N + +
2 2 N + 1 (N + 1)2
N N +1
1 B) H N +1 Hk H N +1 Hk
= H N2 + H N + =X + =X .
2 N + 1 k=1 k N + 1 k=1 k

Prueba de E) . Sea
n
n (q 1)k n!
f (x) = X = ,
k=0
k k+x xA + x) ∙∙∙
(n + x)
n k
n (2 1) 1
definida parax 2 R \{ 0, q 1, q 2,.. }. Es claro quef A) = P t k k+1 = n+1 y
. k=0
n k 0
n (2 1) f (x)
f 00A) = 2 P t k (k+1)3 . Considerandog(x) = q f (x) , se puede comprobar fácilmen-
k=0
te que
n
1
g(x) = X , G)
k=1
x+k
B)
gA) = H n+1 y g0A) = q H n+1. Por otra parte,
2
f (x)f 00(x) q (f 0(x))2 f 00(x) f 0(x) f 00(x)
q g0(x) = = q = q (g(x))2
(f (x))2 f (x) f (x) f (x)
de donde deducimos la identidad
00 0
f A) = f A)( gA)) 2 q g A)) ,
de modo que, considerando los valores , f 00A) , gA) y g0A) ,
f A)de
n 2 B)
n (q 1)k H n+1 + H n+1
2X 3 = .
k=0
k (k + 1) n+1

De la expresión anterior podemos obtener que

∞ n 2 ∞ B)
1X 1 X n (q 1)k 1 X H n+1 + H n+1
3 = .
3 n=0 n + 1 k=0 k (k + 1) 6 n=0 (n + 1)2

Para finalizar la prueba de E) basta ver que el lado izquierdo de la igualdad anterior
esζD) y esto se deduce de la fórmula, debida a Helmut Hasse,
∞ n
1 X 1 X n (q 1)k
ζ(s) = ,
s q 1 n=0 n + 1 k=0 k (k + 1)s2 1
 LaGaceta ? Secciones 701

y que puede consultarse en H. Hasse, Ein Summierungsverfahren für die Riemanns-

cheζ-Reihe,Math.Z.32 X), 4584.

También resuelto por D. Lasaosa, Kee-Wai Lau, P. Perfetti, G. R. A. 20 Problem Solving

yGroup
el proponente.

Nota. La identidad A), cuya prueba hemos incluido por completitud, es conocida.
Puede verse como fórmula F.71) en la segunda edición ConcreteMathema
del libro
tic de R. L. Graham, D. E. Knuth y O. Patashnik, editado- por Addison-Wesley.
s
Problema95. Propuesto por Yakub N. Aliyev, Qafqaz University y Baku
University,Baku,Azerbaijan
State
. SeaA un entero positivo. Determinar todos los númerosα reales
para los que se
cumple la identidad
hp A 2n + α ∙A n i = A 2n q h1 q α i ,
2
n. (Como es habitual,
para cualquier entero positivo x][denota la parte enterax;de
es decir, el mayor entero menor o igual
x.)que

Solución enviada por Daniel Lasaosa Medarde, Universidad Pública de

Pamplona
Navarra,
. Consideremos el entero m = 1 q α2 . Es claro quem ≤ 1 q α2 <m + 1; es decir,
0 <α + 2m ≤ 2, y que debe cumplirse que

A 2n q m = hp A 4n + α ∙A 2n i ,

o, lo que es lo mismo,
2
A 4n q 2mA2n + m2 = t A 2n q m ≤ A 4n + α ∙A 2n
2n 2 2
< tA q m+1 = A 4n q 2(m q 1)A 2n + (m q 1) ,

de donde deducimos que

2
m2 ≤ (α + 2m) A 2n < 2A 2n + (m q 1) .

Comoα+2m ≤ 2, la segunda desigualdad en la cadena anterior se cumplirá siempre,

salvo cuandom = 1 y α = 2 q 2m = 0, en cuyo caso es trivial constatar que,
efectivamente, la igualdad del enunciado no se cumpliría, pues A 2n elsería
miembro
2n
de la izquierda yA q 1 el de la derecha. La primera desigualdad, sin embargo,
no se cumple siempre, siendo el caso más exigente aquél en el que n se
= 1,
toma
m2
obteniéndose la acotaciónα ≥q 2m + A 2 . Se tiene entonces que, para un valor de
2
q 2m+ m
m dado,α debe pertenecer al intervalo A 2 , q 2m+ 2 , salvo cuando m = 0,
2
m
t q 2m + A 2 , q 2m + 2 = @, 2].
en cuyo caso α debe estar incluido en el intervalo
 702 ProblemasySoluciones

Nótese finalmente que, para que el intervalo no sea √ vacío, el límite inferior debe ser
menor que el límite superior, es decir, ha|m
de| <A
ser 2. Luego la respuesta final
2
es queα debe pertenecer q 2m + m
A 2 , q 2m + 2 para
√ a la unión de los intervalos
m conA 2 > |m| > 0, y del intervalo ,@
cualquier entero 2].

También resuelto por Manuel López y el proponente.

Problema96. PropuestoporJuanBoscoRomeroMárquez,UniversidadComplu
tensedeMadrid,Madrid
-
. SeaABC un triángulo rectánguloAen a>b ≥ c, conc fijo. Seanma ,
y de lados
θa y ha la mediana, la bisectriz y la altura correspondiente
a, al
respectivamente.
lado
Calcular los siguientes límites:
ma q ha ma q θa ma q θa
l´ım , l´ım y l´ım .
b→ cθa q ha b→ cma q ha b→ cθa q ha

SoluciónenviadaporCésarBeadeFranco(modifi cadaporloseditores),I.E.S.Fer
nandoBlanco,Cee,LaCoruń
- a
.Los límites propuestos pueden calcularse en un caso más general. Si el ángulo en
A lo denotamos por w, podemos suponer<w<π0 . Para resolver esta situación
consideramos un sistema de coordendas de tal forma A=@ que
, 0) y B = (b,0). De
este modo tendremos que C = c(cosw,senw), para un cierto
. r
valor
Y ! ! " ! ""
C! c cos w ,sen w

R
Q
P

! " ! "
X
A! 0,0 B! b,0

Si denotamos por
P el punto medio del lado
BC , porQ la intersección de la bisectriz
del ángulow con el ladoBC y porR la proyección de
A sobreBC , tendremos que

b+ ccosw c senw bcA + cosw) bcsenw

P = , , Q= ,
2 2 b+ c b+ c