Un método algebraico-computacional para demostración autonómica en geometría euclídea

• Autores: Eugenio Roanes Macías , Eugenio Roanes Lozano
• Localización: Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 88, 2011, págs. 31-63
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • An elementary version of a computer-oriented algebraic method for automated theorem proving in Euclidean Geometry is explained in detail. It is specially useful for theorems with many thesis conditions. It is applied to obtaining simultaneosly proofs of severaol elegant and unexpected properties derived from the classic configuration of Napoleon´s theorem for triangles. The difficulties that can arise when applying this method are illustrated through other suitable examples.