Axiomatizao da Geometria

Teoria um conjunto de preposies consideradas verdadeiras. Uma teoria inclui, tambm, todas as
preposies que delas forem dedutveis logicamente.

No mbito de uma teoria necessrio fixar:

objetivos primitivos, isto , objetos a partir dos quais se constroem outros;

relaes primitivas, que so relaes entre objetos que no se definam a partir de outras;
axiomas, que so preposies que se consideram verdadeiras e que no so deduzidas de outras.

Axiomtica de uma teoria um conjunto de objetivos primitivos, relaes primitivas e axiomas a partir
dos quais todos os objetos e relaes da teoria podem ser definidos e todas as preposies verdadeiras
demonstradas.

Definio a explicao de um termo.

Teorema uma afirmao que se pode preovar ser verdadeira atravs de outras afirmaes j
demonstradas, como outros teoremas, juntamente com afirmaes anterioremente aceites, como
axiomas.

Demonstrao de um teorema (ou prova) um precocesso de mostrar que um teorema verdadeiro.

Lema um teorema que considerado resultado auxiliar para a demonstrao de um teorema

consideramos mais relevante.

Corolrio um teorema que surge como consequncia de outro teorema considerado mais relevante.

Hipteses e teses

Num teorema existe sempre uma premissa (ou conjunto de premissas) que consideramos verdadeiras a
hiptese ou hipteses e a afirmao que pretendemos demonstrar, por deduo lgica a partir dos
axiomas, relaes primitivas e teoremas, a que se chama tese. A(s) hiptese(s) (so) a(s) condio(es)
suficiente(s) e a tese a condio necessria.

1
2
3
1. Considera o cubo da figura.

4
 1.1. Qual a posio relativa de:
a) [AB] e [HG]?

b) [AC] e [HC]?

c) [EF] relativamente ao plano ABC?

d) [AC] relativamente ao plano FBD?

1.2. Qual a posio relativa ao plano EHA relativamente ao plano
FGB?

1.3. Qual a posio relativa ao plano EHB relativamente ao plano

ABC?

2. O paraleleppedo retngulo da figura representa uma piscina.

2.1. Que posio tem CD relativamente ao plano BGC? Porqu?

2.2. Quais as retas que contm arestas da piscina e so

perpendiculares a EH?

2.3. BD e EG so retas complanares?

2.4. Que posio tem AB relativamente ao plano CHG? Porqu?

2.5. A reta FC concorrente com o plano que contm o fundo da piscina?