Você está na página 1de 128

o programa de Matematica da primeira sene do Ensino Medio

tem como tema central as funcoes reais de uma variavs] real ,

estudadas sob 0 ponto de vista elementar, isto

Calculo Infinitesimal. Como preliminar a esse estudo e prep a-

racao para as series subseqiientes, sao apresentadas n090es sobre conjuntos, a ideia geral de funcao e as difereritss cats-

e, sem 0 uso do

'.

.

.

gorias de numeros: naturais, inteiros e, principalmente, reais.

o presente livro cobre esse programa. Ele foi escrito para

professores de Matematica do Ensino Medic e para estudantes

de licenciatura em Matematica. Sua principal mensagem e de que os conceitos abstratos da Maternatica servem de modelos

para situacoes concretas, permitindo analisar, prever e tirar

conclusoes em circunstancias onde uma abordagem empirica

e insatisfat6ria.

A fim de saber que especie de funcao se deve empregar para

resolver urn deterrninado problema, e necessaria conhecer as

propriedades caracterfsticas de cada funcao, pois as situacoes

da vida real, quer no cotidiano, quer na Tecnologia, quer na

Ciencia, nao surgem acornpanhadas de formulas explicitas.

Este e urn ponto de fundamental importancia, frequentemente

ignorado no en sino formal tradicional, onde os conceitos

matematicos sao introduzidos para resolver problemas que se referem a eles mesmos.

Neste livro, as funcoes dos varies tipos apresentados sao

caracterizadas por meio de propriedades simples, permitindo deste modo ao professor emprega-las conscientemente.

S8M

N.Cham.

51:37 L732m

Titulo: A maternatica do ensino medio,

11111111111111111111111111111111111111111111111111

51:3'7

L7321l1

272050 V.1

94641

A Matematica do

Ensino Medio

Volume 1

Elon Lages Lima Paulo Cezar Pinto Carvalho Eduardo Wagner Augusto Cesar Morgado

COlE(;AO DO PROFESSOR DE MATEMATICA

SOCIEDADE BRASILEIRA DE MATEMATICA

"

-

C

!lIa.

~

"'

e

.,

,

,

'.

111.,.

,

. -es

1997 (dU8S edicoes) by

,

.

I, COj)ynall t © 2005,2004, P' 10 Cezar 200_3p'20tO()lC'?u:~v9a~1l~L~~~~IJ~~~gner e Augusto Cesar Morgado

m:~EJonLazes Luna, au 1997 pela OCI e a

""D' , , rre: 'C1'toSreSCI vades, .'

" Estrada , Dona Castorma:

11 °_Horto

c

S : d de Brasileira cIe Maternatica

c ,

. 22460-320, Rio de Janeiro - RJ

I

mpre: ossa no Brasil/Printed ill Brazil

.

