Inventing theorems with GeoGebraa new altitude theorem
- Fernando Etayo Gordejuela 1
- Nicolás de Lucas Sanz 1
- Tomás Recio 2
- M. Pilar Vélez 2
-
1
Universidad de Cantabria
info
-
2
Universidad Nebrija
info
ISSN: 1135-0261
Année de publication: 2021
Número: 111
Pages: 8-28
Type: Article
D'autres publications dans: Boletín de la Sociedad Puig Adam de profesores de matemáticas
Résumé
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.