Sobre el descubrimiento automático de diversas generalizaciones del Teorema de Steiner-Lehmus

• Autores: Rafael Losada, Tomás Jesús Recio Muñiz , José Luis Valcarce Gómez
• Localización: Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 82, 2009, págs. 53-76
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen
  • 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.