rea de Anlisis Matemtico

Universidad de Zaragoza

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 definicion analtica rigurosa de todas ellas. Mediante consideraciones
graficas, 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
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: definiremos primero la
funcion exponencial como suma de una serie, y despues el logaritmo como inversa de la exponencial.
Igualmente definiremos las funciones seno y coseno como sumas de ciertas series de potencias,
demostrando despues que las funciones as definidas 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: construccion 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 definir las
funciones elementales y obtener de tal definicion todas sus propiedades. Esbozaremos en lo que
sigue como podra llevarse a cabo tal programa.

179
180 CAPITULO 11. FUNCIONES ELEMENTALES

11.1.1. Funcion exponencial

+ n
X x
La serie de potencias tiene radio de convergencia +, por lo que podemos definir en
n!
n=0
todo R una funcion como suma de tal serie.
Definicion 11.1.1. Se llama funcion exponencial a la definida por
+ n
X x
exp : x R exp(x) = R.
n!
n=0

Como siempre, el numero exp(1) se denota por e, y se escribe ex en lugar de exp(x), notacion
justificada por la propiedad (5) que probaremos a continuacion.
Propiedades 11.1.2. 1) La funcion 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
ex = ,
ex
y, en particular, ex 6= 0.

4) Dados x, y R,
ex+y = ex ey .

5) Dados n N y x R, enx es el producto de n factores iguales a ex ,

n
enx = ex ex .

6) Para cada x R,
ex > 0 .

7) La funcion exponencial es estrictamente creciente y convexa. En particular, es inyectiva.

8) Se tiene
lm ex = + , lm ex = 0 .
x+ x

En consecuencia, el conjunto imagen de la funcion exponencial es (0, +).

Demostracion. Segun vimos en el captulo 6, es suficiente 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 definida mediante una serie de
potencias.

11.1.2. Funcion 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.
Definicion 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 ey = x.

11.1. FUNCIONES ELEMENTALES Y SERIES DE POTENCIAS 181

Por tanto, esta caracterizada por cumplir

log(ex ) = x cualquiera que sea xR

y
elog 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 indefinidamente, y su derivada es

la funcion 1/x.

2) log 1 = 0, log e = 1.

3) Para cada x (0, +),

1
log = log x .
x

4) Dados x, y (0, +),

log(xy) = log x + log y .

5) Dados n N y x (0, +),

log(xn ) = n log x .

6) El conjunto imagen de la funcion logartmica es R.

7) La funcion logartmica es estrictamente creciente y concava. En particular, es inyectiva.

8) Se tiene
lm log x = +, lm = .
x+ 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

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) Analogamente
elog(xy) = xy = elog x elog y = elog x+log y .

5) Consecuencia inmediata de (4).

6) Va incluido en la biyectividad de la exponencial entre R y (0, +).
7)
1 1
log0 x = > 0, log00 x = 2 < 0
x x
para todo x (0, +).
8) Tales lmites seran, respectivamente, el supremo y el nfimo de los valores alcanzados por el
logaritmo.
182 CAPITULO 11. FUNCIONES ELEMENTALES

11.1.3. Funciones exponencial y logartmica de base cualquiera

Definicion 11.1.5. Dado un numero real a > 0, la funcion exponencial de base a se define
mediante la igualdad
ax = ex log a .

Cuando a > 1, esta funcion tiene propiedades similares a la funcion exponencial anteriormente
estudiada; si a = 1, es una funcion 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 definicion y de lo que hemos visto
para las funciones ex y log x son las siguientes:

Propiedades 11.1.6. Dados a, b, x, y R con a > 0, b > 0,

1) (ab)x = ax bx .

2) (ax )y = axy .

Demostracion. Aplicar la definicion y las propiedades de la exponencial y el logaritmo.

Definicion 11.1.7. Dado a > 0, a 6= 1, la funcion logartmica de base a se define en (0, +)

mediante la formula
log x
loga 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 6= 1, b > 0, se cumple

loga (bx ) = x loga b .

11.1.4. Funciones trigonometricas

Definicion 11.1.8. La funcion seno esta definida por

X (1)n x2n+1
sen : x R sen x = R,
(2n + 1)!
n=0

y la funcion coseno por

X (1)n x2n
cos : x R cos x = R.
(2n)!
n=0

Estas funciones estan bien definidas, pues las series de potencias que figuran en las formulas
tienen radio de convergencia +.

Propiedades 11.1.9. 1) El seno y el coseno son funciones derivables indefinidamente y se

cumple para todo x R
sen0 x = cos x, cos0 x = sen x.

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) = sen x, cos(x) = cos x .

