Captulo 11

Funciones elementales
La familiaridad que a traves del uso hemos llegado a adquirir con funciones como la exponencial,
el logaritmo, las funciones trigonometricas, pueden habernos hecho olvidar que en realidad nunca
hemos establecido una denicion analtica rigurosa de todas ellas. Mediante consideraciones
gracas, en algunos casos, o conando 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
demas.
Excepciones notables a esta situacion han sido la funcion logaritmo y la funcion exponencial. En
el captulo de integracion, el segundo teorema fundamental del calculo integral nos proporciono un
metodo de construccion de la funcion logaritmo como primitiva de la funcion 1/x, obteniendose
luego la funcion exponencial como inversa del logaritmo. No es esta la unica manera de construir
estas funciones, como vamos a probar a continuacion, invirtiendo el proceso: deniremos primero la
funcion exponencial como suma de una serie, y despues el logaritmo como inversa de la exponencial.
Igualmente deniremos las funciones seno y coseno como sumas de ciertas series de potencias,
demostrando despues que las funciones as denidas tienen todas las propiedades tradicionales
de estas funciones. En la ultima seccion, veremos como tambien es posible construir las funciones
trigonometricas por el metodo de las primitivas, empezando con las funciones trigonometricas
inversas.
Situemonos, pues, en el principio de los tiempos, como si nunca hubiesemos oido hablar de las
funciones citadas, y sin mas herramientas que los conocimientos teoricos aprendidos a lo largo del
curso (que no se apoyan en las propiedades de estas funciones!) probaremos su existencia par-
tiendo de cero, creandolas de la nada, bien mediante series de potencias, bien mediante primitivas
construidas por integracion.
11.1. Funciones elementales: construcci on mediante series de po-
tencias
Hemos visto como dando por conocidas las propiedades basicas de derivacion de las funciones
elementales podamos obtener una representacion de las mismas mediante series de potencias.
Sin embargo, desde el punto de vista del desarrollo logico del Analisis Matematico, sera mas
conveniente proceder al reves, es decir, tomar como punto de partida las series para denir las
funciones elementales y obtener de tal denicion todas sus propiedades. Esbozaremos en lo que
sigue como podra llevarse a cabo tal programa.
179
rea de Anlisis Matemtico
Universidad de Zaragoza
180 CAP

ITULO 11. FUNCIONES ELEMENTALES

11.1.1. Funci on exponencial
La serie de potencias
+

n=0
x
n
n!
tiene radio de convergencia +, por lo que podemos denir en
todo R una funcion como suma de tal serie.
Denicion 11.1.1. Se llama funcion exponencial a la denida por
exp : x R exp(x) =
+

n=0
x
n
n!
R .
Como siempre, el n umero exp(1) se denota por e, y se escribe e
x
en lugar de exp(x), notacion
justicada por la propiedad (5) que probaremos a continuacion.
Propiedades 11.1.2. 1) La funcion exponencial es derivable (indenidamente) y su derivada
es ella misma: para cada x R,
(e
x
)

