Resumen de Sobre el descubrimiento automático de diversas generalizaciones del Teorema de Steiner-Lehmus
Rafael Losada, Tomás Jesús Recio Muñiz 
, José Luis Valcarce Gómez
- español
El teorema de Stainer-Lehmus establece que si un triángulo tiene dos bisectores (internos) de la misma longitud, entonces el triángulo es isósceles. Aquí intentaremos probar, mediante herramientas de descubrimiento automático, un resultado mas general en relación con la longitud de los bisectores internos y externos. También describiremos el caso de tres bisectores (internos o externos).
- English
The Theorem of Steiner-Lehmus states that if a triangle has two (internal) angle-bisectors with the same length, then the triangle must be isosceles. Here we will deal with our attempts to provide, through automatic discovery tools, a more general statement regarding internal and external bisectors. The case of three (either internal or external) bisectors is also described.
