Geometria Euclidiana Plana

-
Um pouco de hist´oria
Prof
a
. Ariane Piovezan Entringer
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Introdu¸c˜ao
Daremos in´ıcio ao estudo axiom´atico da geometria estudada no
ensino fundamental e m´edio, a Geometria Euclidiana Plana.
Faremos uso do m´etodo utilizado por Euclides em seu livro Os
Elementos, o m´etodo axiom´atico.
A palavra geometria vem do grego geometrien
geo : terra
metrien: medida.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Os Elementos de Euclides
´e um tratado matem´atico
e geom´etrico consistindo de
13 livros escrito pelo matem´atico
grego Euclides em Alexandria
por volta de 300 a.C. Os
4 primeiros livros, que hoje pode
ser pensando como cap´ıtulos,
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 - Introdu¸c˜ao
Um pouco de hist´oria
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 define os objetos geom´etricos
cujas propriedades deseja-se estudar. S˜ao 23 defini¸ c˜oes, entre as
quais encontramos as defini¸c˜oes de ponto, reta, c´ırculo, triˆangulo,
retas paralelas, etc. Em seguida ele enuncia 5 no¸c˜oes comuns, que
s˜ao afirma¸c˜oes admitidas como verdades ´obvias. S˜ao elas:
1
Coisas iguais a uma mesma coisa s˜ao tamb´em iguais.
2
Se iguais s˜ao adicionados a iguais, os totais obtidos s˜ao iguais.
3
Se iguais s˜ao subtra´ıdos de iguais, os totais obtidos s˜ao iguais.
4
Coisas que coincidem uma com a outra s˜ao iguais.
5
O todo ´e maior do que qualquer uma de suas partes.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
M´etodo Axiom´atico
O que Euclides faz ´e construir axiomaticamente a geometria plana,
atrav´ez do m´etodo axiom´atico.
O que ´e o m´etodo axiom´atico?
A estrutura te´orica de cada ´area da Matem´atica ´e disposta em:
O Conceito Primitivo;
Os Axiomas ou Postulados;
As Defini¸c˜oes; os Teoremas, Lemas e Corol´arios.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Um Conceito ´e Primitivo quando ´e tido como verdade e isento
de defini¸c˜ao. Os exemplos cl´assicos s˜ao:“ponto”,“reta”, “plano”.
N˜ao os definimos, apenas os aceitamos.
Axiomas s˜ao afirmativas (conjunto de regras) aceitas sem
comprova¸c˜ao e que determinam as propriedades de alguns
conceitos primitivos.
Uma teoria ´e axiom´atica quando ´e constru´ıda a partir de axiomas
ou postulados.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Uma teoria axiom´atica ´e tanto mais elegante quanto menor for seu
n´ umero de axiomas e estes devem ser escolhidos com a
preocupa¸c˜ao de que sejam:
* Consistentes: n˜ao conduz a teoremas contradit´orios.
* Suficientes: 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 ⇒
Corol´arios
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Durante muito tempo distinguiu-se axioma de postulado. Os
axiomas eram proposi¸ c˜oes evidentes por si mesmas; e postulados,
proposi¸c˜oes que se pediam fossem aceitas sem demonstra¸c˜ao.
Atualmente, axiomas e postulados s˜ao designa¸ c˜oes das proposi¸ c˜oes
sem demonstra¸c˜ao.
Constituem o ponto de partida de uma teoria dedutiva.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
A Geometria de Euclides foi a primeira teoria matem´atica 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 s˜ao iguais entre si.
A2 Se quantidades iguais s˜ao adicionadas a iguais, os totais s˜ao
iguais.
A3 Se quantidades iguais s˜ao subtra´ıdas de iguais, os restos s˜ao
iguais.
A4 Coisas que coincidem uma com a outra s˜ao iguais.
A5 O todo ´e maior do que qualquer de suas partes.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Postulados:
P1 Pode-se tra¸car uma (´ unica) reta ligando quaisquer dois
pontos.
P2 Pode-se continuar (de uma ´ unica maneira) qualquer reta finita
continuamente em uma reta.
P3 Pode-se tra¸car um c´ırculo com qualquer centro e com
qualquer raio.
P4 Todos os ˆangulos retos s˜ao iguais.
Observa¸c˜ao: Euclides define ˆ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 - Introdu¸c˜ao
P5 Se uma reta secante a duas outras forma ˆangulos de um
mesmo lado dessa secante, cuja soma ´e menor que dois
ˆangulos retos, ent˜ao essas retas, se prolongadas
suficientemente, 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
n˜ao soube como demonstr´a-lo e ent˜ao resolveu deix´a-lo como
postulado.
Diferentemente dos demais postulados, este se parece muito mais
com um teorema do que com uma simples afirma¸c˜ao que podemos
aceitar sem demonstra¸c˜ao.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Renomados matem´aticos tentaram provar o 5