Coletr;ao (10 ! Professor de Matematica

-

Capa: Rodolto Capeto IlusLm~ao: Tina Veillo

Distribuicao e vendas:

Sociedade Brasileira de Maternatica e-mail: venoalivros Osbm.org.br Tel.: (21) 2529-5073 www.sbm.org.br

ISBN: 85-8581810-7

,,'.

I

Volume 1

-

-----Oitava- Edicao --

.~ Elon Lages Lima

Paulo Cezar Pinto Carvalho

- Eduardo Wagner

A~gusto C~sa~-Morgado

~--

Colecao do Professor de Matemi:lt~ca

.

Sociedade Brasileira de Materna lC<1,

'

ati . Rio de Janeiro

v

.

5.( : 3:J

i

I

J

',f,J

~

~_w

. ~1

~J~SOCIECADE

BRASILElRA

,Li~':"" ;:;t~

DE MATl:MATICA

Universidade Cat61ica de Brasilia

Sistema de Sibliotecas

Tlpo de Doc,

i

'

~

' Data

• ."no,.,nn.c:

Aquisi<;:ao

Prccedencta

Cernora

LlVROESTE

Curse /l.ocallzacao

Maternati ca/BC

Prec;;o

Zf"OO

COLE9Ao

DO PROFESSOR DE MATEMATICA

o Lf},~;,,·jt"'u" - j·;,L.Lim<L

,,\JJ:ili.'''iC.' ('~Jlld)itl(lt(jria

o Pm/miJilifril(/C! CUIII liS su/tl<;Der:; du.s ('xcrciciu:-; - f\,C.r lorgi.~clo,

.f .11. Pit()IHI,c:ira. P.C:.P,C"r\'Hlho I l.l'('!l"Il<1I1<iCZ;

All'did;1

I' i'lltlWt ('III C(I()lJJctri;) (CVlllprillll.~Ht()1 ArCHt

1';,L,I,iltia

\/()iwlIt' o ~S'OI1l0JlIl:l1l(11)

-

• :\1('11

/)n

t!c'

:.;IJl

de !\!iitl'lllilticH

(' ofltnl:) j·Ji:·1turill

,'

- E.L.LiIllH

o (.'urJl'ciCll;l(/'IS

/II) j-'/nrw

du P.C,P,Cill·\'.d!to

CurJl ,II."; '''OIIl(U(',", tlo« C'xOJ'ciciu:;; - E.L.Lima COIll u colahornciio

e

'J'ri,'

!,(iIlUIJll~tri;l,

NlIlJlcro

"

(:Olllp/('XUS ~ ~l.P.d(J C~ll'\JU), l\,C,~ror~ado, J~.\Va,gncr,

l\ L11ux II ist<~'ricf.ls dc: .J, B, PillJllliJeil'a

o

G

o

G

(.\.Jlu·dclllldn

 

11(1

J~.':ip;,t;fJ - i';,L.Lllua

 

s

C l'[;ltl.'llI,·itica

 

FfllilIlCC'il',., - l\,(;.f\(urg;,ulo, 1~.\Vi.lgI1Cr c S,G.%alli

trll(',j('."i

C:(XJlllutJ ic

l

-

E, \ Vaguer

coin a coiaJlora()i.u de .J. P. Q. Curuciru

Illtl'oc/rlC;lio;/.

(.'('Oluctria

I;spncia/ - r.c.p.(;'ll'\·alliu

(,'('clllll"tri;,

Euclidint/it

P/;lrJiL - .J,L.~I.I3Hrhus(l

 

/.,",lIltwtri;I

,

- E.f •.Li nia

 

·

·

,\ !\[iltCIIJiitic,'l

A.C.t\ior:.=.;.uio

du I~~f/siIll) :11<'rli"

\",f,

J

,\

.\ j,'ltt'lI);itlcil

do

/';J/SillU .\/t!diu \(u/,:.1

:\ .{.'.~I{)r;.! <1{lcl

 

,\ .\ /:ltl'JW;ticii

do

1~1J::dJJO

,11t'di" \'(I/.:;

\.C

.'.1\ l()ry,'~\C i(J

· :\I;lt"JtI;itjc:~

(' En

il/tJ

- KL,Lilll<l

E.L.Lillli\) P,C;, P.C;(H'\'" 1ho,

E.L.Liltll\,

l"l.C.r,Carvidho,

I'~.I Lu ua, 1',(;,1',(;"1',,<1111<),

g. \'Vag-Iter c

E,\Vi.Il41Ier

c

]~.\V~\gIWI'

o

G J:.·pr.·i(.)(lius d,) Jli.""(ljri;! .·\llt(!.;;1 d.-J .\/'-ltC'Hl;ltiC'a

• J~X"IIH' de 'J'cxtl}";: /\wiJi

'/('111,'1'-';(' l'rlJ/li('IJI;J,""

- i';.I

LiIlIH.

1'.C.P.C;lt'\·'llhu, E.\Va.~t\t~r u A.C.i\[orgn<iu

- A.A<lhuc

;c

(It' lin'os ell! ~\I;]'t(,lB;;tica - E. L.LiltHl

COLE9AO INICIA9AO

CIENTIFICA

CI Nd,,](.~rl)s /,.,."ciUll;ti.s

o TnIIJ;;CCIIC/C'lltC::>

- D.C.de Figueiredo

I )riIlJH/ic/;I(/e

CIII TCIIJPu PUJiJJOllJilll

- UlIliL Irltl'uc/w;/io

au .rUgul'it!fW /\[\S - S.C,COl 1t.illhu

COLEGAO TEXTOS UNIVERSITARIOS

illt1'll(JIII;;iu:'1 (.'lllJJ!Jfltn(:io :\1.'.!,{~IJ1·ic<l ('()/Il l) A1;lp/c - L.N.de A1Hlrad(.:

~

}·:h'IIIClIt(J.':i do .'\ritul!!ti(';J - A. Ilcf'\.~z

 

e

j\jr;tfJr/l)S 1\/iLC{'III

itlcIiS

11;11";1" /';ug'('Uil:Jl'j;1

- ]·;,C.cie

Oli vcu-a o i\r:r~/~cI

COLE9AO MATEIViATICA APLICADA

• llJtnx/uc;;i();'1 IJJfi~f('"cia !:,:

,-tilti::>ticil

-

l Ll Iolfurinc

c I\I,S uuloval

COLE9AO OLIIVIPiADAS

Ofilllpi.-Jdas /3l'iI.·;ileir,'ls

1•. i\lIlfllICio, N,Sahhlllh;'ll

de !\{atclIdtic;I T

l).H()(!rigliCs

~J! (.l IG!! - C.~·forcira, E,~(ott.a, 8.TcnAan)

Conteudo

Capitulo 1 . Conjuntos

1.

A nocao de conjunto

1

2,

A relacao de inclusao

3

3, 0 complemental' de urn conjunto

4, Reuniac e intersecao

5, Comentario sobre a nocao de igualdade

6. Rscomendacoes gerais 18

Exercicios

10

14

20

17

Capitulo 2 - Numeros Naturais

1. Introducao 25

2. Comantario: definicoes, axiornas, etc. 26

3. 0 conjunto dos nurneros naturais

4, Destaque para 0 axioma da iriducao

5. Adicao e Multiplicacao 33

29

32

6, Ordem

entre os numeros naturais

34

Exercicios

36 .

Capitulo ,3 Numeros Cardinais

-

1.

Funcoes' 38

2,

A n ocao de- numero cardinal

42·

3, Conjuntos finitos

4. Sobre conjuntos infinitos

49

Exercicios

Capitulo 4 . Numerus Reais

45

47

1.

Segmentos cornensuraveis e incomerisuraveis 52

2,

A reta real

55

3.

Expressoes decimais 59

4.

Desigualdades 67

5.

Intervalos

70

6, Valor absoluto

72

7, Sequencias e Progressfies 74

Exercicios

76

Capitulo 5 . Funcoes Afins

0, 0 produto cartesiano

78

1.

0 plano numerico

2. A funcao

afim

87,

R 2

82

3. A fun cao linear 92

4. Caracteri aacao cia fUI19aO afim

5. Funcc es poligon ais

Exercicios

Capitulo

98

102

104

6 . Funcoes Quadnlticas

1. Definicao e preliruinares,

113

2. Urn problema muito antigo 118

3. A forma canfm ica do trinomio 121

4. 0 grafico cia fun ca o quadratica 124

5. Uma proprieclacle notavei cia parabola 136

6. 0 movimento uniforrnernente variado 142

7. Caracteri zacao das fun coes quad raticas

Exercicios

145

151

Capitulo

7 - Funcoes Polinomiais

1. Funcces polinomiais vs. pclincmios IGO

2. Determinando um polinonrio a partir de seus valcres 163

3. Graficos de pclinomios 1G5

Exercicios 169

Capitulo 8 - F'uncoes Expouenciais e Logaritmicas

1.

Introducao

171

2.

Poten cias de expoente rational

173

:3.

A fun cao exporiencial 178

4. Caracteriz

acao da funcao exponencial

183

5. Funcoes expcn enciais e progressces

6. Funcao inversa

7. Funcces lognrrtmioas 190

8. Caracterizacao

185

186

clas funcces logaritmicas

194

9. Logaritmos n aturais

191

10. A funcao exponencial

de base e 203

11. Como verificar que t(x+h) If(x) clepende apenas de li 209

Exercicios

211

Capitulo 9 - F'uncoes Tr'igono metr-ioa s

1. Introducao 213

2. A funcao

de Euler e a meclida de angulos

3. As funcoes trigoncmetricas

4. As formulas de adicao

5. A lei dos cossenos e a lei clos senos

224

228

233

217

Prefacio

o programa de Maternatica da primeira serie do Ensino Medic tern como

reais de uma variavel real, estudadas sob 0 ponto

Como pre-

liminar a esse estudo e preparacao para as series subsequentes, sao apre- sentadas nocoes sobre conjuntos, a id eia geral de funcao e as diferentes categorias de numeros (naturais, inteiros, racionais e, principalmente, reais).

o presente livro cobre esse programa. Ele contern, a materia Iecio-

de vista elementar, isto e, sem 0 usa do Calculo Infinitesimal.

tema central as funcoes

nada no primeiro dos tres modules do curso de aperfeicoamento para profess ores de Matamatica, iniciado no segundo semestre de 1996, no IMPA, tendo como instrutores os professores AC. 0: Morgado, E. Wagner,

Paulo Cezar Carvalho e 0 autor. A estes caros amigos e-competentes cola->- boradores devo uma revisao critica do manuscrito, a sugestao de alguns exemplos interessantes e a inclusao de numerosos exercfc~os. Por'essa valiosa participacao, registro meus agradecimentos.

o professor de Maternatica, principalmente aquele que atua no cha-

made Segundo Grau, no escasso tempo que lhe resta da faina diaria para preparar suas aulas, conta praticamente com urna unica fonte de referencia: 0 livro-texto que adota (au as outros, que dele pouco diferem). Visando dar ao professor maior apoio bibliografico, a Sociedade Bra- sileira de Matematica, com a colabor acao do IMPA, vem publicarido na sua "Colecao do Professor de Materriatica" uma serie de rnonogr-afias, cada urna delas dedicada a um t6pico especifico, principalmente a nivel do Ensino Medic. A presente publicacao, que pre ten de ser 0 primeiro livro de uma trilogia, tem a mesma finalidade. S6 que agora, em vez de expor 0 programa de Matematica do segundo grau sob forma de temas isolados, estaremos dividindo os assuntos por serie. Em todo este livro, procuramos deixar claro que a Maternatica ofe- rece uma variedade de conceitos abstratos que servem de modelos para situacoes concretas, perrnitirido assirn analisar, prever e tirar conclusoes

de forma eficaz em circunstancias onde uma abordagem ernpirica muitas vezes nao conduz a nada. Todos os temas aqui abordados sao apresen- tados dentro dessa otica. Assim e que os conjuntos sao 0 modele matematico para a organi- zacao do pensamento 16gico;os mimeros sao 0 modele para as operacoes

de contagem e medida; as funcoss afins, as quadraticas, as exponenciais, as logarftmicas e as trigonornetricas, cada uma delas e estudada como 0 modele maternatico adequado para representar uma situacao especffica. A fim de saber qual 0 tipo de funcao que deve ser empregado para resolver um determinado problema, e necessario comparar as carac- terfsticas desse problema com as propriedades tipicas da funcao que se tern em mente. Este processo requer que se conhecam os teoremas

tal conhecimento e im-

possivel aplicar satisfatoriamente os conceitos e metodcs maternaticos para resolver os problemas concretos que ocorrern, tanto no dia-a-dia como nas aplicacfies da Maternatica as outras ciencias e a tecnologia. Varies desses teoremas de caracterizacao sao expostos aqui, de forma elementar. Acho que todos os professores devem conhece-los e ensinar seus alunos a usa-los de forma consciente. Quanto as demons- tracces desses teoremas, embora acessiveis, elas foram incluidas aqui para 0 entendimento dos professores. Nao considero essencial repass a-

de car-acterizacao para cada tipo de funcao. Sem

las aos estudantes, salvo em casos especiais, a criterio de cada professor.

o importante e ter em mente que as aplicacoes aqui sugeridas des-

pertam 0 interesse, justificam 0 esforco, exibem a eficisncia e a utilidade

dos metcdos da Maternatica mas, por outro lado, so podem ser levadas

a born termo se contarern com uma base conceitual adequada.

A publicacao deste livre contou com 0 apoio da FAPERJ, em conve- nio com a CAPES, com a valiosa e sempre presente colaboracao do IMPA

e com a proverbial expertise de Wilson Goes.

Rio de Janeiro, 26 de novembro, 1996 Elon Lages Lima

Prefacio a segunda edicao

Esta edicao difere da primeira apenas pela correcao de alguns erros tipograficos, por uma pequena modificacao no final do Capitulo 8, pel a inclusao de dois novos exercicios no Capitulo 6 e pela eliminacao de uma asneira que escrevi e que 0 Gugu me apontou.

Rio de Janeiro, julho, 1997

Elon Lages Lima

Prefacio a terceira edicao

Nesta edicao a secao 7 do Capitulo 6 foi re-escrita. Quero agradecer a Ar- tur Avila Cordeiro, por uma elegante sugestao ali incorporada. Agradeco tambem a Jonas Gomes pel a imagem da pagina 146. Agradecimentos sao devidos tarnbern a Maria Laura Magalhass Gomes porter usado 0 texto num curso e ter feito uma cuidadosa revisao do mesmo.

Rio de Janeiro, dezembro, 1998 Elon Lages Lima

Prefacio a quinta edicao

Para esta edicao foram feitas algumas modificacoes de pequena monta, visando maior clareza e correcao. Agradeco aos diversos colegas que me apontaram os defeitos, em particular ao Prof Antonio Paiva, que fez uma revisao sistematica do texto.

Rio de Janeiro, outubro, 2000 Elon Lages Lima

Capitulo 1

Conjuntos

1. _A. Nocao de. Conjunto

Toda a Matematica atual e formulada na linguagem de ccnjun-

.tos. Portanto, ~_~?9aOde conjunto e a mais fundamental: a partir dela, todos os conceitos maternaticos podem ser expresses. Ela e

ta~bem a mais simples das i~eias matematicas.

-

Urn conjunto e formado por elementos. Dados urn conjunto A .

-

. - -- - - _"

-

--

--

e urn objeto qualquer a (que pode ate mesmo ser outro conjunto), a unica pergunta cabivel em relacao a eles e: a e ou nao urn e1e- mento do conjunto A? No caso afirmativo, diz-se que a pertence ao conjunto A e escreve-se a E -A. Caso contrario, pos-se a ~ A e

diz-se que a niio pertence ao conjunto

A.

_Co

A Maternatica se ocupa primordialmente de mimeros e do

espaco. Portanto, os conjuntos mais freqiientemente encontrados

na Maternatica sao os conjuntos nurnericos,

(que sao conjuntos como os conjuntos

de pontos) e os conjuntos

de funcoes, de matrizes etc.

as figuras geornetricas que se derivam destes,

A linguagem dos conjuntos, hoje universalmente adotada na

apresentacao da Maternatica, ganhou esta posicao porque permite dar aos conceitos e as proposicoes desta ciencia a precisao e a ge- neralidade que constituem sua caracteristica basica. / .Os conjuntos substituem as "propriedades" e as "condicoes". Assim, em vez de dizermos que "0 objeto x goza da propriedade P" ou "0 objeto li satisfaz a condicao C ", podemos escrever x E A e li E B, onde A e 0 conjunto dos objetos que gozam da propriedade

2 Conjuntos

B e B eo conjunto clos objetos que satisfazem a condicao

, Por exernplo, sejam P a propriedade de urn numero

S8-F par (isto e, divisivel por 2) e C a condicao sobre 0 numero real

l' expressa pOl'

l' 2 - 31' + 2 = o.

POI' outro Iado, sejam

C.

inteiro x

A={

-4,-2,O,),4,6,

}

e

B={l,2}.

Entao, tanto faz dizer que x goza da propriedade condicao C como afirmar que x E A e l' E B.

P e l' satisfaz a

Qual e, porem, a vantagem

que se obtem quando se prefere

dizer que x E ~ e l' E B em vez de dizer que x goza da propriedade

P e l' satisfaz a coridicao

C?

A vantagem de se utilizar a Iinguagem e a notacao de conjun-

tos e que entre estes existe uma algebra, montada

racoes de reuniao (A U B) e intersecao (A n B), alern da relacao

de inclusao (A C B). As propriedades e regras operatorias algebra, como par exernplo

sabre as ope-

cle~sa

An (B U C) = (A n

B) U (A n C)

e

A c AU B,

sao extrernamente faceis de manipular e represeritam urn enorme ganho em sirnplicidacle e exatidao quando cornparadas aomanu- seio de propriedades e coridicoes.

Recomendacoes:

1. Evite dizer "teoria dos conjuntos". Essa teoria

existe mas e a notacao '

neste nivel, esta-se apenas introduzindo a linguagem dos conjuntos. Nao ha teoria alguma aqui.

2. Resista a tentacao de usar

P": Urn objeto pode gozar de uma propriedade, possuir uma pro- priedade, ou ter urna propriedade. Pode tambern satisfazer uma condicao ou cumprir essa condicao. Satisfazer uma propriedade e tao err ado como gozar de uma condicao. Propriedade e sinonimo

a expressao "x satisfaz a propriedade

·<

<:,:

1

'

j

A Matematica do Ensino iVledio,Volume 1 3

'.

,

de atributo; condicao e 0 mesmo que requisite.

3. Nunca escreva coisas como A = {conjunto dos numeros pares}.

Isto e incorreto.

} significa 0 conjunto cujos elemen-

tos estao descritos no interior das chaves.

dos numero pares, A = [numeros pares} ou A =

0 simbolo {

Escreva A = ccnjunto

{2n; n E Z}.

Existe urn conjunto excepcional e intrigante: 0 conjurito va- _?;.io,designado pelo simbolo 0. Ele e ace ito como conjunto porque cumpre a utilissima funcao de simplificar as proposicoes, evitando uma longa e tediosa mencao cle excecoes. Qualquer propriedade contraditoria serve para definir 0 conjunto vazio. POI' exemplo,

tem-se 0 = [x; x =f. x}, 01.1 seja, 0 e 0 conjunto clos objetos x tais que x e cliferente de si mesmo. Seja qual for 0 objeto x, tem-se sempre x tJ. 0. Em muitas quest6es maternaticas e importante saber que

urn determinado conjunto X nao e vazio. Para mostrar que X

vazio, cleve-se simples mente encontrar um objeto x tal quex E X.

nao e

Outros conjuntos curiosos sao os conjuntos unitarios.' Dado

urn objeto x qualquer, 0 conjunto unitario- {~ tem como unico ele-

x e {x} nao: sao a

mesma coisa. POI'exemplo, 0 ! {0} pois {0} possui urn elemento (tern-se 0 E {0}) mas 0 e vazio. Em certas ocasi6es , entretanto pode tornar-se urn peclantismo fazer essa distincao. Nesses ca- sos, admite-se escrever x em vez de {x}. Um exemplo disso ocorre quando se diz que a 'intersecao de duas retas T e s e 0 ponto P (em lugar do conjunto cujo unico elemento e P) e escreve-se T n s = P, em vez de Tn s = {P}. (Com experiencia e bom senso, quem se ocupa de Matematica percebe que a obediencia estrita aos rtgidos padr6es da notacao e do rigor, quando praticada ao pe da letra, pode ser um obstaculo a clareza, a elegancia e ao entendimento dos alunos.)

. mento esse objeto x.

Estritamente

falando,

,

2. _~ .E.ela~a9_Q~Jn~lusao~

Sejam A e B conjuntos.

Se todo elernento de A for tambem

e1e-

In:8Eto ~e B, diz-se qu~ -A ~ urn subconjurito de B, que A e~!~ ~o~-

A Matematica do Ensino Medio, Volume 1 5

4 Conjuntos

tido ern ~j)U q~e 6

nota<;aolA C B.I Exem'Plo: sejam T 0 conjunto dos triangulos e P 0 conjunto dos

poligonos do plano. Todo triangulo e urn poligono, logo T C P.

A relacao A C B chama-so relaciio de inclusiio, Quando A nao

8

parte de B. Para indicar este fato, usa-se a

~ -

-

-'

de B, escreve-se A rt B. Isto significa que nem

~<?_do.e.l~"p!-_en,t9 A pertence _aB, ou seja, que existe pelo menos urn

9'LB.POI'exemplo, sejarn A 0 c~-njunt~ des

objeto ojalque

e urn subconjunto

de

a E A e

Q_

numeros pares e B 0 conjunto dos multiples de 3. Tem-se A rt B

porque 2 E A mas 2 rf_ B. Tem-se tambem

3 rf_ A.

B rt A pois 3 E B mas

Ha duas inclusoes extremas.

A primeira

e 6bvia: para todo

conjunto A, vale A C A (pois 8 claro que todo elemento de A per- tence a A). A outra e, no minimc, curiosa: tem-se 0 C A, seja qual

for 0 conjunto A. Com efeito, se quisessernos mostrar que 0 1- A,

teriamos

x E 0 e impossivel, somos levados a concluir que 0 C A, ou seja,

que ~_~<?'p-j~Jl_!_o~_§l.zioj_~~]J<::onju~!.ode qualquer outro. Diz-se que A 8 urn subconjunto proprio de B quando se tem

A C B com A =1= 0 e A =1= B.

que obter urn objeto x tal que x E 0 mas x rf_ A. Como

A !.'ill~siioc~~_~~~!~lsaogoza de tres propriedac1es fundamentais.

Dados quaisquer conI;nto-s"A, B C tem-se:

- --.

/" reflexiuidade.

A C A;

anti-simetria:

se A c B e B c A entao A = B',

transitiuidade:

se A c B e Bee eritao A C C.

A propriedade anti-simetrica e constantemente usada nos ra-

ciocinios rnaternaticos. Quando se deseja mostrar que os conjuntos

A e B sao iguais, prova-se que A c B e B c A, ou seja, que todo

elemento de A pertence aBe

N a realidade, a propriedade anti-simetrica da relacao de inclusao

contcm, nela embutida, a

os conjuntos A e B sao iguais se, e somente se, tern os mesmos elementos,

todo elemento de B pertence

a A.

~~_~i9aode

igualdade entre conjuntos:

da inclusao e a base do

se chama de

silogismo. Um exemplo de silo gismo (tipicamente aristotelico) eo seguinte: todo ser humano e urn animal, todo animal e mortal, logo todo ser humane e mortal. Na linguagem de conjuntos, isso seria

formulado assim: sejam H, A e M respectivamente

raciocinic dedutivo, sob a forma que classicamente

Por sua vez, a propriedade transitiva

os conjuntos Ternos H cAe --

dos seres humanos, A c M, logoH c M.

dos animais e dos mortais.

"Recornerrdacoesr

4. Se a e urn elemento

tambem ser escrita sob a forma {a} C A. Mas e incorreto

do conjun to A, a relacao a E A pode

escrever

a cAe

{a} EA.

I 5.

Em Geometria, uma reta, urn plano e 0 espaco sao conjuntos.

Seus elementos

escreve-se

plano n. N ao se deve escrever

ao plano n, pois os elementos do conjunto Tl ~_~?

A relacao de inclusao entre conjuntos esta estreitamente re- lacionada com a implicacao logica. Vejamos como. Sejam P e Q propriedades referentes a urn elemento generico de urn conjunto U. Essas propriedades definem os conjuntos A, formado pelos ele- mentos de U que gozam de P, e B, conjunto formado pelos elemen-

tos de U que tern a propriedade Q. Diz-se entao que a propriedade

sao pontos. Se r e uma retacontida

no plano Tl,

do

r C n pois, neste caso, a reta T e urn subconjunto

r E n nem dizer que a reta T pertence

~_?~tos

enao

retas.

P implica

significar

Por exemplo, seja U 0 conjunto dos quadrilateros convexos do plano. Designemos com P a propriedade de um quadrilate-

ro ter seus quatro

(ou acarreta) a propriedade Q, e escreve-se P =? Q; para que A c B.

angulos retos e por Q a propriedade

de urn

quadrilatero ter seus lados opostos paralelos. Entao podemos es- crever P =} Q. Com efeito, neste caso, A eo conjunto dos ratangulos

e B eo conjunto dos paralelogramos, logo

A c B.

Conjuntos

Vejamos outro exemplo. Podernos escrever a implicacao

x 2 + X -

1 = 0

C'-

\,;

"

~

\.~ ;,

r:~ x 3 - 2x + 1 = o.

.)

Ela significa que toda raiz da equacao x 2 + X - 1 = 0 e tambern raiz de

x 3 - 2x + 1 = o.

Ha diferentes maneiras

de se ler a relacao P =} Q. Pode-se

dizer "p implica Q ", "se P entao Q ", "P e coridicao suficiente para

Q ", "Q ~ condis:a~ ne:essaria

Assim, no primeiro exemplo acima, podemos dizer: "ser re- :angulo implica ser paralelogramo", "se x e urn retangulo entao x

para P" 01.1 "P somente se Q".

A Matematica do Ensino Mcdio, Volume 1

7

Recomendacoes:

6. Nunca esereva (ou diga) coisas do tipo

"se

x 2 + x - 1 = 0

=}

x 3 - Zx + 1 = 0".

o simbolo =} nao significa "entao", mas sim "implica". Tambern

e incorreto empregar 0 simbolo =} com 0 significado conclusivo

da palavra "portanto".

0 simbolo adequado

para esta palavra

e nao

=}"

e

7. As definicoes matematicas consistem em atribuir nomes a obje-

tos que gozam de certas propriedades particularmente interessan-

e urn paralelogramo", "ser retangulo e condicao suficiente para

ser

tes. Elas contribuem para a clareza do discurso e a economia do

paralelograrnr,", "ser paralelogramo e condicao necessaria para

ser

pensamento.

POl' exemplo, urn numero natural

n > 1 chama-so

retang:llo",. ou, _finalmente, "todo retangulo e urn paralelogramo".

A implicacao Q =? P chama-se a(z:~_ciproc;_cl,de P =} Q. Eviden-

temen~e, a reciproca de uma irnplicacao verdadeira po de ser falsa.

Nos dOISexemplos dados acima, as reciprocas sao falsas: nem todo _\

paralelogramo

e retarigulo e x = 1 e raiz da equacao r~

-r:i:_

/

mas nao da equacao

x 3 - 2x + 1 = 0

.

(

,

.

~

.'

.

f;

,I"

x 2 + x -1 = o.

Quando sao verdadeiras

ambas as imp1icas:oes .P =} Q e Q =}

P, escreve-se

e suficiente para Q". Isto significa que 0

COD]u.ntodos elementos que gozam da propl'iedade P coincide com

a Q. 01.1 P e necessaria

P 8 Q e le-se "P se ' e somente se " Q" "P e / equlva ente

.

I

"

"/

o ccnjunto dos elementos que gozam de Q. POI' exemplo, sejam P a propriedade

lados medem x<1:!::;;z,ser retangulo e Q a propriedade de valer

de urn tr'iangulo, cujos

727

z-

= x + 1:!-.

Entao P R Q.

primo quando 1 en sao os unicos nurneros naturais

divisores. Embora, estritamente falando, nao seja errado usar "se,

que sao seus

I. e somente se," numa definicao, trata-se de urn costume didatica- mente inadequado pois da a impressao de urn teorema, alem de oeultar 0 fato de que se trata de sirnplesmente dar urn nome a urn eoneeito. Por exemplo, se queremos definir paralelogramo deve- mos dizer assim: "chama-se paralelogramo a urn quadrilatero no qual os lados opostos sao paralelos". Alguns autores escrevem:

"urn quadrilatero e urn paralelogramo se, e sornente se, os lados opostos sao paralelos". Isto nao tern cara de definicao.

Duas observacoes adicionais a respeito de proposicoes mate- rnaticas:

A primeira e que em Matem atica n ao ha afirrnacoes absolu-

tas ou 'p_erempt6rias

tipo "se P entao Q". (Esta afirmacao perempt6ria nao pertence a Maternatica. Ela e apenas sobre Matematica.)

Todas as proposicoes matematicas sao do

Por exemplo, seja 0 Teorema de Pitagoras.

Ele parece uma

verdade absoluta mas na realidade e uma

afirmacao condieional:

"Se a> b?c sao as medidas dos lados

de urn triangulo retan-

8 Conluntos

gulo entiio a 2 = b 2 + c 2 ."

Por is so as vezes se diz que a Matematica

e a ciencia das

condicoes necessarias,

Ou entao se diz como Bertrand Russel:

("Na Maternatica nunea sabemos do que estamos falando nem se e ( verdade 0 que estamos dizendo".

'- A segunda observacao diz respeito as afirrnaeoas que sao va- cuamente satisfeitas. Se um professor disser a sua classe que to- dos os alunos que tiverem 5 metros de altura passarao com nota 10 sem precisar de prestar exames, ele certamente estara falando a verdade, mesmo que corrija suas provas com 0 maximo rigor. Com efeito, sejam P a propriedade de um aluno ter 5 metros de altura

I

.

e Q a de obter nota 10 sem prestar exames.

o conjunto definido pel a propriedade P e vazio e 0 conjunto vazio

Entao P =} Q pais

esta conticlo em qualquer outro. De um modo geral, a implicacao

P

=}

Q e verdadeira (vacuamente) sempre que nao haja

elementos

com a propriedade P. As vezes e mais natural dizer que um objeto cumpre

uma certa

condiciio em lugar de afirrnar que ele possui uma determinadapro-

priedade. POl' exemplo, uma

equacao como x 2 - x - 2 = 0 e mais

apropriadamente vista como uma condicao a que deve satisfazer o nurnero x do que uma propriedade desse numero. (Estamos fa- lando de "rnais ou men os conveniente", nao de "certo ou errado".)

A prcposito, a resolucao de uma equacao e urn caso tipico em que se tern uma sequencia de implicacoes logicas, Vejamos. Para resolver a equacao

x 2 -x-

podemos seguir os passos abaixo:

(P)

."".

x 2 -

X -

2 = 0;

(Q)

(x-2)(x+1)=O;

 

(R)

x = 2

ou

x = -1;

(5) "

x

E {2, -1}.

Se chamarmos respectivamente

2 = 0

de P, Q, R e 5 as condicoes

A Maternatlca do Enslno Medio, Volume 1

9

passos que acabamos de seguir significam que

P

=}

Q

=}

R

=?

5

,

.,

isto

Por transitividade,

e, se 0 numero x satisfaz P entao satisfaz Q e assim pOI'diante.

a conclusao a tirar e P =} 5, au seja:

Se x2-x-2=O

entao XE{2,-1}.

Estritamente falando, esta afirrnacao nao significa que as rai- zes da equacao x 2 -x-2 = 0 sao 2 e -1. 0 que esta dito acima e que se houver raizes desta equacao elas devem pertencer ao conjunto {2, -l}. Acontece, entretanto, que no presente caso, os passos acima podem ser revertidos. E facil ver que valem as implicacoes reciprocas 5 =} R =} Q =} P, logo S =} P. Portanto P ~ 5, ou seja, 2 e -1 sao de fato as (unicas) raizes da equacao

:

x 2 -

x

2 = o. -, - :_

E irnportante, quando s~ r.~21.:yeu-ma-equayao, ter·em~m~nte_ que cada 'passo do processo adotado repres~nta ~lma implicacao

Iogica. As vezes eS-l?a implicacao nao pode ,ser_revertida (isto e, sua y'eciproca nao e verdadeira). Nesses casos, 0 conjunto obticlo no final apenas contern (mas nao e igual a) 0 conjunto das raizes, este ultimo podendo ate mesmo ser vazio. Ilustremos esta possi- bilidade com um exemplo. Seja a equacao )(.2+.] =:=.0. Sabemos que ela riao possui sclucoes

reais. Na seqi

senta a ccndicao sobre ° nurnero x expressa na igualdade ao lado. Assim, P significa x 2 + 1 = 0, etc.

i.encia·;bai~o,-~~da

uma das letras P, Q, R e 5 repre-

(P)

x 2 + 1 = 0.

(multiplicando por x 2 - 1)

(Q)

x4-1=O;

(R)

x4=1;

(5)

x E {-1, 1}.

Evidentemente,

tern-se P =} Q =} R =} 5, logo P =} S, ou seja, toda

