Título
[pt] COMPLEXIDADE EM GEOMETRIA EUCLIDIANA PLANA
Título
[en] COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY
Autor
[pt] SILVANA MARINI RODRIGUES LOPES
Vocabulário
[pt] MATEMATICA
Vocabulário
[pt] INVERSAO
Vocabulário
[pt] POLIGONO REGULAR
Vocabulário
[pt] AUTOMATIZACAO EM GEOMETRIA
Vocabulário
[pt] COMPLEXIDADE ALGEBRICA
Vocabulário
[pt] NUMEROS COMPLEXOS
Vocabulário
[pt] GEOMETRIA EUCLIDIANA
Vocabulário
[en] MATHEMATICS
Vocabulário
[en] INVERSION
Vocabulário
[en] REGULAR POLYGON
Vocabulário
[en] GEOMETRY AUTOMATIZATION
Vocabulário
[en] ALGEBRAIC COMPLEXITY
Vocabulário
[en] COMPLEX NUMBERS
Vocabulário
[en] EUCLIDEAN GEOMETRY
Resumo
[pt] Consideramos duas formas de complexidade em geometria
euclidiana plana.Na primeira, problemas são descritos
algebricamente, e a complexidade é cotada essencialmente
pelo grau de um polinômio. Como consequência, mostramos
que
vários resultados gerais e familiares em geometria podem
ser demonstrados a partir da simples verificação de dois
ou
três casos particulares. A segunda forma faz uso da
descrição sintática dos teoremas, que permite uma
quantificação da complexidade em termos lógicos (número
de
quantificadores e átomos de uma fórmula). Inspirados por
esta última abordagem, são descritos alguns procedimentos
de demonstração automática. Alguns grupos habituais de
operções em geometria são apresentados com a intenção de
simplificar as duas abordagens.Através do estudo de
técnicas mais avançadas em matemática trazemos novos
pontos de vista a assuntos estudados no ensino médio.
Resumo
[en] Two forms of complexity in Euclidean plane geometry are
considered. In the first one, problems are described
algebraically, and the complexity level is measured
essentially by the degree of a polynomial. As a
consequence, many familiar and general results in geometry
can be proved by inspecting two or three special cases. The
second form uses the syntactic description of a theorem
allowing for a quanti.cation of the complexity in logic
terms (number of quantifiers and atoms in the formula).
Inspired by this approach, some procedures in mechanized
proofs are described. We also present some traditional
groups of operations in geometry which simplify the two
approaches. The study of more advanced techniques in
mathematics sheds new light on standard high school topics.
Orientador(es)
HUMBERTO JOSE BORTOLOSSI
Coorientador(es)
CARLOS TOMEI
Banca
CARLOS TOMEI
Banca
HUMBERTO JOSE BORTOLOSSI
Banca
PAULO CEZAR PINTO CARVALHO
Banca
JOÃO BOSCO PITOMBEIRA FERNANDES DE CARVALHO
Catalogação
2003-02-25
Apresentação
2002-08-30
Tipo
[pt] TEXTO
Formato
application/pdf
Idioma(s)
PORTUGUÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3279@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3279@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.3279
Arquivos do conteúdo
NA ÍNTEGRA PDF