2 Edio

D I S C I P L I N A

Pr-Clculo

Introduo linguagem matemtica

Autores
Rubens Leo de Andrade Ronaldo Freire de Lima

aula

Material APROVADO (contedo e imagens) ( g )

Data: ___/___/___ Nome:______________________

01

Governo Federal
Presidente da Repblica Luiz Incio Lula da Silva Ministro da Educao Fernando Haddad Secretrio de Educao a Distncia SEED Ronaldo Motta

Revisoras de Lngua Portuguesa Janaina Tomaz Capistrano Sandra Cristinne Xavier da Cmara Ilustradora Carolina Costa Editorao de Imagens Adauto Harley Carolina Costa Diagramadores Bruno de Souza Melo Adaptao para Mdulo Matemtico Thaisa Maria Simplcio Lemos Pedro Gustavo Dias Digenes Imagens Utilizadas Banco de Imagens Sedis (Secretaria de Educao a Distncia) - UFRN Fotografias - Adauto Harley MasterClips IMSI MasterClips Collection, 1895 Francisco Blvd, East, San Rafael, CA 94901,USA. MasterFile www.masterfile.com MorgueFile www.morguefile.com Pixel Perfect Digital www.pixelperfectdigital.com FreeImages www.freeimages.co.uk FreeFoto.com www.freefoto.com Free Pictures Photos www.free-pictures-photos.com BigFoto www.bigfoto.com FreeStockPhotos.com www.freestockphotos.com OneOddDude.net www.oneodddude.net Stock.XCHG - www.sxc.hu
Diviso de Servios Tcnicos Catalogao da publicao na Fonte. UFRN/Biblioteca Central Zila Mamede

Universidade Federal do Rio Grande do Norte

Reitor Jos Ivonildo do Rgo Vice-Reitor Nilsen Carvalho Fernandes de Oliveira Filho Secretria de Educao a Distncia Vera Lcia do Amaral

Secretaria de Educao a Distncia- SEDIS

Coordenadora da Produo dos Materiais Clia Maria de Arajo Coordenador de Edio Ary Sergio Braga Olinisky Projeto Grfico Ivana Lima Revisores de Estrutura e Linguagem Eugenio Tavares Borges Marcos Aurlio Felipe Revisora das Normas da ABNT Vernica Pinheiro da Silva

Andrade, Rubens L. de. Pr-clculo / Rubens L. de Andrade, Ronaldo F. de Lima. 248 p. ISBN 85-7273-295-0

Natal, RN : EDUFRN Editora da UFRN, 2006.

Contedo: Introduo linguagem matemtica - Os nmeros naturais e os nmeros intereiros. - Fraes e nmeros decimais - os nmeros racionais - Os nmeros reais - Polinmios e equaes algbricas - Inequaes algbricas e intervalos - Funes I - Funes II - Funes polinomiais - Funes afins - funes quadrticas - As funes exponencial e logartmica - Funes trigonomtricas - Funes trigonomtricas inversas. 1. Nmero real. 2. Equao. 3. Funo. I. Lima, Ronaldo F. de. II. Ttulo. CDD 512.81 RN/UF/BCZM 2006/ 29 CDU 517.13

Todos os direitos reservados. Nenhuma parte deste material pode ser utilizada ou reproduzida sem a autorizao expressa da UFRN Universidade Federal do Rio Grande do Norte.

Apresentao
Estamos iniciando a disciplina Pr-Clculo, que visa dar subsdios ao estudo do clculo diferencial. O clculo diferencial uma teoria matemtica que se desenvolveu ao longo do sculo XVII, principalmente com os trabalhos de dois grandes cientistas desse perodo, Newton e Leibniz, constituindo-se num dos fundamentos da Matemtica terica e aplicada, sobretudo, Fsica. Os objetos de estudo do clculo diferencial so as funes, mais especicamente, as funes reais de varivel real. Sendo assim, esta disciplina tem como objetivo principal discutir os conceitos de nmero real e funo. O contedo , feitas algumas excees, igual queles do Ensino Mdio que tratam dos mesmos assuntos. Por essa razo, o pr-clculo tem um carter de curso de reviso. No entanto, daremos a ele um direcionamento que nos permita fazer uma abordagem mais madura, que conduza voc a uma compreenso mais profunda dos conceitos e resultados envolvidos, fornecendo-lhe condies de estabelecer conexes e, assim, obter uma viso global da teoria. Com esse propsito, faremos nesta aula uma breve introduo linguagem matemtica. Isso favorecer bastante o entendimento dos textos deste e de outros cursos que voc vier a fazer, uma vez que o domnio da linguagem de uma teoria essencial para o seu bom entendimento. No decorrer da aula, discutiremos, ento, alguns aspectos da teoria dos conjuntos e da Lgica, que so a base da linguagem matemtica moderna.