= e
x
.
2) e
0
= 1.
3) Para cada x R,
e
x
=
1
e
x
,
y, en particular, e
x
= 0.
4) Dados x, y R,
e
x+y
= e
x
e
y
.
5) Dados n N y x R, e
nx
es el producto de n factores iguales a e
x
,
e
nx
= e
x
n
e
x
.
6) Para cada x R,
e
x
> 0 .
7) La funcion exponencial es estrictamente creciente y convexa. En particular, es inyectiva.
8) Se tiene
lm
x+
e
x
= + , lm
x
e
x
= 0 .
En consecuencia, el conjunto imagen de la funcion exponencial es (0, +).
Demostracion. Seg un vimos en el captulo 6, es suciente probar las dos primeras propiedades (ya
vimos como se obtenan las demas a partir de ellas). Pero la segunda es trivial y para obtener
la primera basta aplicar la regla de derivacion de una funcion denida mediante una serie de
potencias.
11.1.2. Funci on logartmica
Una vez conocidas las propiedades basicas de la funcion exponencial, podemos introducir como-
damente la funcion logartmica como su funcion inversa, y deducir de ah sus propiedades.
Denicion 11.1.3. La funcion logartmica
log : x (0, +) log x R
es la inversa de la funcion exponencial, de modo que log x = y si y solo si e
y
= x.
11.1. FUNCIONES ELEMENTALES Y SERIES DE POTENCIAS 181
Por tanto, esta caracterizada por cumplir
log(e
x
) = x cualquiera que sea x R
y
e
log x
= x cualquiera que sea x (0, +) .
Sus propiedades son consecuencia de las de la funcion exponencial.
Propiedades 11.1.4. 1) La funcion logartmica es derivable indenidamente, y su derivada es
la funcion 1/x.
2) log 1 = 0, log e = 1.
3) Para cada x (0, +),
log
1
x
= log x .
4) Dados x, y (0, +),
log(xy) = log x + log y .
5) Dados n N y x (0, +),
log(x
n
) = n log x .
6) El conjunto imagen de la funcion logartmica es R.
7) La funcion logartmica es estrictamente creciente y c oncava. En particular, es inyectiva.
8) Se tiene
lm
x+
log x = +, lm
x0+
= .
Demostracion. 1) La exponencial es una aplicacion biyectiva de R sobre (0, +), luego su inversa (el
logaritmo) es automaticamente continua. Estamos en condiciones de aplicar el teorema de derivacion
de la funcion inversa para concluir que el logaritmo es derivable en cada x (0, +), con derivada
log

x =
1
exp

(log x)
=
1
exp(log x)
=
1
x
.
2) Obvio.
3) Basta tener en cuenta que
e
log
1
x
=
1
x
=
1
e
log x
= e
log x
.
4) Analogamente
e
log(xy)
= xy = e
log x
e
log y
= e
log x+log y
.
5) Consecuencia inmediata de (4).
6) Va incluido en la biyectividad de la exponencial entre R y (0, +).
7)
log

x =
1
x
> 0, log

x =
1
x
2
< 0
para todo x (0, +).
8) Tales lmites seran, respectivamente, el supremo y el nmo de los valores alcanzados por el
logaritmo.
182 CAP

ITULO 11. FUNCIONES ELEMENTALES

11.1.3. Funciones exponencial y logartmica de base cualquiera
Denicion 11.1.5. Dado un n umero real a > 0, la funcion exponencial de base a se dene
mediante la igualdad
a
x
= e
xlog a
.
Cuando a > 1, esta funcion tiene propiedades similares a la funcion exponencial anteriormente
estudiada; si a = 1, es una funci on constantemente igual a 1, y si a < 1, la diferencia esencial
con la funcion exponencial de base e estriba en que la funcion exponencial de base a es entonces
estrictamente decreciente.
Propiedades interesantes que se obtienen directamente de la denicion y de lo que hemos visto
para las funciones e
x
y log x son las siguientes:
Propiedades 11.1.6. Dados a, b, x, y R con a > 0, b > 0,
1) (ab)
x
= a
x
b
x
.
2) (a
x
)
y
= a
xy
.
Demostracion. Aplicar la denicion y las propiedades de la exponencial y el logaritmo.
Denicion 11.1.7. Dado a > 0, a = 1, la funcion logartmica de base a se dene en (0, +)
mediante la formula
log
a
x =
log x
log a
.
Es inmediato comprobar que esta funcion es la inversa de la funcion exponencial de base a.
Como propiedad adicional interesante se tiene:
dados a, b, x R con 0 < a = 1, b > 0, se cumple
log
a
(b
x
) = x log
a
b .
11.1.4. Funciones trigonometricas
Denicion 11.1.8. La funcion seno esta denida por
sen : x R senx =

n=0
(1)
n
x
2n+1
(2n + 1)!
R ,
y la funcion coseno por
cos : x R cos x =

n=0
(1)
n
x
2n
(2n)!
R .
Estas funciones estan bien denidas, pues las series de potencias que guran en las formulas
tienen radio de convergencia +.
Propiedades 11.1.9. 1) El seno y el coseno son funciones derivables indenidamente y se
cumple para todo x R
sen