10 Conjuntos

raciocinio e absolutamente correto, mas apenas ilustra 0 fato de

que 0 conjunto vazio esta conti do em qualquer outre. A conclusao

se pode tirar e que se houver raizes reais da equacao x 2 + 0 elas pertencer ao ao conjunto {-1 ~1}. Nada mais. 0 fato e

que a implicacao P =? Q nao pode ser revertida: sua reciproca e falsa. Este fenorneno ocorre frequentemerite quando se estudam

as chamadas "equacoes irr acionais", mas as vezes ele se manifesta de forma sutil, provoeando perplexidade. (Veja Exercicio 6.)

que

1 =

Observacao:

Nao e raro que pessoas confundam "necessario" com "suficiente".

A.C.M. notou que os alunos tern mais facilidade de usar correta-

"suficiente" e

sinonimo de "bastante". Talvez isso tenha a ver com 0 fato de que uma condicao suficiente e geralmente mais forte do que a conclusao a que se quer chegar. POI' exemplo, para que urn numero seja par e suficiente que seja multiple de 4. (Ou basta ser multiple de 4 para ser par.) Por outro lado, uma condicao necessaria e, em geral, mais fraca do que a coriclusao desejacla. Assim, por exemplo, para que urn quadrtlatero convexo Q seja urn retangulo e necessario que seus lades opostos sejam paralelos, mas esta propriedade apenas nao assegura que Q tenha seus angulos todos retos. E claro que urn conjunto completo de condicoes necessarias para que seja valida uma propriedade P constitui uma condicao suficiente para P.