Objetivos
1
Familiariz-lo com os principais aspectos da linguagem matemtica contempornea, dando-lhe capacidade de ler e interpretar textos das mais diversas reas. Ao m da aula, voc dever ser capaz de entender os signicados das proposies e suas respectivas negaes, bem como os mtodos de demonstrao direta e indireta de teoremas.

Aula 01 Pr-Clculo

A linguagem da teoria dos conjuntos

Conceitos bsicos propriedades
Conjunto, elemento e pertinncia so conceitos ditos primitivos, isto , no h uma denio para eles. Assim, se A uma coleo qualquer de objetos e a um deles, dizemos simplesmente que a um elemento de A ou, equivalentemente, que a pertence a A , e representamos isso simbolicamente por
Caso contrrio, dizemos que a no pertence a A e escrevemos H pelo menos duas maneiras de se descrever um conjunto. Uma listando-se os seus elementos, por exemplo, Outra identicando-os por uma propriedade que lhes seja comum. Por exemplo, o conjunto A acima poderia ser descrito por A = {x; x vogal do alfabeto latino}, em que o smbolo ; signica tal que. Essa descrio deve ser entendida como: A o conjunto de todos os x que satisfazem condio, x vogal. Na maioria dos casos, no entanto, impraticvel, quando no impossvel, descrever-se um conjunto listando-se seus elementos, o que acontece por exemplo com B = {x; x partcula do universo}. Dois conjuntos A e B so ditos iguais, se todos os elementos de A so elementos de B e vice-versa. Nesse caso, escrevemos A = B. Se todos os elementos de A so elementos de B, dizemos que A est contido em B e escrevemos A B ou, equivalentemente, que B contm A, e escrevemos B A. Nesse caso, diz-se ainda que A um subconjunto de B . Caso contrrio, isto , se existir pelo menos um elemento de A que no pertena a B , dizemos que A no est contido em B , e o denotamos por A B . Por exemplo, dados os conjuntos os conjuntos C = {a, e, i} e D = {x; x eltron} so tais que C A e D B. A relao A B chamada de incluso. A = {x; x vogal do alfabeto latino} e B = {x; x partcula do universo}, A = {a, e, i, o, u}. a A. / a A.

Aula 01 Pr-Clculo

A incluso tem propriedades que so conseqncias imediatas da denio. Por exemplo, se A B e B C , temos que todo elemento de A elemento de B e que todo elemento de B elemento de C . Logo, todo elemento de A elemento de C , donde se conclui que A C . Essa propriedade chamada de transitiva. Alm da transitividade, h as propriedades de reexividade e anti-simetria. Essas so as trs propriedades fundamentais da incluso, as quais listamos a seguir. Dados conjuntos quaisquer A , B e C , tem-se

reexividade: A A; anti-simetria: se A B e B A, ento, A = B; transitividade: se A B e B C, ento, A C.

