Equal Bisectors at a Vertex of a Triangle
Given a triangle ABC, we study the conditions that its vertices must satisfy in order for the internal and external bisectors corresponding to one of the vertices to be equal. We investigate whether there are triangles for which the bisectors at each vertex are equal and other related properties. Automatic Deduction techniques (such as those described in ), implemented with CoCoA  and the dynamic geometry system GDI (, ), are used. Moreover, an ad-hoc GeoGebra  package has been developed (c.f. ) to facilitate the exploration of the problem and to improve the analysis and representation of the results in graphical form.
KeywordsDynamic Geometry Elementary Geometry Automatic Deduction Automatic Discovery Bisectors
Unable to display preview. Download preview PDF.
- CoCoA, http://cocoa.dima.unige.it
- GeoGebra, http://www.geogebra.org
- Losada, R.: Propiedad de color dinámico en geogebra, http://geogebra.es/color_dinamico/color_dinamico.html
- Wu, W.-t., Lü, X.-L.: Triangles with equal bisectors. Education Press, Beijing (1985) (in chinese)Google Scholar
- Losada, R., Recio, T., Valcarce, J.L.: On the automatic discovery of Steiner-Lehmus generalizations. In: Richter-Gebert, J., Schreck, P. (eds.) Proceedings ADG 2010, Munich, pp. 171–174 (2010)Google Scholar