Geometria euclidiana

Uma teoria um dado conjunto de proposies consideradas verdadeiras, incluindo todas as

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

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.

Exemplo:
Considere-se a seguinte definio de segmento de reta:
Segmento de reta [PQ] o conjunto de pontos da reta PQ que se situam entre P e Q (inclusive)
Apesar de muito intuitiva, esta definio pressupe a interiorizao de algumas noes prvias como:

Os teoremas so proposies que s se aceitam como verdadeiras depois de demonstradas.

Um teorema uma afirmao que verdadeira mas que no um axioma. Por no se tratar de um
axioma, a veracidade de um teorema tem que ser demonstrada a partir de outras afirmaes que j se
sabe serem verdadeiras.
Hiptese o que dado (ponto de partida) e que se considera verdadeira;

Exemplo 1:
Consideremos o Teorema de Pitgoras:
Num tringulo retngulo a soma dos quadrados das medidas dos catetos igual ao quadrado da
medida da hipotenusa.
Repara que este teorema pode ser escrito sob a forma condicional, designada por implicao:
Se um tringulo retngulo, ento a soma dos quadrados das medidas dos catetos igual ao quadrado
da medida da hipotenusa

Exemplo 2:
Consideremos o teorema:
Dois ngulos verticalmente opostos so iguais.
Na forma condicional temos:
Se dois ngulos so verticalmente opostos, ento so iguais.
Hiptese: Dois ngulos so verticalmente opostos.
Tese: Os ngulos so iguais.

Exemplo 3:
Consideremos o teorema:
A soma dos ngulos internos de um tringulo igual a um ngulo raso.
Na forma condicional temos:
Se [ABC] um tringulo, ento a soma dos ngulos internos de [ABC] igual a um ngulo raso.
Hiptese: [ABC] um tringulo.
Tese: A soma dos ngulos internos de [ABC] igual a um ngulo raso.

Exerccio 1: Para cada um dos seguintes teoremas enuncia a hiptese e a tese.

a) Se o produto de dois nmeros reais positivo, ento os nmeros tm o mesmo sinal.
b)Se um paralelogramo tem as diagonais perpendiculares, ento um losango.
c) Se um quadriltero um quadrado, ento tem os lados todos iguais.
d) Se um quadriltero tem dois lados paralelos, ento um trapzio.
e) Um nmero mltiplo de 2 e de 5 mltiplo de 10.
f) Num quadrado, as diagonais so perpendiculares.
g) A soma de dois nmeros naturais pares um nmero par.
h) Um divisor de 4 um divisor de 16.

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

Se uma condio p implicar uma condio q, isto , sempre que p verdadeira, q tambm verdadeira,
diz-se que
uma
condio
suficiente
q e que
q uma condio
necessria
paraocorrer
p.
Note-se
que pnum
teorema,
diz-se
que a para
hiptese
condio
suficiente
para a tese
ea

tese a condio necessria para a hiptese.

Exemplo:
Considera, em IR, a implicao:
Se

x=2, ento

x 2=4.

- Condio necessria:

x =4

- Condio suficiente:

x=2

- Implicao recproca: Se

2
x =4 , ento x=2 .

A implicao recproca falsa.

Sabe-se que

x 2=4 , no necessariamente verdade que x=2 , pois pode ocorrer x=2.

Exerccio 2: Para cada um dos seguintes teoremas, enuncia a condio necessria e a condio suficiente.
a) Se o produto de dois nmeros reais positivo, ento os nmeros tm o mesmo sinal.
b)Se um paralelogramo tem as diagonais perpendiculares, ento um losango.
c) Se um quadriltero um quadrado, ento tem os lados todos iguais.
d) Se um quadriltero tem dois lados paralelos, ento um trapzio.
e) Um nmero mltiplo de 2 e de 5 mltiplo de 10.
f) Num quadrado, as diagonais so perpendiculares.
g) A soma de dois nmeros naturais pares um nmero par.
h) Um divisor de 4 um divisor de 16.
Exerccio 3: Para cada uma das seguintes implicaes enuncia a implicao recproca e indica se verdadeira ou falsa.

a) Se

x=4

ento

x 2=16 .

b)Se a e b so nmeros naturais mpares, ento

c) Se

x 2> 4 ento

x> 2 .

a+b um nmero par.