Complexidade em Geometria Euclidiana Plana
por Silvana Marini

Capítulo 3

Automatização em Geometria


Página Descrição Link
43
Figura 3.1:

A construção de um triângulo equilátero.



Figura 3.1:

44
Figura 3.2:

Todo triângulo é isósceles (um teorema falso).



Figura 3.2:

45
Figura 3.3:

As duas diagonais de qualquer paralelogramo sempre se interceptam em seus pontos médios.



Figura 3.3:

46
Figura 3.4:

O teorema de Gauss-Bodenmiller.



Figura 3.4:

50
Figura 3.5:

Uma forma especial do teorema de Desargues.



Figura 3.5:

52
Figura 3.6:

Um caso degenerado onde a forma especial do teorema de Desargues é verdadeira.



Figura 3.6:

52
Figura 3.7:

Um caso degenerado onde a forma especial do teorema de Desargues é falsa.



Figura 3.7:

58
Figura 3.8:

O problema da elipse de Kahan.



Figura 3.8:



Envie suas dúvidas e sugestões para Silvana Marini, Humberto Bortolossi ou Carlos Tomei.
Departamento de Matemática, PUC-Rio
15/08/2002