FUNC

OES
SEM PRIMITIVA ELEMENTAR
RICARDO MAMEDE

1. Teoremas de Liouville
O Teorema Fundamental da Calculo assegura que para uma qualquer funcao contnua
f no intervalo [a, b], a funcao
Z x
f (t)dt, x (a, b),
F (x) =
a

e uma primitiva de f . Alem disso, para uma vasto leque de funcoes existem tecnicas que
permitem escrever a primitiva F (x) a` custa de somas de funcoes simples, ou elementares,
tais como funcoes racionais, trigonometricas, exponenciais ou logaritmos. Um exemplo
deste tipo de funcoes e dado pelas funcoes racionais, cujo integral e ou uma funcao racional,
ou a soma de uma funcao racional com um n
umero finito de m
ultiplos de logaritmos de
funcoes racionais. Laplace, em 1812, provou este resultado decompondo uma funcao
racional r(x) = p(x)/q(x), onde p(x) e q(x) sao polinomios, em fraccoes parciais (veja-se
[7]),
m
X
bj
r(x) = t(x) +
,
(x cj )kj
j=1
onde t(x) e um polinomio e bj , cj , kj sao constantes, e notando que a primitiva de um
polinomio e tambem um polinomio, e que a primitiva de um termo 1/(x cj )kj e ou um
termo desta forma (se kj 6= 1), ou um logaritmo (se kj = 1).
No entanto, para algumas funcoes mais complicadas tais como
ex
sin(x)
ln x
x
(1.1)
e ,
, ee ,
, ou 2
,
x
x
x +1
ja nao e possvel exprimir as suas primitivas, que existem pelo Teorema Fundamental do
Calculo, em termos de funcoes elementares.
Por func
ao elementar na variavel x designamos qualquer funcao que, num n
umero
finito de passos, possa ser construda atraves de funcoes algebricas, da funcao exponencial
ou da funcao logartmica, aplicando as operacoes de adicao, subtraccao, multiplicacao, divisao e composicao de funcoes. Optamos por considerar coeficientes complexos de forma
a incluir as funcoes trigonometricas elementares e suas inversas no leque de funcoes elementares, uma vez que, por exemplo,

eix eix
sin(x) =
e
arcsin(x) = i ln(ix + 1 x2 ).
2i
O que se aceita como integral de uma dada funcao tem variado ao longo do tempo.
Os dois inventoresdo calculo, Newton e Leibniz, tinham abordagens diferentes relativamente `a integracao [6]: Newton aceitava integrais como series infinitas mas rejeitava funcoes transcendentes, tais como exponenciais ou logaritmos. Ja Leibniz favorecia
solucoes em termos finitos, admitindo o uso de funcoes transcendentes. Ao longo do
seculo XVIII as preferencias por uma ou outra abordagem dividiam-se, mas a` medida
x2

RICARDO MAMEDE

que o conhecimento das novas funcoes aumentou, a preferencia pelas expressoes finitas
prevaleceu.
Foi Joseph Liouville (1809-1882) que estabeleceu a integracao em termos finitos como
uma disciplina matematica numa serie de artigos publicados entre 1833 and 1841. Apos
ter considerado a questao de quando uma funcao algebrica possui um integral algebrico
[3], Liouville atacou o problema da identificacao das funcoes algebricas que possuem um
integral elementar [4]. Para resolver esta questao, provou em 1834 o que e hoje em dia
designado
por Teorema de Liouville (1834): se y e uma funcao algebrica na variavel
R
x e y(x)dx e elementar, entao
Z
n
X
y(x)dx = t(x) +
ki ln ui (x),
i=1

onde k1 , . . . , kn sao constantes, e t(x), u1 (x), . . . , un (x) sao funcoes algebricas. Este teorema e as suas generalizacoes, sao a base de praticamente todos os trabalhos feitos nesta
area (para uma visao global veja-se, por exemplo, [8]). A sua prova baseia-se no facto
da derivada de um termo exponencial ser exponencial e da derivada de um termo logartmico de ordem maior do que 1 ser tambem logartmico. Assim, uma funcao algebrica
nao pode ter termos exponenciais nem logartmicos, excepto se estes u
ltimos aparecerem
como combinacoes lineares (para mais pormenores veja-se [12, p. 21]).
Em 1935 Liouville generalizou o seu resultado para varias variaveis, aumentando a
classe de funcoes que se pode provar nao ter integral elementar.
Teorema Forte de Liouville (1835). (a) Se f e uma funcao algebrica nas variaveis
x,y1 , . . .,ym , onde y1 , . . . , ym sao funcoes de x cujas derivadas
ao
R dy1 /dx, . . . , dym /dx s
tambem funcoes algebricas nas variaveis x, y1 , . . . , ym , entao f (x, y1 , . . . , ym ) dx e elementar se e so se
Z
n
X
f (x, y1 , . . . , ym ) dx = u0 +
cj ln(uj ),
j=1

onde os cj sao constantes e os uj sao funcoes algebricas nas variaveis x, y1 , . . . , ym .

(b) Se f (x, y1 , . . . , ym ) e uma funcao racional e dy1 /dx, . . . , dym /dx sao tambem funcoes
racionais nas variaveis x, y1 , . . . , ym , entao as funcoes uj da parte (a) sao funcoes racionais nas variaveis x, y1 , . . . , ym .
A prova deste teorema segue essencialmente os mesmos passos do teorema de 1934
(veja-se [12]). Um caso frequente de aplicacao do Teorema Forte de Liouville e sobre uma
funcao algebrica
f (x, y1 , . . . , y7 ) = F (x, ex , ln x, exp(ex ), ln(ln x), sin(x), cos(x), cos(ex )),
uma vez que
dy1
= y1 ,
dx
dy5
= y6 ,
dx

dy2
1
= ,
dx
x
dy6
= y5 ,
dx

dy3
dy4
1
= y1 y3 ,
=
,
dx
dx
xy2
q
dy7
and
= y1 1 y72 ,
dx

sao funcoes algebricas nas variaveis x, y1 , . . . , y7 .

Um caso particular do Teorema Forte de Liouville e o chamado Teorema Racional de
Liouville que enunciamos de seguida e cuja prova pode ser encontrada em [12, p. 47].

Teorema Racional de Liouville. (Liouville

Ritt [12]) Se f e g sao funcoes algebricas
R [5],
g
na variavel x, com g nao constante, e se f e dx e elementar, entao
Z
f eg dx = Reg ,
para alguma funcao racional R nas variaveis x, f e g. Em particular, se f e g forem
polinomios, R e uma funcao racional de x.
Este resultado e um caso particular do Teorema de Liouville, mas e suficientemente
geral para os nossos propositos nestas notas: mostrar como usar os teoremas de Liouville
para verificar se um dado integral pode, ou nao, ser escrito `a custa de funcoes elementares,
e em particular mostrar que as primitivas das funcoes (1.1) nao sao funcoes elementares.
Para leituras complementares sugerimos os textos [2, 12, 8, 9, 10, 11, 13, 14].
Exemplo 1. Se g(x) e um polinomio com grau gr(g) > 1, entao
Z
eg(x) dx
nao e uma funcao elementar.
R
Demonstracao. Por absurdo, suponhamos que eg(x) dx e uma funcao elementar. Entao,
pelo Teorema Racional de Liouville, temos
Z
eg(x) dx = R(x)eg(x) ,
para alguma funcao racional R(x). Derivando esta expressao, e dividindo-a por eg(x) ,
obtemos
1 = R0 (x) + R(x)g 0 (x).
Se R(x) = p(x)/q(x), com p(x) e q(x) polinomios primos entre si, a expressao anterior
implica que
(1.2)

