1/16

TEMAS DE MATEMATICAS
(Oposiciones de Secundaria)
TEMA 22
LA FUNCIN EXPONENCIAL Y LOGARITMICA DE VARIABLE REAL.
SITUACIONES REALES EN LAS QUE APARECEN.
1. La funcin Exponencial de base a.
1.1. Potencias de exponente natural.
1.2. Potencias de exponente entero.
1.3. Potencias de exponente racional.
1.4. Potencias de exponente real.
2. La funcin logaritmo de base a.
3. Funcin Potencial.
4. Situaciones Reales en las que aparecen.
4.1. Funcin Exponencial.
4.2. Funcin Logartmica.
Bibliografa Recomendada.
2/16
TEMA 22
LA FUNCIN EXPONENCIAL Y LOGARITMICA DE VARIABLE REAL.
SITUACIONES REALES EN LAS QUE APARECEN.
1. LA FUNCIN EXPONENCIAL DE BASE a.
1.1. Potencias de Exponente Natural.
Dado un nmero real positivo, a, podemos definir una funcin
f
a
: 3
+
n a
n
siendo a
n
el producto de a por si mismo n veces.
Es fcil comprobar que f
a
: (, +) 3
+
, ) es un homomorfismo:

2 1
, n n tenemos que ( ) ( ) ( )
2 1 2 1

2 1 2 1
n f n f a a a n n f
a a
n n n n
a
+
+
En los siguientes apartados iremos extendiendo el dominio de la f
a
a 9 y a Q hasta
llegar a definirla sobre 3, y siempre verificando que sigue siendo un homomorfismo.
1.2. Potencias de Exponente Entero.
Sea f
a
: (9, +) (3
+
, ) con f
a
homomorfismo de grupos. f
a
verifica que
z
1
, z
2
9 f
a
(z
1
+ z
2
) = f
a
(z
1
) f
a
(z
2
).
Sabiendo que f
a
es un homomorfismo, se cumple:
1) f
a
(z) = f
a
(z + 0) = f
a
(z) f
a
(0) z9 f
a
(0) = 1
2) 1 = f
a
(0) = f
a
(z z) = f
a
(z) f
a
(- z) f
a
(- z) =
( ) z f
a
1
Si escribimos f
a
(z) = a
-z
z9
+
, por convenio podemos decir que
( )

z a
a
z f
z
z a
1
9
+
.
As conseguimos extender el dominio de f
a
de a 9.
1.3. Potencias de Exponente Racional.
Sea rQ un nmero racional. Entonces
q
p
r siendo
q
p
un representante
cualquiera de r, con p9 y q9-{0}.
3/16
Sabemos que f
a
(1) = a por ser 1, y que f
a
debe ser un homomorfismo.
( )
q
a a a
q
f
q
q f f a
]
]
]

,
`

.
|

,
`

.
|

1 1
1
Entonces f

,
`

.
|
q
1
debe ser un nmero real tal que su potencia de grado q sea a.
Comprobemos que ese nmero existe.
PROP Sea g: 3
+
3
+
con g(x) = x
n
. Esta funcin verifica:
1) Es continua.
2) Es estrictamente creciente en 3.
3) +
+
) ( x g lim
x
4) Es un homomorfismo de grupos.
Dem.
1) La funcin g(x) es continua por ser un polinomio.
2) Sean x
1
, x
2
3
+
con x
1
< x
2
.
( ) ( ) ( )( ) 0 .....
1
1
2
1 2 1
2
2
1
2 1 2 1 2 1 2
> + + + +
n n n n n n
x x x x x x x x x x x g x g
3) Como n 1 n n x g(x) n
con x > 1 y como ( ) ( ) + +
+ + +
x g lim x g lim x lim
x x x
4) Hemos de comprobar que (x
1
x
2
)
n
=
n n
x x
2 1

La demostracin la hacemos por induccin.

n = 1 (x
1
x
2
)
1
= x
1
x
2
n = 2 (x
1
x
2
)
2
= (x
1
x
2
) (x
1
x
2
) =
2
2
2
1
x x
Suponemos cierto (x
1
x
2
)
n-1
=
1
2
1
1

n n
x x
Para n ( ) ( ) ( ) ( )( )
n n n n n n
x x x x x x x x x x x x
2 1 2 1
1
2
1
1 2 1
1
2 1 2 1


Luego la igualdad es cierta y g(x
1
x
2
) = g(x
1
) g(x
2
)
4/16
De todo esto obtenemos como conclusin que g(x) es un isomorfismo, existiendo
por tanto su inversa
H: 3
+
3
+
con ( )( ) ( )( ) x g h x x h g o o
Denotaremos como h(x) = x
1/n
Luego a3
+
h(a) = a
1/n
siendo a
1/n
el nmero que verifica que su potencia de
grado n es a.
Podemos escribir que
q
q
q
q
a
q
f a y a
q
f

,
`

