Escolar Documentos
Profissional Documentos
Cultura Documentos
Bases Matemticas
Escrito em LATEX.
Apresentao
in
ar
SUMRIO
vii
xi
s
o
Pr
el
im
Ve
r
79
96
im
in
ar
3.1.2 Potenciao
82
3.2 Princpio de Induo Finita
83
3.3 Nmeros reais
95
3.3.1 Apresentao axiomtica dos nmeros reais
3.3.2 Potenciao de nmeros reais 110
3.3.3 Representaes dos nmeros reais 112
3.3.4 Valor absoluto de um nmero real 119
3.3.5 Introduo Topologia da reta 124
3.3.6 O Plano Cartesiano 129
el
s
o
Pr
137
Ve
r
ii
181
199
163
Ve
r
s
o
Pr
el
im
in
ar
8 Sequncias 269
8.1 Conceitos Bsicos
269
iii
s
o
8.5
Pr
el
8.4
in
ar
8.3
im
8.2
8.6
Ve
r
iv
378
452
455
s
o
Pr
el
lgebra 459
A .1 Polinmios
459
A .1.1 Produtos Notveis e Fatorao
461
A .1.2 Diviso de Polinmios
464
A .1.3 Expresses Racionais
471
A .2 Equaes
474
A .2.1 Equaes Polinomiais
475
A .2.2 Equaes Envolvendo Expresses Racionais
A .2.3 Equaes Envolvendo Razes
482
A .2.4 Equaes Envolvendo Mdulos
484
A .3 Inequaes
488
A .3.1 Inequaes Envolvendo Polinmios
489
A .3.2 Inequaes Envolvendo Razes
497
A .3.3 Inequaes Envolvendo Mdulos
501
441
480
Ve
r
im
in
ar
532
Ve
r
s
o
Pr
el
im
ndice Remissivo
511
in
ar
vi
503
in
ar
A P R E S E N TA O
el
im
O curso de Bases Matemticas na UFABC nasceu dentro de uma estratgia da universidade em proporcionar aos alunos ingressantes
uma experincia de aprendizado que favorecesse a transio do ensino mdio ao ensino superior. O foco dessa estratgia dividido em
dois eixos: um voltado ao reforo conceitual, outro voltado formao e postura de estudo.
Ve
r
s
o
Pr
No que concerne aos aspectos conceituais, o curso de Bases Matemticas se prope, por um lado, a rever uma parte significativa do
contedo do ensino mdio, mas sob um ponto de vista mais maduro,
tpico do ensino superior. Por outro lado, o curso se prope a introduzir ao estudante conceitos mais refinados da Matemtica, atravs
de um esforo gradual de abstrao. Interligando esses vrios aspectos, o curso permeado por uma tenso permanente em torno dos
seguintes objetivos:
in
ar
A preocupao com aspectos ligados formao e postura de estudo, parte da constatao da predominncia, no ensino mdio brasileiro, da "formao voltada ao treinamento". Em outras palavras,
uma formao restrita mera reproduo de mtodos e algoritmos
para resolver determinados problemas, as famosas "receitas de bolo".
Tal enfoque acaba por desenvolver no estudante uma postura passiva, ao invs de proporcionar autonomia e criatividade.
Pr
el
im
Ve
r
s
o
O principal objetivo destas notas suprir a falta de bibliografia especfica para um curso como o de Bases Matemticas. bem verdade
que cada um dos tpicos tratados nesse curso pode ser encontrado
em algum bom livro, mas no de forma coesa e conjunta. Sem prejuzo do salutar hbito de se consultar ampla bibliografia, adotar
inmeros livros como referncias principais deste curso nos pareceu
fora de propsito nesse momento inicial da vida acadmica.
A atual verso do livro j passou por vrias revises, muitas delas
sugeridas por professores e alunos que utilizaram essas notas em
viii
Ve
r
s
o
Pr
el
im
in
ar
anos anteriores. Entretanto, continuamos nosso esforo de aprimorar e complementar o material j produzido at aqui. Novas sees
ou at mesmo pequenas correes podem ser apresentadas em um
futuro prximo, assim como verses atualizadas e aprimoradas de
alguns captulos do livro. Por ltimo, gostaramos de dizer que vemos com muito bons olhos o apontamento de crticas e sugestes,
tanto por parte dos alunos do curso de Bases Matemticas, quanto
dos professores dessa disciplina que optarem por usar total ou parcialmente estas notas.
ix
Ve
r
s
o
Pr
el
im
in
ar
S M B O LO S E N OTA E S
in
ar
GERAIS
|
:=
:
:
:
:
:
:
:
:
im
Ve
r
s
o
Pr
el
existe
qualquer que seja ou para todo(s)
implica
se, e somente se
portanto
pois
tal que
definio (o termo esquerda de := definido pelo termo
ou expresso direita)
i.e. : id est (em portugus, isto )
: indica o final de uma demonstrao
E L E M E N TO S D E L G I C A E
Pr
el
im
in
ar
L I N G U A G E M M AT E M T I C A
Quando eu uso uma palavra, disse Humpty
Dumpty, em tom bastante desdenhoso, ela
significa exatamente o que eu quiser que ela
signifique - nem mais nem menos.
Atravs do Espelho - Lewis Carroll
Ve
rs
o
A matemtica utiliza uma linguagem especfica, na qual os termos possuem significados precisos e muitas vezes distintos do usual.
Assim necessrio que conheamos o sentido de alguns termos e
expresses matemticas. Esse um dos objetivos desse captulo, ao
apresentar de modo sucinto e intuitivo os aspectos fundamentais da
linguagem matemtica, enfatizando principalmente aqueles termos
que so usados em contextos e com significados diversos daqueles
em que costumamos empreg-los normalmente.
Mas no somente o vocabulrio e a linguagem que so distintos na matemtica. Tambm a concepo de argumento, de justificativa, e mesmo de explicao. Um argumento matemtico, tambm
conhecido como demonstrao ou prova, para ser correto, deve seguir princpios estritos de lgica, princpios que garantam a confiabilidade do conhecimento matemtico. Alguns desses princpios so
apresentados na seo 1.2.
1.1 proposies
in
ar
im
A funo f(x) = x uma funo crescente. Nesse caso, temos um exemplo de uma proposio falsa.
225
+ 34576 primo; uma proposio pois apesar de no
ser fcil decidir se a proposio verdadeira ou falsa, claramente s uma dessas opes pode ocorrer.
el
Pr
9876
s
o
Ve
r
Est quente hoje. Essa frase pode ser vista como uma proposio desde que especifiquemos precisamente o que significa
quente, como por exemplo se definirmos que est quente se a
temperatura maior que 26o C, pois somente assim podemos
atribuir um valor de verdade a frase. Note, porm, que esse
no o uso cotidiano da frase. O uso cotidiano expressa uma
impresso, uma sensao e nesse sentido no uma proposio.
in
ar
s
o
Pr
el
im
Ve
r
1.1.1
in
ar
U neste caso ser denominado universo do discurso, ou ainda, domnio de discurso . Assim, por exemplo, na sentena x R, x < 3,
x a varivel e R o universo do discurso.
Proposies que dependam de uma ou mais variveis so denominadas proposies abertas. Elas so indicadas por uma letra seguida da varivel ou das variveis entre parnteses, i.e,
el
im
O valor verdade de uma proposio aberta depende do valor atribudo s variveis. Por exemplo, considere a funo proposicional
p(x) =x < 3, neste caso se x = 2 ento p(2) =2 < 3 tem valor
verdade verdadeiro, por outro lado se considerarmos x = 4 temos
que p(4) =4 < 3 tem valor verdade falso.
s
o
Pr
Definio 1.4 O conjunto dos valores de x para os quais a proposio aberta p(x) verdadeira denominado conjunto verdade
de p(x).
Exemplos 1.5
Ve
r
in
ar
n N, 2n + 1 mpar
ou ainda como
n Np(n),
el
im
Pr
Se a , 0, x R | ax + b = 0.
s
o
Se a , 0, x R | q(x).
Ve
r
Ressaltamos que x | p(x) significa que existe pelo menos um elemento no domnio de discurso tal que para esse elemento vale p(x).
Em diversas situaes esse elemento nico, denotaremos esse fato
in
ar
por !x | p(x), que se l existe e nico x tal que p(x). Assim por
exemplo, nos reais, !x R | (x 1) = 0.
importante distinguirmos as variveis que esto quantificadas
das que no esto. Uma varivel dita livre quando no est quantificada e dita aparente quando est quantificada. Assim, na proposio n par, n uma varivel livre. J em para todo nmero
natural n, 2n + 1 mpar n uma varivel aparente.
im
Em portugus
smbolo
nome
Para todo, para cada
quantificador universal
Existe, h, para algum
quantificador existencial
Existe nico
!
el
Pr
s
o
Ve
r
in
ar
im
8. O nmero natural 0 menor ou igual do que qualquer nmero natural uma proposio particular.
el
9. Todo nmero natural maior ou igual do que o nmero natural 0 uma proposio universal.
10. n < n + 1 n N uma proposio universal.
Pr
Ve
r
s
o
in
ar
im
Exemplos e Contra-exemplos
Pr
el
Ve
r
s
o
1. Considere a proposio para todo n N par, (n + 1)2 mpar. Neste caso o nmero 2 um exemplo dessa proposio,
pois est no domnio do discurso e (2 + 1)2 = 9 mpar. J o
nmero 3 no nem exemplo nem contra-exemplo, pois no
pertence ao domnio de discurso.
2. Para todo m N, m2 m + 41 primo. Neste caso 1 um
exemplo, pois 1 N e 12 1 + 41 = 41 primo. O nmero 2
tambm um exemplo, pois 2 N e 22 2 + 41 = 43 primo.
Pode-se verificar facilmente que todos os nmeros naturais en-
in
ar
3. O nmero 5 um exemplo para a proposio "Todo nmero natural mpar", enquanto que o nmero 2 um contra-exemplo.
im
4. O nmero 4 um exemplo para a proposio "Nenhum nmero natural primo", enquanto que o nmero 3 um contraexemplo (lembre, nesse caso, que a propriedade universal alegada pela proposio no ser primo).
el
Pr
s
o
Ve
r
in
ar
De modo anlogo, chamaremos esse elemento de exemplo da proposio. E assim, proposies sobre existncia podem ser demonstradas exibindo um exemplo.
Por outro lado, se o domnio de discurso tiver mais que um elemento, a existncia de exemplo no implica na verdade uma afirmao da forma para todo x em U, p(x). Pois, para que essas afirmaes sejam verdadeiras, todos os possveis elementos do domnio
devem satisfazer p(x).
el
im
para todo
existem exemplos
inconclusivo
no existem exemplos
existem contraexemplos
falsa
no existem contraexemplos
verdadeira
existe
verdadeira
falsa
inconclusivo
Pr
Tabela 1.2: Comportamento geral do valor verdade de uma proposio quantificada em funo da existncia/inexistncia
de exemplos ou contraexemplos
s
o
Exerccios
Ve
r
10
in
ar
b) x A | x < 7.
c) x A, x + 3 < 7.
Pr
d) x A, x + 3 < 9.
el
a) x A | x + 4 = 9.
im
Ex. 1.2 Seja A = {1, 2, 3, 4}. Determine o valor verdade para cada
uma das seguintes proposies:
s
o
b) 3n + 1 < 25
Ve
r
c) 3n + 1 < 25 e n + 1 > 4
d) n < 5 ou n > 3
e) n primo e no verdade que n > 17
f) (n 2)(n 3)(n 4)(n 5) = 0
11
in
ar
1.1.2
im
s
o
Pr
el
Ve
r
12
Pr
eli
m
in
ar
Ve
rs
o
Exemplos 1.10
13
in
ar
Observao 1.11 Adotaremos a seguinte conveno relativa a prioridade dos operadores lgicos: o modificador nao abrange somente a
proposio mais prxima, salvo o caso de parnteses. Assim, por exemplo nao p ou q, somente a proposio p negada, isto , a proposio
anterior uma forma abreviada da proposio (nao p) ou q.
O seguinte teorema nos diz como negar a conjuno e a disjuno
de duas proposies.
el
im
Pr
s
o
Exemplos 1.13
Ve
r
14
in
ar
im
Pr
el
s
o
Ve
r
Soluo:
15
in
ar
x N, m(x)
ou mais resumidamente (x)m(x), deixando implcito que o domnio da varivel o conjunto dos nmeros naturais.
im
el
Pr
Ve
r
s
o
Exerccios
16
Ex. 1.5 Atribua um valor verdade cada uma das seguintes proposies:
a) 5 um nmero primo e 4 um nmero mpar.
in
ar
im
el
Pr
s
o
Ve
r
17
im
in
ar
a) x > 2 e x < 4.
el
Pr
s
o
Ve
r
18
1.1.3
Implicao
in
ar
p q.
im
el
Ve
r
s
o
Pr
19
Ve
r
s
o
Pr
el
im
in
ar
20
el
im
in
ar
Pr
Ve
r
s
o
Exemplos 1.19
21
in
ar
s
o
Pr
el
im
Destacamos que uma implicao e sua contrapositiva so equivalentes, ou seja, ou ambas so simultaneamente verdadeiras ou
ambas so simultaneamente falsas. Como veremos posteriormente
(na seo 1.2.2), essa equivalncia nos fornece uma tcnica de demonstrao: no lugar de demonstrarmos uma implicao podemos
demonstrar sua contrapositiva.
Tambm observamos que a contrapositiva da recproca a inversa
(veja exerccio 1.12), e assim pelas razes apresentadas no pargrafo anterior a recproca e a inversa so equivalentes .
Ressaltamos que um erro lgico muito comum confundir uma
proposio com a sua recproca. O prximo exemplo ilustra que uma
implicao verdadeira pode ter a recproca falsa.
Exemplos 1.20 Considere a seguinte proposio se x um n-
Ve
r
22
in
ar
im
el
Pr
Exemplos 1.22
s
o
Ve
r
2. Para um nmero real, ser maior que 2 uma condio suficiente para ser maior que 1, mas no necessria.
3. Ter nascido em Minas Gerais condio suficiente para ser
brasileiro, mas claramente no necessria.
4. Para um nmero real, ser distinto de 0 condio necessria e
suficiente para possuir um inverso.
23
in
ar
Exerccios
a) nao p q.
b) nao p nao q.
c) p nao q.
im
el
Pr
s
o
h) Se x2 + y2 = 0 ento x e y so iguais a 0.
Ve
r
24
Ex. 1.11 Para os pares de proposies p e q diga se p condio necessria, suficiente ou ambas para q. Em todos os exemplos
considere n como sendo um nmero natural.
in
ar
im
Pr
el
s
o
Ve
r
25
1.1.4
Mltiplos Quantificadores
im
in
ar
Diversas proposies matemticas envolvem mais que um quantificador. Ao lidarmos com proposies com mais de um quantificador
devemos tomar alguns cuidados extras, que exporemos nessa seo.
Comecemos com alguns exemplos de proposies matemticas com
mltiplos quantificadores.
Exemplos 1.23
Pr
el
n Z com n par, k Z | n = 2k
x R, y R, x + y = y + x
s
o
Ve
r
x R, com x , 0, x R | x x = 1
26
x R, y R | y = x2
in
ar
s
o
Pr
el
im
que pode ser reescrita como existe um nmero real y tal que para
todo nmero real x, y = x2 , ou seja essa proposio afirma que
existe um nmero real que o quadrado de qualquer nmero real1 .
E desta forma essa proposio falsa.
Para quantificadores do mesmo tipo (dois existenciais, dois universais, etc.) a ordem dos quantificadores no importa, ou seja, a
proposio x S | y T p(x, y) equivalente a proposio y
T | x Sp(x, y), e a proposio x S, y T , p(x, y) equivalente
a proposio y T , x S, p(x, y).
A negao de proposies com mais de um quantificador pode ser
feita utilizando cuidadosamente as regras de negao para quantificadores. Assim por exemplo:
Exemplo 1.24 Usando a negao do quantificador universal, temos
Ve
r
1 i.e, o mesmo nmero real deveria ser o quadrado de todos os nmeros reais
27
in
ar
im
Ve
r
s
o
Pr
el
28
im
in
ar
Exerccios
el
Pr
s
o
Ve
r
29
a) x D, y D | p(x, y)
b) y D | x D, p(x, y)
c) x D, y D, p(x, y)
in
ar
d) x D, y D | p(x, y)
b) y | x, (x < y)
c) x | y, (x < y)
Pr
d) y, x | (x < y)
el
a) x, y | (x < y)
im
Ex. 1.16 O que as seguintes afirmaes significam? Elas so universais ou particulares? Elas so verdadeiras? D exemplos e contraexemplos quando possvel. O universo de discurso em todos os
casos os nmeros naturais.
e) x | y | (x < y)
s
o
f) x, y, (x < y)
Ve
r
30
in
ar
b) y | x, (2x y = 0)
Pr
c) y | z | (y + z = 100)
el
a) x, y | (2x y = 0)
im
Ex. 1.18 O que as seguintes afirmaes significam? Elas so verdadeiras? D exemplos e contraexemplos quando possvel. O universo de discurso em todos os casos os nmeros naturais.
s
o
Ve
r
31
1.2.1
im
1.2 demonstraes
in
ar
Pr
el
Ve
r
s
o
Nas sees anteriores apresentamos alguns elementos da linguagem e da lgica que sustentam a matemtica. J nesta seo apresentaremos algumas ideias sobre demonstraes matemticas. Comearemos com uma breve discusso sobre o papel das demonstraes no conhecimento matemtico.
A importncia do conhecimento matemtico para as cincias
inegvel. Grandes teorias cientficas, como a mecnica newtoniana,
o eletromagnetismo, a relatividade geral e quntica so expressas
elegantemente em termos matemticos, e mais, graas a uma relao intrincada entre o conhecimento natural entre esses campos de
saber e uma matemtica sofisticada, essas teorias so capazes de um
32
in
ar
Pr
el
im
Ve
r
s
o
Se por um lado essa viso utilitarista da matemtica como ferramenta, seria suficiente para justificar a importncia do estudo da
matemtica, essa viso insuficiente para levar compreenso profunda da matemtica em si. A matemtica, como rea do conhecimento, tem um propsito muito mais amplo que ser a lngua da
cincia.
A matemtica tem objetivos e mtodos prprios. E talvez o mtodo seja uma das marcas que distinguem fundamentalmente a matemtica das outras reas do conhecimento. Nessa linha podemos
dizer que a matemtica, pelo menos nos ltimos 23 sculos, se caracteriza pelo mtodo axiomtico, que simplificadamente pode ser
descrito como tomar alguns fatos como verdadeiros (as hipteses,
33
Ve
r
s
o
Pr
el
im
in
ar
os axiomas) e demonstrar todo o restante a partir desses fatos, utilizando as regras da lgica.
Vale ressaltar que, claramente, a matemtica se estende muito
alm do pensamento racional-dedutivo e a intuio e a percepo
inconsciente so chaves para a criatividade matemtica, e a sede de
descobrir novas verdades, de expandir o conhecimento a motivao do esforo matemtico. Porm , embora estes sejam realmente
elementos essenciais na explorao contnua e no desenvolvimento
da matemtica, o raciocnio lgico imprescindvel para a determinao da verdade matemtica.
Assim a questo natural : porque as demonstraes so importantes? Porque a supremacia do raciocnio lgico e da deduo?
O principal motivo que nossa intuio falha. E na histria da matemtica, diversos exemplos demonstraram e convenceram os matemticos que s a intuio insuficiente para compreender os fatos
matemticos.
Para ilustrar esse ponto, um exemplo tpico da falibilidade da
nossa intuio o fato que para equaes polinomiais de grau maior
igual que 5 no existem frmulas fechadas ao estilo da frmula de
Bhaskara que expressam as solues desses polinmios. Dito de outra forma, as solues de um polinmio de grau maior que 5 em
geral no podem ser expressas como um nmero finito de somas,
produtos, quocientes e razes dos coeficientes do polinmio. Desde
que as expresses descobertas por Bhaskara Akaria (1114-1185), Girolamo Cardano (1501-1576) e Niccol Tartaglia (1499-1557), mostraram como representar as solues de um polinmio de grau at 4
atravs de operaes aritmticas e radicais dos coeficientes, o desco-
34
Ve
r
s
o
Pr
el
im
in
ar
35
Mtodos de Demonstrao
in
ar
1.2.2
im
Vamos ilustrar algumas tcnicas de demonstrao utilizando alguns resultados de nmeros naturais. Para isso recordamos algumas
definies que utilizaremos:
Um nmero inteiro no nulo a divide um nmero inteiro b se
existe um inteiro k, tal que: b = ak. Se a divide b, b dito
mltiplo de a ou de modo equivalente a dito divisor de b.
Ve
r
s
o
Pr
el
36
Demonstrao Direta
in
ar
um nmero par.
s
o
Pr
el
im
Ve
r
37
in
ar
el
im
Pr
s
o
Ve
r
38
in
ar
im
Exerccios
Ex. 1.21 Demonstre as seguintes afirmaes:
el
Pr
s
o
Ve
r
39
el
2 irracional.
Pr
Exemplo 1.30
im
in
ar
s
o
a
= 2
b
Ve
r
ou, equivalentemente:
a 2
b
=2
40
Agora, escrevemos:
Ento:
a2
=2
b2
in
ar
a 2
a2 = 2b2
(1.1)
a = 2k
el
im
Pr
(1.3)
s
o
Ve
r
o x2 y2 = 1.
41
a2 b2 = (a b)(a + b) = 1.
in
ar
Demonstrao: Vamos realizar a demonstrao por reduo ao absurdo. Desta forma, vamos supor que existe uma soluo (a, b) com
a e b inteiros positivos, satisfazendo a2 b2 = 1. Ento fatorando
temos:
Exerccios
Pr
el
im
s
o
3
2 irracional.
a)
Ve
r
42
in
ar
im
s
o
Pr
el
Ve
r
43
in
ar
Mtodo de reduo ao absurdo: assuma p e nao q e ento devemos provar que estas duas hipteses levam a algum tipo de
contradio lgica.
el
im
Pr
s
o
Ve
r
44
Exerccios
Ex. 1.23 Prove cada uma das seguintes proposies pelo mtodo
de contraposio.
in
ar
el
im
c) Se a e b so nmeros reais tais que o produto ab um nmero irracional, ento ou a ou b deve ser um nmero irracional.
Pr
s
o
Ve
r
Demonstraes de se e somente se
Muitos teoremas na matemtica so apresentados sob a forma "p se,
e somente se, q". Essa afirmao equivalente a "se p, ento q e se
45
q, ento p". Logo, para demonstrar uma afirmao da forma "p se,
e somente se, q", devemos demonstrar duas implicaes separadamente.
in
ar
im
s
o
Pr
el
Ve
r
e assim a + b mpar.
Agora, demonstraremos a implicao: se a + b mpar ento a e
b possuem paridades diferentes. Na verdade provaremos a contrapositiva dessa afirmao: se a e b possuem paridades iguais ento
a + b par.
Temos dois casos a considerar ambos a e b pares e ambos a e b
mpares.
46
in
ar
a + b = 2(k1 + k2)
e assim a + b par.
Se a e b so ambos mpares ento existem k1 , k2 tal que a =
2k1 + 1 e b = 2k2 + 1 e desta forma
im
el
e assim a + b par.
Pr
Exerccios
s
o
Ve
r
47
Ve
r
s
o
Pr
el
im
in
ar
GENERALIDADES SOBRE
C O N J U N TO S
conceitos bsicos
im
2.1
in
ar
Exemplos 2.1
Pr
el
Ve
r
s
o
49
im
in
ar
Pr
el
s
o
Ve
r
50
{1, 2, 3}
{a, b, c, d, e, f, g}
{0, 1, 2, . . . }
im
in
ar
Pr
el
Note que, no ltimo exemplo, lana-se mo das reticncias para indicar que o elenco dos elementos do conjunto continua indefinidamente, segundo uma regra que fica implicitamente clara observandose os primeiros elementos apresentados.
Ve
r
s
o
onde U denota o conjunto de referncia e P a propriedade que caracteriza os elementos do conjunto que est sendo descrito. A barra
vertical "|" lida como "tal que"(ou "tais que", dependendo da concordncia de nmero) e, em seu lugar, tambm comum empregar o
51
in
ar
{x R : x2 + 2x 1 > 0}
el
im
s
o
Pr
Ve
r
52
im
in
ar
Ve
r
s
o
Pr
el
53
im
BA
in
ar
Subconjuntos e superconjuntos
Seja dado um conjunto A. Dizemos que um conjunto B um subconjunto do conjunto A (ou, equivalentemente, que B est contido
em A) se todo elemento de B tambm elemento de A. Denota-se
tal situao por B A. Em smbolos,
se, e somente se,
x B x A.
Pr
el
A mesma situao pode ser descrita dizendo que A um superconjunto de B ou, mais comumente, que A contm B, denotando-se tal
relao por A B.
Exemplos 2.5 Para os exemplos que se seguem, denote por P o
s
o
conjunto dos nmeros naturais pares (note que tal conjunto inclui o
zero), por I o conjunto dos nmeros naturais mpares e seja S = {n
N | n + 1 P} o conjunto dos nmeros naturais que so sucessores
de algum nmero natural par. Denote ainda por Z o conjunto dos
nmeros inteiros.
Ve
r
54
in
ar
A=B
el
im
x A x B.
Ve
r
s
o
Pr
Vale destacar, portanto, que uma igualdade entre conjuntos a sntese de duas incluses. Tal interpretao til, particularmente, em
demonstraes envolvendo igualdade de conjuntos. Por exemplo,
consideremos o conjunto A constitudo pelos nmeros naturais cuja
metade tambm um nmero natural e comparemos o conjunto
A com o conjunto P dos exemplos acima, isto , o conjunto dos
nmeros naturais pares. Poderamos simplesmente dizer que, evidentemente, tais conjuntos so iguais. Entretanto, desconfiando das
evidncias (o que um hbito saudvel), vejamos como demonstrar
a igualdade A = P.
Tendo em mente que tal igualdade traduz as duas afirmaes A P
55
el
im
in
ar
Pr
n = 2m
s
o
Ve
r
B ( A B A e B , A.
in
ar
im
s
o
Pr
el
Sobre notaes. comum encontrar um uso diferente para o smbolo (ou ) na literatura. Em alguns textos ou artigos, de fato, o
smbolo (ou ) usado com o mesmo significado que demos ao
smbolo ( (respectivamente, )). Nesse caso, para indicar a incluso
genrica (i.e. no prpria), tais textos usam o smbolo (respectivamente ). Assim, ao se consultar outras referncias bibliogrficas,
salutar verificar qual o significado ali adotado para os smbolos de
incluso.
Ve
r
57
im
in
ar
s
o
Exerccios
Pr
el
Outro modo de justificar a mesma implicao atravs de sua contrapositiva: x < A x < . Nesse caso, a premissa pode ser verdadeira
ou falsa, sendo impossvel determinar o valor verdade a priori (afinal, sequer sabemos qual conjunto A). Entretanto, a concluso
x < evidentemente verdadeira. Assim, a implicao verdadeira,
qualquer que seja o valor verdade da premissa.
Ve
r
b) {}
c) = {}
58
in
ar
(B) = {, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}}
el
im
Pr
s
o
X (A) X A.
Ve
r
A melhor maneira de evitar erros como o ilustrado acima ter sempre em mente o significado das relaes de pertinncia e de incluso.
A primeira uma relao entre elemento e conjunto, enquanto a segunda uma relao entre conjunto e conjunto. Assim, os elementos
de (A) so subconjuntos de A. J os elementos de A, estes no so,
em geral, elementos de (A).
Exerccios
59
in
ar
el
im
Ex. 2.3 Se A um conjunto com n elementos, quantos elementos possui o conjunto potncia (A)? (Veremos, mais adiante, duas
solues para este exerccio: uma no contexto do Princpio de Induo, outra no contexto de Combinatria).
Pr
2.3 operaes
unio e interseco
s
o
Ve
r
x A B x A ou x B.
60
Pr
eli
m
in
ar
x A B x A e x B.
A B = {1, 2, 3, 5}
A B = {1, 3}
A C = {1, 2, 3, 4, 5, 6}
AC =
B C = {1, 3, 4, 5, 6}
B C = {5}
Ve
rs
o
2 A rigor, pode-se falar em unio disjunta de conjuntos quaisquer, mesmo no disjuntos. Nesse caso, os eventuais elementos da interseco dos conjuntos passam
a ser considerados distintos, o que se obtm indexando os elementos de cada
conjunto.
61
in
ar
1. A A = A = A A
2. A = A e A =
3. A B A A B
4. A B B A B
im
5. A (B C) = (A B) (A C)
6. A (B C) = (A B) (A C)
Pr
el
A ttulo de exemplo, vamos provar a terceira e a quinta dessas propriedades. Iniciemos com a terceira:
AB A AB
s
o
A A B.
Ve
r
Vejamos uma de cada vez. Para provar a primeira, precisamos verificar a implicao: x A B x A. Se for A B = , ento a implicao acima verdadeira por vacuidade (no custa lembrar que
isso equivale ao fato, j conhecido, de que o conjunto vazio subconjunto de qualquer conjunto). Suponhamos ento que A B , .
Nesse caso, se x pertence interseco de A e B, ento x pertence
tanto ao conjunto A quanto ao conjunto B. Em particular, o que nos
62
im
in
ar
interessa nesse caso que x pertence ao conjunto A. Isso exatamente o que afirma a implicao acima, logo verdadeira a incluso
A B A.
Com relao segunda incluso, i.e. A A B, a ideia similar.
Precisamos provar a implicao: x A x A B. Novamente,
se A = , a implicao vlida (por vacuidade). J no caso A , ,
tomemos x A. Para que x seja um elemento da unio A B, deve
satisfazer a ao menos uma das condies: x A ou x B. Mas a
primeira condio garantida pela hiptese acima. Logo, x tambm
elemento da unio
.
Pr
el
s
o
(A B) (A C) A (B C).
Ve
r
x A C.
63
im
in
ar
x C x A C,
el
Pr
A (B C) (A B) (A C).
Queremos agora provar a segunda incluso:
s
o
(A B) (A C) A (B C).
Ve
r
in
ar
(A B) (A C) A (B C),
concluindo a demonstrao da quinta propriedade.
im
Diferena de conjuntos. Dados dois conjuntos A e B, define-se a diferena A\B (tambm denotada por AB) como sendo o conjunto
formado pelos elementos de A que no pertencem a B, isto
A\B := {a A | a < B}.
A\B = {2}
B\A = {5}
A\C = A
C\A = C
A\D = {1}
Ve
r
s
o
Pr
el
D\A =
B\C = {1, 3}
C\B = {4, 6}
65
B\D = {1, 5}
D\B = {2}
C\D = C
D\C = D
in
ar
im
el
2. A\ = A
Pr
3. \A =
s
o
Ve
r
Num certo sentido, a operao do complementar idntica operao diferena. O que pode distinguir uma da outra o papel desempenhado pelo conjunto U, o qual atua como um conjunto de
referncia (um conjunto universo, em um sentido relativo, como j
chamamos ateno anteriormente). Em outras palavras, a operao
66
in
ar
do complementar age sobre os subconjuntos de um conjunto referencial, enquanto a operao de diferena opera sobre dois conjuntos quaisquer.
im
BC = {2, 4, 6}
CC = {1, 2, 3}
Pr
AC = {4, 5, 6}
s
o
el
Ve
r
1. C = U
2. UC =
3. (AC )C = A
4. A AC = U
67
5. A AC =
Exerccios
in
ar
im
b) A = A
c) A B = B A
Pr
el
s
o
A e B, tem-se que
A B = (A B)\(A B).
Ve
r
68
e (A B)\(A B) A B.
Comecemos pela primeira incluso. Se A B = , a incluso trivialmente vlida. Suponhamos ento A B , . Tomemos x A B
e provemos que x (A B)\(A B). Temos:
in
ar
x A B x (A\B) (B\A)
im
Pr
el
s
o
x (A B)\(A B) x A B e x < A B
x A B x A ou x B
Ve
r
69
A
A\B
AB
ans
A
AB
im
AC A
in
ar
el
Note que os diagramas acima so meras representaes dos conjuntos, no devendo ser identificados com os mesmos, confuso comum
que leva, no mais das vezes, a bizarras concluses.
s
o
Pr
Ve
r
Nunca demais lembrar que um par ordenado (a, b), como objeto
matemtico, diferente do conjunto {a, b}. Este ltimo caracterizase unicamente por conter os elementos a e b, enquanto que o par
ordenado (a, b) impe uma ordem entre os elementos. Em breve,
tem-se que {a, b} = {b, a}, mas (a, b) , (b, a) (exceo feita, evidentemente, ao caso em que a = b).
70
B A = {(1, 1), (3, 1), (5, 1), (1, 2), (3, 2), (5, 2), (1, 3), (3, 3), (5, 3)}
A C = {(1, 4), (1, 5), (1, 6), (2, 4), (2, 5), (2, 6), (3, 4), (3, 5), (3, 6)}
C A = {(4, 1), (5, 1), (6, 1), (4, 2), (5, 2), (6, 2), (4, 3), (5, 3), (6, 3)}
A D = {(1, 2), (1, 3), (2, 2), (2, 3), (3, 2), (3, 3)}
D A = {(2, 1), (3, 1), (2, 2), (3, 2), (2, 3), (3, 3)}
B C = {(1, 4), (1, 5), (1, 6), (3, 4), (3, 5), (3, 6), (5, 4), (5, 5), (5, 6)}
C B = {(4, 1), (5, 1), (6, 1), (4, 3), (5, 3), (6, 3), (4, 5), (5, 5), (6, 5)}
B D = {(1, 2), (1, 3), (3, 2), (3, 3), (5, 2), (5, 3)}
D B = {(2, 1), (3, 1), (2, 3), (3, 3), (2, 5), (3, 5)}
C D = {(4, 2), (4, 3), (5, 2), (5, 3), (6, 2), (6, 3)}
D C = {(2, 4), (3, 4), (2, 5), (3, 5), (2, 6), (3, 6)}
Ve
r
s
o
Pr
el
im
in
ar
71
AB
in
ar
im
Pr
el
s
o
Ve
r
A1 A2 An := {(a1 , a2 , . . . , an ) | ai Ai , i = 1, 2, . . . , n}.
3 Na verdade, possvel definir produto cartesiano de uma famlia infinita de conjuntos. Tal conceito ser visto mais adiante, como complemento ao captulo sobre
Funes.
4 L-se nuplas.
72
in
ar
1. A B = B A
2. A B = B A
3. (A B) C = A (B C)
im
4. (A B) C = A (B C)
el
Pr
10. A (B C) = (A B) (A C)
11. Se B C , , ento A (B C) = (A B) (A C)
s
o
Ve
r
13. (A B)C = AC BC
14. (A B)C = AC BC
Exerccio.
73
ABC
ABC
ABC
im
in
ar
Das propriedades 3, 4 e 5 acima, podemos considerar, sem incorrer em ambiguidade, as seguintes operaes com uma terna de
conjuntos A, B e C:
Exerccios
Pr
el
s
o
C = {x U : x par}
Para esses subconjuntos determine:
a) A B
b) A (B C)
c) C AC
Ve
r
d) (A C)C
e) AC CC
f) (B)
74
b) A B A B = A
in
ar
c) C A B C A e C B
d) C\(B\A) = (A C) (C\B)
e) A\(A\B) = A B
f) A (B\C) = (A B)\(A C)
im
g) A B A\B =
h) A B = B\A = B
Pr
el
Ex. 2.9 Dado um conjunto U, sejam A e B subconjuntos quaisquer de U. Tomando o complementar relativamente a U, mostre
que:
a) A B BC AC
b) AC B = B\A
s
o
c) A BC = (B\A)C
Ve
r
a) (A B) = (A) (B)
b) (A B) (A) (B)
75
in
ar
im
el
Pr
= (C B) A C (B A) =
= (B A) C = (A B) C
s
o
Exerccios Suplementares.
Ve
r
b) A A = A
c) A B B
76
d) A A B
e) A B A B
g) A =
h) A (A B) = A
i) A (B C) = (A B) (A C)
k) (A) (B) = (A B)
im
j) A (B C) = (A B) (A C)
in
ar
f) A = A
el
Ex. 2.15 Dado um conjunto U, sejam A e B subconjuntos quaisquer de U. Tomando o complementar relativamente a U, mostre
que:
Pr
a) A BC se e somente se A B =
b) A BC = (B\A)C
c) (AC )C = A
s
o
d) (A B)C = AC BC
Ve
r
a) Se A B e B C ento A C.
b) Se A B e C D ento A C B D.
c) Se (A) = (B) ento A = B.
d) A B se e somente se A B = B.
77
f) Se A B = A C e A B = A C ento B = C.
in
ar
b) Se B C , , ento A (B C) = (A B) (A C)
Ve
r
s
o
Pr
el
im
78
C O N J U N TO S N U M R I C O S
in
ar
Pr
3.1
el
im
Ve
r
s
o
79
in
ar
Z = {x Z | x , 0}
Z+ = {x Z | x > 0}
Z = {x Z | x 6 0}
Z+ = Z Z+ = {x Z | x > 0}
Z = Z Z = {x Z | x < 0}
Soma e multiplicao
el
3.1.1
im
s
o
Pr
Em N, Z e Q esto bem definidas as operaes de soma e multiplicao. Algumas propriedades bsicas dessas operaes so apresentadas abaixo (onde a, b e c denotam nmeros naturais, inteiros ou
racionais):
a+b = b+a
a.b = b.a
(a + b) + c = a + (b + c)
(a.b).c = a.(b.c)
0+a = a
1.a = a
a.(b + c) = a.b + a.c
Ve
r
1.
2.
3.
4.
5.
6.
7.
80
(comutatividade da soma)
(comutatividade da multiplicao)
(associatividade da soma)
(associatividade da multiplicao)
(elemento neutro da soma)
(elemento neutro da multiplicao
(distributiva)
in
ar
As propriedades acima so importantes para a manipulao algbrica de equaes que envolvem nmeros ou variveis numricas.
Entretanto, h mais uma propriedade necessria para o clculo algbrico que no tem o mesmo comportamento nos trs conjuntos
acima. Trata-se da existncia de elementos inversos:
(+) Para cada nmero a, existe o oposto de a, isto , um nmero
que somado a a resulta no elemento neutro 0.
im
s
o
Pr
el
Evidentemente, as afirmaes acima podem ser verdadeiras ou falsas, dependendo de qual conjunto numrico estamos falando. No
caso do conjunto dos naturais, nenhuma das afirmaes verdadeira, uma vez que nenhum nmero natural possui oposto (a exceo do elemento neutro 0) nem inverso (a exceo do elemento
neutro 1). Os inteiros tampouco possuem elementos inversos, mas
em compensao, possuem elementos opostos:
z Z, z Z | z + (z) = 0.
Ve
r
81
3.1.2
Potenciao
in
ar
im
el
Pr
s
o
2. (an )m = anm
3. (a.b)n = an .bn
Ve
r
1
, para todo a N e todo n N.
an
82
4. anm =
an
am
in
ar
Por fim, observe que as mesmas definies acima fazem sentido para
o caso da base ser um nmero racional. Alm disso, as quatro propriedades j enunciadas continuam valendo para esse caso, juntamente
com a seguinte propriedade (onde a, b Q+ e n Z):
a n
n
= abn
5.
b
Pr
3.2
el
im
Observao. Mais adiante, poderemos definir a operao de potncia para expoentes racionais. Mas isso s ser possvel, de modo
adequado, no contexto dos nmeros reais.
Ve
r
s
o
83
in
ar
im
el
s
o
Pr
Pode ser cmodo, para compreender o PIF, ter em mente a seguinte analogia do domin. Imagine que possumos um certo nmero de peas de domin e que resolvemos disp-las em p (i.e.
apoiadas em suas faces menores) e enfileiradas. Se empurrarmos
a primeira pea da fila (na direo da pea que lhe segue) e se a
distncia entre cada pea e a seguinte for suficientemente pequena,
ento, inevitavelmente, todas as peas sero derrubadas.
Ve
r
A analogia com o PIF clara: a primeira pea do domin a ser empurrada corresponde ao nmero natural no da primeira condio do
PIF (em geral, no o primeiro nmero natural para o qual a propriedade P verdadeira, i.e. o "primeiro nmero da fila"); a condio
de que a distncia entre cada pea e a seguinte seja suficientemente
pequena pode ser expressa na forma "se uma pea cai, a seguinte
84
in
ar
Pr
el
im
s
o
Ve
r
1 No custa lembrar que ao dizer que o nmero genrico, queremos dizer que
ele deve representar qualquer nmero possvel, no devendo assumir um valor
especfico.
85
im
in
ar
Temos ento
k(k + 1)
2
el
P(k) : 1 + 2 + + k =
k(k + 1) + 2(k + 1)
k(k + 1)
+ (k + 1) =
2
2
((k
(k + 1)(k + 2)
(k + 1)
+ 1) + 1)
=
=
2
2
Assim, verificamos que, se P(k) verdadeira, tambm o P(k +
1). Donde, pelo PIF, conclumos que P(n) verdadeira para todo
natural n > 1, i.e. para todo natural positivo.
Exerccio Resolvido 3.2 Mostrar por induo a propriedade P(n) :
s
o
Pr
1 + 2 + + k + (k + 1) =
Ve
r
2n > 1 + n.
86
2k > 1 + k
Queremos mostrar que P(k + 1) vlida, i.e. que 2k+1 > 1 + (k + 1).
Temos
in
ar
indutiva)
= 2 + 2k > 2 + k = 1 + (k + 1)
A condio PIF 2, portanto, tambm vlida. Logo, pelo PIF, a propriedade P vale para todo nmero natural.
el
im
Pr
Ve
r
s
o
Tais propriedades so evidentemente falsas. Se fssemos tentar provlas usando o PIF, observaramos que a propriedade P(n) satisfaz a
condio PIF 1, pois P(1) verdadeira, mas no satisfaz a condio
PIF 2, pois se P(n) verdadeira, ento n = 1 e, consequentemente,
n + 1 = 2 , 1, i.e. P(n + 1) falsa. Alm disso, observaramos que
a propriedade Q(n) no satisfaz a condio PIF 1, mas satisfaz a
condio PIF 2 (se n > n + 1, ento, somando 1 a cada membro,
resulta n + 1 > n + 2).
87
Exerccios
in
ar
im
Pr
el
s
o
Ve
r
88
in
ar
im
el
s
o
Pr
Ve
r
ou produto de nmeros primos. Vamos provar que P(n) verdadeira para todo n > 1 (isto , vamos provar que todo nmero
natural maior que 1 primo ou produto de nmeros primos). A
condio PIF trivialmente satisfeita, pois P(2) verdadeira. Adotando a segunda verso do PIF, vamos verificar a condio 2. Fixado
n N (n > 2), nossa hiptese indutiva :
se 2 6 k < n, ento k primo ou produto de primos.
89
in
ar
im
el
Exerccio.
s
o
Pr
Ve
r
90
in
ar
Exerccios
im
Pr
el
= 12 + 22 + 32 + + n2 =
s
o
1
)=
c) (1 12 )(1 31 ) (1 n+1
1
n+1 .
d) 1 + 2 + 22 + + 2n1 = 2n 1.
e) n < 2n .
Ve
r
f) 12 22 + 32 42 + + (1)n+1n2 = (1)n+1
n(n+1)
.
2
91
in
ar
Sn =
im
el
Pr
1
1
1
n
+
++
=
.
12 23
n(n + 1)
n+1
s
o
Ve
r
Ex. 3.12 Prove que um caixa eletrnico pode entregar ao usurio qualquer valor maior ou igual a R$4 usando apenas notas de
dois e de cinco reais.
* Ex. 3.13 Mostre que a soma dos ngulos internos de um polgono convexo com n lados (n > 3) (n 2).
92
Ex. 3.14 Use induo para mostrar que um conjunto finito com
n elementos possui 2n subconjuntos.
in
ar
im
X (X1 X2 Xn ) = (X X1 ) (X X2 ) (X Xn ).
b) Prove por induo que
el
C
C
(X1 X2 Xn )C = (XC
1 ) (X2 ) (Xn ) .
Pr
n! > (2n)2
s
o
i2
n
Ve
r
i=1
93
Ve
r
s
o
Pr
el
im
in
ar
distribudos, aleatoriamente, um certo nmero de gales de gasolina. No se conhece a quantidade de gasolina em cada galo (pode
at haver gales vazios), mas sabe-se que a quantidade total de gasolina suficiente para efetuar exatamente uma volta nesse circuito
(e cada galo tem capacidade para conter toda essa quantidade de
gasolina, se for o caso). O piloto escolhe, como ponto de partida,
qualquer ponto do circuito onde se encontra um galo. O carro
colocado nesse ponto, com o tanque vazio. Em seguida, coloca-se
no tanque o contedo desse galo. Se, com essa quantidade de gasolina, o carro no chegar ao prximo galo, ele para em pane seca.
Mas se conseguir chegar ao prximo galo, acrescenta ao tanque o
contedo desse novo galo e prossegue na pista em direo ao prximo galo. Seguindo esse procedimento, h duas possibilidades: o
carro completa a volta ou para em pane seca em algum lugar da
pista antes de completar a volta. A questo : ser sempre possvel
escolher um oportuno galo inicial de modo a completar a volta da
pista? (Ateno: o problema consiste em decidir se possvel fazer
tal escolha, e no em como fazer tal escolha) [Soluo no Apndice].
94
3.3
nmeros reais
in
ar
Ve
r
s
o
Pr
el
im
Entretanto, pode ser cmodo ter em mente algum modelo ou representao dos nmeros reais, de modo a facilitar a apreciao de sua
estrutura, foco de nossa discusso. Nesse sentido, as representaes
mais comuns so a representao decimal e a reta real, qualquer
uma delas pode servir ao escopo2 . Destaque-se, porm, mais uma
vez, que essas ou quaisquer outras representaes servem somente
como suporte compreenso da estrutura dos reais. Tudo o que se
segue independente de tais representaes e estas no sero novamente mencionadas no desenrolar desta seo.
2 Voltaremos a falar dessas representaes mais adiante. Por ora, supomos que sejam conhecidas. Alis, se no o forem, no tero nenhuma valia nesta seo, uma
vez que justamente a intimidade com tais representaes o fator que pode ajudar a compreender a descrio da estrutura que aqui ser feita.
95
3.3.1
in
ar
im
el
Pr
(a + b) + c = a + (b + c)
a, b, c R
s
o
a+b = b+a
a, b, R
Ve
r
Existe 0 R | a + 0 = a
a R
96
a, b R
in
ar
a, b, c R
(ab)c = a(bc)
im
Existe 1 R | a.1 = a
el
Pr
s
o
a(b + c) = ab + ac
Ve
r
97
in
ar
im
el
ab = 0 a = 0 ou b = 0.
Pr
A ttulo de exemplo, provemos a quarta e a ltima dessas propriedades. Comecemos pela quarta propriedade. Dado um nmero real a,
sejam a , a R nmeros tais que a + a = 0 e a + a = 0. Ento,
usando oportunamente os axiomas acima, temos
s
o
a = a + 0 = a + (a + a ) = (a + a) + a = 0 + a = a
Ve
r
98
in
ar
a1 (ab) = a1 .0
O lado direito, pela propriedade 3 do exerccio acima (que supomos
j ter sido provada), igual a 0. Quanto ao lado direito, usando A5,
A8 e A7, temos:
im
el
Pr
Axiomas de Ordem
s
o
2. Se a 6 b e b 6 a, ento a = b (anti-simtrica)
Ve
r
3. Se a 6 b e b 6 c, ento a 6 c (transitiva)
99
in
ar
im
el
Alm disso, tambm utiliza-se o smbolo < (resp. >) para denotar a
desigualdade estrita:
Pr
s
o
Exerccios. Com base nos axiomas A1, ..., A12, prove as seguintes
propriedades relativas s desigualdades:
1. Para todo a R, tem-se
a 6 0 0 6 a
Ve
r
2. Dados quaisquer a, b R
a > 0 e b > 0 ab > 0
4 O conjunto C dos nmeros complexos tambm pode ser dotado de uma relao
de ordem total. Entretanto, no possvel definir tal ordem de modo a satisfazer
as condies de compatibilidade com a soma e a multiplicao.
100
3. Dados a, b, c, d R, ento
a 6 ceb 6 d a+b 6 c+d
in
ar
4. Dados a, b, c R, tem-se
a 6 b e c 6 0 ac > bc
im
el
Pr
a(c) 6 b(c)
s
o
Ve
r
101
in
ar
Discusso prvia a respeito da necessidade do Axioma de Completude . O contedo desta seo objeto de vasta literatura. Evidentemente, est fora de nossos propsitos tratar este tema com o
mesmo grau de profundidade, longe disso. Entretanto, parece vlido delinear algumas questes motivadoras do prximo (e ltimo)
axioma que introduziremos para poder finalmente caracterizar univocamente os nmeros reais.
Pr
el
im
s
o
Ve
r
Demonstrao: Para demonstrar isso, seguiremos a "reduo ao absurdo": negando a tese, chegamos a uma contradio, o que nos permite concluir que a tese deve ser de fato verdadeira. Tomemos ento
5 Denomina-se assim um conjunto que satisfaa os axiomas A1, ..., A12. Os conjuntos Q e R so exemplos de corpos ordenados.
102
in
ar
q=
im
s
o
Pr
el
Ve
r
103
in
ar
Axioma de Completude
im
el
Pr
s
o
aA
Ve
r
C = {x R | 1 < x 6 3}.
104
J o conjunto C limitado inferiormente e superiormente (qualquer nmero menor ou igual a 1 um minorante, qualquer nmero maior ou igual a 3 um majorante)
im
in
ar
aA
Pr
S1. a 6 s
el
s
o
Ve
r
105
I1. r 6 a
aA
in
ar
im
Pr
el
s
o
Axioma de Completude:
A13. Todo subconjunto de R, no vazio e limitado superiormente,
possui supremo.
Ve
r
106
in
ar
im
A = {q Q+ | q2 < 2}
Pr
el
s
o
Mostraremos, na verdade, uma propriedade mais geral, da qual poderemos concluir a afirmao acima. Referimo-nos existncia da
raiz quadrada de um nmero real positivo:
Ve
r
2a + 1
b a2
el
n>
im
in
ar
donde obtemos
Pr
2a + 1
< b a2
n
Assim, tomando o nmero c = a + 1/n, seguiria:
s
o
c2 = (a +
2a
1
1 2
) = a2 +
+ 2 <
n
n
n
2a + 1
2a 1
+ = a2 +
< a2 + b a2 = b
n
n
n
Isso significa que c A e a < c, contrariando a condio S1 do
supremo. Portanto, est descartada a possibilidade de ser a2 < b.
Suponhamos agora que valha a2 > b. De modo semelhante ao que
foi feito acima, poderamos tomar c = a 1/n, onde n um inteiro
tal que
2a
n> 2
a b
Ve
r
< a2 +
108
c2 = (a
in
ar
donde obtemos
1 2
2a
1
1 2an
) = a2
+ 2 = a2 +
> a2 + b a2 = b
n
n
n
n2
Pr
el
im
s
o
Ve
r
7 Na verdade, caberia aprofundar tal "caracterizao", mas o que foi dito at aqui
suficiente para os propsitos deste curso.
109
3.3.2
in
ar
Na Seo 3.1.2, tratamos da operao de potenciao com base racional positiva e expoente inteiro. Queremos agora estender tal operao para os casos em que a base um nmero real positivo e o
expoente um nmero real. No que se segue, seja a um nmero
real positivo fixado.
im
Se m < 0, am =
Por fim, a0 = 1
Pr
1
am
el
s
o
b = a n b > 0 e bn = a
Ve
r
110
b = sup{x R+ | xn 6 a}
Se q Q, podemos escrever
a e chamada
im
m
n
in
ar
el
aq := (a n )m
Ve
r
s
o
Pr
Note que cada uma das operaes acima (primeiro a potncia por
1/n, seguida pela potncia por m) j foram definidas anteriormente.
O problema que poderia aparecer aqui tem a ver com a falta de unicidade da representao do nmero racional q como sendo uma razo
de nmeros inteiros. De fato, a frao m/n somente uma das infinitas representaes possveis de q. Como garantir que, se tomarmos
qualquer outra, o resultado da operao de potncia no se altera?
Felizmente, possvel provar que a potncia aq acima definida ,
de fato, independente da particular razo m/n que tomarmos para
representar o nmero racional q (tal prova ser, porm, omitida).
Finalmente, seja x R.
Se a > 1, ento
ax := sup{aq | q Q e q 6 x}
111
in
ar
2. (ax)y = axy
ax
ay
ax
bx
Pr
4. axy =
x
5. ab =
el
3. (a b)x = ax bx
im
1. ax+y = ax ay
s
o
3.3.3
Ve
r
Como dissemos anteriormente, a estrutura do conjunto dos nmeros reais independente da forma que usamos para representar tais
nmeros. Entretanto, ao lidar com eles, sempre lanamos mo de alguma representao. Nesta e na prxima sees, voltaremos nossa
ateno para duas dessas representaes, a representao decimal e
112
a reta real.
im
in
ar
s
o
Pr
el
Ve
r
113
in
ar
im
Pr
el
Ve
r
s
o
Para uma resposta adequada, precisaremos do conceito de srie numrica, o que s ser visto na seo dedicada s Sequncias. Mas
podemos desde j tentar dar uma interpretao aceitvel por ora.
Tomemos o nmero
r = 1, 2385757204765736885692....
114
in
ar
r x = 0, 2385757204765736885692...
Em seguida, tomemos x = 1, 2. A diferena desse novo valor de x
para r caiu para
0, 0385757204765736885692...
im
el
0, 0085757204765736885692...
Pr
Ve
r
s
o
115
in
ar
Nesse sentido, pode-se ler a representao decimal como um "processo de aproximao" de nmero real r. Como veremos no momento oportuno, essa interpretao no est longe daquela formalmente mais correta.
Outra dificuldade que se encontra quando lidamos com representao decimal de um nmero real est relacionada com a seguinte
questo: os nmeros
so diferentes?
0, 999999999999....
im
s
o
Pr
el
Por um lado, no h dvidas quanto ao fato de que as representaes decimais acima so diferentes. Mas isso pode levar o leitor
incauto a afirmar que os nmeros que tais expresses representam
tambm so diferentes. Ser que so mesmo? Usando mais uma vez
uma linguagem informal (deixando a resposta formal para quando
tratarmos das sries numricas), podemos comparar o nmero 1
com os nmeros
0, 9 0, 99 0, 999 0, 9999
...
Ve
r
Esses ltimos, no sentido que vimos acima, representam aproximaes cada vez melhores do nmero 0, 999..... Assim, se observarmos
as diferenas entre 1 e esses valores truncados de 0, 999..., podemos
chegar resposta correta da questo acima. Pois bem, tais diferenas so
0, 1 0, 01 0, 001 0, 0001 . . .
116
in
ar
Pr
el
im
x=
OP
OA
Ve
r
s
o
9 Uma outra maneira de perceber isso, um tanto ingnua mas funcional, a seguinte: se tais nmeros fossem diferentes, seria possvel encontrarmos um outro
nmero real que estivesse entre eles. Voc consegue escrever na forma decimal
tal nmero?
117
Pr
el
im
in
ar
Ve
r
s
o
118
Y
b
A
b
im
3.3.4
in
ar
Pr
el
Ve
r
s
o
Definio 3.10 O valor absoluto de um nmero real x, tambm chamado de mdulo de x, denotado por |x| e dado por
x
se x > 0
|x| :=
x se x < 0
Uma primeira leitura da definio acima corrobora a interpretao
ingnua do mdulo como sendo um "nmero sem sinal". Afinal, temse, por exemplo: |2| = 2 e | 2| = (2) = 2. Enquanto lidamos
com quantidades conhecidas, como no exemplo anterior, no h
119
in
ar
im
el
s
o
Pr
Ve
r
Note, porm, que agora buscamos uma soluo para essa equao
somente dentre os nmeros reais que satisfazem a condio x + 1 >
0. E encontramos a soluo x = 2.
120
in
ar
im
el
Pr
Soluo: Mais uma vez, seguindo a definio de valor absoluto, consideraremos dois casos, dependendo do sinal de x + 2.
s
o
Ve
r
121
in
ar
Para que um nmero x satisfaa essa ltima desigualdade, deveria valer x > 5/3. Entretanto, para tal x no valeria a condio
x + 2 < 0. Logo, esse segundo caso no possui soluo.
Com base nas duas anlises acima, obtemos o conjunto-soluo para
o problema inicial: S = {x R | x > 1}.
s
o
Pr
el
im
Observao. importante destacar um cuidado que tivemos ao resolver os problemas acima e que talvez passe despercebido. Pela natureza da definio de valor absoluto, tivemos que estudar a equao
(no primeiro problema) e a desigualdade (no segundo) em dois casos separados. Ao fazer isso - e aqui est o cuidado ao qual nos referimos - devemos perceber que, em cada um dos casos analisados, estamos restringindo o universo no qual se busca a soluo do problema.
Esse cuidado se fez sentir, particularmente, no segundo problema,
quando, ao analisar o caso em que x + 2 < 0 (segundo caso), fomos
obrigados a descartar as solues da desigualdade x 2 6 2x + 3,
pois estas se encontravam fora do universo considerado naquele
caso.
Ve
r
Propriedades
(No que se segue, x e y so nmeros reais quaisquer)
1. |x| > 0
2. |x| = x2
3. |x| = 0 x = 0
122
4. | x| = |x|
5. |x| 6 x 6 |x|
in
ar
im
9. Se c > 0, ento:
|x| 6 c c 6 x 6 c
el
Exerccios
Pr
s
o
a) |x| = |x|
b) |x y| = |y x|
c) |x| = c x = c
Ve
r
d) |x y| = |x| |y|
e) x2 = x2
g) |x| 6 x 6 |x|
123
i) ||x| |y|| 6 |x y|
3.3.5
im
x 6 |x| 6 x
in
ar
s
o
Pr
el
O objetivo desta seo o de introduzir uma linguagem e uma notao que sero teis, mais adiante, no estudo das funes reais de
uma varivel real. Em boa parte, trata-se de linguagem e notao
conhecidas, como o caso dos intervalos abertos e fechados. A expresso "topologia da reta", de certo modo, refere-se a propriedades
dos nmeros reais (ou das funes reais) que se expressam nessa
linguagem10.
Ve
r
124
in
ar
So dois os conceitos que esto na base do que se entende por topologia da reta: distncia e intervalo (na verdade, eles esto interrelacionados, mas explorar essa interrelao foge ao nosso escopo).
Na representao geomtrica dos nmeros reais como a reta real,
ambos os conceitos esto relacionados com aquele de segmento.
A distncia entre dois nmeros reais x e y dada por
im
d(x, y) := |x y|
el
Pr
[a, b) = {x R | a 6 x < b}
(a, b] = {x R | a < x 6 b}
Ve
r
s
o
125
segmento correspondente.
in
ar
el
im
Pr
Ve
r
s
o
126
(a, +) := {x R | x > a}
[a, +) := {x R | x > a}
(, a) := {x R | x < a}
(, a] := {x R | x 6 a}
in
ar
im
s
o
Pr
el
De modo semelhante ao feito para intervalos, podemos falar em conjunto aberto e conjunto fechado. Seja A R um subconjunto qualquer de nmeros reais. Dizemos que A aberto se vale a seguinte
propriedade: todo ponto x A centro de um intervalo contido em
A. Dito de modo menos preciso (mas talvez mais significativo): para
todo nmero pertencente ao conjunto A, variaes suficientemente
pequenas dele continuam dentro do conjunto A. Com linguagem
formal, temos:
A aberto para todo x A existe r > 0 tal que (x r, x + r) A
Ve
r
Por outro lado, um conjunto B R fechado se o seu complementar (relativamente ao conjunto R) aberto, i.e.
B fechado R\B aberto
Exemplos 3.11
127
O conjunto R aberto.
s
o
Pr
el
im
in
ar
Ve
r
128
in
ar
3.3.6
Pr
el
im
Observao. Sob o ponto de vista formal, convm atribuir ao conjunto vazio a propriedade de ser um conjunto aberto (na verdade,
o conjunto vazio satisfaz a condio de ser aberto, acima definida,
por vacuidade). Isso significa, tambm, que o seu complementar
fechado. Mas o complementar de R. Logo, R aberto e tambm
fechado. E sendo R aberto, temos que seu complementar fechado,
i.e. o conjunto vazio tambm aberto e fechado. Esses so os
nicos conjuntos simultaneamente abertos e fechados.
O Plano Cartesiano
Ve
r
s
o
129
r Y
y
rX(eixo x)
s
b
in
ar
Pr
el
im
Ve
r
s
o
130
im
in
ar
el
Exerccios
Pr
Ex. 3.21 Considere os seguintes conjuntos. Diga quais so limitados superiormente e quais so limitados inferiormente. E se existir
encontre o supremo e o nfimo desses conjuntos:
a) A = {1, 2, 4, 8, . . . }
b) B = {1 + n1 : n N }
s
o
c) C = {1 n! : n N}
d) D = {x Q : 1 6 x}
e) E = {x Q : 1 6 x < 2}
Ve
r
f) F = {x Q : x2 < 3}
n
: n N}
g) G = { 1+n
h) H = { n+2
n+1 : n N}
1
i) I = { n+1
: n N}
j) J = {2n : n N}
131
Ex. 3.22 A partir dos axiomas A1, ..., A9 dos nmeros reais prove
as seguintes propriedades:
a) O nmero 0 (zero) o nico elemento neutro da soma.
c) Dado qualquer a R, resulta a.0 = 0
in
ar
im
ab = 0 a = 0 ou b = 0.
el
Pr
c) Se x2 = y2 , ento x = y ou x = y.
d) x3 y3 = (x y)(x2 + xy + y2 )
e) x3 + y3 = (x + y)(x2 xy + y2 )
s
o
f) Se a 6 b e c 6 d ento a + c 6 b + d.
g) Se a 6 b ento b 6 a.
h) Se a 6 b e c 6 d ento a + c 6 b + d.
Ve
r
132
im
in
ar
complementares
el
Ve
r
s
o
Pr
133
Ve
r
s
o
Pr
el
im
in
ar
C O M P L E M E N TO S S O B R E
in
ar
C O N J U N TO S
4.1.1
famlias de conjuntos
Sobre ndices
im
4.1
Pr
el
O uso de ndices bastante comum em matemtica, pois proporciona um modo eficaz e econmico de descrever uma determinada
coleo de objetos, sem exigir uma grande variedade de smbolos.
Por exemplo, poderamos descrever um elenco de 20 objetos usando
letras distintas
s
o
a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t
mas seria muito melhor denot-los com uma nica letra (digamos
a) e 20 ndices
a1 , a2 , ..., a20.
Ve
r
A validade do uso de ndices fica ainda mais evidente quando lidamos com conjuntos infinitos, como por exemplo uma sequncia de
nmeros
x1 , x2 , ..., xn, ...
135
im
in
ar
Pr
el
Ve
r
s
o
Uma caracterstica importante desse processo de indexao a seguinte: o uso de ndices pode ser descrito atravs da linguagem de
funes. De fato, indexar os elementos de um conjunto A atravs
de um conjunto de ndices J significa, simplesmente, escolher uma
funo f : J A. Se quisermos indexar todos os elementos de A, a
funo f deve ser sobrejetora. Se quisermos que elementos distintos
de A tenham ndices distintos, ento a funo f deve ser injetora. Se
quisermos ambas as propriedades, a funo deve ser bijetora.
136
in
ar
Desse modo, o conjunto Z dos inteiros est sendo usado para indexar o conjunto N dos nmeros naturais, i.e.
im
N = {n }Z
4.1.2
Pr
el
Ve
r
s
o
137
in
ar
im
A interseco dos conjuntos da famlia F o conjunto formado pelos elementos que pertencem a todos os conjuntos de F, i.e.
\
A = {x | x A para todo J}
J
Pr
el
[
[
B A = (B A )
J
s
o
\
\
B A = (B A )
J
Ve
r
\
J
138
A ) C =
[
J
AC
in
ar
Complemento.
A ttulo de contemplar os mais curiosos, citamos aqui outra operao que pode ser estendida a qualquer famlia de conjuntos: o
produto cartesiano. Tal operao vai muito alm do que qualquer
curso de clculo exige, podendo ser sumariamente ignorada pelos
mais "pragmticos". Aos que no resistem beleza do pensamento
abstrato, boa leitura.
el
im
Pr
A1 A2 An = {(x1 , x2 , . . . , xn ) | x A , 1 6 6 n}.
s
o
Ve
r
Nosso propsito, agora, contemplar famlias quaisquer de conjuntos, eventualmente infinitas. Para tanto, no difcil perceber que
a descrio acima no adequada. Para chegar a um outro modo
de tratar o produto cartesiano, pode ser til revermos, sob outro
olhar, o produto cartesiano que nos j conhecido (vamos conside-
139
f(1) = x1
in
ar
rar o caso mais simples, com somente dois conjuntos). Dados dois
conjuntos no vazios A1 e A2 (o uso de ndices aqui proposital),
podemos identificar um par ordenado (x1 , x2 ) do produto cartesiano
A1 A2 com a funo f : {1, 2} (A1 A2 ) dada por
f(2) = x2
el
im
s
o
Pr
Ve
r
140
A N L I S E C O M B I N AT R I A
in
ar
im
s
o
Pr
el
Em diversas situaes, como por exemplo no clculo de probabilidades, fundamental conhecermos o nmero de elementos de certos conjuntos ou ainda o nmero de possibilidades de certos experimentos. Neste captulo apresentamos algumas estratgias de contagens que nos auxiliaro na determinao das cardinalidades nos
casos mais comuns e mais relevantes.
Ve
r
5.1
141
in
ar
im
Se denotarmos por #A o nmero de elementos de A, ento o Princpio Fundamental da Contagem para Conjuntos pode ser reescrito
como:
el
#(A B) = #A #B.
Ve
r
s
o
Pr
(a1 , b2)
(a2 , b2)
..
.
(a1, bm )
(a2, bm )
..
.
(an , b1)
(an , b2)
(an , bm)
142
in
ar
im
vo 1
opes
cruzeiro 2
Pr
cruzeiro 1
2a possibilidade
3a possibilidade
vo 2
s
o
1a possibilidade
el
cruzeiro
1
cruzeiro 2
4a possibilidade
cruzeiro
1
5a possibilidade
Ve
r
vo 3
cruzeiro 2
6a possibilidade
143
im
in
ar
Pr
el
Ve
r
s
o
fundamental que o nmero de possibilidades das etapas do experimento sejam independentes para a validade do princpio acima.
Um exemplo de situao em que no podemos utilizar o princpio
de contagem anterior na escolha de dois nmeros (no necessariamente distintos) dentre {1, 2, 3, 4, 5} de modo que a soma seja maior
estrito que 4, pois se o primeiro nmero selecionado for 1 temos s
duas possibilidades para a segunda escolha, os nmeros 4 e 5. Por
outro lado se a primeira escolha for 5 temos ento 5 escolhas para
o segundo nmero.
144
O prximo exemplo mostra que uma etapa pode depender da outra, sem que o nmero de possibilidades dependa, e nesse caso ainda
podemos aplicar o princpio fundamental de contagem.
De quantas maneiras podemos sortear
in
ar
s
o
Pr
el
im
Soluo: Se a primeira letra sorteada for A, a segunda ser sorteada dentre {B, C, . . . , Z}, enquanto que se a primeira letra sorteada
for B, a segunda letra ser sorteada dentre {A, C, D, . . . , Z} e analogamente para as outras possibilidades. Desta forma as etapas no
so independentes.
Apesar disso, no importando qual seja a letra sorteada inicialmente o nmero de possibilidades para o segundo sorteio ser o
mesmo em todos os casos, e logo podemos usar o princpio fundamental da contagem.
Para a primeira letra teremos 26 possibilidades, e para a segunda,
independente de qual seja a letra sorteada inicialmente sempre teremos 25 possibilidades. Assim pelo teorema fundamental da contagem temos que existem 26 25 = 650 maneiras de sortear pares de
letras do alfabeto se a letra j sorteada eliminada.
Ve
r
145
tem n1 n2 nr elementos.
Pr
el
im
A1 A2 Ar
in
ar
Ve
r
s
o
146
A1 A2 Ar1 Ar
in
ar
(A1 A2 Ar1 ) Ar .
im
tem n1 n2 nr1 elementos e como Ar tem nr elementos, pelo princpio fundamental de contagem temos que o conjunto:
(A1 A2 Ar1 ) Ar
el
Pr
s
o
Ve
r
147
in
ar
s
o
Pr
el
im
Soluo:
Por definio, os elementos de (A) so os subconjuntos de A e
desta forma o problema inicial equivalente a contar os subconjuntos de A. Para contarmos os subconjuntos de A representaremos os
subconjuntos de A como palavras binrias.
Denotaremos por a1 , . . . , an os elementos de A e seja B um subconjunto de A. Podemos associar ao conjunto B uma palavra binria
de tamanho n, i.e, uma palavra de tamanho n formadas pelos caracteres 0 e 1. O primeiro caractere dessa palavra 1 se a1 B e 0 se
a1 < B, o segundo caractere 1 se a2 B e 0 se a2 < B, e de modo
geral, o i-simo caractere 1 se ai B e ser 0 caso contrrio.
1
a1 B
a2 < B
a3 B
Ve
r
Palavra:
an < B
148
el
im
in
ar
s
o
Pr
Ve
r
5.2
149
in
ar
el
im
Assim por exemplo se considerarmos A = {a, b, c}, ento os arranjos de A de 2 elementos so (a, b), (a, c), (b, a), (b, c), (c, a) e (c, b).
Pode-se contar os nmeros de arranjos de r elementos de um conjunto com n elementos (r 6 n) atravs do seguinte argumento:
para a primeira entrada da lista podemos escolher um elemento dentre todos os n possveis.
s
o
Pr
de modo anlogo temos que a terceira entrada pode ser preenchida de (n 2) maneiras.
Ve
r
150
esse padro continua at que tenham sido utilizados os r membros na permutao. Isso significa que o ltimo membro pode
ser preenchido de (n r + 1) maneiras.
in
ar
Se denotarmos o nmero de arranjos de r elementos de um conjunto com n elementos por A(n, r), o argumento acima nos sugere
que
n!
= n(n 1) (n r + 1).
(n r)!
el
A(n, r) =
im
Pr
s
o
Ve
r
151
in
ar
im
Pr
el
s
o
Ve
r
Definio 5.12 Seja A um conjunto com n elementos. Uma permutao uma lista ordenada sem repeties de tamanho n,
com todas as entradas distintas.
152
A(n, n) =
n!
= n!
(n n)!
in
ar
im
s
o
5.3
Pr
el
Soluo: Nesse caso queremos calcular as permutaes de 5 candidatos, pela expresso 5.12 existem 5! = 120 possveis resultados da
eleio.
Ve
r
153
im
el
abbaa
baaab
baaba
babaa
bbaaa
Pr
aaabb
aabab
aabba
abaab
ababa
in
ar
distinguindo as vrias ocorrncias das letras a e b. Nesse caso temos 5! = 120 possibilidades. Observe agora que em cada uma dessas palavras, por exemplo a1 b2 a3 a2 b1 podemos permutar as letras
a1 , a2 , a3 e b1 , b2 entre si sem alterar a palavra. Temos assim 3!2! =
12 permutaes e logo contamos cada possibilidade com essa repetio, o que implica que o nmero de palavras distintas formadas por
5!
3 letras a e 2 letras b 3!2!
= 10. Essas palavras so:
Generalizando temos:
s
o
Teorema 5.15 O nmero de nuplas ordenadas distintas, formadas de r elementos distintos nos quais se permitem ni repeties do
i-simo elemento
Ve
r
n!
n1 !n2 ! nr !
sendo n = n1 + + nr .
154
in
ar
6!
= 60 palavras
3!2!
im
el
Pr
s
o
NNLLLNNLLL
Ve
r
155
N
O
in
ar
L
S
Casa
im
Exerccios
Pr
el
s
o
Ve
r
156
Pr
el
im
in
ar
Ve
rs
o
157
in
ar
Pr
el
im
Nessa seo estamos interessados em determinar quantos subconjuntos distintos de r elementos podem ser construdos a partir de
um conjunto de n elementos.
Assim, por exemplo, quantos subconjuntos distintos de {a, b, c, d, e, f}
podemos construir com 3 elementos cada? Veja que temos 5 opes
para a primeira escolha, 4 para a segunda e 3 para a terceira, ou
seja 5 4 3 = 60 possibilidades de escolhermos 3 elementos dentre
as 5 possibilidades acima desde que a ordem importe. Observe que
estamos contando cada subconjunto A(3, 3) = 3! vezes. (por exemplo os subconjuntos formados pelas letras a, b, c foram contados 6
vezes na forma abc, acb, bac, bca, cab, cba). E assim temos 60
3! = 10
conjuntos de trs elementos.
s
o
Ve
r
158
C(n, r) =
n!
A(n, r)
=
.
r!
(n r)!r!
in
ar
el
n!
A(n, r)
=
.
r!
(n r)!r!
im
C(n, r) =
Pr
20!
16!4!
20191817
4321
= 4845 comits.
s
o
Ve
r
11!
Soluo: Para a representao feminina temos 9!2!
= 55 possibilida9!
= 36 e assim temos 55 36 = 1980
des e para a masculina temos 7!2!
possveis comits.
159
50!
45!5!
= 2118760 possibilidades.
in
ar
Soluo:
el
im
Outra Soluo:
Esse problema equivalente a de quantos modos podemos preencher as 6 caixas abaixo usando 3 vezes a letra A, 2 vezes a letra N e
1 vez a letra B.
s
o
Pr
Escolhemos inicialmente 3 caixas (das 6 disponveis) para serem preenchidas com a letra A. Existem C(6, 3) modos de fazer essa escolha.
Agora das 3 restantes, escolhemos 2 para serem preenchidas com a
letra N, existem C(3, 2) modos de fazer isso. A caixa restante deve
ser necessariamente preenchida com a letra B. Logo temos pelo princpio fundamental da contagem
Ve
r
C(6, 3)C(3, 2) =
Exerccios
160
3!
6!
6!
=
= 60 palavras
3!3! 2!1!
3!2!
Ex. 5.6 Dado o conjunto A = {a, b, c, d, e}. Quantos subconjuntos de A existem com 3 elementos. Enumere esses subconjuntos.
in
ar
im
Ex. 5.8 De quantas formas possvel entrar e sair da sala anterior por portas distintas?
el
Pr
s
o
Ve
r
Ex. 5.12 Dados 20 pontos no colineares no plano. Quantas retas podem ser formadas ligando dois pontos? Quantos tringulos
podem ser formados ligando uma tripla de pontos?
161
Ex. 5.13 Numa estante temos 13 livros: 6 de clculo, 3 de geometria analtica e 4 de fsica bsica. De quantas maneiras possvel
ordenar os livros se:
in
ar
im
el
Pr
s
o
Ve
r
162
Ex. 5.16 Um estudante precisa vender 3 CDs de sua coleo formada por 7 CDs de jazz, 6 de rock e 4 de msica clssica. Quantas
escolhas de venda ele possui, se
b) ele quiser vender os trs do mesmo estilo.
in
ar
Pr
el
5.5
im
s
o
Ve
r
1. Considere a equao x + y = 5. Nesse caso o conjunto de solues {(1, 4), (2, 3), (3, 2), (4, 1)} que tem 4 elementos.
163
O nmero de solues desse problema pode ser determinado atravs do seguinte argumento: o nmero n pode ser visto como o nmero 1 somado n vezes
in
ar
1| + 1 + 1{z+ + }1
n nmeros 1 e n1 smbolos de +
im
Enquanto que uma soluo de x1 + x2 + + xr = n pode ser interpretada como apagar todos os sinais de mais exceto por r 1 desses
(Note que com r 1 smbolos + temos r blocos de 1s.)
111
| + 11{z+ + }1
n nmeros 1 e r1 smbolos de +
Pr
el
s
o
11 + 111
1111 + 1
Ve
r
1 + 11 + 1
11 + 1 + 1
164
in
ar
C(n 1, r 1).
Exerccio Resolvido 5.27 O nmero de solues positivas da equa-
im
el
s
o
Pr
Exerccios
Ve
r
165
in
ar
Ex. 5.20
im
C(n + r 1, r 1).
Pr
el
s
o
Ve
r
Um espao amostral o conjunto de todos os resultados possveis em um determinado problema (experimento). Para nossos fins
s consideraremos experimentos com espaos amostrais finitos.
Um evento um subconjunto de . Ou seja, um evento um
subconjunto pertencente as partes do espao amostral. Os subconjuntos com exatamente um elementos so chamados de eventos elementares. Os exemplos abaixo ilustram a utilidade de se considerar
eventos:
166
Exemplos 5.29
={ ,
in
ar
im
Ve
r
s
o
Pr
el
167
in
ar
im
Pr
el
s
o
Ve
r
168
Exerccios
in
ar
Ex. 5.21 Considere o experimento de lanar um dado duas vezes. Para esse experimento, descreva os elementos dos seguintes
eventos:
a) A=o resultado do segundo lanamento dois ou trs
b) B=a soma dos dgitos seis
c) C=a soma dos dgitos onze
im
Pr
el
s
o
Ve
r
169
nmero de elementos em E
.
nmero de elementos em
im
P(E) =
in
ar
evento elementar w em . A probabilidade P(w) deve ser um nmero real no negativo, e satisfazendo a condio que a soma proP
babilidade de todos os eventos elementares 1. w P(w) = 1.
Um espao de probabilidade no qual todo evento elementar tem
a mesma probabilidade, i.e, P(w1 ) = P(w2 ), w1 , w2 , chamado de espao de probabilidade uniforme. Para probabilidades
uniformes podemos definir a probabilidade de um evento E como:
Pr
el
{(ca, ca, ca), (ca, ca, co), (ca, co, ca), (co, ca, ca), (ca, co, co), (co, ca, co)
s
o
Ve
r
4
8
1
2
jogando 2 dados?
170
el
im
in
ar
Mas, se considerssemos esse espao amostral, os eventos elementares no teriam a mesma probabilidade pois para tiramos 12 temos
que tirar dois 6 enquanto para tirarmos 10 temos 3 possibilidades (4
e 6), (5 e 5) ou (6 e 4) para o primeiro e segundo dado respectivamente.
Nesse caso muito mais interessante considerar o espao amostral como {(i, j) : 1 6 i 6 6, 1 6 j 6 6}, ou seja, os pares ordenados cuja primeira entrada representa a sada do primeiro dado,
enquanto a segunda entrada a sada do segundo dado. Nesse caso
o espao amostral tem 36 elementos igualmente provveis. E nesse
1
.
caso a probabilidade de tirarmos 12 36
Exerccio Resolvido 5.32 Qual a probabilidade de tirarmos mais
Pr
de 10 jogando 2 dados?
s
o
Ve
r
171
im
in
ar
s
o
Pr
el
= 32 e assim a probabilidade
1
3
32
495 0, 06464
Exerccios
Ve
r
b) infinitos;
c) finitos e no qual todos eventos elementares tem a mesma probabilidade;
172
in
ar
nmero de elementos em E
.
nmero de elementos em
Pr
P(E) =
el
im
Ve
r
s
o
P(EC ) =
P(E) + P(EC ) = 1
ou equivalentemente
P(EC ) = 1 P
173
in
ar
s
o
Pr
el
im
Ve
r
174
in
ar
im
s
o
Pr
5 5
0, 694
6 6
el
Ve
r
175
in
ar
im
el
s
o
Pr
Ve
r
E assim o dado deve ser lanado pelo menos 13 vezes para que a probabilidade do nmero 1 no ser sorteado nenhuma vez seja menor
que 1/10.
176
0.8
5 x
6
0.6
0.2
1
10
b
10
12
in
ar
0.4
14
im
5 k
6
<
1
10
s
o
Pr
el
Ve
r
Exerccios
177
in
ar
im
el
s
o
Pr
Ex. 5.28 Um professor quer separar seus 10 alunos em dois grupos de 5 e resolveu fazer isso atravs de um sorteio. Dois alunos
gostariam de ficar no mesmo grupo. Qual a probabilidade que isso
ocorra?
Ex. 5.29 Num jogo de pquer, cada jogador recebe cinco cartas
de um baralho de 52.
Ve
r
178
in
ar
Ex. 5.30 Num evento cientfico temos 15 fsicos e 11 matemticos. Trs deles sero escolhidos aleatoriamente para participar de
uma mesa redonda.
b) Qual a chance que pelo menos um seja matemtico?
im
el
Pr
s
o
Ve
r
179
in
ar
im
Ve
r
s
o
Pr
el
180
GENERALIDADES SOBRE
FUNES
6.1
conceitos bsicos
in
ar
s
o
Pr
el
im
Ve
r
181
in
ar
A B = {(1, x), (1, y), (2, x), (2, y), (3, x), (3, y)}.
Tome R = {(1, x), (2, x), (2, y)}. O subconjunto R estabelece uma relao entre A e B, na qual:
1 est relacionado a x, pois (1, x) R
Pr
el
im
Ve
r
s
o
No nosso interesse aprofundar o conceito de relao. Se o introduzimos aqui foi apenas para contextualizar adequadamente o conceito de funo, j que esta um caso particular de relao entre
conjuntos. Temos, de fato, a seguinte definio:
Definio 6.2 Dados dois conjuntos A e B, uma funo de A
em B um subconjunto f de A B (portanto, uma relao entre
A e B) satisfazendo a seguinte propriedade:
182
im
in
ar
Exemplos 6.3
Pr
el
Ve
r
s
o
183
el
im
in
ar
Ve
r
s
o
Pr
Antes de voltarmos nossa ateno ao contexto que mais nos interessa, vejamos um pouco de nomenclatura para funes. Para isso,
tomemos uma funo qualquer f : A B. O conjunto A chamado de domnio de f e denotado por Dom f. J o conjunto B
chamado de contradomnio (no h uma notao para o contradomnio). Dado um elemento x do domnio, ento, pela prpria
definio de funo, deve existir um elemento y do contradomnio
tal que y = f(x) (e esse elemento, lembre-se, nico). Dizemos,
nesse caso, que y imagem de x1 . O conjunto de todas as imagens
dos elementos do domnio, i.e. o conjunto dos elementos de B que
1 Note que, embora o elemento x s possa ter uma nica imagem, a sua imagem y
pode tambm ser imagem de outros elementos do domnio.
184
in
ar
im
Pr
el
Outra situao de interesse ocorre quando se quer descrever a imagem de elementos de um subconjunto do domnio. Dado um subconjunto X A, o conjunto de todas as imagens dos elementos de
X chamado de imagem do conjunto X atravs da funo f e
denotado por f(X). Assim:
s
o
ou, alternativamente,
Ve
r
Note, em particular, que faz sentido falar em f(A), uma vez que A
A. Nesse caso, apenas reencontramos a imagem de f, i.e. f(A) =
Im f.
185
in
ar
Uma vez que a cada elemento do domnio A associamos a sua imagem em B, cabe a questo "recproca": dado y B, qual o conjunto
de elementos do domnio que tm y como imagem? Tal conjunto
(que pode ser vazio) chamado de pr-imagem de y. De modo mais
geral, dado um subconjunto Y B, definimos a pr-imagem de
Y como sendo o conjunto que se obtm fazendo a unio das primagens dos elementos de Y. Tal conjunto denotado por f1(Y) e
pode ser descrito por
im
el
Pr
Ve
r
s
o
186
Dom f = R, Im f = R+ e o contradomnio R.
Dom f = R, Im f = R e o contradomnio R.
im
in
ar
s
o
Pr
el
Ve
r
in
ar
Pr
el
im
s
o
Ve
r
6.2 propriedades
Dada uma funo f : A B, sabemos que cada elemento do domnio possui uma nica imagem, mas tal imagem pode ser comum
188
in
ar
a mais elementos do domnio. Alm disso, nem todos os elementos do contradomnio so imagem de algum elemento do domnio.
Essas duas caractersticas tm uma certa relevncia no estudo das
funes, tanto que foram introduzidos os conceitos de injetividade e
sobrejetividade.
el
im
Definio 6.6 Uma funo f : A B injetora se para qualquer par de elementos distintos do domnio, suas imagens so
tambm distintas. Em outras palavras, uma funo injetora
quando cada elemento da imagem da funo imagem de um
nico elemento do domnio.
Pr
s
o
Ve
r
Veremos mais adiante, em alguns exemplos, como usar a caracterizao acima para provar que uma funo injetora. Antes, vejamos
outro conceito:
189
in
ar
Definio 6.7 Uma funo f : A B sobrejetora se a conjunto imagem Im f coincide com o contradomnio B, i.e., se todo
elemento de B imagem de algum elemento de A.
im
Exemplo. Seja f : R R dada por f(x) = x3 x. Tal funo sobrejetora, pois para todo nmero real y, existe um nmero real x tal
que x3 x = y. De fato, o polinmio x3 x y (na varivel x) sempre possui ao menos uma raiz real, uma vez que seu grau mpar.
Por outro lado, f no uma funo injetora, j que f(1) = f(0), i.e.,
dois elementos distintos do domnio possuem imagens iguais.
Ve
r
s
o
Pr
el
190
in
ar
el
im
Quando uma funo f : A B injetora e sobrejetora simultaneamente, faz sentido dizer que cada elemento da imagem da funo
est relacionado a um nico elemento do domnio. De fato, tal relao existe, graas sobrejetividade, e nica, graas injetividade.
Em outras palavras, podemos inverter os papis dos conjuntos A e B
nessa relao. Nesse caso, falamos em bijeo:
Pr
s
o
Ve
r
Assim, nesse caso, se um elemento x de A est associado a um elemento y de B atravs da funo f (que, lembre, estamos supondo
2 Esse tipo de estudo fcil de se fazer com as ferramentas do clculo diferencial. Nesse caso, inclusive, poderamos ter escolhido uma semi-reta ainda maior,
[ 3/3, +), de modo a ter f injetora. Mas tal ferramenta no ser desenvolvida
neste curso.
191
in
ar
im
f1(y) = x f(x) = y
el
Pr
1
f1 (y) = x = (y 1)
2
Ve
r
s
o
Exerccios
192
im
f) R = {(a, 1), (e, 3), (i, 3), (o, 2), (u, 2)}
in
ar
g) R = {(a, 2), (e, 1), (i, 4), (o, 5), (u, 3)}
Pr
el
Ex. 6.2 Para cada funo que aparece no exerccio acima, diga
se injetora, sobrejetora e/ou bijetora.
s
o
Ve
r
193
in
ar
im
Ex. 6.6 Para cada uma das seguintes funes, prove ou d contraexemplos que elas so injetoras, sobrejetoras ou bijetoras.
Pr
el
s
o
Ve
r
d) f : Z Z, f(n) = n |n|.
e) f : R R, f(x) = ax + b com a , 0.
f) f : R R, f(x) = 2x2 .
3 Dizem-se finitos os conjuntos que possuem um nmero finito de elementos. Voltaremos a discutir essa definio mais adiante, com mais propriedade.
194
g) f : (0, ) R, f(x) =
1
.
x
1
.
x2
i) f : [0, ) R, f(x) = x.
l) f : R R R, f(x, y) = x |y|.
im
m) f : R R R R, f(x, y) = (x, y3 ).
in
ar
h) f : R R, f(x) =
Pr
el
s
o
Ex. 6.9 Para cada uma das seguintes funes, calcule f1({0}), f1({1}), f
a) f : N N, f(n) = 3n + 1.
Ve
r
c) f : [0, ) R, f(x) = x + 1 x.
d) f : R R R, f(x, y) = x |y|.
195
c) f1 (V W) = f1 (V) f1 (W).
d) f1 (V W) = f1 (V) f1 (W).
im
in
ar
Ex. 6.10 Seja dada uma funo f : A B. Se X e Y so subconjuntos do domnio A e se V e W so subconjuntos do contradomnio
B, mostre que:
h) X f1(f(X)).
el
Pr
Ve
r
s
o
196
in
ar
Quando a noite do sbado de carnaval j se transformava em madrugada, um solitrio turista carioca, desesperado para fugir dos ares da
Sapuca, procurou por uma vaga no Hotel Hilbert. Quando se dirigiu
ao gerente do hotel, ao contrrio do que poderamos esperar, ouviu
como resposta: "Aguarde alguns minutinhos, j j providenciamos
um quarto para o senhor". Como o gerente solucionou o problema?
s
o
Pr
el
im
Ve
r
197
Ve
r
s
o
Pr
el
im
in
ar
198
FUNES REAIS A
VA R I V E IS R E A IS
in
ar
el
im
Ve
r
s
o
Pr
1 A contextualizao mais ampla que aqui foi feita no deve ser vista como mera
nota cultural. Ao contrrio, convm ter sempre em mente esse enfoque sobre as
funes, pois permite uma compreenso geralmente mais satisfatria dos conceitos e questes pertinentes.
199
el
im
in
ar
Pr
s
o
Ve
r
Note que o grfico de uma funo um subconjunto do plano cartesiano R2 . Se observarmos que Graf(f) A B R2 , percebemos
como o grfico de f representa a funo f novamente como relao
entre conjuntos.
200
f(x)
(x, f(x))
im
in
ar
Exemplos 7.2
f : [1, 2] R, f(x) = x2
Pr
el
s
o
Ve
r
f(x) = x2
2
1
b
g : N N, g(n) = |n|
201
g(n) = |n|
5
4
3
b
2
b
1
b
4 3 2 1
h : R R, dada por
im
in
ar
Pr
el
se
x 6 1
x
h(x) =
1
se 1 < x 6 1
2 x se
x>1
s
o
Ve
r
Grfico de h(x)
202
Pr
g(x)
el
im
in
ar
s
o
f(x)
Q
2
Ve
r
203
in
ar
Translaes
el
7.1.1
im
Pr
Dada uma funo f : R R e dada uma constante c R, definamos duas funes g, h : R R relacionadas com a funo f da
seguinte maneira:
g(x) := f(x) + c
h(x) := f(x + c)
Ve
r
s
o
204
grficos de g e h.
im
in
ar
s
o
Pr
el
Ve
r
205
g(b) = f(b) + 2
h(a) = f(a 1)
b
1
b
a1
f(b)
im
in
ar
Ve
r
s
o
Pr
el
206
in
ar
Dom h = {x R | x + c A}
b 2 4c b2
x + bx + c = (x + ) +
2
4
2
e conclua que toda parbola do tipo y = x + bx + c pode ser obtida
a partir da parbola y = x2 atravs de uma translao horizontal,
seguida de uma translao vertical.
Homotetias
el
7.1.2
im
Ve
r
s
o
Pr
Deixemos provisoriamente de lado o plano cartesiano para nos concentrar na reta real. Nesta, denotemos por O a origem e por U o
ponto correspondente unidade. Tomemos um ponto genrico P de
abscissa x. Se c R uma constante positiva fixada, onde se encontra o ponto P de abscissa cx? Sem perda de generalidade, suponhamos que P esteja do lado direito de O, ou seja, suponhamos x > 0.
Tendo em mente que, nesse caso, a abscissa de um ponto representa
a distncia ao ponto O, conclumos que o ponto P encontra-se mais
direita de P, se c > 1, ou mais esquerda, se 0 < c < 1 (e tambm
P = P se c = 1, mas esse caso no apresenta interesse). Alm disso,
se Q um ponto de abscissa y > 0 e Q tem abscissa cy, ento vale
a proporo
P Q
=c
PQ
207
in
ar
h(x) := f(cx)
el
g(x) := c f(x)
im
Queremos usar as homotetias nos eixos do plano cartesiano e observar o efeito dessas transformaes no grfico de uma funo. Sejam
dadas ento uma funo f : R R e uma constante positiva c.
Definamos as funes g, h : R R por
s
o
Pr
O valor da funo g em x o resultado de uma homotetia por um fator c sobre o valor da funo f em x. Em termos dos grficos dessas
funes, a ordenada do ponto de abscissa x do grfico de g o resultado de uma homotetia por um fator c sobre a ordenada do ponto
de abscissa x do grfico de f. Dizemos, nesse caso, que o grfico de
g se obtm do grfico de f por uma homotetia vertical.
Ve
r
208
in
ar
el
0.5
im
h(b) = f(2b)
1.5
1.0
b
2f(a)
s
o
0.5
2b
f
Pr
0.5
b
b
1.0
0.5
g(a) = 2f(a)
1.0
Ve
r
209
in
ar
7.1.3
Reflexes
im
Exerccio. Dada uma funo f : A R e dada uma constante positiva c, defina as funes g(x) = c f(x) e h(x) = f(cx). Qual o
domnio das funes g e h, se comparados ao domnio A de f?
Pr
el
As ltimas transformaes que queremos tratar so as reflexes relativas aos eixos coordenados. Dado um ponto P de coordenadas
(x, y), dizemos que:
O ponto de coordenadas (x, y) o ponto simtrico de P relativamente ao eixo x.
Ve
r
s
o
210
in
ar
im
Pr
el
s
o
g(x) = f(x) = x2 + 3x 2
h(x) = f(x) = x2 + 3x + 2
Ve
r
211
f(a)
b
3
2
1
h(b)=f(b)
b
3
b
im
1
2
in
ar
el
g(a)=f(a)
s
o
Pr
Figura 7.2: Grficos das funes obtidas atravs de reflexes em relao aos eixos coordenados.
Ve
r
212
in
ar
im
f(x) = x3
el
f1(x) =
Pr
6 5 4 3 2 1
1
Ve
r
s
o
213
in
ar
im
Pr
el
Ve
r
s
o
214
in
ar
s
o
Pr
el
im
Alm dessa caracterizao geomtrica, h uma caracterizao analtica das funes pares e mpares. Tomemos inicialmente uma funo f par. Como seu grfico simtrico em relao ao eixo y, ento para cada ponto (x, f(x)) do grfico de f, o ponto de coordenadas (x, f(x)) tem que pertencer tambm ao grfico (uma vez
que (x, f(x)) o simtrico de (x, f(x)) relativamente ao eixo y).
Mas o ponto do grfico de f correspondente ao valor x da abscissa , por definio de grfico, o ponto de coordenadas (x, f(x)).
Como os pares de coordenadas (x, f(x)) e (x, f(x)) representam
o mesmo ponto, suas coordenadas devem ser iguais. Logo, deve valer f(x) = f(x), para todo x no domnio da f. imediato verificar,
reciprocamente, que se f(x) = f(x), para todo x no domnio da f,
ento a funo f par (faa por exerccio).
Ve
r
Seja agora dada uma funo f mpar. Sendo seu grfico simtrico
em relao origem, ento para cada ponto (x, f(x)) do grfico de
f, o ponto de coordenadas (x, f(x)) tem que pertencer tambm
ao grfico (uma vez que (x, f(x)) o simtrico de (x, f(x)) relativamente origem). Mas o ponto do grfico de f correspondente
ao valor x da abscissa , por definio de grfico, o ponto de coordenadas (x, f(x)). Como os pares de coordenadas (x, f(x)) e
(x, f(x)) representam o mesmo ponto, suas coordenadas devem
215
in
ar
ser iguais. Logo, deve valer f(x) = f(x), para todo x no domnio
da f. imediato verificar, reciprocamente, que se f(x) = f(x),
para todo x no domnio da f, ento a funo f mpar (faa por
exerccio).
Em suma, temos a seguinte caracterizao: dada uma funo f :
A B, ento
f par se, e somente se f(x) = f(x), para todo x em A;
im
Pr
el
Exemplos 7.7
4
3
s
o
Ve
r
216
1
1
2
3
4
3
2
in
ar
1
1
2
3
im
el
4
3
Pr
s
o
3
4
Ve
r
Exerccios
217
in
ar
im
Discuta a paridade (isto , se so pares, mpares ou no possuem esse tipo de simetria) das funes a e b em termos da
paridade das funes f e g.
a) r(x) := k f(x)
Pr
b) s(x) := k g(x)
el
5. Seja f uma funo par e seja g uma funo mpar. Fixada uma
constante k R, discuta a paridade das funes abaixo:
c) t(x) := f(x) + k
d) u(x) := g(x) + k
s
o
e) v(x) := |f(x)|
f) w(x) := |g(x)|
Ve
r
7.3.1
218
in
ar
facilitar a tarefa de traar o esboo de um grfico. Trata-se da simetria translacional: uma figura possui simetria translacional quando
possvel translad-la em uma certa direo, de modo a fazer com
que essa figura transladada coincida com a figura original.
im
para todo x R.
Pr
f(x + r) = f(x)
el
s
o
Ve
r
1. f(x + T ) = f(x)
para todo x R.
219
in
ar
Os exemplos clssicos de funes peridicas so as funes trigonomtricas. Deixaremos, porm, para trat-las mais adiante, quando
da seo dedicada a essas funes. Por ora, vejamos o seguinte exemplo: seja f : R R dada por
f(x) = x JxK
im
el
Pr
s
o
Ve
r
220
1
1
in
ar
7.4
im
Pr
el
f(x) = 2
s
o
Ve
r
7.4.1
Funes constantes
221
f(x) = x
3
2
1
im
3 2 1
1
in
ar
paralela ao eixo x, uma vez que todos os pontos do grfico tm coordenadas do tipo (x, c).
Funo Identidade
Pr
7.4.2
el
Ve
r
s
o
222
im
in
ar
Funo mdulo
Pr
7.4.3
el
f(x) = |x|
s
o
2
1
1
Ve
r
4 3 2 1
223
in
ar
el
im
4
x + x3 7x2 + 6
s
o
Pr
20
x4 + x3 7x2 + 6
20
Ve
r
7.4.4
224
bc
2
bc
1
1
bc
bc
Grfico de JxK
Funes caractersticas
s
o
7.4.5
Pr
bc
bc
el
im
bc
bc
in
ar
Dado qualquer inteiro n, temos que JnK = n. Alm disso, para todo
nmero real x, com n 6 x < n + 1, tem-se que JxK = n. Assim, o
grfico de JxK tem a aparncia de uma escada:
Ve
r
225
bc
bc
bc
bc
im
in
ar
caracterstica diferente. A figura abaixo representa o grfico da funo caracterstica do conjunto A = {2} [1, 1) (1, 2).
7.4.6
Pr
el
Funes lineares
Ve
r
s
o
226
f(x) = 2x
4
2
1
1
1
2
im
in
ar
Funes afins
s
o
7.4.7
Pr
el
Ve
r
227
g(x) = 2x + 3
in
ar
3
2
im
el
Funes polinomiais
s
o
7.4.8
Pr
Note que as funes lineares e as funes constantes so casos particulares de funes afins.
Ve
r
Uma categoria que engloba as funes afins aquela das funes polinomiais, ou seja, funes cujo expresso analtica dada por um
polinmio. No caso das funes afins, tal polinmio de primeiro
grau. As funes polinomiais podem ter qualquer grau. Na figura
abaixo, est representado o grfico da funo polinomial f(x) =
x7 + x6 + x5 + x4 + x3 + x2 + x + 1.
228
5
4
2
1
2
im
in
ar
Ve
r
s
o
Pr
el
As funes polinomiais de grau 1 ou 2 tm grficos conhecidos: retas, no primeiro caso, parbolas no segundo. J as funes polinomiais de grau maior podem ter grficos razoavelmente variveis em
suas formas globais. Veja-se, por exemplo, as funes polinomiais
abaixo, todas de quarto grau, e seus grficos:
229
x4 + 2x2
1
x4 2x2
2
im
in
ar
x4 2x2 + x
2
Ve
r
s
o
Pr
el
Entretanto, para o esboo de grficos de funes polinomiais quaisquer pode ser til conhecer o comportamento das funes polinomiais em sua forma mais simples, a saber, f(x) = xn . Nas figuras
abaixo esto representados os grficos das funes xn nos casos em
que n par e em que n mpar.
230
in
ar
1.2
1.0
0.8
0.6
x2
0.4
0.2
1.2
1.0
0.8
0.6
0.4
0.2
0.2
0.2
0.4
0.6
x8
0.8
el
1.4
x6
im
1.4
x4
1.0
1.2
1.0
1.2
1.4
1.2
1.0
Pr
0.8
0.6
x3
0.4
x5 x7
0.2
1.2
1.0
0.8
0.6
0.4
Ve
r
s
o
1.4
0.2
0.2
0.2
0.4
0.6
0.8
0.4
0.6
0.8
1.0
1.2
1.4
231
7.4.9
Funes racionais
So funes do tipo
p(x)
q(x)
in
ar
f(x) =
im
onde p(x) e q(x) so polinmios2. O domnio de uma funo racional depende da eventual existncia de razes reais do denominador.
Assim, na expresso acima, se q denota o conjunto das razes reais
de q(x) (eventualmente, esse conjunto pode ser vazio), ento
Dom f = R\q .
el
Pr
x2 x + 3
,
x4 + x3 2x 1
5x5 3x3 + x
x4
Ve
r
s
o
232
2
1
2
3
4
el
im
5 4 3 2 1
1
in
ar
s
o
Pr
Ve
r
233
in
ar
Exemplos 7.9
f(x) =
x
x+1
s
o
Pr
el
im
Ve
r
f(x) =
234
7
6
5
x
x+1
4
3
2
1
6 5 4 3 2 1
1
2
3
f(x) =
1
x2
in
ar
7
6
5
4
3
2
f(x) =
5 4 3 2 1
1
x2 +1
x2 1
el
f(x) =
Pr
im
1
x2
s
o
x2 +1
x2 1
2
4
Ve
r
f(x) =
f(x) =
x3 1
x3 +1
235
f(x) =2 xx3 1
+1
7 6 5 4 3 2 1
1
2
3
f(x) =
x2 1
x4 +1
im
in
ar
f(x) =
x2 1
x4 +1
el
1.5
1.0
Pr
0.5
Ve
r
s
o
3.53.02.52.01.51.00.5
0.5
236
1.0
7.5
funes montonas
in
ar
Antes de continuarmos a ver exemplos clssicos de funes, dediquemos nossa ateno ao comportamento de uma funo no que
concerne ao seu crescimento e/ou decrescimento, isto , o estudo
do (de)crescimento da varivel dependente, conforme cresce a varivel independente. Temos as seguintes definies:
im
s
o
Pr
el
Ve
r
Em qualquer um dos casos acima, dizemos que a funo montona3 . Em particular, quando a funo crescente ou decrescente,
dizemos que estritamente montona.
237
Exemplos 7.11
A funo identidade crescente em R.
in
ar
im
Pr
el
s
o
Ve
r
7.6.1
Fixado um nmero real positivo a, sabemos o significado da expresso ax quando x um nmero real qualquer. Para isso, partimos da
idia de potncia inteira e, com a ajuda do conceito de supremo,
estendemos a operao de potncia para expoentes racionais e, em
238
in
ar
Definio 7.12 Fixado a R, com 0 < a , 1, a funo exponencial de base a a funo f(x) = ax .
im
Das propriedades vistas para a operao de exponenciao, sabemos que ax > 0 para todo x R. Alm disso, pode-se mostrar que
todo nmero real positivo y pode ser escrito como ax , para algum
x R. Logo, o conjunto imagem da exponencial (em qualquer base)
(0, +).
el
Pr
Ve
r
s
o
239
f(x) = 2x
5
4
2
1
im
in
ar
f(x) = ( 12 )x
5
el
4
3
Pr
2
1
s
o
Ve
r
240
7.6.2
Funes logartmicas
in
ar
im
Definio 7.13 Fixado a R, com 0 < a , 1, a funo logartmica de base a a funo loga : (0, +) R dada pela
regra
loga x = y ay = x
5
4
Pr
el
s
o
3
2
Ve
r
2 1
1
2
3
241
f(x) = log1/2 x
2
1
1
10
im
2 1
1
in
ar
2
3
Pr
el
s
o
Ve
r
2. loga xy = y loga x
3. loga xy = loga x + loga y
4. loga
242
x
y
= loga x loga y
7.6.3
Funes trigonomtricas
el
im
in
ar
Ve
r
s
o
Pr
243
in
ar
Pr
el
im
Ve
r
s
o
Para o caso dos nmeros negativos, na verdade, pode-se seguir exatamente o mesmo procedimento do pargrafo anterior: dado x < 0,
tomar k Z de modo que x := x 2k [0, 2) e associar a x
o mesmo ponto P associado a x . A diferena com o caso anterior
est na interpretao: se x < 0, ento |x| a medida do arco que
percorremos a partir de A, em sentido horrio, dando (k 1) voltas
na circunferncia, e seguindo at P.
Uma vez estabelecida a relao entre nmeros reais e ngulos geomtricos, queremos estender as noes de seno e cosseno, j co-
244
in
ar
sen x = b e
im
Pr
el
s
o
Ve
r
2. Im cos = [1, 1]
245
in
ar
)
2
im
)
2
Disso segue que o grfico da funo cosseno pode ser obtido a partir do grfico da funo seno, atravs de uma translao horizontal
para a esquerda (por uma distncia /2) ou, o que d no mesmo,
que o grfico da funo seno obtido a partir daquele do cosseno
por uma translao direita (por uma distncia /2). Tambm observamos que a funo seno mpar, enquanto a funo cosseno
par.
s
o
Pr
el
sen x = cos(x
Ve
r
246
2
2
Exerccio.
Ve
r
58
2
3
2
s
o
Pr
f(x) = cos x
el
2
b
1
b
5 34
2
2 2
im
3
2
5 34
2
in
ar
f(x) = sen x
sen(x + a) = sen x
xR
247
58
2
in
ar
sen x
cos x
Secante: sec x :=
1
cos x
el
Tangente: tan x :=
im
Pr
s
o
tan(x + ) =
Ve
r
A funo secante, assim como a funo cosseno, par. J a funo tangente, sendo quociente de uma funo mpar e uma par,
uma funo mpar. Com relao monotonia, a funo secante tem
o mesmo comportamento da funo cosseno (verifique por exerccio). Para estudar o comportamento da funo tangente, suficiente tomar um intervalo de medida , por exemplo, o intervalo
(/2, /2). Dados x, y (/2, /2), com x < y, temos que
0 < y x < , logo
sen(y x) > 0
248
ou
sen y cos x > sen x cos y
in
ar
im
sen y
sen x
<
cos x
cos y
f(x) = tan x
Pr
el
4
3
2
1
5 4 3 2 1
1
Ve
r
s
o
3
2
3
2
3
5
2
6
2
3
4
249
f(x) = sec x
2
1
5 4 3 2 1
1
2
3
2
5
2
im
3
2
in
ar
el
Dentre as propriedades da tangente e da secante, destacamos a seguinte identidade trigonomtrica, consequncia direta da relao
fundamental entre seno e cosseno:
Pr
tan2 x + 1 = sec2 x
s
o
cos x
sen x
Ve
r
Cossecante: cossec x :=
1
sen x
Ambas as funes esto definidas no domnio R\{k | k Z}. A funo cossecante tem a mesma periodicidade da funo seno, mas a
cotangente tem perodo (verifique por exerccio).
250
in
ar
Deixamos como exerccio o estudo da paridade e da monotonia dessas funes. Limitamo-nos, aqui, a apresentar os seus grficos:
f(x) = cotg x
3
2
1
im
el
Pr
f(x) = cossec x
s
o
Ve
r
2
4
1
2
251
7.6.4
in
ar
cotg2 x + 1 = cossec2 x
el
im
Pr
s
o
arcsen : [1, 1] [ , ]
2 2
Ve
r
arcsen y = x sen x = y
252
f(x) = arcsen x
2
in
ar
im
el
Pr
arccos y = x cos x = y
Ve
r
s
o
f(x) = arccos x
253
arctan : R ( , )
2 2
in
ar
arctan y = x tan x = y
f(x) = arctan x
im
2
2
el
Pr
s
o
Ve
r
arccotg y = x cotg x = y
254
3
2
1
im
in
ar
f(x) = arccotg x
Pr
el
y=
s
o
Ve
r
y=
255
in
ar
f(x) = arccossec x
el
y=
im
arccossec y = x cossec x = y
Pr
s
o
y=
3
2
Ve
r
1. arcsec x = arccos x1
2. arccossec x = arcsen x1
3. arccotg x = arctan x1 , para todo x > 0
256
5. cos(arcsen x) =
1 x2
6. sen(arccos x) =
1 x2
7. sec(arctan x) =
in
ar
7.7
1 + x2
Pr
el
im
Ve
r
s
o
( gf )(x) :=
f(x)
g(x)
Os domnios das funes acima dependem, evidentemente, dos domnios das funes f e g, mas podem depender tambm da operao
257
im
in
ar
Ve
r
s
o
Pr
el
258
Funo composta
(f g)(x) := f (g(x))
in
ar
el
im
f (x)
f (x)
f (g(x))
f (g(x))
C
s
o
Pr
g(x)
Ve
r
259
in
ar
im
Se f(x) =
Pr
el
Exemplos 7.15
Dom(g f) = R+ e (g f)(x) = x
s
o
Dom(f g) = (, 1) e (f g)(x) =
Exerccios
260
1
1x
Ve
r
1x
x
in
ar
el
im
b) Se f inversvel, ento f f1 = e f1 f =
Em tempo, isso significa que a funo identidade cumpre o
papel de elemento neutro da operao de composio de funes.
a) x
b) 3x + 4
Pr
Ex. 7.3 Para as funes abaixo encontre f(x + 2), f(x), f(x + h)
f(x+h)f(x)
, sendo h , 0:
e
h
s
o
c) x2
d) 5x2 + 1
e) x2 x
Ve
r
f) x3 + x2
Ex. 7.4
261
in
ar
im
4
3
2
A
1
b
1
1
Pr
el
s
o
Ve
r
c) f(x) =
d) f(x) =
262
1
x(x2)
1
x(x2)
e g(x) = x2
e g(x) = x
x3 e g : 2x
in
ar
Grfico de f(x)
4
10
im
el
Grfico de g(x)
4
10
s
o
Pr
b) 2g(x)
Ve
r
c) f(x)
d) g(x)
e) f(x)
f) g(x)
263
g) f(|x|)
h) g(|x|
i) f(|x|)
k)
l)
m)
1
2 g(x) + 1
12 g(x) + 1
21 |g(x)| + 1
f( 21 x)
in
ar
j)
im
n) ||f(x)| 1|
o) (f + g)(x)
p) (f g)(x)
el
q) (f + g)(|x|)
s
o
Pr
Ex. 7.8 Esboe o grfico das seguintes funes, utilizando o grfico de uma funo mais simples e aplicando as transformaes apropriadas. Para cada uma dessas funes indique as interseces com
os eixos x e y, as regies nas quais as funes so positivas, negativas, crescentes, decrescentes e os pontos de mximo e mnimo local
se existirem.
a) |2x| + 1
Ve
r
b) (x + 3)4
c) (x + 3)4 1
d) |(x + 3)4 1|
e) |(x + 3)4 1| 1
264
f) |x 1| + 1
g) cos|x 1|
h) |2x2 1|
in
ar
i) |2x2 1| 1
j) ||2x2 1| 1| 2
k) |(x 4)6 2|
l) sen(2x) + 3
im
m) 2|sen(2x) + 3| + 1
p
|x + 2|
n)
p) 1 + cos(|x 1|)
q) 2(x)
Pr
r) 2(x) 5
s) 5|x|
t) 5|x+2|
s
o
u) |3x 5|
el
o) 2 cos(3x + )
v) f(x) =
Ve
r
w) f(x) =
x) f(x) =
x
2
x, se x < 0
+ 1, se x > 0
cos(2x), se x < 1
2 cos(x 1), se x > 1
265
b)
f : R R, f(x) = x3
g : [1, ) R, g(x) = x 1
f : R R, f(x) = x1
g : (, 2] R, g(x) = 2 x
d)
f : R R, f(x) = sen(x)
g : R+ R, g(x) = x
1
(x2)(x3)
el
c)
f : R R, f(x) = x1
g : R\{2, 3} R, g(x) =
im
a)
in
ar
s
o
Pr
1
x+7
b)
1
x2 +4x+4
x+2
.
x2 1
Ve
r
c)
d)
|t 1| 1
e) log3 (x 2)
f) log2 (|x|)
266
h) tan(x + )
i) tan(x) + 2
j) |tan(x)|
in
ar
k) tan(|x|)
Ve
r
s
o
Pr
el
im
l) tan(2x |x 1|)
267
Ve
r
s
o
Pr
el
im
in
ar
8
8.1
in
ar
SEQUNCIAS
conceitos bsicos
im
s
o
Pr
el
Ve
r
a1
3
a
a2
a3
a4
an
269
im
in
ar
a3 = 1/3
a4 = 1/4
a5 = 1/5
el
a1 = 1
Pr
s
o
1
13
=
4
31 + 1
b2 =
8
23
=
10
32 + 1
b3 =
n3
3n +1
n=1
27
33
=
28
33 + 1
Ve
r
n!
3. Os primeiros termos da sequncia de termo geral cn = n
n
so:
270
c1 =
1!
=1
11
c2 =
2!
1
=
2
2
2
c3 =
2
3!
=
3
9
3
b4
d3 = (1)3 = 1
in
ar
d1 = (1)1 = 1
im
(1, 1, 1, 1, 1, 1, . . . )
1
1+
4
4
2.44
1 5
e5 = 1 +
2.49
5
1
1+
n
e3 =
n
1
1+
3
Ve
r
an =
3
1 6
e6 = 1 +
s
o
e4 =
Pr
el
1
n
271
1
2
3
4
5
1.00
0.50
0.33
0.25
0.20
in
ar
n an = 1/n
im
1
n
el
an =
s
o
Pr
1
: R+ R,
x
Ve
r
272
(1, 1)
0.8
b
(2, 21 )
0.4
b
(3, 31 )
b
1
x
f(x) =
0.2
b
b
b
b
10
b
b
12
in
ar
0.6
im
Pr
el
s
o
Outra forma de representar uma sequncia graficamente, representar sobre a reta real as imagens da sequncia, rotuladas pelo
termo que representam.
Assim a sequncia do exemplo anterior an = 1/n, pode ser tambm representada graficamente como:
a5 a4 a3
a2
a1
| ||| || ||| || || | |
Ve
r
0.1
0.1
0.2
0.3
0.4
0.5
0.6
(1)n
0.7
0.8
0.9
1.0
273
(1)n
pode ser construdo
Soluo: O grfico da sequncia cn =
n
(1)n
observando que para valores pares de n os pontos n, n per-
in
ar
(2,
0.5
b
2)
(4, 4)
(3, 3)
15
20
25
1
x
(1, 1)
s
o
Ve
r
g(x) =
274
Pr
b
10
0.5
el
1
x
f(x) =
b
b
im
n
(1)
im
in
ar
Outra forma de definir uma sequncia recursivamente ou indutivamente. Trataremos de definies recursivas de sequncias com
mais detalhes e cuidados numa seo posterior, mas antes disso
apresentaremos alguns exemplos de sequncias especificadas dessa
forma.
Uma sequncia pode ser definida atravs das seguintes regras:
p
a1 = 2 e an = 2an1
s
o
Pr
el
Para ilustrar como que as regras acima especificam uma sequncia vamos calcular os primeiros termos dessa sequncia. Como o
primeiro termo j nos fornecido nas regras acima, calculemos o
segundo termo dessap
sequncia. Para esse fim suficiente notarmos
2 2. Para calcularmos
que: a2 = 2a1 =
q p o terceiro termo, no
an = 2 2 2 .
|
{z
}
n razes
Ve
r
275
an
1
2
3
4
5
1.41421
1.68179
1.83401
1.91521
1.95714
in
ar
2.0
s
o
1.5
Pr
el
im
a1
a2
a3
a4
b
a5
b
a6
b
a7
1.0
Ve
r
0.5
276
Outra sequncia que pode ser definida recursivamente a sequncia de Fibonacci, definida pelas regras recursivas:
f2 = 1
fn+1 = fn + fn1
in
ar
f1 = 1
(1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, . . . )
im
Pr
el
Ve
r
s
o
A sequncia de Fibonacci (fn ) descreve o nmero de casais de coelhos aps n meses se eles se multiplicarem como descrito.
Por ltimo considere a sequncia (sn ) especificada recursivamente
como
1
s1 = 1 e sn = sn1 + n1 .
2
Os primeiros termos dessa sequncia so:
s1 = 1
s2 = 1 + 1/2 = 3/2,
1 1/2n
= 2 (1 1/2n ) .
1 1/2
277
50
40
b
20
b
10
b
10
in
ar
30
im
Exerccios
Pr
el
s
o
a) an = n n
b) an =
1
1+ n
c) an =
n4
n!
sen(n)
n
n sen(n)
n2 +1
1
1
1
1 + 2 ++ n
1
+ 212 + + n12
12
Ve
r
d) an =
e) an =
f) an =
g) an =
278
2 e an =
in
ar
1
1+an1
e a1 =
a) an = n5
b) an = (n + 2)5
c) an =
1
n+2
d) an = |sen(x) + 1| + 2
f) an =
s
o
g) an =
3 cos(3n)
2
3 cos(3n)
n
Pr
1
e) an = 1 + (n+1)
2
el
im
Ve
r
8.1.1
De modo anlogo s funes reais, as sequncias podem ser classificadas em relao ao seu crescimento e/ou decrescimento, ou seja,
o estudo do (de)crescimento dos termos da sequncia em relao a
279
el
im
in
ar
Pr
Em qualquer um dos casos acima, dizemos que a funo montona1 . Em particular, quando a funo crescente ou decrescente,
dizemos que estritamente montona.
s
o
As definies anteriores so as anlogas diretas das definies reais. No caso de sequncia elas admitem as seguintes simplificaes
teis:
Ve
r
Definio 8.4
280
1
decrescente
n+1
im
in
ar
el
1
1
>
.
n
n+1
Pr
s
o
1
1
>
n
n+1
Ve
r
n
no-crescente.
n2 + 1
281
in
ar
n3 + n2 + n + 1 < n3 + 2n2 + 2n
1 < n2 + n
el
im
Pr
n
crescente.
Ve
r
s
o
Soluo: Vamos demonstrar que essa sequncia estritamente crescente, mostrando que o quociente de dois termos consecutivos
maior que 1. Dividindo dois termos consecutivos da sequncia temos:
1 n1
1
1 n
1+
1+
1+
n
n
n
n1 =
n1
1
1
1+
1+
n1
n1
!n1
1 + n1
1
=
1+
1
n
1 + n1
1 n1
1
=
1 2
(8.1)
1+
n
n
282
1 n1
1
Para mostrar que 1 2
maior que 1, vamos
1+
n
n
usar a seguinte desigualdade: (1 + x)n > 1 + nx para todo x (vide
exerccio 8.6). Usando essa estimativa temos que:
1
1 2
n
n1
> 1
n1
.
n2
in
ar
Pr
el
im
1 n
1+
n1
1
1 n1
n
> 1
1+
1 2
n1 =
n
n
n2
1
1+
n1
1
= 1+ 3
n
> 1
s
o
8.1.2
Sequncias Limitadas
Ve
r
Para algumas sequncias o conjunto imagem Im(an ) R um conjunto limitado superiormente ou inferiormente, classificaremos as
sequncias em relao as propriedades de limitao da sua imagem
como:
283
Definio 8.8
Uma sequncia (an ) dita limitada superiormente se o
conjunto {an : n N } for limitado superiormente como
subconjunto dos nmeros reais, i.e, se existir M tal que
an 6 M para todo n N .
Pr
el
im
in
ar
Ve
r
s
o
1
Exerccio Resolvido 8.9 A sequncia (an ) = n+1
limitada pois
1
n + 1 < 2 para todo n N .
1
< 2 resolvendo essa desigualSoluo: Vamos provar que
n + 1
dade
1
1
n + 1 = n + 1 < 2
284
1
1 < 2n + 2 < n
2
in
ar
im
Pr
el
2. A sequncia (bn ) = n como veremos abaixo no limitada superiormente, mas limitada inferiormente. Uma cota inferior
nesse caso 0.
s
o
Ve
r
285
in
ar
el
im
Uma consequncia desse teorema que dados x, y > 0 dois nmeros reais arbitrrios ento existe um natural tal que nx > y. Esse
pode ser provado se tomarmos r = y/x no teorema anterior. A importncia geomtrica desse fato que qualquer segmento real de
tamanho y pode ser coberta com um nmero finito de segmentos
de tamanho x.
n
limitada
Exerccio Resolvido 8.11 A sequncia en = 1 + n1
superiormente.
Ve
r
s
o
Pr
286
1
1
1
1 1
1
1+1+ + ++
6 1 + 1 + + + + n1
2! 3!
n!
2 4
2
in
ar
Finalmente, como a expresso em parenteses a soma de progresso geomtrica de termo inicial 1 e razo 12 , temos que
1 21n
1 1
1
1
1 + + + + n1 =
= 2 1 n < 2
2 4
2
2
1 21
el
im
Pr
s
o
Ve
r
287
in
ar
Exemplos 8.13
A sequncia an = 1/2n limitada superiormente pois 1/2n 6 1/n
para todo n N. Essa sequncia tambm limitada inferiormente pois 1/2n > 0 para todo n N.
el
Pr
Exerccios
im
s
o
Ve
r
288
n
2 )
1
1+an1
e a1 =
Ex. 8.4 Para cada uma das seguintes sequncias diga se ela
crescente, decrescente ou nenhuma dessas duas. Prove suas afirmaes:
in
ar
a) an n + 7
b) an = n2 + n
c) an = n2 7n
d) an = n2 n2
e) an =
n!
2n
im
1
n2
(1)n
an =
n3
n
an = 2
2n 6
an =
3n
+ 4
n
an =
n+3
h)
i)
j)
s
o
k)
Pr
g)
el
f) an =
Ve
r
Ex. 8.5 Para cada uma das seguintes sequncias diga se ela
limitada superiormente e inferiormente. Prove suas afirmaes:
a) an = n2 + n
b) an = n2 7n
c) an = n2 n2
d) an =
n!
2n
289
1
n2
(1)n
f) an =
n3
n
g) an = 2
h) n/n!
Pr
el
im
in
ar
e) an =
2 e an =
Ex. 8.6 Prove que (1 + x)n > 1 + nx para todo x. [Sugesto: Use
a expanso Binomial]
Ex. 8.7
a) Usando a propriedade arquimediana, prove que
se |x y| < n1 para todo n N , ento x = y.
b) Usando o item anterior prove que se |x y| < para todo
> 0, ento x = y.
Ve
rs
o
290
8.2.1
in
ar
8.2
Ve
r
s
o
Pr
el
im
291
in
ar
im
3. 1/n menor que 103 para n suficientemente grande. Se resolvermos a inequao 1/n < 103 nos naturais, veremos o
conjunto soluo ser n > 103 .
el
4. 1/n menor que 105 para n suficientemente grande. Se resolvermos a inequao 1/n < 105 nos naturais, veremos o
conjunto soluo ser n > 105 .
s
o
Pr
Ve
r
292
im
in
ar
el
Pr
s
o
Ve
r
293
N
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
in
ar
a+
|an a| < .
im
el
Pr
Ve
r
s
o
294
A sequncia
n
n+1
in
ar
Ve
r
s
o
Pr
el
im
295
im
in
ar
Pr
el
s
o
lim
n
1
n+1
Ve
r
Aproximao de 1/7
Um exemplo interessante do uso de limites a representao dos
nmeros reais. Nesse exemplo ilustraremos o aproximao do nmero 1/7, para tanto definimos a sequncia bn que a truncamento
da representao decimal de 1/7 com n casas depois da vrgula.
Assim calculando os dgitos de 1/7 0, 142857142857142 atravs
do algoritmo de diviso, temos que b1 = 0, 1 b2 = 0, 14 b3 =
296
eb
im
in
ar
el
Pr
s
o
Ve
r
Exerccios
297
n1
1
, bn =
n
n
1 1
, 10 )
a) an ( 10
c) cn ( 12 , 23 )
el
1
1
d) dn ( 1000
, 1000
)
im
b) bn (0.999, 1.111)
in
ar
(1)n
.
n
Em cada caso abaixo, determine para quais valores de n vale
cn = (1)n , dn =
Pr
Ex. 8.10 Considerando as mesmas sequncias do exerccio anterior, diga se so verdadeiras ou falsas as afirmaes:
1 1
, 10 ) para todo n > m.
a) Existe m N tal que an ( 10
s
o
1
1
, 1000
) para todo n > m.
d) Existe m N tal que dn ( 1000
Ve
r
a)
b)
c)
d)
298
m.
sen
n
n
<
1
10 ,
c) an =
d) an =
e) an =
2+
q1
n+1
n
n2
9n2
e L = 1/3
eL=1
e L = 1
Pr
f) an =
n+1
n
2+
im
b) an =
1
n eL=0
n
n1 e L = 1
1
eL=
n+2
q1
el
a) an =
in
ar
an = n2 , bn = n3 , cn =
s
o
dn = (1)n n, en = n + (1)n n.
Ve
r
b) bn < 106
c) cn > 2000
d) dn < 1020
e) en > 10
299
Ex. 8.14 Considerando as mesmas sequncias do exerccio anterior, diga se so verdadeiras ou falsas as afirmaes:
a) Existe m N tal que an > 104 para todo n > m.
in
ar
im
n2 +n+1
> 100,
n
en > 104 , para
el
a)
Pr
s
o
Ve
r
a) an = n!
b) an = n
300
b) an = ln n1
in
ar
Ex. 8.18 Mostre que a sequncia (0.9, 0.99, 0.999, 0.9999, . . . ) converge a 1.
el
8.2.2
im
Ex. 8.19 Mostre que a sequncia (0.3, 0.33, 0.333, 0.3333, . . . ) converge a 1/3.
Ve
r
s
o
Pr
O conceito formal de limite, cuja introduo na matemtica se atribui ao matemtico francs Cauchy, um dos conceitos centrais da
matemtica moderna. Pode-se dizer, sem exageros que esse conceito
e seus desenvolvimentos, mudaram de forma profunda o conhecimento e a natureza da matemtica.
Originalmente, esse conceito foi introduzido para formalizar o
conceito de derivada, porm se percebeu que sua importncia e aplicao muito mais ampla e diversa que apenas o desenvolvimento
lgico do clculo diferencial e integral.
A ideia intuitiva do limite, porm precede os trabalhos de Cauchy
e pode ser remontada aos gregos e, em especial, aparece subentendida em alguns trabalhos de Arquimedes. Esse conceito transparece
ainda esporadicamente em diversos trabalhos de matemticos an-
301
im
in
ar
Pr
el
s
o
Uma sequncia que converge para algum valor dita convergente , e caso contrrio dizemos que a sequncia divergente .
Dado a R e um nmero real > 0, o conjunto aberto:
V (a) := (a , a + )
Ve
r
dito -vizinhana de a.
Dizemos que um ponto y uma aproximao de a com erro se
y est na -vizinhana de a, ou seja se |x a| < .
V (a)
302
a-
a+
in
ar
Pr
el
im
s
o
Ve
r
303
in
ar
1
Agora se n > M temos que n1 < M
< . O que implica que:
1
0 = 1 < 1 <
n
n
M
el
im
Pr
s
o
Ve
r
304
n
ento lim cn = 1.
n
n+1
1
n + 1
in
ar
el
Pr
M>
ou seja, tal que
im
1
<
M
s
o
1
< . O que implica que:
Agora se n > M temos que n1 < M
n
1
= < 1 < .
1
n + 1
n
M
Ve
r
305
|in i| <
1
2
in
ar
Soluo:
Suponha que a sequncia convergisse, digamos a i. Ento deveria
existir um ponto M tal que se n > M ento
1
1
1/2 < 1 i < 1/2 i > .
2
2
im
|1 i| <
el
|1 i| <
Pr
s
o
lim an = a2 .
Ve
r
(8.2)
306
|an a1 | <
(8.3)
in
ar
Agora se escolhemos N = max{N1 , N2 }, temos que ambas as desigualdades 8.2 e 8.3 so vlidas para n > N e assim podemos estimar
|a1 a2 |:
im
el
s
o
Pr
Ve
r
Veja que mostramos que a partir do ponto M a sequncia limitada por |a| + 1. Sobrou apenas um nmero finito de termos {a1 , . . . aM }
que no so necessariamente limitados por |a| + 1. Mas como esse
conjunto finito ele limitado por C = max{|a1 | , . . . , |aM |}.
307
Se n > M ento
|an | < |a| + 1 < D.
in
ar
im
el
Como consequncia da proposio anterior temos que as seguintes sequncias no convergem, pois no so limitadas.
Exemplos 8.24
Pr
1. A sequncia (n!)
n=1 diverge. Ela no limitada superiormente
pois para todo n, n! > n .
Ve
r
s
o
2. A sequncia (2n )
n=1 diverge Essa sequncia no limitada superiormente pois para todo n, 2n > n.
2
n
3. A sequncia n+1
diverge. Essa sequncia no limitada
n=1
pois
n2
n
n2
>
> .
n+1
n+n
2
308
a1
a2
a3
aN an
Pr
el
im
in
ar
s
o
Ve
r
309
Exerccios
in
ar
im
c) n!
d) n3
e) (1)n n
i)
1
sen(n)
(Difcil)
Pr
h) sen(n)
el
f) a1 = 1 an = n!an1
g)
n
(Dica: eleve ao quadrado)
(Difcil)
s
o
Ve
r
a) Seja (an )
n=1 uma sequncia real convergente e seja bn =
an+k a sequncia obtida removendo os k primeiros termos
de an . Prove que bn converge e que
310
lim an = lim bn .
in
ar
im
O nmero e
Ve
r
s
o
Pr
el
n
montona crescente
Como j mostramos, a sequncia 1 + n1
e limitada. Logo pelo teorema 8.25 ela converge. O limite dessa
sequncia chamado nmero de Euler ou simplesmente e e
denotado por e. Pelas estimativas que obtivemos no exemplo 8.11,
sabemos que esse nmero est entre 2 e 3. Com um pouco mais de
esforo pode-se provar que os primeiros dgitos do nmero e so
2, 71828183, ou seja e 2, 71828183), e que e irracional.
De posse do nmero e, conforme descrito na seo 7.6.1, podemos
definir a funo exponencial de base e que neste caso ser denominada apenas por exponencial. .
Como valem as desigualdades 2 < e < 3, temos as seguintes
desigualdades entre funes: se x > 0 ento 2x < ex < 3x e se
x < 0 ento 3x < ex < 2x e assim podemos representar o grfico da
funo exponencial como:
311
3x
ex 2x
Pr
eli
m
in
ar
Ve
rs
o
ex
3
2
5 4 3 2 1
1
2
3
4
5
312
ln(x)
1
1
8.2.3
in
ar
im
(Limite da Soma)
(Limite da Diferena)
el
Pr
s
o
Quociente)
an
bn
an =
Ve
r
A
.
B
(Limite do
(Limite do mdulo )
(Limite do Produto)
(Limite da raiz)
A.
an =
A.
(Limite da raiz)
A demonstrao dessas propriedades sero apresentadas na prxima seo, antes disso ilustraremos sua utilizao no clculo de
alguns limites.
313
n+1
= 1.
n n
lim
in
ar
= 0 e assim
im
1
n n
constante e lim
n+1
=1
n n
el
lim
1
= 0.
n nk
Pr
s
o
Ve
r
lim
Exerccios
Ex. 8.23 Prove por induo que se lim an = a ento
n
lim (an )k = ak ,
314
para todo k N .
Ex. 8.24 Usando o exerccio anterior, mostre que dados p, q
N , se lim an = a ento
p
in
ar
lim (an ) q = a q .
im
lim (an ) = a .
2n2 + 1
n n2 + 3
lim
Pr
el
s
o
Soluo: Observe que no podemos usar L5 pois ambas as sequncias do numerador e do denominador so divergentes.
Para calcularmos esse limite devemos usar a seguinte estrategia
comeamos dividindo por n2 o numerador e o denominador, e logo:
2 + n12
2n2 + 1
lim
= lim
n n2 + 3
n 1 + 3
2
n
Ve
r
315
lim 2 + lim
in
ar
2+0
=2
1+0
Veja que no final, chegamos que cada limite de cada termo soma
existia, o que implica que o limite no numerador e denominador
existiam, e assim nossa cadeia de raciocnios estava correta, pois
cada suposio era correta.
im
4n4 + 2n3 + 3
n
5n4 + 3
el
lim
s
o
Pr
Ve
r
4n4 + 2n3 + 3
lim
=
n
5n4 + 3
lim
4 + n2 + n34
5 + +3 n34
4 + n2 + n34
= lim
n
5 + n34
n
316
2
n
3
n4
4+ +
5 + n34
2
n
lim 1 n1
3
n4
4+ +
lim 5 + n34
lim
4
5
in
ar
lim
n
Pr
el
im
Soluo:
Vamos calcular esse limite reduzindo seu calculo ao limite conhen
cido lim 1 + n1 = e.
n
Para tanto comeamos com algumas manipulaes algbricas:
n1 n
1 n
= lim
(8.4)
lim 1
n
n
n
n
1
(8.5)
= lim
n n
n
s
o
lim
lim
1
1 + n1
1
1 + n1
n
1
n1
(8.6)
(8.7)
1
1 + n1
Ve
r
n1
317
in
ar
1 n1
observe que a sequncia bn = 1 + n1
e a sequncia en =
1 n
1 + n so tais que en = bn+1 e assim pelo exerccio 8.22 elas
possuem o mesmo limite
n1
1
1 n
lim 1 +
= lim 1 +
=e
n
n
n1
n
e como
1
n1
Temos que
lim
1+
1
n1
1+
1
n1
1
=e
el
1
n1
=1
im
lim 1 +
s
o
lim
Ve
r
318
n1
n+1
Pr
lim
n1
n+1
h
=
=
n
n1 n
n
lim
n
n n+1
n
n
1 n1
lim
n
n 1 + 1
n
h
i1
1 n
1 n
lim
n
n
1 + n1
(8.8)
(8.9)
e1
(8.10)
= e2
e
lim n
q
3 + n1
im
lim n
lim
q
3+
1
n
q
q
3 + n1 +
n(3 + n1 3)
lim q
n
1
3+ n + 3
el
1
3+ 3
n
in
ar
3 + n1 + 3 :
1
1
=
lim q
n
2
3 + n1 + 3
Ve
r
s
o
Pr
8.2.4
Teorema do confronto
319
in
ar
Teorema 8.34 (Teorema do confronto ) Dadas (an ), (bn )(cn ) sequncias reais tais que an 6 bn 6 cn para todo n > n0 . Ento se
lim an = lim cn = L, ento existe lim bn = L.
Exerccio Resolvido 8.35 Se |r| < 1 ento lim rn = 0
n
im
el
0 < rn =
s
o
Pr
lim
sen(n)
=0
n
Ve
r
lim
320
sen(n)
=0
n
1
=0
Exerccio Resolvido 8.37 lim sen
n
n
Soluo: Considere no crculo trigonomtrico um ngulo x tal que
0<x<
,
2
in
ar
im
sen(x)
conforme apresentado na figura ao lado.
x
A C
Geometricamente, temos que rea do trinO
gulo OBC, que vale sen(x)/2, menor que
a rea do setor circular OBC, cujo valor
x/2. Consequentemente para 0 < x < , valem as desigualdades:
2
b
Pr
el
Tomando x =
temos que :
1
n
s
o
1
1
0 < sen( ) < ,
n
n
e consequentemente pelo teorema do confronto, como lim 0 =
1
n n
= 0, temos que
Ve
r
lim
1
lim sen
= 0.
n
n
321
0.6
b
0.4
b
b
b
b
b
10
b
b
12
b
b
in
ar
0.2
14
16
18
im
Pr
el
s
o
0<x<
2
valem as desigualdades:
D
b
Ve
r
1
sen x
<
.
0 < cos(x) <
x
cos(x)
0<x< ,
2
322
h=
sen(x)
b
x
b
cos(x)
C A
b
sen(
cos(
h
sen(x)
=
1
cos(x)
sen(x)
in
ar
im
e logo Area(OAD)
= 2 cos(x) .
Se denotarmos a rea do setor circular delimitado pelos pontos
O, A, B por Area(OAB),
pela figura ao lado fcil ver que valem as
Area(OBC)
< Area(OAB)
< Area(OAD)
1
sen(x)
1
sen(x) cos(x) < x <
2
2
2 cos(x)
Dividindo por 2 sen)(x) temos:
el
1
x
<
sen(x)
cos(x)
Pr
cos(x) <
s
o
sen x
1
<
.
x
cos(x)
Ve
r
1
sen (1/n)
<
.
1/n
cos (1/n)
323
1.0
b
im
in
ar
1
1
n sen
n
el
0.5
10
15
Pr
s
o
Ve
r
Soluo:
Como an limitada, existe C tal que
C < an < C.
324
in
ar
Exerccios
el
im
Ex. 8.26 Mostre que lim cos( n1 ) = 1 (Dica: observe que cos(x) =
n
p
2
1 sen(x) e use as propriedades do limite).
Ex. 8.27 Calcule lim tan( n1 )
Pr
s
o
Ve
r
2n2
n
3n2 + 1
n
e) lim
2
n 8n + n + 3
r
2
5+
f) lim
n
n
d)
lim
325
9n3
n 4n4 + 3n3
9n9 + 3n 2
h) lim
n 4n9 + 4n8
q
lim
i)
lim
l)
m)
n)
im
k)
sen(1/6n)
n sen(1/4n)
tan(1/7n)
lim
n tan(1/3n)
lim n tan( n1 )
n
lim n n2 + 2
n
2
3 + n1 32
lim
1
lim
el
j)
9n9 +3n2
4n9 +4n8
in
ar
g)
4+ 4 n
o) lim
n
q
1
p) lim
4 n 4 n
s
o
1
n
Pr
q
Ve
r
326
cos n33
lim
n
n5
=0
2 +2n
2cos(n
)
=0
in
ar
a)
b)
im
Pr
el
Uma funo que satisfaz f(x + an ) f(x) para toda sequncia an tal que an 0 dita contnua.
s
o
h
2
h/2
Ve
r
327
b)
lim
cos(x + n1 ) cos(x)
1
n
= sen(x)
in
ar
el
8.2.5
im
Pr
Nesta seo apresentaremos as demonstraes de algumas das propriedades do limite e a demonstrao do teorema do confronto.
s
o
Teorema 8.40 Seja c um nmero real e (an ) e (bn ) duas sequncias convergentes, tais que lim an = A e lim bn = B. Ento:
n
Ve
r
328
A
an
)= .
bn
B
in
ar
im
(8.11)
Pr
el
s
o
|an a| <
|c|
(8.12)
Ve
r
Agora basta combinarmos as equaes 8.11 e 8.12 para terminarmos a demonstrao. Vejamos como:
329
in
ar
el
im
Pr
(8.14)
s
o
Ve
r
|an a| < 1
(8.15)
330
(8.16)
=
|c|
(8.17)
in
ar
im
Vale observar tambm mais alguns fatos: foi fundamental a liberdade de podermos escolher o primeiro to pequeno quanto
queiramos. fundamental, em demonstraes de limites entender quando e como escolher essas grandezas.
el
Pr
|(an + bn ) (a + b)|
s
o
Ve
r
331
|an a| <
in
ar
sempre que
n > M1
(8.19)
sempre que
n > M2
(8.20)
Pr
el
|bn b| <
im
Ve
r
s
o
332
sempre que
n>M
in
ar
|an a| <
(8.21)
sempre que
n>M
im
|bn b| <
(8.22)
el
Pr
s
o
|(an + bn ) (a + b)| = |(an a) + (bn b)| < |(an a)| + |(bn b)|
e substituindo 8.21 e 8.22 na equao anterior temos:
Ve
r
|(an + bn ) (a + b)| = |(an a) + (bn b)| < |(an a)| + |(bn b)| <
333
in
ar
im
(8.25)
el
Pr
Agora vamos proceder como anteriormente fazendo cada pedao da ultima desigualdade menor que 2 e assim fazendo a
soma menor que .
s
o
|a| 2
(8.26)
Ve
r
Feito isso temos uma estimativa para o segundo termo da equao 8.25. Estimar o primeiro termo, i.e, |bn | |an a| existe um
pouco mais de cuidado, pois neste termo estamos multiplicando por |bn | que um termo varivel. Como j vimos em
existe uma cota C tal que para todo n temos que |bn <| C e
334
(8.27)
in
ar
|an a| <
im
el
(8.28)
Pr
s
o
= .
+ |a|
<C
|a| 2
C
(8.32)
Ve
r
(iv) Como
1
an
= an
,
bn
bn
335
1
|b bn |
1
bn b = |b| |bn |
1
bn
1
b,
in
ar
(8.33)
im
|bn b| <
(8.34)
el
o que implica que |bn | > |b| /2 (porque?). Veja que existe um
outro ponto M2 tal que se n > N2 ento
|b|2
.
2
Pr
|bn b| <
(8.35)
Ve
r
s
o
336
|b bn |
1
1
1
|b|2
bn b = |b| |bn | < 2 |b| |b/2| =
(8.36)
in
ar
im
|an L| <
L < cn < L +
(8.38)
Pr
|cn L| <
el
s
o
Exerccios
Ve
r
337
in
ar
8.3.1
im
Algumas sequencias, apesar de no convergirem possuem um comportamento inteligvel conforme o valor de n cresce: a sequncia
torna-se maior que qualquer nmero real C para valores suficientemente grandes de n. Para essas sequncias diremos que o limite
infinito e usaremos a notao
an ou lim an =
n
Pr
el
s
o
bn
ou
lim an =
Ve
r
338
an
b
b
b b b b b b
b b
b b b b b
b
b b
lim bn = .
b b b
b
b
b
b b b b b b b b
b b
b b
b b
b b
b
b
b b
b
b
b b
b
b
b
b b
b
b
b
b b
b
bn
b
b
b
lim bn =
b b b
b
b
b
b b b
im
in
ar
Limites Infinitos
Dado uma sequncia (an ) : N R , dizemos que o limite
da sequncias (an ) mais infinito, fato que denotaremos por
lim an = , se para todo C R, existe M N tal que se
n
n > M ento an > C.
Dado uma sequncia (an ) : N R, dizemos que o limite
da sequncias (an ) menos infinito, fato que denotaremos por
lim an = , se para todo C R, existe M N tal que se
n
n > M ento an < C.
s
o
Pr
el
Ve
r
339
im
in
ar
el
Pr
s
o
2. lim n! =
Ve
r
3. lim 2n =
n
340
7. lim en =
in
ar
im
Pr
el
Ve
r
s
o
A seguinte proposio descreve o limite do inverso de uma sequncia nos casos em que o limite da sequncia inicial zero ou infinito.
341
in
ar
1/an
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
bb
b
b
Pr
an 0
b
b
b
b
b
1/an
b
s
o
an 0
el
b
b
b
b
b
b
b
b
b
b
im
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
Proposio 8.47
342
1
= .
n an
Ve
r
1
= .
an
1
=0
n an
Soluo: Se r > 1 ento 1/r < 1 o que implica que lim (1/r)n = 0.
n
1
=
sen (1/n)
=
im
1
(1/r)n
in
ar
el
Soluo: Como 0 < 1/n < /2 para todo n N temos que sen (1/n) >
0. Por outro lado lim (sen (1/n)) = 0. Desta forma pela proposio
n
9.50 podemos concluir que :
1
=
n sen (1/n)
Pr
lim
s
o
n cos (1/n) 1
Ve
r
Soluo: Como cos (1/n) 1 < 0 para todo n N e lim (cos (1/n) 1) =
n
0, ento a proposio 9.50 implica que:
1
=
n cos (1/n) 1
lim
343
8.3.2
in
ar
lim bn =
lim dn =
im
lim cn =
4. lim (cn + en ) = .
el
1. lim (an + bn ) = .
n
5. lim (cn + dn ) = .
Pr
2. lim (an cn ) = .
6. lim (cn an ) = .
3. lim (an + en ) = .
s
o
Exemplo 8.51 lim 2n + n2 =
n
Ve
r
lim 2n + n2 = .
344
n3 + 2cos(n) =
in
ar
im
No prximo exemplo para cada nmero real r, exibimos sequncias an , bn tais que lim an = , lim bn = e tais que lim (an + bn ) =
n
n
n
r. Esse exemplo demonstra a impossibilidade de encontrarmos uma
lei geral para a soma de duas sequncias, uma das quais converge
para infinito e a outra que converge a menos infinito.
Exemplo 8.53 Sejam an = n e bn = (n + r) ento lim (an + bn ) =
n
el
s
o
Pr
Ve
r
lim cn =
lim bn =
lim dn =
345
lim en = L1 > 0
lim fn = L2 < 0
Ento:
n
2. lim fn an
n
5. lim an bn =
n
in
ar
1. lim en an =
3. lim en cn =
6. lim an cn =
4. lim fn cn =
7. lim cn dn =
Uma consequncia muito til da propriedade M5 (veja exerccio 8.40) que dado k > 0, se lim an = ento lim (an )k =
n
n
.
Pr
el
Observaes 8.54
im
Uma consequncia de M1 que dado c > 0 e an uma sequncia real tal que lim an = , ento lim can = .
s
o
Ve
r
Apresentaremos no que se segue uma srie de exemplos que ilustram a utilizao dessas propriedades no clculo de limites.
Exemplo 8.55 lim 4n2 7n + 1 =
346
in
ar
n4 + 3n
=
n n3 + 5
Pr
Primeira Soluo:
Comeamos dividindo o numerador e o
denominador por n4 e assim:
s
o
Ve
r
2
1 + n33 3
n4 + 3n
.
= lim 1
lim
5
n
n n3 + 5
+
4
3
4
n
n
5
Note primeiramente que n13 + n54 > 0
para todo n N . Tambm temos que
el
im
10
b
b
b
b
b
b
b
b
b
b
b
b
n4 + 3n
=
n n3 + 5
lim
347
in
ar
3
n2
= . Alm
n4 + 3n
=
n n3 + 5
2n
1
3 cos
1
n 3
=
1
n
cos
Pr
1
n
el
im
lim
s
o
2n
1
3 cos
=
n4 + n3 + 2
=
n 3n3 + 5n
Ve
r
1
n
348
1
3+
M2 que:
5
n2
n4 + n3 + 2
=
n 3n3 + 5n
lim
= 13 , temos por
in
ar
Como lim n + 1 + n23 = e lim
im
Pr
el
1
= 1 e lim 3n = ento por M3:
Como lim
3
n
lim (2n 3n ) = .
s
o
Ve
r
Ento:
lim an = ,
lim bn =
349
3. Para todo k
lim k an =
1. lim |an | =
n
Se < 0, lim n = 0
n
el
Pr
im
Exemplo 8.60
in
ar
4. Se k N impar,
lim k bn =
2. lim |bn | =
N ,
p
q
p
q
s
o
p
q
n > n q = np
q
lim np =
Ve
r
350
1
n
1
=0
n n
lim n = lim
in
ar
n3/2 5n =
im
el
Pr
3/2
lim n 5n =
s
o
Ve
r
s
5
n5 + n
=
10n3 + n
5
5
1 + n9/2
n
5 n +
lim
=
lim
n
10n3 + n n 10n2 + n4
351
1 + n9/2
=
n 10n2 + n4
lim
el
im
5
n
5 n +
=
lim
n
10n3 + n
in
ar
Pr
Exerccios
s
o
b)
lim (2n + n)
n
lim
n
n2 + 1
2n
lim
n 3 3n3 3
(n + 3)2 (2n + 3)3 (n + 2)
lim
n
(n + 7)4 (n 8)
2n
lim
3
n
3n4 3
n
2
lim n
n 3
lim n6 + 3n3 + 2
n
c)
Ve
r
d)
e)
f)
g)
352
lim n4 + n3 + 2n +
n
i) lim n3/2 n1/2
n
j) lim n 2n3 + 4
h)
n
n)
o)
p)
q)
2n
3n2 3
1
lim n
n 3 + 4n + sen(1/n)
3
lim
n cos(1/n) 1
n2
lim
n 3n + 2
2n5 + 3n
lim
n 3n3 + 2
43n7 + 3n
lim
n 273n7 + 2
lim n + n1
s
o
r)
lim
3
im
m)
n2
el
l)
lim 1 + n1
Pr
k)
in
ar
s)
t)
lim tan
+ n1
n1
n
n
p
v) lim
n n +
n+ n
lim tan
Ve
r
u)
353
p(n)
.
n q(n)
lim
in
ar
im
Pr
el
s
o
Ve
r
8.4.1
Uma sequncia de grande importncia na combinatria em particular, e na matemtica em geral a funo fatorial definida (informalmente?) como:
n! = n (n 1) 2 1
354
in
ar
im
el
1. f(1) = 1
Pr
O definio anterior um exemplo de definio por recurso, tambm conhecida como definio por induo. Esse tipo de definio
como, as demonstraes por induo, possui duas partes:
s
o
Ve
r
Para entendermos como que as regras acima definem f(n) vamos calcular alguns valores da funo fatorial atravs da definio. Assim por exemplo, vamos calcular f(3) que por definio vale
f(3) = 3f(2), porm ainda por definio f(2) = 2f(1) e f(1) = 1, e
assim:
f(3) = 3 f(2) = 3 2 f(1) = 3 2 1 = 6.
355
Somatrio
in
ar
8.4.2
im
el
Pr
k=1
s
o
Ve
r
k=1
ak = a1 + + an
356
(2s + 1) = 1 + 3 + 5 + 7 + 9
jj = 22 + 33 + 44 + 55
j=2
in
ar
ak = a1
im
1.
k=1
n
P
n1
P
ak = an +
k=1
k=1
el
2.
Pr
ak = a2 +
k=1
s
o
3
X
Ve
r
4
X
k=1
ak = a4 +
ak = a2 + a1
k=1
ak = a3 +
k=1
1
X
2
X
ak = a3 + (a2 + a1 )
k=1
3
X
ak = a4 + (a3 + a2 + a1 )
k=1
357
Definio 8.65 Dada ak uma sequncia de nmeros reais. Definimos o produtrio de ak de 1 at n como sendo a funo
n
Q
ak : N R que satisfaz as seguintes propriedades:
1.
1
Q
in
ar
k=1
ak = a1 .
k=1
n
Q
k=1
ak = an
n1
Q
k=1
im
2.
k=1
ak = a3
5
Y
k=1
(1
k=1
ak = a3 a2 a1 .
n
Q
k.
k=1
Principio da Recurso
Ve
r
8.4.3
ak = a3 a2
1
Y
1
1
1
1
1
) = (1 )(1 )(1 )(1 )
2
k
4
9
16
25
s
o
k=2
2
Y
Pr
3
Y
el
358
Principio da Recurso
1. f(1) = a, com a A
im
in
ar
Ve
r
s
o
Pr
el
359
in
ar
Exerccios
d)
k=0
5
P
1
3k+2
k=2
5
P
(2k + 1)
k=1
el
c)
2k
Pr
b)
k=1
5
P
im
k=0
3
Q
1
3k+2
s
o
k=1
3
Q
b)
(2k + 1)
Ve
r
c)
k=2
3
Q
d)
k=1
360
c)
k=1
(can) = c
k=1
n
P
n
P
k=1
in
ar
b)
k=1
n
P
an
k=1
im
k=1
k=1
Pr
k=1
el
s
o
k=1
n
Q
b)
c)
(can) =
k=1
n
Q
an
a0
Ve
r
k=1
an
an1
k=1
Ex. 8.48 Usando o princpio da recurso e escolhendo o conjunto A e a funo g prove a existncia e unicidade das seguintes
funes:
361
in
ar
8.5 sries
im
el
b
b
1/2,
1/2 + 1/4,
Pr
...
10
Ve
r
s
o
P
soma infinita de uma sequncia an :
1
X
k=1
ak = a0 + a1 + a2 + a3 +
k=0
2k
362
s1 = a1
s2 = a1 + a2
s3 = a1 + a2 + a3
e em geral
sn =
n
X
k=1
ak = a1 + a2 + + an
ak
ou
k=1
in
ar
im
P
P
diremos que sn =
ak a nsima soma parcial da srie
ak
k=1
Exemplos 8.66
1
k
1
2k
k=1
s2 = 1 + 1/2
s3 = 1 + 1/2 + 1/3
Pr
s1 = 1/1 = 1
s
o
s1 = 1/2
k=1
s4 = 1 + 1/2 + 1/3 +
so:
xk1 so:
k=1
s2 = 1 + x s3 = 1 + x + x2
s4 = 1 + x + x2 + x3
Ve
r
s1 = 1
so:
el
k=1
Como sries so um tipo particular de sequncias, podemos falar em convergncia e limites de sries. Porm, para maior clareza
reescreveremos a definio de limite de sequncias para o caso particular das sries.
363
Convergncia de Sries
k=1
n
P
ak a sequncia das
k=1
in
ar
Dada
im
n
X
|sn L| =
ak L < .
k=1
ak dita con-
k=1
el
vergente.
Pr
P
infinita como seu limite, caso esse exista, como
ak .
s
o
Teorema 8.67 Se
k=1
k=1
ak convergente, ento ak 0.
Ve
r
364
n3
diverge.
3
k=1 2n + 5
in
ar
im
lim
el
Srie Geomtrica
Pr
8.5.1
s
o
pxk1 .
k=1
Ve
r
pxn1 =
p pxn
.
1x
365
in
ar
k=1
Vamos agora calcular a soma infinita de uma progresso geomtrica, ou seja o limite da srie geomtrica. Comeamos observando
que se x , 1 ento:
k=1
pxn1 =
p pxn
.
n 1 x
lim
(8.39)
1 xn
= p lim
n 1 x
(8.40)
(8.41)
el
n
X
im
lim
Pr
E deste modo o comportamento de sn determinado pelo comportamento de xn . Como vimos no exerccio 8.35 se |x| < 1 ento xn 0
e assim
lim
k=1
s
o
n
X
p pxn
p
=
.
n 1 x
1x
pxn1 = lim
Ve
r
Pelo exemplo 8.3.1 e ppelo exerccio 8.42, temos quue se |x| > 1
ento xn diverge e logo a srie tambm diverge. No caso restante
x = 1 claramente a srie diverge.
Assim provamos que:
Teorema 8.69 Dados p, x R. Se |x| < 1 ento lim
converge e
366
n
P
n k=1
pxn1
p + px + px2 + pxn1 + =
n
P
n k=1
pxn1 diverge.
(8.42)
in
ar
p
1x
im
el
1 + x + x2 + + xn + =
|x| < 1
Pr
s
o
1 x + x2 x3 + x4 + + (1)n xn + =
1
1+x
|x| < 1
Ve
r
1 + x2 + x4 + x6 + x8 + + x2n + =
1
1 x2
|x| < 1
1
1 x2
|x| < 1
367
+
5 25 125
im
x
1 + x2
|x| < 1
in
ar
x x3 + x5 x7 + + (1)n x2n+1 + =
Pr
el
Soluo:
Veja que a srie anterior uma srie geomtrica de termo inicial
3 e razo 52 . Como 52 < 1 a srie converge e sua soma :
15
24
3
6 12
=
+
+ =
5 25 125
7
1 + 52
s
o
Srie Telescpica
Ve
r
8.5.2
368
k=1
cada termo
ak dita telescpica em
k=1
an puder ser expresso como
Uma srie
relao a sequncia bn se
in
ar
an = bn bn+1
k=1
k=1
im
P
srie
ak converge se e somente se a sequncia bn converge.
Se a sequncia bn converge a b ento
ak = b1 b
b = lim bn
el
Pr
k=1
n
X
ak =
s
o
k=1
n
X
bk bk + 1 = b1 bn+1
k=1
e assim
lim sn = lim
Ve
r
Exemplo 8.73
n
X
ak
k=1
= lim
n
X
bk bk + 1
k=1
= b1 lim bn+1 = b1
n
n=1
n3
+ 6n2
1
2
=
+ 11n + 6
6
369
1
1
2
=
+ 11n + 6
(n + 1)(n + 2) (n + 2)(n + 3)
ou seja a srie
k=1
X
2
1
1
=
n3 + 6n2 + 11n + 6
(n + 1)(n + 2) (n + 2)(n + 3)
k=1
Como bn =
1
(n+1)(n+2) .
Ento b1 =
1
6
e b = 0.
im
in
ar
n3
Exerccios
n=1
e
1
1+ n
6 n1
5
s
o
b)
n=1
Pr
el
n1
P
a)
7 52
c)
d)
n=1
1 n1
Ve
r
e)
n=1
f)
g)
n=1
n=1
n=1
370
7 n1
5
2
n2 +4n+3
2
n(n+1)(n+2)
i)
n=1
n=1
3
n2
1
n2 1
in
ar
h)
Ex. 8.50 Usando as propriedades do limite L1 e L4 e as propriedades do somatrio 8.45 prove que:
P
P
P
(an + bn ) =
a)
an +
bn
n=1
(can ) = c
an
n=1
n=1
s
o
8.6
Pr
el
n=1
im
b)
n=1
Ve
r
Na seo 3.3.3 apresentamos uma breve discusso sobre a representao dos nmeros reais, e um dos pontos problemticos levantados
era o significado preciso das representaes decimais infinitas, como
a do nmero
r = 1, 2385757204765736885692....
Naquele ponto apresentamos uma interpretao para as representaes infinitas, que relida aos olhos dos conceitos desse captulo
371
im
a0 6 r < a0 + 1,
in
ar
nos dizia que o limite da sequncia dos truncamentos da representao infinita seria o nmero r. De posse dos conceitos de limite,
vamos olhar mais cuidadosamente a essa representao. Para isso,
comearemos construindo a partir um nmero real r sua representao decimal.
A observao fundamental para construirmos a representao de
um nmero real a afirmao bastante natural e intuitiva que dado
um nmero real r existe um inteiro a0 tal que
s
o
Pr
el
Ve
r
e logo
1
a1
)< .
10
10
Para encontrarmos o segundo dgito da representao decimal
consideramos r (a0 + a101 , que como sabemos est no intervalo
372
0 6 r (a0 +
in
ar
[0, 1/10) multiplicando por 100 temos teremos um nmero no intervalo [0, 10). E assim novamente temos que existe um inteiro a2 , com
a2 {1, 2, 3, 4, 5, 6, 7, 8, 9} tal que a2 6 100(r (a0 + a101 ) < a2 + 1.
ou seja tal que
a1
a2
1
)<
.
10 100
100
0 6 r (a0 +
Na n-ensima etapa teremos:
im
a1
a2
an
a1
a2
an + 1
+ n 6 r < a0 +
+
10 100
10
10 100
10n
(8.43)
el
a0 +
ou de modo equivalente
Pr
a2
an
1
a1
0 6 r a0 +
+ n < n
10 100
10
10
(8.44)
s
o
Desta forma construmos para um nmero real r sua representao decimal a0 .a1 a2 a3 , onde a0 Z e ai {1, 2, 3, 4, 5, 6, 7, 8, 9}
para todo i > 0. Veja que para sermos precisos, o resultado de nossa
construo foi uma srie infinita cujas somas parciais so:
Ve
r
sn =
n
X
an 10n
n=0
1
10n
373
an 10n = r.
in
ar
n=0
Exerccios
im
a) 0.6666. . .
b) 0.171717. . .
Pr
c) 0.135713571357. . .
el
d) 0.314153141531415. . .
s
o
Ex. 8.53 Prove que a representao decimal de um nmero racional finita ou peridica.
Ve
r
374
in
ar
k=1 10
k!
Ve
r
s
o
Pr
el
im
375
Ve
r
s
o
Pr
el
im
in
ar
LIMITES E CONTINUIDADE
Pr
el
im
in
ar
DE FUNES
Ve
rs
o
Neste captulo comearemos o estudo da teoria matemtica subjacente ao Clculo, explorando o conceito de limite. O conceito de
limite uma das noes fundamentais do Clculo moderno. Por
exemplo, a propriedade de continuidade definida em termos de
limites. De modo semelhante, a derivada definida como um limite
do quociente de diferenas, e finalmente integral de Riemann o
limite de uma soma.
Antes de apresentar o conceito de limite de funes, apresentaremos duas motivaes. Essas motivaes so os problemas paradigmticos do clculo: o problema da reta tangente, que foi um dos
problemas que motivou o desenvolvimento do conceito de derivada,
e o problema da rea, que motivou o desenvolvimento do conceito
de integral.
377
9.1 motivao
O Problema da Reta Tangente
in
ar
9.1.1
im
el
Pr
Ve
r
s
o
378
Q
b
in
ar
reta tangente
im
el
f(x + h) f(x)
f(x + h) f(x)
=
x+hx
h
Pr
msec =
y = f(x)
f(x + h)
Ve
r
s
o
f(x)
y
P
b
x
b
x+h
Conforme o ponto Q se aproxima do ponto P temos que a inclinao da reta secante por P e Q se aproxima da inclinao da reta
379
f
b
b
Pr
el
im
in
ar
s
o
9.1.2
O Problema da rea
Ve
r
380
s
o
Pr
el
im
in
ar
A estratgia de calcular a rea da regio como o limite das aproximaes retangulares, como esboado anteriormente, pode ser formalizada no conceito de integral.
Ve
r
Figura 9.3: A rea da regio pode ser aproximada pela soma das
reas dos retngulos.
381
in
ar
O conceito de limite de uma funo num ponto a descreve o comportamento dessa funo em valores prximos de a, mas diferentes
de a.
el
im
Pr
xa
Ve
r
s
o
Como o limite com x tendendo a a de f(x) descreve o comportamento da funo f para valores prximo a a, mas diferentes de
a, assim uma exigncia natural a ser imposta sobre a funo f
que esta esteja definida ao menos num intervalo contendo a, exceto
possivelmente no prprio ponto a.
Os grficos da Figura 9.4 mostram trs exemplos de funes para
os quais os limites existem e so L. No primeiro caso a funo f est
definida em a, e f(a) = L, na segunda a funo g no est definida
em a e na terceira apesar da funo estar definida em a temos que
h(a) , L. J os grficos da Figura 9.5 ilustram duas situaes nas
quais o limite em a no existe.
382
in
ar
a
h
im
el
s
o
Pr
Ve
r
383
3x + 1
10
7,3
7,03
7,003
..
.
x
1
1.9
1,99
1,999
..
.
3x + 1
4
6,7
6,97
6,997
..
.
Pr
el
x
3
2,1
2,01
2,001
..
.
im
in
ar
Observamos inicialmente que o limite anterior, se existir, nos descrever o comportamento da funo 3x + 1 para valores prximos
de x = 2, mas diferentes de 2. Para conjecturar qual o valor do
limite, comearemos calculando alguns valores que essa funo assume prximo ao ponto 2:
s
o
Os dados da tabela anterior seguem um padro, conforme os valores de x se aproximam de 2 os valores da funo f(x) se aproximam
de 7. O que nos permite conjecturar que lim 3x + 1 = 7.
x2
Ve
r
Podemos ir alm, e verificar que os valores da funo 3x + 1 tornamse arbitrariamente prxima de 7 quando escolhemos valores de x
suficientemente prximos de 2. Para isso tentaremos exigir que a
distncia entre a funo 3x + 1 e o valor 7 seja menor que um valor pequeno, por exemplo, 103. Para tal fim temos que resolver a
inequao:
384
103
3
Pr
el
im
in
ar
103
Ou seja, quando |x 2| <
temos que |3x + 1 7| < 103 .
3
Esse raciocnio pode ser generalizado. Se quisermos forar a distncia entre a funo 3x + 1 e o valor 7 ser menor que um valor
positivo teramos que resolver a inequao |3x + 1 7| < . E
temos que
de maneira anloga, teramos que quando |x 2| <
3
|3x + 1 7| < .
Assim, temos que podemos controlar a distncia na imagem (|f(x) L|)
controlando a distncia no domnio (|x a|), fato que, como formalizaremos na prxima seo, nos permitir concluir que realmente
lim 3x + 1 = 7.
x2
2x2 2x
.
x1 x 1
s
o
Ve
r
385
10
1,1
1,01
1,001
1,0001
1,00001
..
.
2x2 2x
x1
20
2,2
2,02
2,002
2,0002
2,00002
..
.
0.5
0.9
0.99
0.999
0.9999
0.99999
..
.
2x2 2x
x1
1
1.8
1.98
1.998
1.9998
1.99998
..
.
s
o
in
ar
im
Pr
el
2x2 2x
x1
bc
Ve
r
2x2 2x
Figura 9.6: Grfico de
.
x1
2x2 2x
= 2.
x1 x 1
Podemos melhorar a fora de nossa conjectura analisando como se
A tabela e o grfico 9.6 induzem a acreditar que lim
386
2x2 2x
= 2x, e assim a desigualdade
x1
el
fica:
im
2x2 2x
2x(x 1)
=
= 2x
x1
x1
in
ar
2
x1
Pr
105
2
s
o
105
Assim se |x 1| <
ento
2
2
2x 2x
< 105.
2
x1
2x 2
x2 x
x + 25 5
Exemplo 9.3 Conjecture o valor de lim
.
x
x0
Ve
r
387
x + 25 5
x
bc
im
0.1
x + 25 5
no est definida em
x
in
ar
10
10
20
Pr
el
x + 25 5
Figura 9.7: lim
= 0, 1.
x
x0
Ve
r
s
o
x + 25 5
x
x
10
0,09161
1
0,09902
0,1
0,09990
0,01
0,09999
0,001
0,1000
..
..
.
.
388
0,1
in
ar
x + 25 5
Nesse caso tanto o numerador quanto o denominador de
x
se anulam em x = 5, apesar disso, conforme os valores de x se aproximam de 0 os valores de f(x)
se aproximam de 0, 1. O que nos
x + 25 5
= 0, 1.
permite conjecturar que lim
x
x0
Calcularemos esse limite mais adiante no Exerccio Resolvido 9.26.
im
Pr
el
e Direita]
|x|
Seja g =
ento lim g(x) no existe.
x
x0
Soluo:
Para valores positivos de x temos que
|x|
x
= = 1,
x
x
s
o
g(x) =
x>0
|x|
x
=
= 1,
x
x
x<0
Ve
r
As igualdades anteriores mostram que mesmo para valores prximos a zero, teremos valores de x tais que g(x) = 1 e tais que
g(x) = 1. Desse fato podemos intuir que o limite no existe pois
independente do quo prximo x fique do zero f(x) no se aproxima
de nenhum valor. Provaremos esse fato no Exerccio Resolvido 9.13.
389
1
b
3 2 1
1
bc
in
ar
|x|
x0 x
im
el
Pr
4
3
s
o
2
1
Ve
r
1
x0 |x|
1
. Analisando o grfico 9.9 podemos perce|x|
ber que quando x se aproxima de 0, tanto pela direita, isto , por
valores maiores que 0, bem como pela esquerda, isto , por valores
Soluo: Seja h(x) =
390
9.3
im
in
ar
definio de limite
s
o
Pr
el
Ve
r
391
in
ar
menor que .
3
Mais ainda, o exemplo 9.2 mostra que 3x + 1 uma aproximao de 7 com erro menor que para valores de x suficientemente
prximos de 2.
De posse desses conceitos, podemos reescrever a definio de limite como:
el
im
Pr
lim f(x) = L,
xa
s
o
Ve
r
392
in
ar
im
xa
Ve
r
s
o
Pr
el
393
in
ar
Pr
el
im
Para realizar tal tarefa uma estratgia partir da desigualdade |f(x) L| <
para entender como esse termo pode ser controlado por 0 <
|x a| < , em particular encontrar uma fatorao de |f(x) L| <
na qual |x a| fator. Essa estratgia nos permite encontrar o . A
etapa seguinte mostrar que esse funciona.
Ilustraremos essa estratgia nos exemplos a seguir.
Exerccio Resolvido 9.10
que lim 3x + 4 = 10
x2
s
o
Ou seja |x 2| < 3 .
Ve
r
394
e logo
|3x + 4 10| < .
in
ar
que lim c = c
xa
Pr
el
im
s
o
xa
Ve
r
395
im
e Direita]
|x|
ento lim g(x) no existe.
Seja g =
x
x0
Soluo: Como:
1
se x > 0
g(x) =
1 se x < 0
in
ar
Pr
el
s
o
Ve
r
396
in
ar
Exerccios
Ex. 9.1 Calcule a funo nos pontos dados. Use os resultados
para conjecturar o valor do limite:
a) f(x) = x2 + 2x nos pontos 1.1 1.01 1.001; lim x2 + 2x
x1
x4
x4
nos pontos 4.1 4.01 4.001; lim 2
x 12
x4 x x 12
3
3
x1
x1
c) h(x) =
nos pontos 1.1 1.01 1.001; lim
x1
x1
x1
im
x2
el
b) g(x) =
x0
c) lim x3 = 0
Pr
s
o
x0
d) lim x2 = 4
x2
Ve
r
|x 2|
x2 x 2
b) lim
397
x2 2x
x2 x 2
x2 se x Q
0 se x < Q
el
im
x0
in
ar
c) lim
Pr
s
o
Ve
r
possui dois comportamentos distintos na vizinhana da origem. Se considerarmos valores maiores que 0 teremos que g(x) = 1 e logo
398
lim g(x) = 1,
x0,x>0
3 2 1
1
bc
lim g(x) = 1,
in
ar
x0,x<0
lim g(x) = 1
x0
im
x0+
Pr
el
xa
s
o
Ve
r
Em linguagem simblica:
lim f(x) = L ( > 0)( > 0)| se a < x < a ento |f(x)
xa
399
in
ar
xa+
Em linguagem simblica:
im
el
xa+
s
o
Pr
Ve
r
xa+
xa
400
in
ar
x0+
x0+
im
x0
el
Pr
lim |x| == 0.
s
o
x0
Ve
r
ou igual a x, i.e.,
xn+
lim JxK
xn
401
in
ar
xn+
xn
im
el
x < n. Como estamos interessados no comportamento numa vizinhana de n podemos assumir sem perda de generalidade que
n 1 < x e assim que n 1 < x < n
lim JxK = n 1
Pr
xn
s
o
xn
Ve
r
3x 5 se x < 2
f(x) =
2x C se x > 2
x2
402
x2
x2+
x2
x2
in
ar
x2+
el
9.5
im
E assim 1 = 4 C, e logo C = 3.
Pr
s
o
Propriedades do Limite.
Seja c um nmero real e f, g duas funes reais tais que
lim f(x) = A e lim g(x) = B. Ento:
xa
xa
(Limite da Soma)
(Limite da Diferena)
Ve
r
xa
xa
(Limite do Produto)
(Limite do Produto por Escalar)
403
xa
xa
Quociente)
f(x)
g(x)
f(x) =
(Limite do
(Limite de Potncias)
(Limite da Raiz)
im
xa
A
.
B
(Limite do Mdulo )
xa
L8. lim
in
ar
el
Pr
Soluo:
Ve
r
s
o
x2
x2
x2
= 8 + 6 + 2 = 16
x4 + 2
xa x2 + 1
404
x2
lim x4 + 2
xa
lim (x2 + 1)
xa
lim x4 + lim 2
lim
xa
x2
xa
a4 + 2
+ lim 1
xa
a2 + 1
(9.4)
por L1
por L7
(9.5)
(9.6)
im
xa
por L5
in
ar
x4 + 2
=
lim
xa x2 + 1
el
Pr
s
o
xa
Ve
r
Demonstrao: Vamos demonstrar por induo sobre o grau do polinmio. Se p(x) um polinmio de grau zero, ou seja constante, a
igualdade clara. Por hiptese indutiva, suponhamos que a igualdade anterior seja vlida para os polinmios de grau menor igual
que n 1. Agora usando a hiptese indutiva, L1 e L3 temos:
lim p(x) = lim cn xn1 lim x + lim cn1xn1 + +
xa
xa
xa
n1
cn a a + cn1an1
xa
+ + c1 a + c0 = p(a).
405
in
ar
Usando a propriedade L5 temos que para funes racionais tambm vale substituio direta para o clculo de limites:
Teorema 9.23 Dados polinmios p(x) e q(x) com q(a) , 0 ento
p(a)
p(x)
=
.
xa q(x)
q(a)
im
lim
x3 + 12x + 2
.
Exerccio Resolvido 9.24 Calcule lim 2
x2 4x + 4x 2
el
s
o
Pr
lim
xa
Ve
r
406
x2 6x + 8
.
x2 x2 + x 6
Soluo: Nesse caso no podemos realizar substituio direta nem
tampouco usar a propriedade L5 pois o limite do denominador
0. Como o limite do numerador tambm 0 temos que 2 raiz de
ambos os polinmios e assim:
in
ar
Calcule lim
x2 6x + 8
(x 2)(x 4)
lim 2
= lim
x2 x + x 6
x2 (x 2)(x + 3)
im
x2 6x + 8
2
(x 2)(x 4)
x4
= lim
= lim
= .
2
5
x2 x + x 6
x2 (x 2)(x + 3)
x2 x + 3
Pr
el
lim
Ve
r
s
o
x + 25 5
Calcule lim
.
x0
x
Soluo: Novamente no podemos realizar substituio direta nem
tampouco usar a propriedade L5 pois o limite do denominador
407
im
in
ar
x + 25 5
( x + 25 5)( x + 25 + 5)
= lim
lim
(9.7)
x
x0
x0
x( x + 25 + 5)
x + 25 25
(9.8)
= lim
x0 x( x + 25 + 5)
x
= lim
(9.9)
x0 x( x + 25 + 5)
1
(9.10)
= lim
x0
x + 25 + 5
(9.11)
lim
x + 25 5
1
=
x
10
Pr
x0
el
Ve
r
s
o
xa
408
x0
1
= 0.
x
Soluo: Como
1 6 sen
1
61
x
x2 6 x2 sen
in
ar
temos que
1
6 x2
x
el
x0
1
= 0.
x
im
lim x2 sen
Pr
s
o
<x<
2
2
Ve
r
valem as desigualdades:
1
sen x
<
.
x
cos(x)
,
2
409
h
sen(x)
=
1
cos(x)
in
ar
sen(x)
.
2 cos(x)
Se denotarmos a rea do setor circular delimitado pelos pontos
O, A, B por Area(OAB),
pela figura ao lado fcil ver que valem as
im
e logo Area(OAD)
=
Area(OBC)
< Area(OAB)
< Area(OAD)
sen(x)
2
temos:
Pr
Dividindo por
1
1
sen(x)
sen(x) cos(x) < x <
.
2
2
2 cos(x)
el
cos(x) <
1
x
<
.
sen(x)
cos(x)
s
o
O caso
sen x
1
<
.
x
cos(x)
Ve
r
<x<0
2
anlogo e ser deixado como exerccio.
1
pelo Teorema do ConAssim como lim cos(x) = 1 = lim
x0
x0 cos(x)
fronto temos o limite desejado.
410
1 cos(x)
x0
x2
in
ar
Pr
el
im
lim
s
o
Exerccios
Ve
r
6x2 + 2x + 2
x3 + 2
x1
c) lim
411
d) lim 7x3 + x + 2
x2
4
e) lim 8x3 + 4x + 4
x0
h)
i)
in
ar
g)
im
f)
(2 + h)2 4
lim
h
h0
(4 + h)2 16
lim
h0
h
4
x 81
lim
x0 x 3
x2 + 9 3
lim
x0
x2
el
Ex. 9.6 Fornea exemplos de funes f(x) e g(x) tal que lim (f(x) +
xa
Pr
xa
s
o
Ve
r
1
= 0.
x
412
sen 5x
x0 sen 4x
tan 5x
c) lim
x0 sen 3x
sen 5x sen 3x
d) lim
x
x0
continuidade
im
9.6
in
ar
b) lim
Ve
r
s
o
Pr
el
413
in
ar
Pr
el
im
2
4
1.5
2.25
1.3
1.69
1.2
1.44
Definio 9.31 Dada uma funo f : A B de1.1
1.21
finida em pelo menos um conjunto aberto con1.01
1.0201
tendo o ponto a. Dizemos que a funo f(x)
1.001 1.002001
contnua em a se e somente se
lim f(x) = f(a)
xa
s
o
ou equivalentemente
xa+
xa
Ve
r
414
in
ar
im
(iv). cos(x)
(v). cx
Pr
el
Demonstrao: A demonstrao da continuidade das funes polinomiais e racionais j foi feita implicitamente nos teoremas 9.22
e 9.23, nos quais provamos que dados polinmios p(x) e q(x) com
q(a) , 0 ento:
lim p(x) = p(a)
s
o
xa
p(a)
p(x)
=
xa q(x)
q(a)
lim
Ve
r
Como consequncia das propriedades do limite, temos as seguintes propriedades da continuidade de funes.
415
in
ar
b) f(x).g(x) contnua em a
xa
xa
el
xa
im
Pr
Logo pelo limite da soma (L1) temos que o limite da some existe e que:
lim (f(x) + g(x)) = lim f(x) + lim g(x) = f(a) + g(a)
xa
xa
xa
s
o
Ve
r
416
xa
in
ar
xa
O Teorema do Limite da Composta permite calcular limites utilizando a mudana de variveis, como ilustra o exemplo a seguir.
sen(x 2)
= 1.
x2
x2
im
sen(y)
sen(x 2)
= lim
= 1.
rema 9.34 temos que: lim
x2
y
y0
x2
el
Ve
r
s
o
Pr
<x< ,
2
2
conforme apresentado na Figura 9.17. Geometricamente, temos que
rea do tringulo OBC, que vale |sen(x)/2|, menor que a rea
do setor circular OBC, cujo valor |x/2|. Consequentemente para
2 < x < 2 , vale a desigualdade:
|sen(x)| < |x|
417
e assim
E assim
in
ar
x
a
x
+
a
(9.17)
|sen x sen a| = 2 sen
cos
2
2
x + a
x a
x a
cos
= 2 sen
2 6 2 (9.18)
2
2
6 |x a|
(9.19)
im
xa
el
xa
Pr
Ve
r
s
o
418
x0
Logo,
lim sen(x2 + 4x + ) + 2 = sen(lim x2 + 4x + ) + 2 = sen()
x0
x0
in
ar
x0
x0
lim
+ 4x + ) + 2
=
cos(x3 + x5 )
lim sen(x2 + 4x + ) + 2
x0
lim cos(x3 + x5 )
x0
el
x0
sen(x2
im
Pr
s
o
Ve
r
419
=2
in
ar
Pr
Exerccios
el
im
Como consequncia do Teorema 9.39 temos que as funes trigonomtricas inversas arcsen(x), arccos(x), arctan(x), etc. e a funo
log so contnuas em todos os pontos de seus respectivos domnios
de definio.
E, ainda, como consequncia do Teorema 9.38 temos que funes
elementares, i.e, funes que so obtidas por soma, produto, quociente e compostas de funes polinomiais, racionais, trigonomtricas,
exponenciais e logartmicas so contnuas em todos os pontos nos
quais esto definidas.
s
o
x2 x 2
x2 + 2x 8
x2
x2 1
d) lim arctan 2
x1
x 4x+3
Ve
r
c) lim arcsen
420
1
a) lim 3x3 + + 4
x
x1
b) lim cos(x)
x0
c) lim 5x3 + x
in
ar
x3
x3 1
x1 x2 1
4t
lim
t4 2
2
(a + t)3 a3
lim
t
t0
2+t 2
lim
t
t0
2+t 2
lim
t
t0
Prove que lim x2 2cos(x) = 0.
h)
i)
x0
s
o
j)
el
g)
Pr
f)
im
e) lim
Ve
r
b) f(x).g(x) contnua em a
c) Se g(a) , 0 ento f(x)/g(x) contnua em a
421
Pr
el
im
in
ar
Ve
rs
o
422
9.7.1
in
ar
im
s
o
Pr
el
Ve
r
423
b
b
2
b
a
5
in
ar
im
s
o
Pr
el
Ve
r
424
in
ar
Exerccios
im
el
Ex. 9.17 Mostre que a equao 4x 2(x + 1)2 tem pelo menos
uma soluo no intervalo (1, 1)
Pr
s
o
Ve
r
425
in
ar
Pr
el
im
a
Logo escolhemos x em (a , a + )
s
o
Se x em (a , a + )
ento f(x) em (L , L + )
Ve
r
f(x)
x
426
b b
b
b
b
bb
b
b
f(x)
b b b
b
b
bb
b b bb
x<a
im
x>a
in
ar
f(x)
f(x)
el
f(x)
b b
b b
x>0
Pr
x<0
Ve
r
s
o
3
bc
2
bc
1
bc
bc
1
1
bc
bc
bc
Grfico de JxK
bc
427
h
L
in
ar
Ve
r
s
o
Pr
el
im
428
1.0
y = x2 sen
y = x2
sen(x)
x
bc
0.5
y = x2
0.5
sen(x)
x
1
x
D
b
B
b
sen(x)
x
C A
b
cos(x)
sen x
x
<
1
cos(x)
Ve
r
s
o
Pr
el
im
sen(x)
cos(x)
in
ar
h=
3
b
2
bc
1
.
2 1
1
429
4
3
2
1
bc
1
1
in
ar
Ve
r
s
o
Pr
el
im
430
1.0
1.5
1.0
b
0.5
0.5
0.5
0.5
1.0
1.5
in
ar
4.713.141.57
el
im
Pr
sen(x)
A C
b
Ve
r
s
o
f(b)
b
d
b
f(x)
b
f(a)
b
431
1
1
in
ar
Ve
r
s
o
Pr
el
im
y=x
1
b
y = cos(x)
1
432
1.57
1.57
3.14
y = cos(x) x
b
in
ar
4
6
s
o
Pr
el
im
Ve
r
3x x2 4
5
433
x2
in
ar
Limites no Infinito
x
, cujo grfico apresentado
+1
1.0
x
8
2
0.5
x2
el
10
x
+1
im
0.5
Pr
1.0
x2
10
x
+1
s
o
Podemos observar que conforme os valores de x se tornam suficientemente grandes temos que os valores da funo se aproximam
de 0. Denotaremos tal fato por
Ve
r
lim
x x2
x
=0
+1
Por outro lado, conforme os valores de x se tornam suficientemente grandes negativos (negativos e com valores absolutos gran-
434
in
ar
el
im
Pr
s
o
Ve
r
1
=
x
435
0.
im
in
ar
Pr
el
1
Exerccio Resolvido 9.46 Mostre a partir da definio que lim =
x
x
0.
Ve
r
s
o
1
1
Quando x > ento x > 2 e assim 0 < < . O que prova
x
1
que lim = 0.
x
x
436
9.8.2
Limites Infinitos
1
.
x0 |x|
in
ar
4
3
el
im
1
x0 |x|
Pr
Ve
r
s
o
437
7
x4
10
20 15 10 5
5
10
15
x=4
10
15
im
Figura 9.24:
in
ar
7
decresce indefinidamente, tomando
x4
valores arbitrariamente grandes e negativos.
Representamos esses comportamentos por:
Pr
el
lim
s
o
x4+
7
=
x4
lim
x4
7
=
x4
Ve
r
438
in
ar
im
Pr
el
xa
s
o
De maneira anloga, podemos definir os limites laterais infinitos negativos : lim f(x) = e lim f(x) = e os limites infinixa+
xa
Ve
r
lim f(x) = .
Soluo: Pela definio temos que mostrar que dado > 0 existe
> 0 tal que se x > ento f(x) > .
439
xa
el
xa
1
= .
xa f(x)
Pr
xa
xa
s
o
im
Proposio 9.50
in
ar
1
= .
xa f(x)
1
=
xa f(x)
xa
0.
Ve
r
Exemplos 9.51 Como corolrio do teorema anterior, temos os seguintes limites, que so facilmente obtidos atravs de comparao
com uma das funes x e ou x.
a) Dado c > 0 ento lim cx = .
440
im
9.8.3
in
ar
Pr
el
xa
lim h(x) =
xa
lim g(x) =
xa
lim m(x) =
xa
s
o
Ve
r
xa
441
lim f(x) = ,
lim g(x) =
xa
xa
lim h(x) =
lim m(x) =
xa
xa
Ento:
el
xa
xa
xa
im
xa
in
ar
s
o
xa
Pr
xa
xa
xa
As propriedades anteriores permanecem vlidas se trocamos o limite no ponto a por limites laterais ou por limites infinitos.
Ve
r
442
I5. Se
lim
I8. lim
f(x) =
im
, 0 ento
f(x)
A
= .
g(x)
B
B
in
ar
f(x)
com lim f(x) = e lim g(x) =
xa
xa
xa g(x)
s
o
Pr
el
x2 + 1
.
x x2 1
Ve
r
Soluo:
443
x2 + 1 x2
x x2 1 x2
1 + 12
x
= lim
x 1 1
x2
x2 + 1
=
x x2 1
lim
(9.20)
in
ar
lim
(9.21)
(9.22)
Pr
el
x2 + 1
=1
x x2 1
lim
im
s
o
Ve
r
2x3 + 3x2 + 1
.
x 4x2 2x + 1
444
Soluo:
2
=
4
el
Pr
lim
9x2
s
o
Como lim
9 + 12 =
x
Ve
r
lim
+1
lim
x
9x2
9x2
1
lim r
9 + 12
x
(9.28)
1
= .
3
+1
x
+ 1 x
(9.26)
(9.27)
im
(9.25)
in
ar
1+ 1
x3 (2 + 3 x
2x3 + 3x2 + 1
x3
lim
=
1+ 1
x 4x2 2x + 1
x2 (4 2 x
x2
1+ 1
(2 + 3 x
x3
= x
1+ 1
(4 2 x
x2
(9.29)
(9.30)
lim 9 + 12 = 3 ento
x
x
9x2
1
= .
3
+1
445
5x3 + x2 3
.
x 2x3 x + 5
im
lim
in
ar
5x3 + x2 3 x3
(9.31)
x 2x3 x + 5 x3
1 3 1
5+ x
x3
= lim
(9.32)
x 2 1 + 5 1
x2
x3
5
(9.33)
=
2
5x3 + x2 3
=
x 2x3 x + 5
lim
Pr
Soluo:
el
5x2 + x 3
.
Exerccio Resolvido 9.57 Calcule lim
x 4x4 x + 2
5x2 + x 3 x4
x 4x4 x + 2 x4
5 12 + 13 3 14
x
x
x
= lim
x 4 1 + 2 1
x3
x4
= 0
5x2 + x 3
=
x 4x4 x + 2
Ve
r
s
o
lim
lim
(9.34)
(9.35)
(9.36)
O prximo limite conhecido como Limite Exponencial Fundamental a base dos logaritmos naturais ou neperianos.
446
5
1+
x
x
im
in
ar
x
temos:
5
1 5t
= lim 1 +
t
t
!5
1 t
=
lim 1 +
t
t
(9.37)
= e5
(9.39)
s
o
Pr
5
1+
x
el
lim
x
x+1
x
Ve
r
(9.38)
447
im
= e1
in
ar
x
x
x
1
(9.40)
= lim
lim
1
x
x x + 1
1+
x
1
= lim
(9.41)
x
1 x
1+
x
(9.42)
Pr
el
s
o
ln x = y ey = x
Ve
r
448
3
2
ln(x)
Pr
el
im
in
ar
ex
5 4 3 2 1
1
2
3
4
5
Ve
rs
o
lim
x2
x2
5
x2
x2
5
1
.
x2
x2
temos:
5
3t 1
1
= lim
x2
t0 5t
ln 3
=
5
(9.43)
(9.44)
449
9.9 derivada
in
ar
Definio 9.64 Seja f uma funo definida num intervalo contendo o ponto a. Definimos a derivada de f(x) em a, denotada
como f (a), como:
f(a + h) f(a)
.
h
h0
im
f (a) = lim
se o limite existir.
el
x em x = 4.
Pr
s
o
g (4) = lim
Como
g(4) = 2 e g(4 + h) =
Ve
r
temos que
450
g (4) = lim
h0
4+h2
h
4+h
im
in
ar
4+h2 4+h+2
(9.45)
g (4) = lim
h
h0
4+h+2
4+h4
= lim
(9.46)
h0 h
4+h+2
h
= lim
(9.47)
h0 h
4+h+2
1
= lim
(9.48)
h0
4+h+2
1
(9.49)
=
4
el
s
o
Pr
Ve
r
f(x + h) f(x)
h
h0
f (x) = lim
Como
(9.51)
451
Temos que:
x3 + 3x2 h + 3xh2 + h3 + x2 + 2hx + h2 (x3
h0
h
f (x) = lim
in
ar
Simplificando temos:
f (x) = lim 3x2 + 3xh + h2 + 2x + h = 3x2 + 2x
h0
Pr
el
9.10
im
xa
xa
s
o
xa
Ve
r
Antes de comearmos efetivamente a demonstrao faremos algumas estimativas que nos guiaro na demonstrao. Como ambos os
limites existem, vamos supor que lim f(x) = L1 e lim g(x) = L2 . E
xa
xa
dessa forma queremos mostrar que
lim (f(x) + g(x)) = L1 + L2 .
xa
Pela definio de limite, queremos provar que dado > 0 podemos encontrar um > 0 tal que se 0 < |x a| < , ento
|(f(x) + g(x)) (L1 + L2 )| <
452
Como lim f(x) = L1 temos que para todo 1 > 0, existe 1 > 0 tal
xa
in
ar
im
el
Pr
s
o
Ve
r
453
xa
xa
Pr
el
im
in
ar
xa
xa
|f(x) F| <
quando 0 < |x a| < 1
2(1 + |G|)
(9.52)
|g(x) G| <
(9.54)
Ve
rs
o
454
|f(x)g(x)Fg(x)| + |Fg(x)FG|
= |g(x)| |f(x)F| + |F| |g(x)G|
< (1+|G|)
+ (1+|F|)
2(1+|G|)
2(1+|F|)
=
demonstrao do teorema
do valor intermedirio
in
ar
9.11
im
s
o
Pr
el
Demonstrao: O teorema consequncia da propriedade de completude dos nmeros reais. Provaremos apenas o caso no qual f(a) <
d < f(b). A demonstrao do outro caso, f(b) < d < f(a), similar.
Seja S o conjunto de todos os x em [a, b] tais que f(x) < d. Ento
S um conjunto no-vazio pois a um elemento de S, e S limitado
superiormente por b. Assim, por completude, existe o supremo c =
sup S. Provaremos que f(c) = d.
Dado > 0, como f contnua, existe > 0 tal que |f(x) f(c)| <
sempre que |x c| < . Isso significa que
f(x) < f(c) < f(x) +
Ve
r
455
in
ar
im
el
Ve
r
s
o
Pr
456
im
in
ar
Ve
r
s
o
Pr
el
Apndice
457
Ve
r
s
o
Pr
el
im
in
ar
LGEBRA
in
ar
a.1
Pr
el
im
polinmios
Ve
r
s
o
O maior ndice dos termos no nulos (n) dito grau do polinmio e o coeficiente correspondente denominado coeficiente principal do polinmio.
459
im
in
ar
Soluo:
Pr
2. (x3 + 1)(x2 + 5x + 2)
el
1. (2x3 + x2 + 3x + 2) + (x3 + 5x + 1)
s
o
Ve
r
= 3x3 + x2 + 8
460
= x5 + 5x4 + 2x3 + x2 + 5x +
Exerccios
a) (x + y)(x y) = x2 y2
b) (x + y)2 = x2 + 2xy + y2
c) (x y)2 = x2 2xy + y2
d) (x + y)3 = x3 + 3x2 y + 3y2 x + y3
im
in
ar
f) (x + y)(x2 xy + y2 ) = x3 + y3
a.1.1
Pr
el
g) (x y)(x2 + xy + y2 ) = x3 y3
s
o
Ve
r
461
in
ar
im
s
o
Pr
el
Os produtos notveis so particularmente uteis para fatorar expresses. O processo de fatorar um polinmio consiste em escrever
esse polinmio como produto de dois ou mais polinmios, denominados fatores. Antes de utilizar os produtos notveis para fatorar
uma expresso, vamos recordar um dos modos mais simples de fatorar um polinmio que colocar os fatores comuns em evidncia:
Exemplos 1.2
1. 3x4 + 6x3 + 9x2 = 3x2 (x2 + 2x + 3)
Ve
r
462
in
ar
im
el
Exerccios
Ex. 1.2 Expanda:
Pr
a) (3a + 2b)2
b) (3a + 2b)3
c) (3a 2b)3
s
o
d) (x2 1)(x2 + 1)
e) [(x y) + 1][(x y) 1]
f) (a + b + c)2
g) (a ac + c)3
Ve
r
h) (a + b)4
Ex. 1.3 Se a +
1
1
= b determine a2 + 2 em funo de b.
a
a
463
in
ar
c) 4y2 16
d) (x + b)2 a2
im
e) x2 a2 2ab b2
1
f) x3 + 3
x
6
g) x + 1
h) x6 1
a.1.2
Pr
el
i) x2 6x + 9 y2
Diviso de Polinmios
Ve
r
s
o
Dados dois polinmios p(x) e q(x) tais que o grau de p(x) maior
que o grau de q(x) podemos fazer a diviso de p(x) por q(x) com
resto r(x), o qual ser um polinmio de grau menor ou igual a q(x)
e poderemos escrever:
p(x) = a(x)q(x) + r(x)
O processo de diviso anlogo ao processo de diviso Euclideana. Como na diviso Euclideana p(x) ser chamado de dividendo
e q(x) de divisor. Vejamos um exemplo:
464
x3
7x + 6 = x 1
in
ar
x3
7x + 6 = x 1
el
x3 + x2
x2
im
Pr
s
o
x2 7x
Para acharmos o segundo termo da diviso. Repetiremos o processo com o polinmio obtido na etapa anterior x2 7x. Dividimos
o termo de maior grau de x2 7x pelo termo de maior grau de x 1
obtemos x e colocamos
esse termo
no segundo
parntesis.
x3
Ve
r
7x + 6 = x 1
x2 + x
x3 + x2
x2 7x
465
7x + 6 = x 1
x2 + x
x2 7x
x2 + x
in
ar
x3 + x2
7x + 6 = x 1
im
x3 + x2
x2 + x
x2 7x
x2 + x
Pr
el
6x + 6
Para acharmos o segundo termo da diviso. Repetiremos o processo com o polinmio obtido na etapa anterior 6x + 6. Dividimos
o termo de maior grau de 6x + 6 pelo termo de maior grau de x 1
obtemos 6 e colocamos
termo
no segundo
parntesis.
esse
x3
s
o
7x + 6 = x 1
x2 + x 6
x3 + x2
x2 7x
x2 + x
Ve
r
6x + 6
Agora multiplicamos 6 pelo divisor x 1 obtendo 6x + 6. Subtramos esse termo do dividendo ( ou seja somamos 6x 6):
466
x3
x3 + x2
2
7x + 6 = x 1 x + x 6
in
ar
x2 7x
x2 + x
6x + 6
6x 6
im
x3 + x2
el
x2 7x
x2 + x
6x + 6
6x 6
s
o
Pr
0
mio (0) que possui grau menor que o divisor e assim a diviso terminou.
No caso em que a diviso de p(x) por q(x) tiver resto 0 temos que
Ve
r
p(x) = a(x)q(x)
467
in
ar
im
el
Pr
s
o
3x3 + 6x2 4x + 4 = x2 2
Agora dividimos o maior termo do dividendo pelo maior termo do
divisor 3x3 x2 = x e colocamos
esse
termono segundo parntesis.
Ve
r
3x3 + 6x2 4x + 4 = x2 2
3x
Agora multiplicamos x pelo divisor x2 2 obtendo 3x3 6x. Subtramos esse termo do dividendo
( ou
3x3 + 6x):
seja somamos
3x3 + 6x2 4x + 4 = x2 2
3x3
468
+ 6x
3x
in
ar
+ 6x
3x3 + 6x2 4x + 4 = x2 2
3x3
+ 6x
im
6x2 + 2x + 4
Para acharmos o segundo termo da diviso. Repetiremos o processo com o polinmio obtido na etapa anterior 6x2 + 2x + 4. Dividimos o termo de maior grau de 6x2 + 2x + 4 pelo termo de maior grau
de x2 2 obtemos 6. Colocamos
esse
termo no segundo parntesis.
3x + 6
Pr
el
6x2 + 2x + 4
Agora multiplicamos 6 pelo divisor x2 2 obtendo 6x2 12. Subtramos esse termo do dividendo
( ou
6x2 + 12):
seja somamos
3x3 + 6x2 4x + 4 = x2 2
3x3
+ 6x
3x + 6
s
o
6x2 + 2x + 4
6x2
+ 12
3x3
3x + 6
Ve
r
+ 6x
6x2 + 2x + 4
6x2
+ 12
2x + 16
469
in
ar
Exerccios
d) x4 256 x 4
e) x4 a4 x a
f) x5 + x3 2 x 1
h) x3 x a
Pr
g) 4x3 + 2x + 1 x + 1
el
c) x2 a2 x a
im
b) x2 + x 2 x 1
Ve
r
s
o
470
a.1.3
Expresses Racionais
in
ar
Uma expresso racional uma expresso que pode ser escrita como
quociente de dois polinmios:
p(x)
q(x)
im
a c
ad + bc
+ =
b d
bd
ac
a c
2. =
b d
bd
a c
a d
ad
= =
b d
b c
bc
s
o
3.
Pr
1.
el
Ve
r
1.
x2
5
x+1
2.
1
1+
x2
2
471
Soluo:
1.
el
im
in
ar
2x
2x(x + 1) + (x 1)(x2 1)
x1
=
+
(A.
x2 1 x + 1
(x2 1)(x + 1)
2x(x + 1) + (x 1)(x 1)(x + 1
(A.
=
(x2 1)(x + 1)
(x + 1)(2x + (x 1)2 )
=
(A.
(x2 1)(x + 1)
(x + 1)(2x + +x2 2x + 1
(A.
=
x2 1
x2 + 1
= 2
(A.
x 1
Pr
2.
5
x+1
1
1+
x2
Ve
r
s
o
472
2x + 2 5
x+1
=
x2+1
x2
2x 3
= x+1
x1
x2
(2x 3)(x 2)
=
(x + 1)(x 1)
(A.10)
(A.11)
(A.12)
im
Ve
r
s
o
Pr
el
(x + h)2 x2
c)
h
1 1
+
d) a b
b a
a b
(z + w)1
e)
(z w)1
f) (p1 + q1 )1
in
ar
Exerccios
473
a.2
equaes
in
ar
Ve
r
s
o
Pr
el
im
474
Ve
r
s
o
Pr
el
im
in
ar
a.2.1
Equaes Polinomiais
Equao Linear
475
in
ar
ax + b = 0
Pr
ax = b
el
ax + b b = b
im
com a, b R e a , 0.
Para resolvermos essa equao utilizaremos algumas propriedades dos reais. Comeamos observando que se temos uma equao
e adicionarmos o mesmo termo a ambos os lados no alteramos a
igualdade e nem as solues da equao. Assim adicionando b a
ambos os lados teremos:
s
o
Ve
r
ou seja
b
x= .
a
b
Logo o conjunto soluo de uma equao linear ax + b = 0 { }
a
476
ax2 + bx + c = 0
in
ar
Equao Quadrtica
Sejam a, b, c nmeros reais, uma equao quadrtica na varivel
x uma expresso que pode ser escrita na forma
com a, b, c R e a , 0
Para resolvermos essa equao comeamos multiplicando ambos
os lados da equao por 4a (que distinto de 0):
im
(4a)(ax2 + bx + c) = (4a) 0,
el
Pr
s
o
Ve
r
477
2ax =
in
ar
2ax + b = b2 4ac.
2ax + b = b2 4ac
b2 4ac b .
el
im
b2 4ac
2a
2
E a soluo de 2ax + b = b 4ac pode ser obtida atravs das
equivalncias:
x=
b +
b2 4ac
Pr
2ax + b =
s
o
2ax =
x=
b2 4ac b .
b2 4ac
2a
b2 4ac
,
2a
Ve
r
478
ax4 + bx2 + c = 0,
in
ar
el
x2 = 4 ou x2 = 9
im
Exerccios
Pr
Ve
r
s
o
479
a.2.2
in
ar
p(x)
devemos ter o cuidado
q(x)
de verificar para que valores a expresso est bem definida, isto , o
domnio da equao. Em particular, para funes racionais devemos
remover do domnio os valores nos quais o denominador 0.
el
im
Pr
s
o
x2
x
+
1 = 0
1x
x
Ve
r
480
x
x2
x2 (x 2)(1 x) x(1 x)
+
1 =
(A.13)
1x
x
x(1 x)
2 + 2x + x2
=0
(A.14)
=
x(1 x)
Exerccios
c) x(x2 4) = 0.
d) (x2 2)(x2 9) = 0.
Pr
e) x4 24x2 25 = 0
el
im
in
ar
3.
Como ambas as solues pertencem ao domnio temos que o con
x
x2
junto soluo de
+
1 = 0 {1 3, 1 + 3}.
1x
x
s
o
f) 2x4 5x2 + 3 = 0
x
2
=1
g) 2
x 1 x1
h) (x2 3x + 2)2 3(x2 3x + 2) = 0 (dica faa a substituio
y = x2 3x + 2.
Ve
r
i) 6x2 17x1 + 12 = 0
481
a.2.3
Ve
r
s
o
Pr
el
im
in
ar
482
4
4
4
D = [ , ) [ , ) [0, ) = [ , )
9
3
3
p
(9x + 4)(3x 4) = 0
in
ar
9x + 4 + 2
Pr
el
im
4
4
cujas solues so x = e x = . Ao elevarmos ao quadrado, po9
3
demos ter introduzido falsas solues do problema original. Por isso
4
3
devemos necessariamente verificar se x = e x = so razes.
9
4
4
Verificando, obtemos que x = no raiz pois no est no dom9
4
nio. Por outro lado a verificao nos mostra que x = soluo do
3
problema.
s
o
Uma outra tcnica frequentemente usada na resoluo de equaes envolvendo razes multiplicar a equao por uma expresso
diferente de zero, em especial pelo conjugado. Exemplo 1.10 Resolva a equao
3x2 2x + 15
3x2 2x + 8 = 1.
Ve
r
pelo conjugado
(A.16)
im
in
ar
el
3x2 2x + 15 = 16,
simplificando:
s
o
Pr
3x2 2x 1 = 0,
1
cujas solues so x = e x = 1. Verificando, temos que ambos os
3
valores esto no domnio e ambos so solues.
Ve
r
a.2.4
484
in
ar
|x + 1| = 3
im
el
Pr
x + 1 = 3.
s
o
Note, porm, que agora buscamos uma soluo para essa equao
somente dentre os nmeros reais que satisfazem a condio x + 1 >
0. E encontramos a soluo x = 2.
Ve
r
485
|x 1| 2|x 2| = 3.
in
ar
Pr
el
im
Soluo: Veja que para o primeiro mdulo temos dois casos a considerar x < 1 e x > 1 e para o segundo mdulo temos outros dois
casos a considerar x < 2 e x > 2. Desta forma temos no total trs
casos a considerar:
Caso (i): Se x < 1, neste caso
|x 1| 2|x 2| = 3 x + 1 2(x + 2) = 3
s
o
Ve
r
2
que resolvendo, nos fornece x = . Que no soluo pois neste
3
caso em considerao 1 6 x 6 2.
Caso (iii): Se x > 2 temos a equivalncia:
486
|x 1| 2|x 2| = 3 x 1 2(x 2) = 3
Exerccios
a) |x| = x2
b) x2 3 = 2
c) |x| = x + 2
d) |x + 2| = 2x + 1
el
e) |x + 1| + |x 2| = 1
f) 5x x2 6 = x2 5x + 6
im
in
ar
Que resolvendo nos fornece x = 6 que soluo pois est no intervalo em considerao.
Logo, o conjunto soluo {0, 6}
9
> |x 2|
|x 5| 3
x + 1 = 8 3x 1
p
p
x + x + 11 + x x + 11 = 4
4x 3 + 5x 1 = 15x + 4
3
x + 34 3 x 3 = 1
s
o
i)
Pr
g) |x 1| 2 |x 2| + 3 |x 3| = 4
h) x2 2 + 2x + 1 > 0
j)
k)
l)
Ve
r
m)
487
a.3
inequaes
in
ar
Uma inequao em uma varivel uma proposio aberta envolvendo duas expresses separados por um dos smbolos da desigualdade <, 6, > ou >:
s
o
Pr
el
im
Ve
r
488
a.3.1
ax + b < 0
ax + b 6 0
ax + b > 0
ax + b > 0
in
ar
Ve
r
s
o
Pr
el
im
489
in
ar
im
a, b, c R, a 6 b e 0 6 c ac 6 bc
3. Compatibilidade com a multiplicao
el
a, b, c R, a 6 b e 0 > c ac > bc
Pr
s
o
1
Exemplo 1.13 Resolva a inequao x + 125 6 335.
5
Soluo:
Ve
r
1
Subtraindo 125 de ambos os lados da equao temos : x + 125
5
1
125 6 335 125 x 6 210
5
Multiplicando ambos os lados da equao por 5 temos:
x 6 1050
490
in
ar
Soluo:
Subtraindo 12 de ambos os lados da equao temos : 3x + 12
12 > 15 12 3x > 3
1
Multiplicando ambos os lados da equao por (o que reverte
3
o sinal de desigualdade) temos:
im
x < 1
s
o
Pr
el
Agora vamos analisar o caso em que a equao envolve um polinmio de maior grau. Para isso precisamos do seguinte resultado
sobre as razes de um polinmio:
Sejam x1 , x2 , . . . , xm as razes distintas de an xn + anaxn1 + +
a0 , podemos supor sem perda de generalidade que as razes esto
ordenadas de modo que
x1 < x2 < < xm .
Ve
r
Um fato importante, que no contexto atual no podemos demonstrar1 , que as expresses polinomiais s trocam de sinais nas razes,
ou seja, em cada um dos intervalos (, a1), (a1, a2 ), , (an1, an ), (an ,
temos que necessariamente p(x) > 0 ou p(x) < 0. Em particular, um
polinmio sem razes reais sempre positivo ou negativo.
491
(A.17)
ax2 + bx + c > 0
ax2 + bx + c > 0
(A.18)
in
ar
ax2 + bx + c < 0
s
o
Pr
el
im
Ve
r
492
Pr
el
bc
im
in
ar
bc
s
o
Ve
r
493
(x x2 )
(x x1 )(x x2 )
x1
x2
x1
x2
x2
im
x1
in
ar
(x x1 )
Ve
r
s
o
Pr
el
Exerccios
Ex. 1.12 Dado a > 0, para que valores de x, ax2 + bx + c > 0?
494
in
ar
im
el
(x 1)(x 5)3 (x 9)
Pr
Como as razes do ultimo polinmio so 1, 5 e 9, s temos que considerar os seguintes intervalos (, 1), (1, 5), (5, 9) e (9, ).
Vamos considerar cada um deles separadamente:
Caso (i): Se x (, 1) ento:
s
o
Ve
r
495
in
ar
Exerccios
c) x2 4 6 0
d) 2 x x2 > 0
e) x2 + 2x + 1 6 0
Pr
f) (2x + 3)2 6 4
el
b) x2 1 > 0
im
a) 6 + x x2 > 0
Ve
r
s
o
496
q)
r)
s)
t)
a.3.2
im
p)
el
o)
x+4
<3
2x
1
<3
x
1
2 < < 3
x
2x + 3
<1
3x + 1
4x 2
>2
x+4
4x 2
26
<3
x+4
5 < 2x + 7 6 13
Pr
n)
in
ar
Ve
r
s
o
Para lidarmos com inequaes envolvendo razes quadradas, precisamos poder elevar ao quadrado, o que, como vimos, pode gerar
falsas razes. A introduo de falsas razes um problema contornvel para equaes com um nmero finito de solues pois podemos
verificar quais dos valores encontrados so realmente razes do problema original. Porm no caso de inequaes a situao mais complicada pois genericamente as solues so intervalos, o que elimina
a possibilidade de verificar se introduzimos falsas razes.
Um modo de evitar a introduo de falsas razes garantindo que
ambas as expresses que sero elevadas ao quadrado so positivas.
497
im
in
ar
3 x.
el
Pr
Como ambos os lados so positivos, elevando ao quadrado e simplificando temos a seguinte desigualdade equivalente:
3 x.
s
o
2x 2 > 2
Ve
r
498
4x2 4x 8 > 0
Exemplo 1.19
2x
x + 6 > 0,
in
ar
im
2x > 0 x 6 2
el
s
o
Pr
9 2 x > x + 6
Ve
r
2 x > x + 6
que equivalente a:
x+3 >
2x
(A.19)
499
(x + 3)2 > 2 x
x2 + 7x + 7 > 0
im
in
ar
Note que 2 x > 0, assim temos que se x 3 deve ser necessariamente maior que zero, ou seja, x > 3 para que a equao anterior
possua soluo.
Se x > 3 ento ambos os lados da equao so positivos e podemos elevar ao quadrado e assim:
1
1
7
7
,
21
21 , .
2
2
2
2
el
e x ,
21
21 ,
2
2
2
2
s
o
Pr
Ve
r
1
1
7
7
Como
21 5. 791 3 e
21 1. 208 7
2
2
2
2
Fazendo a interseco dos intervalos acima, temos;
500
Sol = {x R|
7
1
21 < x 6 2
2
2
a.3.3
in
ar
im
x2 2x 1 < 0.
Pr
el
s
o
x (, 1 2) (1 + 2, ).
Ve
r
501
Exerccios
Ex. 1.15 Resolva as seguintes desigualdades
Ve
r
s
o
Pr
el
im
b) |x 2| x |x + 2| < 1.
1
5
c)
+
< 1.
2x 2+x
1
2x 5
<
.
d) 2
x 6x 7
x3
e) (x + 1) (3 x) (x 2)2 > 0.
2 x2
f)
< x.
1
1 3x 5 + x > 1.
g)
p
h)
4 1 x 2 x > 0.
x
> 0.
i)
4x2 3x 3
1x
1
j)
6 .
2
x
2x
1
5
k)
+
> 1.
2x 2+x
9
l)
> |x 2|.
|x 5| 3
in
ar
a) |x 2| |x + 2| > 2.
502
FRMULAS DA LGEBRA,
Pr
el
im
in
ar
DA GEOMETRIA E DA
TRIGONOMETRIA
a1/n =
Se a , 0 ento
(ab)n = an bn
am
an
Ve
rs
o
amn =
(am )n = am n
an =
1
an
a0 = 1
frmula de baskhara
A equao quadrtica
ax2 + bx + c = 0
a,0
b2 4ac
2a
503
am
in
ar
x2 y2 = (x + y)(x y)
im
el
x3 y3 = (x y)(x2 + xy + y2 )
Pr
frmula binomial
n
k
Ve
r
s
o
n!
k!(n k)!
!
n
X
n
(a + b)n =
ani bi
i
i=0
504
:=
reas e volumes
h
b
A = bh
b
A = bh
A=
el
A = r2
Pr
b2
+ b2 )h
s
o
1
2 (b1
im
b1
A=
in
ar
frmulas trigonomtricas
Ve
r
Frmulas de Peridiocidade
505
1
2
Frmulas de Reduo
cos(x) = cos(x)
tan(x) = tan(x)
im
in
ar
sen(x) = sen(x)
Pr
el
s
o
Ve
r
506
1
sen
= (1 cos )
2
2
2
1
= (1 + cos )
cos
2
2
Ve
r
s
o
Pr
el
im
in
ar
507
Ve
r
s
o
Pr
el
im
in
ar
in
ar
Ve
r
s
o
Pr
el
im
Respostas de Alguns
Exerccios
509
Ve
r
s
o
Pr
el
im
in
ar
in
ar
im
el
qualquer nmero real menor igual a 1. b.)Exemplos: letra a. Contraexemplos: letras b,n
Pr
s
o
1.16 a.)Para todo nmero real x existe um y tal que x < y. Ou seja,
Ve
r
para qualquer nmero real x existe um nmero real y que maior que
x. Afirmao Universal. Contra-exemplos: no possui. Um contra-exemplo
seria um nmero real x para o qual no existisse um nmero real y tal
que x < y. b.)Existe um y tal que para todo x, x menor que y. Afirmao
particular. Afirmao falsa, pois para qualquer nmero real y, y + 1 no
menor que y.
511
in
ar
im
1.22 Dica: use a mesma estratgia que foi usada para provar que
2 irracional.
Pr
el
1.22 Dica: use a mesma estratgia que foi usada para provar que
no existem solues inteiras positivas para a equao x2 y2 = 1.
Note que se a, b Z e ab = 10 ento podemos assumir que a = 2
ou a = 2 e b = 5 ou b = 5.
s
o
Ve
r
Captulo 2
2.1 a.)Pelo argumento de vacuidade, a afirmao verdadeira. b.)O conjunto direita contm um nico elemento, que exatamente o conjunto
vazio. Logo, um elemento de {} e a afirmao verdadeira. c.)Como
visto no item anterior, o conjunto direita contm um elemento, logo no
pode ser vazio. A igualdade falsa.
512
s
o
Pr
el
im
in
ar
logo x A.
Demonstrao que A A A: se x A ento x A e x A logo
x A A.
d.)Se x A ento x A ou x B, logo x A B.
g.)Demonstrao que A : se x A , ento x A e x logo
x .
Demonstrao que A : se x , ento por vacuidade temos que
x A e x . Logo x A .
h.)Demonstraremos apenas uma das contenes, que A (A B) A:
se x A (A B) ento x A ou x A B. Dois casos: ou x A ou
x A B, no segundo caso temos ento x A e x B e logo x A. Em
ambos os casos x A.
k.)Demonstraremos apenas uma das contenes, que (A) (B)
(A B). Se C (A) (B) ento C (A) e C (B) e pela definio
de conjunto potncia, C A e C B, logo se c C temos que c A e
c B, ou seja c A B, ou seja C A B, e logo C (A B).
Ve
r
se x B ento x C.
d.)Demonstraremos primeiramente que se A B ento A B = B.
Nesse caso provaremos que se A B ento A B B e que se A B
ento B A B.
513
in
ar
Captulo 3
3.4 b.)Comecemos com verificar a condio PIF 1.
P(1) =1 = 12
el
im
Pr
1 + 3 + 5 + + (2k 1) = k2
s
o
1 + 3 + 5 + + (2k 1) + (2(k + 1) 1)
= k2 + 2k + 1
Ve
r
= (k + 1)2
514
(B.1)
P(1) = 3 = 3
(B.2)
in
ar
verdadeira
im
el
= 2(2k+1) 1
= (2k+2) 1
s
o
Pr
Ve
r
verdadeira
515
in
ar
im
Usando a hiptese de induo, queremos demonstrar P(k + 1), reescrevendo P(k + 1) e usando a hiptese indutiva temos:
1 + 2 + 22 + 23 + + 2k + 2k + 1 = 2k+1 1 + 2k+1
el
= 2(2k+1 ) 1
= (2k+2 ) 1
Pr
s
o
P(2) = 1 + 2x + x2 > 1 + 2x
Ve
r
516
(1 + x)k > 1 + kx
in
ar
im
P(1) =
Pr
el
s
o
1
1
1
k
+
++
=
12 23
k(k + 1)
k+1
Ve
r
1
k+1
k
+
=
k + 1 (k + 1)(k + 2)
k+2
517
in
ar
22n 1 = 3m
Comecemos com verificar a condio PIF 1.
P(1) = 22.1 1 = 3 1
22k 1 = 3.m
el
im
Pr
22k = 3.m + 1
Agora vamos demonstrar a implicao P(k) P(k + 1). Reescrevendo P(k + 1) e usando a hiptese indutiva temos:
Ve
r
s
o
22 (k + 1) 1 = 22k+2 1
= 4.22k 1
(B.4)
= 4.(3m + 1) 1
(B.5)
= 12m + 4 1
(B.6)
= 3(4m + 1)
(B.7)
518
(B.3)
(B.8)
in
ar
a + 0 = a
el
Considere ento 0 + 0
Como 0 = 0 + 0 = 0
Temos um absurdo.
im
a + 0 = a a
s
o
Pr
Ve
r
519
in
ar
Por outro lado como c 6 d temos por A11 que b + c 6 b + d logo por
transitividade temos:
a+c 6 b+d
Pr
a2 < ab
el
im
s
o
ab < b2
Captulo 5
Ve
r
520
10!
= 151200 palavras
3!2!2!
5.7 6 6 = 36
5.8 6 5 = 30
in
ar
5.9 243
5.11 4536; 2296
5.28 4/9
Pr
5.26 5/18
el
5.25 5/12
im
s
o
Captulo 7
f(x+h)f(x)
= x+hx
=1
h
h
2
2
f(x) = 5(x) + 1 = 5x + 1
Ve
r
7.4 b.)
521
|x|3
3
2
2 1
in
ar
1
2
d.)
sen |x|
6
sen x
2
2
Pr
7.7 a.)
2f(x)
8
6
s
o
4
2
Ve
r
b.)
522
el
im
x3
f(x)
8
10
4
2
10
in
ar
f(x)
im
j.)
g(x)
7.8 a.)
3.0
el
1
2 (g(x) + 1
10
Pr
|2x| + 1
2.5
s
o
|2x|
2.0
1.5
1.0
Ve
r
0.5
b.)
523
x4
3
in
ar
Pr
s
o
j.)
Ve
r
m.)
524
el
(x + 3)4 1 1
im
e.)
in
ar
4
6
8
r.)
im
10
el
Pr
u.)
s
o
6
4
2
Ve
r
10
7.10 d.)
525
20
10
10
20
s
o
Pr
el
im
l.)
in
ar
Captulo 8
Ve
r
526
in
ar
8.9 a.){n N | n > 10} b.){n N | n > 999} c.){n N | n par} d.){n
N | n > 1000}
im
8.11 a.)m = 2 (na realidade m pode ser qualquer natural maior igual 2.
b.)m = 102 3 + 1 c.)m = 40003 d.)m = 24
1
12e2
e2
+ 1 d.)m =
el
+ 1 b.)m = 1+
+ 1 c.)m =
p
1 e.)No existe m f.)m = (9 + 9e)/e + 1
8.12 a.)m =
16e+9e2
18e+27e2
Pr
8.13 a.){n N | n > 100} b.){n N | n > 100} c.){n N | n > 4000000}
d.){n N | n impar e n > 10( 20)} e.){n N | n par e n > 5}
s
o
8.15 a.)m =
1
2
99 +
Ve
r
1) 2. Use esse fato para simplificar o limite. d.) 23 . e.)0 f.) 5 g.) 94 j.) 23 .
Dica: limite fundamental. k.) 73 l.)1. Dica: limite fundamental. m.)0. Dica:
Multiplique e divida pelo conjugado. n.)6 o.) 14 p.) 14
527
in
ar
Captulo 9
9.9 a.)5 b.)5/4 c.)5/3 d.)2
9.10 d.)/4
im
Apndice A
1.2 a.)9a2 + 12ab + 4b2 b.)27a3 + 54a2 b + 36ab2 + 8b3 c.)27a3 54a2 b +
1.3 a2 +
1
= b2 2
a2
el
Pr
s
o
5x2 35 x
x2 + x 2 = x 1 x + 2
Ve
r
b.)
7
3x + 2
7
7
3x 9
11
9
x2 + x
2x 2
2x + 2
528
x2
x2 + ax
a2 = x a x + a
in
ar
ax a2
ax + a2
0
x4 + 4x3
4x3
4x3 + 16x2
16x2
16x2 + 64x
el
64x 256
64x + 256
im
256 = x 4 x3 + 4x2 + 16x + 64
x4
s
o
Pr
Ve
r
d.)
529
x4
e.)
x4 + ax3
in
ar
ax3
ax3 + a2 x2
a2 x2
a2 x2 + a3 x
0
x5
f.)
im
a3 x a4
a3 x + a4
2 = x 1 x4 + x3 + 2x2 + 2x + 2
+ x3
x5 + x4
el
x4 + x3
x4 + x3
Pr
2x3
2x3 + 2x2
2x2
2x2 + 2x
s
o
2x 2
2x + 2
0
Ve
r
1.6 k = 12
1.7 a.)
530
4xy
x 2 y2
pq
h + 2x
1
b.)
f.)
c.) 2
d.)
2
5
2
5/2
5x y
x (h + x)
a + b
p+q
3(2 + x)
3
1
3
3
1
e.){5, 5} f.){
3 + 13 }
, 1, 1,
} g.){ } h.){1, 2 3 13 ,
2
2
2
2
2
2 3
i.){ , }
3 4
1
3
in
ar
1.10 a.){
1
43 + 3 269
22
3
1
ou x > 1 k.) < x < 2 ou
2
2
1
x > 3 l.)x < 1 ou < x 6 0 m.)x < (1/2) ou 3/2 < x < 5 n.)x < 0
2
ou x > 4/5 o.)x < 0 ou x > 1/3 p.)x < (1/2) ou x > 1/3 q.)x < (1/3)
ou x > 2
3 ou x > /2 j.)x <
Ve
r
s
o
Pr
el
im
531
in
ar
Paradoxo de Russell
Ve
r
s
o
Pr
el
im
532
in
ar
Problema do Circuito
Ve
r
s
o
Pr
el
im
533
in
ar
im
Monty Hall
Ve
r
s
o
Pr
el
A soluo errada
A resposta intuitiva ao problema que quando o apresentador revela uma das portas no premiadas, o convidado teria frente um
novo dilema com duas portas e um prmio e, portanto a probabilidade de que o prmio esteja atrs de cada porta 1/2. Desta forma ao
abrir uma das portas, o apresentador teria favorecido o convidado,
j que a probabilidade de escolher a porta com o carro aumentou de
1/3 para 1/2. Porm seria irrelevante realizar a troca de portas, pois
ambas as portas teriam as mesmas chances de possurem o prmio.
A soluo correta
Contrariando a intuio, no problema de Monty Hall vantajoso
realizar a troca de portas. Na verdade duas vezes mais provvel
ganhar o prmio ao se optar pela troca de portas.
Para analisarmos as possibilidades, denotaremos a porta ganhadora por A e as portas restantes por B e C. Logo temos trs casos:
534
im
in
ar
Ve
r
s
o
Pr
el
Cada uma das trs opes acima tem probabilidade 1/3 de ocorrer,
pois o convidado escolhe aleatoriamente uma das trs portas. Em
dois dos casos anteriores, o candidato ganha o carro se ele mudar
de porta, em apenas uma das opes que ele ganha se no trocar
portas. Logo se ele mudar de porta ele ganha o carro em 2 (o nmero
de resultados favorveis) das 3 opes possveis (nmero total de
possibilidades). Assim, a probabilidade de ganhar o carro mudando
de portas 2/3, e desta forma a estratgia a ser adotada no problema
de Monty Hall sempre mudar de portas.
535
Ve
r
s
o
Pr
el
im
in
ar
in
ar
NDICE REMISSIVO
base, 82
bi-implicao, 24
bicondicional, 24
bijetora, 191
s
o
coeficiente
principal, 459
combinao, 158
complementar, 66
condio suficiente, 23
condio necessria, 23
condicional, 19
conjuno, 12
conjunto, 49
Ve
r
im
Pr
arranjo, 149
axioma de completude, 102
complementar, 66
das partes, 59
disjuntos, 61
interseco, 61
potncia, 59
unio, 60
vazio, 57
conjunto soluo, 474, 488
conjunto verdade, 4
conjuntos
iguais, 55
contnua, 413, 414
contido, 54
contradomnio, 184
contraexemplos, 8
contrapositiva, 22
el
-vizinhana , 302
e, 311
mpar, 36
nfimo, 105
diagramas de Venn-Euler, 69
diferena, 65
diferena simtrica, 68
disjuno, 12
537
fatorao, 462
fatorial, 354
funo, 183
bijetora, 191
contnua, 413, 414
exponencial, 311
injetora, 189
limite, 392, 435
sobrejetora, 190
im
grau
polinmio, 459
hiptese, 19
Ve
r
s
o
Pr
el
elemento, 49
equao, 474
linear, 476
quadrtica, 477
equaes
lineares com coeficientes unitrios, 163
equivalentes, 475
espao
amostral, 166
de probabilidade, 169
evento, 166
eventos
elementares, 166
independentes, 174
Exemplos, 8
existe, 5
existe e nico, 6
expoente, 82
exponencial, 311
in
ar
disjuntos, 61
divide, 36
domnio
de uma funo, 184
de discurso, 4
domnio de uma equao, 474
538
imagem, 185
implicao, 19
incgnita, 474
indeterminao, 406, 443
injetora, 189
inteiros, 79
interseco, 61
inversa, 22
irracional, 36
limitado
superiormente, 104
limitado inferiormente, 104
limite, 364
s
o
in
ar
Pr
nmero
impar, 36
irracional, 36
par, 36
racional, 36
nmero e, 311
no-crescente, 280, 281
naturais, 79
negao, 13
el
majorante, 104
minorante, 104
pertence, 49
polinmio, 459
diviso, 464
grau, 459
multiplicao, 460
soma, 460
potncia, 82
premissa, 19
princpio
de induo finita, 84
da recurso, 358
de induo finita, 89
fundamental da contagem,
141
multiplicativo, 141
probabilidade, 170
produtrio, 357
produto cartesiano, 70
produtos
notveis, 461
proposio, 2
contrapositiva, 22
inversa, 22
particular, 6
recproca, 22
universal, 6
im
Ve
r
par, 36
para todo, 4
paradoxo
de Russell, 52
permutao, 152
539
s
o
im
el
Pr
racionais, 79
racional, 36
reais, 95
axiomas, 96
completude, 102
reta, 117
recproca, 22
recurso
veja recurso 358
relao, 181
representao
decimal, 113
reta
real, 117
Ve
r
srie, 363
geomtrica, 365
telescpica, 368
sries, 362
convergncia, 364
se e somente se, 24
sequncia, 269, 277
divergente, 302
convergente, 302
540
crescente, 280
decrescente, 280, 281
limitada, 284
limitadas inferiormente, 284
limitadas superiormente, 284
limite, 293, 301, 302
no-decrescente, 280, 281
termos de uma, 269
sequncias
recursivas, 354
limite, 364
limites, 313
recursivas, 275
sobrejetora, 190
soluo, 488
somas parciais, 363
somatrio, 356
subconjunto, 54
prprio, 57
superconjunto, 54
supremo, 105
in
ar
quantificador
existencial, 5
universal, 4
teorema
binomial, 88
do confronto, 320, 337
Teorema do valor Intermedirio, 423
tese, 19
in
ar
unio, 60
disjunta, 61
universo do discurso, 4
Ve
r
s
o
Pr
el
im
varivel
aparente, 6
livre, 6
541