.mente est a ultima pal avra do que a anterior, ja que

3. Q Complement.ar de urn Conjurito

A nocao de complementar de urn conjunto s6 faz pleno sentido

quando se fixa urn conjunto U, chamado 0 universe do discurso, 01

conjunto-uniuerso,

ou 0 tema em pauta: estaremos falando somente dos elementos de

1

U poderia ser charnado 0 assunto da discussao,

U.·

Vma vez fixado U, todos os elementos a serem considerados pertencerao a II e todos os conjuntos serao subccnjuntos de U, ou

A Matem.Hica do Ensir:o Medio, Volume 1

11

derivaclos destes. Por exemplo: na Geometria Plana, U e 0 plano. N a teoria aritmetica da divisibilidade, U e 0 conjunto dos numeros inteiros. Entao, dado um conjunto A (isto e, urn subconjunto de U), chama-se complementar de A ao conjunto A C formado pelos objetos de U que nao pertencem a A. Lembremos que, fixado 0 conjunto A, para cada elemento x em U, vale uma, e somente uma, das

alternativas:

o fato de que, para todo x E U, n ao existe uma outra opcao alern de x E A ou x ~ A e eonhecido em Logica como 0 principio do terceiro excluido, eo fato de que as alternativas x E A e x ~ A nao podem ser verdadeiras ao mesmo tempo chama-se 0 principio da