x = cos x, cos

x = senx.
2) El seno es una funcion impar, mientras que el coseno es una funcion par: es decir, cualquiera
que sea x R se tiene
sen(x) = senx, cos(x) = cos x .
11.1. FUNCIONES ELEMENTALES Y SERIES DE POTENCIAS 183
3) sen0 = 0; cos 0 = 1.
4) Para cada x R es
sen
2
x + cos
2
x = 1 .
5) Formulas de adicion. Dados x, y R,
sen(x + y) = senx cos y + cos x seny ; cos(x + y) = cos x cos y senx seny ;
sen(x y) = senx cos y cos x seny ; cos(x y) = cos x cos y + senx seny .
Demostracion. (1), (2) y (3) son consecuencia inmediata de la denicion y de las propiedades de
las series de potencias.
4) Mas comodo que manejar las series es proceder por derivacion. Deniendo f : x R f(x) =
sen
2
x + cos
2
x R, a partir de (1) obtenemos
f

(x) = 2 senx cos x 2 cos x senx = 0

para todo x de R, luego f toma constantemente el valor f(0) = 1.
5) Probaremos solamente las dos primeras identidades: las otras se siguen de estas aplicando (2).
Fijado y, sean f y g las funciones denidas en R por
f(x) = sen(x + y), g(x) = senxcos y + cos xseny,
Es claro que, como consecuencia de (4), para todo t R es | sent| 1, | cos t| 1. Se sigue
facilmente por induccion, usando (1), que |f
(n)
| 1 y |g
(n)
| 2 para cada n, luego
f(x) =

n=0
f
(n)
(0)
n!
x
n
y g(x) =

n=0
g
(n)
(0)
n!
x
n
(x R).
Notemos que f(0) = g(0) = seny. Resulta que f

(x) = cos(x+y) y g

(x) = cos xcos y senxseny,

luego tambien f

(0) = g

(0) = cos y. Derivando de nuevo vemos que f

= f y g

= g, por lo que
esta claro que tendremos f
(n)
(0) = g
(n)
(0) para todo n. Por su expresion como series de potencias,
obtenemos que f = g, y entonces f

= g

, que son las dos igualdades que haba que probar.

Notese que (4) se deduce de (5) tomando y = x en la segunda formula.
Proposicion 11.1.10 (Denicion y propiedades de .). 1) La funcion seno tiene ceros po-
sitivos, es decir,
{x > 0 : senx = 0} = .
Este conjunto posee un elemento mnimo, que denotaremos por :

def
= mn{x > 0 : senx = 0} .
En el intervalo (0, ), el seno toma valores estrictamente positivos.
2) cos = 1; cos

2
= 0; sen

2
= 1.
3) Para conocer la funcion seno en R es suciente conocerla en el intervalo
_
0,

2

. En concreto,
3.1) para cada x R es
sen( x) = senx = sen(x + );
3.2) para cualesquiera x R y k Z,
sen(x + 2k) = senx,
es decir, el seno es una funcion periodica de periodo 2.
184 CAP

ITULO 11. FUNCIONES ELEMENTALES

4) Para conocer la funcion coseno en R es suciente conocerla en el intervalo
_
0,

2

. En concreto,
4.1) para cada x R es
cos ( x) = cos x = cos(x + );
4.2) para cualesquiera x R y k Z,
cos(x + 2k) = cos x,
es decir, el coseno es una funcion periodica de periodo 2.
5) La restriccion de la funcion seno al intervalo
_

2
,

2

es una aplicacion estrictamente cre-

ciente (en particular, inyectiva) sobre el intervalo [1, 1].
6) La restriccion de la funcion coseno al intervalo [0, ] es una aplicacion estrictamente decre-
ciente (en particular, inyectiva) sobre el intervalo [1, 1].
7) Dado x R, se verica senx = 0 si y solo si para alg un k Z es x = k .
8) Dado x R, se verica cos x = 0 si y solo si para alg un k Z es x =

