Euclides, sbio grego da Escola de Alexandria viveu h 23 sculos.

Da sua vida pouco se sabe, mas a sua obra amplamente conhecida. A obra mais clebre de toda a Histria da Matemtica , sem dvida, os "Elementos de Euclides". Este livro, composto por 13 volumes , a seguir Bblia provavelmente o livro mais reproduzido e estudado no mundo Ocidental. Desde a inveno da imprensa surgiram mais de mil edies e, j anteriormente, cpias manuscritas dominavam o ensino da geometria. Nos "Elementos", Euclides rene e organiza os conhecimentos de geometria e de aritmtica, at ento dispersos e de natureza essencialmente prtica, ligados Arquitectura, Agricultura, Astronomia... O tipo de raciocnio introduzido nos "Elementos" foi um modelo que influenciou todo o pensamento cientfico. Euclides, partindo de um pequeno conjunto de definies e propriedades, demonstra propriedades conhecidas e deduz novas propriedades, numa cadeia rigorosa de raciocnios lgicos. Mas a geometria Euclidiana no s deduo; tambm experimentao e induo.

Recorda...desde os primeiros anos de escola foste adquirindo noes de geometria euclidiana.

Quase sempre, Experimentando -medindo, construindo, verificando e generalizando a partir dessa experincia.

Exemplo: Construste vrios tringulos e a partir dessa experincia verificaste que qualquer lado de um tringulo menor que a soma dos outros dois.
Mas ser que este resultado se verifica em todos os casos? A nossa intuio, diz-nos que sim. Mas no podemos verificar todos os resultados!

Geometria dedutiva
Mas tambm j demonstraste e deduziste.

Exemplo: Demonstraste, por via geomtrica, o teorema de Pitgoras.

Deduziste a formula fundamental da trigonometria, Como? Partindo do Teorema de Pitgoras: C c

b2 + a2 = c2
Dividindo ambos os membro por c2

b a c + 2= 2 2 c c c
2 2 2

2 b a + =1 c c

b sen = c

cos =

a c

sen 2 + cos 2 = 1
Frmula fundamental da trigonometria

Partindo de um teorema, j demonstrado, aplicando regras e propriedades deduziste uma nova propriedade.

Geometria dedutiva como constituda?

Termos primitivos Noes comuns que todas as pessoas possuem. (Ex. ponto, recta, plano) Termos derivados (Ex. semi-recta, segmento de recta,) Axiomas Com os termos primitivos e os termos derivados constroem-se afirmaes que aceitamos como verdadeiras. No se demonstram pela evidencia do seu enunciado. (Ex. Por dois pontos dados passa uma nica recta. Trs pontos definem um plano) Teoremas So proposies que para serem aceites como verdadeiras precisam de ser demonstradas.

Num teorema temos

a hiptese de onde partimos e a tese onde queremos chegar.

Demonstrar um teorema

mostrar atravs de uma cadeia de raciocnios dedutivos (justificados com axiomas e teoremas j provados), que a tese uma consequncia da da pgina 159 hiptese.

Exerccios 47

Teorema: uma recta e um ponto exterior a essa recta definem um plano.

hiptese existe uma recta e um ponto exterior a essa recta tese a recta e o ponto que lhe exterior definem um plano. Demonstrao O ponto P e dois pontos distintos da recta so trs pontos no colineares. Trs pontos no colineares definem um plano (Axioma)
P r

Teorema: A soma da amplitude dos ngulos internos de um quadriltero 360. A B

hiptese [ABCD] um quadriltero.

tese A soma da amplitude dos ngulos internos do polgono 360. Demonstrao O quadriltero pode ser dividido em dois tringulos: [ABC] e [ACD] A soma da amplitude dos ngulos internos do quadriltero igual da amplitude dos ngulos internos dos dois tringulos.

Logo, a soma da amplitude dos ngulos internos do polgono 360 (2 x 180 = 360).