q(x)(q(x) p0 (x) g 0 (x)p(x)) = p(x)q 0 (x).

Se o grau gr(q) > 0, entao o polinomio q(x) possui uma raiz x = de multiplicidade,
digamos k > 0. Alem disso, p() 6= 0, pois p(x) e q(x) sao primos entre si. Desta forma,
podemos concluir que x = e uma raiz de multiplicidade pelo menos k do membro
esquerdo de (1.2), mas e raiz de multiplicidade no maximo k 1 do membro direito de
(1.2). Esta contradicao significa que q(x) e uma constante, que podemos assumir ser 1,
pelo que obtemos
g 0 (x)p(x) = 1 p(x)0 .
Mas esta igualdade
e impossvel pois gr(g 0 (x)p(x)) gr(p(x)) > gr(p0 (x)). Conclui-se
R g(x)
assim que e
dx nao e elementar.

Em particular, os integrais
Z

x2

e dx

Z
e

ex dx

nao sao funcoes elementares. O segundo destes integrais

e a chamada funcao erro erf (x)
(por vezes na sua definicao aparece o coeficiente 2/ ). Esta e, essencialmente, uma
novafuncao transcendente que nao pode ser expressa usando funcoes elementares, e que
e usada, em conjunto com as funcoes elementares, por programas de computacao simbolica
como o Maple, Mathematica ou Sage para expressar outros integrais mais complicados.