11.1. FUNCIONES ELEMENTALES Y SERIES DE POTENCIAS 183

3) sen 0 = 0; cos 0 = 1.

4) Para cada x R es
sen2 x + cos2 x = 1 .

5) Formulas de adicion. Dados x, y R,

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 .

Demostracion. (1), (2) y (3) son consecuencia inmediata de la definicion y de las propiedades de
las series de potencias.
4) Mas comodo que manejar las series es proceder por derivacion. Definiendo f : x R f (x) =
sen2 x + cos2 x R, a partir de (1) obtenemos

f 0 (x) = 2 sen x cos x 2 cos x sen x = 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 definidas en R por

f (x) = sen(x + y), g(x) = sen x cos y + cos x sen y,

Es claro que, como consecuencia de (4), para todo t R es | sen t| 1, | cos t| 1. Se sigue
facilmente por induccion, 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 tambien f 0 (0) = g 0 (0) = cos y. Derivando de nuevo vemos que f 00 = f y g 00 = 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 0 = g 0 , 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 (Definicion y propiedades de .). 1) La funcion seno tiene ceros po-
sitivos, es decir,
{x > 0 : sen x = 0} =
6 .
Este conjunto posee un elemento mnimo, que denotaremos por :
def
= mn{x > 0 : sen x = 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 suficiente conocerla en el intervalo 0, 2 . En concreto,

 

3.1) para cada x R es

sen ( x) = sen x = sen(x + );
3.2) para cualesquiera x R y k Z,

sen(x + 2k) = sen x,

es decir, el seno es una funcion periodica de periodo 2.

184 CAPITULO 11. FUNCIONES ELEMENTALES

4) Para conocer la funcion coseno en R es suficiente 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 verifica sen x = 0 si y solo si para algun k Z es x = k .

8) Dado x R, se verifica cos x = 0 si y solo si para algun k Z es x = 2 + k.
Demostracion. 1) Agrupando sumandos convenientemente, es claro que

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, segun el teorema de Bolzano, debe
anularse al menos en un punto comprendido entre 1 y 4. Por tanto, esta perfectamente determinado
el numero real
= inf{x > 0 : sen x = 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 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 el.
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 dara la existencia de algun punto t (0, ) en el
que se anulara la derivada del coseno, con lo cual sera 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 formulas de adicion y de los valores previamente
calculados. La de (3,2) se comprueba por induccion.
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


el intervalo [, ] y ya por periodicidad a todo R.

4) Similar al apartado anterior.
5) Para cada x R la igualdad sen2 x + cos2 x = 1 asegura que | sen x| 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 sen x) sera estrictamente


decreciente en [0, ], lo que permite afirmar 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 finalmente,


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 algun k Z es x = k, se verifica que sen x = 0.
Recprocamente, sea x R tal que sen x = 0. Para un k Z sera
    
1 1
x k , k + .
2 2
Entonces t = x k 2 , 2 y sen t = sen x cos k cos x sen k = 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 justifica las afirmaciones que
hicimos al definir los argumentos de un numero complejo no nulo.
Proposicion 11.1.11. Dados x, y R tales que x2 + 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 suficiente 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 sen2 t = y 2 ,
de donde o bien sen t = y, y tomaramos = t, o bien sen t = 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 x y = 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( ) = x x + y y = x2 + y 2 = 1,

por lo que debe ser m = 2k para algun k Z y finalmente = + 2k.

Graficamente, esta proposicion significa que para cada punto sobre la circunferencia de centro
el origen y radio unidad, hay un numero real que mide el angulo que forma el radio correspondiente
al punto con el eje de abscisas, y que dicho numero esta unvocamente determinado salvo multiplos
enteros de 2; el coseno del angulo 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 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 definicion que hicimos en su momento del logaritmo.
186 CAPITULO 11. FUNCIONES ELEMENTALES

11.2. Funciones trigonometricas: construccion 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

Z x
1
A : x [1, 1] A(x) = dt
0 1 t2

esta 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
lm A0 (x) = +,
x1

A es estrictamente creciente en [1, 1], convexa en [0, 1) y concava en (1, 0].