.
|

]
]
]

,
`

.
|

,
`

.
|
1 1
1 1
Si rQ con
q
p
r tenemos que
( )
p
q
p
a a a a
a
q
f
q
p f
q
p
f r f

,
`

.
|

]
]
]

,
`

.
|

,
`

.
|

,
`

.
|

1
1
1

y ahora slo nos queda comprobar que el resultado obtenido no depende del
representante elegido para r.
Sea

q
P
q
p
r dos representantes de r. Verifican que pq = pq
( )
p
q
a a
a
q
p
f r f

,
`

.
|

,
`

.
|

1
( )

p
q
a a
a
q
p
f r f

,
`

.
|

,
`

.
|

Veamos que ambas expresiones son iguales:

1 1
pq
pq
q
a
pqq
a
qq
a
a
q
f
q
f
q
p
f

,
`

.
|
]
]
]

,
`

.
|

]
]
]

,
`

.
|

]
]
]

,
`

.
|
q p
q p
q
a
qq p
a
qq
a
a
q
f
q
f
q
p
f

,
`

.
|
]
]
]

,
`

.
|

]
]
]

,
`

.
|

]
]
]

,
`

.
|
y como pq = pq, ambas expresiones coinciden.
Por convenio, denotaremos
q
p
a
a
q
p
f

,
`

.
|
con p9 y q9
*
.
5/16
PROP Si a > 1, entonces +
+
n
n
a lim
Dem.
Si a > 1 a = 1 + x con x > 0.
Por tanto ( ) nx x
n
x
n
nx x a
n n
+ > +

,
`

.
|
+

,
`

.
|
+ + + 1 ......
3 2
1 1
3 2
Y como ( ) + + +
+
n
n n
a lim nx lim 1
PROP La funcin f
a
: Q 3 con f
a
(r) = a
r
verifica las siguientes propiedades:
1)
+
2 1
,
2 1 2 1
r r a a a
r r r r
Q (Es homomorfismo de grupos).
2) ( )
2 1

,
2 1
2
1
r r a a
r r
r
r
Q
3) f
a
es estrictamente creciente si a > 1 y estrictamente decreciente si 0 < a < 1.
4) f
a
es continua rQ.
Dem.
1) Sean
2
2
2
1
1
1
q
p
r y
q
p
r con p
1
, p
2
9 y q
1
, q
2
9
*
( ) ( ) ( )

,
`

.
|

,
`

.
|

1 2 2 1
2 1
2
2
2 1
1
1
2 1
2
2 1
1
2 1
2 1

q p q p
q q
q
p
q q
q
p
q q
r
q q
r
q q
r r
a a a a a a a a
Como p
1
q
2
y p
2
q
1
9 tenemos
( )
2 1
2 1
2 1
2 1
1 2 2 1
1 2 2 1
q q
r r
q q
q q
q p q p
q p q p
a a a
+
+
+

,
`

.
|

Por tanto Q r r a a a
r r r r

+
2 1
,
2 1 2 1
2) Anlogamente a la anterior.
3) Ya hemos comprobado en este mismo apartado que la funcin g(x) = x
n
es
creciente n y g: 3
+
3
+
, e igualmente ( )
n
x x h es tambin creciente n y
h: 3
+
3
+
.
6/16
Como g(x) y h(x) son crecientes, si 1 1 1 1 1 > > > >
m n m n n
a a y a a
Entonces si ( ) > > > > <