Postulado de
Euclides, pois o consideravam menos intuitivo e de reda¸ c˜ao mais
complicada. Por´em, essa preten¸ c˜ao n˜ao foi alcan¸cada, pois o 5

Postulado n˜ao ´e uma consequˆencia l´ogicas dos quatro anteriores.
Substituindo tal postulado, surgiram as geometrias n˜ao-euclidianas.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Um fato interessante
A primeira proposi¸ c˜ao do livro I de Euclides ´e a seguinte:
Proposi¸ c˜ao
Existe um triˆangulo equil´atero com um lado igual a um segmento
de reta dado.
Demonstra¸ c˜ao.
Existe uma falha nesta demonstra¸c˜ao. Se queremos contruir a
geometria a partir dos axiomas, precisamos justificar toda
afirma¸c˜ao a partir deles. N˜ao existe nenhum postulado que garante
que o ponto de interse¸c˜ao entre os dois c´ırculos existe.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Vemos, assim, que os postulados de Euclides n˜ao s˜ao suficientes
para demonstrar todos os resultados da geometria plana.
Neste curso vamos axiomatizar a geometria de tal forma que os
axiomas sejam suficientes para demonstrar todos os resultados
conhecidos desde o ensino fundamental.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Defini¸c˜ oes, Teoremas e Demonstra¸ c˜oes
Uma defini¸c˜ao ´e um conceito que ´e feito em fun¸c˜ao de termos
considerados previamente conhecidos.
Por exemplo, “um segmento de reta ´e uma parte ou por¸ c˜ao da
reta limitada por dois pontos”. Observe que s˜ao conhecidos
os termos ponto, reta e parte, dentre outros.
Partindo-se de uma teoria devidamente axiomatizada, surgem as
defini¸c˜oes, as porposi¸c˜oes ou teoremas, corol´arios, leis e regras
matem´aticas.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Teorema ´e uma afirma¸ c˜ao que pode ser provada e de grande
importˆancia,
Proposi¸ c˜ao ´e uma senten¸ca n˜ao associada a algum outro
teorema, de simples prova e de importˆancia matem´atica “
menor”,
Lema ´e um “pr´e-teorema”, um teorema que serve para ajudar
na prova de outro teorema maior,
Corol´ario ´e uma consequˆencia direta de outro teorema ou de
uma defini¸c˜ao, muitas vezes tendo suas demonstra¸ c˜oes
omitidas, por serem simples.
conjectura ´e o termo usado para afirma¸c˜oes que ainda n˜ao
foram provadas, mas que acredita-se que s˜ao verdadeiras.
Alguns teoremas continuam a ser chamados de conjecturas
(Conjectura de Poicar`e).
Observa¸c˜ao: A distin¸c˜ao entre Lema, Teorema e Proposi¸c˜ao ´e um
tanto quanto arbitr´aria.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Um teorema ´e aceito como logicamente verdadeiro somente
mediante uma prova ou demonstra¸c˜ao.
O enunciado de um teorema compreende duas partes distintas:
hip´otese: conjunto de condi¸c˜oes aceitas como verdadeiras;
tese: verdade l´ogica que se pretende demonstrar a partir da
hip´otese.
O racioc´ınio que permite concluir o estabelecimento da tese,
supondo compreendidas as condi¸c˜oes da hip´otese ´e chamado de
demonstra¸ c˜ao.
Hip´otese → Demonstra¸c˜ao → Tese
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao
Existem, basicamente, duas formas de demonstrar um teorema. Os
m´etodos:
Direto - que se utiliza das informa¸c˜oes contidas na hip´otese e
outros resultados pertinentes e que atrav´es de uma sequˆencia
l´ogica coerente chega ao resultado ou tese.
Indireto - tamb´em conhecido como m´etodo de redu¸c˜ao ao
absurdo (ou m´etodo da contradi¸ c˜ao). Sua estrat´egia ´e
baseada na nega¸c˜ao l´ogica da proposi¸ c˜ao tese e consequente
contradi¸ c˜ao da hip´otese.
Ariane Piovezan Entringer Geometria Euclidiana Plana - Introdu¸c˜ao