Apesar de derivacao e integracao ter sido desenvolvidas para lidar com

problemas de areas, volumes e retas tangentes, suas aplicacoes vao muito

alem disso, sendo ambos os conceitos utilizados em varias areas distintas
da matematica com resultados surpreendentes. O objectivo dessa lista e
mostrar uma aplicacoes nao geometrica: podemos usar derivadas e integrais
para provar a irracionalidade de . O n
umero e definido como a menor raiz
positiva da funcao sin. A prova e feita por contradicao, isto e, se supormos
que e racional, chegamos a um absurdo (a existencia de n
umeros inteiros
entre 0 e 1). Portanto, a suposicao inicial e errada e assim conclumos que
e irracional. Essa demonstracao simples e devida a Ivan Nivens, publicada
em 1947, no Bulletin of the American Mathematical Society.
No que segue, suponha que e racional: = pq , onde p e q sao inteiros
positivos sem fatores comuns.
1. (a) Mostre que, para 0 < y < 1, limn+ y n = 0.
(b) Tome c > 0. Seja N o menor natural maior que c. Mostre que
1
c
cn

n!
c(N 1)!
N


n

, n N.

(c) Use os dois itens anteriores para concluir que

n +, qualquer que seja c > 0.

cn
n!

0 quando

2. Para cada n N, defina a funcao

In : R
R
x 7 In (x) =

xn (pqx)n
,
n!

lembrando que p e q sao inteiros positivos tais que = pq . Denote por

In(k) a k-esima derivada de In .
(a) Mostre que, para x (0, ), 0 < In (x) <

(p)n
.
n!

(b) Mostre que In(k) (0) e inteiro, para k 0.

(c) Mostre que In ( x) = In (x), x [0, ].
(d) Mostre que In(k) () = (1)k In(k) (0), k 0. Conclua que tambem
os valores In(k) () sao inteiros.
3. Para cada n N, defina a funcao
An : R
R
P
x 7 An (x) = ns=0 (1)s In(2s) (x)
= In (x) In(2) (x) + . . . + (1)n In(2n) (x).
1

(a) Mostre que An (0) e An () sao inteiros.

(b) Mostre que A(2)
n (x) + An (x) = In (x).
(c) Mostre que
0

(A0n (x) sin(x) An (x) cos(x)) = In (x) sin(x).

4. Para cada n N, considere o n
umero Ln dado por
Ln =

Z
0

In (x) sin(x) dx.

Use os itens anteriores para mostrar que:

(a) 0 < Ln <

(p)n
, n
n!

N.

(b) Ln N, n N.
(c) Usando os dois resultados anteriores, chegue a um absurdo, concluindo que tem que ser irracional.