2
+ k.
Demostracion. 1) Agrupando sumandos convenientemente, es claro que
senx > x
x
3
3!
> 0 siempre que 0 < x 1
y que
sen4 < 4
4
3
3!
+
4
5
5!

4
7
7!
+
4
9
9!
< 0,
de donde se deduce que el seno no se anula en (0, 1] pero que, seg un el teorema de Bolzano, debe
anularse al menos en un punto comprendido entre 1 y 4. Por tanto, esta perfectamente determinado
el n umero real
= inf{x > 0 : senx = 0}
y es mayor o igual que 1 (luego > 0). Para asegurar que es el mnimo del conjunto, o sea, que
pertenece a el, basta tener en cuenta que es punto adherente del conjunto y emplear la continuidad
del seno.
As senx = 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 el.
2) Como sen
2
+ cos
2
= 1, se deduce que cos
2
= 1 y por tanto cos = 1 o cos = 1. Pero si
cos = 1, como cos 0 = 1, el teorema de Rolle dara la existencia de alg un punto t (0, ) en el
que se anulara la derivada del coseno, con lo cual sera sent = 0 contra lo que acabamos de probar.
Puesto que cos = 2 cos
2
2
1, debe ser cos

2
= 0, lo que obliga a que sen
2
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 formulas de adicion y de los valores previamente
calculados. La de (3,2) se comprueba por induccion.
Con esto, conociendo los valores del seno en el intervalo
_
0,

2

, podemos obtener los valores en

el intervalo
_

2
,

usando que senx = sen( x); por ser el seno impar, pasamos entonces a todo
el intervalo [, ] y ya por periodicidad a todo R.
4) Similar al apartado anterior.
5) Para cada x R la igualdad sen
2
x + cos
2
x = 1 asegura que | senx| 1, | cos x| 1. Como
sen

2
= 1 y por tanto sen
_

2
_
= 1, la continuidad del seno y la propiedad de Darboux dan como
conjunto imagen de
_

2
,

2

exactamente el intervalo [1, 1].

Para demostrar que el seno (que es continua) es estrictamente creciente en
_

2
,

2

, usamos
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 185
derivada senx) sera estrictamente decreciente en [0, ], lo que permite armar que los valores
que alcanza en el intervalo
_
0,

2
_
son estrictamente mayores que cos

2
= 0; como el coseno es par,
lo mismo vale en
_

2
,

2
_
; y nalmente, como el coseno es la derivada del seno, vemos que este
ultimo es estrictamente creciente en
_

2
,

2

.
6) Repasar la demostracion anterior.
7) Es inmediato que si para alg un k Z es x = k, se verica que senx = 0.
Recprocamente, sea x R tal que senx = 0. Para un k Z sera
x
__
k
1
2
_
,
_
k +
1
2
_

_
.
Entonces t = x k
_

2
,

2

y sent = senx cos k cos x senk = 0, luego forzosamente t = 0