niio-contradiciio . Seguem-se dos principios acima enunciados as seguintes re- gras operat6rias referentes ao complementar:

x E A, ou x ~ A.

(1) Para todo ccnjunto A_ C _1), tern-se (A C)C" = A. cgnjlwto e 0 cornplementar do seu complementar.)

- (2) Se A c B entao B C c A c. (Se

noutro, seu complementar contem esse outro.) A regra (2) pode ser escrita com a notacao =}, assumindo a

(Todo

urn conjunto esta contido

forma seguin te

AcB

=?

BCcA c .

Na realidade, na presenca da regra (1), a regra (2) pode ser reforcada, valendo a equivalencia abaixo

(3)

A"c B B B C c A C -:'

Esta equivalencia pode ser olhada sob 0 ponto de vista logico, usando-se as propriedades P e Q que clefinem respectivamente as conjuntos A e B. Entao 0 conjunto A e formado pelos elementos de

U que gozam da propriedade P, eriquantcque os elementos de B sao

todos os que (pertencem a U e) gozam da propriedade Q. As pro-

priedades que definem os conjuntos A C e B C sao respectivamente

a negaciio de P, representada por pi, e a negaciio de Q, represen-

tada por Q'. Assim, dizer que urn objeto x goza da propriedade pi significa (por definicao) afirmar que x nao goza da proprieclade P

,

'

_

~.

12 Conjuntos

(e analogamente, para Q/). Com estas convencoes, a relacao (3) acima se Ie assim:

(4)

P =? Q se, e somente se, Q' =? P'.

Noutras palavras, a implicacao

dizer que Q' =} pi (a negacao de Q irnplica a negacao de P). Vejamos urn exemplo. Sejarn U 0 conjunto dos quadrilateros convexos, R a propriedade que tem urn quadrilatero x de ser urn retangulo ePa propriedade de ser urn paralelograrno. Entao pi e a propriedade que tern urn quadrilatsro convexo de nao ser um

paralelogramo

R =? P e pi =? R' se leern, neste caso, assim:

P =? Q (P implica Q) equivale a

e R' a de nao ser urn retangulo,

,

As implicacoos

(a)

Se

x e urn retangulo entao x ~eurn paralelogramo; ,

(b)

Se x riao e urn par'alelogramo entao x nao e urn retangulo.

Evidentemente, as afirmacces (a) e (b) sao equivalentes ou

seja, elas sao apenas duas maneiras diferentes de dizer a mesrna

coisa

.

.,~','.;,,\ .;,:,C'.

"

,:,_,,\",\~-,:,,

"i',"_

A implicacao Q' =? pi chama-se a contrapositiva

da implicacao

P =? Q. Sob 0 ponto de vista pragmatico, a contrapositiva de uma implicacao nada mais e do que a mesma implicacao dita com outras palavras, _ouvista de urn angulo diferente. Assim, por exemplo, a afirrnacao de que todo numero primo maior do que 2 e impar e a. afirrnacao de que urn numero par maior do que 2 nao e primo dizern exatamente a mesma coisa, ou seja, exprimem a mesma ideia, s6 que com diferentes termos. No dia-a-dia da Maternatica e frequents, e muitas vezes util substituir urna irnplicacao por sua contrapositiva, a fim de torriar seu significado mais claro ou mais manejavcl. POI' isso e extrema- mente importante entender que P =? Q e Q' =} pi sao afirmacoes equivalentes. A equivalencia entre uma implicacao e sua contrapositiva e a

