You are on page 1of 18

Geometria Euclidiana Plana -

Um pouco de historia
Prof
a
. Ariane Piovezan Entringer
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Introducao
Daremos incio ao estudo axiomatico da geometria estudada no
ensino fundamental e medio, a Geometria Euclidiana Plana.
Faremos uso do metodo utilizado por Euclides em seu livro Os
Elementos, o metodo axiomatico.
A palavra geometria vem do grego geometrien
geo : terra
metrien: medida.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Os Elementos de Euclides
e um tratado matematico
e geometrico consistindo de
13 livros escrito pelo matematico
grego Euclides em Alexandria
por volta de 300 a.C. Os
4 primeiros livros, que hoje pode
ser pensando como captulos,
tratam da Geometria Plana
conhecida da epoca, enquanto
os demais tratam da teoria dos
n umeros e da geometria espacial.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Um pouco de historia
No livro 1 dos Elementos de Euclides, inicia-se o estudo da
geometria plana, hoje conhecida como Geometria Euclidiana Plana
em sua homenagem. Inicialmente ele dene os objetos geometricos
cujas propriedades deseja-se estudar. Sao 23 deni coes, entre as
quais encontramos as denicoes de ponto, reta, crculo, triangulo,
retas paralelas, etc. Em seguida ele enuncia 5 nocoes comuns, que
sao armacoes admitidas como verdades obvias. Sao elas:
1
Coisas iguais a uma mesma coisa sao tambem iguais.
2
Se iguais sao adicionados a iguais, os totais obtidos sao iguais.
3
Se iguais sao subtrados de iguais, os totais obtidos sao iguais.
4
Coisas que coincidem uma com a outra sao iguais.
5
O todo e maior do que qualquer uma de suas partes.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Metodo Axiomatico
O que Euclides faz e construir axiomaticamente a geometria plana,
atravez do metodo axiomatico.
O que e o metodo axiomatico?
A estrutura teorica de cada area da Matematica e disposta em:
O Conceito Primitivo;
Os Axiomas ou Postulados;
As Denicoes; os Teoremas, Lemas e Corolarios.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Um Conceito e Primitivo quando e tido como verdade e isento
de denicao. Os exemplos classicos sao:ponto,reta, plano.
Nao os denimos, apenas os aceitamos.
Axiomas sao armativas (conjunto de regras) aceitas sem
comprovacao e que determinam as propriedades de alguns
conceitos primitivos.
Uma teoria e axiomatica quando e construda a partir de axiomas
ou postulados.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Uma teoria axiomatica e tanto mais elegante quanto menor for seu
n umero de axiomas e estes devem ser escolhidos com a
preocupacao de que sejam:
* Consistentes: nao conduz a teoremas contraditorios.
* Sucientes: a teoria pode ser desenvolvida sem a necessidade
de outros axiomas.
* Independentes: quando nenhum outro pode ser demonstrado
a partir dos demais.
Conceitos Primitivos Axiomas Teoremas / Lemas
Corolarios
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Durante muito tempo distinguiu-se axioma de postulado. Os
axiomas eram proposi coes evidentes por si mesmas; e postulados,
proposicoes que se pediam fossem aceitas sem demonstracao.
Atualmente, axiomas e postulados sao designa coes das proposi coes
sem demonstracao.
Constituem o ponto de partida de uma teoria dedutiva.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
A Geometria de Euclides foi a primeira teoria matematica a ser
axiomatizada. Ele apresentou, em sua famosa obra Os Elementos,
um conjunto de cinco axiomas e cinco postulados.
Axiomas:
A1 Coisas iguais a uma terceira sao iguais entre si.
A2 Se quantidades iguais sao adicionadas a iguais, os totais sao
iguais.
A3 Se quantidades iguais sao subtradas de iguais, os restos sao
iguais.
A4 Coisas que coincidem uma com a outra sao iguais.
A5 O todo e maior do que qualquer de suas partes.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Postulados:
P1 Pode-se tracar uma ( unica) reta ligando quaisquer dois
pontos.
P2 Pode-se continuar (de uma unica maneira) qualquer reta nita
continuamente em uma reta.
P3 Pode-se tracar um crculo com qualquer centro e com
qualquer raio.
P4 Todos os angulos retos sao iguais.
Observacao: Euclides dene angulos sem falar em medida e
angulo reto como um angulo que e igual ao seu suplementar.
Da, a necessidade do Postulado 4.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
P5 Se uma reta secante a duas outras forma angulos de um
mesmo lado dessa secante, cuja soma e menor que dois
angulos retos, entao essas retas, se prolongadas
sucientemente, encontrar-se-ao em um ponto desse mesmo
lado.
O 5

