Integração em Termos Finitos

Universidade Federal de Minas Gerais
Instituto de Ciencias Exatas

Departamento de Matematica
Funcoes Integraveis sem Integral Elementar

Maurcio Pessoa da Cunha Menezes
Professor orientador: Alberto Sarmiento
Belo Horizonte, 05 de dezembro de 2007.
Agradecimentos
` Deus, por me conceder forca para vencer mais uma etapa em

A
minha vida.
` minha esposa, Alexandra, pelo apoio, carinho, compreensao e
A
principalmente o amor incondicional.
Em especial ao Professor Alberto Sarmiento, meu orientador,
pela convivencia, paciencia e por suas valiosas contribuicoes para a
realizacao deste trabalho.
Aos professores, Helder Candido Rodrigues e Paulo Cupertino
de Lima por aceitarem o convite para participarem da banca examinadora.
` todos os professores e colegas do curso de Especializacao em
A
Matematica para Professores - Enfase

em Calculo.
Enfim, a todos aqueles que contribuiram para a realizacao deste
trabalho.
Muito Obrigado !
ii
Sum
ario
1 Conceitos B
asicos
1.1 Preliminares . . . . . . . . . . . .
1.2 Integral . . . . . . . . . . . . . .
1.3 Teorema Fundamental do Calculo
1.4 Integracao de Funcoes Racionais
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
5
8
2 Fun
c
oes Elementares
2.1 Funcoes Algebricas . . . . . . . . . . . . . . . . . . .
2.2 Funcoes Transcendentais . . . . . . . . . . . . . . . .
2.3 Funcoes Elementares . . . . . . . . . . . . . . . . . .
2.4 Um teorema sobre Integracao de Funcoes Algebricas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
16
16
17
21
22
3 Teoremas de Liouville
3.1 Teorema I de Liouville .
3.2 Teorema II de Liouville
3.3 Aplicacoes dos Teoremas
3.3.1 Aplicacao 1 . . .
3.3.2 Aplicacao 2 . . .
3.3.3 Aplicacao 3 . . .
3.3.4 Aplicacao 4 . . .
3.3.5 Aplicacao 5 . . .
3.4 Resumo . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
24
24
25
26
27
29
30
33
37
.
.
.
.
.
.
.
.
. . . . . . .
. . . . . . .
de Liouville
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

SUMARIO
iii
Introduc
ao
O intuito de escrever esta monografia com relacao a este assunto, e um interesse pessoal que tenho em relacao ao Teorema Fundamental do Calculo, o qual
considero um dos mais importantes teoremas da Matematica. Poder expressar
atraves de uma expressao matematica a relacao entre a taxa de crescimento
de uma determinada grandeza e a quantidade que esta grandeza cresceu, ou
em outras palavras, a partir a taxa de crescimento poder obter a quantidade
que tal grandeza cresceu e vice-versa, foi um grande avanco nao so para a matematica, mas sim para todas as demais ciencias que apoiam-se neste teorema
para poderem resolver in
umeros problemas oriundos de suas areas especficas.
Esta monografia trata de um tema em que poucos livros de calculo se detem,
com relacao a integracao, no que diz respeito a saber quais os tipos de funcoes
para as quais se pode encontrar uma expressao para sua primitiva em termos de
funcoes elementares (conhecidas), ou em outras palavras, quais as funcoes cujas
primitivas nao sao elementares,
R ou seja, primitivas que nao podem ser expressas
sem o smbolo de integracao . Este estudo tem como referencia dois teoremas,
onde um deles e um caso particular do outro, os quais sao devido a Liouville, em
que suas pesquisas contribuiram muito com relacao a este tema. Abaixo segue
um pequeno resumo de cada captulo desta monografia.
O primeiro captulo trata de alguns conceitos basicos, tais como o de funcao
contnua, o de funcao derivavel e a relacao entre ambas. O conceito de integral como uma soma de Riemann, a relacao entre funcao contnua e funcao
integravel, a demonstracao dos Teoremas Fundamentais do Calculo, a relacao
entre duas primitivas de uma determinada funcao e, fechando este captulo,
estaremos falando sobre a integracao de funcoes racionais, onde estaremos demonstrando que toda funcao racional pode ser decomposta em fracoes parciais
e finalmente mostrando que toda fracao parcial pode ser integravel em termos
de funcoes elementares.
O segundo captulo trata de uma classificacao das funcoes baseada nas
operacoes usadas para defin-las, ou seja, classificaremos as funcoes como: funcoes
polinomiais ou funcoes racionais ou funcoes algebricas ou transcendentais e falaremos um pouco sobre cada uma delas. Denotaremos por E a Classe das Funcoes
Elementares, intuitivamente esta classe e constituda por todas as funcoes conhecidas por um aluno de Calculo.
O terceiro e u
ltimo captulo e referente a dois importantes teoremas, os quais
sao devido a Joseph Liouville (1809-1882) um grande matematico frances, que
contribuiu muito para o problema de saber se a primitiva de uma determinada
funcao pertence ou nao a classe das funcoes elementares. Apos enunciarmos
estes teoremas, seguem-se cinco aplicacoes dos mesmos, para mostrarmos que
algumas primitivas nao sao funcoes elementares. E, por u
ltimo, damos uma
lista de algumas funcoes cujas primitivas nao podem ser escritas em termos de
funcoes elementares.
Captulo 1
Conceitos B
asicos
Este captulo tratara de alguns conceitos importantes do calculo, bem como
a integracao de funcoes racionais. Esta dividido em quatro secoes, onde na
primeira introduziremos alguns conceitos tais como continuidade e de diferenciabilidade de uma funcao. Em particular, mostraremos se f for diferenciavel,
entao f e contnua. Na segunda secao daremos a definicao de integral, enunciaremos algumas propriedades da Integral Definida e um breve comentario a
respeito do seguinte teorema: se f e contnua em um intervalo fechado, entao
f e integravel. Na terceira secao daremos a demonstracao dos Teoremas Fundamentais do Calculo e, por fim, na u
ltima secao trataremos a integracao de
funcoes racionais, mostraremos que suas primitivas sao funcoes elementares.
Nas instituicoes de nvel superior na disciplina de Calculo, os alunos aprendem um importante teorema, conhecido como o Teorema Fundamental do Calculo ou TFC. Antes de passarmos para a demonstracao deste teorema, vejamos
algumas informacoes que sao relevantes.
1.1
Preliminares
Defini
c
ao 1. Seja f : I R R uma funca
o definida no intervalo I. Dizemos
que f e contnua no ponto a I se, para todo > 0 dado arbitrariamente, e
possvel encontrar um > 0 de tal forma que para todo x I com |x - a| <
implica que |f(x) - f(a) |< , isto e, uma funca
o f e contnua em um n
umero a
se:
lim f (x) = f (a)
xa
ou seja, e possvel tornar f(x) arbitrariamente t

ao pr
oximo de f(a) quanto se
deseje, desde que se tome um x suficientemente pr
oximo de a. Dizemos que
uma func
ao f e contnua, se est
a func
ao for contnua em todo a pertencente ao
seu domnio.

CAPITULO 1. CONCEITOS BASICOS
Defini
c
ao 2. Seja f : I R R uma func
ao definida no intervalo aberto I.
Dizemos que f e deriv
avel em um ponto x0 I se o seguinte limite existir
lim
xx0
f (x) f (x0 )
x x0
Neste caso, este limite e denominado de derivada de f no ponto x0 e denotado

por f 0 (x0 ). Dizemos que f e deriv
avel, se ela for deriv
avel em todos os pontos
do seu domnio.
Chamaremos de derivada lateral de f pela direita do ponto x0 denotado
por f 0 (x+
0 ):
f (x) f (x0 )
f 0 (x+
0 ) = lim+
x x0
xx0
se o limite existe, onde x x+
0 com valores x > x0 .
Chamaremos de derivada lateral de f pela esquerda do ponto x0 denotado
por f 0 (x
0 ):
f (x) f (x0 )
f 0 (x
0 ) = lim
x x0
xx0
se o limite existe, onde x x
0 com valores x < x0 .
ao exista em x0 ou os seus
Observa
c
ao 1. Caso uma das derivadas laterais n
valores sejam diferentes, dizemos que f n
ao e deriv
avel em x0 .
Proposi
c
ao 1. Se a func
ao f : I R e deriv
avel no ponto a I, ent
ao f e
contnua em a .
Prova: Seja a I fixo. Basta mostrar que lim f (x) = f (a).
xa
Por hipotese temos que f e derivavel no ponto a, assim sua derivada neste ponto
e dada por:
f (x) f (a)
f 0 (a) = lim
xa
xa
(a)
Podemos escrever f (x) de forma que contenha f (x)f
, como segue abaixo:
xa
f (x) f (a)
f (x) =
(x a) + f (a)
xa
Aplicando o limite em ambos lados da expressao acima e como existem os limites

(a)
de f (x)f
, (x a) quando x a, entao temos:
xa
lim f (x) = lim
xa
xa
f (x) f (a)
lim (x a) + lim f (a)
xa
xa
xa
Logo temos:
lim f (x) = f 0 (a) 0 + f (a)
xa
lim f (x) = f (a)
xa

Portanto, se uma funcao f e derivavel no intervalo I, entao f e contnua em

I.
A recproca desta preposicao nao e verdadeira, isto e, nem toda funcao
contnua e derivavel. Um exemplo claro deste fato e a funcao f (x) =| x | a
qual e contnua, porem no ponto x0 = 0 nao possui derivada, ja que as derivadas laterais neste ponto sao diferentes. Pois a derivada lateral pela direita e 1 e
a derivada lateral pela esquerda e -1.
1.2
Integral
Seja f : [a, b] R uma funcao, com a e b n

umeros reais e a < b. Uma
particao P para o intervalo [a, b] e um conjunto finito de pontos do intervalo,
ou seja, P = {x0 , x1 , ..., xk }, tal que a = x0 < x1 < ... < xk1 < xk = b. Se
[a, b] e um intervalo contido no domnio de uma funcao f e P = {x0 , x1 , ..., xk }
e uma particao de [a, b], dada uma escolha de n
umeros, 1 , 2 , ..., i , ..., k , com
xi1 i xi , para 1 i k, a soma:
f (1 )(x1 x0 )+...+f (i )(xi xi1 )+...+f (k )(xk xk1 ) =
k
X
f (i )(xi xi1 )
i=1
e chamada uma soma de Riemann de f sobre a particao P . Denotamos por

R(f, P ) a soma acima, ou seja:
R(f, P ) =
k
X
f (i )(xi xi1 )
i=1
ou de uma forma mais simplificada:

R(f, P ) =
k
X
f (i )i x
onde i x = xi xi1
i=1
O tamanho (norma) de uma particao P , denotado por | P | , e o comprimento

do maior subintervalo determinado por dois n
umeros consecutivos da particao,
isto e, intervalos da forma [xi xi1 ], ou seja:
| P |= max{(x1 x0 ), (x2 x1 ), ..., (xi xi1 ), (xk xk1 )}
Pode-se observar pela afirmativa acima, que o comprimento de qualquer subintervalo [xi xi1 ] e sempre menor ou igual ao tamanho da particao.
Rb
Seja f : [a, b] R, dizemos que f e integravel em [a, b] e denotamos por
f (x)dx, se existe um n
umero real I, satisfazendo a seguinte condicao: se para
a
toda seq
uencia Pn de particoes de [a, b], tal que o lim | Pn |= 0, tem-se:
n
lim R(f, Pn ) = I

Denotamos:
I=
f (x)dx
Faremos duas convencoes, que serao adotadas doravante:

Z b
Z a
1.
f (x)dx =
f (x)dx
a
Z
2.
b
a
f (x)dx = 0
a
Segue abaixo algumas propriedades das Integrais Definidas.

Seja f : [a, b] R e g : [a, b] R funcoes contnuas, temos:
1. Seja k um n
umero real arbitrario entao k f e integravel em [a, b], isto e:
Z b
Z b
k f (x)dx = k
f (x)dx
a
umero real qualquer entre a e b temos:

2. Seja c um n
Z b
Z c
Z b
f (x)dx =
f (x)dx +
f (x)dx
a
3. Se f e g sao integraveis em [a, b] entao f + g e integravel em [a, b], ou seja:

Z b
Z b
Z b
[f (x) + g(x)]dx =
f (x)dx +
g(x)dx
a
4. Se f e g sao integraveis em [a, b] e f (x) g(x) para todo x [a, b] temos:

Z b
Z b
f (x)dx
g(x)dx
a
A demonstracao do seguinte teorema encontra-se em livros de Analise Real,

como por exemplo em [3].
Teorema 1. Toda func
ao contnua em um intervalo fechado e integr
avel.
Vale a pena lembrar ao leitor que a recproca deste teorema e falsa, isto e,
nem toda funcao integravel e contnua.
Um exemplo deste fato e a funcao f definida abaixo:
1
se x = 12
f (x) =
0 se 0 x 1 e x 6= 12
a qual e integr
avel, mas nao e contnua no ponto x = 12 .
Um outro exemplo e a funcao f definida:
5
se x = 2
f (x) =
x2 se 0 x 3 e x 6= 2
a qual e integr
avel, mas nao e contnua no ponto x = 2.

1.3
Teorema Fundamental do C
alculo
Nesta secao estudaremos os Teoremas Fundamentais do Calculo.

Seja f R : [a, b] R uma funcao integravel. Logo fixado qualquer x [a, b]
x
existe a f (t)dt, assim podemos definir uma nova funcao G : [a, b] R, isto e,
Rx
G(x) = a f (t)dt. Note que G(a) = 0 e se f e positiva e contnua, G(x) e o
valor da area limitada pelo eixo x e o grafico de f , entre as retas t = a e t = x,
conforme figura abaixo:
y
y=f(t)
G(x+h)-G(x)
G(x)
x+h
Figura 1.1: y = f (t)

Teorema 2. ( Primeiro Teorema Fundamental do C
alculo ). Seja f : [a, b] R
uma func
ao contnua e definimos G : [a, b] R como sendo a func
ao:
Z x
G(x) =
f (t)dt
a
Ent
ao G e uma funca
o diferenci
avel e vale:
Z x
d
0
G (x) =
f (t)dt = f (x)
dx a
Prova: Se x e x + h [a, b] temos:

Z
x+h
G(x + h) G(x) =
a
x+h
G(x + h) G(x) =
f (t)dt
x
x+h
h f (x) =
f (x)dt
x
onde:
1
f (x) =
h
f (t)dt
a
ou seja:
e tambem temos que:
f (t)dt
x+h
f (x)dt
x
(1.1)

Portanto, dividindo ambos os membros da equacao (1.1) por h e depois subtraindo f (x) de ambos os membros, temos:
G(x + h) G(x)
1
f (x) =
h
h
x+h
[f (t) f (x)]dt
Dado > 0, pela continuidade de f no ponto x, existe > 0 tal que t [a, b],
| t x |< | f (t) f (x) |< . Entao 0 <| h |< , x + h [a, b] implicam:
G(x + h) G(x)
1 x+h
1
f (x)
| f (t) f (x) | dt <

| h | =
h
|h|
|
h
|
x
Portanto, para todo > 0:
G(x + h) G(x)
<
f
(x)
h
Logo, temos que:
G0 (x) = f (x)
Defini
c
ao 3. Dizemos que uma func
ao F e uma primitiva (ou antiderivada)
de f em um intervalo I, se F 0 (x) = f (x) para todo x pertencente a I.
Proposi
c
ao 2. Duas primitivas diferem-se por uma constante.
Prova: Sejam F e G duas primitivas da funcao f e H a funcao definida por:
H(x) = F (x) G(x) para todo x,
Entao, para todo x I, temos:
H 0 (x) = F 0 (x) G0 (x) = f f = 0
H 0 (x) = 0
Conclusao: H e uma constante e portanto temos:
F (x) G(x) = c x
donde:
F (x) = G(x) + c x

Teorema 3. (Segundo Teorema Fundamental do C

alculo ). Seja f : [a, b] R
uma func
ao contnua. Se F : [a, b] R e uma primitiva de f , implica que
Z
f (t)dt = F (b) F (a)

a
Prova: Por hipotese temos que F e primitiva de f , ou seja, F 0 = f . Definimos

Z x
G(x) =
f (t)dt
a
do Teorema 2 acima temos que G0 (x) = f (x), ou seja, G tambem e uma primitiva de f . Da Proposicao 2, sabemos que duas primitivas diferem-se por uma
constante, logo: G(x) = F (x) + c. Temos que:
G(a) = F (a) + c,
mas G(a) = 0
Logo:
c = F (a)
Portanto temos:
Z
G(x) =
f (t)dt
G(x) = F (x) F (a)
Conseq
uencia:
f (t)dt = F (x) F (a)

a
E como o ponto x esta no intervalo [a, b], podemos substituir x por b e obteremos:
Z
f (t)dt = F (b) F (a)

a

1.4
Integrac
ao de Fun
c
oes Racionais
O Teorema Fundamental do Calculo diz que integrar uma funcao e encontrar uma primitiva (antiderivada), as tecnicas de integracao se limitam a isso.
A integral de funcoes racionais e um dos temas bem acabados, o qual desenvolveremos nesta secao e usaremos no captulo seguinte.
Funcoes racionais sao aquelas que podem ser escritas como quociente de
polinomios, isto e:
P (x)
Q(x) =
G(x)
Dizemos que uma funcao racional e propria ou regular se o grau do polinomio
P (x) for menor que o grau do polinomio G(x), caso contrario esta funcao racional e dita impropria ou irregular. O proposito nesta secao e de provar que e
possvel encontrar a primitiva de toda funcao racional e estas primitivas serao
dadas em termos de polinomios, funcoes racionais, logaritmos e arco tangentes.
Para a demonstracao necessitamos do Teorema Fundamental da Algebra,

teorema este que fez parte da tese de doutorado do excepcional matematico alemao
Carl Friedrich Gauss (1777-1855).
Teorema 4. ( Teorema Fundamental da Algebra

). Toda polin
omio de grau n,
n 1, admite pelo menos uma raiz complexa.
Uma conseq
uencia deste e o seguinte teorema:
Teorema 5. Todo polin
omio de grau n, n 1:
P (x) = an xn + an1 xn1 + an2 xn2 + ... + a0 , pode ser fatorado sob a forma:
P (x) = an (x r1 )(x r2 )(x r3 ) ... (x rn ), em que r1 , r2 , ..., rn s
ao todas
as razes reais ou complexas de P(x), eventualmente com algumas razes iguais.
Prova: Seja P (x) = an xn + an1 xn1 + an2 xn2 + ... + a0 um polinomio de
grau n, n 1 , pelo Teorema Fundamental da Algebra

acima, P (x) admite uma
raiz real ou complexa r1 . Logo pelo algoritmo da divisao, podemos escrever:
P (x) = (x r1 ) Q1 (x)
onde Q1 (x) tem grau n 1. Se n 1 1, entao pelo Teorema Fundamental
da Algebra,
Q1 (x) admite uma raiz complexa r2 e podemos escrever: Q1 (x) =
(x r2 ) Q2 (x) . Repetindo este procedimento n vezes, obtem-se
P (x) = (x r1 )(x r2 )(x r3 ) ... (x rn ) Qn (x)
Da identidade de polinomios, temos que o coeficiente an de P (x) e igual a Qn (x)
o qual e uma constante. Logo
P (x) = an (x r1 )(x r2 )(x r3 ) ... (x rn )

Seja P (x) um polinomio com coeficientes reais, entao P (x) pode ser escrito da
seguinte forma:
2
P (x) = an (x 1 ) (x 2 ) ... (x k ) (x + a1 x + b1 ) (x + a2 x + b2 ) ... (x + aj x + bj )
{z
raizes
} |
reais
{z
raizes
complexas
De fato, caso P tiver raiz complexa, estas aparecem em pares, isto e, se

z = c + di e uma raiz de um polinomio P (x), entao o seu conjugado, ou seja,
z = cdi tambem e raiz desse mesmo polinomio P (x), isto porque P (x) = P (x)
(P (x) tem coeficientes reais). Logo devido a este fato, agrupando aos pares as
razes complexas (raiz e raiz conjugada), temos: (x2 + ak x + bk ) como um fator
na decomposicao de P (x).
Observa
c
ao 2. De agora em diante, todos os polin
omios s
ao com coeficientes
reais e iremos considerar apenas as func
oes racionais pr
oprias para efeito da
demonstraca
o, visto que as frac
oes impr
oprias, ou seja, aquelas em que o grau
do numerador e maior ou igual ao grau do denominador, a este caso basta
efetuar a divis
ao de P (x) por G(x), ate obtermos um resto r(x) tal que o grau
r(x)
de r(x) seja menor que o grau de G(x), por exemplo: Q(x) = M (x) +
,
G(x)
r(x)
onde M (x) e um polin
omio o qual e f
acil de se obter a sua primitiva e que G(x)
e uma func
ao racional pr
opria.
A estrategia para integracao de funcoes racionais propria
como uma soma de fracoes do tipo:
A
(x r)k
e / ou
P (x)
G(x)
e escrever esta
Mx + N
(x2 + px + q)k
onde k 1 e x2 + px + q nao tem razes reais, tal decomposicao e chamada de

Decomposi
c
ao em Fra
c
oes Parciais.
Antes de provarmos que toda funcao racional pode ser escrita em termos de
uma soma de fracoes parciais, provaremos as proposicoes abaixo.
P (x)
Proposi
c
ao 3. ( Fator linear com multiplicidade k ). Seja G(x)
uma func
ao
racional pr
opria. Se x = r e raiz de G(x) de multiplicidade k 1, de modo que
G(x) = (x r)k G1 (x) com G1 (r) 6= 0, ent
ao a func
ao racional pode ser escrita
da seguinte forma:
P (x)
A
P1 (x)
=
+
k
G(x)
(x r)
(x r)k1 G1 (x)
(1.2)
1 (x)
Onde A e uma constante e P1 (x) e um polin
omio tal que (xr)Pk1
e uma
G1 (x)
func
ao racional pr
opria. Alem do mais, a constante A pode ser calculada da
seguinte maneira:
P (r)
(1.3)
A=
G1 (r)

10
Prova: Suponha que valha (1.2), mostraremos que sempre e possvel encontrar
a constante A e o polinomio P1 (x). Entao operando em (1.2), temos:
P (x)
A G1 (x) + (x r) P1 (x)
=
G(x)
(x r)k G1 (x)
o que implica que:
P (x) = A G1 (x) + (x r) P1 (x)
(1.4)
Fazendo x = r teremos: P (r) = AG1 (r)+ 0, logo como G1 (r) 6= 0, entao:

A=
P (r)
G1 (r)
(1.5)
Para encontrar P1 (x), na equacao (1.4) temos:

P1 (x) =
P1 (x) =
P (x) [ GP1(r)
P (x) AG1 (x)
(r) ] G1 (x)
=
xr
xr
1
P (x) G1 (r) P (r) G1 (x)
G1 (r)
xr
(1.6)
Notemos que no numerador de P1 (x), isto e, em P (x) G1 (r) P (r) G1 (x),

que x = r e uma raiz. Logo ele tem como fator (x r) que cancela com o
denomindor e assim conclumos que P1 (x) e um polinomio de um grau a menos
1 (x)
que o grau de P (x), assim (xr)Pk1
e propria.
G1 (x)
Verificamos entao que:
A
P1 (x)
AG1 (x) + (x r) P1 (x)
+
=
=
(x r)k
(x r)k1 G1 (x)
(x r)k G1 (x)
=
[P (r)/G1 (r)] G1 (x) + [1/G1 (r)] [P (x)G1 (r) P (r)G1 (x)]

=
(x r)k G1 (x)
=
P (x)
P (x)
=
k
(x r) G1 (x)
G(x)
P (x)
Corol
ario 1. Seja G(x)
uma func
ao racional pr
opria. Se x = r e raiz de G(x)
de multiplicidade 1, de modo que G(x) = (x r) G1 (x) com G1 (r) 6= 0, ent
ao
a func
ao racional pode ser escrita da seguinte forma:
P (x)
P (x)
A
P1 (x)
=
=
+
G(x)
(x r) G1 (x)
x r G1 (x)
(1.7)
P1 (x)
seja uma func
ao
Onde A e uma constante e P1 (x) e um polin
omio tal que G
1 (x)
racional pr
opria. Alem do mais, a constante A pode ser calculada da seguinte
maneira:
P (r)
(1.8)
A=
G1 (r)

11
Observe que a demonstracao sai direta da Proposicao 3.

Corol
ario 2. Se G(x) pode ser todo fatorado em fatores lineares distintos, ou
seja: G(x) = (x r1 ) (x r2 ) (x r3 ) ... (x rn ) com ri 6= rj i 6= j,
ent
ao:
P (x)
A1
A2
An
=
+
+ ... +
.
(1.9)
G(x)
x r1
x r2
x rn
A demonstracao deste fato e utilizar o Corolario 1 repetidamente, podemos
reduzir o grau do denominador um por vez. A u
ltima etapa, a qual tem o denominador (x rn ) e como o numerador tem grau menor que o do denominador,
logo este e uma constante.
Corol
ario 3. Se G(x) pode ser todo fatorado em fatores lineares distintos com
multiplicidades, isto e:
G(x) = (x r1 )k1 (x r2 )k2 (x r3 )k3
com ri 6= rj
...
(x rn )kn
i 6= j e com os kns 1, ent

ao:
P (x)
G(x)
A1
A2
Ak1
+
+ ... +
+
k
k
1
1
1
(x r1 )
(x r1 )
(x r1 )
B2
Bk2
B1
+
+ ... +
+
+
k
k
1
2
2
(x r2 )
(x r2 )
(x r2 )
+ ............................................................... +
N2
Nkn
N1
+
+ ... +
+
(x rn )kn
(x rn )kn 1
(x rn )
=
(1.10)
De fato, utilizando a Proposicao 3 repetidamente, podemos reduzir o grau

do denominador um por vez em relacao a uma determinada raiz ri . Caso G(x)
tenha outras razes reais, podemos aplicar a Proposicao 3 novamente em relacao
a uma outra raiz rj de modo a estar reduzindo o grau do denominador um por
vez em relacao a esta raiz rj . Por fim, podemos repetir este processo com todas
as razes de G(x).
Agora veremos o caso em que o denominador e um polinomio do segundo
grau, o qual nao se consiga fatorar em fatores lineares, ou seja, 4 = b2 4ac < 0,
isto e, quando o denominador tem razes complexas.
P (x)
uma func
ao
G(x)
2
k
racional pr
opria. Se (x + px + q) e um fator de G(x), tal que
G(x) = (x2 + px + q)k T (x) onde o polin
omio T (x) n
ao e divisvel por
P (x)
2
(x + px + q), ent
ao a frac
ao G(x) pode ser decomposta como:
Proposi
c
ao 4. ( Raiz complexa com multiplicidade k ). Seja
Mx + N
U (x)
P (x)
= 2
+ 2
k
G(x)
(x + px + q)
(x + px + q)k1 T (x)
Onde o grau do polin
omio U (x) e menor do que o grau do polin
omio
(x2 + px + q)k1 T (x).
(1.11)

12
Prova: Notemos que a identidade abaixo e verdadeira, para quaisquer que

sejam os n
umeros M e N .
P (x)
G(x)
=
=
P (x)
(x2 + px + q)k T (x)
Mx + N
P (x) [M x + N ] T (x)
+
(x2 + px + q)k
(x2 + px + q)k T (x)
(1.12)
Iremos encontrar M e N de tal forma que o polinomio P (x) [M x + N ] T (x)

seja divisvel por (x2 + px + q). Digamos que i com ( 6= 0), sao as razes
de G(x), tal que (x - ( + i)) (x - ( i)) = x2 + px + q, entao basta que
a equacao P (x) [M x + N ] T (x) = 0 tenha razes i. Para isto, devemos
ter que : P ( + i) [M ( + i) + N ] T ( + i) = 0, ou seja:
P ( + i)
T ( + i)
M ( + i) + N =
(1.13)
P ( + i)
e um n
umero complexo, que pode ser escrito como um R + iS,
T ( + i)
onde o R e S sao n
umeros reais, logo temos de (1.13) que:
onde
M ( + i) + N = R + iS
(1.14)
entao: M + N = R e M = S , portanto temos:

M=
e que
N=
R S
onde 6= 0
Conclusao: se escolhermos M e N conforme acima, teremos que o polinomio

P (x) [M x + N ] T (x) tera como razes os n
umeros complexos i, logo este
polinomio e divisvel por (x2 +px+q), isto e, chamando o quociente desta divisao
por U (x), temos: P (x)[M x+N ]T (x) = (x2 px+q)U (x). Substituindo esta
igualdade em (1.12) e simplificando, obtemos a identidade (1.11). Nitidamente
vemos que o grau do polinomio U (x) e menor que o grau do polinomio
(x2 + px + q)k1 T (x).
A prova deste teorema e a aplicacao direta das proposicoes tres e quatro provadas
acima.
Teorema 6. Toda func
ao racional com coeficientes reais, pode ser escrita como
P (x)
uma soma de frac
oes parciais. Isto e, se Q(x) =
, portanto pode ser escrita
G(x)
como: Q(x) = F1 + F2 + F3 + ... + Fk , onde os Fks s
ao da forma:
A
(x r)k
onde k 1.
ou
Mx + N
+ px + q)k
(x2

13
Assim do Teorema 6 temos que, toda funcao racional propria,

ser escrita como uma soma de fracoes parciais da seguinte forma:
P (x)
G(x)
=
+
+
+
+
P (x)
pode
G(x)
A
A1
A1
+
+ ... +
+
1
(x a)
(x a)
xa
B
B1
B1
+
+ ... +
+
1
(x b)
(x b)
xb
........................................................... +
Mx + N
M1 x + N1
M1 x + N1
+ 2
+ ... +
+
(x2 + px + q)
(x + px + q)1
x2 + px + q
Tx + Q
T1 x + Q1
T1 x + Q1
+ 2
+ ... +
.
2
1
(x + lx + s)
(x + lx + s)
x2 + lx + s
(1.15)
Observa
c
ao 3. Como na decomposic
ao em frac
oes parciais aparece termos s
o
das seguintes formas:
A
(x r)k
e/ou
Mx + N
(x2 + px + q)k
onde k 1
Temos que, as func

oes do primeiro tipo podem ser integradas usando a
substituic
ao u = (xr) e e claro que os resultados s
ao sempre func
oes racionais
( para k > 1 ) ou logartmicas ( se k = 1 ).
J
a as func
oes do segundo tipo na qual os polin
omios quadr
aticos x2 + px + q
2
n
ao tem fatores lineares, isto e, correspodem as razes de x + px + q = 0, que
s
ao complexas n
ao reais, pode ser integrada completando o quadrado e fazendo
uma substituic
ao adequada. Quando isto e feito, temos integrais das formas:
Z
(i)
u du
(u2 + 2 )k
Z
ou
(ii)
(u2
du
+ 2 )k
No caso (i), se k=1 temos:

Z
1
u du
= ln(u2 + 2 ) + C
2
2
(u + )
2
Pois basta substituir (u2 + 2 ) = v, donde teremos que dv = 2u du.
No caso (i), se k > 1 temos:

Z
u du
1 (u2 + 2 )k+1
=
+C
2
2
k
(u + )
2
k + 1

14
Pois basta substituir (u2 + 2 ) = v, donde teremos que dv = 2u du.
No caso (ii), se k = 1 temos:

Z
du
1
u
= arctg + C
(u2 + 2 )
Pois:
substituindo
du
=
(u2 + 2 )
Z
2
du
2
( u2 + 1)
= v, teremos que: du = dv, logo:

Z
Z
dv
1
dv
1
u
=
= arctg + C
2 (1 + v 2 )
(1 + v 2 )
No caso (ii), se k > 1 temos:

Z
Z
du
1
u
2k 3
du
=
2
2
k
2
2
2
k1
2
2
(u + )
2 (k 1) (u + )
2 (k 1)
(u + 2 )k1
Pois quando k > 1 pode ser reduzido ao caso k = 1, por aplicac
ao repetida
da f
ormula de reduc
ao acima.
Enunciamos essa f
ormula com o prop
osito de mostrar que as u
nicas func
oes
que surgem do procedimento de reduc
ao indicado, s
ao func
oes racionais e arco
tangente. A pr
opria f
ormula pode ser verificada por derivac
ao.
Segue abaixo a prova desta f
ormula. A seguir mostraremos que:
Z
dx
x
2n 3
=
+ 2
(a2 + x2 )n
2a2 (n 1) (a2 + x2 )n1
2a (n 1)
dx
(a2 + x2 )n1
com n > 1
De fato, a derivada do produto [x (a2 + x2 )m ] m Z, m 6= 1 e:

d
[x (a2 + x2 )m ] = (a2 + x2 )m + 2mx2 (a2 + x2 )m1
dx
d
[x (a2 + x2 )m ] = (a2 + x2 )m + 2m [(a2 + x2 ) a2 ] (a2 + x2 )m1
dx
d
[x (a2 + x2 )m ] = (a2 + x2 )m + 2m (a2 + x2 )m 2ma2 (a2 + x2 )m1
dx
d
[x (a2 + x2 )m ] = (1 + 2m) (a2 + x2 )m 2ma2 (a2 + x2 )m1
dx
Integrando a identidade acima, temos:
Z
Z
Z
d
2
2 m
2
2 m
2
[x (a + x ) ] = (1 + 2m) (a + x ) dx 2ma (a2 + x2 )m1 dx
dx
Z
Z
2
2 m
2
2 m
2
x (a + x ) = (1 + 2m) (a + x ) dx 2ma (a2 + x2 )m1 dx

15
Vale para todo m Z e m 6= 1, fazendo m = n + 1, temos:

x(a2 +x2 )n+1 = (1+2(n+1))
(a2 +x2 )n+1 dx2(n+1)a2
(a2 +x2 )(n+1)1 dx
Z
dx
dx
2
x (a + x )
= (2n 3)
+ 2(n 1)a
2
2
n1
2
(a + x )
(a + x2 )n
Z
Z
dx
dx
x (a2 + x2 )n+1 + (2n 3)
= 2(n 1)a2
(a2 + x2 )n1
(a2 + x2 )n
2
Onde:
Z
2 n+1
dx
x
2n 3
= 2
+ 2
(a2 + x2 )n
2a (n 1) (a2 + x2 )n1
2a (n 1)
dx
(a2 + x2 )n1
Da observacao acima, mostra-se que a integral de qualquer funcao racional

pode ser expressa em termos de polinomos, funcoes racionais, logaritmos e arco
tangentes. O trabalho detalhado pode ser muito penoso, mas pelo menos o
caminho que deve ser seguido e nitidamente visvel.
16
Captulo 2
Funco
es Elementares
Veremos neste captulo a definicao de funcoes algebricas, de funcoes transcendentais, de funcoes elementares e um teorema sobre integracao de funcoes
algebricas.
Primeiramente iremos obter uma classificacao das funcoes, ou seja, para
funcoes reais de uma variavel real, podemos introduzir uma classificacao baseada
nas operacoes usadas para defini-las, isto e, as fun
c
oes polinomiais sao obtidas
das funcoes 1 (a funcao constante) e x (a funcao identidade) por aplicacoes
repetidas das operacoes de adicao, multiplicacao e multiplicacao por constantes.
As fun
c
oes racionais sao obtidas da mesma maneira, ou seja, das funcoes 1 e
x, pelas operacoes mencionadas acima, mais a operacao de divisao. As funcoes
algebricas e as funcoes transcendentais daremos uma explicacao mais detalhada,
conforme segue abaixo.
2.1
Funco
es Alg
ebricas
Em alguns livros de calculo a definicao de funcoes algebricas e dada da

seguinte forma: sao funcoes que podem ser expressas em termos de somas,
produtos ou potencias racionais de polinomios, ou seja, qualquer funcao que
possa ser expressa por uma manipulacao algebrica de polinomios. Uma definicao
mais rigorosa seria: uma funcao y e algebrica, se y for solucao de uma equacao
algebrica da forma abaixo:
G(y) = Pn (x) y n + Pn1 (x) y n1 + Pn2 (x) y n2 + ... + P0 (x) = 0
ou seja, uma equacao na variavel y, tendo como coeficientes P0 , P1 , ..., Pn1 , Pn
polinomios na variavel x. Equivalentemente, se cada Pn (x) for escrito explicitamente, temos que: uma funcao e algebrica se for contnua num intervalo e
definida implicitamente por uma equacao polinomial em x e y, conforme abaixo:
a1 xn1 y m1 + a2 xn2 y m2 + ... + ak xnk y mk = 0
(2.1)

CAPITULO 2. FUNC
OES
ELEMENTARES
17
onde os n1 , n2 , ..., nk e os m1 , m2 , ..., mk sao inteiros nao negativos.

Desta forma, cada funcao racional e cada inversa contnua de uma funcao
racional e algebrica.
ao y e uma func
ao algebrica, pois e soluc
ao
Exemplo 1. Seja y = 2 + x3 , ent
da equac
ao algebrica P1 (x) y 2 P0 (x) = 0, onde P1 (x) = 1 e P0 (x) = (2 + x3 ).
x+7
Exemplo 2. Seja f (x) = 4x3 5 3 x +
, ent
ao f (x) e uma funca
o
x3 2
algebrica.
1
Exemplo 3. y = x 3 e uma func

ao algebrica definida implicitamente pela
equaca
o: y 3 x = 0 .
2.2
Funco
es Transcendentais
Toda funcao que nao e algebrica, e dita funcao transcendental. Uma observacao pertinente e que as funcoes trigonometricas, as exponenciais e as logartmicas sao funcoes transcendentais, pois nao satisfaz a nenhuma equacao
algebrica da forma (2.1) .
Por exemplo se ex for algebrica, existe uma equacao do tipo:
a1 xn1 y m1 + a2 xn2 y m2 + ... + ak xnk y mk = 0
com os ai 0 s 6= 0 para a qual ex satisfaz. Assim tem substituindo:
a1 xn1 exm1 + a2 xn2 exm2 + ... + ak xnk exmk = 0
com os ai 0 s 6= 0. O que e um absurdo como mostraremos a seguir, pois as
funcoes:
f1 (x) = xn1 exm1
f2 (x) = xn2 exm2
...
fk (x) = xnk exmk
< x <
(2.2)
sao linearmente independentes no espaco vetorial real das funcoes reais, ou seja,
as funcoes (2.2) sao linearmente independentes nao importando o modo pelo
qual os n0 s e os m0 s sejam escolhidos como inteiros nao negativos.
Em geral, o fato de que a funcao y(x) e transcendental, e equivalente `a
independencia linear de certos conjuntos de funcoes da forma xni [y(x)]mj no
intervalo apropriado.
Defini
c
ao 4. ( Independencia Linear ). Seja V um espaco vetorial real. Dizemos que um conjunto {v1 , v2 , ..., vk } e linearmente independente (LI), se a
equaca
o a1 v1 + a2 v2 + ... + ak vk = 0 possuir apenas a soluca
o trivial, ou seja,
a1 = a2 = ... = ak = 0 .
Seja V = F(R) = {f : R R} um espaco vetorial com escalares em R de
funcoes contnuas reais definida na reta; a dimensao de V e infinita.
Para demonstrar que a funcao ex e transcendental, iremos primeiro mostrar
para alguns casos particulares, para depois fazermos uma generalizacao.

