Ejercicios de Anlisis Matemtico

Nmeros, desigualdades y funciones elementales

1. Qu quiere decir que un nmero no es racional? Demuestra que
_
2 no es racional.
Solucin. Que un nmero no es racional quiere decir que no puede escribirse como cociente de
nmeros enteros. Para probar que un nmero es irracional suele razonarse por contradiccin: se
supone que el nmero en cuestin es racional y se llega a una situacin contradictoria. Una prueba
clsica de que
_
2 es irracional es como sigue. Supongamos que
_
2 fuera racional. Entonces
existirn nmeros naturales m y n sin factores comunes, en particular m y n no podrn ser ambos
pares, tales que
_
2 =
m
n
, esto es, 2n
2
=m
2
. La igualdad 2n
2
=m
2
nos dice que m
2
es par lo
cual implica que tambin tiene que serlo m. As podemos escribir m=2p . Sustituyendo en la
igualdad anterior y simplicando tenemos que n
2
=2p
2
, y de aqu se sigue, al igual que antes,
que n tiene que ser par y sta es la contradiccin anunciada.
2. Calcula para qu valores de x se verica que
2x 3
x 2
<
1
3
.
Solucin. Claro est, x = 2 (recuerda, no se puede dividir por 0). Como al multiplicar una
desigualdad por un nmero positivo la desigualdad se conserva, deducimos que si x > 2, la
desigualdad dada equivale a 6x 9 < x 2, es decir, x < 11,5. Luego para 2 < x < 11,5 la
desigualdad es cierta. Veamos ahora qu pasa si x < 2. En tal caso, al multiplicar por x2 < 0
la desigualdad equivale a 6x 9 > x 2, es decir, x > 11,5 condicin que no puede darse si
x 2 < 0. En resumen, la desigualdad es cierta para 2 < x < 11,5.
Otra forma de proceder consiste en utilizar el hecho de que una desigualdad es equivalente a
la obtenida al multiplicarla por una cantidad positiva. Multiplicando la desigualdad dada por
(x 2)
2
obtenemos que dicha desigualdad equivale a la siguiente
(2x 3)(x 2) <
1
3
(x 2)
2
Haciendo las operaciones indicadas obtenemos que esta desigualdad es lo mismo que
5x
2
x 22 < 0. Las soluciones de la ecuacin 5x
2
x 22 =0 son a =2 y b =11,5.
Por tanto, 5x
2
x 22 =5(x 2)(x 11,5). Resulta as que la desigualdad dada equivale a
(x 2)(x 11,5) < 0. Teniendo en cuenta que para que un producto de dos nmeros sea nega-
tivo dichos nmeros deben ser uno positivo y otro negativo, concluimos que debe ser x 2 > 0
y x 11,5 < 0, es decir 2 < x < 11,5 (la otra posibilidad x 2 < 0 y x 11,5 > 0 no
puede darse).
3. Calcula para qu valores de x se verica que
3(x a)a
2
< x
3
a
3
< 3(x a)x
2
Solucin. La desigualdad del enunciado equivale a las siguientes dos desigualdades:
x
3
a
3
3(x a)a
2
> 0: x
3
a
3
3(x a)x
2
< 0
Teniendo en cuenta que x
3
a
3
=(x a)(x
2
ax a
2
), resulta
x
3
a
3
3(x a)a
2
=(x a)(x
2
ax 2a
2
) =(x a)
2
(x 2a)
x
3
a
3
3(x a)x
2
=(x a)(2x
2
ax a
2
) =2(x a)
2
(x a,2)
Deducimos que la desigualdad del enunciado se verica si, y slo si, x = a, x 2a > 0, y
x a,2 > 0.
Si a > 0 entonces x 2a > x a,2 y la desigualdad se cumple si, y slo si, x > a,2 y
x =a.
Si a < 0 entonces x a,2 > x 2a y la desigualdad se cumple si, y slo si, x > 2a.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 2
4. Sabiendo que a b > c d. a > b. c > d; se verica necesariamente alguna de las
desigualdades: a > c. a > d. b > c o b > d ? Dar una prueba o un contraejemplo en cada
caso.
Solucin. Que las letras no te despisten: lo que te estn diciendo es que si la suma de dos nmeros
distintos entre s es mayor que la suma de otros dos nmeros distintos entre s, es cierto, por
ejemplo, que el mayor del primer par es ms grande que el mayor del segundo par? Est claro
que no tiene por qu ser as: los otros sumandos pueden compensar la diferencia. Por ejemplo
252250 > 5001. Concluimos que no tiene por qu ser cierto que a > c ni tampoco b > c. El
ejemplo 500 2 > 251 250 prueba que tampoco tiene por qu ser b > d. Intenta ahora buscar
un ejemplo en el que no se cumpla que a > d (pero no le dediques ms de cinco minutos). Ya?
No lo habrs encontrado porque, si lo piensas un poco, vers que tiene que ser necesariamente
a > d. Intenta demostrarlo (aunque tengas que dedicarle ms de cinco minutos).
Lo primero que se le ocurre a uno es escribir a > (c b) d. Si c b fuera siempre positivo
habramos acabado (y tambin habramos demostrado ms de lo que queremos), pero no tiene
por qu ser as, por ejemplo 9 8 > 2 1. La demostracin directa no parece viable. En estos
casos tenemos que intentar un camino indirecto. Probemos que no puede ocurrir que a 6 d. Eso
es fcil. Fjate: si fuera a 6d, como nos dicen que b < a y d < c, tambin sera b < d y a < c;
pero entonces a b < c d lo que es contrario a la hiptesis hecha. Luego concluimos que
a > d.
5. Supuesto que 0 < a < x < b, prueba que se verica la siguiente desigualdad.
1
x

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
.