1 1 1 2 1 1 1 2 1 2
1 1 0
1 2 2 1
r r r r r r r r r r
a a a a a a a r r r r
>
2 1
,
1 2
r r a a
r r
Q con <
2 1
r r f
a
es creciente para asi 1 > a .
De forma anloga, si < > <
2 1 2 1
, 1
1
1 r r con r r si y
a
d a Q tenemos que
>

,
`

.
|
<

,
`

.
|
2 1
,
1 1
2 1
2 1
r r a a
a a
r r
r r
Q f
a
es decreciente para . 1 < a
4) Como ( ) 1
x y x x y
a a a a tenemos que cuando y x, si se verifica que
0 1
x y
a podemos asegurar que .
x y
a a
Por tanto, para demostrar la continuidad de f
a
en Q, basta demostrarlo en el origen
(r = 0).
Sea > 0 y a > 1 / 1 + n > a
(1 + )
n
> 1 + n > a 1 + > a
1/n
Y por tanto > a
1/n
1 > 0
Luego eQ con 0 r <
n
1
sabiendo que f
a
es creciente tenemos
< 1
r
a
Adems, como
n n n
a a a
1 1 1
1 0 1 0 < < < < .
Y dividiendo por < <

n n
a a
1 1
1 0
Entonces Q r con 0
1
< r
n
se verifica <
r
a 1 0
Uniendo ambas partes:
Q r > > / 0 0 con < < 1
r
a r
Luego f
a
es continua en r = 0 y por lo visto el inicio tambin lo es rQ.
Para demostrarlo con a < 1, basta tomar 1
1
>
a
d y como f
d
es creciente rQ
queda que f
a
es continua para todo valor a positivo.
7/16
1.4. Potencias de Exponente Real.
El homomorfismo f
a
: Q 3 definido en el punto anterior vamos a extenderlo de
forma nica de tal manera que su dominio sea 3. Tengamos en cuenta que x3
(q
i
)Q con (q
i
)
i
un representante de x.
PROP Si (q
i
)
i
Q es una sucesin racional de Cauchy entonces ( )
i
q
a
i
3 es una
sucesin de Cauchy.
Dem.
Sea a > 1 (si a = 1 trivial)
Como q
i
es de Cauchy >
o
n 0 / <
j i
q q si
o
n n
( ) * 1 1

i j i j i j i
q q q q
q
q
q
a K a a a a
porque como q
i
es de Cauchy est acotado K a
i
q

( )

a K 1 *
y como es tan pequeo como queramos, entonces a

es tan cercano a 1 como nos de la

gana ( ) 1 1

< a K
0 0 > > (que verifique la propiedad (1) y por tanto

o
n / <
j i
q
q
a a si
o
n n
i
q
a es de Cauchy en 3. (Anlogamente si a < 1).
Como conclusin tenemos que ( )
i
q
a es de Cauchy y por tanto define un nico
nmero real que denotaremos por a
x
.
Esta definicin no depende del representante elegido, pues si (q
i
)Q es otra
sucesin de Cauchy que representa a x, se verificar que
1 0

i i
q q
i i
a q q
ya que ( )
i i i i
q q q q
a a a

y por tanto ( )
i
q
a
i
y ( )

i
q
a
i
tienen el mismo lmite, definiendo el mismo nmero
real.
PROP La funcin f
a
: 3 3
+
definida por f
a
(x) = a
x
verifica las siguientes
propiedades:
8/16
1) f
a
es estrictamente creciente si a > 1 y estrictamente decreciente si a < 1.
2) f
a
: (3, +) (3
+
, ) es un homomorfismo de grupos.
3) f
a
es continua.
4) ( )
2 1
2
1
x x
x
x
a a y ( )
x x x
b a ab
5) Si a > 1

'

+

+
0
x
x
x
x
a lim
a lim
y si a < 1

'

+
x
x
x
x
a lim
a lim 0
Dem.
1) Sea a > 1.
Si
2 1 2 1
/ , x s r x Q s r x x < < < <
Sean (q
i
)
i
Q y (q
i
)
i
Q representantes de x
1
y x
2
respectivamente.
Como x
1
= lim q
i
e x
2
= lim q
i