RICARDO MAMEDE

Exemplo 2. Se f (x) e um polinomio com grau gr(f ) 1, entao

Z
ex
dx
f (x)
nao e uma funcao elementar.
R
Demonstracao. Pelo Teorema Racional de Liouville, se
Z
ex
dx = R(x)ex ,
f (x)

ex
f (x)

dx fosse elementar, teramos

para uma certa funcao racional R(x) = p(x)/q(x), com p(x) e q(x) polinomios primos
entre si. Derivando a equacao anterior e dividindo-a por ex , obtemos
1
p0 (x)q(x) p(x)q 0 (x) + p(x)q(x)
= R0 (x) + R(x) =
,
f (x)
q 2 (x)
ou ainda,
(1.3)

q(x)(q(x) f (x)p0 (x) f (x)p(x)) = f (x)p(x)q 0 (x).

Se o grau gr(q) > 0, entao o polinomio q(x) possui uma raiz x = de multiplicidade,
digamos k > 0. Alem disso, p() 6= 0, pois p(x) e q(x) sao primos entre si. Desta forma,
se f () 6= 0, podemos concluir que x = e uma raiz de multiplicidade pelo menos k do
o membro esquerdo de (1.3), mas e raiz de multiplicidade no maximo k 1 do membro
direito de (1.3). Por outro lado, se fosse raiz de multiplicidade r > 0 do polinomio
f , entao da expressao (1.3) concluiramos que seria raiz de multiplicidade k + r 1
do membro direito desta igualdade, e raiz de multiplicidade k + r do membro esquerdo.
Esta contradicao significa que q(x) e uma constante, que podemos assumir ser 1, pelo que
obtemos
f (x)p0 (x) = 1 f (x)p(x).
Mas esta igualdade e impossvel pois gr(f (x)p(x)) > gr(f (x)p0 (x)).

