Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1
a b x
<
1
a
1
b
Solucin. En este ejercicio no parece, en principio, cosa fcil deducir la desigualdad pedida
de las hiptesis que nos dan. En estos casos puede intentarse trabajar para atrs, es decir, ir
convirtiendo la desigualdad que nos piden probar en otras equivalentes a ella y ms sencillas,
hasta llegar a una que seamos capaces de deducir de la hiptesis que nos dan. Haciendo las
operaciones indicadas, podemos escribir la desigualdad en la forma
a b
x(a b x)
<
a b
a b
y, como los denominadores son positivos, esto es lo mismo que
(a b)a b < (a b)x(a b x)
Como a b > 0 esta desigualdad equivale a ab < x(a b x), es decir:
0 < ax bx x
2
ab =(x a)(b x)
Pero esta ltima desigualdad es consecuencia de que la hiptesis hecha, 0 < a < x < b, la cual
implica que 0 < x a y 0 < b x. Y por tanto (x a)(b x) > 0.
Con esto podemos considerar que hemos acabado, pero es una buena costumbre dar ahora la
vuelta al razonamiento que hemos seguido, es decir, deshacer el camino recorrido para obtener
una prueba directa.
6. Discutir la validez de las igualdades:
a) [x y z[ =[x y[ [z[
b) [x 5[ < [x 1[
Solucin. a) En virtud de la desigualdad triangular, la igualdad del enunciado
[x y z[ =[(x y) z[ =[x y[ [z[, se da si, y slo si, (x y)z >0.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 3
b) Por ser nmeros positivos, la desigualdad [x5[ < [x1[ equivale a la desigualdad [x5[
2
<
[x 1[
2
, es decir,
x
2
10x 25 < x
2
2x 1
o sea, 24 < 12x, esto es, x > 2. Esto tambin puedes comprobarlo representando los nmeros
en una recta en la que jas un origen y una unidad: se trata de ver cundo x est ms cerca de 5
que de 1.
7. Supuesto que
s
t
<
u
:
<
x
y
donde t. :. y R
C
, prueba que
s
t
<
s u x
t : y
<
x
y
. Generaliza este
resultado.
Solucin. Lo que sigue es la generalizacin propuesta.
Sean a
1
. a
2
. . . . . a
n
nmeros reales cualesquiera y b
1
. b
2
. . . . b
n
nmeros reales positivos. Sean
m y M el menor y el mayor respectivamente de los nmeros
a
1
b
1
.
a
2
b
2
. .
a
n
b
n
.
Entonces, para j =1. 2. . . . . n, se verica que:
m6
a
j
b
j
6M. es decir. mb
j
6a
j
6Mb
j
y sumando estas desigualdades:
m
n
jD1
b
j
6
n
jD1
a
j
6M
n
jD1
b
j
.
de donde se sigue que:
m6
a
1
a
2
a
n
b
1
b
2
b
n
6M.
8. Prueba cada una de las siguientes desigualdades y estudia, en cada caso, cundo se da la igualdad.
i) 2xy 6x
2
y
2
.
ii) 4xy 6(x y)
2
.
iii) x
2
xy y
2
>0.
iv) (a
2
a 1)(b
2
b 1)(c
2
c 1) >27abc donde a > 0. b > 0. c > 0.
v) abc 61 donde a > 0. b > 0. c > 0 verican (1 a
2
)(1 b
2
)(1 c
2
) =8.
Sugerencia: para probar i) considrese (x y)
2
. Las dems desigualdades pueden deducirse de
i).
Solucin.
i) y ii) Siguiendo la sugerencia, que para eso nos la dan, tenemos que
(x y)
2
=x
2
y
2
2xy >0
de donde se deduce que 2x y 6x
2
y
2
, y la igualdad ocurre si, y slo si, x =y. Si sumas
2xy a ambos lados de la desigualdad 2x y 6x
2
y
2
, obtienes que 4x y 6(x y)
2
, y la
igualdad ocurre si, y slo si, x =y.
iii) Cambiando x por x en 2x y 6 x
2
y
2
resulta 2x y >(x
2
y
2
). Por tanto
x
2
x y y
2
>
1
2
(x
2
y
2
)
De donde se deduce que x
2
x y y
2
>0 y la igualdad se da si, y slo si, x =y =0.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 4
iv) Probaremos ahora la desigualdad (a
2
a 1)(b
2
b 1)(c
2
c 1) >27abc donde
se supone que a > 0. b > 0. c > 0. Lo primero que se observa es la completa simetra
de la desigualdad propuesta. Puesto que lo nico que sabemos de a, b y c es que son
positivos, parece razonable pensar que si la desigualdad que nos dan es cierta es porque
x
2
x 1 >3x cualquiera sea x > 0, es decir, x
2
1 >2x, o lo que es igual (x 1)
2
>0;
lo que es cierto (para todonmero x) y la igualdad se da si, y solo si x = 1. Sustituyendo
ahora en x
2
x 1 > 3x, x =a, x =b, x =c y multiplicando miembro a miembro las
tres desigualdades resultantes, obtenemos que
(a
2
a 1)(b
2
b 1)(c
2
c 1) >27abc
y la igualdad se da si, y slo si, a =b =c =1. Dnde hemos usado que los nmeros a, b
y c son positivos?
v) La ltima desigualdad propuesta tambin llama la atencin por su simetra. Usando otra
vez que 0 6(x 1)
2
, se sigue que 2x 61 x
2
. Ahora sustituyes x por a, b y c, multiplicas
miembro a miembro las desigualdades obtenidas y has acabado.
Fjate cunto partido hemos sacado de la desigualdad elemental (x y)
2
>0.
9. Prueba que el nmero
_
2
_
3 es irracional.
Solucin. Para hacer este ejercicio hay que tener en cuenta que cuando se efectan operacio-
nes racionales (suma, producto y cociente) sobre uno o varios nmeros racionales volvemos a
obtener un nmero racional. En consecuencia, si realizando con un nmero real y con otros
nmeros racionales operaciones racionales obtenemos un nmero irracional, podemos armar
que el nmero es irracional.
Por ejemplo, =
_
2
_
3 es irracional pues
2
5
2
=
_
6.
10. Sean a, b nmeros positivos distintos y n N. Utiliza la desigualdad de las medias para probar
que:
ab
n
<
_
a nb
n 1
_
nC1
(1)
Deduce que para todo nmero natural n se verica que:
_
1
1
n
_
n
<
_
1
1
n 1
_
nC1
. y
_
1
1
n 1
_
nC2
<
_
1
1
n
_
nC1
(2)
Solucin. La desigualdad (1) se deduce de la desigualdad de las medias
nC1
_
a
1
a
2
a
n
a
nC1
6
a
1
a
2
a
n
a
nC1
n 1
haciendo a
1
=a
2
= =a
n
=b, a
nC1
=a y elevando a la potencia n 1.
Haciendo ahora a =1 y b =1
1
n
en (1) se obtiene la primera desigualdad de (2). Finalmente,
susstituyendo en (1) n por n 1 a =1 y b =1
1
n
, se obtiene la segunda desigualdad de (2).
11. Prueba que el cubo es el ortoedro de mximo volumen para una supercie lateral dada y de
mnima supercie lateral para un volumen dado.
Solucin. El volumen de un ortoedro cuyas aristas tienen longitudes a. b. c viene dado por V =
abc y su supercie lateral por S =2(ab bc ca). Puesto que
3
_
(ab)(bc)(ca) 6
ab bc ca
3
(1)
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 5
o, lo que es igual,
3
_
V
2
6S,6, deducimos que para un volumen dado, V , la supercie lateral S
es mnima cuando tengamos que S,6 =
3
_
V
2
, es decir que en (1) se de la igualdad lo que ocurre
si, y slo si, a =b =c (el ortoedro es un cubo).
Anlogamente, para un valor dado de la supercie lateral, S, tendremos que V es mximo cuando
3
_
V
2
=S,6, lo que, segn acabamos de ver, slo ocurre cuando el ortoedro es un cubo.
12. Calcula el rectngulo de mayor rea inscrito en la elipse de ecuacin
x
2
a
2
y
2
b
2
= 1, donde
a > 0. b > 0.
Solucin. Sean (. ) las coordenadas del vrtice del rectngulo situado en el cuadrante positivo
del plano ( > 0. > 0). El rea del rectngulo es igual a 4. El problema, pues, consiste en
hallar el mximo del producto cuando y verican que
2
a
2
2
b
2
=1 (1)
Supuesto que y satisfacen (1), en virtud de la desigualdad de las medias, tenemos que
=
_
2
=ab
_
2
a
2
2
b
2
6
ab
2
(2)
La igualdad en (2) se da si, y slo si,
2
a
2
=
2
b
2
, lo que junto con (1) equivale a que
2
a
2
=
2
b
2
=
1
2
,
es decir, =
a
_
2
. =
b
_
2
. Por tanto el mximo valor del rea de un rectngulo inscrito en la
elipse es 2ab.
13. Calcula la distancia mnima del origen a la supercie en R
3
de ecuacin xyz = 27. En otras
palabras, si E ={(x. y. z) R
3
: xyz =27], lo que se pide es calcular el mnimo del conjunto
de nmeros reales C =
_
x
2
y
2
z
2
: (x. y. z) E
_
.
Solucin. Para todo (x. y. z)E se verica que
x
2
y
2
z
2
>3
3
_
(xyz)
2
=3
3
_
(27)
2
=27
Puesto que (3. 3. 3)E y
_
3
2
3
2
3
2
=
_
27, deducimos que mn(C) =
_
27.
14. Calcula x sabiendo que
1
log
x
(a)
=
1
log
b
(a)
1
log
c
(a)
1
log
d
(a)
Solucin. Pongamos y =log
x
(a). Por denicin, tenemos que x
y
=a, de donde se sigue que
y log x = log a. Hemos obtenido as que log
x
(a) =
log a
log x
. Con ello, la igualdad del enunciado
puede escribirse como
log x
log a
=
log b
log a
log c
log a
log d
log a
esto es log x = log b log c log d, o lo que es igual, log x = log(b c d). Como la funcin
logaritmo es inyectiva, deducimos que x =b c d.
15. Prueba la igualdad arc cos x arc sen x =
2
Vx 1. 1|
Solucin. Se trata de probar que arc sen x =
2
arc cos x para todo x 1. 1|. Para ello, dado
x 1. 1|, pongamos z =
2
arc cos x. Como, por denicin, 0 6 arc cos x 6 , deducimos
que
2
6z 6
2
. Adems
sen z =sen(,2 arc cos x) =sen(,2) cos(arc cos x) cos(,2) sen(arc cos x)=
=cos(arc cos x) =cos(arc cos x) =x
Hemos probado as que sen z = x, y
2
6 z 6
2
lo que, por denicin, quiere decir que
z =arc sen x.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 6
16. Prueba que tg(arc sen x) =
x
_
1 x
2
para todo x | 1. 1.
Solucin. Como tg z =
sen z
cos z
, deducimos que tg(arc sen x) =
x
cos(arc sen x)
, V x | 1. 1
(hay que excluir los puntos 1 porque arc sen(1) = ,2) . Bastar probar, por tanto, que
cos(arc sen x) =
_
1 x
2
.
Como cos
2
z =1 sen
2
z, deducimos que, cos
2
(arc sen x) =1 x
2
, esto es,
[ cos(arc sen x)[ =
_
1 x
2
Ahora, como
2
6arc sen x 6
2
, se sigue que cos(arc sen x) >0, por lo que
cos(arc sen x) =[ cos(arc sen x)[
y, por tanto, cos(arc sen x) =
_
1 x
2
.
17. Dado un nmero x =0, calcula un nmero t R tal que
1
senh t
=x.
Solucin. Aqu el dato es el nmero x =0. Puesto que senh t =
e
t
e
t
2
, tenemos que calcular
un nmero t que verique la igualdad 2 =x(e
t
e
t
), esto es, x e
2t
2 e
t
x =0. Haciendo
y =e
t
, tenemos que x y
2
2y x =0, por lo que los dos posibles valores para y son
1
_
1 x
2
x
o
1
_
1 x
2
x
Como debe ser y > 0 (porque el valor de una exponencial siempre es positivo), deducimos que
t =log y =
_
_
log
_
1
_
1 x
2
x
_
. si x > 0
log
_
1
_
1 x
2
x
_
. si x < 0
18. Se quiere amortizar una deuda de 60000e el da 31 de diciembre de 20013. Esta deuda ha sido
contrada el da 1 de enero de 2000, y se incrementa cada trimestre al 6 por 100 anual. Para
amortizarla se quiere pagar una cantidad ja el ltimo da de cada mes, empezando el 31 de
enero de 2008 y terminando el 31 de diciembre de 20013. Estas cantidades producen un inters
anual del 3 por 100, que se acumula mensualmente. Qu cantidad hay que abonar cada mes?
Solucin. Como la deuda se incrementa a un inters compuesto (expresado en tanto por uno) del
006,4 cada trimestre, el 31 de diciembre de 2013 la deuda ms los intereses ser igual a:
60000
_
1
006
4
_
24
Llamemos P a la mensualidad que tendremos que pagar al nal de cada mes. Dichas mensualida-
des se capitalizan a inters compuesto del 003,12 cada mes. La primera mensualidad permanece
un total de 71 meses y la ltima, al pagarse el ltimo da del mes no genera ningn inters. La
cantidad total que tendremos el 31 de diciembre de 2013 ser igual a:
P
_
_
1
003
12
_
71
_
1
003
12
_
70
_
1
003
12
_
1
_
=
=P
_
_
1
003
12
_
72
1
_
12
003
=400P
_
_
1
003
12
_
72
1
_
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 7
Donde hemos usado la expresin que da la suma de una progresin geomtrica. En consecuencia,
deber ser:
P
_
_
1
003
12
_
72
1
_
400 =60000
_
1
006
4
_
24
Usando una calculadora se obtiene: P =108874 donde hemos redondeado por exceso.
Podemos tambin hacer el clculo anterior teniendo en cuenta la aproximacin para n grande
_
1
r
n
_
n
e
r
de la siguiente forma:
_
1
003
12
_
72
=
_
1
1
400
_
72
=
_
_
1
1
400
_
400
_
72=400
e
72=400
_
1
006
4
_
24
=
_
1
3
200
_
24
=
_
_
1
3
200
_
200
_
24=200
e
72=200
En consecuencia:
P 150
e
72=200
e
72=400
1
=10902
donde hemos redondeado por exceso.
19. Prueba las igualdades
(a) arc cos x arc sen x =
2
Vx 1. 1|
(b) tan(arc sen x) =
x
_
1 x
2
: sec(arc sen x) =
1
_
1 x
2
Vx | 1. 1
Solucin. (a) Puede comprobarse esta igualdad de muchas formas. Por ejemplo, si despejamos,
podemos escribir la igualdad de la forma:
arc sen x =,2 arc cos x.
Puesto que ,2 6 ,2 arc cos x 6 ,2 y en el intervalo ,2. ,2| la funcin seno es
inyectiva, la igualdad anterior es equivalente a la siguiente: x =sen(,2 arc cos x) la cual es
efectivamente cierta porque, para todo x 1. 1| es:
sen(,2 arc cos x) =sen(,2) cos(arc cos x) cos(,2) sen(arc cos x) =x
(b) Para todo x | 1. 1 es:
tan(arc sen x) =
sen(arc sen x)
cos(arc sen x)
=
x
cos(arc sen x)
.
Ahora como:
cos
2
(arc sen x) =1 sen
2
(arc sen x) =1 x
2
.
y adems cos(arc sen x) > 0, se sigue que cos(arc sen x) =
_
1 x
2
lo que prueba la igualdad
pedida.
Anlogamente, se tiene que:
sec(arc sen x) =
1
cos(arc sen x)
=por lo antes visto =
1
_
1 x
2
.
__
x
_
=
_
__
x
__
2
> 0
Si ahora es x < y se tendr que
(y) = (x (y x)) = (x) (y x) > (x)
Hemos probado as que es estrictamente creciente. Sean ahora m y n =0 nmeros enteros y
xR. Por ser aditiva se tiene que:
n
_
m
n
x
_
=
_
n
m
n
x
_
= (mx) =m (x)=
_
m
n
x
_
=
m
n
(x)
Deducimos que (rx) = r (x) para todo nmero racional r Q y todo x R. En particular,
haciendo x =1 y teniendo en cuenta que (1) =1 (consecuencia inmediata de b)), resulta que
(r) = r (1) = r para todo r Q. Si para algn x R se tuviera que x < (x), entonces
tomamos algn racional r tal que x < r < (x) para obtener la contradiccin
0 < (r x) =r (x) < 0.
Anlogamente, so puede ser x > (x). Concluimos que ha de ser (x) =x para todo xR.
Dpto. de Anlisis Matemtico Universidad de Granada