Repositorio de producción científica de la Universidad de Sevilla

A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems

 

Advanced Search
 
Opened Access A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems
Cites
Show item statistics
Icon
Export to
Author: Roanes Macías, Eugenio
Roanes Lozano, Eugenio
Date: 2004
Document type: Presentation
Abstract: A method that automates hypotheses completion in 3D-Geometry is presented. It consists of three processes: defi ning the geometric objects in the confi guration; determining the hypothesis conditions of the confi guration (through a point-on-object declaration method); and applying an algebraic automatic theorem proving method to obtain and prove the sufficiency of complementary hypothesis conditions. To avoid as much as possible the appearance of rational expressions, projective coordinates are used (although affine and Euclidean problems can also be treated). A Maple implementation of the method has been used to extend to 3D classic 2D geometric theorems like Ceva's and Menelaus'.
Size: 177.3Kb
Format: PDF

URI: http://hdl.handle.net/11441/55076

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)