Vale salientar que a anti-simetria uma propriedade bastante utilizada em demonstraes de igualdade entre conjuntos, conforme veremos adiante. Um conjunto pode ter outros conjuntos como elementos. Esse o caso de A = {a, {b}} e B = {{a, b}, {c}} . Note que, nesses exemplos, tem-se {b} A e no {b} A. Tambm {a, b} B e no {a, b} B . Dados dois ou mais conjuntos, obtm-se outros a partir destes, efetuando-se certos tipos de operaes como as que deniremos agora. So elas: a unio e a interseo. Sejam A e B dois conjuntos quaisquer. A unio entre A e B , que simbolizamos por A B, o conjunto formado por todos os elementos que esto em A ou em B , isto , A B = {x; x A ou x B}. Por exemplo, se A = {a, i, o} e B = {a, e, i, u} , ento, A B = {a, e, i, o, u} . Convm observar que a conjuno ou, em linguagem matemtica, no tem o carter de excluso que tem na linguagem comum. Dessa forma, quando dizemos x A ou x B , deve-se entender que, pelo menos uma dessas possibilidades ocorre, no cando, pois, excluda a possibilidade de x ser elemento de A e de B . Como outro exemplo, suponhamos que s h dois tipos de mas, as verdes e as vermelhas. Ento, se A o conjunto de todas as mas verdes e B o de todas as mas vermelhas, A B simplesmente o conjunto de todas as mas. A interseo entre dois conjuntos A e B , que simbolizamos por A B , o conjunto formado por todos os elementos comuns a A e B , isto , A B = {x; x A e x B}. Ento, se A = {a, i, o} e B = {a, e, i, u} , tem-se A B = {a, e, i} . Suponha que U = {x; x ser humano} , A = {x; x U e x tem mais de 30 anos} e B = {x; x U e x tem menos de 50 anos} . Ento, A B = {x; x U e x tem idade entre 30 e 50 anos}.

Aula 01 Pr-Clculo

Operaes entre conjuntos podem tambm ser representadas por diagramas de Venn, conforme indicado na Figura 1.

Figura 1 As partes hachuradas representam, respectivamente, A B e A B

Em Matemtica, comum nos depararmos com situaes em que h vrios conjuntos que so todos subconjuntos de um conjunto-universo U . Nesse caso, se A U , pode-se querer considerar o conjunto formado pelos elementos de U que no esto em A , chamado de complementar de A (com relao a U ), e denotado por Ac (Figura 2).

U
A
C

Figura 2 Diagrama de Venn do complementar de um conjunto A U

Consideremos, por exemplo, o caso em que U = {x; x ser humano} , A = {x; x U e x do sexo masculino} e B = {x; x U e x do sexo feminino} . Ento, Ac = B e Bc = A . Do ponto de vista terico, importante denirmos um conjunto que no tenha elementos, o que, a princpio, pode parecer estranho. No entanto, se considerarmos, por exemplo, A = {a, b, c} e B = {g, h} , temos que A B um conjunto sem elementos, uma vez que A e B no tm elementos em comum. O conjunto que no tem elementos chamado de conjunto vazio, e denotado por . Partindo-se do princpio de que qualquer coisa igual a ela mesma, temos = {x; x = x}.
4 Aula 01 Pr-Clculo

No m desta aula, provaremos que o vazio subconjunto de qualquer conjunto, isto , que se A um conjunto qualquer, ento, A .

Atividade 1
1 2
Descreva cada um dos conjuntos abaixo pela propriedade de seus elementos.

a) A = {quarta-feira, quinta-feira}; b) B = {Rio de Janeiro, So Paulo, Minas Gerais, Esprito Santo}. Dados os conjuntos A = {a, b}, C = {{a}, {a, b}}, (b) A B ( ) (f) B C ( ) B = {{a}, {b}}, D = {{a}, {b}, {a, b}}, (d) A C ( ) (h) B D ( )

assinale V (verdadeiro) ou F (falso). (a) A = B ( ) (e) A D ( ) (i) A D ( )

(c) A C ( ) (g) B D ( )

3 4

Dado um conjunto A, chama-se conjunto das partes de A, e denotase por P(A), o conjunto formado por todos os subconjuntos de A . Determine P(A) , sabendo-se que A = {a, b, c} (no esquea que o vazio e o prprio A so subconjuntos de A ). Verique, atravs de exemplos e diagramas de Venn, as identidades abaixo. A (B C) = (A B) (A C). A (B C) = (A B) (A C).

Aula 01 Pr-Clculo

Liguagem bsica da Lgica Linguagem bsica da Lgica

Matemtica, devido ao seu carter de cincia exata, requer uma linguagem que no d lugar a armaes imprecisas ou de sentido dbio. Para tanto, faz-se uso da linguagem proposicional, que fundamentada numa teoria chamada Lgica. A seguir, discutiremos alguns aspectos dessa linguagem, que ser utilizada em todo o decorrer do nosso curso.

