Jaime Carvalho e Silva

Princpios de
Anlise Matemtica Aplicada






Suplemento







2002/2003
2_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS

















Departamento de Matemtica
Universidade de Coimbra

Contacto com o autor:
jaimecs@mat.uc.pt

Pgina de apoio:
http://www.mat.uc.pt/~jaimecs/index_aulas.html

_______________________________________________________3


2002
4_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS







ndice




I.11 Funes inversas............................................ 5
II.0 Limites de funes........................................ 23
X.0 Sucesses de nmeros reais.......................... 41

_______________________________________________________5
















Regra XIII
"Se compreendermos perfeitamente uma questo, devemos abstra-la
de todo o conceito suprfluo, reduzi-la sua maior simplicidade e
dividi-la em partes to pequenas quanto possvel enumerando-as"
(...) frequentemente alguns pem-se a investigar proposies com tanta
precipitao que aplicam sua soluo um esprito errante e
aventureiro, antes de notarem por que sinais reconhecero o objecto
procurado, se ele acabar por se apresentar. No so menos ineptos do
que um servidor enviado a qualquer lado pelo seu senhor e que
estivesse to desejoso de obedecer que se pusesse a correr
precipitadamente sem ter ainda recebido ordens e sem saber onde se lhe
mandava ir.
6_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS
Descartes "Regras para a direco do esprito"











I.11 Funes inversas
Se uma varivel dependente y est relacionada com a varivel independente x
por meio da funo f, isto , se y = f(x), ficamos a saber exactamente como y varia
quando x varia.
Poderemos contudo estar interessados em saber como varia a mesma varivel x
quando fazemos variar y, isto , como muda a varivel x em funo da varivel y, o
que significa encontrar uma outra funo g tal que y passe a ser a varivel
independente passando x a ser a varivel dependente, isto , encontrar uma outra
funo g tal que x = g(y).
Esta funo g pode existir ou no. Se existir, chama-se a funo inversa de f e
designa-se por f
-1
.
Quando existir a funo g?
Suponhamos que f faz corresponder a cada elemento de um conjunto A um e
um s elemento de um outro conjunto B:

f: A B
_______________________________________________________7


x | y = f(x)

Para a funo g estar bem definida preciso que a cada elemento do conjunto
B corresponda um e um s elemento do conjunto A:

g: B A
y | x = g(y)

Assim, para g estar bem definida preciso que a cada y B corresponda um e
um s elemento x A, ou seja:
1) Cada y B tenha um transformado x A (por meio de g);
2) Dado o elemento y de B ento s lhe corresponde um nico x A, isto

y B

1
x A
: f (x) y.

Reescrevendo as duas condies em termos da funo f,
1) Cada y B seja transformado (por meio de f) de algum x A;
2) Aos elementos de A correspondem (por meio de f) diferentes elementos de
B.

Ou seja,
1) f sobrejectiva;
2) f injectiva.
Em concluso: para que a funo g = f
-1
exista preciso que f seja
sobrejectiva e injectiva, isto , bijectiva. Em face do que foi visto claro que, se a
inversa existir, ser nica. Tambm bvio que se f invertvel, f
-1
tambm ser
invertvel (tambm bijectiva) e a inversa de f
-1
ser exactamente a funo f.
Comparemos o grfico de f e da sua inversa.

8_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS

Fig 1: Grficos de f e f
-1

Os grficos das duas funes so simtricos em relao recta y = x, como se
pode observar nos respectivos grficos, e ainda mais claro sobrepondo os grficos
das duas funes no mesmo referencial:

y=x

Fig 2: Grficos de f e f
-1
sobrepostos

Se uma funo no for injectiva, claro que no se pode inverter. Isso tambm
bvio observando o respectivo grfico:

_______________________________________________________9



Fig 3: Grficos de funes no invertveis

Outra forma de observar isso traando os desenhos simtricos em relao
recta y = x, e constatando que os desenhos obtidos no podem ser o grfico de
qualquer funo:


Fig 4: Nenhuma funo pode ter estes grficos (porqu?)
As funes invertveis no precisam de ser contnuas

10_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS

Fig 5: Grficos de funes descontnuas (no seu domnio) e invertveis

nem precisam de ser montonas:


Fig 6: Grficos de funes no montonas (no seu domnio) e invertveis

Curiosamente, uma funo pode ser igual sua inversa:


Fig 7: Grficos de f e f
-1
(iguais)

_______________________________________________________11


Nos exemplos das figuras 1 e 5, as funes dadas so montonas e as suas
inversas tambm o so. Mesmo no exemplo da figura 6, em cada intervalo onde a
funo dada montona a sua inversa tambm montona. Ser isto verdade em
geral?

Teorema I.11.1
Seja f uma funo invertvel. Se f estritamente montona no conjunto A
ento f
-1
tambm estritamente montona no conjunto f(A) (e o sentido da
monotonia o mesmo).