y x = k.
8) Similar a la anterior.
Tenemos ahora dos versiones de las funciones seno y coseno: la version analtica que venimos
explorando y la version geometrica de la Trigonometra (=medicion de triangulos). La coherencia
entre ambas versiones la prueba la siguiente proposicion, que a su vez justica las armaciones que
hicimos al denir los argumentos de un n umero complejo no nulo.
Proposicion 11.1.11. Dados x, y R tales que x
2
+ y
2
= 1, existe un R de modo que
cos = x, sen = y .
Ademas, para que un R cumpla igualmente que
cos = x, sen = y,
es necesario y suciente que exista un k Z tal que = + 2k.
Demostracion. Como x [1, 1], existe al menos un t R tal que cos t = x. Entonces sen
2
t = y
2
,
de donde o bien sent = y, y tomaramos = t, o bien sent = y, y bastara tomar = t.
Por periodicidad, igualmente cos( + 2k) = x, sen( + 2k) = y para todo k Z.
Supongamos ahora que encontramos R para el que cos = x, sen = y. Entonces
sen( ) = y x xy = 0,
luego por lo visto anteriormente existira un m Z tal que = m. Si m fuese de la forma
2k + 1, k Z, resultara cos( ) = 1, mientras que
cos( ) = xx + y y = x
2
+ y
2
= 1,
por lo que debe ser m = 2k para alg un k Z y nalmente = + 2k.
Gracamente, esta proposicion signica que para cada punto sobre la circunferencia de centro
el origen y radio unidad, hay un n umero real que mide el angulo que forma el radio correspondiente
al punto con el eje de abscisas, y que dicho n umero esta unvocamente determinado salvo m ultiplos
enteros de 2; el coseno del angulo es la abscisa del punto, y el seno es la ordenada.
En resumen, en este apartado hemos denido 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 trigonometricas (tangente, cotangente, secante, cosecante) y
de las llamadas funciones trigonometricas inversas, que como sabemos son inversas parciales de
las anteriores, es decir, inversas de la restriccion de las anteriores a subdominios adecuados. Sera
muy largo completar todos los detalles, pero queremos al menos detenernos en la funcion arco seno,
que veremos en la proxima seccion que puede ser construida y estudiada mediante integracion, de
forma paralela a la denicion que hicimos en su momento del logaritmo.
186 CAP

ITULO 11. FUNCIONES ELEMENTALES

11.2. Funciones trigonometricas: construcci on mediante integrales
De nuevo nos situamos en el principio de los tiempos, olvidando lo que acabamos de apren-
der sobre las funciones trigonometricas, y partimos de cero para crear la funcion arco seno como
primitiva construida por integracion.
Proposicion 11.2.1 (Funcion arco seno). La funcion
A : x [1, 1] A(x) =
_
x
0
1

1 t
2
dt
esta bien denida, es impar continua en [1, 1] y derivable en (1, 1), con
A

(x) =
1

1 x
2
y A

(x) =
x
(1 x
2
)
3/2
.
En consecuencia
lm
x1
A

(x) = +,
A es estrictamente creciente en [1, 1], convexa en [0, 1) y concava en (1, 0].
Demostracion. La funcion t [1, 1]

1 t
2
R esta bien denida (recordar que todo n umero
real no negativo tiene una raz cuadrada no negativa perfectamente determinada) y es continua, y
solo se anula para t = 1 o t = 1. Ademas,
0
1

1 t
2

1

2
1
(1 t)
1/2
, (t 1)
0
1

1 t
2

1

2
1
(1 + t)
1/2
, (t 1),
con lo cual la funcion
t [1, 1]
1

1 t
2
R
es impropiamente integrable en (1, 1).
Por tanto, A esta bien denida y es continua en [1, 1]. La derivabilidad en (1, 1) y el valor de
la derivada se sigue del Teorema Fundamental del Calculo Integral. Lo demas ya es rutinario.
Nota. Una vez mas, la interpretacion analtica y la geometrica 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
1 t 1
_
x(t) =

1 t
2
y(t) = t,
un calculo elemental prueba que
_
x

(t)
2
+ y

(t)
2
=
1

1 t
2
,
as que
s =
_
y
0
_
x

(t)
2
+ y

(t)
2
dt =
_
y
0
1

1 t
2
dt
es la longitud del arco desde el punto de ordenada 0 hasta el punto de ordenada y.
11.2. FUNCIONES TRIGONOM

ETRICAS 187
En particular, la longitud de la semicircunferencia sera igual a
s =
_
1
1
1

1 t
2
dt = 2
_
1
0
1

1 t
2
dt,
lo que explica la siguiente denicion.
Denicion 11.2.2. El n umero .

def
= 2
_
1
0
1

1 t
2
dt .
Es muy facil ver con esta denicion que 3 < < 4: por un lado, para cada x (0, 1) se cumple
que 1 x
2
= (1 x)(1 + x) > 1 x, y por tanto
_
1
0
1

1 x
2
dx <
_
1
0
1

1 x
dx =
_
2

1 x
_
x=1
x=0
= 2 ,
de donde < 4.
Por otra parte, como 1x
2
< 1 tambien tenemos que
1