Implicaes e recprocas
As proposies em Matemtica so do tipo se P , ento, Q, em que P e Q so sentenas. Nesse caso, a sentena P chamada de hiptese e Q de tese. Uma proposio desse tipo seria:

Se um tringulo issceles, ento dois dos seus ngulos so congruentes. (I)

Assim, feita a hiptese de um tringulo ser issceles, conclui-se a tese, isto , que dois de seus ngulos so congruentes. Proposies desse tipo podem ser enunciadas simbolicamente por P Q. O smbolo () signica implica , isto , P Q signica que Q uma conseqncia de P e, portanto, tem o mesmo signicado de se P , ento, Q. Nesse caso, pode-se ainda escrever Q P . A proposio (I) poderia, ento, ser enunciada como x tringulo issceles dois dos ngulos de x so congruentes. Pode-se ainda enunciar a proposio (I) das seguintes maneiras. 1) Dois dos ngulos de um tringulo x so congruentes, se x um tringulo issceles. 2) Um tringulo issceles, somente se dois de seus ngulos so congruentes. 3) Uma condio necessria para que um tringulo seja issceles a de que dois de seus ngulos sejam congruentes. 4) Uma condio suciente para que dois dos ngulos de um tringulo sejam congruentes a de que ele seja issceles.
6 Aula 01 Pr-Clculo

A expresso somente se na proposio (2), nos diz que se um tringulo no possui dois ngulos congruentes, ento ele no pode ser issceles, isto , ter (pelo menos) dois ngulos congruentes uma condio necessria para que um tringulo seja issceles. Por outro lado, para se concluir que um tringulo possui dois ngulos congruentes, basta que ele seja issceles, isto , ser issceles uma condio suciente para que dois dos ngulos de um tringulo sejam congruentes. Em suma, as proposies a) se P , ento, Q; b) P Q; c) Q P ; d) Q, se P ; e) P , somente se Q; f) Q condio necessria para P ; g) P condio suciente para Q tm o mesmo signicado. Vejamos um outro exemplo. A proposio todo ser humano mortal, pode ser enunciada em linguagem matemtica das seguintes formas: a) se x ser humano, ento, x mortal; b) x ser humano x mortal; c) x mortal x ser humano; d) x mortal, se x ser humano; e) uma condio necessria para que x seja humano a de que x seja mortal; f) uma condio suciente para que x seja mortal a de que x seja humano. A recproca de uma proposio P Q , por denio, a proposio dada por QP. Observemos que, independentemente do fato de P Q ser verdadeira ou falsa, sua recproca, Q P, pode ser ou no uma proposio verdadeira. Como exemplo, consideremos novamente a proposio (I). Sua recproca

Dois dos ngulos de um tringulo x so congruentes x um tringulo issceles. Sabe-se da Geometria que (I) e sua recproca so, ambas, verdadeiras. Esse , ento, o caso em que so verdadeiras a proposio e tambm a sua recproca. Quando isso acontece, podemos reuni-las em uma nica, escrevendo (no caso do nosso exemplo)
Aula 01 Pr-Clculo 7

x tringulo issceles dois dos ngulos de x so congruentes. O smbolo signica se, e somente se, e sugerido pelo fato de P Q ter o mesmo signicado de P Q e P Q . Nesse caso, as sentenas P e Q so ditas equivalentes. Assim, o fato de um tringulo ser issceles equivalente ao fato desse tringulo ter dois ngulos congruentes. Dito de outra forma, pode-se caracterizar um tringulo issceles por qualquer uma dessas propriedades, isto , pode-se dizer que tringulos issceles so aqueles que tm dois lados congruentes ou, equivalentemente, que tringulos issceles so aqueles que tm dois ngulos congruentes. Segue-se, ento, que as proposies a seguir tm, todas, o mesmo signicado. 1) x tringulo issceles dois dos ngulos de x so congruentes. 2) x tringulo issceles se, e somente se, dois dos ngulos de x so congruentes. 3) Uma condio necessria e suciente para que um tringulo seja issceles a de que dois de seus ngulos sejam congruentes. Retomemos agora a proposio x ser humano x mortal. (II) Sua recproca x mortal x ser humano. Note que essa proposio falsa, pois h seres vivos que so mortais e no so seres humanos. Os gatos, por exemplo. Logo, a recproca da proposio (II) no verdadeira. Dito de outra forma, a condio ser mortal no equivalente condio ser ser humano.