Z x
e
Conclumos assim que o integral
dx nao e elementar. Muitos outros integrais
x
podem ser reduzidos a` forma das funcoes integrandas dos exemplos anteriores, quer por
mudanca de variaveis, quer usando integracao por partes, ou ainda por separacao das suas
partes reais e imaginarias.

Exemplo 3. 1/ ln x. Se t2 = ln x, entao
Z
Z
1
2

dx = 2et dt.
ln x
Como o segundo membro nao e uma funcao elementar, o mesmo se passa relativamente
ao primeiro membro desta igualdade.
Exemplo 4. xk1 / ln x, com k 6= 0. Se u = k ln x, entao
Z k1
Z u
x
e
dx =
du.
ln x
u
Como o segundo membro nao e uma funcao elementar, o mesmo se passa relativamente
ao primeiro membro desta igualdade.

Exemplo 5. exp(ex ). Se t = ex , entao

Z
Z t
e
ex
dt.
e dx =
t
Como o segundo membro nao e uma funcao elementar, o mesmo se passa relativamente
ao primeiro membro desta igualdade.
Exemplo 6. ln(ln x). Usando integracao por partes, podemos escrever
Z
Z
1
dx.
ln(ln x) dx = x ln(ln x)
lnx
Como o integral de 1/ ln x nao e elementar, o mesmo se verifica com o integral de ln(ln x).
Exemplo 7. sin(x)/x. Relembremos que se f (x) = u(x) + iv(x), com u(x) e v(x) funcoes
reais, entao
Z
Z
Z
Re f (x) dx = Re (f (x)) dx = u(x) dx,
Z
Z
Z
Im f (x) dx = Im (f (x)) dx = v(x) dx.
R
R
Al
e
m
disso,
se
f
(x)
dx
for
elementar,
ent
a
o
as
suas
partes
reais
e
imagin
a
rias
u(x) dx
R
e v(x) dx sao tambem elementares. Pela identidade de Euler eix = cos(x) + i sin(x),
temos sin(x)/x = Im(eix /x). Como eix /x nao possui integral elementar, o mesmo se
passa com sin(x)/x.
Terminamos esta seccao com outro caso especial do Teorema Forte de Liouville que
permite analisar funcoes da forma r(x) ln x, com r(x) uma funcao racional, obtido por
G.H. Hardy [1, p. 50] em 1905 (veja-se tambem [8]).
R
Teorema de Liouville-Hardy (1905). Se r(x) e uma funcao racional, entao r(x) ln x dx
e elementar se e so se existe uma funcao racional g(x) e uma constante c tal que r(x) =
c/x + g 0 (x).
Exemplo 8.R Se r(x) = nj=1 (x aj )1 , com aj constantes nao nulas e distintas duas a
duas, entao r(x) ln x dx nao e uma funcao elementar.
Demonstracao. Pelo teorema anterior, temos de verificar se existe alguma funcao racional
g(x) e uma constante c tal que g 0 (x) = c/x + r(x). Usando a decomposicao de r(x) em
fraccoes proprias, obtemos
n
X
bj
g 0 (x) = c/x +
,
x

a
j
j=1
P
para certas constantes bj . Conclumos assim que g(x) = c ln x + nj=1 bj ln(x aj ) + C nao
R
e uma funcao racional, quaisquer que sejam as constantes c e C. Portanto r(x) ln x dx
nao e elementar.

Z
Z
Z
ln x
ln x
ln x
Em particular, os integrais
dx,
dx e
dx nao sao funcoes
2
xa
x 1
x2 +Z1
ln x
elementares, qualquer que seja a constante a 6= 0. Notemos que
dx = (ln x)2 /2.
x
Este resultado nao contradiz o Teorema de Liouville-Hardy uma vez que fazendo c = 1 e
r(x) = 1/x, a funcao constante g(x) = 0 satisfaz g 0 (x) = r(x) c/x.

RICARDO MAMEDE

ndice 1: Func
es Alge
bricas e Func
es Transcendentes
2. Ape
o
o
O conjunto das funcoes reais de variavel real pode ser dividido em duas classes: as
funcoes algebricas e as funcoes transcendentes. Uma funcao y = f (x) diz-se alg
ebrica se
satisfaz uma equacao da forma
(2.1)

pn (x)y n (x) + pn1 (x)y n1 (x) + + p1 (x)y(x) + p0 (x) = 0,

para certos polinomios p0 (x), p1 (x), . . . , pn (x) nao todos nulos, e para todo o x no domnio
de f . O menor inteiro n para o qual (2.1) se verifica chama-se o grau de f . Uma funcao
que nao e algebrica, ou seja, que nao satisfaz qualquer equacao da forma (2.1), diz-se
transcendente. Por exemplo, qualquer funcao racional r(x) = p(x)/q(x), com p(x) e
q(x) polinomios, e algebrica uma vez que satisfaz a equacao
q(x)y p(x) = 0.
Tambem a funcao f (x) = |x| e algebrica, pois satisfaz y 2 x2 = 0. Ja a funcao exponencial,
a funcao logartmica e as funcoes trigonometricas sao exemplos de funcoes transcendentes,
como veremos de seguida.
Teorema 1. A funcao exponencial ex e transcendente.
Demonstracao. Suponhamos que ex e algebrica com grau n, e seja
(2.2)

pn (x)enx + pn1 (x)e(n1)x + + p1 (x)ex + p0 (x) = 0,

onde os Pj (x) sao polinomios e o grau gr(pn (x)) e mnimo. Derivando (2.2), relativamente
a` variavel x, e subtraindo desta a equacao (2.2) previamente multiplicada por n, obtemos:


p0n (x)enx + p0m1 pn1 e(n1)x + + (p01 (n 1)p1 ) ex + (p00 np0 ) = 0.
Uma vez que esta u
ltima equacao ou tem grau menor do que n, ou contradiz a minimalidade de gr(pn (x)), obtemos uma contradicao. Portanto, podemos concluir que ex e uma
funcao transcendente.

Corol
ario 2. Para qualquer b > 0 e b 6= 1, a funcao exponencial bx e transcendente.
Demonstracao. Assumindo que bx e algebrico (com b 6= e), existem polinomios pn (x),
pn1 (x), . . . , p0 (x), com n 1 e pn (x) 6= 0, tal que
pn (x) (bx )n + pn1 (x) (bx )n1 + + p1 (x)bx + p0 (x) = 0,
ou, de forma equivalente,

n

n1
+ + p1 (x)ex ln b + p0 (x) = 0,
(2.3)
pn (x) ex ln b + pn1 (x) ex ln b
e satisfeita para todo o x real. Fazendo a substituicao t = x ln b na equacao (2.3) obtemos












t
t
t
t
t n
t n1
t
e + pn1
e
+ + p1
e + p0
= 0.
(2.4)
pn
ln b
ln b
ln b
ln b
Considerando os polinomios qk (t) = pn (t/ ln b), k = 0, 1, . . . , n, temos que qn (t) 6= 0 e
qn (t)ent + pn1 (t)e(n1)t + + q1 (t)et + q0 (t) = 0,
o que contradiz o facto de ex ser transcendente. Conclumos assim que bx e uma funcao
transcendente.

O proximo resultado mostra que um m
ultiplo nao nulo de uma funcao transcendente e
igualmente transcendente.

Proposic
ao 3. Para qualquer constante c 6= 0, a funcao f (x) e transcendente se e so se
cf (x) e transcendente.
Demonstracao. Suponhamos que f (x) e transcendente e que cf (x) e algebrica. Entao,
existem polinomios pn (x), pn1 (x), . . . , p0 (x), com n 1 e pn (x) 6= 0, tais que
pn (x)cn f n (x) + pn1 (x)cn1 f n1 (x) + + p1 (x)cf (x) + p0 (x) = 0,
para todo o x pertencente ao domnio de f (x). Mas entao, fazendo qk (x) = ck pk (x),
obtemos a identidade
qn (x)f n (x) + qn1 (x)f n1 (x) + + q1 (x)f (x) + q0 (x) = 0,
o que significa que f (x) e transcendente, contradizendo a nossa hipotese. Assim, somos
levados a concluir que cf (x) e transcendente. Reciprocamente, se cf (x) e transcendente,
entao pela implicacao provada atras temos que f (x) = (1/c)cf (x) e transcendente.

Portanto, qualquer m
ultiplo nao nulo cex e uma funcao transcendente. No entanto, a
soma de funcoes transcendentes nao e, necessariamente, uma funcao transcendente. Por
exemplo, a soma das funcoes transcendentes ex e ex e a funcao transcendente 2ex , mas
a sua diferenca ex ex = 0 e algebrica. No entanto, somar constantes a uma funcao
transcendente resulta numa funcao transcendente como veremos de seguida.
Proposic
ao 4. Se a funcao f (x) e transcendente entao 1+f (x) e tambem transcendente.
Demonstracao. Suponhamos que 1 + f (x) e uma funcao algebrica. Entao, existem polinomios pn (x), pn1 (x), . . . , p0 (x), com n 1 e pn (x) 6= 0, tais que
(2.5)