CAPITULO 2. FUNC
OES
ELEMENTARES
18
Afirma
c
ao 1: As funcoes f1 (x) = ex e f2 (x) = e2x sao linearmente independentes. Isto e, que c1 ex + c2 e2x = 0, se e somente se c1 = c2 = 0. Seja:
c1 f1 (x) + c2 f2 (x) = 0
c1 ex + c2 e2x = 0
x R
x R
(2.3)
De fato, se a equacao (2.3) vale x R, entao derivando esta expressao, a

equacao resultante vale x R, assim temos:
c1 ex + 2c2 e2x = 0
x R
(2.4)
Resolvendo o sistema (2.3) e (2.4), ou seja, multiplicando por (-1) a equacao

(2.3) e depois somando com a equacao (2.4), obtemos: c2 e2x = 0, como a funcao
e2x nunca e zero implica que c2 = 0 . Logo c1 ex = 0, o que implica tambem que
c1 = 0.
Afirma
c
ao 2: As funcoes f1 (x) = xex , f2 (x) = x2 ex e f3 (x) = e2x sao
linearmente independentes. Seja:
c1 f1 (x) + c2 f2 (x) + c3 f3 (x) = 0
c1 xex + c2 x2 ex + c3 e2x = 0
x R
x R
(2.5)
Derivando esta expressao temos:

c1 ex + c1 xex + 2c2 xex + c2 x2 ex + 2c3 e2x = 0
x R
(2.6)
Multiplicando por (-1) a equacao (2.5) e depois somando com a equacao (2.6),
obtemos:
c1 ex + 2c2 xex + c3 e2x = 0 x R
(2.7)
Derivando a expressao (2.7), temos:
c1 ex + 2c2 ex + 2c2 xex + 2c3 e2x = 0
x R
(2.8)
obtemos:
2c2 ex + c3 e2x = 0 x R
(2.9)
Derivando a expressao (2.9), temos:
2c2 ex + 2c3 e2x = 0
x R
(2.10)
obtemos: c3 e2x = 0, o que implica que c3 = 0. Mas como c3 = 0, da equacao
(2.9) temos que 2c2 ex = 0, o que implica que c2 = 0. Mas como c2 = 0 e c3 = 0,
da equacao (2.7) temos que c1 ex = 0, o que implica que c1 = 0.

CAPITULO 2. FUNC
OES
ELEMENTARES
19
Afirma
c
ao 3: Sejam as funcoes f1 (x) = p1 (x)ex e f2 (x) = p2 (x)e2x , onde
p1 (x) e p2 (x) sao polinomios, entao p1 (x)ex + p2 (x)e2x = 0, se e somente se
p1 (x) p2 (x) 0, x R.
De fato, se:
p1 (x)ex + p2 (x)e2x = 0
, dividindo esta expressao por ex , temos:
p1 (x) + p2 (x)ex = 0
x R
(2.11)
sendo p1 (x) = a0 + a1 x + ... + ak xk e p2 (x) = b0 + b1 x + ... + br xr , substituindo