base das demanstrar;oes par absurdo .

Vejamos urn exernplo. No plano Tl,consideremos as retas perpendiculares T e s. Seja

A Matematica do Ensino ~!'Jdio, Volume 1 13

P a propriedade que tern uma reta x, nesse mesmo plano, de ser

a pro-

diferente de s e perpendicular

a r. Par outro lado, seja Q

priedade de uma ret a x (ainda no plano Il) ser paralela a s. Entao pi , negacao de P, e a propriedade de uma reta em n coincidir com

sou nao ser perpendicular a T. A negacao de Q e a propriedade Q'

que tern

uma reta do plano n de riao ser paralela a s.

A implicacao P =? Q se Ie, em linguagem

comum, assim: se

duas retas distintas (s e x) sao perpendiculares a urna terceira (a saber, T) entao elas (s e x) sao paralelas.

A contrapositiva Q' =? pi significa: se duas retas distintas nao sao paralelas entao elas nao sao perpendiculares a uma terceira. (Nos dois paragrafos acima estamos tratando de retas do mes- mo plano.) Acontece que e mais facil (e mais natural) provar a implicacao Q' =? P~do que P =? Q. Noutras palavras, prova-se que P =? Q pOI' absurdo. 0 raciocinio e bern simples: se as retas distintas sex nao sao' paralelas elas tern urn ponto A em comum. Entao, como e unica a perpendicular s a reta T pelo ponto A, segue-se que x nao e perpendicular a T

s

Figura 1

x

T

14 Conjuntos

Observa~ao:

Para provar que cluas retas sao paralelas, em geral se usa a de- monstracao por absurclo pois a definicao de retas paralelas e ba- seada numa negacao. (Retas paralelas sao retas coplanares que niio possuem pontos em comum.)

Observemos que se U e 0 universe entao U C =

0 e 0 c = U.

Reoomendacao:

8. Muitas vezes (principalmente nos raciocinios por absurdo) e

necessario negar uma implicacao P :::::}Q. It preciso ter cuidado ao

fazer isto. A negacao

homem e mortal" mas "existe (pelo menos) urn homem irnortal". Mais geralmente, negar que P :::::}Q significa admitir que existe (pelo menos) urn objeto que tern a propriedade P mas nao tern a

propriedade Q. Isto e bern diferente de admitir que nenhum objeto com a propriedade P tern tambern a propriedade Q. POI' exemplo, se Pea propriedade que tern um triangulo de ser is6sceles e Q a propriedac1e de ser equilatero, a irnplicacao P :::::}Q significaria que todo triangulo isosceles e equilatero (0 que e falso). A negacao de P :::::}Q e a afirrnacao de que existe (pelo menos) um triangulo

is6sceles nao-equilatero.

Neste contexto, convern fazer uma distincao cuic1adosa en- tre a ideia maternatica de negaciio e a nocao (nao-maternatica) de contrario, ou oposto. Se urn conceito e expresso por uma palavra, 0 conceito contrario e expresso pelo ant6nimo daquela palavra. POl' exemplo, 0 contrario de gigantesco e minuscule, mas a negacao de gigantesco inclui outras gradacoes de tamanho alern de minusculo,

de "todo homem e mortal" nao e "nenhum

.

~ ~.-

"

---