Exemplo
Em Geometria, retngulos so paralelogramos cujos ngulos so retos e quadrados so retngulos cujos lados so congruentes. Alm disso, os retngulos so os nicos paralelogramos cujas diagonais so congruentes e os quadrados, os nicos retngulos Considerando-se ento o conjunto dos cujas diagonais so perpendiculares. paralelogramos como conjunto-universo, so verdadeiras as seguintes proposies: a) x retngulo x paralelogramo; b) x quadrado x retngulo; c) x retngulo as diagonais de x so congruentes; d) x quadrado as diagonais de x so congruentes e perpendiculares. Note que as recprocas das proposies (a) e (b) no so verdadeiras.

Aula 01 Pr-Clculo

Quanticadores negaes
As sentenas matemticas, em geral, envolvem variveis que so quanticadas. Por exemplo, na proposio dados dois pontos distintos, existe uma nica reta que os contm, a varivel foi quanticada pela expresso existe uma nica. Expresses desse tipo so chamadas de quanticadores. Estes so 1. existe x; 2. existe um x; 3. existe um nico x; 4. para todo x; 5. qualquer que seja x. Convm observar que as sentenas (1) e (2) anteriores tm o mesmo signicado, pois o artigo um em (2) tem o sentido de algum. Quando se deseja enunciar a unicidade de x com respeito a uma propriedade qualquer, deve-se faz-lo explicitamente, como no caso de (3). As sentenas (4) e (5), claramente, tm o mesmo signicado. Em sentenas desse tipo, podem-se usar os smbolos existe, existe um; ! existe um nico; para todo, qualquer que seja. Vejamos um exemplo. Dado um segmento de reta AB , obtm-se facilmente, tringulos issceles cuja base AB . Usando-se quanticadores, podemos dizer isso das seguintes maneiras: 1. para todo segmento de reta AB existe um tringulo issceles cuja base AB ; 2. para todo segmento de reta AB existe um ponto C , tal que ABC um tringulo issceles de base AB ; 3. AB , C , tal que ABC um tringulo issceles de base AB . Note que, em (1) e (2), pode-se ainda substituir a expresso para todo por qualquer que seja. Uma proposio clssica da geometria euclidiana estabelece que trs pontos no colineares determinam uma circunferncia. Esse fato pode ser enunciado tambm como: 1. quaisquer que sejam os pontos no colineares A, B, C , existe uma nica circunferncia que contm A , B e C ; 2. A, B, C no colineares, ! , tal que uma circunferncia e A, B, C .

Aula 01 Pr-Clculo

Ao longo de uma argumentao matemtica, muitas vezes necessrio negar certas sentenas segundo as regras da Lgica. Nesse contexto, a negao de todo tringulo issceles, existe um tringulo que no issceles, e no nenhum tringulo issceles, isto , para negarmos o fato de que todos os tringulos so issceles, basta exibirmos um que no o seja. Dessa forma, a negao de uma sentena do tipo para todo x A , x tem a propriedade P existe um x A , tal que x no tem a propriedade P , e vice-versa. A negao de uma sentena S denotada por S [l-se no S].

Exemplo
Negar as seguintes proposies: P1 Dadas duas retas distintas e m , existe um ponto P , tal que P m ; que os contm. e m, estas tm

P2 Dados dois pontos distintos A e B , existe uma nica reta

A proposio P1 arma que quaisquer que sejam as retas distintas um ponto em comum, portanto, sua negao : P1 Existem duas retas distintas e m , tais que m = .

Quanto proposio P2 , observemos que h duas formas de contrari-la. Uma seria obter um par de pontos A, B , tais que nenhuma reta os contenha; outra seria obter A, B , tais que mais de uma reta os contenha, isto , a negao da sentena existe um nico x com a propriedade P no existe x com a propriedade P ou existe mais de um x com a propriedade P. Assim, a negao de P2 : P2 Existem pontos distintos A, B , tais que reta alguma os contm ou existem pontos distintos A, B , tais que mais de uma reta os contm. Em linguagem simblica, essas proposies escrevem-se como: P1 , m , P , tal que P m ; P1 , m , tais que m = ; ou B / ou A, B , A = B e , m , P2 A, B , A = B , ! , tal que A, B ; P2 A, B , A = B , tais que , A / = m , tais que A, B m .

