Inventing theorems with GeoGebraa new altitude theorem

  1. Fernando Etayo Gordejuela 1
  2. Nicolás de Lucas Sanz 1
  3. Tomás Recio 2
  4. M. Pilar Vélez 2
  1. 1 Universidad de Cantabria
    info

    Universidad de Cantabria

    Santander, España

    ROR https://ror.org/046ffzj20

  2. 2 Universidad Nebrija
    info

    Universidad Nebrija

    Madrid, España

    ROR https://ror.org/03tzyrt94

Revista:
Boletín de la Sociedad Puig Adam de profesores de matemáticas

ISSN: 1135-0261

Año de publicación: 2021

Número: 111

Páginas: 8-28

Tipo: Artículo

Otras publicaciones en: Boletín de la Sociedad Puig Adam de profesores de matemáticas

Resumen

The altitude theorem states that, in a right triangle, the altitude drawn form the right angle to the hypotenuse divides the hypotenuse into two segments, the length of the altitude is the geometric mean of these two segments. A generalization of this classical theorem is discovered and proved here through the interaction of automated and human reasoning. GeoGebra automated reasoning tools reveal the existence of a large family of triangles (right and pseudo-right) that verify the thesis of the theorem. Then human reasoning leads to the characterization of pseudo-right triangles from euclidean and lorentzian geometries. Some reflections of educational nature about the development of human reasoning suported by technological tools arise naturally.