4. Geometria euclidiana.

Paralelismo e perpendicularidade
4.1. Mtodo axiomtico. Axioma euclidiano de paralelismo

Mtodo axiomtico

Teoria
Uma teoria um dado conjunto de proposies consideradas verdadeiras,
incluindo todas as proposies que delas forem dedutveis logicamente.

Axioma
Axioma uma proposio que se considera verdadeira sem se deduzir de
outras.

Axiomtica
A axiomtica de uma teoria um conjunto de objetos primitivos, relaes
primitivas e axiomas, a partir dos quais todos os objetos e relaes da teoria
possam ser definidos e todas as proposies demonstradas.

Definio
Uma definio uma explicao do significado de um novo termo que se
introduz pela primeira vez. Essa explicao deve ser efetuada recorrendo
exclusivamente a outros termos j conhecidos.

Teorema
Um teorema uma afirmao que verdadeira mas que no um axioma.
Por no se tratar de um axioma, a veracidade de um teorema tem de ser
demonstrada a partir de outras afirmaes que j se sabe serem
verdadeiras.

Lema
Lema uma proposio auxiliar utilizada para demonstrao de um
teorema considerado mais relevante.

Corolrio
A um resultado que consequncia direta de um teorema chama-
se corolrio e, de modo geral, de demonstrao imediata.

Hiptese, tese e teorema recproco

A hiptese exprime aquilo que se supe verificado.

A tese exprime aquilo que se pretende demonstrar.
A demonstrao o raciocnio que permite concluir a veracidade da tese a
partir da veracidade da hiptese.

Teorema recproco
Um teorema recproco de outro quando a hiptese de um a tese do
outro e vice-versa.

Condio necessria, condio suficiente e condio necessria e suficiente

Condio suficiente e condio necessria

Se uma condio aa implicar uma condio bb (ab)(ab), isto , sempre
que aa verdadeira, bb tambm verdadeira, ento diz-se que aa
uma condio suficiente para bb e que bb uma condio
necessria para aa.

Axioma euclidiano de paralelismo

Se duas retas num plano, intersetadas por uma terceira, determinam com
esta ngulos internos do mesmo lado da secante cuja soma inferior a um
ngulo raso, ento as duas retas intersetam-se no semiplano determinado
pela secante que contm esses dois ngulos.

Por um ponto PP fora de uma reta rr passa, no mximo, uma reta a ela
paralela

Posies relativas de retas no plano

Teorema 1: Se uma reta tt interseta uma de duas retas paralelas, rr ou ss,

e com elas complanar, ento interseta a outra.

Teorema 2: Dois ngulos correspondentes determinados por uma secante

em duas retas paralelas so iguais.