Para nalizar esta seo, observemos que as proposies P Q e Q P tm o mesmo signicado e, portanto, so ambas verdadeiras ou ambas falsas. Esse o caso, por exemplo, de 1. x ser humano x mortal; 2. x no mortal x no ser humano; que so, ambas, verdadeiras.
10 Aula 01 Pr-Clculo

Teoremas e demonstraes
As teorias em Matemtica so estabelecidas atravs de um conjunto de proposies divididas em duas categorias: a dos axiomas e a dos teoremas. Os axiomas so proposies consideradas intrinsecamente verdadeiras e, por isso, no so passveis de demonstrao. So, por assim dizer, o ponto de partida da teoria. Qualquer outra proposio que no seja um axioma dita um teorema. Assim, teoremas so proposies que admitem uma demonstrao, isto , podem ser deduzidos a partir dos axiomas. Por exemplo, em Geometria, a proposio (A) se A, B so dois pontos distintos, ento existe uma nica reta que contm A e B um axioma, enquanto a proposio (T) se ABC um tringulo, ento a soma dos seus ngulos internos igual a 180 um teorema. Um teorema pode tambm ser chamado simplesmente de proposio . No caso de um teorema ser uma conseqncia imediata de um outro, chamamo-lo corolrio. Um teorema cujo resultado utilizado apenas na demonstrao de um outro que lhe subseqente chamado de lema. Um corolrio do teorema T anterior seria (C) se ABC um tringulo retngulo, ento a soma dos seus ngulos agudos igual a 90 .

Aula 01 Pr-Clculo

11

Relembremos que uma proposio matemtica, em particular um teorema, sempre pode ser escrita na forma P Q. Demonstrar um teorema signica concluir a tese Q a partir de uma argumentao lgica legtima, isto , uma srie de argumentos baseados nos princpios bsicos da Lgica, valendo-se da hiptese P , de denies, e de outros resultados previamente estabelecidos, como os axiomas. Como exemplo, vamos enunciar a propriedade de transitividade da incluso de conjuntos na forma de um teorema e fornecer a sua demonstrao.

Teorema 1 Se A, B e C so conjuntos, tais que A B e B C, ento A C. Demonstrao Temos, por hiptese, que A, B e C so tais que A B e B C, enquanto, a tese, que o que queremos concluir, a de que A C. Pela denio de incluso, devemos provar que, para todo x A, tem-se x C. Suponhamos ento x A. Como A B, temos que x B. Porm, B C, o que implica x C, como queramos provar.
Vejamos agora como se pode usar a propriedade de anti-simetria da incluso para se demonstrar a identidade do item 4(a) da Atividade 1 desta aula.

Teorema 2 Se A, B e C so conjuntos, ento A(BC) = (AB)(AC).

Demonstrao Vamos provar inicialmente que A (B C) (A B) (A C). Para isso, suponhamos que x A (B C). Ento, x um elemento de A e tambm um elemento de B ou C. Logo, x um elemento de A e de B ou um elemento de A e de C, isto , x (A B) (A C). Pela denio de incluso, conclumos que A (B C) (A B) (A C).
Provemos agora a incluso contrria, isto , (A B) (A C) A (B C) . Suponhamos ento que x (A B) (A C) . Nesse caso, x elemento de A e B ou elemento de A e C . Em ambos os casos, x elemento de A , logo, x elemento de A e elemento de B ou C , isto , x A (B C) , o que nos d (A B) (A C) A (B C) . Como provamos que A (B C) (A B) (A C) e (A B) (A C) A (B C) , segue-se da propriedade de anti-simetria da incluso que A (B C) = (A B) (A C) . Uma tcnica de demonstrao bastante utilizada em Matemtica a to chamada reduo ao absurdo. Essa tcnica consiste em demonstrar uma proposio P Q, acrescentando-se a negao da tese Q ao conjunto de hipteses. Em seguida, por meio de uma argumentao lgica legtima, deve-se chegar a uma contradio, tambm chamada de absurdo, que a negao da hiptese ou de algum resultado previamente estabelecido.
12 Aula 01 Pr-Clculo

