Hoja Problemas Anlisis II

85.- Sea Bj(t) la funcin polinmica:

n
Bj(t)= t j (1 t ) n j , t R, j n, jn N
j
Demostrar que:
n

i)

B
j =1

(t ) = 1

ii)

jB (t ) = nt
j

j =1
n

iii)

j ( j 1)B
j= 2
n

iv)

( j nt )
j= 2

(t ) = n( n 1) t 2

B j (t ) = nt (1 t )

Solucin:
n

j t

Consideremos la identidad: (t+x)n=

x n j , n N , t, x R .

j= 0

Derivando en ambos miembros respecto de t y multiplicando despus por t se obtiene:

n

n(t+x)n-1t=

j jt

x n j

j =1

Derivando nuevamente y multiplicando por t2 resulta:

n

n(n-1)(t+x)n-2t2 =

j j( j 1)t

xn j

j= 2

Las igualdades i), ii) y iii) se obtienen inmediatamente sustituyendo x por 1-t en las tres
identidades anteriores.
Operando en las igualdades ii) y iii) resulta:
n

j= 2

j= 2

j =2

j ( j 1) B j (t ) = j 2 B j (t ) jB j (t ) = n( n 1)t 2

de donde:
n

j
j= 2

B j (t ) = n( n 1)t + jB j (t ) = n( n 1) t 2 + nt B1 ( t )
2

j= 2

Entonces:

1/9

j= 0

j =0

j =0

j =0

( j nt )2 B j (t) = j 2 B j (t) + n 2t 2 B j (t) 2nt jB j (t) =

= n(n-1)t2+nt+n2t2-2n2t2 = nt-nt2 = nt(1-t), que es la igualdad iv).

86.- Probar que la funcin f(x) = x/(1+x2) definida en toda la recta real, es
uniformemente contnua.

Solucin:
Calculemos en primer lugar |f(x1)-f(x2)|, siendo x1,x2 dos nmeros reales arbitrarios:
|f(x1)-f(x2)| =

1 x1 x 2
x1
x
2 2 =| x1 x1 |
2
1 + x1 1 + x 2
(1 + x12 )(1 + x 22 )

Comprobemos que

1 x1 x 2
(1 + x12 )(1 + x 22 )

1 para todo par x1,x2R.

Llevaremos a cabo dicha comprobacin teniendo en cuenta los posibles valores de |1x1x2|.
a) |1-x1x2| = 1-x1x2.
Entonces

1 x1 x 2
(1 + x )(1 + x )
2
1

2
2

1 x1 x2
1 es una desigualdad equivalente a 1-x1x2
(1 + x12 )(1 + x22 )

(1+x12) (1+x22), o bien x2+x22+x12 x22+x1x2 0. Ahora bien, el primer miembro de esta
x
3x
desigualdad se puede escribir en la forma 1 + x 2 + 1 + x1 x 2 , que evidentemente, es una
2
4
expresin positiva o nula.
b) |1-x1x2| = 0. Es un caso de comprobacin trivial.
c) |1-x1x2| = x1x2-1.
Razonando igual que en a), se llega a una expresin de la forma x12+x22+x12 x22+2-x1x2 =
3x
x1

+ x 2 + 1 + x12 x22 + 2 , que tambin es positiva o nula.

4
2

Volviendo de nuevo a nuestro problema, hemos obtenido que, para todo x1,x2R es:
|f(x1)-f(x2)| |x1-x2|.
Entonces, fijado cualquier nmero real E>0, si tomamos =E, resulta que si |x1-x2|, ser
|f(x1)-f(x2)|E, lo que demuestra la continuidad uniforme de la funcin f.

2/9

87.- Establecer la igualdad siguiente:

2arctg

1 x
+ arcsen ( 2 x 1) = / 2
x

Solucin:
Si utilizamos la notacin:
= arctg

1 x
1 x
(o bien , tg =
)
x
x

= arcsen (2 x 1) ( o bien , 2 x 1 = sen )

se tratar de probar que 2+ = /2. Pero obsrvese que esto equivale a:
1 tg 2

sen = sen 2 = cos 2 =

1 + tg 2
2

y esta igualdad es cierta, segn se compruba inmediatamente sustituyendo las expresiones de

tg y sen en funcin de x.

88.- Sea p(x) una funcin polinmica de grado n con coeficientes reales tal que la
ecuacin p(x)=0 admite n races distintas x1,...,xn ninguna de las cuales es nula.

i) Expresar en funcin de estas races:

p( x)
p( x) p( x)
f(x) =
y g(x)=

p (x )
p( x)
p (x )

ii) Calcular las sumas:

n

j =1

j =1

S-1= x j 1 , S 2 = x j 2 , S = xi x j
i< j