pn (x)(1 + f (x))n + pn1 (x)(1 + f (x))n1 + + p1 (x)(1 + f (x)) + p0 (x) = 0,

para todo o x no domnio de f . Pelo Teorema Binomial, temos

k  
X
k j
k
(1 + f (x)) =
f (x),
j
j=0
para k = 0, 1, . . . , n. Substituindo estas expressoes na equacao (2.5) e factorizando as
potencias de f com o mesmo expoente, obtemos uma equacao da forma
qn (x)f n (x) + qn1 (x)f n1 (x) + + q1 (x)f (x) + q0 (x) = 0,
onde os qk (x) sao polinomios e qn (x) = pn (x). Isto significa que f e algebrica, o que
contradiz a nossa hipotese. Portanto, a funcao 1 + f (x) e transcendente.

Teorema 5. Uma funcao f e transcendente se e so se a sua recproca 1/f e transcendente.
Demonstracao. Suponhamos que f e transcendente. Se a sua recproca 1/f e algebrica,
existem polinomios pn (x), pn1 (x), . . . , p0 (x), com n 1 e pn (x) 6= 0, tais que
1
1
1
(2.6)
pn (x) n
+ pn1 (x) n1
+ + p1 (x)
+ p0 (x) = 0,
f (x)
f (x)
f (x)
para todo o x pertencente ao domnio de 1/f . Multiplicando ambos os membros de (2.6)
por f n (x) obtemos
pn (x) + pn1 (x)f (x) + + p1 (x)f n1 (x) + p0 (x)f n (x) = 0,
o que contradiz o facto de f ser transcendente. Reciprocamente, se 1/f e transcendente,
entao o seu recproco 1/(1/f ) = f e transcendente.

Podemos agora provar que as funcoes trigonometricas elementares sao transcendentes.

RICARDO MAMEDE

Teorema 6. As funcoes trigonometricas sin(x), cos(x), tan(x), cot(x), sec(x) e csc(x) s

ao
transcendentes.
Demonstracao. Vamos provar que sin(x) e transcendente. As provas para cos(x) e tan(x)
sao semelhantes. Uma vez que a recproca de uma funcao transcendente e tambem transcendente, conclumos entao que cot(x), sec(x) e csc(x) sao igualmente transcendentes.
Suponhamos entao que sin(x) e algebrica. Entao, existem polinomios pn (x), pn1 (x), . . .,
p0 (x), com n 1 e pn (x) 6= 0, tais que
(2.7)

pn (x) sinn (x) + pn1 (x) sinn1 (x) + + p1 (x) sin(x) + p0 (x) = 0,

e satisfeita para todo o x real, com n o grau de sin(x).

Comecemos por supor que p0 (x) = 0. Se n = 1, a equacao (2.7) fica reduzida a
p1 (x) sin(x) = 0, pelo que temos p1 (x) = 0 para todo o x 6= k, com k inteiro, pois
sin(x) anula-se nestes pontos. Um polinomio de grau, digamos m 1 tem, pelo Teorema

Fundamental da Algebra,
no maximo m zeros reais. Deste modo temos necessariamente
p1 (x) = 0, o que contradiz o facto de assumirmos que pn (x) 6= 0. Segue que temos de ter
n 2. Uma vez que estamos a supor que p0 (x) = 0, podemos destacar sin(x) da (2.7) e
obter
pn (x) sinn1 (x) + pn1 (x) sinn2 (x) + + p2 (x) sin(x) + p1 (x) = 0,
o que contradiz o facto de n ser o grau de sin(x). Conclumos assim que o polinomio p0 (x)
nao pode ser o polinomio nulo, pelo que tem necessariamente um n
umero finito de razes.
Mas uma vez que sin(x) se anula para todo o x = k, a equacao (2.7) fica reduzida a
p0 (k) = 0 para todo o inteiro k, o que contradiz o facto de p0 (x) ter um n
umero finito
de razes. Portanto, a suposicao de que sin(x) e algebrico leva a uma contradicao, pelo
que podemos concluir que esta funcao e transcendente.