Tomemos como exemplo a proposio duas retas de um plano, distintas e noparalelas, intersectam-se num nico ponto. Vamos enunci-la na forma de teorema e demonstr-la usando a tcnica de reduo ao absurdo.

Teorema 3 Se e m so retas de um plano, distintas e no-paralelas, ento existe um nico ponto P tal que P m . Demonstrao Observemos inicialmente que, por hiptese, as retas e m devem intersectar-se em algum ponto, pois estas so no-paralelas. Ento, a negao da tese : existem pontos distintos P1 , P2 , tais que P1 , P2 m . Vamos supor que seja este o caso e chegar a uma contradio.
Bem, uma vez que os pontos P1 e P2 so distintos, pelo axioma (A) anterior, existe uma nica reta que os contm. Como estamos supondo P1 , P2 m , isso nos leva a concluir que = m . No entanto, essa igualdade nega a hiptese de e m serem retas distintas, o que absurdo. Uma vez que a negao da tese nos levou a uma contradio, conclumos que a proposio verdadeira, isto , que o ponto de interseo entre e m , de fato, nico. Finalizaremos agora com outro exemplo de demonstrao por reduo ao absurdo, mostrando que o vazio subconjunto de qualquer conjunto A . Antes, porm, vale salientar que a negao de A B A B , cujo signicado existe x A , tal que x B . /

Teorema 4 Se A um conjunto, ento A . Demonstrao Suponhamos, por absurdo, que A. Ento, existe x , tal que x A. Isso, porm, uma contradio, pois, por denio, o conjunto vazio no tem / elementos. Como a hiptese A nos levou a uma contradio, conclumos que A .

Aula 01 Pr-Clculo

13

Atividade 2
1
Reescreva cada uma das armaes abaixo, usando a linguagem proposicional.

a) Todos os matemticos so cientistas. b) Todos os lsofos so cientistas ou professores.

Reescreva cada uma das armaes abaixo, usando quanticadores.

a) Alguns matemticos so professores. b) Alguns cientistas so lsofos. c) Nem todo professor cientista.

Tome as cinco armaes dos exerccios 1 e 2 como hipteses e verique quais das armaes abaixo so verdadeiras. Reescreva todas elas em linguagem matemtica.

a) Alguns matemticos so lsofos. b) Nem todo lsofo cientista. c) Alguns lsofos so professores. d) Se um lsofo no matemtico, ele professor. e) Alguns lsofos so matemticos.

4 5

Enuncie a identidade do item 4(b) da Atividade 1 desta aula na forma de teorema e demonstre-o. Sejam A1 , A2 e B1 , B2 subconjuntos de um conjunto-universo U . Suponha que A1 A2 = U e B1 B2 = . Suponha ainda que A1 B1 e A2 B2 . Prove que A1 = B1 e A2 = B2 .

14

Aula 01 Pr-Clculo

Resumo
Nesta aula, estudamos as relaes de incluso e as operaes entre conjuntos. Vimos o signicado das implicaes lgicas, suas recprocas e negaes, bem como os conceitos de teorema e demonstrao. Por m, vimos a tcnica de demonstrao por reduo ao absurdo.

Auto-avaliao
Tente encontrar proposies em livros de Matemtica, sobretudo de Geometria, e reescreva-as de uma maneira diferente daquela que est no texto. Verique quais so as recprocas e se elas so verdadeiras ou no. Caso esteja familiarizado com a teoria do texto que voc escolheu, tente demonstrar algumas dessas proposies e tambm identicar demonstraes por reduo ao absurdo.

Referncias
CARVALHO, Paulo Csar et al. A matemtica do ensino mdio. 1.v. Rio de Janeiro: Sociedade Brasileira de Matemtica, 2001. COURANT, Richard; ROBBINS, Herbert. O que matemtica?: uma abordagem elementar de mtodos e conceitos. 2.ed. Rio de Janeiro: Editora Cincia Moderna, 2000.

Aula 01 Pr-Clculo

15

Anotaes

16

Aula 01 Pr-Clculo