Demostracion. La funcion t [1, 1] 1 t2 R esta bien definida (recordar que todo numero
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,

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

con lo cual la funcion

1
t [1, 1] R
1 t2
es impropiamente integrable en (1, 1).
Por tanto, A esta bien definida 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
(
x(t) = 1 t2
1 t 1
y(t) = t,

un calculo elemental prueba que

p 1
x0 (t)2 + y 0 (t)2 = ,
1 t2

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 TRIGONOMETRICAS 187

En particular, la longitud de la semicircunferencia sera igual a

Z 1 Z 1
1 1
s= dt = 2 dt,
1 1 t2 0 1 t2

lo que explica la siguiente definicion.

Definicion 11.2.2. El numero .

Z 1
def 1
= 2 dt .
0 1 t2

Es muy facil ver con esta definicion 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 1x x=0

de donde < 4.
Por otra parte, como 1x2 < 1 tambien tenemos que 1 > 1 y, como 1x2 = (1+x)(1x) <
1x2
2(1 x), que 1 > 1 1 .
1x2 2 1x
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 1x x=1/2

Como consecuencia inmediata de las propiedades de la funcion A y de la definicion de se

tiene:

Corolario 11.2.3. La funcion A aplica biyectivamente [1, 1] sobre [/2, /2].

As pues, la grafica de A tiene el siguiente aspecto:

188 CAPITULO 11. FUNCIONES ELEMENTALES

Ya hemos comentado como se relaciona la definicion que hemos dado de con la definicion
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 definida en [1, 1] por f (x) = 12 A(x) + 12 x 1 x2 . Es continua en

[1, 1], y si x (1, 1) entonces f 0 (x) = 1 x2 . Por la regla de Barrow
Z 1 Z 1
p 1

1 x2 dx = f 0 = f (1) f (1) = A(1) A(1) = .
1 1 2 2

Dejamos como ejercicio probar que el area de un crculo de radio R es R2 (y que la longitud
de su circunferencia es 2R).
El numero tiene una historia multimilenaria, por lo que no es extrano 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 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 expresion anterior, ya que por la regla
de LHospital
S(/2) S(x)
= lm S 0 (x) = lm
p
lm 1 S 2 (x) = 0
x/2 /2 x x/2 x/2

y por tanto S 0 (/2) = 0, y analogamente S 0 (/2) = 0.

11.3. APENDICE: EL NUMERO ES IRRACIONAL 189
p
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) 6= 0, o sea si x (/2, /2), tenemos
1 1
C 0 (x) =
p
p (2S(x)) 1 S 2 (x) = S(x) ,
2 1 S 2 (x)

y con la regla de LHospital es facil ver que C 0 = 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,

X S (n) (0) X C (n) (0)
S(x) = xn y C(x) = xn
n! n!
n=0 n=0
p
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

X (1)n X (1)n
S(x) = x2n+1 y C(x) = x2n .
(2n + 1)! (2n)!
n=0 n=0

Reencontramos las series de potencias conocidas en nuestra anterior definicion 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 crculo, y podemos remitirnos a la seccion anterior en cuanto se
refiere a sus propiedades.

11.3. Apendice: El numero 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 numeros irracionales.
Demostracion. Basta probar que 2 es irracional. n n
Para cada n N, consideraremos la funcion f dada por f (x) = x (1x) n! . Es claro que, si
0 < x < 1, tenemos que 0 < f (x) < 1/n!. Existen ciertos ck enteros tales que
2n
1 X
f (x) = ck xk .
n!
k=n

f es un polinomio, y la expresion anterior es la serie de Taylor-Maclaurin de f , as que f (k) (0) = 0

k!
si k < n o k > 2n (si k > 2n, de hecho f (k) = 0). Si n k 2n entonces f (k) (0) = n! ck es un
numero entero. Como f (x) = f (1 x), f y todas sus derivadas toman tambien valores enteros si
x = 1.
n
Supongamos que 2 = ab , con a, b N. Elegimos entonces n tal que a n! < 1 (podemos hacerlo,
porque an /n! 0). Para este valor de n tomamos f como hemos dicho, y definimos
n
X
G(x) = bn (1)k 2n2k f (2k) (x),
k=0
0
H(x) = G (x) sen x G(x) cos x.
190 CAPITULO 11. FUNCIONES ELEMENTALES

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

H 0 (x) = (G00 (x) + 2 G(x)) sen x

X n n
X
= bn (1)k 2n2k f (2k+2) (x) + (1)k 2n2(k1) f (2k) (x) sen x

k=0 k=0
n1
X Xn
= bn (1)k 2n2k f (2k+2) (x) + (1)k 2n2(k1) f (2k) (x) sen x

k=0 k=0
n
X n
X
n k1 2n2(k1) (2k)
(1)k 2n2(k1) 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 ank bk f (2k) (0) como G(1) son numeros enteros, y en-
tonces G(0) + G(1) es un numero 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

rea de Anlisis Matemtico

Universidad de Zaragoza
191 analisis@unizar.es