temos:
(a0 + a1 x + ... + ak xk ) + (b0 + b1 x + ... + br xr ) ex = 0
x R
(2.12)
Derivando a expressao (2.12), obtemos:

(a1 + ... + kak xk1 ) + [(b1 + ... + rbr xr1 ) ex ] + p2 (x) ex = 0
x R (2.13)
aplicando derivada sucessiva, chegaremos a uma expressao do tipo:

q(x) ex = 0
x R
(2.14)
onde q(x) e um polinomio do mesmo grau de p2 (x) e mais onde q(x) = p2 (x) +
t(x), tal que t(x) e um polinomio de grau menor do que p2 (x).
Seja q(x) = 0 + 1 x + 2 x2 + ... + r xr , entao:
q(x) ex = 0
(0 + 1 x + 2 x2 + ... + r xr ) ex = 0
x R
(2.15)
para x = 0, teremos que 0 = 0, logo a equacao (2.15) tem a seguinte forma:

(1 x + 2 x2 + ... + r xr ) ex = 0
derivando a expressao acima, temos:
(1 +22 x+...+rr xr1 )ex +(1 x+2 x2 +...+r xr )ex = 0
x R (2.16)
para x = 0, teremos que 1 = 0, logo a equacao (2.16) tem a seguinte forma:

(22 x + ... + rr xr1 ) ex + (2 x2 + ... + r xr ) ex = 0
x R
aplicando derivada sucessiva, chegaremos a conclusao de que 0 = 1 = 2 =

... = r = 0, ou seja, o polinomio q(x) e um polinomio identicamente nulo, isto
e, q(x) 0. Portanto p2 (x) tambem e um polinomio identicamente nulo, ou
seja, p2 (x) 0, logo pela equacao (2.11) implica que p1 (x) 0, ou seja, p1 (x)
tambem e um polinomio identicamente nulo.

CAPITULO 2. FUNC
OES
ELEMENTARES
20
Afirma
c
ao 4: Sejam p0 (x), p1 (x), ..., pk (x) polinomios, entao:
p0 (x) + p1 (x)ex + p2 (x)e2x + ... + pk (x)ekx = 0,
se e somente se, p0 (x) p1 (x) ... pk (x) 0 x R.
De fato, se:
p0 (x) + p1 (x)ex + p2 (x)e2x + ... + pk (x)ekx = 0
A demonstracao sera por inducao em k. Usando inducao temos:
Da Afirma
c
ao 3 , p0 (x) + p1 (x)ex + p2 (x)e2x + ... + pk (x)ekx = 0, vale para
k = 1.
Agora, suponhamos que a equacao acima seja valida para um certo valor
m, entao provaremos que ela e valida para um valor m + 1. Temos entao:
p0 (x) + p1 (x)ex + ... + pm (x)emx = 0 p0 (x) ... pm (x) 0
x R
Vamos provar para m + 1:

p0 (x) + p1 (x)ex + ... + pm+1 (x)e(m+1)x = 0
Vamos seguir os seguintes passos:
Primeiro iremos derivar repetidamente esta equacao, ate eliminarmos o
polinomio p0 (x);
notem que o processo de derivacao nao afeta os graus dos coeficientes de
ex , ..., e(m+1)x ;
neste estagio iremos agrupar os polinomios, conforme abaixo:
Q1 (x)ex + ... + Qm+1 (x)e(m+1)x = 0
colocaremos o termo ex em evidencia, entao temos:
ex [Q1 (x) + ... + Qm+1 (x)emx ] = 0
Conseq
uencia, como o termo ex 6= 0 x R, implica que Q1 (x) + ... +
Qm+1 (x)emx 0, aplicando a hipotese de inducao, temos entao que Q1 (x)
... Qm+1 (x) 0 x R.
Como os polinomios Q1 (x) ... Qm+1 (x) 0 x R, implica que os polinomios p0 (x) p1 (x) ... pm+1 (x) 0 x R, pois Q1 (x), ..., Qm+1 (x)
sao combinacoes lineares de p1 (x), ..., pm+1 (x).
Conclus
ao: Acabamos de provar na Afirma
c
ao 4 que a funcao ex nao e
algebrica, pois nao e solucao de nenhuma equacao da forma (2.1), logo ela e
transcendental.

CAPITULO 2. FUNC
OES
ELEMENTARES
21
Iremos provar agora que a funcao lnx nao e algebrica, isto e, ela e transcendental. Provaremos por absurdo, ou seja, se a funcao lnx for algebrica entao
lnx e solucao da equacao (2.1) com os ais 6= 0 i. Logo temos:
a1 xn1 (lnx)m1 + a2 xn2 (lnx)m2 + ... + ak xnk (lnx)mk = 0
Fazendo uma substituicao de variavel, chamando de t = lnx, temos que x = et .
Substituindo na equacao acima, temos:
a1 etn1 tm1 + a2 etn2 tm2 + ... + ak etnk tmk = 0
Reescrevendo esta equacao de uma outra maneira, temos:
a1 tm1 etn1 + a2 tm2 etn2 + ... + ak tmk etnk = 0
Mas isto e um Absurdo! Pois como ja provamos acima a funcao ex nao
e algebrica, porque nao satisfaz a nenhuma equacao da forma (2.1) com os
ai 0 s 6= 0 i.
Conclus
ao: A funcao lnx e transcendental, pois nao e solucao de nenhuma
equacao algebrica da forma (2.1) com os ai 0 s 6= 0 i.
As funcoes trigonometricas, a funcao ex , a funcao lnx e as funcoes nao
algebricas obtidas delas por adicao, subtracao, multiplicacao, divisao, multiplicacao por constantes, composicao e formacao de funcoes inversas sao todas
chamadas func
oes transcendentais elementares. Assim, em particular, sen1 x
, ln[tg(x)] , ecosx , sao funcoes transcendentais elementares. A maioria das
funcoes encontradas no Calculo e em suas aplicacoes sao ou algebricas, ou transcendentais elementares.
2.3
Funco
es Elementares
Intuitivamente denotamos por E a classe constituda por todas as funcoes

conhecidas por um aluno de Calculo, e denominaremos esta classe como a Classe
da Funcoes Elementares.
Defini
c
ao 5. O espaco de func
oes elementares E e formado pelas seguintes
func
oes:
funco
es racionais ;
funco
es algebricas ;
funco
es esponenciais: ex ;
es logartmicas: lnx ;
funco
funco
es trigonometricas, as trigonometricas hiperb
olicas e as suas respectivas inversas ;

CAPITULO 2. FUNC
OES
ELEMENTARES
22
assim como todas as func

oes que por um n
umero finito de etapas, possam
ser construdas atraves das func
oes acima, usando-se um n
umero finito
de operac
oes de soma, produto e composic
ao de func
oes.
2.4
Um teorema sobre Integra

c
ao de Fun
c
oes
Alg
ebricas
A teoria sobre a integracao de funcoes algebricas e bem mais complexa do

que a integracao de funcoes racionais e sequer e completa. Uma primitiva de
uma funcao algebrica pode ser dada ou nao em termos de funcoes elementares.
Abaixo segue um teorema sobre a integracao de funcoes algebricas, cuja a prova
pode ser encontrada em [1] de uma forma mais algebrica e em [8] de uma maneira
mais analtica.
Teorema 7. RIntegrac
ao de Func
oes Algebricas. Seja y uma func
ao algebrica e
suponha que ydx E, ent
ao:
Z
ydx = R1 (x, y) +
k
X
ai lnRi (x, y)
i=2
para algum k inteiro e onde os ai 0 s s

ao constantes e Ri (x, y)0 s s
ao func
oes
racionais, i = 1,2,3,...,k .
23
Captulo 3
Teoremas de Liouville
Joseph Liouville (1809-1882)