n
o
/ i n
o
q
i
< r < s < q
i

Por tanto
o
q s r q
n i a a a a
i i
< < <

Y entonces
2 1
x s r x
a a a a < < <
Siendo f
a
creciente estrictamente.
El caso a < 1 se demuestra de forma anloga, basta tomar
1
1
>
a
d
2) Sea f
a
: 3 3
+
Si x
1
, x
2
3 sean (q
i
)
i
Q y (q
i
)
i
Q dos representantes de x
1
y x
2
.
Entonces (q
i
+ q
i
)
i
es un representante de x
1
+ x
2
Luego ( )
i
q
a
i
, ( )

i
q
a
i
y ( )

i i
q q
a
+
i
son representantes de x
1
, x
2
y x
1
+ x
2
respectivamente.
9/16
Como f
a
: Q 3
+
es un homomorfismo de grupos, se verifica

i i i i
q q q q
a a a
+
entonces

+
2 1
,
2 1 2 1
x x a a a
x x x x
3
Y como ( ) ( ) ( )
2 1 2 1

2 1 2 1
x f x f a a a x x f
a a
x x x x
a
+
+
Entonces f
a
: 3 3
+
es homomorfismo.
3) Anlogamente al caso de la funcin exponencial racional, basta que demostremos
que f
a
es continua x = 0.
Sabemos que < < > > 1 / 0 0
q
a q Q q
x 3 con < < < < < s x r Q s r x / ,
Si a > 1
s x r
a a a < <
Entonces + < < < < 1 1
s x r
a a a
Y > > x / 0 0 3 con < < 1
x
a x
Si a < 1
s x r
a a a > >
Entonces + < < < < 1 1
r x s
a a a
Y > > x / 0 0 3 con < < 1
x
a x
4) ( )
2 1
2
1
x x
x
x
a a
Sea (q
i
)
i
Q un representante de x
1
y (q
i
)
i
Q de x
2
.
Entonces lim q
i
= x
1
y lim q
i
= x
2
Como ( )

i i
i
i
q q
q
q
a a (ya visto en el punto anterior) y si tenemos en cuenta que:
1)
x q
a a lim
i

10/16
2) ( )

i
q
x x g es continua Q q
i

tenemos que
( )

1 1 i
i q x
q
x
a a
y como f
a
es continua
( )
2 1
2
1
x x
x
x
a a
( )
x x x
b a ab
Inmediata.
5) Para a > 1.
Que +
+
x
x
a lim es consecuencia de +
+
n
n
a lim y que f
a
es creciente.
0
1

+

+
y
y
y
x
x
x
a
lim a lim a lim
De forma anloga se demuestra para a < 1.
PROP La funcin exponencial de base a (a 1), f
a
: (3, +) (3
+
, ) es un isomorfismo
de grupos.
Dem.
1) Como
+
2 1 2 1

x x x x
a a a f
a
es homomorfismo.
2) f
a
(x) = a
x
es estrictamente creciente Inyectiva f
a
es continua y Rec f
a
= 3
+

suprayectiva.
Si f
a
es homomorfismo y biyectiva f
a
es Isomorfismo.
2. LA FUNCIN LOGARITMO DE BASE a.
En el punto anterior hemos demostrado que la funcin
f
a
: (3, +) (3
+
, )
x f
a
(x) = a
x
es un isomorfismo de grupos. Por tanto existe la funcin recproca de f
a
, f
1
a
, que
llamaremos funcin Logaritmo en base a, y se denota por
a a
f log
1

.
:
1
a
f (3
+
, ) (3, +)
11/16
x ( ) x x f
a a
log
1

verificndose
( ) x
a
x
a x a
a
log
log

ya que
( )( ) ( )( ) x f f x x f f
a a a a
o o
1 1

PROP La funcin log
a
: 3
+
3 verifica las siguientes propiedades:
1) log
a
es estrictamente creciente si a > 1 y estrictamente decreciente si a < 1.
2) log
a
: (3
+
, ) (3, +) es un homomorfismo de grupos.
3) log
a
es continua.
4) Si a > 1

'

+