1x
2
> 1 y, como 1x
2
= (1+x)(1x) <
2(1 x), que
1

1x
2
>
1

2
1

1x
.
Usamos la primera desigualdad en (0, 1/2) y la segunda en (1/2, 1) para obtener
> 2
_
1/2
0
1 dx +

2
_
1
1/2
1

1 x
dx = 1 +

2
_
2

1 x
_
x=1
x=1/2
= 1 + 2 = 3.
Como consecuencia inmediata de las propiedades de la funcion A y de la denicion de se
tiene:
Corolario 11.2.3. La funcion A aplica biyectivamente [1, 1] sobre [/2, /2].
As pues, la graca de A tiene el siguiente aspecto:
188 CAP

ITULO 11. FUNCIONES ELEMENTALES

Ya hemos comentado como se relaciona la denicion que hemos dado de con la denicion
geometrica mas habitual, en funcion de la longitud de la circunferencia unidad. Vimos en su mo-
mento como se corresponde la nocion de area con la integral, y conforme a ello reencontramos
como valor del area del crculo unidad.
Proposicion 11.2.4. es el area de un crculo de radio unidad.
Demostracion. Sea f la funcion denida en [1, 1] por f(x) =
1
2
A(x) +
1
2
x

1 x
2
. Es continua en
[1, 1], y si x (1, 1) entonces f

(x) =

1 x
2
. Por la regla de Barrow
_
1
1
_
1 x
2
dx =
_
1
1
f

= f(1) f(1) =
1
2
_
A(1) A(1)
_
=

2
.
Dejamos como ejercicio probar que el area de un crculo de radio R es R
2
(y que la longitud
de su circunferencia es 2R).
El n umero tiene una historia multimilenaria, por lo que no es extra no que abunde el folklore
en torno a el. 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 A

no se anula en (1, 1) resulta que S es derivable en (/2, /2), con S

(x) =
1
A

(S(x))
=
_
1 S
2
(x). De hecho S es derivable en [/2, /2] con la expresion anterior, ya que por la regla
de LHospital
lm
x/2
S(/2) S(x)
/2 x
= lm
x/2
S

(x) = lm
x/2
_
1 S
2
(x) = 0
y por tanto S

(/2) = 0, y analogamente S

(/2) = 0.
11.3. AP

ENDICE: EL N

UMERO ES IRRACIONAL 189

Sea C: [/2, /2] R la funcion derivada de S, es decir C(x) =
_
1 S
2
(x). Por la regla de
la cadena, si 1 S
2
(x) = 0, o sea si x (/2, /2), tenemos
C

(x) =
1
2
1
_
1 S
2
(x)
(2S(x))
_
1 S
2
(x) = S(x) ,
y con la regla de LHospital es facil ver que C

= S en [/2, /2].
Como, para cada n, C
(n)
y S
(n)
son iguales a C o S, resulta que |C
(n)
(x)| 1 y |S
(n)
(x)| 1
para cada x [/2, /2]. Por lo tanto C y S coinciden en todo el intervalo con su serie de Taylor-
Mac Laurin; es decir,
S(x) =

n=0
S
(n)
(0)
n!
x
n
y C(x) =

n=0
C
(n)
(0)
n!
x
n
para todo x [/2, /2]. Al ser S(0) = 0 y C(0) =
_
1 S
2
(0) = 1, resulta que las series
anteriores, suprimiendo los terminos nulos, toman la forma
S(x) =

n=0
(1)
n
(2n + 1)!
x
2n+1
y C(x) =

n=0
(1)
n
(2n)!
x
2n
.
Reencontramos las series de potencias conocidas en nuestra anterior denicion del seno y el coseno,
ambas con radio de convergencia +, y por tanto las funciones que denen en R extienden a S
y C. De este modo cerramos el crculo, y podemos remitirnos a la seccion anterior en cuanto se
reere a sus propiedades.
11.3. Apendice: El n umero es irracional
La demostracion de la irracionalidad de que vamos a exponer se debe originalmente a
I.