Neste captulo sera mostrado dois teoremas os quais sao devido a Liouville,
um excepcional matematico frances que viveu entre os anos de 1809 `a 1882,
que contribuiu muito para o problema de saber se a primitiva de uma funcao
pertence ou nao a classe das funcoes elementares. Vale a pena ressaltar ao
leitor,
que os primeiros e mais significativos teoremas com relacao a saber se
R
f (x)dx E surgiram dos estudos e pesquisas feitos por ele.
O primeiro teorema e um teorema mais geral sera apenas enunciado, uma
prova dele pode-se encontrar em Hardy [1]. A partir dele podemos extrair
informacoes que sejam relevantes e que possam ser de boa utilidade pratica na
integracao de funcoes. Enquanto que o segundo teorema e um caso particular
do primeiro teorema, e a este daremos uma demonstracao.
CAPITULO 3. TEOREMAS DE LIOUVILLE
3.1
24
Teorema I de Liouville
Conforme G. H. Hardy (vide [1]), o teorema abaixo era o resultado mais

geral conhecido na epoca de Liouville, o qual tratava do assunto de saber se
uma primitiva era dada em termos de funcoes elementares ou nao.
dyi
Teorema 8. Sejam y1 , y2 , ..., yk func
oes da vari
avel x, cujas derivadas
s
ao
dx
fun
oes algebricas de x, y1 , y2 , ..., yk . Se F e uma func
ao algebrica e
R c
F (x, y1 , y2 , ..., yk )dx E ent
ao tem-se:
Z
F (x, y1 , y2 , ..., yk )dx = z0 (x, y1 , y2 , ..., yk ) +
r
X
ai lnzi (x, y1 , y2 , ..., yk )
i=1
onde os zi 0 s s
ao func
oes algebricas e os ai 0 s s
ao constantes.
dyi
e F forem func
oes racionais, ent
ao os zi 0 s ser
ao func
oes racionais.
Se
dx
Exemplo 4. Um caso mais geral e bastante tpico no qual se insere o Teorema
I de Liouville e por exemplo, quando:
x
F (x, ex , ee , lnx, ln(lnx), cosx, senx)

Neste caso, verificamos que:
p
dy3
dy4
dy5
dy1
1
1
2
2
y1 , dy
dx = p
dx = y1 y2 , dx = x , dx = xy3 , dx = 1 (y5 ) e
dy6
1 (y6 )2 , correspondendo ao que exige o Teorema I de Liouville.
dx =
3.2
Teorema II de Liouville
Teorema
9. Sejam S e T func
oes racionais, com T 6= constante, tal que
R
S(x) eT (x) dx E, ent
ao tem-se:
Z
S(x) eT (x) dx = R(x) eT (x)
onde R(x) e uma func
ao racional.
Prova: Para demonstrarmos este teorema, iremos aplicar o Teorema I de Liou0
1
2
ville. Temos assim que y1 = S(x) , y2 = eT (x) , dy
e racional , dy
dx
dx = y2 T (x),
e que F (x, y1 , yR2 ) = y1 y2 e uma funcao algebrica. Portanto temos que, por
hipotese como S(x) eT (x) dx E, do Teorema I de Liouville garante que essa
primitiva e da seguinte forma:
z0 (x, S(x), eT (x) ) + a1 lnz1 (x, S(x), eT (x) ) + ... + ar lnzr (x, S(x), eT (x) )
zi sao racionais, digamos zi =
renomeando podemos supor que:
Z
Pi
Qi
e aplicando a propriedade de logaritmo,
S(x) eT (x) dx = R0 (x, S(x), eT (x) ) + a1 lnP1 (x, S(x), eT (x) ) + ... + ar lnPr (x, S(x), eT (x) )
(3.1)
25
onde os R0 e funcao racional e os Pi 0 s sao polinomios.

Neste ponto chamamos o leitor a fazer algumas consideracoes relevantes,
tais como:
1o ) O termo eT (x) deve obrigatoriamente aparecer linearmente na expressao
(3.1). Suponhamos que este termo nao apareca linearmente, por exemplo [eT (x) ]2
e seja T (x) = x2 + 1, temos que a derivada de [eT (x) ]2 e:
0
[eT (x) ]2 = 2 eT (x) eT (x) 2x = 2 [eT (x) ]2 2x = 4x [eT (x) ]2

sendo assim, o termo eT (x) nao teria como aparecer linearmente apos derivarmos
a expressao (3.1).
2o ) O termo eT (x) nao pode aparecer no denominador de R0 , visto que se este
termo aparecer no denominador de R0 , este deveria aparecer no denominador
apos derivarmos a expressao (3.1), ja que a operacao de derivacao nao faz com
que o termo eT (x) possa desaparecer, fato este que nao ocorre.
3o ) O termo eT (x) nao pode aparecer nos polinomios, isto e, nos Pi 0 s pelo mesmo
motivo acima, porque ao derivarmos a expressao (3.1) nao encontraramos a
expressao S(x) eT (x) visto que, aplicando as propriedades do logaritmo e colocando o termo eT (x) em evidencia, ao derivarmos (3.1) este termo deveria
aparecer tambem depois do sinal de adicao, fato que tambem nao ocorre.
Finalmente, aplicando o Primeiro Teorema Fundamental do Calculo, para que
possamos gerar a expressao S(x) eT (x) ao derivarmos (3.1), devemos ter que
R0 (x, S(x), eT (x) ) = S(x) eT (x) e que todos os ai 0 s sejam iguais a zero, isto e,
ai = 0 i.
3.3
Aplicaco
es dos Teoremas de Liouville
Nesta secao iremos mostrar alguns exemplos de como aplicar os Teoremas

de Liouville. Para as aplicacoes do Teorema II de Liouville, os argumentos que
utilizaremos sao simples e nao requer nenhum conhecimento extra, a nao ser o
do Teorema Fundamental da Algebra

o qual ja foi mencionado anteriormente e
o lema que segue abaixo:
Lema 1. Seja p um polin
omio com uma raiz x = a de multiplicidade r > 0,
por exemplo: p(x) = (x a)r h(x), com h um polin
omio tal que h(a) 6= 0.
Ent
ao x = a e uma raiz de multiplicidade r 1 de sua derivada p0 , isto e,
p0 (x) = (x a)r1 q(x), com q um polin
omio tal que q(a) 6= 0.
Prova: Seja x = a uma raiz de um polinomio p(x) qualquer, ou seja:
p(x) = (x a)r h(x),
onde h(a) 6= 0
temos entao que:

p0 (x) = r (x a)r1 h(x) + (x a)r h0 (x)
26
p0 (x) = (x a)r1 [rh(x) + (x a) h0 (x)]

|
{z
}
q(x)
onde q(a) = rh(a) 6= 0, logo temos:

p0 (x) = (x a)r1 q(x)
onde q(a) 6= 0
R
sabido nos cursos de Calculo que nao e possvel integrar ex2 dx. A
E
primeira aplicacao e uma generalizacao deste caso. Do Teorema (1) sabemos
R 2
que ex dx e integravel, entao o que ocorre e que a sua integral nao e dada em
termos de funcoes elementares.
3.3.1
Aplicac
ao 1
Seja p(x) um polin

omio de grau maior do que 1, temos ent
ao que
Z
ep(x) dx
/E .
R
Com efeito provaremos por reducao ao absurdo, suponhamos
que ep(x) dx E,
R p(x)
pelo Teorema II de Liouville deveramos ter que e
dx = R(x) ep(x) para
alguma funcao racional R. Pelo Teorema Fundamental do Calculo, temos:
ep(x) = R0 (x) ep(x) + R(x) ep(x) p0 (x)
(3.2)
ep(x) = ep(x) [R0 (x) + R(x) p0 (x)]
(3.3)
p(x)
e
= R0 (x) + R(x) p0 (x)
ep(x)
1 = R0 + p0 R
(3.4)
(3.5)
P
, onde os
Q
polinomios P e Q nao tem fatores em comum, isto e, nao possuem razes iguais.
Portanto podemos escrever a equacao (3.5) da seguinte forma:
0
P
P
(3.6)
1=
+ p0
Q
Q
Como R e uma funcao racional, podemos escreve-la como R =
Temos entao que:

1=
P
P 0 Q P Q0
+ p0
2
Q
Q
(3.7)
1=
P 0 Q P Q0 + QP p0
Q2
(3.8)
Q2 = P 0 Q P Q0 + QP p0
(3.9)
27
Q2 P 0 Q QP p0 = P Q0
(3.10)
Q (Q P 0 p0 P ) = P Q0
(3.11)
Finalmente temos que:
Neste ponto suponha que o grau de Q seja maior do que zero, logo Q possui
uma raiz x = de multiplicidade r > 0. Ora, P () 6= 0 ja que P e Q sao
polinomios primos entre si, conforme dito anteriormente. Portanto x = e
uma raiz de multiplicidade r 1 do polinomio do lado direito da equacao (3.11),
conforme ja mencionado no Lema 1 acima e simultaneamente uma raiz de no
mnimo multiplicidade r do polinomio do lado esquerdo desta mesma equacao.
Portanto essa contradicao garante que Q e uma constante e podemos entao
assumir que a equacao (3.11) toma a seguinte forma: p0 P = P 0 , pois voltando
na equacao (3.6) e sendo Q uma constante, temos:
1=
P0
P
+ p0
Q
Q
(3.12)
P 0 + p0 P
Q
(3.13)
1=
Q = P 0 + p0 P
onde
p0 P = Q P 0
(3.14)
E como Q e uma constante, isso e um absurdo, visto que o grau do polinomio

p0 P e maior do que o grau do polinomio P , que por sua vez e maior que o
0
grau do polinomio P 0 (o qual e igual
Z ao grau do polinomio Q P ) conforme
mencionado no Lema 1. Portanto
ep(x) dx
/ E, se p(x) for um polinomio de
grau
R p(x)maior do que 1. Por outro lado, e sabido que se p(x) for de grau 1, entao
e
dx E.
3.3.2
Aplicac
ao 2
Se p(x)
e um polin
omio de grau maior ou igual `
a 1, ent
ao:
Z
ex
dx
/E .
p(x)
De fato provaremos por reducao ao absurdo, suponhamos que
Teorema II de Liouville implica que teramos:
Z
ex
dx = R(x) ex
p(x)
ex
p(x) dx
E, do
para alguma funcao racional R. Como na Aplicacao 1, derivando essa expressao

obtemos:
ex
= R0 (x) ex + R(x) ex
(3.15)
p(x)

Portanto:
28
ex
= ex [R0 (x) + R(x)]
p(x)
(3.16)
ex
= p(x) [R0 (x) + R(x)]
ex
(3.17)
1 = p [R0 + R]
(3.18)
Logo temos entao que:
P
, onde os
Q
polinomios P e Q nao tem fatores em comum, isto e, nao possuem razes iguais.
Portanto podemos escrever a equacao (3.18) da seguinte forma:
"
#
0
P
P
1=p
+
(3.19)
Q
Q
Como R e uma funcao racional, podemos escreve-la como R =
Temos entao que:
1=p
1=p
P 0 Q P Q0
Q2
P
+
Q
P 0 Q P Q0 + Q P
Q2
Q2 = pP 0 Q pP Q0 + pQP
2
(3.20)
(3.21)
(3.22)
(3.23)
Q (Q pP 0 pP ) = pP Q0
(3.24)
Q pP Q pQP = pP Q
Finalmente temos que:
Suponha que o grau de Q seja maior do que zero, logo Q possui uma raiz x =
de multiplicidade r > 0 e suponhamos tambem que p() 6= 0, logo por um
argumento igual ao da Aplica
c
ao 1, isto e, ja que P e Q sao polinomios primos
entre si, conforme dito anteriormente e sendo x = uma raiz de multiplicidade
r 1 do polinomio do lado direito da equacao (3.24), devido ao Lema 1 acima,
e simultaneamente uma raiz de no mnimo multiplicidade r do polinomio do
lado esquerdo desta mesma equacao, chegamos a um absurdo. Por outro lado,
se p() = 0 e x = e uma raiz de multiplicidade n de p(x), da expressao
(3.24) concluiramos que essa raiz seria de multiplicidade n + r 1 do polinomio
do lado direito de (3.24) e simultaneamente, uma raiz de multiplicidade n + r
do polinomio do lado esquerdo desta mesma expressao, o que tambem e um
absurdo. Portando temos que Q e uma constante e podemos entao assumir que
a equacao (3.24) toma a seguinte forma: pP 0 = pP , pois voltando na equacao
(3.19) e sendo Q uma constante, temos:
0
P
P
1=p
+
(3.25)
Q
Q
29
pP 0 + pP
Q
(3.26)
Q = pP 0 + pP
(3.27)
1=
Q pP = pP
(3.28)
E como Q e uma constante, isso e um absurdo, pelo mesmo argumento que

utilizamos na Aplicacao 1, ou seja, o grau do polinoZ
mio P e maior do que o
ex
0
grau do polinomio P , conforme o Lema 1. Portanto
dx
/ E, se o grau
p(x)
de p(x) for maior do que zero.
3.3.3
Aplicac
ao 3
Z
1
dx
/E
lnx
De fato, basta fazermos a mudanca de variavel y = lnx.

Seja y = lnx implica que ey = x, derivando esta u
ltima expressao, temos:
ey
dy
= 1 o que implica que ey dy = dx .
dx
Substituindo, temos:
Z
Z
Z y
1
1 y
e
dx =
e dy =
dy
/ E conforme provado na Aplica
c
ao 2.
lnx
y
y
Atraves do uso do Teorema II de Liouville, usando integracao por partes ou

