Generalizing the Steiner–Lehmus theorem using the Gröbner cover

Antonio Montes and Tomás Recio

Mathematics and Computers in Simulation (MATCOM), 2014, vol. 104, issue C, 67-81

Abstract: In this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we describe, through a relevant example, how the Gröbner cover algorithm is particularly well suited to obtain the missing hypotheses for a given geometric statement to hold true. We deal with the following problem: to describe the triangles that have at least two bisectors of equal length. The case of two inner bisectors is the well known, XIX century old, Steiner–Lehmus theorem, but the general case of inner and outer bisectors has been only recently addressed. We show how the Gröbner cover method automatically provides, while yielding more insight than through any other method, the conditions for a triangle to have two equal bisectors of whatever kind.

Keywords: Automatic discovery; Automatic deduction; Elementarygeometry; Comprehensive Gröbner system; Gröbner cover (search for similar items in EconPapers)
Date: 2014
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475413001961
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:104:y:2014:i:c:p:67-81

DOI: 10.1016/j.matcom.2013.06.006

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().