Professional Documents
Culture Documents
Universidad de Zaragoza
Capı́tulo 11
Funciones elementales
La familiaridad que a través del uso hemos llegado a adquirir con funciones como la exponencial,
el logaritmo, las funciones trigonométricas, pueden habernos hecho olvidar que en realidad nunca
hemos establecido una definición ‘analı́tica’ rigurosa de todas ellas. Mediante consideraciones
gráficas, en algunos casos, o confiando en la autoridad de turno en otros, hemos aceptado ciertas
propiedades (entre ellas, nada menos que su existencia ), de las que hemos ido deduciendo las
demás.
Excepciones notables a esta situación han sido la función logaritmo y la función exponencial. En
el capı́tulo de integración, el segundo teorema fundamental del cálculo integral nos proporcionó un
método de construcción de la función logaritmo como primitiva de la función 1/x, obteniéndose
luego la función exponencial como inversa del logaritmo. No es esta la única manera de construir
estas funciones, como vamos a probar a continuación, invirtiendo el proceso: definiremos primero la
función exponencial como suma de una serie, y después el logaritmo como inversa de la exponencial.
Igualmente definiremos las funciones seno y coseno como sumas de ciertas series de potencias,
demostrando después que las funciones ası́ definidas tienen todas las propiedades ‘tradicionales’
de estas funciones. En la última sección, veremos cómo también es posible construir las funciones
trigonométricas por el método de “las primitivas”, empezando con las funciones trigonométricas
inversas.
Situémonos, pues, “en el principio de los tiempos”, como si nunca hubiésemos oido hablar de las
funciones citadas, y sin más herramientas que los conocimientos teóricos aprendidos a lo largo del
curso (¡que no se apoyan en las propiedades de estas funciones!) probaremos su existencia par-
tiendo de cero, “creándolas de la nada”, bien mediante series de potencias, bien mediante primitivas
construidas por integración.
Hemos visto cómo dando por conocidas las propiedades básicas de derivación de las funciones
elementales podı́amos obtener una representación de las mismas mediante series de potencias.
Sin embargo, desde el punto de vista del desarrollo lógico del Análisis Matemático, serı́a más
conveniente proceder al revés, es decir, tomar como punto de partida las series para definir las
funciones elementales y obtener de tal definición todas sus propiedades. Esbozaremos en lo que
sigue cómo podrı́a llevarse a cabo tal programa.
177
178 CAPÍTULO 11. FUNCIONES ELEMENTALES
Como siempre, el número exp(1) se denota por e, y se escribe ex en lugar de exp(x), notación
justificada por la propiedad (5) que probaremos a continuación.
Propiedades 11.1.2. 1) La función exponencial es derivable (indefinidamente) y su derivada
es ella misma: para cada x ∈ R,
(ex )0 = ex .
2) e0 = 1.
3) Para cada x ∈ R,
1
e−x = ,
ex
y, en particular, ex 6= 0.
4) Dados x, y ∈ R,
ex+y = ex · ey .
6) Para cada x ∈ R,
ex > 0 .
8) Se tiene
lı́m ex = +∞ , lı́m ex = 0 .
x→+∞ x→−∞
y
elog x = x cualquiera que sea x ∈ (0, +∞) .
2) log 1 = 0, log e = 1.
8) Se tiene
lı́m log x = +∞, lı́m = −∞ .
x→+∞ x→0+
Demostración. 1) La exponencial es una aplicación biyectiva de R sobre (0, +∞), luego su inversa (el
logaritmo) es automáticamente continua. Estamos en condiciones de aplicar el teorema de derivación
de la función inversa para concluir que el logaritmo es derivable en cada x ∈ (0, +∞), con derivada
1 1 1
log0 x = = = .
exp0 (log x) exp(log x) x
2) Obvio.
3) Basta tener en cuenta que
1 1 1
elog x = = log x = e− log x .
x e
4) Análogamente
elog(xy) = xy = elog x · elog y = elog x+log y .
Cuando a > 1, esta función tiene propiedades similares a la función exponencial anteriormente
estudiada; si a = 1, es una función constantemente igual a 1, y si a < 1, la diferencia esencial
con la función exponencial de base e estriba en que la función exponencial de base a es entonces
estrictamente decreciente.
Propiedades interesantes que se obtienen directamente de la definición y de lo que hemos visto
para las funciones ex y log x son las siguientes:
1) (ab)x = ax bx .
2) (ax )y = axy .
Definición 11.1.7. Dado a > 0, a 6= 1, la función logarı́tmica de base a se define en (0, +∞)
mediante la fórmula
log x
loga x = .
log a
Es inmediato comprobar que esta función es la inversa de la función exponencial de base a.
Como propiedad adicional interesante se tiene:
Estas funciones están bien definidas, pues las series de potencias que figuran en las fórmulas
tienen radio de convergencia +∞.
2) El seno es una función impar, mientras que el coseno es una función par: es decir, cualquiera
que sea x ∈ R se tiene
3) sen 0 = 0; cos 0 = 1.
4) Para cada x ∈ R es
sen2 x + cos2 x = 1 .
sen(x + y) = sen x cos y + cos x sen y ; cos(x + y) = cos x cos y − sen x sen y ;
sen(x − y) = sen x cos y − cos x sen y ; cos(x − y) = cos x cos y + sen x sen y .
Demostración. (1), (2) y (3) son consecuencia inmediata de la definición y de las propiedades de
las series de potencias.
4) Más cómodo que manejar las series es proceder por derivación. Definiendo f : x ∈ R → f (x) =
sen2 x + cos2 x ∈ R, a partir de (1) obtenemos
Es claro que, como consecuencia de (4), para todo t ∈ R es | sen t| ≤ 1, | cos t| ≤ 1. Se sigue
fácilmente por inducción, usando (1), que |f (n) | ≤ 1 y |g (n) | ≤ 2 para cada n, luego
∞ ∞
X f (n) (0) X g (n) (0)
f (x) = xn y g(x) = xn (x ∈ R).
n! n!
n=0 n=0
Notemos que f (0) = g(0) = sen y. Resulta que f 0 (x) = cos(x + y) y g 0 (x) = cos x cos y − sen x sen y,
luego también f 0 (0) = g 0 (0) = cos y. Derivando de nuevo vemos que f 00 = −f y g 00 = −g, por lo que
está claro que tendremos f (n) (0) = g (n) (0) para todo n. Por su expresión como series de potencias,
obtenemos que f = g, y entonces f 0 = g 0 , que son las dos igualdades que habı́a que probar.
x3
sen x > x − >0 siempre que 0 < x ≤ 1
3!
y que
43 45 47 49
sen 4 < 4 −+ − + < 0,
3! 5! 7! 9!
de donde se deduce que el seno no se anula en (0, 1] pero que, según el teorema de Bolzano, debe
anularse al menos en un punto comprendido entre 1 y 4. Por tanto, está perfectamente determinado
el número real
π = inf{x > 0 : sen x = 0}
y es mayor o igual que 1 (luego > 0). Para asegurar que π es el mı́nimo del conjunto, o sea, que
pertenece a él, basta tener en cuenta que es punto adherente del conjunto y emplear la continuidad
del seno.
Ası́ sen x 6= 0 para todo x ∈ (0, π) y por continuidad el seno debe mantener el signo en todo
este intervalo. De acuerdo con la primera desigualdad que hemos escrito, debe ser estrictamente
positivo en él.
2) Como sen2 π + cos2 π = 1, se deduce que cos2 π = 1 y por tanto cos π = 1 o cos π = −1. Pero si
cos π = 1, como cos 0 = 1, el teorema de Rolle darı́a la existencia de algún punto t ∈ (0, π) en el
que se anuları́a la derivada del coseno, con lo cual serı́a sen t = 0 contra lo que acabamos de probar.
Puesto que cos π = 2 cos2 π2 − 1, debe ser cos π2 = 0, lo que obliga a que sen2 π2 = 1. Como
0 < π2 < π, sen π2 debe ser positivo y por tanto igual a 1.
3) Las igualdades de (3,1) son consecuencia de las fórmulas de adición y de los valores previamente
calculados. La de (3,2) se comprueba por inducción.
los valores del seno en el intervalo 0, π2 , podemos obtener los valores en
Con esto, conociendo
el intervalo π2 , π usando que sen x = sen (π − x); por ser el seno impar, pasamos entonces a todo
que es estrictamente positiva en (0, π). En consecuencia, el coseno (que en cada punto x tiene por
11.1. FUNCIONES ELEMENTALES Y SERIES DE POTENCIAS 183
y x = kπ.
8) Similar a la anterior.
Tenemos ahora dos versiones de las funciones seno y coseno: la ‘versión analı́tica’ que venimos
explorando y la ‘versión geométrica’ de la Trigonometrı́a (=medición de triángulos). La coherencia
entre ambas versiones la prueba la siguiente proposición, que a su vez justifica las afirmaciones que
hicimos al definir los argumentos de un número complejo no nulo.
Proposición 11.1.11. Dados x, y ∈ R tales que x2 + y 2 = 1, existe un α ∈ R de modo que
cos α = x, sen α = y .
cos β = x, sen β = y,
sen(β − α) = y x − x y = 0,
luego por lo visto anteriormente existirá un m ∈ Z tal que β − α = mπ. Si m fuese de la forma
2k + 1, k ∈ Z, resultarı́a cos(β − α) = −1, mientras que
cos(β − α) = x x + y y = x2 + y 2 = 1,
Gráficamente, esta proposición significa que para cada punto sobre la circunferencia de centro
el origen y radio unidad, hay un número real que mide el ángulo que forma el radio correspondiente
al punto con el eje de abscisas, y que dicho número está unı́vocamente determinado salvo múltiplos
enteros de 2π; el coseno del “ángulo” es la abscisa del punto, y el seno es la ordenada.
En resumen, en este apartado hemos definido las funciones seno y coseno, y hemos demostra-
do todas las propiedades fundamentales necesarias para cubrir el uso habitual que hemos venido
realizando de las mismas desde el bachillerato. En este punto, podemos continuar rigurosamente
el estudio de las restantes funciones trigonométricas (tangente, cotangente, secante, cosecante) y
de las llamadas funciones trigonométricas inversas, que como sabemos son “inversas parciales” de
las anteriores, es decir, inversas de la restricción de las anteriores a subdominios adecuados. Serı́a
muy largo completar todos los detalles, pero queremos al menos detenernos en la función arco seno,
que veremos en la próxima sección que puede ser construida y estudiada mediante integración, de
forma paralela a la definición que hicimos en su momento del logaritmo.
184 CAPÍTULO 11. FUNCIONES ELEMENTALES
está bien definida, es impar continua en [−1, 1] y derivable en (−1, 1), con
1 x
A0 (x) = √ y A00 (x) = .
1 − x2 (1 − x2 )3/2
En consecuencia
lı́m A0 (x) = +∞,
x→±1
1 1 1
0≤ √ ∼√ , (t → 1)
1−t 2 2 (1 − t)1/2
1 1 1
0≤ √ ∼√ , (t → −1),
1−t 2 2 (1 + t)1/2
Nota. Una vez más, la interpretación analı́tica y la geométrica son concordantes. Dado y ∈ [−1, 1],
A(y) es la longitud del arco de la circunferencia unidad que tiene y por seno: pues si parametrizamos
la “semicircunferencia de la derecha” por
( √
x(t) = 1 − t2
−1 ≤ t ≤ 1 →
y(t) = t,
ası́ que Z y Z y
p 1
s= x0 (t)2 + y 0 (t)2 dt = √ dt
0 0 1 − t2
es la longitud del arco desde el punto de ordenada 0 hasta el punto de ordenada y.
11.2. FUNCIONES TRIGONOMÉTRICAS 185
Es muy fácil ver con esta definición que 3 < π < 4: por un lado, para cada x ∈ (0, 1) se cumple
que 1 − x2 = (1 − x)(1 + x) > 1 − x, y por tanto
1 1 √
Z Z
1 1 h ix=1
√ dx < √ dx = − 2 1 − x = 2,
0 1 − x2 0 1−x x=0
de donde π < 4.
Por otra parte, como 1−x2 < 1 también tenemos que √ 1 > 1 y, como 1−x2 = (1+x)(1−x) <
1−x2
2(1 − x), que √ 1 > √1 √ 1 .
1−x2 2 1−x
Usamos la primera desigualdad en (0, 1/2) y la segunda en (1/2, 1) para obtener
Z 1/2 √ Z 1
1 √ h √ ix=1
π>2 1 dx + 2 √ dx = 1 + 2 − 2 1 − x = 1 + 2 = 3.
0 1/2 1−x x=1/2
Ya hemos comentado cómo se relaciona la definición que hemos dado de π con la definición
geométrica más habitual, en función de la longitud de la circunferencia unidad. Vimos en su mo-
mento cómo se corresponde la noción de área con la integral, y conforme a ello reencontramos π
como valor del área del cı́rculo unidad.
Dejamos como ejercicio probar que el área de un cı́rculo de radio R es πR2 (y que la longitud
de su circunferencia es 2πR).
El número π tiene una historia multimilenaria, por lo que no es extraño que abunde el folklore
en torno a él. Dos referencias interesantes son [Berggren-Borwein-Borwein] y [Delahaye].
Para obtener ahora el seno y el coseno, podemos proceder ası́: dado que A es biyectiva, existe su
inversa, a la que llamaremos S. Ası́, S aplica biyectivamente [−π/2, π/2] sobre [−1, 1] y es creciente,
y como A0 no se anula en (−1, 1) resulta que S es derivable en (−π/2, π/2), con S 0 (x) = A0 (S(x))
1
=
p
2
1 − S (x). De hecho S es derivable en [−π/2, π/2] con la expresión anterior, ya que por la regla
de L’Hospital
S(π/2) − S(x)
= lı́m S 0 (x) = lı́m
p
lı́m 1 − S 2 (x) = 0
x→π/2 π/2 − x x→π/2 x→π/2
Reencontramos las series de potencias conocidas en nuestra anterior definición del seno y el coseno,
ambas con radio de convergencia +∞, y por tanto las funciones que definen en R extienden a S
y C. De este modo cerramos el cı́rculo, y podemos remitirnos a la sección anterior en cuanto se
refiere a sus propiedades.
R1
Tenemos que π(G(0) + G(1)) = H(1) − H(0) = 0 H 0 (x)dx, es decir
Z 1
1
G(0) + G(1) = H 0 (x)dx.
π 0
Pero
k=0 k=0
n−1
X Xn
= bn (−1)k π 2n−2k f (2k+2) (x) + (−1)k π 2n−2(k−1) f (2k) (x) sen πx
k=0 k=0
n
X n
X
n k−1 2n−2(k−1) (2k)
(−1)k π 2n−2(k−1) f (2k) (x) sen πx
=b (−1) π f (x) +
k=1 k=0
n 2n+2 2 n
=b π f (x) sen πx = π a f (x) sen πx ,
es decir, Z 1
G(0) + G(1) = π an f (x) sen πxdx,
0
lo que lleva a
an
0 < G(0) + G(1) < π
<1
n!
P πx ≤ 1 para cada x ∈ (0, 1).
porque 0 < f (x) < 1/n! y 0 < sen
Sin embargo, tanto G(0) = nk=0 (−1)k an−k bk f (2k) (0) como G(1) son números enteros, y en-
tonces G(0) + G(1) es un número entero del intervalo (0, 1), contradicción.
Bibliografı́a
[Berggren-Borwein-Borwein] Berggren, L.; Borwein, J.; Borwein, P.: Pi: A Source Book (se-
gunda edición). Springer, Nueva York, 2000. Citado en la(s) página(s)
186
[Niven] Niven, I.: A Simple Proof that π is Irrational, Bulletin of the Ame-
rican Mathematical Society 53 (1947), página 509. Citado en la(s)
página(s) 187