+
x lim
x lim
a
x
a
x
log
log
y si a < 1

'

+


+
x lim
x lim
a
x
a
x
log
log
Dem.
1) Sea a > 1 y x
1
< x
2
Sabemos que
2 1
x x
a a < ya que la funcin a
x
es creciente estrictamente.
1 1
log
log
1
x
a
x
a a x
a

2 2
log
log
2
x
a
x
a a x
a

Supongamos que log
a
x
1
log
a
x
2
Entonces
2 1
log log
1 1
x x a a
x x
a a
lo que es una contradiccin.
Luego log
a
x
1
log
a
x
2
y la funcin log
a
x es una funcin estrictamente creciente.
De forma anloga se demuestra a < 1.
2) Como a
0
= 1 log
a
1 = 0 ( ( ) e e f
a

1
transforma el neutro en el neutro).
x
1
, x
2
3
+

'

+
+
2 1 2 1
2 1 2 1
2 1
log log log
log log log log
2 1
log
2 1

x x x x
x x x x
x x
a a a
a a a a
a
a a
a a a x x
a x x
12/16
Al ser a
x
una funcin inyectiva se verifica
2 1 2 1
log log log x x x x
a a a
+
que es lo mismo que:
( ) ( ) ( )
2
1
1
1
2 1
1
x f x f x x f
a a a

+
3) Inmediata.
4) Los lmites son inmediatamente deducibles sin ms que tener en cuenta que
log
a
x y a
x
son funciones recprocas.
PROP Se verifica:
1) x y x y
a
x
a
log log 3 0 > y
2) 0 , , log log log > y b a b y y
a b a
Dem.
1) ( )
y x
x
y x
a a
a a y
log log

Entonces
y x a y
a
y x
a
x
a
a
log log log
log

Luego
y x y
a
x
a
log log
2) Sabemos que
y
b
b y
log

Entonces
y
a a
b
b y
log
log log
Y aplicando el apartado anterior
b y b
a b
y
a
b
log log log
log

Luego
b y y
a b a
log log log
13/16
Hay un caso especial de funciones exponenciales, que son aquellas en las que la
base es el nmero e. Estos son muy tiles a la hora de hacer estudios fsicos ya que
aparecen con gran frecuencia en los problemas de crecimiento de poblaciones.
La funcin recproca de la exponencial f(x) = e
x
, es el logaritmo en base e de x, o
tambin llamado logaritmo neperiano de x (en honor a Juan Neper), Lnx. En concreto,
para los matemticos, el logaritmo en base e es el mas importante debido en gran parte a
que es la integral de la funcin ( )
x
x f
1
, aunque esto se salga del tema, pero su
utilizacin es muy grande y la tendencia natural es a manejarlos con mayor frecuencia
que ninguno, pudiendo transformar cualquier otro logaritmo en neperiano mediante la
expresin:
a
x
x
a
ln
ln
log
3. FUNCIN POTENCIAL.
DEF Llamamos funcin potencial a f: 3
+
3
+
con f(x) = x
r
siendo r3
+
.
La definicin tiene sentido ya que r3
+
y como x3
+
el smbolo x
r
podra ser
considerado de forma puntual como la funcin exponencial de base x.
PROP La funcin potencial f(x) = x
r
verifica las siguientes propiedades:
1) Es estrictamente creciente si r > 0 y estrictamente decreciente.
2) Si r < 0 f: (3
+
, ) (3
+
, ) f(x) = x
r
es un homomorfismo de grupos.
3) Es continua en todo su dominio.
4) Si

'

>
+

+
r
x
r
x
x lim
x lim
r
0
0
0
y si r < 0

'

+
+

+
0
0
r
x
r
x
x lim
x lim
Dem.
Esta proposicin casi en su totalidad la tenemos demostrada antes en el caso de que
r sea un natural. Demostrmosla ahora con r3.
Si tenemos en cuenta que
x r r
a
a x
log

