Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Clculo
Carmem Suzane Comitre Gimenez
Rubens Starke
2a Edio
Florianpolis, 2010
Governo Federal
Presidncia da Repblica
Ministrio de Educao
Secretaria de Ensino a Distncia
Universidade Aberta do Brasil
Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Design Instrucional
Coordenao: Juliana Machado
Design Instrucional: Elenira Oliveira Vilela
Reviso do Design Instrucional: Dyan Carlo Pamplona
Reviso Gramatical: Jane Maria Viana Cardoso
Ficha Catalogrfica
G491i
1. Clculo. I. Starke, Rubens. II Ttulo.
Elaborada pela Bibliotecria Eleonora M. F. Vieira CRB 14/786
CDU 519.6
Sumrio
Apresentao.............................................................................. 9
1. Linguagem de conjuntos.................................................... 11
Introduo.......................................................................................... 13
1.1 Conjuntos e elementos................................................................ 13
1.2 Representao de conjuntos....................................................... 15
1.3 Incluso subconjuntos............................................................. 17
Propriedades da incluso........................................................... 18
1.4 Cardinalidade de um conjunto................................................. 20
1.5 Conjunto das partes de um conjunto....................................... 21
1.6 Operaes entre conjuntos......................................................... 23
1.6.1 Unio..................................................................................... 23
1.6.2 Propriedades da unio....................................................... 24
1.6.3 Interseco........................................................................... 25
1.6.4 Propriedades da interseco.............................................. 26
1.6.5 Diferena.............................................................................. 27
1.7 Complementar de um conjunto................................................. 31
Propriedades da complementao............................................ 32
1.8 Produto cartesiano...................................................................... 34
1.8.1 Representao grfica do produto cartesiano................. 36
1.8.2 Igualdade de pares ordenados.......................................... 36
1.8.3 Propriedades do produto cartesiano................................ 37
Resumo............................................................................................... 40
Bibliografia comentada..................................................................... 40
2. Nmeros reais...................................................................... 41
Introduo.......................................................................................... 43
2.1 O conjunto R dos nmeros reais:
racionais e irracionais................................................................. 44
2.2 Operaes e propriedades no conjunto R:
a estrutura de corpo................................................................... 50
2.3 Operaes com nmeros irracionais........................................ 55
2.4 Relao de ordem em R.............................................................. 58
2.4.1 Propriedades da relao de ordem................................... 62
2.4.2 Intervalos em ................................................................... 67
3. Relaes............................................................................... 119
Introduo........................................................................................ 121
3.1 Domnio, contradomnio e imagem de uma relao............ 124
3.2 Relao inversa.......................................................................... 124
3.3 Propriedades das relaes........................................................ 125
3.4 Relaes de equivalncia.......................................................... 129
3.5 Classes de equivalncia e conjunto quociente.......................131
Propriedades das classes de equivalncia...............................132
3.6 Relao de ordem.......................................................................137
Ordem total e ordem parcial.................................................... 139
3.7 Um exemplo especial: relaes no plano................................140
Resumo..............................................................................................146
4. Funes................................................................................ 147
Introduo.........................................................................................149
4.1 Exemplos de situaes que envolvem
a idia de funo....................................................................... 150
4.2 Igualdade de funes............................................................... 156
4.3 Grfico de uma funo............................................................. 158
4.4 Funes crescentes e funes decrescentes............................160
4.5 Funes injetoras........................................................................162
4.6 Funes sobrejetoras................................................................. 164
4.7 Funes bijetoras....................................................................... 165
4.8 Composio de funes.............................................................166
Propriedades da composio de funes................................168
4.9 Funo inversa............................................................................169
Propriedades da funo inversa...............................................174
Resumo............................................................................................. 177
Referncias............................................................................. 261
Apresentao
A disciplina Introduo ao Clculo trabalha basicamente dois
contedos essenciais a todo professor de matemtica: Nmeros
reais e Funes. Estes contedos esto presentes em todas as sries do Ensino Fundamental e do Ensino Mdio e constituem no
s uma base fundamental para a compreenso de outros contedos (como Clculo Diferencial e Integral), mas tambm da prpria Matemtica e de sua presena em nossas vidas.
Este texto teve origem em notas de aulas que produzimos quando da criao da disciplina MTM 5109 - Introduo ao Clculo,
para o Curso de Matemtica-Licenciatura em 1995, devido ausncia de um texto que tratasse de Nmeros Reais e Funes sem
o conceito de limite e sem o carter de reviso do Ensino Mdio.
Ao longo destes anos pudemos comprovar a importncia desta
disciplina para as disciplinas subseqentes de Clculo Diferencial e Integral e lgebra Linear. Por outro lado, os contedos aqui
estudados so o objeto de trabalho do futuro professor. Por este
motivo, acreditamos que estes contedos devem ser tratados com
a profundidade e o rigor necessrios a fim de possibilitar-lhe as
melhores escolhas de abordagem em nvel de Ensino Fundamental e Mdio.
No Captulo 1 tratamos da Linguagem de Conjuntos, que, como
o prprio ttulo diz, necessria para nos expressarmos formal
e corretamente em matemtica. No Captulo 2, Nmeros Reais,
abordamos o conjunto e seus subconjuntos (alguns foram estudados na disciplina de Fundamentos de Matemtica I), com uma
especial ateno para o conjunto dos nmeros irracionais. Os conceitos de supremo e nfimo so aqui introduzidos com o objetivo
de familiarizar o estudante com esta caracterstica especial do
conjunto .Tambm neste Captulo fazemos o estudo das equaes e inequaes que se resolvem por meio das propriedades de
nmeros reais.
No Captulo 3 tratamos das Relaes, um conceito essencial para
as prximas disciplinas e para a compreenso da idia de Funo,
que abordamos no Captulo 4. Neste Captulo fazemos um estudo
Captulo 1
Linguagem de conjuntos
Captulo 1
Linguagem de conjuntos
Neste captulo temos como objetivos estudar a linguagem de conjuntos e as operaes entre eles, desenvolvendo os instrumentos necessrios para que os estudantes
utilizem a linguagem de conjuntos como representao
de situaes e conceitos matemticos.
Introduo
No se desanime com a
sensao de estar aprendendo coisas que j estudou. O objetivo realmente
retomar conhecimentos j
estudados, aprofund-los
e torn-los mais precisos.
Sero trabalhados conhecimentos novos, assim voc
poder ampliar seu saber.
Voc se lembra do que um
conjunto? Se voc j professor, como voc introduz
este assunto? Discuta com
seus colegas, formas de se
introduzir este assunto e
como desenvolver a compreenso dos seus estudantes.
14
quando estamos pensando em alguns objetos situados coletivamente; podemos pensar num conjunto como uma coleo (ou classe) de
objetos, sem repetio e no ordenado. Os objetos de um conjunto
so chamados, em geral, de elementos ou membros do conjunto. A
maneira mais simples de especificar um conjunto consiste em listar
seus elementos entre chaves. Por exemplo: {1,3,5, 7,9} representa a
coleo dos nmeros naturais mpares menores do que 10 . Observe
que {3, 7,5,9,1} e {1,1,3,5,5,9, 7, 7} so o mesmo conjunto, uma vez
que o segundo conjunto apresenta elementos repetidos. No importa a ordem com que listamos os elementos, nem se repetimos um
elemento; tudo que importa : quais objetos so elementos do conjunto e quais no so. Em nosso exemplo, exatamente cinco objetos
so elementos do conjunto e nenhum outro objeto o .
Veja que usamos a palavra elemento para indicar que um objeto
est em uma coleo (conjunto). Simbolicamente, a pertinncia de
um elemento a um conjunto indicada pelo smbolo . Convenciona-se representar conjuntos com letras maisculas e seus elementos
com letras minsculas (no entanto, isto apenas uma conveno e
no uma regra geral). A notao x A (l-se: x pertence ao conjunto A ) significa que o objeto x elemento do conjunto A . Denotando por A o conjunto do exemplo anterior, A = {1,3,5, 7,9}, podemos escrever 3 A ou 7 A . Quando um objeto no pertence a um
conjunto usamos o smbolo ; ainda no exemplo, podemos escrever
2 A (l-se: 2 no pertence ao conjunto A ).
Observao 1. x A tambm se l como x membro de A ou
x elemento de A ou x est em A .
Observao 2. Os conjuntos numricos so representados por letras
especiais, como j foi estudado na disciplina de Fundamentos I:
15
16
17
18
Propriedades da incluso
A relao de incluso tem algumas propriedades que nos sero
teis:
i) Reflexiva: Todo conjunto subconjunto de si prprio, ou simbolicamente, A A para todo conjunto A (veja Observao 9).
ii) Anti-simtrica: Se A B e B A , ento A = B .
Esta propriedade constantemente usada nos raciocnios matemticos: quando se deseja mostrar que dois conjuntos so
iguais, mostra-se que duas incluses ocorrem. Na verdade esta
propriedade contm, nela embutida, a condio de igualdade
entre conjuntos: os conjuntos A e B so iguais se e somente se
tm exatamente os mesmos elementos. Simbolicamente,
A = B se e somente se A B e B A .
Em outras palavras, A = B se e somente se todo elemento de
A elemento de B e todo elemento de B elemento de A .
Assim, para mostrarmos que dois conjuntos A e B so iguais
basta mostrar que x A x B .
iii) Transitiva: Para A, B e C conjuntos, se A B e B C , ento A C.
Observemos que se x elemento de A , ento ser elemento de
B e, como B C , x ser tambm elemento de C . Assim, todo
elemento de A ser elemento de C , ou seja, A C .
19
Silogismo
Leia a discusso sobre silogismo nos sites indicados
abaixo.
http://www.simpozio.
ufsc.br/Port/1-enc/ymicro/SaberFil/PeqLogi
ca/2211y025,2.html
http://www.paralere
pensar.com.br/
silogismos.htm
Consulte tambm seu material de Problemas Sistematizao e Representao.
Esta propriedade a base do raciocnio dedutivo, sob a forma que classicamente se chama de silogismo. Um exemplo de
silogismo o seguinte: todo ser humano um animal, todo
animal um ser mortal, logo todo ser humano mortal. Na
linguagem de conjuntos: A , B e C so respectivamente o conjunto dos seres humanos, dos animais e dos mortais. Temos
A B e B C , logo A C .
Exerccios propostos
1) Listar entre chaves os elementos dos conjuntos:
A = {x / x 2 5 x + 6 0}
B = {x / x letra da palavra abracadabra}
C = {x / x 2 9 = 0 ou 2 x 1 = 9}
D = {x / 3 x + 1 = 9 e 2x 2 = x = 1 = 0}
E = {x / x algarismo do nmero 234543}
2) Representar os conjuntos:
a) Dos nmeros naturais mltiplos de 5 .
b) Dos nmeros naturais divisores de 50 .
c) Dos nmeros naturais maiores estritamente do que 5 e menores estritamente do que 30 e que sejam divisveis por 3 .
d) Dos nmeros inteiros x que satisfazem a igualdade
x2 2 x + 1 = 0 .
3) Em cada caso, verifique se A est contido em B :
A = {x / n = 4 p, p }; B = {x / n = 4k , k }
4) Determinar todos os possveis conjuntos X que satisfazem simultaneamente as condies X {1, 2,3, 4,5} e {1, 2} X .
5) Dados os conjuntos A = {a, b, c, d } e B = {b, d , e}, listar os conjuntos Y tais que Y A e Y B .
20
1
2
3
4
5
Correspondncia Biunvoca
Procedimento que domina
toda a matemtica(...). Esta
consiste em atribuir a cada
objeto de um conjunto um
objeto de outro, e continuar
assim at que um ou ambos
os conjuntos se esgotem(...).
A correspondncia biunvoca
resume-se numa operao
de fazer corresponder.
(Fonte: http://www.somate
matica.com.br/numeros .
php).
No decorrer do curso
vamos mostrar que
existem diferenas entre
cardinalidades infinitas,
isto , existem estudos,
iniciados pelo matemtico
Georg Cantor (1845-1918),
que mostram que conjuntos
com infinitos elementos
possuem cardinalidades
diferentes. Este um
assunto interessante, que
mexe com nossas crenas
e intuies. Procure
notcias sobre isso!
21
Observao 10. Evite dizer nmero infinito de elementos. Se nmero, finito. Se um conjunto infinito, podemos dizer que ele possui uma infinidade de elementos.
Observao 11. A cardinalidade do conjunto vazio zero.
22
23
Exerccios propostos
7) Determine P ( A) para:
a) A = {x / x 2 = 1}
b) A = {3,{2,5}}
c) A = {,{0},{1}}
8) Quantos so os subconjuntos de K = {1, 2,3, 4,5, 6, 7} que possuem trs elementos?
1.6.1 Unio
Definio: Dados os conjuntos A e B , a unio (ou reunio) de A e
B o conjunto dos elementos que pertencem a A ou pertencem a B.
A notao para este conjunto A B (l-se A unio B ).
Exemplos:
1) Para A = {1, 2, 7, 4} e B = {2, 4,9, 6, 43} temos
A B = {1, 2, 4, 6, 7,9, 43}.
2) Para A = {x / 3 x < 10}e B = {x / 0 x < 19}, temos
A B = {x / 3 x < 19}.
24
Tarefa de pesquisa
Por que estes diagramas tm o nome Euler-Venn?
25
2) Propriedade Comutativa: A B = B A
Assim como a adio de nmeros reais, a ordem dos conjuntos
no altera a unio.
3) Elemento neutro: A = A
O est aqui fazendo o papel que o zero faz na adio: como
no tem elementos, sua unio com qualquer conjunto A
resulta no prprio A .
4) A A B
Decorre diretamente da definio: os elementos de A so tambm elementos da unio, uma vez que esto em A .
5) A B = B se e somente se A B .
Prova: Inicialmente tomamos como hiptese A B = B e devemos
mostrar que A B .
De fato, seja x A ; pela propriedade anterior (propriedade 4), temos
que x A B e como, por hiptese, temos A B = B podemos
concluir que x B . Logo, A B .
Reciprocamente, tomamos A B como hiptese e devemos mostrar que A B = B , ou seja, que (i) A B B e tambm que (ii)
B A B (propriedade anti-simtrica da incluso). Como (ii) j
ocorre pela propriedade 4, basta provar (i).
De fato: (i) seja x A B ; ento x A ou x B . Como por hiptese A B , podemos concluir que x B . Logo, A B B e teremos
A B = B .
1.6.3 Interseco
Definio: Dados os conjuntos A e B , a interseco de A com B
o conjunto dos elementos que pertencem a A e tambm a B . A
notao para este conjunto A B (l-se A interseco B ).
Exemplos:
1) Para A = {10, 20, 25,30} e B = {2,5,10,15, 20}, A B = {10, 20}.
26
27
8) A =
Para um elemento x pertencer ao conjunto A , ele deve pertencer simultaneamente a A e ao . Como o conjunto vazio
no tem elementos, tambm no haver elementos em A .
9) A B = A se e somente se A B .
Deixamos a prova desta propriedade como exerccio (veja propriedade 4).
10) A B A
Se x A B , ento x elemento de A e tambm de B . Isto
garante a incluso de A B em A (e tambm em B ).
11) Sejam A , B e C conjuntos. Ento
i) A ( B C ) = ( A B ) ( A C )
ii) A ( B C ) = ( A B ) ( A C )
Para provar esta propriedade utilizamos a igualdade de conjuntos
(propriedade anti-simtrica da incluso) e as definies de unio e
interseco. Deixamos como exerccio.
1.6.5 Diferena
Definio: Dados os conjuntos A e B , a diferena de A e B o
conjunto dos elementos de A que no pertencem a B . A notao
para este conjunto A B e podemos escrever:
A B = {x / x A e x B}.
Exemplos:
1) A = {1,3,5, 7,9,11}e B = {1,5,11}, A B = {3, 7,9}.
2) e B = {2n / n }, B = {2n + 1/ n }.
3) o conjunto dos nmeros reais que no so racionais,
ou seja, o conjunto dos nmeros irracionais.
28
Observao 18. Note que os conjuntos A B e B A no so necessariamente iguais, assim como tambm no comutativa a
operao subtrao de nmeros reais. Em nosso primeiro exemplo
A B = {3, 7,9} e B A = .
Tarefa
possvel encontrar conjuntos A e B de modo que se tenha
A B = B A?
Exerccios propostos
9) Determinar os conjuntos:
37
29
B = x * /
= n, com n ,
x
30
uma infinidade de conjuntos; para uma famlia de conjuntos Ai com i J , onde J um conjunto infinito de ndices, a
unio dos conjuntos Ai denotada por
A . Assim,
iJ
x Ai
iJ
23) Dados os conjuntos A e B , desenhe os diagramas de VennEuler dos conjuntos, considerando os casos (i) A e B disjuntos; (ii) A B ; (iii) A B ; (iv) B A :
a) A B
b) A ( A B )
c) A ( A B )
d) B ( A B )
31
24) Considere os conjuntos A = {0,1,3,5, 7} e B = {2, 4,5,8}.
Determine:
a) A B
b) ( A B) ( B A)
c) ( A B) ( B A)
32
Propriedades da complementao
Para A e B subconjuntos de um conjunto U , temos as seguintes
propriedades (continuaremos a numerao a partir das propriedades da interseco):
12) ( Ac )c = A
Sabemos da Obs. 19 que x ( Ac )c se e somente se x Ac . Mas
x Ac se e somente se x A . Logo, a igualdade verdadeira.
13) A B = A B c
Lembrando a definio de interseco e da diferena, note
que:
A B c = {x / x A e x B c } = {x / x A e x B} = A B
14) (i) ( A B )c = Ac B c
(ii) ( A B )c = Ac B c
Estes resultados so conhecidos como Leis de De Morgan, devido ao seu autor (tarefa: pesquise quem foi De Morgan). Vamos
demonstrar (i) (para lembrar como demonstrar a igualdade de
conjuntos veja Propriedade Anti-simtrica da Incluso):
x ( A B )c x A B x A ou
x B x Ac ou x B c x ( Ac B c )
Deixamos a demonstrao de (ii) como exerccio.
c
c
15) A B se e somente se B A .
33
Exerccios propostos
25) Desenhe o diagrama de Venn-Euler do complementar de
A em relao a um conjunto universo U .
26) Considere subconjuntos A e B de um conjunto U ; definimos a diferena simtrica de A e B e anotamos A B como sendo o conjunto A B = ( A B) ( B A) . Usando esta definio:
a) Faa o diagrama de Venn-Euler de A B .
b) Calcule {a, b, c, d }{c, d , e, f }considerando U o conjunto
das letras do alfabeto portugus.
c) Prove que A A = para todo conjunto A .
d) Prove que A = A para todo conjunto A .
e) Prove que A B = ( A B ) ( A B ) .
27) Dados os conjuntos A = {1, 2,3, 4}, B = {2, 4, 6,8}, C = {3, 4,5, 6}
num universo U = {x / 0 < x < 10}, calcule:
a) ( A B)c
b) ( A C )c
c) ( A B )c
d) ( BC )c
28) Prove que A B se e somente se A B = .
29) Determine os elementos dos conjuntos A e B , subconjuntos de U , sabendo que A B = {1, 2,3, 4,5}, Ac = {2,3,5, 7}, B c = {1, 4, 7} e U
A B = {1, 2,3, 4,5}, Ac = {2,3,5, 7}, B c = {1, 4, 7} e U = {x /0 < x 8}.
30) Considere os conjuntos A = {x / x = 6n + 3, n } e
B = {x / x = 3n, n }. Determine:
a) A B
b) A B
c) B A
34
35
Mais exemplos:
1) A = {n} e B = {13,17,19, 23, 29},
2) A = {a, b, c} e B = {2n / n },
A B = {(x, 2n ) / x = a, x = b ou x = c e n }
L = {(1, 0 ), (1,1), (1, 2 ), (1,3), (1, 4 ), (1,5 ), (1, 6 ), (2, 0 ), (2, 2 ), (2, 4 ), (2, 6 ), (3, 0 ), (3,3), (3
1, 2 ), (1,3), (1, 4 ), (1,5 ), (1, 6 ), (2, 0 ), (2, 2 ), (2, 4 ), (2, 6 ), (3, 0 ), (3,3), (3, 6 ), (4, 0 ), (4, 4 ), (5, 0 ), (5,5), (6, 0 ), (6, 6 )}
Para escrever o conjunto, tomamos todas as possibilidades para a
segunda coordenada b , ou seja, 0,1, 2,3, 4,5, 6 e para a primeira coordenada tomamos os possveis divisores desses nmeros.
Subconjuntos de produtos cartesianos sero estudados na unidade
Relaes.
36
AB
Figura 1.3
37
(A B) (A C)
B
AC
AB
A
38
Exerccios
32) Dados A = {3, 4,5} e B = {1, 2,3, 4} escreva os conjuntos:
a) A B
b) B A
c) ( A A) ( B B )
d) ( A B ) ( B A)
e) ( A B ) ( B A)
f) ( A A) ( B B )
33) Se A tem dois elementos e B tem seis elementos, quantos
elementos tem A B ? Voc pode generalizar?
34) Determine x e y de modo que sejam iguais os pares ordenados:
a) (2 x 1,5) e ( x, y + 1)
b) ( x + y,1) e (3, x y )
c) ( y 2, 2 x + 1) e ( x 1, y + 2)
35) Da mesma forma como foi feito para a unio e interseco de
conjuntos, o produto cartesiano pode ser estendido a mais de
dois conjuntos. Para trs conjuntos temos:
A B C = {(a, b, c) / a A, b B e c C}
O conjunto A B C o conjunto das ternas ordenadas (a, b, c )
com a A , b B e c C . Um exemplo de conjunto desta natureza o espao tridimensional , onde cada coordenada representa uma dimenso: comprimento, largura e altura.
Tambm podemos definir para uma famlia de n conjuntos
A1 , A2 , A3 ,..., An :
39
Tarefa de pesquisa
1) Voc j sabe que produtos cartesianos so teis para descrever
posies de objetos. Em geografia voc aprendeu que a localizao de pontos na Terra feita atravs de duas coordenadas:
latitude e longitude. Produza um texto explicando detalhadamente o que latitude e o que longitude. D as coordenadas
de sua cidade natal e de mais quatro cidades de sua escolha.
2) A localizao de estrelas tambm feita atravs de coordenadas. Produza um texto explicando detalhadamente um sistema de coordenadas estelares (existe mais de um!). Voc vai encontrar este tema em livros de introduo astronomia e em
sites da internet.
40
Resumo
Neste captulo voc estudou Conjuntos, a linguagem universal da
Matemtica. Os tpicos trabalhados foram:
1) Conjuntos e elementos: relao de pertinncia e representao
de conjuntos.
2) Incluso Subconjuntos: propriedades da incluso e subconjuntos especiais do conjunto .
3) Cardinalidade de um conjunto: nmero de elementos de um
conjunto.
4) Conjunto das partes de um conjunto: conjunto formado por
todos os seus subconjuntos.
5) Operaes entre conjuntos: Unio, Interseco, Diferena e
propriedades dessas operaes.
6) Complementar de um conjunto: relao com a incluso e propriedades.
7) Produto cartesiano de conjuntos: representao, igualdade de
pares ordenados, propriedades.
Bibliografia comentada
LIMA, E. L.; CARVALHO, P. C. P.; MORGADO, A. C. A matemtica
do ensino mdio. Rio de Janeiro: SBM, 1996. (Coleo do Professor de
Matemtica)
O primeiro captulo do livro trata de Conjuntos, com comentrios sobre
lgica e recomendaes ao professor, alm de exerccios.
Captulo 2
Nmeros reais
Captulo 2
Nmeros reais
Estudaremos o conjunto dos nmeros reais () , suas
operaes e propriedades, e sua relao de ordem. As
propriedades das operaes e da relao de ordem sero
utilizadas para o estudo das equaes e inequaes. Alm
disso, estudaremos as primeiras noes de supremo e nfimo, caractersticas especiais de subconjuntos de .
Introduo
No estudo do conjunto dos nmeros reais continuamos uma
caminhada que comeou na disciplina de Fundamentos de Matemtica I com os conjuntos , e . Os conjuntos numricos
esto presentes em todos os contedos do Ensino Fundamental
e do Ensino Mdio: nas primeiras sries do Ensino Fundamental so estudadas as operaes em e + ; nas sries iniciais
do segundo ciclo do Ensino Fundamental introduz-se e - e
em seguida . A partir da as ferramentas de trabalho so os
nmeros.
curioso observar como os alunos, de modo geral, classificam
os nmeros em grandes quando tm mais de dois algarismos;
no do certo quando so irracionais; uma frao suspeita!
Os preconceitos com determinadas classes de nmeros acabam
interferindo em outras reas, como Fsica e Qumica. Por este
motivo, o professor de matemtica tem a tarefa de conduzir seus
alunos no mundo dos nmeros sem restries e comentrios
que possam reforar ou criar os preconceitos. Para tanto, preciso que o professor tambm no os tenha! Um exemplo claro o
conjunto dos nmeros irracionais (cujo estudo iniciado na stima srie do Ensino Fundamental, quando aparecem os radicais),
pouco explorado no Ensino Fundamental e pouqussimo explorado no Ensino Mdio. No entanto, as representaes dos fenmenos naturais utilizam em geral nmeros irracionais; ao apresentar
44
45
infinita peridica pode ser representado tambm na forma fracionria. Alguns exemplos:
1) 1, 456 =
1456
1000
2) 2,343434... = 2 +
34 232
=
99 99
3) 0, 2454545... = 0, 2 + 0, 0454545... =
2 45 243
+
=
10 990 990
Tendo em conta que um nmero irracional aquele que no racional, ele pode ento ser caracterizado como aquele que possui
uma representao decimal infinita no-peridica, ou seja, os algarismos aps a vrgula no se apresentam como blocos repetidos,
sucedendo-se uma infinidade de casas decimais, como por exemplo, 0,1010010001000010000001... Os exemplos a seguir mostram
nmeros irracionais conhecidos em sua representao infinita noperidica:
4) p = 3,1415926535...
5) e = 2,7182818284...
6) 2 = 1, 4142135623...
Pergunta: se os nmeros irracionais possuem uma infinidade noperidica de casas decimais e no podemos saber todas elas, como
eles so utilizados na prtica? Por exemplo: o volume de uma lata de
leite condensado (cilndrica) V = A.h , em que A a rea da base e
h a altura; a rea da base pr 2 , sendo r o raio. Se r = 3,75cm e a
altura for de 8 cm (dimenses aproximadas da lata de leite condensado), o volume V dado por V = p (3, 75) 2 8 , que um nmero
irracional (apesar da lata ser um objeto de uso comum para medidas
nas receitas de pudim!). O que acontece nestes casos que so usadas aproximaes racionais para estas medidas. Voc deve lembrar
que na prtica muitas vezes o professor dizia para usar p como
3,14 . Esta uma aproximao racional para um nmero que possui
uma infinidade no-peridica de casas decimais: 3,14 no o nmero p , e o resultado da substituio de p por 3,14 apresentar
um erro. No entanto, este erro pode no ser significativo e a aproximao do resultado servir tambm aos nossos propsitos. Quanto
mais casas decimais considerarmos, menor ser o erro decorrente
46
Aproximao de p
V = p (3,75)2 8 cm3
3,14
353,25
3,1415
353,41
3,141592
353,4291
3,14159265
353,429173125
3,1415926535
353,429173519
J podemos nos sentir mais confortveis: usar uma aproximao racional ao invs de uma infinidade no-peridica de casas decimais pelo
menos nos permite fazer contas. Mas como encontrar as casas decimais
para poder usar aproximaes racionais? Em outras palavras: como determinar que 2 = 1, 4142135623... se no o resultado de uma diviso? Vale a mesma pergunta para p = 3,1415926535... : como estas casas decimais foram determinadas? Responder esta ltima pergunta
o primeiro exerccio do captulo 2; voc vai precisar pesquisar em
livros de Histria da Matemtica.
Atividade de pesquisa
1) D exemplos de quatro tipos de aproximaes de p feitas antes do sculo XX. Explique cada uma delas.
2:
47
3
, uma vez que
2
9
= 2, 25 .
4
3
Tomamos como ponto de partida a mdia aritmtica entre 1 e ,
2
3
que na reta significa o ponto mdio entre entre 1 e ; esta mdia
2
aritmtica ser nossa
1a aproximao:
3
2 = 5 = 1, 25
2
4
1+
25
5
3
5
= 1,56 < 2, conclumos que < 2 < .
Como =
4
2
4 16
Na reta:
1
5
4
2 3
2
5
= 1, 25 uma aproximao por falta, uma vez que menor do
4
que 2 .
Figura 2.1.1
48
2 . Alm disso, se uma destas aproximaes menor do que 2 , a
2
8 64 50
>
= 2 e conseqenteoutra dever ser maior. De fato, =
25 25
5
8
mente 2 < . Por este motivo que tomamos o ponto mdio entre
5
5 8
e para nossa segunda aproximao.
4 5
Na reta
1
5
4
2 3 8
25
80
57
80 6400 6498
<
= 2 , conclumos que
< 2<
Como =
.
57
40
57 3249 3249
Na reta
1
5 80 2 57
4 57
40
2.
5 57 6449
,
,
... que se aproximam cada vez mais
4 40 4560
49
Calculadora
1,41421356237...
Aproximaes
5
= 1, 25
4
0,16421356237
(erro na 1 casa decimal)
57
= 1, 425
40
0,01078643763
(erro na 2 casa decimal)
6449
= 1, 41425...
4560
0,00003643763
(erro na 5 casa decimal)
50
Exerccios propostos
1) Utilizando o procedimento anterior, encontre a 4 aproximao de 30 , comeando as aproximaes com 5 (1 aproximao). Comparando com o resultado da calculadora, em qual
casa decimal est o erro?
2) Encontre trs aproximaes racionais para 5 , escolhendo diferentes intervalos que contm 5 (1 aproximao). Compare os resultados.
3) Voc conhece um programa computacional que pode ser usado para calcular as aproximaes por racionais? Caso conhea,
d um exemplo. Caso desconhea, informe-se!
Axiomas
So afirmaes que admitimos verdadeiras, sem demonstrao. Este assunto j
foi discutido em outras disciplinas, voc se lembra?
51
(Associativa)
A2) x + y = y + x
(Comutativa)
(Associativa)
M2) x. y = y.x
(Comutativa)
-1
-1
M4) Se x 0 , existe x tal que x.x = 1
D) x.( y + z ) = x. y + x.z .
Por M2, tambm vale ( x + y ).z = x.z + y.z
(Distributiva)
Propriedades
da Adio
Propriedades da
Multiplicao
Dist.
Naturais ( )
A1, A2, A3
M1, M2, M3
Inteiros ( )
M1, M2, M3
Racionais ( )
Reais ( )
52
Podemos observar na tabela que, ao ampliarmos de para , ganhamos A4, ou seja, os opostos dos nmeros; de para ganhamos M4, ou seja, os inversos dos nmeros no- nulos. Mas de
para no ganhamos nada. Isto significa que e se comportam da mesma maneira em relao s operaes, isto , tm a mesma estrutura de corpo.
Das operaes de adio e multiplicao associadas aos axiomas A4
e M4, podemos definir em mais duas operaes (como j definido
em ), a subtrao e a diviso: x, y , a diferena x - y = x + (- y )
soma de x com o oposto de y ; o quociente para y 0 , x y = x. y -1 o
produto de x pelo inverso de y .
Assim como em , estas operaes no so comutativas nem associativas e no tm elemento neutro.
Propriedades
Decorrem dos axiomas as seguintes propriedades em :
P1) O zero nico.
Demonstrao. A estratgia para provar esta unicidade supor
que existam dois zeros e provar que so iguais. Suponhamos ento que existam dois elementos em satisfazendo A3 (fazendo o
papel de zero): 0 e 01 . Pela existncia do oposto teramos ento:
1 + (-1) = 0 e 1 + (-1) = 01 . Logo, 0 = 01 e o zero nico.
( y + x ) + y = ( y + x ) + z
0+ y = 0+ z
y = z
(Associativa, A1)
53
(Distributiva)
P8) x y = 0 x = 0 ou y = 0 , x, y
Demonstrao. Anloga demonstrao para os nmeros racionais; vamos faz-la novamente:
Hiptese. x y = 0
Tese. x = 0 ou y = 0
Como temos que provar uma afirmao com ou (no sentido de
alternativa), vamos supor que uma das alternativas no ocorra, ou
seja, vamos supor x 0 . Devemos mostrar ento que para y s resta a opo de ser 0 . De fato: por hiptese temos x. y = 0 e pela propriedade P7 temos que 0 = x.0 . Podemos ento escrever x. y = x.0 .
54
P9) -(- x) = x e ( x -1 ) -1 = x , x .
Demonstrao. Anloga demonstrao para os nmeros racionais.
P10) -( x + y ) = (- x) + (- y ), x, y .
Demonstrao. Anloga demonstrao para os nmeros inteiros.
P11) (- x). y = x.(- y ) = -( x. y ) , x, y .
Demonstrao. Anloga demonstrao para os nmeros inteiros.
Observao 6. Estas propriedades so utilizadas para a resoluo
de equaes em . Vejamos um exemplo, resolvendo a equao
x 2 - 3 x = 2 x e explicitando a propriedade ou axioma utilizado em
cada passo:
x 2 - 3x = 2 x
x 2 - 3 x + (-2 x ) = 2 x + (-2 x )
x 2 + (-3 x ) + (-2 x ) = 0
x 2 + (-3) x + (-2 ) x = 0
x 2 + (-3) + (-2 ) x = 0
x 2 + (-5 ) x = 0
(distributiva)
(P10, oposto da soma)
x x + (-5 ) = 0
(distributiva)
x = 0 ou x + (-5 ) = 0
x = 0 ou x + (-5 ) + 5 = 0 + 5
x = 0 ou x + 0 = 5
(A4, A3 e distributiva)
x = 0 ou x = 5
(A3)
55
3 2 = 6 -
56
Demonstrao.
a) Sejam r e - ; suponhamos que a soma r + seja um
nmero racional b .
r + = b = b + (-r ) = b - r
Como a diferena entre dois nmeros racionais um nmero racional, da ltima igualdade conclumos que . Isto contradiz nossa
hiptese de que - . Essa contradio surgiu da suposio de
que r + . Logo, r + - .
b) Faa como exerccio (utilizando o mesmo tipo de argumento usado em a).
c) Faa como exerccio.
Exerccios resolvidos
1) Prove que para todo nmero inteiro primo positivo p , tem se
que p um nmero irracional.
Resoluo. Como um nmero real racional ou irracional e este ou
a
exclusivo, vamos supor que p seja racional; ento p = ,
b
com a e b inteiros positivos e b 0 . Podemos tambm considerar
a
que
uma frao irredutvel, ou seja, mdc (a, b ) = 1 (lembre que
b
todo nmero racional pode ser expresso em sua forma irredutvel).
Na igualdade anterior, elevando ambos os membros ao quadrado, oba2
temos p = 2 e, multiplicando por b 2 , teremos p.b 2 = a 2
(I).
b
Note que esta ltima igualdade uma igualdade de nmeros inteiros
e dela podemos concluir que p um divisor de a 2 . Como p um
nmero primo e divisor do produto a.a , um teorema de divisibilidade
Teorema: sejam a, b e p
nmeros inteiros; se
p | (a b) e p primo,
ento p | a ou p | b . Para
mais detalhes, veja seu
material de Fundamentos I.
57
Exerccios propostos
4) Determine a soma, a diferena e o produto dos nmeros
a + b e a - b , com a e b nmeros reais positivos.
5) Se x um nmero irracional, mostre que o oposto - x e o inverso x -1 so tambm nmeros irracionais.
58
59
60
a < b se e somente se b - a + ;
a b se e somente se b - a + {0} .
Observao 12. Como a e b so nmeros reais quaisquer, fazendo
a = 0 no item (a) da definio 2, temos que 0 < b , se e somente se
b - 0 = b positivo. Analogamente, fazendo b = 0 , temos que a < 0 ,
se e somente se 0 - a = -a positivo, ou seja, a negativo.
Assim, um nmero real x positivo quando 0 < x (ou x > 0 ) e um
nmero real y negativo quando y < 0 (ou 0 > y ).
Observao 13. Dados dois nmeros reais a e b , como b - a tambm um nmero real, o axioma de ordem nos garante que exatamente uma das afirmaes ocorre:
b - a positivo, ou seja, a < b ;
b - a negativo, ou seja, -(b - a ) = a - b positivo e assim
b<a;
b - a = 0 , ou seja, a = b .
Observao 14. O axioma de ordem O2 nos garante que a soma e
o produto de dois nmeros positivos positivo, ou seja, se x +
e y + , ento x + y + e x y + . O que ocorre quando x e y
pertencem a + {0} ? Como + + {0} , basta considerar a possibilidade de um dos dois nmeros ser zero (ou ambos). Suponha
mos x = 0 e y + ; ento x + y = 0 + y = y + + {0} , ou seja,
x + y + {0} . Em relao ao produto, se um dos nmeros zero,
o produto ser zero e teremos: xy = 0 + {0} .
Concluso: como conseqncia do axioma de ordem O2, temos: se
x + {0} e y + {0} , ento x + y + {0} e xy + {0}
(lembramos novamente o que foi comentado em Fundamentos I: se
x < y , ento x y . Isto decorre da seguinte regra lgica: se A e B
so afirmaes, ento a afirmao A ( A ou B ) verdadeira).
Proposio 2. A relao satisfaz as seguintes condies:
a a , para todo nmero real a .
61
Observao 15. Veremos no captulo sobre Relaes que as trs condies da Proposio 2 caracterizam uma relao de ordem em um
conjunto. Assim, a Proposio 2 prova que a relao uma rela-
62
63
(Obs. 14)
(definio de subtrao)
(- z )( y - x) = (- z ). y + (- z )(- x)
(distributiva D)
(- z )( y - x) = zx + [-( zy )]
(- z )( y - x) = zx - zy
(- z )( y - x) = xz - yz + {0}
(P11 e A2)
(definio de subtrao)
(lembre de M2!), ou seja,
yz xz ).
PO5) x, y, z , x y , se e somente se x + z y + z .
Demonstrao. Este resultado conhecido como a compatibilidade da relao de ordem com a operao adio e j verdadeiro para o conjunto . Vamos fazer a demonstrao usando
equivalncias, observando que:
y - x = ( y - x) + z + (- z ) = y + (- x) + z + (- z ) =
= ( y + z ) + [-( x + z )] = ( y + z ) - ( x + z ) .
Assim, y - x + {0}, se e somente se ( y + z ) - ( x + z ) + {0},
ou seja, x y , se e somente se x + z y + z .
64
Tarefa
Identifique a propriedade utilizada em cada uma das quatro igualdades anteriores.
PO6) x, y, a, b , se x y e a b , ento x + a y + b .
O resultado nos diz que, dadas duas desigualdades, se somarmos respectivamente os seus membros, a desigualdade
se mantm.
Demonstrao.
Hip. x y e a b
Tese. x + a y + b
Por hiptese, temos que y - x + {0} e b - a + {0} .
Logo,
( y - x) + (b - a ) = y + (- x) + b + (-a ) =
= ( y + b) - ( x + a ) + {0} e assim x + a y + b .
PO7) x, y, a, b , se 0 x y e 0 a b , ento ax by .
Demonstrao. Deixamos a demonstrao como exerccio.
PO8) x y , se e somente se - y - x, x, y .
Demonstrao.
x y x + (- x) y + (- x) 0 y + (- x)
(- y ) + 0 (- y ) + y + (- x) - y - x .
PO9) x, y , tem-se:
a) 0 < x , se e somente se 0 < x -1
b) x < 0 , se e somente se x -1 < 0
c) 0 < x < 1 1 < x -1
d) 1 < x 0 < x -1 < 1
e) 0 < x < y y -1 < x -1
f) x < y < 0 y -1 < x -1
65
Demonstrao. Estes resultados so importantes e sero usados
em diversas circunstncias no futuro. A demonstrao foi feita
em Fundamentos I para os nmeros racionais. Vamos relembrar
alguns comentrios sobre cada um dos itens, que so pertinentes
tambm para os nmeros reais, e provar novamente o item (e):
(a) e (b) As afirmaes significam que um nmero real e seu
inverso ou so ambos positivos ou ambos negativos. Observe a
desigualdade estrita: o zero no tem inverso.
(c) e (d) Tambm bastante conhecidas, estas propriedades estabelecem que, se um nmero positivo menor do que 1, seu
inverso ser maior do que 1 e se um nmero positivo maior
do que 1, seu inverso ser menor do que 1. Note que se x e
y so nmeros reais e xy = 1 , x e y no podem ser ambos
maiores do que 1 nem ambos menores do que 1.
(e) e (f) Estes resultados so mais conhecidos como uma re1 1
gra na forma : se x < y ento < . Observe que nem semy x
1 1
< .
pre isto vale, pois temos -2 < 2 e
-2 2
Faremos novamente a demonstrao de e) e deixamos a demonstrao de f) como exerccio:
Hip. 0 < x < y
Tese. y -1 < x -1
Por hiptese, x e y so positivos, o que significa que seus inversos so tambm positivos (parte a). Tambm por hiptese, temos
x < y . Ento:
x< y
x.x -1 < y.x -1
(PO3,
y -1.x.x -1 < y -1. y.x -1
(PO3,
multiplicando ambos
os membros por x -1 )
multiplicando ambos
os membros por y -1 )
y -1 < x -1
66
PO10) x, y , tem-se
x 0 e y > 0 xy 0
x 0 e y < 0 0 xy
Demonstrao. Estes resultados so as conhecidas regras de sinal para o produto e j foram demonstrados em Fundamentos
I. Note que no simplesmente uma regra, mas um fato que
decorre dos axiomas, definies e propriedades j estudadas. Demonstre como exerccio.
PO11) Para todo n , n 1 , x1 , x2 ,..., xn , tem-se:
( x1 ) 2 + ( x2 ) 2 + ... + ( xn ) 2 0
( x1 ) 2 + ( x2 ) 2 + ... + ( xn ) 2 = 0 ,
se e somente se x1 = x2 = ... = xn = 0
Demonstrao. Deixamos como exerccio; os dois resultados sero teis na resoluo de inequaes. Para demonstrar use o princpio de Induo estudado em Fundamentos I.
Observao 16. O conjunto de axiomas e propriedades dos nmeros
reais que acabamos de ver so a base para nossos estudos futuros.
primeira vista pode parecer que estamos complicando o que
muito simples. nosso objetivo esclarecer a origem de tantas regras que nos apresentaram no ensino bsico: regra de sinais para
multiplicar, regra para inverter fraes, regras para multiplicar
desigualdades, etc. A origem de todas estas regras est nos axiomas e definies que acabamos de estudar: as regras so na verdade
teoremas que podemos demonstrar utilizando os axiomas e as definies. Elas no foram inventadas, mas deduzidas a partir de um
conjunto de informaes.
Exerccios propostos
6) Demonstre o que foi deixado como exerccio.
7) Dado a , prove que:
a) Se 0 < a , ento 0 < a n , n * .
b) Se a < 0 , ento 0 < a 2 n e a 2 n +1 < 0 , n * .
67
a + b a + b . Quando ocorre a
2.4.2 Intervalos em
Alguns subconjuntos do conjunto de nmeros reais possuem uma
notao especial: os intervalos. Listamos a seguir estes subconjuntos
especiais; estaremos considerando a e b nmeros reais diferentes
com a < b .
(a, b ) = {x / a < x < b}: intervalo aberto de extremos a e b .
[a, b ] = {x / a x b}: intervalo fechado de extremos a e b .
(a, b ] = {x / a < x b}: intervalo de extremos a e b (nem
aberto, nem fechado).
[a, b ) = {x / a x < b}: intervalo de extremos a e b (nem
aberto, nem fechado).
(a, ) = {x / a < x}: intervalo aberto, ilimitado superiormente.
[a, ) = {x / a x}: intervalo ilimitado superiormente (nem
aberto, nem fechado).
(-, b ) = {x / x < b}: intervalo aberto, ilimitado inferiormente.
(-, b ] = {x / x b}: intervalo ilimitado inferiormente (nem
aberto, nem fechado).
Note que um intervalo chamado aberto quando no contm
seus extremos e chamado fechado quando contm seus extremos. Tambm podemos usar as notaes (a, b) =]a, b[ , (a, b] =]a, b] ,
[a, b) = [a, b[ . bom ressaltar que os smbolos + e - no representam nmeros. Ao escrevermos x [a, ) , queremos expressar
que x um nmero real maior do que a . Da mesma forma, ao
escrevermos (-, b] , declaramos que x um nmero real menor
do que b .
68
1
1
=
3
3
69
|ab|
Essa idia ser de extrema importncia na disciplina de Clculo I, no estudo do conceito de limite.
Propriedades do mdulo
As propriedades que veremos a seguir desempenham um papel
muito importante nos prximos captulos, no estudo das inequaes. Tambm sero bastante teis em disciplinas posteriores. Para
prov-las, usaremos basicamente a definio; para x consideramos sempre as duas possibilidades: x 0 e x < 0 .
1) | x |= 0 ,se e somente se x = 0 .
Demonstrao. Se x = 0 e por definio x = x ou x = - x , teremos x = 0 ou - x = 0 , o que resulta x = 0 . Reciprocamente, se x = 0 ,
ento por definio x = 0 .
70
4) Para todos x, y , xy = x y
Demonstrao. Deixamos como exerccio.
5) Para todos x, y , x + y x + y
Demonstrao. Tambm conhecida como desigualdade triangular,
esta propriedade ser til em diversas circunstncias. Vamos prov-la:
i) para x, y , x + y 0 : x + y = x + y
Pela propriedade 3, temos x x e y y ; somando membro a
membro (PO6), teremos
x+ y = x+ y x + y
ii) para x, y , x + y < 0 : x + y = -( x + y ) = (- x) + (- y )
Pela propriedade 3 temos - x x e - y y , ou seja:
-x x e - y y
Assim, x + y = -( x + y ) = (- x) + (- y ) x + y .
71
6) Para todos x, y , x - y x - y x + y
Demonstrao. Deixamos como exerccio.
7) Sejam x , a + um nmero fixo e x < a . Ento -a < x < a .
Demonstrao.
Hip. x , a + e x < a .
Tese. -a < x < a
i) para x 0 , temos x = x < a (por hiptese). Como a > 0 (tambm por hiptese), temos -a < 0 x < a . Logo, -a < x < a .
ii) para x < 0 , temos x = - x < a . Ento -a < x e teremos
-a < x < 0 a . Logo, - a < x < a .
De i) e ii) tem-se -a < x < a , para todo x .
Tarefa
Mostre que a propriedade 7 continua verdadeira, se substituirmos
< por .
Observao 19. Vamos exemplificar a propriedade 7; consideremos
a = 3 e x < 3 . Isto significa que a distncia de x at zero menor
do que 3 . Vamos observar na reta:
Vemos que para qualquer ponto (nmero real) x entre -3 e 3 (excluindo o 3 e o -3 ), a distncia de x at zero menor do que 3 . E
se a distncia de x at zero menor do que 3 , ento x est entre
-3 e 3 . Logo, x < 3 , se e somente se -3 < x < 3 , ou, em notao de
intervalos, x (-3,3).
72
8) Sejam x , a +
x > a ou x < -a .
um nmero fixo e
x > a . Ento
Demonstrao.
Hip. x , a + e x > a
Tese. x > a ou x < -a
i) para x 0 : x = x > a . Por hiptese x > a , ento x > a (I) .
ii) para x < 0 : x = - x > a . Como x > a , ento - x > a , ou seja,
x < -a (II).
Lembre-se que para todo x temos x 0 ou x < 0 ; ento (I)
ocorre ou (II) ocorre. Isto significa que x > a ou x < -a .
Exerccios propostos
10) Faa as demonstraes deixadas como exerccio.
11) Dados os subconjuntos de ,
C = (3, ) , determinar:
a) A B
b) B C
c) A B
d) B C
A = (-1,5] , B = , 5 e
2
73
1
2
74
5 m+5 m
2
75
76
Exemplos:
1) A = {x / x - 2 5} ; A limitado superiormente e um
de seus limites superiores 7 , uma vez que x - 2 5 equivalente a x - 2 + 2 5 + 2 que por sua vez equivalente a x 7
(lembre das propriedades da relao ). Assim, os valores de
x tais que x - 2 5 correspondem aos valores de x menores
do que ou iguais a 7 . Todos os elementos de A so menores
do que ou iguais a 7 , o que caracteriza 7 como um limite superior. Observe que os nmeros reais maiores do que ou iguais
a 7 so tambm limites superiores de A , j que satisfazem a
definio. O conjunto A no limitado inferiormente; logo,
no um conjunto limitado.
2) I = ( 3, +) ; o intervalo I limitado inferiormente pois 0
um limite inferior de I . O intervalo I no limitado, pois no
limitado superiormente.
3) J = (-1, 4] um conjunto limitado pois possui limite inferior
13
, por exemplo. Os extremos -1
-3 , por exemplo, e superior
3
e 4 so tambm limites inferior e superior, respectivamente.
Um intervalo que contm J [-3,5] ; tambm J [-1, 4] (lembre da incluso de conjuntos, captulo 1).
Voc j deve ter percebido que s vezes o limite superior (ou inferior) de um conjunto pertence ao conjunto. Nestes casos especiais
eles tm um nome prprio:
Definio 7. Quando um limite superior de A pertence ao conjunto
A , ele chamado mximo de A . Quando um limite inferior de A
pertence ao conjunto A , ele chamado mnimo de A .
Exemplos:
4) Para K = [0,3] , o limite inferior 0 e o limite superior 3 pertencem ao conjunto K ; 0 o mnimo e 3 o mximo do conjunto
[0,3] .
5) Para L = [-7, 2) , o limite inferior -7 pertence a L , mas 2 no
pertence a L . Assim, -7 mnimo do conjunto L ; o limite superior 2 no pode ser chamado de mximo, uma vez que no
pertence a L . No entanto, ele um limite superior especial:
77
78
Exerccios propostos
1) Para cada um dos conjuntos que se seguem, verifique:
i) se o conjunto limitado superiormente; se for, d duas cotas
superiores.
ii) se o conjunto limitado inferiormente; se for, d duas cotas
inferiores.
iii) se existe supremo e/ou nfimo do conjunto; caso existam,
determine-os.
A = {x / x 2 - x - 6 < 0}
B = {x / x 2 + x + 1 < 0}
C = {x / x 2 - 2 x + 1 > 0}
D = {x / ( x - 1)( x - 2)( x - 3) 0}
n
/ n
E =
n +1
F = {x / x - 3 < 1}
G = {cos x / 0 x B}
x -1
H = x /
< 0
x+3
I = [-2,3) - (- 2 , 2 2]
J = {57}
K = {q / q 4 < 9}
2
L = {x / x e x divisvel por 29}
6833
M = 221 - n / n
2
(-1) n
N = n +
/ n
n
79
Demonstrao.
a) ( ) Hip. A , A , sup A = .
Tese.
i) limite superior de A
ii) Para todo > 0 existe a A tal que - < a .
Por hiptese sup A = , o que significa por definio que um
limite superior de A .
80
81
Por menor que seja , quando recuamos um espao de comprimento esquerda de , vamos encontrar pelo menos um elemento de A entre - e ; este elemento de A depende do considerado. Vamos fazer um exemplo para ilustrar a situao:
Se A = (0, 2) , ento sup A = 2 . Para = 10-6 , a = 1,9999998 tal que
2 - = 2 - 10-6 = 1,999999 < 1,9999998 2 .
Podemos agora enunciar em o resultado similar ao Princpio da
Boa Ordem em e ao Princpio do Menor Inteiro em , anunciado
no incio de nosso estudo de supremo e nfimo:
Teorema do Supremo: Para todo subconjunto A de , A , e A
limitado superiormente, existe o supremo de A em .
Analogamente, podemos enunciar o Teorema do nfimo: Para todo
subconjunto A de , A , e A limitado inferiormente, existe o
nfimo de A em .
Observao 25. A demonstrao destes Teoremas depende da construo formal do conjunto , que no fizemos aqui. Vamos aceitlos como verdadeiros, sem demonstrao. No entanto, fcil verificar que os dois teoremas so afirmaes equivalentes (consulte a
bibliografia).
Vejamos agora um exemplo de aplicao do Teorema do Supremo.
O resultado a seguir parece bvio; no entanto, no devemos acreditar nas aparncias! Acompanhe com ateno a demonstrao: muitas vezes para provarmos que um fato no ocorre, supomos que ele
ocorre e chegamos a uma contradio. Esta a idia da demonstrao da Proposio 4.
Proposio 4. O conjunto dos nmeros naturais, , no
limitado superiormente.
82
Observao 26. A Proposio 4 tem algumas conseqncias que sero teis em vrias circunstncias, ao longo de todo o curso, principalmente em disciplinas de Clculo e Anlise. Algumas destas conseqncias sero demonstradas, outras no. Para aquelas que no
sero demonstradas faremos um exemplo de aplicao. Acompanhe
com ateno a linha de raciocnio das demonstraes das prximas
proposies: so estratgias que voc usar mais de uma vez durante o curso (lembre-se que este nosso captulo estuda a estrutura do
conjunto dos nmeros reais, conjunto que est presente em todas as
disciplinas do curso).
Proposio 5. Para todo > 0 , , existe um nmero natural
1
< .
n > 0 tal que
n
Observao 27. O resultado nos diz que dado qualquer nmero real > 0 , possvel encontrar um nmero natural n tal que
1
o nmero real
menor do que . Quando for um nmen
ro grande, encontramos facilmente o nmero procurado. Por
1 1
= = 1 < 10 .
exemplo, para = 10 , basta tomar n = 1 e teremos
n 1
De modo geral, para 1 , suficiente tomar n = 2 para termos
83
1
< . Por outro lado, se < 1 (nmero muito pequeno), den
vemos estar mais atentos para a relao entre e n . Vamos fa1
zer =
. Qual seria o nmero n neste caso? Queremos
1000000
1
1
<
. suficiente tomar n maior estritamente do que
n 1000000
Lembre que quanto maior
o denominador n, menor
a frao
84
Observao 29. O resultado nos diz que se um nmero a est espremido entre 0 e para todo , ou seja, 0 a < , ento a nica
opo para este nmero a ser o zero. (Na demonstrao notamos
que no existe um nmero a > 0 que seja menor do que todo :
o nico nmero a que satisfaz a condio 0 a < para todo
o zero). As informaes fundamentais so: o fato de termos 0 a ,
com a opo da igualdade, e o quantificador para todo .
Corolrio. Dados a, b , se a - b < para todo > 0 , ento a = b .
Demonstrao
Hip. a, b , a - b < para todo > 0
Tese. a = b
Este resultado uma conseqncia direta da proposio anterior;
lembrando que 0 a - b , temos por hiptese que 0 a - b <
para todo > 0 (que a hiptese da proposio 6). Pela Proposio
85
Proposio 8. (Teorema de Arquimedes) Sejam x, y , y > 0 . Ento existe um nmero natural no nulo n tal que ny > x .
Observao 30. O resultado nos diz que dados dois nmeros reais
x e y , com y > 0 , sempre possvel encontrar um nmero n *
tal que o produto de n por y seja maior do que x .
Note a hiptese de que y > 0 . Se x < 0 , qualquer valor de n serve,
uma vez que um nmero negativo sempre menor do que um nmero positivo. Tambm, se escolhemos x e y tais que x < y , qualquer valor de n * servir.
86
Assim, nossos exemplos sero para x e y positivos e x > y . Faremos exemplos de situaes com x e y racionais, x racional e y
irracional, x irracional e y racional e, por fim, ambos irracionais.
2
176 175
.
=
>
200 200 200
87
3) x irracional e y racional
1
> 0 ; devemos encontrar n tal
Consideremos x = 3 e y =
80
1
que n > 3 .
80
Anlogo ao caso (2), vamos observar as representaes decimais de x e y : x = 1, 73205080757... e y = 0, 0125 . Neste caso
vemos que n = 1000 resolve nosso problema. Vamos conferir:
1
1000 = 1000 0, 0125 = 12,5 > 3 = 1, 73205080757... .
80
4) x e y so irracionais
Consideremos x = 5 e y = 17 ; observemos as representaes decimais de x e y :
x = 2, 2360679775... e y = 4,12310562562... .
Devemos encontrar n * tal que
n 2, 2360679775... > 4,12310562562... .
fcil ver que n = 10 resolve nosso problema.
Proposio 9. Dados a, b , se a < b ento existe um nmero racional r tal que a < r < b .
Observao 31. Este resultado nos diz que dados quaisquer nmeros reais a e b , com a < b , existe sempre um nmero racional entre eles. J conhecemos este resultado para o caso de a e b
racionais (feito em Fundamentos I): basta tomar a mdia aritmtica
entre a e b . Vamos observar um exemplo com a e b irracionais:
a = 3 e b = 5 . Neste caso tanto a como b possuem uma representao decimal: a = 1, 73205080757... e b = 2, 2360679775... No
difcil encontrar um nmero racional entre a e b (temos at mais de
18
18
um!): 1,8 =
um racional e 3 < < 5 . No esquea: o que fi10
10
zemos foi apenas apresentar um exemplo, no uma demonstrao!
Observao 32. A demonstrao da Proposio 9 ser feita na disciplina de Anlise; na ocasio voc ver que possvel tambm encontrar um irracional entre quaisquer dois racionais.
88
Exerccios propostos
18) Encontre n * tal que
a) = 3 10-21
1
< , para os seguintes valores de :
n
b) = 0, 000039
c) = 5 108
19) Use o teorema de Arquimedes (Proposio 7) para determinar
n * tal que nx > y nos casos:
a) x = 3, 45678 e y = 10
b) x = 19 e y = 20 .
20) Para cada um dos casos abaixo, encontre um nmero
racional r :
a)
3
<r< 2
2
b)
89
90
destes assuntos: equaes do primeiro grau (sexta srie), do segundo grau, equaes racionais, equaes com mdulo, inequaes do
primeiro grau, inequaes do segundo grau. Neste momento no
vamos abordar equaes e inequaes trigonomtricas e logartmicas; elas sero tratadas mais tarde, quando estudarmos as funes
elementares.
2.7.1 Equaes
Alguns livros do ensino fundamental definem uma equao como
uma igualdade entre duas expresses algbricas, sem, contudo,
definir o que uma expresso algbrica. As tentativas de definir
as equaes (e tambm os polinmios) sem o suporte do conceito
de funo variam de geniais a matematicamente incorretas. Optamos por no definir formalmente, e de modo genrico, o que uma
equao. Vamos resolv-las. Mas o que resolver uma equao?
Sabemos mesmo?
Voc sabe?
91
Procedimento
Justificativa
ax + b = 0
ax + b + (-b ) = -b
ax + 0 = -b
esquerda usamos que a soma de um nmero com seu oposto zero (A4).
ax = -b
1
1
ax = . (-b )
a
a
(-b )
x=
a
92
b
b
b2
2
.
x
+
=
x
+
x
+
2a
a
4a 2
b2
, obtendo:
4a 2
b
c b 22
b 22
x + b x + c + b 22 - b 22 = 0
x + ba x + ac + 4ba 2 - 4ba 2 = 0
x + a x +2 a + 4a 2 - 4a 2 = 0
ab 2 a c 4a b 22 4a
x + b 2 + c - b 22 = 0
x + 2ba + ac - 4ba 2 = 0
x + 2a 2 + a - 4a 22 = 0
2ba 2 a4ac 4-ab
2
x + b 2 + 4ac -2 b 2 = 0
4a-2 b = 0
x + 2ba + 4ac
x + 2a 2 + 24a 2 = 0
2a (b 4a- 4ac )
b 2
2
4ac ) = 0
x + b 2 - (bb 2 ac ) = 0
4-a4422ac
x + 2bba 2 - ((b 2 ) =0
x + 2a a
4
x + 2a 4a22 = 0
2a
4a
2
2
2
Este um procedimento
de clculo secular e
pode ser trabalhado
com os estudantes j no
Ensino Mdio; alguns
defendem que at mesmo
no Fundamental. O
procedimento permite
que os estudantes no se
tornem to dependentes da
frmula, alm de poderem
resolver outros problemas
e a prpria equao de
segundo grau na forma
cannica e no somente na
forma normal. Procure a
Coleo Contando a Histria
da Matemtica, da Editora
tica. No volume sobre esse
assunto h uma discusso
desse mtodo de resoluo.
93
Denotamos b 2 - 4ac por e, se 0 , o membro da esquerda da ltima igualdade pode ser visto como uma diferena de dois quadrados (Lembre-se do produto notvel
p 2 - q 2 = ( p + q ).( p - q ) ).:
Assim, nestas condies temos:
2
2
b
=0
x + -
2a 2a
b
b
+
x +
. x +
=0
2a 2a
2a 2a
= 0 ou x +
+
= 0 e ento
2a 2a
2a 2a
-b +
-b -
ou x2 =
, que so as solues da equao.
2a
2a
Observao 33. Se < 0 , no existem solues reais para a equao. Neste caso as solues sero nmeros complexos dados por
x1 =
-b + i
2a
ou x2 =
-b - i
2a
94
x2 - 4 x + 4 - x + 2 = 0
(x - 2 ) - (x - 2 ) = 0
2
(x - 2 )
(x - 2 )
= x2 - 4 x + 4
= x 2 - 4 x + 4 e a propriedade associativa
(x - 2 ). (x - 2 ) - 1 = 0
(x - 2 ). (x - 3) = 0
(x - 2 ) - 1 = x - 3
x - 2 = 0 ou x - 3 = 0
x = 2 ou x = 3
As solues da equao so x = 2 ou x = 3 .
Observao 36. Este processo nos indica que, uma vez encontradas as
solues, possvel expressar a equao na forma (x - 2 ). (x - 3) = 0 .
Um exerccio da prxima lista de exerccios generaliza este fato para
as equaes de segundo grau.
Observao 37. Os livros didticos costumam expressar as solues
em forma de conjunto, chamado o conjunto soluo da equao. No
exemplo anterior o conjunto soluo dado por S = {2,3} .
95
2
4
2x
2x
x2
2x
2x
x2 + 8x = 9
8 x = 4.(2 x)
x 2 + 8 x + 4.4 = 9 + 16 = 25 = (x + 4 )
b) x 2 - 2 x - 3 = 0
1
2
x
1
x 2 - 2 x = 3 e 2 x = 4. x .
2
Foram tirados do quadrado quatro retngulos de dimenses
1
e x ; conseqentemente, foram tirados duas vezes os quatro
2
1
quadrados de lado . A figura em cruz tem rea x 2 - 2 x = 3 .
2
Para completar o quadrado do meio, acrescentamos os quatro
1
1
pequenos quadrados de lado
e teremos: x 2 - 2 x + 4. .
2
4
2
2
2
De x - 2 x = 3 , temos ( x - 1) = 3 + 1 = 4 = 2 .
Logo, x - 1 = 2 , o que nos d x = 3 , a raiz positiva da equao.
96
Observao 38. Voc deve ter notado que as duas equaes resolvidas geometricamente eram do tipo ax 2 + bx + c = 0 , com a = 1 e o
termo independente c < 0 . Pergunta: o processo poderia ser feito
tambm para equaes com c > 0 ?
1
2
=
, x 2 e x 5.
x -2 x -5
Vamos resolv-la.
1
2
=
, x2 e x5
x -2 x -5
Somando o oposto de
2
, temos:
x -5
1
2
=0
x -2 x -5
97
2) Resolver a equao
1
1
=0.
x - 5x + 6 x - 2
2
Inicialmente devemos verificar os valores de x que anulam os denominadores, para que possamos exclu-los da soluo:
(i) x 2 - 5 x + 6 = 0 quando x = 2 ou x = 3
(ii) x - 2 = 0 quando x = 2
Logo, devemos ter x 2 e x 3 .
Escrevendo x 2 - 5 x + 6 = ( x - 2) ( x - 3) , decorrente da Observao
30, temos
1
1
=0
( x - 2) ( x - 3) x - 2
Reduzindo ao mesmo denominador,
1 - ( x - 3)
=0
( x - 2) ( x - 3)
Novamente, uma frao igual a zero quando seu numerador
zero:
1 - (x - 3) = 0
1 - x + 3 = 0 , ou seja, x = 4
Exerccios propostos
29) Resolva as equaes:
a)
5
3
x+ =0.
4
2
-3 2
Resp. S =
4 5
b)
1
1
= 0.
x - 7x - 8 x - 2
2
Resp. S = 4 - 22, 4 + 22
98
2.7.3 Inequaes
Para resolver inequaes, usaremos principalmente as propriedades da relao de ordem em . Faremos inicialmente as inequaes de primeiro grau, em seguida as inequaes de segundo
grau e por fim as inequaes envolvendo mdulo. Para estas ltimas usaremos tambm as propriedades do mdulo. A melhor
maneira de aprender a resolver inequaes por meio de exemplos; claro que no podemos fazer todos os exemplos possveis!
No entanto, selecionamos alguns mais significativos, cujas estratgias so mais gerais. Resolver uma inequao encontrar todos
os valores de x que satisfaam uma desigualdade; no podemos
esquecer que isto diferente de encontrar valores que satisfaam
uma igualdade.
99
Exemplos:
1) Resolver a inequao 3 x - 5 > 2
Faremos a resoluo detalhada, indicando a propriedade usada em
cada passo do procedimento; a coluna da esquerda a resoluo e
a da direita a propriedade usada naquele passo.
Procedimento
Justificativa
3x - 5 > 2
3x > 7
1
1
.3 x > .7
3
3
x>
7
3
1
(o inverso de 3 );
3
i) em forma de intervalo: S = , + ou
3
ii) S = x / x >
3
7 - 5x 8
7 -8
;
5
7 -8
S = -,
100
3) Resolver a inequao 2 x + 3 5 x + 1
Especifique ao lado as propriedades utilizadas:
2 x + 3 5x + 1
2 x - 5 x 1 + (-3)
-3 x -2
2
x
3
2
S = , +
3
1
. -
3
Observao 39. Como voc deve ter percebido, nos dois exemplos
foram utilizadas as propriedades PO3 e PO5; no exemplo 3 tambm foi utilizada a PO4. Veja outra maneira de resolver, utilizando a adio e a lei do cancelamento:
2 x + 3 5x + 1
2 x + 2 + 1 2 x + 3x + 1
2 3x
2
x
3
2
S = , +
3
Exemplos:
4) Resolver a inequao ( x - 3) ( x + 1) > 0
Podemos observar aqui que os valores procurados (os valores de x )
devem ser tais que o produto ( x - 3) ( x + 1) resulte maior do que
zero, ou seja, positivo. Quando um produto de dois nmeros reais
positivo? Uma propriedade nos diz que um produto de dois nmeros
reais positivo quando os nmeros so ambos positivos ou ambos
negativos. Vamos analisar as duas possibilidades:
i) ( x - 3) > 0 e ( x + 1) > 0 , isto , x > 3 e x > -1 .
Analisando as duas desigualdades acima, vemos que x > 3 e x > -1 ,
simultaneamente (note o conectivo e); isto significa que devemos
101
0
-1
x A @f>
x !A @f>
0
3
x A A A @f>@f> @f>
Figura 2.1
0
-1
-1
0
0
x B @f>
x B @f>
x B B B @f>@f> @f>
Figura 2.2
102
2 x 2 + 3 x + 3 3 + (-3)
2 x 2 + 3x 0
2 x 2 + 3 x + 3 + (-3) 3 + (-3)
3
2
0
Figura 2.3
3
2
Pergunta: qual
esta equao?
103
xt
d x d ou
Figura 2.4
104
Soluo
(x - u )(x - v ) 0, u < v
S =] - , u ] [v, +[
S =] - , u[]v, +[
(x - u )(x - v ) 0, u < v
S = [u , v]
S =]u , v[
7 - 2x
<2
4x +1
105
1
1
e x<2
4
Na reta:
A @f>
x A @f>
x A A A @f>
Figura 2.5
A = -, - .
4
1
1
e x>- .
2
4
Na reta:
0
0
0
Figura 2.6
B @f>
x B @f>
B B B @f>
106
B = , + .
2
S = A B -, - , + .
4 2
7) Resolver a inequao
1
3
x +1 x - 2
Inicialmente devemos ter x -1 e x 2 . Continue resistindo tentao de multiplicar em cruz: este procedimento no funciona com
inequaes! Observe a resoluo:
1
3
x +1 x - 2
3
somando -
nos dois membros, obtemos
x - 2
1
3
0
x +1 x - 2
Reduzindo ao mesmo denominador:
(x - 2 ) - 3 (x + 1) 0
- 3x(-x 2+)1)
(x(-x +2 )1)(
- 3x(-x 2+ 1) 0
(x(-x +2 )1)(
x - 2 - 3x - 3 ) 0
x - 2) 0
(x +-1)(
3xx--23)
(xxx--+221)(
- 3xx--23) 0
(x +-12)(
x -5 0
x-2
(x +-12)(
x -x 5- 2 )) 0
(x +-12)(
x -x 5- 2 ) 0
(x + 1)(
0
(x + 1)(x - 2 )
Quando um quociente de nmeros reais maior do que ou igual
zero? Quando numerador e denominador so ambos positivos ou so
ambos negativos. Alm disso, o numerador pode ser nulo (o denominador no pode!). Note tambm que no conveniente realizar as
operaes do denominador. Vamos analisar os dois casos, como no
exemplo 4:
107
i) -2 x - 5 0 e ( x + 1) ( x - 2) > 0
5
5
B @f
A @f> * @f>
S AB @f
Figura 2.7
x - , ou B = - , + .
2
2
B = [ 5 , +[
2
5
2
1
A = ]1, 2[
2
Figura 2.8
S2 = AB = ]1, 2[
108
5
Logo, a soluo S =] - 6, 2[ .
Segundo modo:
Separando em duas inequaes:
a) -4 < x + 2 , de onde obtemos x > -6 , ou S1 =] - 6, +[ e
b) x + 2 < 4 , de onde obtemos x < 2 , ou S 2 =] - 6, 2[ .
A soluo ser a interseco S = S1 S 2 =] - 6, 2[ .
9) Resolver a inequao 3 x + 1 > 1
Tambm neste caso temos uma propriedade que nos auxilia, a PM7:
Se x , a + e x > a , ento x > a ou x < -a .
109
Como (3 x + 1) , 1 + e 3 x + 1 > 1 , conclumos que 3 x + 1 > 1
ou 3 x + 1 < -1 . So estes os dois casos que vamos analisar:
a) 3x + 1 > 1 tem como soluo B =]0, +[ .
2
o : S = A B = -, - ] 0, +[ .
3
Observao 41. Nos exemplos 8 e 9 aprendemos como resolver inequaes do tipo E > K e E < K , quando E uma expresso do
tipo ax + b e K um nmero real positivo. No caso da expresso
quadrtica ax 2 + bx + c , o procedimento anlogo:
1) para ax 2 + bx + c < k , utilizamos a PM6 e fazemos
-k < ax 2 + bx + c < k . Neste caso temos que resolver as duas
inequaes, -k < ax 2 + bx + c e ax 2 + bx + c < k ; no podemos
resolver diretamente. Para cada inequao, aplicamos o resumo da Obs. 40 e sua soluo ser a interseco das solues
parciais.
2)
PM7
fazemos
1
2
1
1
Pela Obs. 41 fazemos - < x 2 + x - 2 < , e resolvemos as duas ine2
2
quaes.
1
1
i) - < x 2 + x - 2 ou x 2 + x - 2 > 2
2
x2 + x - 2 +
1
2x2 + 2x - 4 + 1
>0
>0
2
2
110
-1 - 7
-1 + 7
e v=
;
2
2
-1 + 7
-1 - 7
S1 = -,
, + .
2
ii) x 2 + x - 2 <
1
2
x2 + x - 2 -
2x2 + 2x - 5 < 0
1
<0
2
(veja exemplo 6)
As razes da equao 2 x 2 + 2 x - 5 = 0 so
u=
-1 - 11
-1 + 11
e v=
;
2
2
a soluo parcial
-1 - 11 -1 + 11
S1 =
,
.
2
2
-1 - 7
-1 + 7
-1 - 11
-1 + 11
, a2 =
, b1 =
, b2 =
2
2
2
2
b
b
a
b
S
S S S
Figura 2.9
-1 - 11 -1 - 7 -1 + 7 -1 + 11
S = S1 S 2 =
,
,
.
2
2 2
2
111
Tarefa
Resolva como exerccio: x 2 + 2 x - 8 >
1
.
3
Resposta:
-1 - 28 -1 - 22 -1 + 22 -1 + 28
S = -,
,
, +
3
3
3
3
Exemplos:
11) Resolver a inequao x + 4 2 x - 6
Para resolver esta inequao, utilizamos inicialmente a definio de
mdulo:
Seja a ; indicamos por a o mdulo (ou valor absoluto) de a ,
definido por:
a se a 0
a =
-a se a > 0
Como x + 4 e 2 x - 6 so nmeros reais, podemos escrever:
x + 4 se x + 4 0
| x + 4 |=
- ( x + 4) se x + 4 < 0
2 x - 6 se 2 x - 6 0
2x - 6 =
- (2 x - 6 ) se 2 x - 6 < 0
Ou ainda:
x + 4 se x -4
| x + 4 |=
- x - 4 se x < -4
2 x - 6 se x 3
2x - 6 =
-2 x + 6 se x < 3
Observe que temos dois valores que so decisivos em nossa anlise: x = -4 e x = 3 ; vamos chamar estes valores de marcadores.
medida que x percorre a reta e passa pelos marcadores, obtemos as
solues parciais de nossa inequao. Para ilustrar este fato, vamos
coloc-lo em um quadro; a reta superior representa a reta e cada
coluna, a partir da segunda, representa um intervalo entre os marcadores:
112
-4 x < 3
3 x
x < -4
2x - 6
-2 x + 6
-2 x + 6
2x - 6
x+4
-x - 4
x+4
x+4
x - 4 2x - 6
- x - 4 -2 x + 6
(resoluo)
-4
x + 4 -2 x + 6
2
x
3
x 10
Soluo parcial
x < -4 e x 10
Conjunto
] - , -4[
-4 x < 3 e x
x + 4 2x - 6
x 10
2
3
2
[-4, ]
3
considerado.
Na 4 coluna, para x 3 , 2 x - 6 = 2 x - 6 e x + 4 = x + 4 ; a inequao x + 4 2 x - 6 e sua soluo [10, +[ , no intervalo considerado.
A soluo da inequao ser a unio dos conjuntos obtidos como
solues parciais, pois para todo nmero real x tem-se x < -4 ,
-4 x < 3 ou x 3 :
2
2
x 3 e x 10
[10, +[
113
Exerccios propostos
Resolver as inequaes:
37)
6x - 4 4x -1
<
5
3
Resp. S = - , +
2
38) 2 x - 5 x - 1 3 x + 2
3
Resp. S = - , 4
2
39) (5 x - 2) (2 x - 8) > 0
2
Resp. S = -, ]4, +[
5
114
40) 3x - 5 0
2x +1
1 5
Resp. S = - ,
2 3
41)
2
5
x +1 2x -1
5
1
2x -1 x - 2
1 1 11
Resp. S = -, , [3, +[
2 2 7
45) 2 x - 3 + x + 4 3 x
7
Resp. S = -, -
2
46) x 2 + 3 x + 3 5
-3 - 17 -3 + 17
,
Resp. S =
2
2
47) x + 3 x - 2 2 x + 1
3
Resp. S = -,
2
115
116
1
= 1- x, x 0
x
1
As condies iniciais so 1 - 0 e 1 - x 0 . Resolvendo as inequax
1
es 1 - 0 e 1 - x 0 , teremos a soluo K =] - ,1] , o que sigx
nifica que os valores encontrados devem pertencer ao conjunto K
(Faa os detalhes desta resoluo).
2) Resolver a equao 1 -
1
= 1- x
x
1
= -x
x
1
=x
x
x 2 = 1 ; logo, as solues possveis so x = 1 ou x = -1.
2
x = 1 ; logo, as solues possveis so x = 1 ou x = -1.
Como as solues so x = 1 e x = -1 e ambas satisfazem as condies
iniciais, ou seja, pertencem ao conjunto K =] - ,1] , o conjunto soluo da equao S = {-1,1}.
3) Resolver a equao
5 + 1 + 5x = 3 .
- , +
inequao 1 + 5 x 0 , encontramos o conjunto 5
. Para valores de x neste conjunto a expresso 5 + 1 + 5x sempre positiva. Portanto os valores encontrados devem pertencer ao conjunto
1
K = - , + .
5
+ (-5 )
117
Exerccios propostos
Resolva as equaes:
48) 2 5 x - 1 = 3 3 x - 2
49)
5x - 6 = 2 + 5x - 3
50)
a + x + b + x , a e b nmeros reais.
Captulo 3
Relaes
Captulo 3
Relaes
O objetivo deste captulo estudar o conceito de relao e
suas propriedades. Faremos o estudo das relaes de equivalncia, das relaes de ordem e das relaes no plano .
Introduo
Neste captulo voc vai estudar relaes de modo geral e os tipos especiais de relaes. Este assunto, assim como Conjuntos
no Captulo 1, ser importante no desenvolvimento de conceitos
matemticos como funes e estruturas algbricas. No geral, utilizamos as relaes para estudar objetos que podem ser nmeros,
conjuntos, funes etc. Vamos estudar dois tipos de relaes: as
relaes de equivalncia e as relaes de ordem. Um terceiro tipo
de relao ser trabalhado no captulo seguinte: as funes. Em
particular, as relaes de equivalncia, classes de equivalncia e
conjuntos quociente so generalizaes de situaes que estamos
habituados a utilizar desde os primeiros anos da educao bsica. Tambm a relao de ordem generaliza a idia de nos
conjuntos numricos para conjuntos quaisquer. O estudo das relaes no plano prepara o caminho para o estudo do prximo
captulo. No se assuste se este for um captulo muito algbrico:
os conceitos estudados aqui sero ferramentas teis em diversas
disciplinas do curso.
O conceito de relao
Utilizamos muito a idia de relao no cotidiano:... menor do
que..., ... paralela a..., ... divisor de..., ... irmo de... etc. Podemos
comear estabelecendo que uma relao uma associao entre
dois objetos (como j dissemos, podem ser nmeros, conjuntos,
matrizes, etc.). Esta associao pode estar definida por uma lei
(regra) ou no. Quando a associao estabelecida por uma lei
fcil verificar se dois objetos esto ou no esto relacionados. Por
122
123
R1 = {(1, 4), (21,87), (55,12)} e R2 = {(0,1), (1,3), (2,5), (3, 7), (4,9)}
so relaes em , pois so subconjuntos de . No entanto,
voc seria capaz de explicar a lei segundo a qual os pares esto
relacionados, para cada uma das relaes? No caso de R1 , no h
lei explcita; s podemos afirmar que 1 est relacionado com 4 , 21
est relacionado com 87 e 55 est relacionado com 12 . No caso de
R2 , podemos dizer que R2 o conjunto
R 2 = {(x, y ) / x e y so algarismos tais que y = 2 x + 1},
ou seja, R 2 o conjunto de pares ( x, y ) que satisfazem a condio x
e y so algarismos tais que y = 2 x + 1 .
Observao 3. Note que uma relao envolve dois conjuntos (que
podem ser iguais ou no) e certa maneira de relacion-los (que pode
ser uma lei ou no). Quando uma relao estabelecida por meio
de uma lei, ou seja, por meio de uma sentena aberta (como a | b ,
a = 2b + 1 , r // s , etc.), a relao o seu conjunto verdade. Por abuso de linguagem chamamos de relao a sentena aberta usada para
defini-la. Por exemplo, a relao de divisibilidade do exemplo 1: a
sentena aberta a | b estabelece a relao em ; a relao de fato
o conjunto de pares ordenados R = {(a, b) / a | b} , mas, por
abuso de linguagem, dizemos a relao de divisibilidade em .
Notao. Sejam A e B conjuntos e R uma relao de A em B . Pela
definio, um elemento de R da forma (a, b) com a A e b B .
Usamos a notao aRb para indicar que (a, b) R (ou seja, para indicar que a est relacionado com b ).
Observao 4. Usaremos as duas notaes: aRb e (a, b) R . No se
assuste se voc encontrar as duas notaes em um mesmo enunciado: a inteno que voc se habitue s duas.
Exemplos:
amltiplo
mltiplo
1) R R ,R=, R
de de
bde
{(=a,{b()a/,aba)/mltiplo
} bb} ; elementos relacionados: 23R1 , 18 R3 , 18 R9 , entre outros. Neste caso o conjunto
R possui uma infinidade de elementos.
2) A = {2,3, 4,19}, B = {1,3,5,12}, R A B, R = {(x, y ) / x < y};
os elementos relacionados so: 2 R3 , 2 R5 , 2 R12 , 3R5 , 3R12 ,
124
125
Exemplo:
5) Considere os conjuntos A = {1, 2,3} e B = {1, 2}, e a relao R
de A em B definida por x y , isto ,
R = {(1,1), (2,1), (2, 2 ), (3,1), (3, 2 )}.
A relao inversa de R um subconjunto de B A dado por
R 1 = {(1,1), (1, 2 ), (2, 2 )(1,3), (2,3)}. Note que R um subconjunto de A B e R 1 subconjunto de B A .
Exerccios propostos
1) Explicite a relao R de A em B , nos casos:
a) A = {1, 2,3, 5}; B = {1, 3,5, 7,9}, R = {(a, b ) / a = b}
b) A = {x / x divisor de 80}; B = {x / x divisor de 56},
R = {(a, b ) A B / b divisor de a}
2) Se A = {a, b, c} e B = {0,1}, quantas relaes de A em B podemos construir? Generalizar para A com n elementos e B com
m elementos.
126
127
quantificador: a existncia de um nico par para o qual a propriedade falha suficiente para que a relao no tenha a propriedade. Observemos tambm que a relao R transitiva,
pois sempre que a divisor de b e tambm b divisor de c ,
podemos concluir que a divisor de c . De fato: se a divisor de b , existe um x tal que b = a x . Como tambm b
divisor de c , existe um y tal que c = b y . Substituindo
b = a x na ltima igualdade, temos c = by = (ax) y = a ( xy ) , o
que significa que a divisor de c . Assim, a relao de divisibilidade em reflexiva, no simtrica e transitiva.
12) A relao < em no reflexiva, pois os pares (a, a ) no
pertencem relao, uma vez que um nmero no menor do
que ele mesmo. Tambm no simtrica, pois se a < b , no pode
ocorrer tambm b < a . No entanto, a relao transitiva, como
visto no exemplo acima, para .
13) Considere a relao R = {(1,1), (2, 2), (3,3), (2,3), (3, 2), (1,3), (1, 2)}
no conjunto A = {1, 2,3} . Apesar de no termos explcita a lei
que define a relao, conhecemos todos os seus pares e podemos decidir se R goza das propriedades. Podemos notar que
R reflexiva, pois todos os pares da forma (a, a ) esto na relao: (1,1), (2, 2), (3,3) . Notamos tambm que R no simtrica,
pois (1,3) R e (3,1) R . Para verificarmos se R transitiva,
devemos inicialmente listar todos os possveis pares encadeados aRb e bRc , e verificar se ocorre aRc . Observemos o seguinte:
128
Com isto conclumos que, sempre que ocorrer aRb e bRc , tambm ocorre aRc . Logo, a relao transitiva.
14) A = {x, y, z , t}, R = {(x, x ), ( y, y ), (z , z ), (x, y ), ( y, x ), (t , z ), ( z , x )}
Observe que aqui os nossos objetos so x, y, z e t e a nossa relao R explicita como eles esto relacionados. A relao no
reflexiva, pois o par (t , t ) no pertence relao. Tambm no
simtrica, pois (t , z ) pertence relao e ( z , t ) no pertence.
Podemos observar que ela no transitiva, pois, para os pares
encadeados (t , z ) R e ( z , x) R , o par (t , x) R .
15) A = {4, 6}, R = {(4, 4), (6, 6)} . claro que a relao R reflexiva.
Ela tambm simtrica? J vimos que uma relao no ser
simtrica se existir (a, b) R e (b, a ) R . Como vemos, isto no
ocorre com esta relao: para todos os pares (a, b) da relao,
tem-se (b, a ) tambm na relao. O simtrico de (4, 4) o
prprio (4, 4) e o mesmo acontece para o (6, 6) . Logo, esta relao simtrica. Ser ela transitiva? Para verificar isto, deveramos listar os pares encadeados aRb e bRc , e verificar se
ocorre aRc . Mas onde esto os pares encadeados? Para que
a relao no fosse transitiva, deveramos encontrar na relao
pares (a, b) e (b, c) de modo que (a, c) no estivesse na relao.
Como podemos ver, no possvel encontrar pares para os
quais a propriedade falha. Logo, a relao transitiva.
Observao 7. Considere a relao R = {(1,1), (1, 2), (2,3), (3,3), (2, 2)} .
Pergunta: R reflexiva? Para esta pergunta no h resposta definitiva. Se considerarmos R uma relao no conjunto A = {1, 2,3}, a
resposta sim. No entanto, se considerarmos R uma relao em ,
a resposta no. S podemos definir se uma relao R reflexiva se
conhecemos o domnio da relao R .
Exerccios propostos
3) D exemplo de uma relao no conjunto dos nmeros naturais
que seja reflexiva e transitiva, mas no seja simtrica.
4) D exemplo de uma relao no conjunto A = {3, 6,9,12}que seja
simtrica, mas no seja reflexiva nem transitiva.
5) Determine todas as possveis relaes no conjunto
A = {a, b} (a b) ; identifique as relaes que gozam da pro-
Estas propriedades so
vlidas porque no
possvel provar que elas
no so vlidas. Neste
caso dizemos que as
propriedades valem por
vacuidade. o mesmo
caso do conjunto vazio
ser subconjunto de
todos os conjuntos.
129
130
Exerccios propostos
7) Verifique se so relaes de equivalncia:
a) Seja A o conjunto de todos os tringulos do plano e R a relao em A definida por xRy quando x semelhante a y
(lembre-se da semelhana de tringulos da Geometria).
b) A = {1, 2} e R = {(1,1), (2, 2 )}
131
132
133
( ) Hiptese:
aRb
Tese: [a ] = [b]
Devemos mostrar uma igualdade de conjuntos (veja o captulo 1:
X = Y se e somente se X Y e Y X ), ou seja, que todo elemento de [a ] pertence a [b] e que todo elemento de [b] pertence
a [a ] . Seja x [a ] . Como [a ] o conjunto dos elementos que esto
relacionados com a , podemos afirmar que xRa (como R simtrica, poderamos tambm escrever aRx ). Por hiptese, temos aRb e
como R transitiva, de xRa e aRb , temos xRb , ou seja, x est
relacionado com b . Logo, x [b] e [a ] [b] (I). Analogamente, se
y [b] ento y est relacionado com b , ou seja yRb . Por hiptese,
temos aRb , e como R simtrica, temos bRa . Pela propriedade
transitiva, se yRb e bRa , ento yRa , ou seja, y [a ] e [b] [a ]
(II). De (I) e (II), temos que [a ] = [b] .
134
135
{1, 2} {3} = {1, 2,3} = A . Estas classes constituem uma partio de A . Tambm no exemplo 23, as classes [0],[1] e [2] so
disjuntas duas a duas (isto significa [0] [1] = , [0] [2] =
e [1] [2] = ) e sua unio resulta no conjunto . Note que o
conjunto quociente aquele cujos elementos so as classes de
equivalncia, isto , seus elementos so os conjuntos que constituem a partio de A ; podemos dizer ento que o conjunto
quociente uma partio de A , ou seja, podemos dizer que toda
relao de equivalncia num conjunto A determina uma partio de A . A recproca desta afirmao tambm verdadeira: dada uma partio do conjunto A , podemos associar a ela
uma relao de equivalncia; os conjuntos da partio sero
as classes de equivalncia desta relao. Vejamos um exemplo
deste fato (a prova poder ser encontrada na bibliografia):
Exemplo:
23) Consideremos o conjunto A = {1, 2,3, 4} e a partio de
A dada por P = {{1,3}, {2, 4}}. Qual a relao de equivalncia que est associada a esta partio? Os conjuntos
da partio {1,3} e {2, 4} devem ser as classes de equivalncia da relao procurada. Ento 1 e 3 devem estar relacionados, assim como 2 e 4 . Tambm sabemos que
cada elemento deve estar relacionado consigo mesmo.
Assim, [1] = [3] = {1,3} e [2] = [4] = {2, 4} e estamos agora em condies de escrever a relao de equivalncia
R = {(1,1), (2, 2), (3,3), (4, 4), (1,3), (3,1), (2, 4), (4, 2)} . No esquea que R deve satisfazer tambm a propriedade simtrica, por isso aparecem os pares (1,3) e (3,1), (2, 4) e (4, 2) .
Alm disso, R deve ser transitiva (prove isso!).
Exerccios propostos
8) Explicite o conjunto quociente determinado pela relao de
equivalncia em A = {a, b, c, d } dada por R = {(a, a ), (b, b), (c, c),
(d , d ), (a, b), (b, a)} .
9) Determine a relao de equivalncia R em A = {1, 2,3, 4,5}
que determina o seguinte conjunto quociente (partio de A ):
A / R = {{1, 2},{3, 4,5}} .
136
[0]
[1]
[2]
[3]
[4]
[0]
[1]
[0]
[2]
[4]
[3]
[4]
[1]
[4]
137
138
139
140
Exerccios propostos
14) Verifique se as relaes a seguir so relaes de ordem:
a) Em * , a relao aRb mdc (a, b ) = a
b) Em , a relao aRb a < b
c) Em , a relao aRb b = a + 1
d) Em 4 , a relao [a ]R[b] a b
15) Das relaes de ordem do exerccio anterior, determine quais
so de ordem total.
141
(x,y)
Figura 3.1
D( S ) = ; I ( S ) =
Geometricamente:
y
0
2
Figura 3.2
142
36) S , S = {( x, y ) / y < x}
D( S ) = ; I ( S ) =
D( S ) = ; I ( S ) =
Geometricamente:
Geometricamente:
37) S , S = {( x, y ) / x y}
x=
y x
Figura 3.3
Figura 3.4
38) S , S = {( x, y ) / y x + 1}
D( S ) = ; I ( S ) =
Geometricamente:
1
0
Figura 3.5
143
S o conjunto dos pares ordenados cujas coordenadas percorrem o intervalo [0, 1]:
S = {( x, y ) / x [0,1] e y [0,1]}
D( S ) = [0,1]; I ( S ) = [0,1]
Geometricamente:
y
1
S
0
Figura 3.6
40) S = {( x, y ) / x 2 + y 2 = 4}
0
2
Figura 3.7
S
2
144
41) S = {( x, y ) / x 2 + y 2 1}
S o conjunto dos pares ordenados exteriores circunferncia x 2 + y 2 = 1 , incluindo a borda. Como exerccio, determine o
domnio e a imagem desta relao.
Geometricamente:
x
1
S
1
1
Figura 3.8
42) S = {( x, y ) / ( x 1) 2 + y 2 < 9}
D( S ) =] 2, 4[ ; para encontrarmos a imagem, devemos observar quais pontos do eixo vertical (eixo y ) esto relacionados. Como o raio 3 , notamos que so os pontos do intervalo
] 3,3[ .
Geometricamente:
y
S
2
Figura 3.9
145
33
DD(S(S) =
) =[[1,1,2[2;[I; (I S(S) =) = 2 ,1,1
2
Geometricamente:
y
1
S
0
3
2
Figura 3.10
1
1 0
Figura 3.11
146
Exerccios propostos
16) Represente geometricamente as seguintes relaes no plano
cartesiano:
S = {( x, y ) / x [1, 2] e y }
S = {( x, y ) / x e y ] 1,1[}
S = {( x, y ) / x < 1 e y }
Resumo
Neste captulo voc estudou relaes, um conceito que nos prepara
para o estudo de funes. Os tpicos trabalhados foram:
1) Relaes: definio e exemplos.
2) Propriedades das relaes: reflexiva, simtrica e transitiva.
3) Relao de Equivalncia: aquela que goza das propriedades reflexiva, simtrica e transitiva.
4) Classes de equivalncia e conjunto quociente determinados
por uma relao de equivalncia.
5) Relao de ordem: aquela que goza das propriedades reflexiva,
anti-simtrica e transitiva.
6) Relaes em (ou relaes no plano cartesiano).
Captulo 4
Funes
Captulo 4
Funes
Estudaremos o conceito de funo (definio, nomenclatura
e grficos), suas propriedades (funo injetora, sobrejetora,
bijetora, par e mpar), composio de funes e o conceito de
funo inversa.
Introduo
Neste captulo vamos estudar as funes, um dos conceitos mais
importantes da matemtica, que estar presente ao longo de todo
o curso, nas mais variadas disciplinas. Os conceitos trabalhados
nos captulos 1, 2 e 3 sero amplamente utilizados em nosso estudo das funes. Uma funo uma relao especial entre dois
conjuntos. Estudaremos as funes reais, que estabelecem relaes no conjunto dos nmeros reais.
A idia de funo aparece pela primeira vez com os babilnios,
cerca de 2000 a.C. Eles utilizavam tabelas como a descrita abaixo,
associando a cada nmero inteiro maior do que ou igual a zero o
seu quadrado.
n
10
n2
16
25
36
49
64
81
100
150
de funo a uma representao em srie de potncia. Mais recentemente (final do sculo XIX), o estudo de conjuntos feito por George
Cantor e outros matemticos levou definio de funo como a
conhecemos hoje: um conjunto especial de pares ordenados de elementos, no necessariamente nmeros. Todo o Clculo Diferencial
e Integral desenvolvido por Isaac Newton e Leibniz no sculo XVII
e aperfeioado ao longo dos sculos por vrios matemticos gira em
torno de dois conceitos fundamentais: o conceito de funo e o conceito de limite. Antes da definio formal, vejamos:
151
2) da mo-de-obra ( mo );
3) do custo do equipamento utilizado ( e );
4) da administrao ( a );
5) da manuteno do equipamento ( me ).
Neste caso, o custo do produto uma funo destas cinco variveis:
C = f (m, mo, e, a, me ) .
Mas afinal, o que uma funo?
Retomando o exemplo 1) da queda dos corpos, suponhamos que o
tempo necessrio para a ocorrncia do fenmeno fsico descrito, isto
, o tempo de queda do corpo seja 10 segundos. Ento, a cada instante t , entre 0 e 10 segundos, corresponde um nico valor de x ,
que a distncia do corpo posio inicial. Este valor de x dado
g t2
por x =
. Por exemplo, para t = 5 (e g = 9,8m/s 2 ), o valor de x
2
(9,8).52 245
dado por x =
=
= 122,5m . Assim, temos um tipo espe2
2
cial de relao que denominado funo.
Mais precisamente:
Definio. Sejam A e B conjuntos no-vazios. Uma funo de A
em B uma relao f que a cada elemento de A associa um nico elemento de B .
Notao:
f :A B
x y
Observao 1. Pelo fato do elemento y estar associado a x , escrevemos tambm y = f ( x) . Esta a notao mais utilizada de funo,
apesar de no indicar os conjuntos.
Observao 2. Como f uma relao de A em B , lembremos
que o conjunto A chamado o domnio da funo e o conjunto
B o contradomnio. O conjunto dos elementos de B que esto
associados a algum elemento de A a imagem da funo f , x A
152
153
funo, x para a varivel independente e y para a varivel dependente no obrigatrio, apesar de consagrado nos livros didticos.
Exemplos:
1) f : , f ( x) = 3 x + 5
f a funo que a cada nmero real associa seu triplo somado com 5 . O domnio da funo o conjunto e o contradomnio . A imagem da funo o conjunto de valores reais
resultantes das operaes o triplo do nmero mais 5 . Assim,
Im( f ) = { y | y = 3 x + 5 para x } .
154
2) h : , h(n) = n 2 + 1
Im( g ) = | z * .
z
3) g ( z ) =
1
1
+
s + 3 s 1
155
5) k (t ) =
1
t 2t 12
2
156
157
Exerccios propostos
1) Dada a funo f ( x) =
a) o domnio de f
b) f (2 x) e f (-2 x)
4x 3
, determine:
5x + 6
158
c) f (-1)
d) f (2 x + 1)
e) x tal que f ( x) = 9
f) f (2 x) + 1
2) Determine o domnio das funes:
a) t ( x) =
x
1
+
x+2 x
b) m( x) =
2
1
+
3 x 5
2
x 3
25 x
2
c) F ( x) = x 2 x 2 40 +
3x5 2
2 6 x2
1+ t
1
1
. Determine g
e g
.
1 t
1+ t
1 t
159
(x, f (x))
f (x)
Simbolicamente:
Gr ( f ) = {( x, y ) A B | y = f ( x)} = {( x, f ( x)) | x A}
Observao 9. O grfico uma representao da funo por desenho ou figura geomtrica, mediante a associao, um a um, dos pares ordenados de nmeros reais com pontos de um plano, usando
um sistema de eixos coordenados (como foi feito para nmeros reais
e pontos de uma reta).
Exemplos:
17) Seja A = {n |1 n 5} e f : A , f (n) = n 1
Como A = {1, 2,3, 4,5}, possvel determinar todos os valores
f (n) e o grfico Gr ( f ) = {(1, 0), (2,1), (3, 2), (4,3), (5, 4)}
y
x
y = f (x)
1
0
Figura 4.2
160
5) f :[0,3] , f ( x) = x 3
Neste caso no possvel fazer uma tabela para todos os valores de x em [0,3] . Mostraremos mais adiante que esta funo
tem um grfico que um segmento de reta. Assim, basta conhecer dois de seus pontos.
3
2
1
0
1
3
Figura 4.3
161
Figura 4.4
162
20) f ( x) = x + 4, D( f ) =
Para x1 e x2 reais com x1 < x2 , temos x1 > x2 e assim
f ( x) = x + 4 > x2 + 4 = f ( x2 ) .
h( x1 ) = x1 1 < x2 1 = h( x2 )
163
Simbolicamente,
f injetora x1 , x2 A, se x1 x2 , ento f ( x1 ) f ( x2 ) .
Ou, equivalentemente:
f injetora x1 , x2 A,sef ( x1 ) = f ( x2 ) , ento x1 = x2
Exemplos:
23) f : , f ( x) = 3 x 1 .
Sejam x1 e x2 reais e suponhamos que f ( x1 ) = f ( x2 ) . Ento,
3 x1 1 = 3 x2 1
3 x1 = 3 x2
x1 = x2
Assim, f injetora.
24) h : , h( x) = x 2 1 .
164
Definio. Seja f : A B uma funo. Dizemos que f sobrejetora se e somente se a imagem de f for igual ao seu contradomnio,
ou seja, y B, x A | f ( x) = y .
Exemplos:
1
x + 1 sobrejetora.
2
1
De fato: seja y . Se y = x + 1 , ento
2
1
x = 2 y 2ef ( x) = f (2 y 2) = (2 y 2) + 1 = y .
2
Logo, f sobrejetora.
25) f : , f ( x) =
165
f : , f ( x) = 6 x 2 5 no injetora mas
g :[0, ) , g ( x) = 6 x 2 5 injetora.
Por qu?
h :[0, ) , h( x) = x no sobrejetora
Por qu?
Aqui, novamente vale lembrar a Observao 6: no basta somente
a regra (a lei) de associao dos elementos. preciso tambm estar
claro quais so os conjuntos domnio e contradomnio. Dependendo dos conjuntos estabelecidos, a funo pode ser injetora ou no,
sobrejetora ou no.
166
167
168
temos ( g f )( x) = g ( f ( x)) = g ( x 2 + 5) = ( x 2 + 5) 6 = x 2 1 .
Exerccios propostos
1
e g ( x) = x 2 + 2 . Determine, se possvel, as
2
3x
funes g f e f g .
5) Sejam f ( x) =
x +1
, determine condies para
| x+5|
que se possa definir g f e f g .
6) Se f ( x) = x 2 4 e g ( x) =
169
P3) A funo identidade ( A e Id : A , Id( x) = x ) funciona como um elemento neutro da composio, ou seja: para
f : A e Id : A A, Id f = f Id = f .
De fato, Id f , f Id e f tm o mesmo domnio A e ainda:
[(Id) f ]( x) = Id( f ( x)) = f ( x), x D( f ) e
[ f (Id)]( x) = f (Id( x)) = f ( x), x D( f )
Id ff == ff Id
Id === ff .
Logo, Id
3x 1 + 1 3x
=
=x
3
3
x +1
chamada de funo inversa da
3
funo f e denotada por f 1 .
A funo g : , g ( x) =
170
Lembrando: a relao
inversa g dada por
g = {( y, x) B A / ( x, y ) f },
ou seja, ( y, x) g se e
somente se ( x, y ) f .
171
Observemos agora a funo h : (0,1) , h( x) = 2 x . Ao fazer o caminho de volta, a candidata a inversa deve partir de e voltar
ao intervalo (0,1) . Mas existem elementos de que no so imagem de nenhum elemento de (0,1) pela funo h . Logo, esta candidata no ser uma funo, uma vez que, para ser funo, todos os
elementos de seu domnio devem ter uma imagem, isto , a lei deve
valer para todos os elementos do domnio.
Note que se considerarmos o conjunto imagem de h , todos os elementos deste conjunto esto associados a algum elemento do domnio. Concluso: outra condio, alm de ser injetora, para que a
inversa de uma funo f exista que f seja sobrejetora. O teorema
a seguir caracteriza as funes que admitem inversa.
Teorema. Seja f : A B uma funo. Se f bijetora, ento existe
f 1 : B A . Reciprocamente, se existe f 1 , ento f bijetora.
Demonstrao:
( ) Hiptese:
f bijetora
Tese: existe f 1
Mostraremos que a relao inversa de f uma funo. Seja g a
relao inversa de f ,
g = {( x, y ) A B | ( x, y ) f }
i) Seja y B qualquer. Como f sobrejetora, existe x A tal que
f ( x) = y , ou seja, ( x, y ) f . Logo, ( x, y ) g . Assim, todo elemento de B est relacionado com algum elemento de A .
ii) Seja y B . Suponhamos que este y admita duas imagens
x1 e x2 em A , isto , ( y, x1 ) g e ( y, x2 ) g . Ento ( x1 , y ) f
e ( x2 , y ) f , ou seja, f ( x1 ) = y = f ( x2 ) . Como f injetora, devemos ter x1 = x2 e assim todo elemento y de B est relacionado com um nico elemento de A . Logo, g uma funo e g a
inversa f 1 de f .
( ) Hiptese: existe
Tese: f bijetora
f 1
172
h :[0, ) [0, ), h( x) = x 2
inversvel e sua inversa h 1 ( x) = x .
Exerccios resolvidos
1) Encontre a inversa da funo f : , f ( x) = 2 x3 1 .
Resoluo: y = 2 x3 1, y = f ( x) x = f 1 ( y )
173
y + 1 = 2 x3
y +1
x3 =
2
y +1
x=3
= f 1 ( y )
2
Assim, a funo inversa de f a funo:
f 1 : , f 1 ( x) =
x +1
2
Note que podemos usar qualquer letra para identificar a varivel independente. Podemos ento escrever:
f 1 : , f 1 ( x) =
x +1
ou ento
2
f 1 : , f 1 (t ) =
t +1
.
2
174
em relao
175
Exerccios propostos
7) Verifique a propriedade P3 para as funes
2
f : (0, ) (0, ), f ( x) =
e g : (0, ) (3, ), g ( x) = 4 x 2 3 .
5
x
8) Um fazendeiro tem 100 m de cerca para construir um galinheiro retangular. Chamando x o comprimento de um lado
do galinheiro, descreva a rea em funo de x . Use o resultado para achar a maior rea possvel e os comprimentos dos
lados que do esta rea.
9) Suponha agora que o fazendeiro da questo (8) decida construir a cerca, mas aproveitando a parede de um celeiro, de
modo que ele ter de cercar apenas 3 lados. Se t o comprimento de um lado perpendicular parede do celeiro, ache a
rea cercada como funo de t . Ache tambm a maior rea
possvel e os comprimentos dos lados que do esta rea.
10) A rea de um retngulo pode ser funo de seu permetro?
11) Seja f ( x) = x 2 3 x + 2. Encontre o valor de x tal que f ( x) = 0,5.
12) Mostre que a operao adio de nmeros naturais uma
funo: f : , f (a, b) = a + b (lembre que: (a, b) = (c, d )
se e somente se a = c e b = d ).
13) Determine o domnio das funes:
a) f ( x) =
4x 5
3x 1
b) g ( x) =
x 8
x 7x + 6
c) h( x) =
2x + 5
3x + 5
14) Classifique as funes seguintes em: (I) injetora, (II) sobrejetora, (III) bijetora, (IV) no injetora e (V) no sobrejetora:
a) f : , f ( x) = 2 x + 1
176
b) g : , g ( x) = 1 x 2
c) h : + , h( x) =| x 1|
d) m : , m( x) = 3 x + 2
e) n : , n( x) = [ x] (maior inteiro)
1
f) p : * * , p ( x) =
x
g) q : , q ( x) = x3
h) r : , r ( x) =| x | ( x 1)
15) Determine o menor valor de b em B = {x / x b} de modo
que a funo f de em B definida por f ( x) = x 2 4 x + 6
seja sobrejetora.
16) Determine o maior valor de a em A = {x / x a} de modo
que a funo f de A em definida por f ( x) = 2 x 2 3 x + 4
seja injetora.
17) Os conjuntos A e B tm respectivamente m e n elementos.
Considera-se uma funo f : A B . Qual a condio sobre m
e n para que f possa ser injetora? E para f ser sobrejetora?
E bijetora?
18) Quantas funes injetoras podemos definir de A = {a, b} em
B = {c, d , e, f }?
19) Quantas funes sobrejetoras podemos definir de A = {a, b, c}
em B = {d , e}?
177
Resumo
Neste captulo estudamos:
1) O conceito de funo;
2) O grfico de uma funo;
3) Funes crescentes e funes decrescentes;
4) Funes injetoras, funes sobrejetoras e funes bijetoras;
5) Composio de funes;
6) Funo inversa.
Captulo 5
Funes elementares
Captulo 5
Funes elementares
O objetivo deste captulo fazer um estudo das funes
elementares, as quais servem de modelo para a descrio de fenmenos e situaes reais, preparando o caminho para a compreenso do Clculo Diferencial e Integral. Nosso estudo ter como base o captulo anterior:
provavelmente voc ter que se deslocar para aquele
universo vrias vezes. Veremos as funes polinomiais,
funes racionais e funes trigonomtricas. Use seus
conhecimentos de pacotes computacionais para visualizar grficos; no final do captulo listaremos alguns deles. Lembre-se que deste estudo depender seu sucesso
nas disciplinas de Clculo.
182
duto adiciona-se um valor constante inicial b (que o valor da bandeirada), resultando no preo a pagar. Assim, a distncia percorrida
(em km) a varivel independente x e f (x ) = ax + b ou y = ax + b
o preo a pagar pela corrida.
Exemplos de funes afins:
1) f : , f ( x) = 3 x + 7
(a = 3 e b = 7)
2) g : , g ( x) = x + 1
1
3) h : , h( x) = x 23
2
4) k : , k ( x) = 7 x
(a = 1 e b = 1)
1
(a = e b = 23)
2
(a = 7 e b = 0)
5) s : , s ( x) = 59
(a = 0 e b = 59)
0
3
x
G( f)
Figura 5.1
183
ii) a = 1 e b = 0
Neste caso f (x ) = x, x , e esta a funo identidade, j vista no Captulo 4. Seu grfico o conjunto
G ( f ) = {(x, x ) / x }, a reta que a bissetriz do primeiro e do terceiro quadrantes.
f : , f ( x ) = x
y
G( f)
0
45
Figura 5.2
iii) b = 0 e a 0
Neste caso f ( x) = ax, x , e estas so chamadas funes lineares. O grfico de uma funo linear o conjunto
G ( f ) = {( x, ax) / x } , uma reta que passa pela origem
do plano cartesiano, uma vez que f (0) = 0 .
Exemplos:
7) f x
x
5
y = f (x)
10
-2
Figura 5.3
10
184
8) f x 5 x
y
5
y = f (x)
0
5
0 5
Figura 5.4
2
9) f x x
5
y
2
0
y = f (x)
Figura 5.5
185
y3
S
Q
y2
P A
y1
0
x1 x2
x3
Figura 5.6
BS y3 y2
AQ BS
=
= a . Assim,
=
.
BQ x3 x2
AP BQ
186
y
4
y = f (x)
-5
5
Figura 5.7
Observao 2. Uma funo afim pode estar definida em um intervalo, isto , podemos restringir seu domnio a um intervalo. Neste
caso, seu grfico um segmento de reta. Veja o exemplo 11:
11) f :[1, 2] , f ( x) = 2 x 4 .
y
0 1
y = f (x)
-1
-6
6
Figura 5.8
Observao 3. Se f ( x) = ax + b , chamamos o nmero a de coeficiente angular da reta que representa o grfico da funo f , ou
f ( x2 ) f ( x1 )
taxa de crescimento da funo f " . Note que a =
,
x2 x1
para quaisquer nmeros reais x2 e x1 . Veja a figura:
y
f(x2)
} f(x ) f(x )
2
x2 x1
f(x1)
x1
Figura 5.9
x2
187
Exerccio resolvido
1) Fazer o grfico da funo definida por:
2 x + 1 se x < 2
h( x ) =
x + 3 se x 2
8
6
4
2
4
10
12
14
16
18
20
2
4
6
8
10
12
f ( x2 ) f ( x1 )
x2 x1
188
x 1
5
f (x ) 1 5 x + 1 1 5 x
=
=
=x
5
5
5
189
x 1
5
no mesmo sistema de eixos.
6
5
f (x)
4
3
2
g (x)
1
4 3 2 1
0 1
1
2
3
4
5
6
7
8
9
Exerccios propostos
1) Faa o grfico das funes:
a) f (x ) =
1
3
x+
13
5
b) h (x ) = 2 x
c) g (x ) = 6
d) k : (1,1) , k (x ) = 3 x + 2
x + 1 se x 0
e) s (x ) =
x + 1 se x < 0
10 11 12 13 14 15
190
45
2
7
x , calcule x de modo que f (x ) = .
100
3
5
1
2
a = 1, b = 7 , c =
2
191
b + i
2a
ou x2 =
b i
2a
, com i = 1 .
b
.
2a
eixo de
simetria
F
d1
d1= d2
d2
d
Figura 5.10
192
2 1 0 1
1
y = f (x)
-1
-1
-2
Figura 5.11
c
b 4ac b 2
2 b
f ( x ) = a x + x + = a x +
. Para chegar ex +
a
a
2a
4a 2
193
2
b
ge o seu menor valor, que zero, quando x =
.
2a
4ac b 2
A expresso
independe de x , ou seja, uma constante.
4a 2
b
.
2a
b 4ac b 2
Suponhamos a > 0 . Ento f ( x) = a x + +
atinge o
2a
4a 2
b
seu menor valor quando x =
.
2a
b
o valor f ( x) o menor possvel, ou
2a
b
f o ponto do grfico de f que possui a menor
2a
ordenada. Podemos ento concluir que a parbola neste caso cncava para cima, como mostra a figura:
Figura 5.12
b 4ac b 2
x
+
x=
b
b
, ou seja, ,
2a
2a
b
f o ponto do grfico de f que possui
2a
194
Figura 5.13
b
O ponto ,
2a
b
f chamado de vrtice da parbola. Calculan 2a
b
b
do f obtemos o ponto ,
. Assim, o vrtice tem coor 2a 4a
2a
b
denadas xv =
e yv =
.
2a
4a
A reta vertical que passa pelo vrtice o eixo de simetria da parbola.
b
Note que yv = f =
o menor valor assumido pela funo,
2a 4a
se a > 0 , e o maior valor assumido pela funo, se a < 0 . Isto nos d
a informao sobre o conjunto imagem da funo f :
i) Se a > 0 , Im f = [ yv , )
ii) Se a < 0 , Im f = (, yv ]
Observao 8. Ao esboar o grfico de uma funo quadrtica,
importante saber verificar alguns elementos da parbola:
a) Concavidade (posio dada pelo coeficiente a de x 2 );
b) Pontos onde o grfico corta o eixo X (razes, determinadas
pela soluo da equao f ( x) = 0 );
c) Ponto onde o grfico corta o eixo Y (clculo de f (0) , ou
termo independente);
b
d) Vrtice (ponto ,
);
2a 4a
e) Eixo de simetria (reta x =
b
).
2a
195
Exerccio resolvido
3) Esboar o grfico da funo quadrtica f ( x) = 2 x 2 + 7 x + 4
Resoluo. Temos inicialmente a = 2, b = 7 e c = 4 .
Seguindo o roteiro acima, observamos que:
a) a = 2 < 0 : a parbola cncava para baixo.
b) os pontos onde o grfico corta o eixo X so os pontos para os
quais f ( x) = 0 , ou seja, as razes da equao 2 x 2 + 7 x + 4 = 0 .
Vamos calcul-las.
2 x 2 + 7 x + 4 = 0 equivalente a 2 x 2 7 x 4 = 0
(multiplicamos ambos os membros por 1 ).
Assim, x =
7 49 + 32
1
e temos as razes x1 = e x2 = 4 .
4
2
(4, 0 ).
196
y
81
8
y = f (x)
-1
-5
9
9
1 1 0 1 7 2 5 3 4
2
4 2
eixo de simetria
Figura 5.14
81
Aplicao
A funo quadrtica serve de modelo para resoluo de problemas
de maximizao e de minimizao. Faremos dois exemplos de problemas cuja resoluo depende da anlise e interpretao do grfico
de uma funo quadrtica.
Problema 1. Entre todos os retngulos de permetro 12 u.m., quais
as dimenses daquele que possui maior rea?
197
b 6
=
=3
2a 2
1
26 2 4
10 x
2
M ( x) = x +
x x+4
= (26 x 20 x + 100) =
25
25
5
5
2
1
26 2 4
10 x
2
M ( x) = x 2 +
x x+4
= (26 x 20 x + 100) =
25
25
5
5
M uma funo quadrtica com a =
26
4
, b= e c=4.
25
5
198
Como a > 0 , a parbola que representa o grfico de M cncava
para cima, indicando que M tem um valor mnimo no vrtice. Vamos
calcular este vrtice:
4
b
5
5 .
x
26
2a
13
2
25
Calculando o valor y , obtemos y =
10 x
=
5
2
5
13 = 25 . O valor
5
13
10
2
5 25 650 50
=
mnimo de x + y ser M = + =
.
13 13 169 13
2
5
25
e y .
13
13
Exerccios resolvidos
4) Faa o grfico e determine o conjunto imagem da funo
x + 5 se x < 2
2
x 6 se 2 x < 3
f (x ) = 9
se 3 x 4
se x > 4
2 x
Resoluo. A funo dada por quatro sentenas:
x + 5 no intervalo (, 2) , que uma funo afim;
x 2 6 no intervalo [2,3) , que uma funo quadrtica;
9
no intervalo [3, 4] , que uma funo constante;
2
199
y
10
8
7
9
2
3
2 1 0
2 3
5
6
Figura 5.15
1 2
x , h( x ) = 2 x 2 .
2
200
Resoluo:
1
2
-1
-1
1
2
-1
h (x)
f (x)
g (x)
9/2
4
3
2
1
1/2
5
Figura 5.16
Observando o coeficiente a > 0 , vemos que ele determina a abertura da parbola. Quanto menor o valor de a , maior a abertura.
201
3
23
, yv = . Conseqentemente, a
4
8
23
imagem da funo , e o eixo de simetria passa pelo ponto
8
3 23
, .
4 8
202
y
4
3
23
8
y = f (x)
1
2
3
2
3 1
4
3
2
Figura 5.17
Analisando o grfico, para que a funo seja injetora, devemos considerar uma das metades da parbola (ou uma parte menor), determinadas pelo eixo de simetria. As projees das metades no eixo X
3 3
203
Exerccios propostos
5) Estude as funes dadas abaixo, determinando razes, vrtice,
pontos de interseco com os eixos, eixo de simetria, grfico e
conjunto imagem:
a) f ( x) = x 2 x + 6
b) f ( x) = 5 x 2 2 x + 4
c) f ( x) = (3 x)( x + 1)
d) f ( x) = 2 x 2 16 x
e) f ( x) = 4 x 2
f) f ( x) = (3 x) 2
1
g) f ( x) = x 2 x + 1
2
h) f ( x) = (4 3 x 2 )
6) Encontre o valor x de modo que f ( x) = x 2 3x + 2 =
1
.
2
204
10) Um restaurante a quilo vende 100 kg de comida por dia, a
R$ 12, 00 o quilo. Uma pesquisa revelou que, para cada real de
aumento no preo, o restaurante perderia 10 clientes, com um
consumo mdio de 500 gramas cada. Qual deve ser o valor do
quilo de comida para que o restaurante tenha a maior receita?
1
2
a0 =
78
11
78
; a1 = 0; a2 = 4; a3 = 13 .
11
18) g (t ) = 8t 9 + 4 2t 5 t + 1
a0 = 1; a1 = 1; a2 = a3 = a4 = 0; a5 = 4 2; a6 = a7 = a8 = 0; a9 = 8
19) h(t ) = 3 ; a0 = 3 ; as outras constantes so nulas.
Observao 9. A expresso an x n + an 1 x n 1 + ... + a2 x 2 + a1 x1 + a0 chama-se polinmio e se an 0 , dizemos que um polinmio de grau n .
O grau do polinmio (e no da funo!) ento o maior valor de n
para o qual an diferente de zero. A funo:
f (x ) = an x n + an 1 x n 1 + ... + a2 x 2 + a1 x1 + a0
uma funo polinomial de grau n quando an 0 . As funes afim e
quadrtica so exemplos de funes polinomiais.
205
Igualdade de polinmios
Dois polinmios an x n + an 1 x n 1 + ... + a2 x 2 + a1 x1 + a0 e
bm x m + bm 1 x m 1 + ... + b2 x 2 + b1 x1 + b0 so iguais quando m = n e
an = bm , an 1 = bm 1 ,..., a2 = b2 , a1 = b1 , a0 = b0 . Assim, dois polinmios
so iguais quando tm o mesmo grau e seus termos correspondentes so iguais.
Observao 11. claro que a igualdade de funes vale para funes
polinomiais. Duas funes polinomiais f ( x) e g ( x) sero iguais
quando f ( x) = g ( x), x . Isto acontece quando seus coeficientes
correspondentes so iguais.
Simbolicamente, para
f ( x) = an x n + an 1 x n 1 + ... + a2 x 2 + a1 x1 + a0 ,
g ( x) = bm x m + bm 1 x m 1 + ... + b2 x 2 + b1 x1 + b0
f = g se e somente se m = n e
an = bm , an 1 = bm 1 ,..., a2 = b2 , a1 = b1 , a0 = b0 .
206
Exemplos:
20) f ( x) = x 3 possui trs razes iguais, x1 = x2 = x3 = 0 . Diz-se neste caso que zero uma raiz de multiplicidade 3 .
21) g ( x) = x 5 x 3 possui cinco razes reais, mas trs delas so
iguais. De fato, x5 x 3 = 0 implica x 3 ( x 2 1) = 0 e da obtemos
as razes x1 = 1, x2 = 1, x3 = x4 = x5 = 0 .
8
7
6
5
4
3
2
1
2 1 0 1 2
1
2
3
4
5
6
7
8
Figura 5.18
y = f (x)
-1
-1
-2
-8
-3
-27
-10
-1000
27
10
1000
-1/2
-1/8
1/2
1/8
207
208
y
Exerccios propostos
12) Esboce o grfico das funes f ( x) = x 3 + 1 e f ( x) = x 3 1 . O que
voc pode observar?
13) O grfico abaixo o grfico de uma funo polinomial de
grau 3 . Determine a funo.
y
19
8
2
3 1
2
0
1
35
8
Figura 5.21
3
2
209
24) f ( x) =
1
; D (g ) = {3}, uma vez que 3 raiz da funx+3
o polinomial Q (x ) = x + 3 .
25) g (x ) =
4 x3 x + 1
; para determinarmos o domnio de h dex3 x
vemos verificar para quais valores de x a funo polinomial
Q( x) = x 3 x se anula, ou seja, devemos calcular as razes de
Q( x) :
x3 x = 0
26) h (x ) =
xx((x 22 11))= 0 x = 0 ou x 2 1 = 0 x = 0 ou x = 1 ou x = 1
x (x 2 1)= 0 x = 0 ou x 2 1 = 0 x = 0 ou x = 1 ou x = 1 .
Ento teremos D(h) = {0,1, 1} .
2
; neste caso no to simples determix x + 5x 3
nar o domnio. No sabemos como calcular, atravs de uma
frmula, as razes de uma funo polinomial deste tipo. Para
determinar o domnio da funo K , devemos usar mtodos
mais elaborados de clculo de razes atravs de aproximaes.
Voc estudar estes mtodos aps as disciplinas de Clculo
Diferencial e Integral.
27) K
K (x)) =
210
Exemplo:
28) Determinar as razes de h = x 4 5 x 2 4
Resoluo: Fazendo a mudana de varivel, x 2 = y , obtemos
h1 ( x) = y 2 5 y + 4 . Para h1 ( y ) = 0 , temos y 2 5 y + 4 = 0 (uma
equao do segundo grau) e as razes so y1 = 1 e y2 = 4 . Como
x 2 = y , fazemos x 2 = 1 e x 2 = 4 ; resolvendo estas equaes, temos
x1 = 1,, x2 = 1,, x3 = 2 e x4 = 2 . Estas so as razes da funo h( x) .
1
1
2
2
0
1
2
1
Figura 5.22
y = f (x)
-1
-1
1
2
-2
1
2
211
1
uma funo mpar (prove!). Para x > 0 , medix
da que x se aproxima de zero, o valor da funo aumenta (quanto
menor o denominador, maior a frao). Por outro lado, medida que
x > 0 assume valores cada vez maiores, o valor da funo se aproxima de zero.
Note que f ( x) =
Tarefa
O que acontece esquerda do eixo Y ?
Exemplos:
30) f ( x) =
x
0
1
2
-1
3
2
-2
5
2
-10
y = f (x)
10
1
; D( f ) = {2}
x2
2
1
1
2
1
1
8
1
12
3 25 3
2 2
Figura 5.23
1
com o grx2
1
fico da funo do exemplo anterior. O grfico de f ( x) =
x2
pode ser obtido pelo deslocamento horizontal (de duas unida1
des) do grfico de f ( x) = .
x
212
31) f ( x) =
x
; D( f ) = {2}
x2
y
-6 -5 -4
y = f (x)
1/3
1/2
2
3
2
-1
-1
-3
-3
-4
-6
3/2
1/2
1/5
-3/2
-3
-3 -2 - 3 -1 O 1 1
2
2
-1
-2
-3
Figura 5.24
Observe, tambm neste exemplo, a semelhana com os grficos dos exemplos anteriores.
32) f ( x) =
1
; D( f ) = {2, 2}
x 4
2
-3
-5
2
-2
- 3 -1
2
-1
4
4/9
1/5
O
3
2
5
2
1
4
3
2
4
5
3
-3
-1
-2
Figura 5.25
y = f (x)
5
2
5
2
1
5
1
5
4
9
4
9
213
Note que este grfico difere dos anteriores; observe que a funo que aparece no denominador uma funo quadrtica.
Exerccios propostos
14) D o domnio e faa o grfico das funes racionais:
x
a) f ( x) = 2
x 1
b) g ( x) =
x+2
x2 4
c) h( x) = 1 +
1
x 3
5.3 Funo-mdulo
A funo f : dada por f ( x) =| x | chamada funo-m x se x 0
dulo. Lembrando a definio de mdulo, x
, temos
x se x 0
x se x 0
.
f x
x se x 0
O grfico de f ser:
y
x
y = f (x)
-1
-2
-3 -2 -1
O 1
Figura 5.26
214
se x 2
se x < 2
O grfico de f :
y
y = f (x)
-1
1
-4
-3
-2
-1
Figura 5.27
215
x 2 5 se x 5 ou x 5
g x 2
x 5 se 5 x 5
O grfico de g :
y
x
y = f (x)
0
0
-3
-1
-3 -5 -2
-1
O 1
2 5 3
-5
Figura 5.28
216
Exerccios propostos
16) Construa os grficos das seguintes funes:
a) f ( x) =| 4 2 x |
b) g ( x) = 1 + x + | x | + | x 2 2 |
x
c) h( x) =
| x|
17) D o domnio e construa o grfico da funo:
x2 + 2x
se x < 0
x
g (x ) = 2
x 2 se x > 0
x
Arco de circunferncia
Considere uma circunferncia qualquer e nela fixe um ponto A .
M
Figura 5.29
217
Medidas de arcos
Voc j se perguntou por
que foi feita a diviso em
360 partes e no em 100,
por exemplo? A origem
dessa escolha histrica,
pois foi criada inicialmente
pelos babilnios e tambm
por povos pr-colombianos
das Amricas (Incas,
Maias...), que utilizavam
um sistema de numerao
com base sexagesimal.
Outra explicao o
estabelecimento de uma
relao com o chamado
movimento de Translao da
Terra em torno do Sol, que
alguns povos acreditavam
se completar em 360 dias.
Figura 5.30
O
r
A
Figura 5.31
AB mede 1 rad
218
Exemplos:
B
A
O 2 cm
AB mede 2 rad
|AB| = 4 cm
Figura 5.32
AB mede 3 rad
B
O
5 cm
|AB| = 15 cm
A
Figura 5.33
Didaticamente importante
que seus alunos percebam o
porqu da correspondncia
entre o arco de 180 e sua
medida em radianos (p rad),
seno os estudantes apenas
acreditaro e memorizaro
esta informao, sem
perceber o que significa.
Conseqentemente, tero
dificuldade em operar
com ela.
219
Exemplos:
37) Expresse 135 em radianos.
180 p rad
135 y
38) Expresse
135p 3p
rad
180
4
p
em graus.
6
180 p rad
p
z
6
p
180
6 30
z
p
Exerccio proposto
18) Expresse em radianos:
a) 90
d) 270
b) 60
c) 45
e) 120
ngulo central
B
O
A
Figura 5.34
Seja O o centro
da
circunferncia e A e B pontos sobre ela. As
. Por definio, a
semi-retas OA e OB determinam o ngulo AOB
220
igual medida do arco
medida do ngulo central AOB
AB (em
graus ou radianos).
10 cm
Figura 5.36
221
Em trigonometria convencionou-se estabelecer uma orientao sobre a circunferncia, fixando nela um sentido de percurso. O ciclo
trigonomtrico a circunferncia de raio 1, centrada na origem do
sistema cartesiano XOY , orientada a partir do ponto (1, 0) . O sentido positivo o anti-horrio e o sentido negativo horrio. O ciclo
trigonomtrico o lugar onde faremos nosso estudo das funes
trigonomtricas.
y
Figura 5.37
4
O
p rad
4
222
y
A
-
4
p
rad
4
4
-
4
Figura 5.40
Quadrantes
O ciclo trigonomtrico tem quatro quadrantes, numerados tambm
a partir do ponto (1, 0) :
223
p
o
Quadrante I: de 0o ou 0 rad a 90 ou
rad.
2
p
o
Quadrante II: de 90 ou rad a 180o ou p rad.
2
3p
Quadrante III: de 180o ou p rad a 270o ou
rad.
2
3p
Quadrante IV: de 270o ou
rad a 360o ou 2p rad,
2
fechando o crculo.
Veja a figura:
y
90 ou rad
2
180
ou rad
II
III
I
O
IV
A 0 ou
2 rad x
270 ou 3 rad
2
Figura 5.41
Exerccio resolvido
4) Localizar no ciclo trigonomtrico o arco de medida
3p
rad.
4
3p
rad corresponde a 3 ar4
3p
p
p
3 . Como a circunferncia
cos sucessivos de
rad, isto ,
4
4
4
p
mede 2p , um arco de
corresponde a um oitavo da circunferncia:
4
2p p
3p
. Assim, o arco de medida
corresponde a trs oitavos da
8
4
4
circunferncia. Veja a figura:
Resoluo. Note que um arco de medida
224
3
4
4
4
2 y
4
O
5
4
6
4
7
4
Figura 5.42
Exerccios propostos
20) O ciclo trigonomtrico foi dividido em oito partes iguais. Localize sobre ele a extremidade B do arco
AB , sendo dada a
medida deste arco:
a) 135
b) 180
5p
rad
4
p
d) rad
2
3p
e) rad
4
c)
AB de medida:
a) 120
b) 330
11p
rad
6
4p
d)
rad
3
7p
e)
rad
6
c)
225
Arcos cngruos
Suponha que um ponto mvel (como na definio de arco) desloque-se sobre a circunferncia a partir de (1, 0) , sempre no mesmo
p
sentido, at parar em . Temos duas possibilidades: o ponto pra
4
p
em
assim que o atinge ou o ponto d certo nmero de voltas na
4
p
circunferncia antes de parar em . Observe na figura 5.43 que o
4
p
p
arco de
rad tem a mesma extremidade que os arcos 2 p rad,
4
4
p
p
p
4 p rad, 6 p rad,... , k p ,... para todo inteiro k . Os valores
4
4
4
negativos de k tambm produzem arcos de mesma extremidade
p
que , resultantes do movimento em sentido horrio (sentido ne4
p
p
p
gativo): 2 p rad, 4 p rad, 6 p rad...
4
4
4
y
4
O
Figura 5.43
Cngruo
um termo derivado da palavra congruente que, matematicamente, refere-se a
objetos de mesma medida.
226
20 p 14 6 p 14 p 6 p
6p
.
2 p
7
7
7
7
7
6p
20 p 6 p
2 p , e os arcos de medidas
e
diferem de um
7
7
7
20 p
6p
20 p 6 p
mltiplo inteiro 2p (pois
ser
.
2 p ), a pdp de
7
7
7
7
Como 0
Exerccios resolvidos
7) Encontrar a pdp do arco de medida
47p
.
6
7 p
6
6
6
5p
5p
11p
6 p p 6 p
6
6
6
47 p 11p
227
y
3
6
4
6
2
6
5
6
6
6
7
6
11
6
8
6
9
6
10
6
Figura 5.44
105
Figura 5.45
Exerccios propostos
21) Determinar a pdp dos arcos cujas medidas so:
a)
17 p
4
228
43p
8
c) 615
b)
d) 1330
22) D a medida de trs arcos cuja pdp
4p
.
5
229
P
x
P1
Figura 5.46
cos :
x cos x
230
Relao fundamental
Decorre do Teorema de Pitgoras que sen 2 x + cos 2 x = 1 , para todo
x real. De fato, s considerar o tringulo retngulo OP1 P . Os segmentos OP1 e P1 P que correspondem a cos x e sen x , respectivamente, so os catetos; o segmento OP a hipotenusa. Veja a figura:
y
P
P2
O
P1
Figura 5.47
Observando o ciclo trigonomtrico, podemos determinar alguns valores das funes seno e cosseno:
sen 0 = 0
sen
p
1
2
senp =0
sen
3p
1
2
cos 0 = 1
cos
p
0
2
cos p 1
cos
3p
0
2
231
Q1
M2
Q2
P3
x1
O
P2
x4
x3
x2
P4
P1
Q4
M3
M4
Q3
Figura 5.48
Sinal do seno
Sinal do cosseno
_ O
_
x
Figura 5.49
+
O
232
7p
7p
? E cos
?
2
2
7p
maior do que 2p , tomamos sua primeira determina2
7 p 4 p 3p
3p
2 p
o positiva (pdp):
.
2
2
2
Como
7 p 3p
Assim, a pdp do arco de medida
7p
3p
7p
3p
sen
1 e cos
cos
0 .
2
2
2
2
b
c
Figura 5.50
233
i) Para 45o , ou
4
a
c=b
2b 22 a 22
22bb 2
aa 2
a b 2
aa
bb 22
p b
b
sen p
bb bb
p
sen
sen 44
a
b 2
4 aa bb 22
p
, temos:
4
1
11
2
22
2
p
22 cos p
2
4
cos p
22 cos 44
Figura 5.51
ii) 30o
a2
h 22 a 22 a 22
h 2 a4 a 2
h 4 a2
42 a 2 3a 22
2
h 2 a 2 a 2 3a 2
h 2 a 2 a4 3a4
h a 4 4
4
3 4
h 3 a
h 23 a
h 2 a
2
6
h
p
p
e 60o
6
3
Ento
Figura 5.52
3
a
p h
3
p
sen 2
cos
3 a
a
2
6
a
p 2 1
p
e cos sen
3 a 2
6
Resumindo:
x
p
6
p
4
p
3
p
2
3p
2
cos x
3
2
2
2
1
2
-1
sen x
1
2
2
2
3
2
-1
(em rad)
234
M
x
M'
M'
y'
x
x'
O
y
x'
y'
cos = x = cos
sen = y = y' = sen
Figura 5.53
5p
5p
e cos
.
6
6
235
5p
encontra-se no segun6
5p
p
p
5 . Para
do quadrante e um mltiplo de , isto ,
6
6
6
5p
p
chegar a
necessrio percorrer cinco arcos de .
6
6
Veja a figura:
3
6
4
6
2
6
5
6
6
6
5
6
2
7
6
3
2
11
6
8
6
9
6
1
2
6
x
3
2
10
6
Figura 5.54
sen
5p
p 1
5p
p
3
sen e cos
cos
6
6 2
6
6
2
236
2
3
3
2
1
2
3
3
4
3
O
3
2
4
3
5
3
1
2
Figura 5.55
4p
p
3
4p
p
1
sen
e cos
cos
3
3
2
3
3
2
7p
7p
e cos
.
4
4
7p
encontra-se no quarto quadrante; ana4
logamente aos exemplos anteriores e observando a figura, conclumos que:
O arco de medida
3
4
y 2
4
2
2
x
4
4
O
5
4
6
4
x
O
2
2
7
4
Figura 5.56
2
2
7
4
237
sen
7p
p
2
7p
p
2
sen
e cos
cos
4
4
2
4
4
2
Exerccio proposto
24) Determine seno e cosseno dos arcos de medida:
a)
7p
6
b)
c)
8p
3
d)
e)
17 p
6
f)
g)
11p
4
5p
4
23p
3
24 p
16
1
5
2
3
2
3
2
Figura 5.57
5
2
238
y
Funo cosseno
1
x
5
2
3
2
3
2
Figura 5.58
2k 1 p
2
, ou x k p
p
,
2
5
2
239
Exerccio resolvido
4
9) Encontre o perodo da funo f ( x) = sen x .
5
Resoluo: Procuramos o menor nmero T 0 tal que
f x T f x , para todo x . Isto significa que
4
4
4
4
f x T sen x T sen x T sen x f x .
5
5
5
5
Como o perodo da funo seno 2p , devemos ter
4
10 p 5 p
T 2p T
.
5
4
2
5p
Logo, o perodo de f
. Confira o resultado fazendo o grfico.
2
240
OM = OS
OM = QB
OS = QC
x
Figura 5.59
241
y
sen x
1
2
3
2
3
2
5
2
x
sen (x + )
Figura 5.60
sen (x + )
-1
Tarefa
Faa o grfico da funo composta
(cos g ) ( x) = cos ( g ( x)) = cos ( x + p)
e compare-o com o grfico de cos x . O que voc conclui?
242
cos (2x)
x
5
2
3
2
3
2
5
2
3
cos x
Figura 5.61
cos (2x)
-1
243
Tarefa
1) Faa e estude os grficos das funes compostas cos 3x ,
x
x
cos 4x , cos e cos . O que voc conclui sobre os pero2
4
dos destas funes? E sobre os perodos das funes sen 3x ,
x
x
sen 4x , sen e sen ?
2
4
p
, faa o grfico e determine o perodo da
2
p
funo composta cos f x cos f x cos 2 x .
2) Para f x 2 x
Exemplo:
46) u x 1 x , u sen x u sen x 1 sen x
Vamos analisar e comparar os grficos de sen x e 1 sen x :
y
2
1+ sen x
1
5
2
2 3
2
3
2
5
2
x
sen x
Figura 5.62
Observamos que:
a) os dois grficos tm o mesmo formato, mas o grfico de
1 sen x est deslocado uma unidade na vertical, para cima.
Conseqentemente, a funo 1 sen x no corta o eixo X
nos mesmos pontos que a funo sen x (as funes no tm
os mesmos zeros).
b) o perodo das funes 2p .
c) o domnio de 1 sen x o mesmo da funo sen x , mas as
imagens so diferentes: Im 1 sen x 0, 2 .
244
Tarefa
Seja v x 2 x . Analise o grfico da funo composta
Exerccios propostos
25) D o perodo e os zeros das seguintes funes:
p
a) m x 3 cos x
p
b) s x 4 sen x
3
26) Faa o grfico das funes abaixo, no intervalo 2 p,3p .
a) f x sen 2 x
x
b) g x sen
4
x
c) m x cos
3
27) Sabendo que cos x 0,1 e x est no quarto quadrante, calcule
senx .
245
Funo seno
1
5
2
3
2
3
2
5
2
Figura 5.63
p p
No intervalo , a funo seno injetora, e o mesmo ocorre
2 2
p 3p 3p p
nos intervalos , , , , e em uma infinidade de ou2 2 2
2
tros. Observe tambm que nestes intervalos a imagem da funo
1,1 , ou seja, ela tambm sobrejetora. Fixando o intervalo
p p
,
, consideremos a funo
2 2
p p
F : , 1,1
2 2
F x sen x
F uma funo bijetora (prove isso!) e, portanto, inversvel! Definimos a inversa da funo F como
p p
g : 1,1 ,
2 2
g x arcsen x (l-se arco seno de x ).
A funo g associa a cada nmero real x do intervalo 1,1 , o arco
cujo seno x . Por exemplo:
1 p
1
p
g ; g 0 0; g ;
2 6
2
6
O grfico da funo g dado por
2 p
.
g
2 4
246
3 1
- 3 - 1
-1 2 2
arc sen x
1/2
/6 0,52
/2
/3 1,04
/2
/4 0,78
6
O
1 3 1
2 2
-1 -
6
-1/2
-/6
- /2
-/3
-
3
-
2
Figura 5.64
arc sen x
sen x
2
bissetriz do 1 quadrante
Figura 5.65
247
Analisando agora a funo cosseno,
y
Funo cosseno
1
x
5
2
3
2
3
2
5
2
1
Figura 5.66
arccos x
-1
-1
-1/2
2/3
/2
1/2
/3
2
3
/
2
1 1
2
Figura 5.67
1
2
248
/2
1
1
bissetriz do 1
quadrante
cos x
Figura 5.68
Exerccios resolvidos
2
.
arccos
10) Calcule sen
2
Resoluo. Queremos calcular o seno do arco cujo cosseno
.
2
2
2
Se y o arco cujo cosseno
, isto , cos y
, qual o va2
2
lor de sen y ? Lembramos que nosso intervalo de trabalho para os
valores do arco y o intervalo 0, p , a imagem da funo arco
cosseno. Assim, existe um nico valor de y no intervalo 0, p ,
p
2
tal que cos y
. Este valor, como sabemos, . Assim,
4
2
2
p
2
sen
arccos
sen y sen
.
2
4
2
249
3p
12) Determine arcsensen .
2
3p
1 , o problema consiste em determinar
2
p p
arcsen 1 . O nico arco pertencente ao intervalo , cujo
2 2
p
3p
p
seno 1
. Logo, arcsensen .
2
2
2
Resoluo. Como sen
Voc poderia pensar que, como seno e arco seno so funes inversas, ento arcsen(sen x) = x , para qualquer valor x . Mas no podemos esquecer a definio! preciso estar atento para o domnio e
contradomnio das duas funes.
Exerccio proposto
28) Calcule:
1
a) sen arcsen
arccos
b) cos
c) sen arccos 0
arcsen
d) cos
3p
e) arcsensen
3p
f) arccos cos
250
x
O
eixo das
tangentes
Figura 5.69
251
, ou seja,
, para valores de x tais que cos x 0 .
OC OA
cos x
1
p
Lembrando que cos x 0 quando x k p , k , podemos
2
definir a funo tangente como:
p
tg : k p / k
2
tgx
sen x
cos x
M1
B2
A
M2
3
2
Figura 5.70
B1
252
B2
B1
x
z
A
K3
3
2
K2
K3
Figura 5.71
p
e apro2
ximando-se cada vez mais deste valor, tg x um nmero negativo
assumindo, em mdulo, valores infinitamente grandes.
No entanto, quando x assume valores maiores do que
253
p
p
p sen 4
Para x , tg
p
4
4
cos
4
2
2 1 .
2
2
p
p
p
6
Para x , tg
p
6
6
cos
6
1
2 1 3.
3
3
3
2
p
p
p sen 3
Para x , tg
p
3
3
cos
3
3
2 3.
1
2
sen
Resumindo:
x
p
6
p
4
p
3
tg x
3
3
Exerccio resolvido
13) Determine o valor de tg
Resoluo.
22 p
.
3
22 p 18 p 4 p
4p
22 p
4p
= tg
6 p
. Logo, tg
.
3
3
3
3
3
3
4p
p
3
4p
p
1
sen
cos ,
Como sen
e cos
3
3
2
3
3
2
3
22 p
4p
tg
2 3.
teremos tg
1
3
3
254
Observao 18. Como sabemos reduzir seno e cosseno ao primeiro
quadrante, tambm podemos faz-lo para a tangente, j que ela depende destas duas funes. Note que basta conhecer uma das funes, seno ou cosseno, para conhecermos a tangente, pois seno e cosseno esto relacionados pela Relao Fundamental sen 2 x cos 2 x 1 .
Por exemplo, se sabemos que x est no primeiro quadrante e
sen x 0, 2 , podemos calcular a tg x fazendo:
0, 22 cos 2 x 1
0, 04 cos 2 x 1
cos 2 x 1 0, 04
cos 2 x 0,96
cos x
96
100
96
2 6
100
5
x
5
2
3
2
Figura 5.72
3
2
5
2
255
tg x .
cos x p cos x.cos p sen x.sen p cos x
p p
Note que o grfico no intervalo , se repete a cada inter 2 2
p
p
valo de comprimento p , do tipo k p , k p com k .
2
2
2) Os zeros da funo tangente so os zeros da funo seno, isto
, tg x 0 quando x k p , pra todo k .
3) A imagem da funo tangente o conjunto dos nmeros reais.
p
4) A funo no est definida para os valores x k p , para
2
todo k , ou seja, estes pontos no tm imagem pela funo
tangente. Observe o que acontece na vizinhana destes pontos,
lembrando das consideraes que fizemos para os valores notveis da tangente.
5) Nos intervalos
5 p 3p 3p p p p p 3p
,
,
,
,
,
, , ,.. a funo tan ...
2
2 2
2 2 2 2 2
gente injetora. Isto nos sugere que ela inversvel em cada
um destes intervalos.
256
arc tg x
4
1
2
tg x
Figura 5.73
Exerccio resolvido
14) Calcule sen (arctg ( 3)) .
Resoluo. Seja x o arco cuja tangente 3 , isto ,
tg x 3 . Queremos calcular sen x . Sabemos dos valores notveis
257
p
3 ; mas qual arco cuja tangente resulta no oposto deste
3
nmero? Vamos observar no ciclo trigonomtrico:
que tg
2
3
Figura 5.74
2 p p
e
3
3
tem-se
2p
p
tg
3 . Mas a funo arctg tem como imagem o in3
3
p p
tervalo , , isto , tem como imagem arcos no primeiro ou
2 2
2p
quarto quadrantes. O arco de medida
est no segundo quadran3
p
p
3
e sen
Exerccios propostos
p
p
p
29) Conhecendo o seno e o cosseno de rad, rad e rad, cal6
4
3
cule sen x e cosx para:
a) x 1230o
c) x
13p
rad
4
b) x 960o
d) x
47 p
rad
6
258
b) cos 7, 68
c) sen 13
d) cos 2
b) g x tg
x
2
c) h x 1 cos 3 x d) m x 2 sen
x
2
3x
4
p
b) g 2 x sen x
c) g3 x 5cos
px
2
d) g 4 x 8 sen
e) g5 x 1 tg
x
2
f) g 6 x tg 2 x
13p
3
b) tg
23p
4
x
3
259
Resumo
Neste captulo estudamos as funes elementares:
Funes polinomiais funo afim, funo quadrtica e funes polinomiais de modo geral.
Funes racionais (quociente de funes polinomiais).
Funes envolvendo mdulo.
Funes trigonomtricas - seno, cosseno e tangente.
As funes trigonomtricas cotangente, secante e cossecante dependem das funes seno e cosseno e sero apresentadas em material
complementar. As funes logaritmo e exponencial tambm sero
apresentadas em material complementar.
Para construo de grficos, sugerimos que voc use seus conhecimentos da disciplina Estudo de Softwares Educacionais: o software
Winplot, por exemplo. Lembre-se que para utilizar confortavelmente
um software de construo de grficos, voc precisa conhecer a teoria das funes.
260
Bibliografia comentada
IEZZI, G.; MURAKAMI, C. Fundamentos da matemtica elementar.
8. ed. Guarulhos: Atual, 2004. (Fundamentos da Matemtica
Elementar, v. 1 conjuntos, funes e v. 3 trigonometria).
Estes livros apresentam um resumo da teoria e muitos exerccios resolvidos
e propostos.
261
Referncias
VILA, G. Anlise matemtica para a licenciatura. So Paulo: Edgard
Blucher, 2001.
CARNEIRO, V. C. Funes elementares. Porto Alegre: Editora da
UFRGS, 1993.
DOMINGUES, H. H. Fundamentos de aritmtica. So Paulo: Atual,
1998.
FLEMMING, D. M.; GONALVES, M. B. Clculo A. So Paulo:
Makron Books, 1992.
GUIDORIZZI, H. L. Um curso de clculo. So Paulo: LTC, 1987.
LIMA, E. L.; Carvalho, P. C. P.; Wagner, e.; Morgado, A. C.
A matemtica do ensino mdio. Rio de Janeiro: SBM, 2001. v. 1.
(Coleo do Professor de Matemtica)
MONTEIRO, L. H. J. Iniciao s estruturas algbricas. So Paulo:
G.E.E.M., 1973.
SIMMONS, G. F. Clculo com geometria analtica. So Paulo: McGrawHill Ltda., 1985.
SPIVACK, M. Calculus. Houston: Publish or Perish, 1994.
Tpicos de histria da matemtica para uso em sala de aula (coleo), 6
volumes. So Paulo: Saraiva S.A. Livreiros Editores, 2001.
ZILL, D.; DOWAR, J. Basic mathematics for calculus. New York:
McGraw-Hill, 1994.
Revista do Professor de Matemtica (todos os nmeros). So Paulo:
SBM, 2006.
Revista Eureka! (todos os nmeros). Rio de Janeiro: OBM/SBM, 2006.