Solucin:
1.- Si an es el coeficiente de xn en p(x), podemos escribir:
p(x) = an(x-x1)(x-x2)...(x-xn)
Derivando:
p(x) = an[(x-x2)...(x-xn)+(x-x1)...(x-xn)+...+(x-x1)...(x-xn-1)] y dividiendo aqu por
p(x) (puesto que an0), se obtiene:

3/9

n
p( x )
1
1
1
=
+
+ ... +
para xxj, j=1,2,...,n. Luego f(x) = = ( x x j ) 2
p ( x ) x x1 x x2
x xn
j =1

2.- Las sumas S-1 y S-2 son respectivamente los valores de las funciones f y -g para x=0. As
pues:
p(0)
p(0)
p(0)
S-1=
y S-2=

p (0)
p( 0)
p (0)
2

Para hallar la suma S observaremos que:

2

n
n
n 1
x j = xj 2 + s x i1 x j 1
j =1

j =1
i< j

es decir, S-12 = S-2+2S, de donde:

1
1 p(0)
S= ( S 21 S 2 ) =
.
2
2 p (0)

89.- Se considera el determinante de orden n:

1+ x
1
...
1
1
1 + x ...
1
...
... .... ...
1
1
... 1 + x

Establecer la frmula:
Fn(x)=nFn-1(x)
y deducir que
Fn(x)=xn+nxn-1.

Solucin:
Emplearemos la regla obtenida en el problema anterior para calcular la derivada de un
determinante. Observemos, adems, que, al derivar la fila o la columna i-sima se obtiene una
fila o una columna que tiene todos sus elementos nulos salvo el aij que es igual a 1. Es decir:

4/9

1,
0,
1, 1 + x
F n ( x ) =
... ...
1,
1,

...,
0
1+ x
...,
1
0
+
...,
...
...
..., 1 + x
1,

1
1
...
1,

...,
1
1 + x 1,
...,
0
1, 1 + x
+ ... +
...,
...
...
...
..., 1 + x
0,
0,

..., 1
..., 1
..., ...
..., 1

Cada uno de los determinantes qe aparecen en esta suma se desarrolla por la fila que
tiene todos los elementos nulos menos uno, y como este elementos se sencuentra situado
siempre en la diagonal principal, su adjunto llevar signo positivo. Este adjunto es,
evidnentemente el determinante Fn-1(x), y entonces:
1 + x, 1,
1,
1+ x
F n ( x ) =
...
...
1,
1,

...,
1
1+ x
1
...,
1
1 1+ x
+ 1
..., ...
...
...
..., 1 + x
1,
1,

...,
1
1 + x 1,
...,
1
1, 1 + x
+ ... + 1
..., ...
...
...
..., 1 + x
1,
1,

...,
1
...,
1
=
...,
...
..., 1 + x

= nFn-1(x).
Estableceremos la frmula Fn(x) = xn+nxn-1 por induccin. Desde luego, esta frmula
es cierta para n=2: F2(x)=x2+2x.
En efecto:
F2(x) =

1+ x
1
= (1 + x ) 2 1 = x 2 + 2 x + 1 1 = x 2 + 2 x
1 1+ x

Supongamos que es cierta para n: Fn(x) = xn+nxn-1 y comprobemos que tambin es

cierta para n+1.
Segn la frmula establecida en la primera parte:
Fn+1(x)= (n+1)Fn(x) = (n+1)(xn+nxn-1) = (n+1)xn+(n+1)nxn-1, es decir, Fn+1(x) es una
funcin cuya derivada es la expresin anterior. Segn la regla del clculo de derivadas, resulta
inmediato que:
Fn+1(x)= xn+1+(n+1)xn
as que la frmula tambin es cierta para n+1, c.q.d.

90.- Se considera la funcin real f definida por

1
1
f ( x ) = xsen sen
1
x
sen
x

5/9

para x
0 y x 1/k
, con k=
1, 2,... completndose su definicin en toda la recta
del siguiente modo:
f(0)=0 y f(1/k )=0 para k=
1,
2,...
Probar que esta funcin es continua en todo punto x
R pero carece de
derivada en los puntos del conjunto M={0,1/
,-1/
,1/2
,-1/2
,...}.

