O método do ângulo completo

Abstract

Este trabalho descreve o Método do Ângulo Completo para a geometria euclidiana construtiva assim como a sua implementacão no âmbito do Open Geo Prover. O Método do Ângulo Completo é baseado na noção de ângulo completo e num conjunto de axiomas e regras de inferência. Apresentamos um conjunto de regras de inferência para o método do ângulo completo como sendo a base de demonstrações automatizadas de teoremas de geometria. Este método é uma extensão do método da área, obtendo-se a partir deste pela introdução de uma nova quantidade geométrica designada por ângulo completo. Descreve-se também a implementação do método do ângulo completo no projecto Open Geo Prover.

This paper describes the Full Angle Method for constructive Euclidean geometry and its implementation on the Open Geo Prover project. The Full Angle Method is based on the notion of full angle and a set of axioms and inference rules. We present a set of rules based on the full angle as being a basis to automatic demonstration of geometry theorems. This method is an extension of the area method that we can obtain by introducing a new geometric quantity, designated the Full Angle. We also describe the implementation of the full angle method on the Open Geo Prover project.