Demonstrao
Vamos fazer a demonstrao para o caso de f ser estritamente crescente.
Se f estritamente crescente em A ento, dados dois quaisquer pontos x
1
e x
2

do conjunto A, se x
1
< x
2
tem-se f(x
1
) < f(x
2
) ; simbolicamente

x
1
, x
2
A
x
1
< x
2
f (x
1
) < f ( x
2
)

Mas, se f invertvel, podemos escrever que, se

y
1
=f (x
1
), y
2
=f ( x
2
)

ento

x
1
=f
1
( y
1
), x
2
=f
1
( y
2
)

e, assim, a monotonia estrita de f pode ser escrita como

y
1
, y
2
f (A)
f
1
(y
1
) < f
1
( y
2
) y
1
< y
2


Mas, a lgica matemtica diz-nos que

f
1
(y
1
) < f
1
(y
2
) y
1
< y
2
[ ]
y
1
y
2
f
1
( y
1
) f
1
(y
2
)
[ ]


12_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS
Assim, temos que

y
1
, y
2
f (A)
y
1
y
2
f
1
(y
1
) f
1
( y
2
)

Logo, sendo y
2
< y
1
, ter de ser f
1
( y
2
) f
1
( y
1
) . Como f
-1
bijectiva (tal
como f), no se pode ter a igualdade. Assim

y
1
, y
2
f (A)
y
2
< y
1
f
1
(y
2
) < f
1
( y
1
)

e a funo f estritamente crescente em f(A). n

Esta demonstrao pode ser visualizada facilmente:

x x
1
2
f(x )
f(x )
2
1

f (y )
2
y
y
2
f (y )
1
1
-1
-1

Fig 8: Monotonia de f traduzida para f
-1

O teorema seguinte tambm permite determinar propriedades das funes
inversas, e ser demonstrado no captulo II.

Teorema I.11.2
Seja f uma funo invertvel. Se f contnua no conjunto A ento f
-1
tambm
contnua no conjunto f(A).



_______________________________________________________13



u



Vejamos quais as funes inversas das funes trigonomtricas.
A funo seno no injectiva pelo que no pode ser invertida. Contudo
podemos restringir a funo seno a um domnio menor de modo a obter uma funo
injectiva. Por exemplo, se restringirmos a funo seno aos intervalos

2
,

2



1
]
1
ou

2
,
3
2



1
]
1
obtemos duas funes injectivas (que sero bijectivas se considerarmos
para conjunto de chegada o contradomnio de cada restrio).


Fig 9: Duas restries da funo seno


As funes inversas so representadas graficamente por:

14_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS

Fig 10: Funes inversas das funes da figura anterior


Pelos teoremas I.11.1 e I.11.2 podemos concluir que ambas as funes inversas
obtidas so montonas e contnuas no respectivo domnio (sempre [-1,1]).
Por definio, a funo arco-seno, designada por arcsen a primeira das
funes inversas que obtivemos. A segunda pode ser obtida a partir desta atravs de

- arcsen(x)

Como outras restries da funo seno se podem obter a partir de arcsen,
estudamos apenas esta.
A funo co-seno tambm no injectiva pelo que tambm no pode ser
invertida. Contudo podemos restringir a funo co-seno de modo a obter uma funo
injectiva. Por exemplo, se restringirmos a funo co-seno aos intervalos 0, [ ] ou
,2 [ ] obtemos duas funes injectivas (que sero bijectivas se considerarmos para
conjunto de chegada o contradomnio de cada restrio).


_______________________________________________________15


Fig 11: Duas restries da funo co-seno


As funes inversas so representadas graficamente por:


Fig 12: Funes inversas das funes da figura anterior


Pelos teoremas I.11.1 e I.11.2 podemos concluir que ambas as funes inversas
obtidas so montonas e contnuas no respectivo domnio.
Por definio, a funo arco-seno, designada por arccos a primeira das
funes inversas que obtivemos. A segunda pode ser obtida a partir desta atravs de

2 - arccos(x)

A funo tangente tambm no injectiva pelo que tambm no pode ser
invertida. Contudo podemos restringir a funo tangente de modo a obter uma
funo injectiva. Por exemplo, se restringirmos a funo tangente aos intervalos

2
,

2
1
]
1



ou

2
,
3
2
1
]
1



obtemos duas funes injectivas (que sero bijectivas se
considerarmos para conjunto de chegada o contradomnio de cada restrio).
16_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS


Fig 13: Duas restries da funo tangente


As funes inversas so representadas graficamente por:



_______________________________________________________17



Fig 14: Funes inversas das funes da figura anterior


Pelos teoremas I.11.1 e I.11.2 podemos concluir que ambas as funes inversas
obtidas so montonas e contnuas no respectivo domnio.
Por definio, a funo arco-tangente, designada por arctg a primeira das
funes inversas que obtivemos. A segunda pode ser obtida a partir desta atravs de

+ arctg(x)

Outras funes trigonomtricas inversas podem ser obtidas pelo mesmo
processo:
y = arcsec x sec y
1
cos y
x , 0 < y < , y