Vamos agora mostrar que a funcao inversa de uma funcao transcendente e tambem
transcendente (evidentemente se esta existir). Como consequencia deste resultado, conclumos que as funcoes trigonometricas inversas arcsin(x), arccos(x), arctan(x), bem como
a funcao logaritmo logb (x) sao transcendentes.
Teorema 7. Uma funcao f e transcendente se e so se a sua funcao inversa f 1 e transcendente.
Demonstracao. Seja y = f (x) uma funcao transcendente com funcao inversa f 1 (y) = x,
e suponhamos que f 1 e algebrica. Entao, existem polinomios pn (y), pn1 (y), . . . , p0 (y),
com n 1 e pn (y) 6= 0, tais que

n

n1
pn (y) f 1 (y) + pn1 (y) f 1 (y)
+ + p1 (y)f 1 (y) + p0 (y) = 0,
e satisfeita para todo o y no domnio de f 1 . Como y = f (x) se e so se f 1 (y) = x, temos
pn (f (x))xn + pn1 (f (x))xn1 + + p1 (f (x))x + p0 (f (x)) = 0,
para todo o x no domnio de f . Se pk (y) = akmk y mk + akmk 1 y mk 1 + + ak1 y + ak0 , para
k = 0, 1, . . . , n, entao
(2.8)

pk (f (x))xk = akmk f mk (x)xk + akmk 1 f mk 1 (x)xk + + ak1 f (x)xk + ak0 xk .

Somando as n + 1 igualdades (2.8), temos que o membro esquerdo e zero. Quanto ao

membro direito, apos factorizarmos as potencias de f com o mesmo expoente, obtemos
uma expressao da forma
0 = qm (x)f m (x) + qm1 (x)f m1 (x) + + q1 (x)f (x) + q0 (x),

onde os qk (x) sao polinomios, m e o maximo dos mk e qm (x) 6= 0. A equacao anterior

mostra que f e uma funcao algebrica, o que e uma contradicao. Conclumos assim que
f 1 e transcendente.

Terminamos com a prova de que as funcoes trigonometricas hiperbolicas sinh(x), cosh(x)
e tanh(x), bem como as suas recprocas e inversas, sao funcoes transcendentes.
Teorema 8. As funcoes sinh(x) e cosh(x) sao transcendentes.
Demonstracao. Vamos provar que sinh(x) e transcendente. A prova para cosh(x) e
analoga. Como sinh(x) = (1/2)(ex ex ), pela proposicao 3 basta provar que ex ex
e transcendente. Por absurdo, suponhamos que ex ex e uma funcao algebrica. Entao,
existem polinomios pn (x), pn1 (x), . . . , p0 (x), com n 1 e pn (x) 6= 0, tais que
(2.9)

pn (x)(ex ex )n + pn1 (x)(ex ex )n1 + + p1 (x)(ex ex ) + p0 (x) = 0,

para todo o x real. Pelo Teorema Binomial, temos

k  
X
k (k2j)x
x
x k
(e e ) =
e
,
j
j=0
para k = 0, 1, . . . , n. Substituamos estas expressoes na equacao (2.9) e multipliquemos
pelos polinomios pk (x). De seguida, factorizemos cada factor emx , notando que a potencia
emx com maior inteiro m e enx , e com menor inteiro m e enx . A equacao (2.9) fica entao
q2n (x)enx + q2n1 (x)e(n1)x + + qn+1 (x)ex + qn (x)e0x + qn1 (x)ex +
(2.10)

+ + q2 (x)e(n2)x + q1 (x)e(n1)x + q0 (x)enx = 0,