alguma mudanca de variavel, se necessario e repetindo o raciocnio das aplicacoes
anteriores, os alunos que cursam a disciplina de Calculo terao o privilegio de
descobrir e responder se a primitiva de varias funcoes podem ser dadas ou nao
em termos de funcoes elementares, isto e, aquelas funcoes que sao conhecidas
por um aluno de Calculo, as quais foram citadas na Secao 2.3 .
Z
Z
Z
x
Exemplo 5.
ee dx
/E,
ln(lnx) dx
/E,
ex lnx dx
/ E.
Iremos mostrar que a primitiva da primeira funcao nao e elementar, as outras
duas deixamos a cargo do leitor, como forma de aprendizagem. Pois bem,
atraves de uma mudanca de variavel, temos que
Z
Z u
x
e
ee dx =
du
u
30
du
x
Pois chamemos de u = ex u0 = ex du
dx = e dx = ex , logo temos:
Z
Z
Z u
1 u
e
u du
e
=
e du =
du
u
u
u
onde esta u
ltima nao pertence a E, conforme ja provado na Aplica
c
ao 2 .
Veremos agora duas aplicacoes do Teorema I de Liouville, vide Teorema 8.
3.3.4
Aplicac
ao 4
Z
R(x) lnx dx
/E
Z
De fato, suponhamos que
R(x) lnx dx E, onde R(x) e uma funcao
C
racional. Entao temos que R(x) =
+ T 0 (x), onde T (x) e racional e do
x
Teorema I de Liouville, a primitiva deve ter a seguinte forma:
R0 (x, lnx) + a1 lnR1 (x, lnx) + ... + ar lnRr (x, lnx)
(3.29)
Diante do integrando, um pouco de reflexao (as quais serao detalhadas abaixo)

nos leva a concluir os seguintes fatos:
1. R0 (x, lnx) = C2 (lnx)2 + T (x) lnx + U (x), com T e U funcoes racionais
e C2 constante ;
2. o restante das funcoes racionais Ri que aparecem em (3.29) devem ser
X
ai
funcoes apenas de x, as quais podem ser escritas como
, com
(x
i )
i
eventuais repeticoes.
Portanto a expressao (3.29) deve ter a forma:
X
C
(lnx)2 + T (x) lnx + U (x) +
ai ln(x i )
2
Derivando essa expressao temos:
X ai
C
1
1
2 lnx + T 0 (x) lnx + T (x) + U 0 (x) +
2
x
x
x i
Simplificando:
X ai
lnx C
T (x)
+ T 0 (x) lnx +
+ U 0 (x) +
x
x
x i
Comparando com R(x) lnx encontramos:
C
+ T 0 (x) = R(x)
x
X ai
T (x)
+ U 0 (x) +
=0
x
x i
31
A seguir faremos algumas consideracoes:

R
Se R(x) lnxdx E ent
ao que deve satisfazer ?
Pois bem, segundo o Teorema I de Liouville, temos:
R0 (x, lnx) +
r
X
ai lnRi (x, lnx)
(3.30)
i=1
Pi
. Portanto
i
Q
i (x, lnx). Logo a expressao (3.30) fica:
lnRi (x, lnx) = lnPi (x, lnx) lnQ
onde os Ri (x, ln) sao funcoes racionais, logo Ri =
R0 (x, lnx) +
2r
X
Z
bi lnPi (x, lnx) =
R(x) lnx
(3.31)
i=1
onde R0 e racional e os Pi 0 s sao polinomios.

dP
Notacao: P (x, y), onde y = lnx logo: P 0 =
. Regra da Cadeia para funcoes
dx
de 2 variaveis, implica que:
P0 =
P dx P dy
x dx
y dx
Logo:
P0 =
P
P 1
+
x
y x
Derivando a expressao (3.31), obtemos:

R00 (x, lnx)
2r
X
i=1
bi
Pi0
= R(x) lnx
Pi
(3.32)
Pi0 (x, y)
depende de y, implica que
Pi (x, y)
teremos um W (x) y , fato que estaria contradizendo o Lema 1 visto anteriormente, o qual diz que o grau de Pi e maior do que o grau de Pi0 . Portanto
Pi0 (x, y)
so depende de x, logo esta funcao e racional, e pode ser escrita como:
Pi (x, y)
X Ai
. Logo podemos escrever a expressao (3.32) da seguinte forma:
x i
i
Observacao: Pela igualdade, vemos que se
R00 (x, lnx) +
m
X
i=1
Bi
= R(x) lnx
(x i )
(3.33)
32
Portanto para satisfazer a igualdade, deveramos ter:

Pi0 (x)
Pi (x)
R00 (x,y)
}|
{ m z }| {
X
C
T (x)
Bi
0
0
+ T (x) ln(x) +
+ U (x) +
= R(x) lnx
x
x
(x i )
i=1
|
{z
}
(3.34)
R(x)
onde temos que:
T (x)
x
+ U 0 (x) +
m
P
i=1
Bi
(xi )
=0
Portanto candidatos para R0 :

R0 =
onde
R00 =
C
[ln(x)]2 + T (x) ln(x) + U (x)
2
C
T (x)
ln(x) + T 0 (x) ln(x) +
+ U 0 (x) .
x
x
Logo,
R(x) =
C
+ T 0 (x),
x
onde T (x) e racional.
(3.35)
Conclus
ao:
Sabemos que se A B,
R temos que: nao B nao A. Logo e fato que se nao
vale (3.35) implica que R(x) lnxdx
/E.
Z
lnx
Exemplo 6. Mostraremos que
dx
/ E, se a 6= 0.
xa
Como
1
C
=
+ T 0 (x), para algum a 6= 0 ,
xa
x
fazendo C = 0 temos
Z
Z
1
dx = T 0 (x)dx
xa
R(x) =
onde temos que: ln(x a) = T (x), logo T (x) nao e racional. Portanto nao
1
existe uma funcao T (x) racional, tal que T 0 (x) = xa
, ou seja, como (3.35)
R lnx
nao foi satisfeita, implica que xa
/ E. Por outro lado se a = 0 temos que
R lnx
cao, chamando lnx de u.
x dx E, pois basta fazermos uma substitui
Z
lnx
Exemplo 7.
dx
/ E, se a 6= b.
(x a) (x b)
R(x) =
B
C
A
+
=
+ T 0 (x)
(x a) (x b)
x
Fazendo C = 0 temos:
Z
A
dx +
(x a)
B
dx =
(x b)
para algum a 6= b
Z
T 0 (x)dx
33
onde temos que: A ln(x a) + B ln(x b) = T (x), logo T (x) nao e racional.
A
B
Portanto nao existe uma funcao T (x) racional, tal que T 0 (x) = (xa)
+ (xb)
,
R
lnx
ou seja, como (3.35) nao foi satisfeita, implica que (xa)(xb) dx
/ E. Por
R lnx
dx
E,
pois
basta
utilizarmos
integra
cao
outro lado se a = b temos que (xa)
2
dx
por partes, chamando de u = lnx e dv = (xa)2 e depois utiliza-se o metodo de
fracoes parciais.
3.3.5
Aplicac
ao 5
R
R cosx
Mostraremos que senx
ao pertencem a classe das funcoes
x dx e
x dx n
elementares E. Estaremos focalizando a primeira integral, o tratamento para a
segunda integral e o mesmo. Utilizaremos a formula de Euler, ou seja, iremos
escrever senx
como:
x
senx
1 eix eix
=
,
x
2i
x
onde i =
Usando a mudanca de variavel z = ix, temos:

Z
Z ix
1 eix eix
1
e eix
dx =
dx
2i
x
2i
x
Z 2ix
1
e 1
=
dx
2i
x eix
Z 2z
e 1 1
1
=
z z i dz
2i
e
i
Z 2z
1
e 1
=
dz
2i
z ez
(3.36)
R
2x
1
Portanto, o nosso problema se resume em mostrar que eex x
dx
/ E. Pois bem,
R e2x 1
caso a
ex x dx E, o Teorema I de Liouville assegura que essa primitiva deve
ser da seguinte forma:
R(x, ex ) + a1 lnP1 (x, ex ) + a2 lnP2 (x, ex ) + ... + ar lnPr (x, ex )
(3.37)
onde R(x, ex ) e uma funcao racional e os Pi (x, ex )0 s sao polinomios. Abaixo

listamos alguns fatos que nos ajudarao no decorrer da demonstracao.
1. Todo polinomio P (x, y) pode ser escrito como um produto de polinomios
da forma: z(x) w(y) p1 (x, y) ... pn (x, y), onde os polinomios pi 0 s nao
sao necessariamente distintos, mas sao polinomios irredutveis e necessariamente sao funcoes da variaveis x e y.
2. Se P (x, y) e um polinomio de grau r, e P (x, y) 6= c y r entao P (x, ex ) nao
divide P 0 (x, ex ). Observe que o grau de P (x, ex ) e maior ou igual ao grau
de P 0 (x, ex ).
34
Como R(x, y) e uma funcao racional, entao do item (1) podemos escrever o
numerador e o denominador da seguinte forma:
R(x, y) =
z1 (x) w1 (y) p1 (x, y) ... pn (x, y)

z2 (x) w2 (y) q1 (x, y) ... qm (x, y)
onde os z1 , w1 e p0 s sao distintos dos z2 , w2 e q 0 s.

Suponha que algum qj apareca no denominador de R0 (x, y). Afirmamos que
se isso ocorrer, qj deve necessariamente aparecer com potencia ao quadrado. De
fato, se qj aparecesse no denominador de R0 com potencia unitaria, entao como:
0
R =
P 0 [z2 (x) w2 (y) q1 (x, y) ... qm (x, y)] P [(z2 (x) w2 (y) q1 (x, y) ... qm (x, y))0 ]
[z2 (x) w2 (y) q1 (x, y) ... qm (x, y)]2
e qj nao divide P , deveramos ter que qj divide

(z2 (x) w2 (y) q1 (x, y) ... qm (x, y))0 , e dai que qj divide qj0 , o que e um absurdo
pelo item (2). O mesmo raciocnio vale para z2 (x).
Porem w2 (y) pode aparecer com potencia unitaria no denominador de R0 ,
donde nesse caso, concluiramos que w2 (y) dividiria w20 (y), e portanto pelo item
(2), teramos que w2 (y) = w2 (ex ) = c erx , para algum inteiro positivo r.
Portanto podemos dessa forma assumir que:
R0 (x, ex ) =
ebx
u(x, ex )
(z2 q1 ... qm )2
, onde u e um polinomio.
De outro lado, fatorando os polinomios Pi 0 s (como no item (1)), e das propriedades da funcao logaritmo, temos a seguinte forma:
Z
X
X
X
e2x 1
dx = R(x, ex ) +
bj ln[tj (ex )] +
ck ln[vk (x)] +
ai ln[pi (x, ex )] (3.38)
ex x
onde os tj 0 s , os vk 0 s e os pi 0 s sao polinomios irredutveis e distintos, sendo que

os tj 0 s e os vk 0 s sao de primeiro grau e os pi 0 s sao necessariamente funcoes de x
e de y, ou seja, ex .
Derivando (3.38), temos:
X
X
t0j (ex )ex
v 0 (x) X
p0 (x, ex )
e2x 1
u(x, ex )
= bx
+
ck k
+
ai i
+
bj
ex x
e (z2 q1 ...qm )2
tj (ex )
vk (x)
pi (x, ex )
|
{z
}
(3.39)
R0 (x,ex )
onde todas essas fracoes estao em suas formas irredutveis.

Ora, os fatores irredutveis que aparecem no denominador do lado esquerdo
de (3.39), devem ser os mesmos que aparecem do lado direito dessa expressao.
Diante deste fato, como os pi 0 s sao irredutveis, ve-se que a u
nica possibilidade
para eles, e que estejam no conjunto {x, ex }, e que sejam apenas funcao de x ou
funcao de ex . Note tambem que u
nica possibilidade para os vk 0 s e que sejam x,
0
x
e para os tj s e que sejam e . Portanto, esses fatos nos permitem assumir que:
X
bj
t0j (ex )ex X

vk0 (x) X
p0i (x, ex )
b2
+
c
+
a
= b1 +
k
i
x
x
tj (e )
vk (x)
pi (x, e )
x
com b2 nao nulo.
35
e2x 1
u(x, ex )
b2
=
+ b1 +
x
bx
2
e x
e (z2 q1 ...qm )
x
(3.40)
Por outro lado, como nenhum polinomio irredutvel qj ou um polinomio da

forma z2 pode aparecer no denominador da expressao de R0 (x, ex ). De fato, caso
contrario, qj2 ou z22 apareceria(m) no denominador de R0 (x, ex ), e conseq
uentemente, no denominador do lado esquerdo de (3.40). Mas isso nao pode suceder,
pois nesse denominador os termos irredutveis x e ex so aparecem elevados a
potencia unitaria. Os comentarios que acabamos de fazer, nos levam a concluir
que (3.40) e na verdade da forma:
e2x 1
u(x, ex )
b2
=
+ b1 +
ex x
ebx
x
(3.41)
onde
e2x 1
u(x, ex ) x + b1 x ebx + b2 ebx
=
,
x
e x
ebx x
onde b = 1,
(3.42)
logo
e2x 1
u(x, ex ) x + b1 x ex + b2 ex
=
(3.43)
ex x
ex x
Absurdo! Pois o numerador do lado direito de (3.43) nao pode gerar o
termo e2x , que aparece no lado esquerdo desta expressao. Conclusao:
Z 2x
Z
e 1
senx
dx
/
E
e
portanto
dx
/E
ex x
x
Consideraco
es Finais
Pelas aplicacoes acima, observamos que a operacao de integracao gera novas
funcoes que sao primitivas, no entanto, estas primitivas nem sempre podem ser
escritas por meio das funcoes elementares, as quais foram citadas no Captulo 2
Secao 2.3 .
Alguns alunos ao utilizarem programas computacionais, tais como Maple
ou MatLab para calculo de primitivas, podem se deparar com uma situacao
inusitada, o programa pode fornecer uma expressao (primitiva) para uma determinada funcao, a qual nao pode ser escrita em termos de funcoes elementares.
Deixamos claro que nao foi interesse neste estudo de estar utilizando estes programas computacionais citados anteriormente, porem fica aqui uma ressalva, as
expressoes (primitivas) fornecidas por estes programas de funcoes as quais suas
primitivas nao sao elementares, estas expressoes sao dadas em termos de funcoes
como por exemplo as elpticas, gama, etc, as quais nao sao elementares.
36
Nota-se pelo que expusemos nesta monografia, que o processo de saber se

uma primitiva pode ser dada ou nao em termos de funcoes elementares esta
muito distante de ser alcancado e talvez isso nem seja possvel. Varias tentativas foram feitas por grandes matematicos dos seculos XIX e XX, gerando os
teoremas que foram citados.
3.4
37
Resumo
Segue abaixo uma lista de algumas funcoes, cujas primitivas nao podem ser
dadas em termos de funcoes elementares.
Z
eP (x) dx
/ E , se o grau de P (x) > 1
Z
ex
dx
/ E , se o grau de P (x) 1
P (x)
1
dx
/E
lnx
x
ee dx
/E
ln(lnx) dx
/E
Z
ex lnx dx
/E
lnx
dx
/ E , se a 6= 0
xa
lnx
dx
/ E , se a 6= b
(x a) (x b)
senx
dx
/E
x
cosx
dx
/E
x
Outros casos nao estudados na Monografia:
Chebyshev:
Z p
3
x x2 dx
/E
1 x dx
/E
1 xn dx
/ E , para qualquer inteiro n > 2
dx
/ E , para qualquer inteiro n > 2

1 xn
senx dx
/E
Elpticas: h e k sao constantes:

Z
p
dx
(1 x2 )(1 k 2 x2 )
Z
p
x2 dx
(1 x2 )(1 k 2 x2 )
(1 +
hx2 )
/E
/E
dx
(1 x2 )(1 k 2 x2 )
/E
38
39
Refer
encias Bibliogr
aficas
[1] Hardy, G. H., The Integration of functions of a single variable. Cambridge
University Press (1928).
[2] Kaplan, Wilfred, C

alculo e Algebra
Linear, Volume 2. LTC (1973).
[3] Lima, Elon L., Curso de An
alise, Volume 1, 12a edic
ao. IMPA (2006).
[4] Malta, Iaci, C
alculo a uma Vari
avel, Volume 2, 2a edic
ao. PUC-Rio
(2002).
[5] Olmsted, John M. H., Advanced Calculus. Appleton-Century-Crofts,INC
(1961).
[6] Paiva, Manoel R., Matem
atica, Volume 3. Moderna (1995).
[7] Piskunov, Nikolai S., C
alculo Diferencial e Integral, 2a edic
ao. (1973)
[8] Ritt, J. F., Integration in finite terms, Liouvilles Theory of Elementary
Methods. Columbia University Press (1948).
[9] Simmons, George F., C
alculo com Geometria Analtica, Volume 1.
McGraw-Hill (1987).
[10] Swokowski, Earl W., C
alculo com Geometria An
alitica, Volume 1, 2a
Edica
o. Makron Books (1994).

Integração em Termos Finitos

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Integração em Termos Finitos

Uploaded by

Copyright:

Available Formats

Universidade Federal de Minas Gerais

Instituto de Ciencias Exatas

Funcoes Integraveis sem Integral Elementar

` Deus, por me conceder forca para vencer mais uma etapa em

Matematica para Professores - Enfase

ou seja, e possvel tornar f(x) arbitrariamente t

Neste caso, este limite e denominado de derivada de f no ponto x0 e denotado

Aplicando o limite em ambos lados da expressao acima e como existem os limites

lim f (x) = f (a)

Portanto, se uma funcao f e derivavel no intervalo I, entao f e contnua em

Seja f : [a, b] R uma funcao, com a e b n

e chamada uma soma de Riemann de f sobre a particao P . Denotamos por

ou de uma forma mais simplificada:

O tamanho (norma) de uma particao P , denotado por | P | , e o comprimento

Seja f : [a, b] R, dizemos que f e integravel em [a, b] e denotamos por

Faremos duas convencoes, que serao adotadas doravante:

Segue abaixo algumas propriedades das Integrais Definidas.

umero real qualquer entre a e b temos:

3. Se f e g sao integraveis em [a, b] entao f + g e integravel em [a, b], ou seja:

4. Se f e g sao integraveis em [a, b] e f (x) g(x) para todo x [a, b] temos:

A demonstracao do seguinte teorema encontra-se em livros de Analise Real,

Nesta secao estudaremos os Teoremas Fundamentais do Calculo.

Figura 1.1: y = f (t)

Prova: Se x e x + h [a, b] temos:

e tambem temos que:

| f (t) f (x) | dt <

Teorema 3. (Segundo Teorema Fundamental do C

f (t)dt = F (b) F (a)

Prova: Por hipotese temos que F e primitiva de f , ou seja, F 0 = f . Definimos

G(x) = F (x) F (a)

f (t)dt = F (x) F (a)

f (t)dt = F (b) F (a)

Para a demonstracao necessitamos do Teorema Fundamental da Algebra,

Teorema 4. ( Teorema Fundamental da Algebra

grau n, n 1 , pelo Teorema Fundamental da Algebra

P (x) = an (x 1 ) (x 2 ) ... (x k ) (x + a1 x + b1 ) (x + a2 x + b2 ) ... (x + aj x + bj )

De fato, caso P tiver raiz complexa, estas aparecem em pares, isto e, se

onde k 1 e x2 + px + q nao tem razes reais, tal decomposicao e chamada de

Fazendo x = r teremos: P (r) = AG1 (r)+ 0, logo como G1 (r) 6= 0, entao:

Para encontrar P1 (x), na equacao (1.4) temos:

Notemos que no numerador de P1 (x), isto e, em P (x) G1 (r) P (r) G1 (x),

[P (r)/G1 (r)] G1 (x) + [1/G1 (r)] [P (x)G1 (r) P (r)G1 (x)]

Observe que a demonstracao sai direta da Proposicao 3.

i 6= j e com os kns 1, ent

De fato, utilizando a Proposicao 3 repetidamente, podemos reduzir o grau

Prova: Notemos que a identidade abaixo e verdadeira, para quaisquer que

Iremos encontrar M e N de tal forma que o polinomio P (x) [M x + N ] T (x)

entao: M + N = R e M = S , portanto temos:

Conclusao: se escolhermos M e N conforme acima, teremos que o polinomio

Assim do Teorema 6 temos que, toda funcao racional propria,

Temos que, as func

No caso (i), se k=1 temos:

No caso (i), se k > 1 temos:

Pois basta substituir (u2 + 2 ) = v, donde teremos que dv = 2u du.

No caso (ii), se k = 1 temos:

= v, teremos que: du = dv, logo:

No caso (ii), se k > 1 temos:

De fato, a derivada do produto [x (a2 + x2 )m ] m Z, m 6= 1 e:

Vale para todo m Z e m 6= 1, fazendo m = n + 1, temos:

(a2 +x2 )n+1 dx2(n+1)a2

(a2 +x2 )(n+1)1 dx

Da observacao acima, mostra-se que a integral de qualquer funcao racional

Em alguns livros de calculo a definicao de funcoes algebricas e dada da