Você está na página 1de 4

Agrupamento Gaia Nascente/Escola Bsica Anes de Cernache 15/16

Matemtica 9ano
Resumo: Mtodo axiomtico; Retas e Planos; Critrios de Paralelismo e Perpendicularidade Euclidianos

Mtodo axiomtico: Teoria. Axiomas. Definies, Teoremas. Lema e corolrio


Proposies so determinadas por sentenas declarativas ou afirmaes que podem ser verdadeiro ou falsas.
Ex: Alguns mamferos tm penas; A soma dos ngulos de um tringulo igual a 180 graus
Uma teoria um dado conjunto de proposies consideradas verdadeiras.
Provar ou demonstrar uma proposio mostrar, usando raciocnios lgicos, que ela resulta de outras consideradas
verdadeiras.
Axiomas so proposies que se consideram verdadeiras sem se deduzir de outras, no demonstradas e
considerada como bvia para a construo ou aceitao de uma teoria. Teoria axiomtica uma teoria baseada num
conjunto de axiomas, em que as proposies verdadeiras so demonstradas e os objetos e relaes primitivas esto
bem definidos, a partir dos quais so deduzidos teoremas. Alguns exemplos de axiomas clssicos de Euclides:
Axioma 1: Duas coisas iguais a uma terceira, so iguais entre si. Axioma 2: Se parcelas iguais forem adicionadas a
quantias iguais, os resultados continuaro sendo iguais. Axioma 3: O todo maior que a parte.
Uma definio explica o significado matemtico de uma palavra, permitindo separar uma classe de objetos de outra. A
palavra geralmente definida em termos de propriedades.
Ex1:um inteiro par se ele o produto de 2 e outro inteiro
Ex2: um nmero natural ser primo se ele maior que 1 e divisvel somente por 1 e ele mesmo.
Teoremas so as mais importantes afirmaes matemticas. O termo teorema foi introduzido por Euclides, no
livro Elementos, para significar "afirmao que pode ser provada". Em grego, originalmente significava "espetculo"
ou "festa". Atualmente, mais comum deixar o termo "teorema" apenas para certas afirmaes que podem ser
demonstradas e de grande "importncia matemtica". Ex: Teorema de Pitgoras (em qualquer tringulo retngulo, o
quadrado do comprimento da hipotenusa igual soma dos quadrados dos comprimentos dos catetos), Teorema de
Tales e Teorema Fermat.
Na Matemtica, um Lema uma afirmao ou proposio que serve de base ou auxlio para provar ou demonstrar um
teorema, e usado como um passo intermdio para atingir um resultado maior, o teorema.
Corolrio uma afirmao de interesse que deduzida ou de consequncia direta de um teorema.

Hiptese. Tese. Teorema recproco


A hiptese uma formulao provisria, com intenes de ser posteriormente demonstrada ou verificada.Na
matemtica, o conjunto de condies para poder iniciar uma demonstrao. Em Matemtica, hiptese significa
conjunto de condies que se supe serem verdadeiras e que so tomadas como ponto de partida para dedues. A
Tese exprime aquilo que se pretende demonstrar. Esquematicamente: Hiptese => Tese (=> significa implicao)
Ex: Num tringulo [ABC], se o ngulo A=ngulo B, ento as medidas dos comprimentos dos lados BC=AC, ento neste
teorema temos A=B como hiptese, enquanto BC=AC a tese.
Ex: Teorema de Pitgoras: Se um tringulo retngulo, ento a soma das medidas dos quadrados dos catetos igual
ao quadrado da medida da hipotenusa. Neste teorema a hiptese ser um tringulo retngulo e a Tese a soma
das medidas dos quadrados dos catetos igual ao quadrado da medida da hipotenusa.

Condio necessria e suficiente


Num teorema, diz-se que a hiptese condio suficiente para a tese ocorrer e a tese condio necessria da
hiptese, ou seja, ser tringulo retngulo, suficiente para a soma das medidas dos quadrados dos catetos ser igual
ao quadrado da medida da hipotenusa, e por outro lado, e por outro lado, para um tringulo ser retngulo,
necessrio que a soma das medidas dos quadrados dos catetos seja igual ao quadrado da medida da hipotenusa.
A afirmao: Se num tringulo em que as medidas dos lados so a,b,c, se tem que

a2 +b 2=c 2

ento o tringulo

retngulono vrtice oposto ao lado do comprimento c, uma afirmao recproca do teorema anterior, pois a hiptese
de um a tese do do outro e vice-versa. Como se verifica o teorema e o seu recproco, diz-se que
condio necessria e suficiente para o tringulo ser retngulo.

Axioma euclidiano de paralelismo