2

y = arccosec x cosec y
1
sen y
x ,

2
y

2
, y 0
y = arccotg x cotg y
cos y
seny
x , 0 < y <

Vrias frmulas relacionam estas funes:

18_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS
arcsenx + arccosx

2
arctg x + arccotgx

2
arctg x + arctg
1
x

2
, x > 0

arctg x arcsen
x
1+ x
2



_
,
arccosec
1+ x
2
x



_
,

arctg x + arccotgx + arcsenx + arccosx arccosec x + arcsec x

2


Vejamos como se pode obter a primeira destas frmulas.
Sejam
y arcsen x , z

2
y
Temos
x seny
sen

2
z


_
,
cos z


Assim, como z [0,] (visto que y

2
,

2



1
]
1
), vem

z arccosx

e portanto
arccos x

2
arcsen x

que equivalente ao pretendido.


_______________________________________________________19


u


Vejamos quais as funes inversas das funes hiperblicas.
A funo seno hiperblico bijectiva de R em R pelo que pode ser invertida.



Fig 15: Funo seno hiperblico e sua inversa


Como
senhx
e
x
e
x
2

podemos obter a sua funo inversa argsenh x em termos da funo logartmica (tal
como vem na pg 27 do Livro de Texto):

argsenh x ln x + x
2
+1
( )

A funo co-seno hiperblico j no injectiva pelo que no pode ser invertida.
Contudo podemos restringir a funo co-seno hiperblico de modo a obter uma
funo injectiva. H, essencialmente, dois modos de o fazer: restringindo a funo
aos intervalos ]- ,0] ou [0,+ [ obtemos duas funes injectivas (que sero bijectivas
20_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS
se considerarmos [1,+ [ como conjunto de chegada).



Fig 15: Duas restries da funo co-seno hiperblico


As funes inversas so representadas graficamente por:



Fig 15: Duas restries da funo co-seno hiperblico


Por definio, a funo argumento co-seno hiperblico, designada por
_______________________________________________________21


argcosh a primeira das funes inversas que obtivemos. A segunda pode ser obtida
a partir desta atravs da primeira (como?).
Como
coshx
e
x
+ e
x
2


podemos obter a funo inversa argcosh x em termos da funo logartmica:

arg coshx ln x + x
2
1
( )
, x 1





Exerccios


1 Indique quais das funes, cujos grficos so apresentados a seguir, tm inversas:


A B C

2 Para cada uma das correspondncias abaixo apresentadas indique quais definem
uma funo invertvel:

i) f: R\]0,2] R
x f(x) tal que

f (x)
x se x 0
5x se x > 2

'




ii) f: R\]-2,2] R
x f(x) tal que

22_______________________________________________________


Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS
f (x)
x se x 0
5x se x > 2

'







iii) f: R\]-2,4] R
x f(x) tal que

f (x)
x
2
se x 0
5x se x > 2

'



iv) f: R\]-4,4] R
x f(x) tal que

f (x)
x
2
se x 0
5x se x > 2

'






v) f: R\Q R


x x

vi) f: R R
x
| x|
x




vii) f: R\]-4,4] R
x f(x) tal que

f (x)
2x se x 0
5x se x >1

'




3 Esboce as funes inversas das funes cujos grficos so representados a seguir



A B C


4 Determine analiticamente as funes inversas das funes definidas por:


a) 2x - 1 b)
2x 1
x


c)
x
x
2
+1
d) 3 + x 2


5 Encontre o valor exacto de sec arcsen
3
4


_
,



1
]
1
.
Resoluo: Fazendo
t arcsen
3
4


_
,

queremos determinar sect . Mas

sent
3
4
, -

2
t

2


Logo,
24_______________________________________________________



Princpios de Anlise Matemtica Aplicada Suplemento 2002/2003 - JCS
cost 1 sen
2
t
1
3
4


_
,
2

7
4


e assim
sect
4
7

4
7
7

6 Encontre valores exactos de:


a) arcsen 1 ( ) b) arctg 1 ( )
c) arccos
1
2


_
,
d) cos arcsen
1
3



1
]
1
e) tg arcsen
1
2
3


_
,



1
]
1

7 Determine:


a) arcsen sen 7 ( ) ( ) b) arctg tg
7
4


_
,

c) arccos cos
9
2


_
,



_
,
d) cos arccos
1
3


_
,



1
]
1

8 Recebi, por correio electrnico, a seguinte questo:

Estou a trabalhar na programao em computador de um
problema que determina as milhas nuticas entre dois
pontos de que se conhecem a latitude e a longitude. A
frmula que devo utilizar
______________________________________________________25




dist R* arccos[sen lat1 ( ) *sen lat2 ( ) +
+ cos lat1 ( )* cos lat2 ( )*cos long1 long2 ( )]


onde R = raio da terra = 3957 milhas.
Como que eu obtenho a funo ARCCOS quando o meu
computador apenas tem as funes COS, SEN, TAN e
ARCTAN?

Como responderia a esta pessoa?