Dpto. de Anlisis Matemtico Universidad de Granada

Ejercicios de Anlisis Matemtico 8
20. Prueba por induccin la igualdad:
sen
x
2
(sen x sen 2x sen nx) =sen
nx
2
sen
n 1
2
x
Solucin. La igualdad es evidentemente cierta para n = 1. Supongamos que es cierta para un
nmero natural n y probemos que entonces lo es tambin para n 1. Tenemos:
sen
x
2
(sen x sen nx sen(n 1)x) =sen
nx
2
sen
n 1
2
x sen
x
2
sen(n 1)x
En consecuencia, todo se reduce a probar que:
sen
nx
2
sen
n 1
2
x sen
x
2
sen(n 1)x =sen
(n 1)x
2
sen
n 2
2
x
Usando que sen(2a) =2 sen a cos a y que sen a sen b =2 sen
a b
2
cos
a b
2
, tenemos:
sen
nx
2
sen
n 1
2
x sen
x
2
sen(n 1)x=
=sen
nx
2
sen
n 1
2
x sen
x
2
_
2 sen
n 1
2
x cos
n 1
2
x
_
=
=sen
n 1
2
x
_
sen
nx
2
2 sen
x
2
cos
n 1
2
x
_
=
=sen
n 1
2
x
_
sen
nx
2
sen
n 2
2
x sen
nx
2
_
=sen
(n 1)x
2
sen
n 2
2
x
como queramos probar.
21. Sean a. b R tales que a
2
b
2
=1 y a =1. Denamos
0 =2 arc tg
b
a 1
Prueba que cos 0 =a, sen 0 =b.
Solucin. Puesto que lo que conocemos es tg(0,2), la idea es relacionarla con sen 0 y con cos 0.
Teniendo en cuenta que cos x =cos
2
(x,2) sen
2
(x,2), que sen x =2 sen(x,2) cos(x,2) y que
1 =sen
2
(x,2) cos
2
(x,2), obtenemos:
cos x =
cos
2
(x,2) sen
2
(x,2)
sen
2
(x,2) cos
2
(x,2)
=
1 tg
2
(x,2)
1 tg
2
(x,2)
sen x =
2 sen(x,2) cos(x,2)
sen
2
(x,2) cos
2
(x,2)
=
tg(x,2)
1 tg
2
(x,2)
Teniendo en cuenta ahora que a
2
b
2
=1 y que tg(0,2) =
b
1 a
, se comprueba fcilmente que:
cos(0) =
1 tg
2
(0,2)
1 tg
2
(0,2)
=a. sen(0) =
tg(0,2)
1 tg
2
(0,2)
=b

22. Sea : R R una funcin que verica las propiedades:

a) (x y) = (x) (y) para todos x. y R.
b) (xy) = (x) (y) para todo x. y R.
Dpto. de Anlisis Matemtico Universidad de Granada
Ejercicios de Anlisis Matemtico 9
Demuestra que o bien es (x) =0 para todo xR o bien es (x) =x para todo xR.
Solucin. Si una tal funcin se anula en algn a =0, resulta que para todo xR se tiene
(x) =
_
a
x
a
_
= (a)
_
x
a
_
=0
y es la funcin idnticamente nula. Excluido este caso, deber ser (x) =0 para todo x R.
Dado x > 0, tenemos que
(x) =
__
x
_
x
_
=
__
x
_

__
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