Num plano, por um ponto P exterior a uma reta, passa uma e uma s reta paralela a reta r.

a2 +b 2=c 2

Noes bsicas e Prticas


Dois pontos distintos definem uma reta. Um ponto diz-se exterior a uma reta se no pertencer reta, isto
, se a reta no passar por ele. Por qualquer ponto passam uma infinidade de retas.
Trs pontos distintos no colineares (no pertencentes mesma reta) definem 1 plano
Se 2 pontos de uma reta pertencem a um plano ento essa reta est contida no plano
Um plano tem dimenso dois isto , possui comprimento e largura. representado por um
paralelogramo e usualmente identificado por uma letra minscula do alfabeto grego (alfa, Beta, etc) .
Da interseco de dois planos resulta uma reta (na figura a reta AB)
Se as duas retas tm um e um nico ponto em comum ento dizem-se retas concorrentes.
Se as duas retas, concorrentes, formam um ngulo de 90 dizem-se retas perpendiculares e a
sua interseco d um nico ponto. Se as duas retas, concorrentes, formam um ngulo no reto
(diferente de 90) dizem-se oblquas e a interseco destas rectas tambm d um nico ponto.
Se duas retas no tm nenhum ponto em comum dizem-se paralelas e dividemse em 2 grupos. Se no tm nenhum ponto em comum ento as retas dizem-se
estritamente paralelas. Se as duas retas tm uma infinidade de pontos em
comum, as retas dizem-se paralelas em sentido lato ou coincidentes.
Modos de definir um plano
Trs pontos no
colineares

Uma reta e um ponto


exterior reta

Posio relativa de duas retas no espao


Complanares
Paralelas
Coincidentes
No coincidentes

ab

Duas retas paralelas no


coincidentes

No complanares
Concorrentes

ab

a b

{}

a b

{P}

Posio relativa de dois planos no espao


Paralelos
Coincidentes
No Coincidentes

Duas retas concorrentes

Posies relativas de uma reta e um plano no espao


Paralelos
Reta contida no plano
Reta exterior ao plano

{}

Concorrentes

Concorrentes

r P

Critrios de Paralelismo e Perpendicularidade


Paralelismo entre uma reta e um plano
Se uma reta paralela a outra reta contida num
plano ento paralela a esse plano.
Se r // s e s ento r // .

Paralelismo entre dois planos


Se um plano contm duas retas concorrentes paralelas
a outro plano, ento os planos so paralelos.
Se r e s so retas concorrentes de
e r // e s // ento // .

Perpendicularidade entre uma reta e um plano


Se uma recta perpendicular a duas retas secantes
dum plano ento perpendicular a esse plano
Se r s, r t , s e t retas
concorrentes de , ento r .

Perpendicularidade entre dois planos


Se um plano contm uma reta perpendicular a
outro plano ento os planos so perpendiculares.
Se r e r ,
ento .

Alguns dos resultados demonstrados por Euclides e


critrios de perpendicularidade e de paralelismo que estudmos.

que

esto

associados

aos

Por um ponto exterior a um plano passa um nico plano paralelo ao primeiro.


Duas retas paralelas que so paralelas a uma terceira (as 3 no preciso serem complanares) so
paralelas entre si.
condio necessria e suficiente para que uma reta seja paralela a um plano que existe nesse plano uma
reta paralela dada.
condio necessria e suficiente para que dois planos (distintos) sejam paralelos que exista um par de
retas concorrentes num dos planos que sejam paralelas ao outro plano.
Se um plano contm duas retas concorrentes, paralelas a outro plano, ento os dois planos so paralelos.
Uma reta perpendicular a um plano se for perpendicular a todas as retas do plano que passam
seu p.
Para que uma recta seja perpendicular a um plano basta ( suficiente) que
seja perpendicular a duas rectas concorrentes desse plano que
passem pelo seu p.

pelo

Se uma reta perpendicular a duas retas concorrentes de um plano ento perpendicular a esse plano e
perpendicular a todas as retas desse plano.
Se um plano contm uma reta perpendicular a outro plano ento os dois planos so perpendiculares
Um plano corta planos paralelos
segundo retas paralelas

Dois planos distintos paralelos a um


terceiro so paralelos entre si

Dois planos perpendiculares mesma


recta so paralelos entre si

Dado um plano alfa () e um ponto P, existe uma nica reta perpendicular a que passa por P. O ponto de
interseo da reta com o plano , o ponto A, a projeo ortogonal do ponto P sobre e designa-se por
p da perpendicular traada de P para o plano . Se P pertencer a , a reta perpendicular a e que contm
P designa-se por reta normal ao plano em P.