4. (lteunhlo ~ ter-secao

In

Dados- os conjunt~~ A ~-B~~ ;~'~miao (Au B e 0 conjunto formado

pelos el~~~ntos_Q_e.6. mais .0.i2_ eleme~tos_ de' B,,,enquanto q~~'a J1'Ji€!r9_~9~ao_ 3.1} B"~_0 conjunto .d~s objetos que sao ao mesmo tempo

A Matematica do Ensinc r,iedlo, Volume 1

15

elementos de A e de B. Portanto, se consideramos as afirmacoes

x E A,

x E B,

veremos que x E AU B quando pelo menos uma dessas afirrnacoes

."

for verdadeira

afirrnacoes acima forem verdadeiras. Mais concisamente:

e, por outro lado, x E A n B quando am bas as

significa

"x E A ou x E B 1/;

significa

"x

E A

e x E B 1/.

(.

Nota-se, deste modo, que as operacoes

AU B e A n B entre

conjuntos constituem a contrapartida mabematica dos conectivos

l6gicos "ou" e "e". Assim, quando 0 conjunto A e formado pelos elementos que gozam da propriedade P e B pelos que gozam da

propriedade

Q entao a propriedade que define 0 conjunto AU B e

"P ou Q" e 0 conjunto An B e definido pela propriedade "P e Q".

Por exemplo, convencionemos dizer que urn numero x goza da propriedade P quando valer a igualdade

x 2 - 3x + 2 = O.

Digamos ainda que x tem a propriedade Q quando for

x 2 -Sx+6=O.

o conjunto dos nurneros que possuem a propriedade PeA = {l, 2} e 0 conjunto dos numeros que gozam de Q e B = {2,3}. Assim, a afirmacao

equivale a

"x 2 - 3x + 2 = 0

OU

x 2 - Sx + 6 = 0"

<ex E {l, 2, 3},"

"x 2 _ 3x + 2 = 0

e

xl .; Sx + 6 = 0"

16 Conjuntos

equivale a

Noutras palavras,

"x E {2} ou

AUB={1,2,3}

x =2."

e AnB={2}.

E importante ressaltar que a palavra "ou" em Matematica ~em ~m ,signific~do especifico urn tanto diferente daquele que lhe e atr~bUldo ria Imguagem comum. No dia-a-dia, "ou" quase sem- pre hga duas alternativas incompativeis ("vamos de onibus ou de trern?"). Em Matematica, a afirrnaeao "P ou Q" significa que p~lo menos uma das alternativas P ou Q e valida, podendo per- feitamente ocorrer que a,_rnba~sejam. Por exemplo, e cor'reta a afirmacao "todo numero irrteiro e maior do que 10 ou menor do que 20". Noutras palavras, se

A = [x E Z;'x > lO}

e

entao Au B = Z.

B = {x E Z; x < 20}

A diferenca entre 0 usa comum e 0 usa matematico do coriec- tivo "ou" e ilustrada pela anedota do obstetra que t.arnbem era

m~tematico. Ao sail' da sala onde acabara de realizar urn parte foi abordado pelo pai da crianca, que lhe perguntou: "Foi menino

ou menina, doutor?".

se A e 0 conjunto das meninas,

B 0 conjunto dos meninos e x ~

Resposta do medico: "Sim." (Com efeito

recem-nascido: certamente tern-sa x E A U B.~."." " .' As operacoes de reuniao e interseccao sao obviamente comu- tativas

e associativas

e

A U B = B U A

e

An B = B n A,

(A U B) U C = Au (B U C)

(AnB)nC=An(BnC).

A Matematica do Ensinc Medio, Volume 1 17

Alem elisso, cada uma elelas e distributiva em relacao a outra:

An (B U C) = (A n B) U (A n C)

e

AU(BnC)

=(AUB)n(AUC).

Estas igualdades, que podem ser verificadas mediante a conside- racao dos casos possiveis, constituem, na realidade, regras que regem 'ouso combinado dos conectivos 16gicos "ou" e "e",

A conexao entre as operacoes

U,

c e dada pelas

seguintes equivalericias:

n e a relacao de inclusao

AU B = B

{:}

A c B

{:}

An B = A.

c B U C e A n c c B n C para

todo c.' E, finalmente, se A e B sao subconjuntos do universo U, tern-

se:

e

Alem disso A c B =} A U C

(A U B) C = A C nBc

(A n B) C = A cuB C r=:": --

Estas relacoes, atribu_idas ao maternatico ingles Augustus de Mor- gan, significam que a negacao de "P ou Q" e "nem P nem Q" e a

negacao de "P e Q" e "nao P ou nao Q".

/'

5. Comentar'io

Sobre a Nocao de Igualdade

Uma coisa s6 e igual a si pr6pria.

Quando se escreve Q = b, isto significa que Q e b sao simbolos

usados para de signal' 0

POl' exemplo, se Q e a reta perpendicular ao segmento AB, levantada a partir do seu ponto medic e b e 0 conjunto dos pontes do plano que sao equidistantes de A e B entao Q = b. Em Geometria, as vezes ainda se usam express6es como "os angulos C(. e f3 sao iguais" ou "os tr'iangulos AB C e NBI C 1 sao iguais" para significar que sao figuras que podem ser superpostas exatamente uma sobre a outra. A rigor, porern, esta terminolo- gia e inadequada. Duas figuras geornetricas que coincidem por superposicao devem ser chamadas congruenies.

mesmo objeto.

A Matematica do Ensine r.1t:~dioJVolume 1 19

18 Conjuntos

Talvez valha a pena observar que a palavra "igual" em Geo- metria ja foi usada num sentido ate bem mais amplo. Euclides, que viveu ha 2300 anos, chamava "iguais'l,a dois segmentos de reta com 0 mesmo comprimento, a dois poligonos com a mesma area e

a dois s6lidos com 0 mesmo volume. Na linguagem corrente, as vezes se diz que duas pessoas ou

objetos sao iguais quando urn certo atributo, ao qual

discurso naquele momento, e possuido igualmente pel as pessoas ou objetos em questao. Assim, por exemplo, quando dizemos que "todos sao iguais perante a lei", isto signifiea que dois cidadaos quaisquer tern os mesmos direitos e deveres legais. A relacao "0 e igual a b ", que se escreve 0 = b, goza das seguintes propriedades:

se refere 0

Reflexividade:

Simetria:

0 = 0;

se a = b eritao b = a;

Transitiuidade: se

0 = b e b = c entao 0 = c.

Diante da simetria, a transitividade tambem se exprime as- sim: se a = b e c = b entao 0 = c. Em palavras: dois objetos (0

e c) iguais a urn terceiro (b) sao iguais entre si. Formu1ada deste modo, esta propriedade era uma das nocoes comuns (ou axiomas) que Euclides enunciou nas primeiras paginas do seu famoso livro "Os Elementos".

6. Recomcndaeocs Gerais

A adocao da linguagem e da notacao de conjuntos em Maternatica

56 se tornou uma pratica universal a partir da terceira ou quarta decada do seculo vinte. Esse uso, responsavel pelos e1evados graus de precisao, generalidade e clareza nos enunciados, raciocinios e definicoes, provocou uma grande revolucao nos rnetodos, no a1- eance e na profundidade des resultados matematicos. No final do seculo 19, muitos maternaticos ilustres viam com seria desconfian- ca as novas ideias lancadas nos traba1hos pioneiros de G. Cantor. Mas, lenta e seguramente, esse ponto de vista se impos e, no dizer

de D. Hilbert, com sua extraordinaria autoridade, "ninguem nos expulsara desse par aiso que Cantor nos doou".

,., Portanto, se queremos iniciar os jovens em Matematica, e ne- cessario que os familiarizemos com as rudimentos da linguagem e da notacao des conjuntos. Isto, inclusive, vai fac~litar.no~so pr6~rio trabalho, pois a precisao dos conceitos e uma ajuda ~dlspensav~l para a clareza das ideias. Mas, n a sala de aula, ha ~lguns CU1- dados a tomar. 0 principal de1es refere-se ao comedlmento, ao equilibrio, a moderacao Isto consiste .em evitar 0 pe~~ntismo, e.os exageros que conduziram ao descredlto da onda de .Matematlca Moderna". Nao convem insistir em quest6es do tipo {0} -I- {{0}} ou

. Procure, sempre que possivel, ilustrar seus conce1tos cO.m~- xemplos de conjuntos dentro da Maternatica. Alem d: contnbUlr para implantar a linguagem de conjuntos, este procedlmento ~ode tambern ajudar a relembrar, Oll ate mesmo aprender, fatos inte- ressantes sobre Geometria, Aritmetica, etc. Seja cuidadoso, a fim de evitar cometer erros. A auto-.critica e o maior aliado do bom professor. Em cada aula, trate a 131mesmo como urn aiuno cujo trabalho esta sendo examinado. Pense antes no que vai dizer mas critique-se tarnbem depois: ~era que fa~ei ~o- bagem? Se achar que falou, nao he site em corrrgir-se em publico. Longe de desprestigiar, esse habito fortalecera a confian~a dos alu-

mesmo naquele exemplo 0 -I- {0} dado acima.

nos no seu mestre. Esteja atento tarnbem a corre cao gramatical. Linguagem cor- reta e essencia1 para a limpidez do raciocinio. Muitos dos n?ssos coleaas profess ores de Matematica, ate mesmo autores de livros, sao :1m tanto descuic1ados a esse respeito. Dizem, por exemplo que "a reta T intercepta 0 plano 0::. no ponto P", ~ua~do dev:riam dizer intersecia (ou interseta) ja que 0 ponto Pea mterser;:ao (ou interseccac) mas nao a intercepta~ao de T com <X.

- Eis 'aqui outros erros comuns de linguagem que devem ser

"

evitados:

"Maier ou igual a". 0 correto

. e: "maier do que ou 19ua1 a .

r

j

20 Conjuntos

(Tente dizer "igual ou maior a" e veja como soa mal.) "Euclideano", 0 correto e "euclidiano".

"Assumir", no lugar de "super" (vamos assumir que as retas T e

s sejam paralelas). Isto e correto em ingles mas nao em portugues. Nao diga "completude", diga "completeza". (Belo ---1 beleza; rico ---1 riqueza; nobre ---1 nobreza; complete ---1 completeza,)

. Nao diga "Espaco de tempo". Espaco e tempo sao conceitos

fisicos fundamentais e independentes, Diga "intervalo de tempo".

Nao se deve mistura-los.

Exercicios

1. Sejam P l , P2, Q"

de um conjunto-universo os casos possiveis (ou propriedade Pl ou tern

Qz propriedades

referentes a elementos

Ql e Q2 sao incorn-

finalmente, Ql =} P,

U, Suponha que P l e P z esgotam todos

de U ou tem a

seja, urn elemento qualquer

Pz). Suponha aindaqus

Suponha,

pativeis (isto e, e~clue~-se mutu.amente)

que P, =} Ql e P2 =} Q2, Prove que valern as reciprocas:

e

Q2 =} P 2 , / ',; ':,> ~', :

.

.r'

,

.

1

\

no contexte do exercicio anterior 0 seguints f~to

geornetrico: Duas obliquas que se afastam igualmente do pe da perpendicular sao iguaie. Se se afastarn desigualmente entiio sao desiguais e a maior e a que mais se afasta.

3. Sejam Xl Xz, Yl Y2 subconjuntos do conjunto-universo U, Su-

2. Enquadre

ponha que Xl U X2 = U e Y l n Y 2 = 0, que Xl C Y l e que X 2 C Y

Prove que Xl = Yl e X 2 = Y 2 ,

,

7

-

em term os de

clareza e simplicidade dos enunciados. Mostre que qualquer urn deles pode ser resolvido usando 0 outre. Estabele~a resultados analogos com n propriedades ou n subconjuntos em vez de 2. Veja no livro "Coordenadas no Espaco", (Colecao do Professor de Mate- matica, S,B.M.) pag. 83 uma utilizacao deste fato com n = 8,

5. Ainda no tema do primeiro exercicio, seria valido substituir

4. Compare 0 exercicio anterior

com 0 primeiro

'\

'"

A Maternatica do Ensino ~Md!o, Volume 1 21

as implicacoes

P, =} Q, e P2 =} Q2 na hipotese por suas reciprocas