Postulado e o famoso postulado das paralelas. Atualmente e


apresentado com as seguintes palavras:
Por um ponto P exterior a uma reta m, considerados em um
mesmo plano, existe uma unica paralela `a reta m.
Muitos acreditavam que quando Euclides chegou ao Postulado 5
nao soube como demonstra-lo e entao resolveu deixa-lo como
postulado.
Diferentemente dos demais postulados, este se parece muito mais
com um teorema do que com uma simples armacao que podemos
aceitar sem demonstracao.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Renomados matematicos tentaram provar o 5

Postulado de
Euclides, pois o consideravam menos intuitivo e de reda cao mais
complicada. Porem, essa preten cao nao foi alcancada, pois o 5

Postulado nao e uma consequencia logicas dos quatro anteriores.


Substituindo tal postulado, surgiram as geometrias nao-euclidianas.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Um fato interessante
A primeira proposi cao do livro I de Euclides e a seguinte:
Proposi cao
Existe um triangulo equilatero com um lado igual a um segmento
de reta dado.
Demonstra cao.
Existe uma falha nesta demonstracao. Se queremos contruir a
geometria a partir dos axiomas, precisamos justicar toda
armacao a partir deles. Nao existe nenhum postulado que garante
que o ponto de intersecao entre os dois crculos existe.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Vemos, assim, que os postulados de Euclides nao sao sucientes
para demonstrar todos os resultados da geometria plana.
Neste curso vamos axiomatizar a geometria de tal forma que os
axiomas sejam sucientes para demonstrar todos os resultados
conhecidos desde o ensino fundamental.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Denic oes, Teoremas e Demonstra coes
Uma denicao e um conceito que e feito em funcao de termos
considerados previamente conhecidos.
Por exemplo, um segmento de reta e uma parte ou por cao da
reta limitada por dois pontos. Observe que sao conhecidos
os termos ponto, reta e parte, dentre outros.
Partindo-se de uma teoria devidamente axiomatizada, surgem as
denicoes, as porposicoes ou teoremas, corolarios, leis e regras
matematicas.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Teorema e uma arma cao que pode ser provada e de grande
importancia,
Proposi cao e uma sentenca nao associada a algum outro
teorema, de simples prova e de importancia matematica
menor,
Lema e um pre-teorema, um teorema que serve para ajudar
na prova de outro teorema maior,
Corolario e uma consequencia direta de outro teorema ou de
uma denicao, muitas vezes tendo suas demonstra coes
omitidas, por serem simples.
conjectura e o termo usado para armacoes que ainda nao
foram provadas, mas que acredita-se que sao verdadeiras.
Alguns teoremas continuam a ser chamados de conjecturas
(Conjectura de Poicar`e).
Observacao: A distincao entre Lema, Teorema e Proposicao e um
tanto quanto arbitraria.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Um teorema e aceito como logicamente verdadeiro somente
mediante uma prova ou demonstracao.
O enunciado de um teorema compreende duas partes distintas:
hipotese: conjunto de condicoes aceitas como verdadeiras;
tese: verdade logica que se pretende demonstrar a partir da
hipotese.
O raciocnio que permite concluir o estabelecimento da tese,
supondo compreendidas as condicoes da hipotese e chamado de
demonstra cao.
Hipotese Demonstracao Tese
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao
Existem, basicamente, duas formas de demonstrar um teorema. Os
metodos:
Direto - que se utiliza das informacoes contidas na hipotese e
outros resultados pertinentes e que atraves de uma sequencia
logica coerente chega ao resultado ou tese.
Indireto - tambem conhecido como metodo de reducao ao
absurdo (ou metodo da contradi cao). Sua estrategia e
baseada na negacao logica da proposi cao tese e consequente
contradi cao da hipotese.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introducao