FUNCOES 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 (x) = f (t)dt, x (a, b),
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 numero finito de multiplos 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) + ,
j=1
(x cj )kj
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
x2 ex x sin(x) ln 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 funcao elementar na variavel x designamos qualquer funcao que, num numero
finito de passos, possa ser construda atraves de funcoes algebricas, da funcao exponencial
ou da funcao logartmica, aplicando as operacoes de adicao, subtraccao, multiplicacao, di-
visao e composicao de funcoes. Optamos por considerar coeficientes complexos de forma
a incluir as funcoes trigonometricas elementares e suas inversas no leque de funcoes ele-
mentares, 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 rela-
tivamente a integracao [6]: Newton aceitava integrais como series infinitas mas rejei-
tava 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

1
2 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
R por Teorema de Liouville (1834): se y e uma funcao algebrica na variavel
x e y(x)dx e elementar, entao
Z Xn
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 teo-
rema 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 lo-
gartmico de ordem maior do que 1 ser tambem logartmico. Assim, uma funcao algebrica
nao pode ter termos exponenciais nem logartmicos, excepto se estes ultimos 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 R dy1 /dx, . . . , dym /dx sao
tambem funcoes algebricas nas variaveis x, y1 , . . . , ym , entao f (x, y1 , . . . , ym ) dx e ele-
mentar 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 racio-
nais 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 dy2 1 dy3 dy4 1
= y1 , = , = y1 y3 , = ,
dx dx x dx dx xy2
dy5 dy6 dy7
q
= y6 , = y5 , and = y1 1 y72 ,
dx dx 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].
 3

Teorema Racional de Liouville. (Liouville R [5], Ritt [12]) Se f e g sao funcoes algebricas
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
R g(x) e impossvel pois gr(g 0 (x)p(x)) gr(p(x)) > gr(p0 (x)). Conclui-se
assim que e dx nao e elementar. 

Em particular, os integrais
Z Z
x2 2
e dx 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.
4 RICARDO MAMEDE

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

ex
Z
dx
f (x)
nao e uma funcao elementar.
ex
R
Demonstracao. Pelo Teorema Racional de Liouville, se f (x)
dx fosse elementar, teramos
ex
Z
dx = R(x)ex ,
f (x)
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.
 5

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

Z Z t
ex e
e dx = dt.
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
ln(ln x) dx = x ln(ln x) dx.
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
Alem
R disso, se f (x) dx for elementar, entao as suas partes reais e imaginarias u(x) dx
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 + ,
j=1
x a j

para certas constantes bj . Conclumos assim que g(x) = c ln x + nj=1 bj ln(x aj ) + C nao
P
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, 2
dx e dx nao sao funcoes
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.
6 RICARDO MAMEDE

2. Apendice 1: Funcoes Algebricas e Funcoes Transcendentes

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 algebrica 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 ultima equacao ou tem grau menor do que n, ou contradiz a minimali-
dade de gr(pn (x)), obtemos uma contradicao. Portanto, podemos concluir que ex e uma
funcao transcendente. 
Corolario 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
(2.3) pn (x) ex ln b + pn1 (x) ex ln b + + p1 (x)ex ln b + p0 (x) = 0,
e satisfeita para todo o x real. Fazendo a substituicao t = x ln b na equacao (2.3) obtemos
       
t t n

t t n1

t t t
(2.4) pn e + pn1 e + + p1 e + p0 = 0.
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 multiplo nao nulo de uma funcao transcendente e
igualmente transcendente.
 7

Proposicao 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 multiplo 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.
Proposicao 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 po-
linomios 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  
k
X k j
(1 + f (x)) = f (x),
j=0
j

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.
8 RICARDO MAMEDE

Teorema 6. As funcoes trigonometricas sin(x), cos(x), tan(x), cot(x), sec(x) e csc(x) sao
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 trans-
cendente, 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 numero 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 numero 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, con-
clumos 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 trans-
cendente.
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),
 9

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 x k
X k (k2j)x
(e e ) = e ,
j=0
j
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.
sinh(x)
Demonstracao. Uma vez que tanh(x) = , podemos escrever
cosh(x)
ex ex (ex + ex ) 2ex 2ex 1
tanh(x) = = = 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. 
Uma vez que a recproca e a funcao inversa de uma funcao transcendente e igualmente
transcendente, podemos concluir o seguinte resultado.
Corolario 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

Referencias
[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 premiere 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, Expansao de uma funcao 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 Mathe-
matics 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 Mathe-
matics 24:1 (1968) 153161.
[14] M. Rosenlicht, Integration in finite terms, American Mathematical Monthly 79:9 (1972) 963972.