onde cada qk (x) e igual a algum pj (x), ou e a soma de dois ou mais polinomios pj (x), e
portanto e um polinomio, e q2n (x) = pn (x) 6= 0. Multiplicando ambos os membros da
equacao (2.10) por enx , obtemos
q2n (x) (ex )2n + q2n1 (x) (ex )2n1 + + qn+1 (x) (ex )n+1 + qn (x) (ex )n + qn1 (x) (ex )n1 +
+ + q2 (x) (ex )2 + q1 (x)ex + q0 (x) = 0,
o que significa que ex e algebrica: uma contradicao. Conclumos assim que ex ex e
transcendente.

Teorema 9. A funcao tanh(x) e transcendente.
Demonstracao. Uma vez que tanh(x) =

sinh(x)
, podemos escrever
cosh(x)

ex ex
(ex + ex ) 2ex
2ex
1
=
=
1

=
1
+
(2)
.
ex + ex
ex + ex
ex + ex
1 + e2x
x
A funcao exponencial e2x = (e2 ) e transcendente pelo corolario 2, pelo que 1 + e2x
e tambem transcendente pela proposicao 4. Uma vez que a recproca de uma funcao
transcendente e transcendente, podemos usar as proposicoes 3 e 4 para concluir que
tanh(x) e transcendente.

tanh(x) =

Uma vez que a recproca e a funcao inversa de uma funcao transcendente e igualmente
transcendente, podemos concluir o seguinte resultado.
Corol
ario 10. (a) As funcoes coth(x), sech(x) e csch(x) sao transcendentes.
(b) As funcoes trigonometricas hiperbolicas inversas sinh1 (x), cosh1 (x), tanh1 (x),
coth1 (x), sech1 (x) e csch1 (x) sao transcendentes.

10

RICARDO MAMEDE

ncias
Refere
[1] G. H. Hardy, The Integration of Functions of a Single Variable, 2nd ed., Cambridge University Tracts
in Mathematics and Mathematical Physics, no. 2, Cambridge, England, 1916.
[2] T. Kasper, Integration in Finite Terms: the Liouville Theory, Mathematics Magazine 53 (1980), pp.
195201.
[3] J. Liouville, Memoire sur la determination des Integrales dont la valeur est algebrique, J. Ecole
Polytechnique, vol. 14, cahier 22, pp. 124193, Paris.
[4] J. Liouville, Memoire sur les Transcendantes Elliptiques de premi`ere et de seconde espece considerees
comme fonctions de leur amplitude, J. Ecole Polytechnique, vol. 14, pp. 3783, Paris.
[5] J. Liouville, Memoire sur lintegration dune classe de fonctions transcendantes, J. Reine Angew.
Math., vol. 13 (1835), pp. 93118.
[6] C. H. Edwards Jr., The Historical Development of the Calculus, Springer-Verlag, New York, 1979.
[7] R. Mamede, Expans
ao de uma func
ao racional em fraccoes parciais. Coimbra 2010. (Disponvel em
http://www.mat.uc.pt/ mamede/Artigos/fraccoesparciais.pdf).
[8] E. A. Marchisoto and G-A Zakeri, An invitation to Integration in Finite Terms. The college Mathematics Journal, Vol 25-4 (1994), pp. 295-308.
[9] D. G. Mead, Integration. The American Mathematical Monthly, Vol. 68, No. 2 (1961), pp. 152156.
[10] R. H. Risch, The problem of integration in finite terms, Transactions of the American Mathematical
Society 139 (1969) 167189.
[11] R. H. Risch, The solution of the problem of integration in finite terms, Bulletin of the American
Mathematical Society 76 (1970) 605608.
[12] J. Ritt, Integration in Finite Terms, New York, 1948.
[13] M. Rosenlicht, Liouvilles theorem on functions with elementary integrals, Pacific Journal of Mathematics 24:1 (1968) 153161.
[14] M. Rosenlicht, Integration in finite terms, American Mathematical Monthly 79:9 (1972) 963972.