Q 1 :::} P, e Q2 =} P2 ?

6. Escreva as implicacces 16gicas que correspondern a resolucao

da squacao

aparecimento de raizes estranhas.

JX +3 =x,

7. Mostre

sxatamente uma raiz.

8. Considere as seguintes (aparentes) equivalencias logicas:

Vx + 2 = x, vej a quais sao

reversiveis e explique 0

Faca 0 mesmo com a equacao

que, para todo m > 0, a equacao Vx + m = x tem

x = 1

{=?

x 2 -

Zx + 1 = 0

 

{=?

x 2 -

2

.

1 +

1 =

0

{=?

x 2 -

1 = 0

 

{=?

x=±l,

Cone 1usao (?),:

9. As raizes do polinomio x 3 -6x 2 + 11x-6 sao 1, 2 e 3, Substit::a,

nessepolinomio,

6x 2 + 16, que ainda tern 2 como raiz mas nao se anula para x = 1

nem x = 3. Enuncie urn resultado relacione com 0 exercicio anterior.

10. Expressoes tais como "para todo" e "qualquer que seja" sao

que explique este fato e 0

x = 1

~+r

x ~ ±1 " Onde esta 0 erro?--

0 termo I lx pOI' 11 x -2 = 22, obtendo entao x.:>-

geral

chamadas de quantificadores e aparecem

em sentencas dos tipos:

(1)

"Para todo x, e satisfeita

a coridicao P[x] "

(2)

"Existe algum x que satisfaz a condicao P[x] ",

on de P(x) e uma condicao envolvendo a variavel x,

conj unto-

universo U) que satisfazem a condicao P]x}, escreva as sentencas (1) e (2) acima, usando a linguagem de conjuntos,

b) Quais sao as negacoes de (1) e (2)? Escreva cada uma de~tas

negacoes usando conjuntos e compare com as sentencas obtidas

em a).

a) Sendo A 0 conjunto de todos os objetos x (de urn certo

A Matematlca do Ensino Medio, Volume 1 23

22 Conjuntos

c) Para cada sentenca abaixo, diga se ela e verdadeira ou falsa e

forme sua negacao:

• Existe urn numero real x tal que

x 2 = -1.

• Para

todo

numero

inteiro n, vale

n 2 > n.

• Para

todo

numero

real

x, tern-se x > 1 ou x 2 < 1.

" Para todo numero

n > x.

real x existe urn numero

• Existe urn nurnero natural n tal que, para

x, tern-se n > x.

11. Considere os conjuntos abaixo:

natural n tal que

to do numero real

F = conjunto de todos os fil6sofos M = conjunto de todos os maternaticos

C

= conjunto de todos os cientistas

P

= conjunto de todos os professores

a) Exprima cada uma das afirmativas abaixo usando a linguagem

de conjuntos:'

.

1) Todos os 'maternaticos sao cientistas.

2)

Alguns maternaticos sao professores

3)

Alguns cientistas sao fil6sofos.

4)

Todos os fil6sofos sao cientistas ou professores.

5)

Nem todo professor e cientista.

b)

Faca 0 mesmo com as afirmativas abaixo:

6)

Alguns maternaticos sao fil6sofos.

7)

Nem todo filosofo e cientista.

8)

Alguns fi16sofos sao professores.

9)

Se um fi16sofonao e matematico, ele e professor.

10) Alguns fi16sofos sao matematicos.

c) Tomando as cinco primeiras afirmativas como hipoteses, verifi-

que quais das afirmativas do segundo grupo sao necessariamente verdadeiras.

12. 0 artigo 34 da Constituicao Brasileira de 1988 diz 0 seguinte:

"AUniao nao intervira nos Estados nem no Distrito Federal,

exceto para:

1. Manter a integridade hacional; II. Repelir invasao estrangeira ou de unidade da Fsderacao

em outra"

III. ;

a) Suponhamos que 0 estado do Rio de Janeiro seja invadido por tropas do estado de Sao Paulo. 0 texto acima obriga a Uniao a intervir no estado? Na sua opiniao, qual era a intencao dos legisladores nesse caso?

b) Reescreva 0 texto do artigo 34 de modo a torna-lo mais preciso.

13. Prove que x 2 + x - 1 = 0

14. Prove que, para x, 1:1, k inteiros, tem-se x + 41:1 = 13k

=>

x 3 - Zx + 1 = o.

{:===}

4x + 31:1 = 13 (4k - 1,)). Conclua que 4x + 31:1 ex + 41:1 sao divisrveis

por 13 para os mesmos valores inteiros de x e lJ·

15. 0 diagrama de Venn para os conjuntos X, Y, Z decornpoe

o plano em oito regi5es. Numere essas regi6es e exprima cada urn dos conjuntos abaixo como reuriiao de algumas dessas regioes.

(POl'exemplo: X n Y = 1 U 2.)

a)

(XC U y)C;

b) (XC U Y) U ZC;

c)

(XC n Y) U (X n ZC);

d) (X u Yl c n Z

16. Exprimindo cada membro como reuniao de regi6es numera-

das, prove as igualdades:

a) (X U Y) n Z = (X n Z) U (Y n Z);

b) Xu(ynZ)c=XuYcUZ c .

17. Sejam A, B e C conjuntos.

Determine uma condicao ne-

cessaria e suficiente para que se tenha AU (B n C) = '(A U B) n C.

18.

A diferenca entre conjuntos e definida por A - B = {x I x E

A e x ~ B}. Determine uma condicao necessaria e suficiente para

que 5e tenha A - (B - C) = (A - B) - C.

r

I

I

I

24 Conjuntos

19.

Prove que se urn quadrado perfeito e par entao sua raiz

quadrada e par e que se urn quadrado perfeito e impar entao sua raiz quadrada e Impar.

20. Prove 0 teorema de Cantor: se A e urn conjunto e P(A) e 0

de A, nao existe uma funcao f: A -) P(A) que

seja sobrejetiva. Sugestiio: Suponha que exist a uma tal funcao f e considere X =

{x E A : x tt f(x)}.

conjunto das partes

Capitulo 2

Numeros Naturais

"Deus criou os numeros naturals. 0 resto e obra dos homens," Leopold Kronecker

1. Irrtr'oducao

Enquanto os conjuntos constituem urn meio auxiliar, os mimeros sao urn dos dois objetos principais de que se ocupa a Matem atica. (0 outro e 0 espaco, junto com as figuras geometricas nele conti- das.)

Numeros sao entes abstratos, ci~envolvidos pelo hornem como rnodelos que permit ern contar e medir, portanto avaliar as diferen- tes quantidades de uma grandeza. Os compendios tradicionais dizem 0 seguinte:

entre uma grandeza e

a unidade. Se a grandeza e discreta, essa cornparacao chama-se uma contagem. e ° resultado e urn numero inteiro; se a grandeza e continua, a cornparacao chama-se uma mediciio e 0 resultado e um mirnero real." Nos padroes atuais de rigor maternatico, ° trecho acima nao pode ser considerado como uma definicao maternatica, pois faz uso de ideias (como grandeza, unidade, discreta, continua) e processos (como·cornparacao) de significado nao estabelecido. Entretanto, todas as palavras que nela aparecem possuem urn sentido bastante claro na linguagem do dia-a-dia. Por isso, embora nao sirva para dernonstrar teoremas a partir dela, a definicao tradicional tern 0 grande merito de nos revelar para que servem e por qual motivo foram inventados os numeros. Isto e muito mais do que se pode

"Numero e 0 resultado da corriparacao

26 Numeros Naturais

dizer sobre a definicao que encontramos no nos so dicionario mais conhecido e festejado, conforme reproduzimos a seguir. Nurner-o. [Do lat. numeru.] S. m. 1. Mat. 0 conjunto de todos os conjuntos equivalentes a um conjunto dado. Discutiremos este ponto logo mais, quando tratarmos de nu- meros carclinais. No momento, parcce oportuno fazer uma pe- quena pausa para uma observacao.

2. Comerrtar-io: Definicoes, Axiomas, etc.

Conforme dissemos no Capitulo 1, uma definicao matematica e uma convencao que consiste usar um nome, ou uma sentenca breve, para designar urn objeto ou uma propriedade, cuja descricao normalmente exigiria 0 emprego de uma sentence mais longa. Ve- jamos algumas definicoes, como exemplo:

• Angulo

e a figura formada por duas semi-retas que tern a

mesma origem.