Podemos definir ( )
x
a x g y ( ) x r x h
a
log
Verificndose que ( ) ( )( ) x h g x f o
14/16
1) Si elegimos a < 1, g(x) es estrictamente creciente y h(x) tambin en caso de que
r > 0. Si r < 0 entonces h(x) es estrictamente decreciente. Al componer ambas
funciones, se demuestra lo que queramos.
2) f(x) = x
r
es un homomorfismo de grupos por ser composicin de dos
homomorfismos.
Por tanto ( ) ( ) ( )
2 1 2 1
x f x f x x f
Y es ( )
r r r
x x x x
2 1 2 1

3) f(x) = x
r
es continua por ser composicin de funciones continuas en todo su
dominio.
4) Inmediato.
4. SITUACIONES REALES EN LAS QUE APARECEN.
4.1. Funcin Exponencial.
a) La desintegracin atmica.
( )
Kt
o
e N t N

siendo
N
o
= nmero de tomos inicial (t = 0)
K = constante de desintegracin del elemento.
b) Enfriamiento de un cuerpo.
( ) ( )

+
t
a
Kn kt Kt
dn e n M K e be t f
K = constante.
b = temperatura en t = a.
M(t) = temperatura ambiental.
c) Cada de un cuerpo en un medio resistente.
( )

,
`

.
|
+

1
2
2
m
Kt
e
K
gm
K
mg
t f
d) Crecimiento de Poblaciones.
La funcin exponencial aparece al calcular el crecimiento de una poblacin donde
la tasa de crecimiento se mantiene constante, pudiendo ser positiva o negativa.
15/16
Kt
o
e P P
P
o
= tamao inicial de la poblacin.
K = tasa de crecimiento.
t = tiempo transcurrido.
Con el paso del tiempo, diversos factores influyen en el crecimiento de la poblacin
haciendo que la funcin exponencial de adapte a la funcin logstica, moderando su
crecimiento (o decrecimiento).
Las funciones logsticas tienen como expresin
( )
Kt
e A
B
t c

1
e) Problemas de Inters Compuesto y Continuo.
En los problemas de inters compuesto, disponemos de un capital inicial que va
incrementndose al aadirle los intereses producidos. Si el capital inicial es C
o
y el
inters es I, el capital C que tendremos al cabo de t aos ser
( )
t
o
I C C + 1
llamado capital compuesto.
Si los intereses se devengan cada instante (cada infinitsimo de tiempo) la expresin
para el capital C es
rt
o
nt
o
n
e C
n
I
C lim C 1

,
`

.
|
+

llamado capital continuo.
4.2. Funcin Logartmica.
a) La Escala de Richter.
La escala de Richter es una escala logartmica de base 10 que mide la fuerza o
intensidad de los terremotos. Al ser su base 10, un terremoto de intensidad 5 es 10 veces
mayor que otro de intensidad 4, 100 veces mayor que otro de intensidad 3 y as
sucesivamente.
Teniendo en cuenta esto, un terremoto de escala 84 es 501 veces ms intenso que
otro de escala 77, ya que
16/16
01 5 10
10
10
7 0
7 7
4 8

b) pH.
El pH de una solucin es la medida de su acidez, y mide la concentracin de iones
[H
+
], que son los tomos de hidrgeno por litro.
[ ]
+

O H
pH
3
10
1
log
c) Regla de Clculo.
La regla de Clculo sirvi, hasta la aparicin de las calculadoras, para simplificar
operaciones complicadas. Se apoya en las propiedades de los logaritmos que permiten
traducir productos en sumas, cocientes en restas, potencias y races en productos y
cocientes, etc.
Bibliografa Recomendada.
Anlisis Matemtico I. Aut. J.A. Fernndez Via. Ed. Tecnos
Lecciones de Clculo Infinitesimal I. Aut. R. Molina Legaz, M. Franco. Ed.
Universidad de Murcia.
Principios de Anlisis Matemtico. Aut. W. Rudin. Ed. McGraw-Hill
Curso de Anlisis Matemtico I. Aut. E.L. Luna. Ed. Edunsa, 1991.
Calculus. Aut. M. Spivak. Ed. Revert.
Anlisis Matemtico. Aut. M. de Guzmn, B. Rubio. Ed. Pirmide.
Calculus. Aut. Apostol. Ed. Revert
Introduccin al Anlisis Matemtico. Aut. J.M. Ortega. Ed. Labor