Solucin:
En un punto cualquiera xR-M la funcin f es continua en virtud del teorema de la
continuidad de las funciones compuestas. La continuidad en el punto x=0 resulta de la
mayoracin evidente |f(x)||x|, que no sdice que si x0 tambin f(x)0 = f(0). La
continuidad en un punto de la forma x=1/k con kZ-{0} resulta de la mayoracin
|f(x)||x||sen 1/x| ya que limx1/k |sen 1/x| = 0.
As pues, la funcin f es contnua en toda la recta real. Su derivabilidad es cualquier
punto xR-M se obtiene como consecuencia del teorema de derivabilidad de las funciones
compuestas. Estudiemos la derivabilidad en el punto x=0. Para ello, formaremos el siguiente
cociente incremental
f ( h) f (0) f (h )
1
1
=
= sen sen
1
h
h
h
sen
h
donde se observa que si h=1/k y hacemos k, el lmite que se obtiene es 0, porque la
funcin f se anula en estos puntos, mientras que si tomamos h=2/(4k+1) y hacemos k, el
lmite que resulta es sen 1. Al no coincidir estos lmites, se ve que no existe el limh0f(h)/h, por
lo cual la funcin f no es derivable en el punto x=0. Estudiemos por ltimo la derivabilidad en
un punto de la forma x=1/k. Para ello formaremos el cociente incremental

f
+ h
k

1
1

f f
+ h
1
k = k
= 1 + hk sen k sen
k
h
hk
1 + hk
sen
1 + hk

para estudiar su lmite cuando h0. Es inmediato que limh0(1+hk)/k = 1/k. Por otro
lado,

6/9

limh0 1 sen k = ( 1) k +1 k 2 2
h
1 + hk
como se deduce de la relacin
sen

k
k
( 2 + hk) k
hk 2 2
= sen
senk = 2 cos
sen
.
1 + hk
1 + hk
2 + 2 hk
2 + 2hk

Ahora bien, no es difcil comprobar que el lmite de

sen

1
k
sen
1 + hk

cuando h0 no existe. Luego no puede existir el lmite del cociente incremental que venimos
estudiando, es decir, la funcin f no es derivable en ningn otro punto de la forma x01/k, con
kZ-{0}. As pues, la funcin dada f es continua en R y derivable en todo punto de R-M,
careciendo de derivada en los puntos del conjunto M.

91.- Dada la parbola de ecuacin y= 2 px , respecto de un sistema cartesiano

rectangular XOY de ejes coordenados, hallar las ecuaciones de la tangente y de la
normal en un punto cualquiera P=(x0,y0) as como las longitudes de la tangente, de la
normal, de la subtangente y de la subnormal.

Solucin:

La derivada de y= 2 px vale y=

2p
p
=
2 2 px y

7/9

La ecuacin de la tangente en P es y-y0=

p
( x x0 ) , o sea:
y0

px-y0y-px0+y02=0.
La normal es la perpendicular a la tangente en el punto P. Su ecuacin ser:
y-y0=-

y0
( x x0 )
p

es decir,
y0x+py-y0x0-py0 = 0.
El punto T de interseccin de la tangente con el eje OX se obtiene haciendo y=0 en la
ecuacin de la tangente y despejando x; resulta:
xT =

px0 y 02
y2
= x0 0
p
p

El punto N de interseccin de la normal con el eje OX se obtiene haciendo y=0 en la

ecuacin de la normal y despejando x; resulta:
xN=

y 0 x0 + py0
= x0 + p
y0

La subtangente es, por definicin, la longitudf del segmento HT (donde H=(x0,0) es la

proyeccin ortogonal de P sobre el eje OX). Valdr pues, St=HT=xT -x0=-y02/p =-2x0. La
subnormal es, por definicin, la longitud del segmento HN. Valdr, pues, Sn= HN = xN-x0=p.
Observamos entonces que en una parbola la subnormal es constante (independiente del
punto P desde el cual se considera); puede demostrarse con facilidad que esta propiedad
caracteriza a las parbolas. La longitud de la tangente es, por definicin, la del segmento PT.
Se calcula por el teorema de Pitgoras PT = = y02 + S t2 =
longitud de la normal es PN = = y02 + S N2 =

y 02 + 4x 02 . Anlogamente, la

y 02 + p 2 .

92.- Supongamos que g es una funcin derivable en R con derivada acotada:

|g(x)|
M. Fijado E>0, consideremos la funcin f(x)=x+Eg(x). Demostrar que f es
inyectiva si E es suficientemente pequeo. Determinar un conjunto de valores
admisibles de E dependiente slo de M.

Solucin:
8/9

La funcin f es derivable y por lo tanto continua. As que, para ser inyectiva debe ser
estrictamente creciente o estrictamente decreciente en R, es decir, debe ser f(x)>0 o bien
f(x)<0 para todo xR.
f(x) = 1+Eg(x)
La condicin f(x)<0 es incompatible con la condicin |g(x)| M. (haga el lector los
clculos). As pues, exijamos que f(x)>0 para todo x:
f(x) = 1+Eg(x)>0
equivale a:
g(x)>-1/E para todo x
Por otra parte, |g(x)|M equivale a
-Mg(x)M
as que basta con fijar E de forma que -M>-1/E, o bien M<1/E, que proporciona para E el
conjunto de valores: E<1/M.

9/9