Niven [Niven], y aparece en la pag. 47 del libro [Hardy-Wright], junto a una prueba similar
de que log x es irracional para todo x racional positivo y distinto de 1. Al igual que otras mu-
chas partes de estas notas, nosotros lo hemos tomado de los apuntes de Analisis matematico I del
Prof. J. L. Arregui, a quien manifestamos en este punto nuestro agradecimiento por su generosidad.
Teorema 11.3.1. y
2
son n umeros irracionales.
Demostracion. Basta probar que
2
es irracional.
Para cada n N, consideraremos la funcion f dada por f(x) =
x
n
(1x)
n
n!
. Es claro que, si
0 < x < 1, tenemos que 0 < f(x) < 1/n!. Existen ciertos c
k
enteros tales que
f(x) =
1
n!
2n

k=n
c
k
x
k
.
f es un polinomio, y la expresion anterior es la serie de Taylor-Maclaurin de f, as que f
(k)
(0) = 0
si k < n o k > 2n (si k > 2n, de hecho f
(k)
= 0). Si n k 2n entonces f
(k)
(0) =
k!
n!
c
k
es un
n umero entero. Como f(x) = f(1 x), f y todas sus derivadas toman tambien valores enteros si
x = 1.
Supongamos que
2
=
a
b
, con a, b N. Elegimos entonces n tal que
a
n
n!
< 1 (podemos hacerlo,
porque a
n
/n! 0). Para este valor de n tomamos f como hemos dicho, y denimos
G(x) = b
n
n

k=0
(1)
k

2n2k
f
(2k)
(x),
H(x) = G

(x) senx G(x) cos x.

190 CAP

ITULO 11. FUNCIONES ELEMENTALES

Tenemos que (G(0) + G(1)) = H(1) H(0) =
_
1
0
H

(x)dx, es decir
G(0) + G(1) =
1

_
1
0
H

(x)dx.
Pero
H

(x) = (G

(x) +
2
G(x)) senx
= b
n
_
n

k=0
(1)
k

2n2k
f
(2k+2)
(x) +
n

k=0
(1)
k

2n2(k1)
f
(2k)
(x)
_
senx
= b
n
_
n1

k=0
(1)
k

2n2k
f
(2k+2)
(x) +
n

k=0
(1)
k

2n2(k1)
f
(2k)
(x)
_
senx
= b
n
_
n

k=1
(1)
k1

2n2(k1)
f
(2k)
(x) +
n

k=0
(1)
k

2n2(k1)
f
(2k)
(x)
_
senx
= b
n

2n+2
f(x) senx =
2
a
n
f(x) senx,
es decir,
G(0) + G(1) =
_
1
0
a
n
f(x) senxdx,
lo que lleva a
0 < G(0) + G(1) <
a
n
n!
< 1
porque 0 < f(x) < 1/n! y 0 < senx 1 para cada x (0, 1).
Sin embargo, tanto G(0) =

n
k=0
(1)
k
a
nk
b
k
f
(2k)
(0) como G(1) son n umeros enteros, y en-
tonces G(0) + G(1) es un n umero entero del intervalo (0, 1), contradiccion.
Bibliografa
[Berggren-Borwein-Borwein] Berggren, L.; Borwein, J.; Borwein, P.: Pi: A Source Book (se-
gunda edicion). Springer, Nueva York, 2000. Citado en la(s) pagina(s)
188
[Delahaye] Delahaye, J. P.: Le fascinant nombre . Pour la science, Pars, 1997.
Citado en la(s) pagina(s) 188
[Hardy-Wright] Hardy, G. H.; Wright, E. M.: An Introduction to the Theory of
Numbers (quinta edicion). Oxford University Press, 1978, rev. 2000.
Citado en la(s) pagina(s) 189
[Niven] Niven, I.: A Simple Proof that is Irrational, Bulletin of the Ame-
rican Mathematical Society 53 (1947), pagina 509. Citado en la(s)
pagina(s) 189
191
rea de Anlisis Matemtico
Universidad de Zaragoza
analisis@unizar.es