Enunciado
La proposición VII del “Libro sobre las medidas de las figuras planas y esféricas” de los hermanos Banu Musa dice, en la traducción de Gerardo de Cremona (“Verba filiorum”):
Volo ostendere quod, cum accipitus superfluitas medietatis omnium laterum omnis trianguli super unumquodque laterum eius, tunc si multiplicatur una trium superfluitatum in aliam earum, deinde multiplicatur illud quod agregatur in tertiam, postea multiplicatur id quod agregatur in medietatem omnium laterum trianguli, tunc illud quod agregatur inde est equale multiplicationi embadi figure in se.
Es decir, literalmente:
Quiero demostrar que, si tomamos el exceso de la mitad de (la suma de) todos los lados de todo el triángulo sobre cada uno de sus lados, entonces si multiplicamos uno de los tres excesos por otro de ellos, y luego multiplicamos lo que resulta por el tercero, y a continuación lo que resulta por la mitad de todos los lados del triángulo, entonces lo que resulta es igual a la multiplicación del área de la figura por sí misma.
O, como diríamos hoy: Si son los lados del triángulo,
su área y
su semiperímetro, entonces
.
La demostración de los Banu Musa
Los Banu Musa demuestran la proposición con la figura siguiente, que usa las mismas letras que aparecen, en minúsculas, en los manuscritos del Verba filiorum.
Empiezan trazando perpendiculares a los lados desde el centro del “circulo máximo inscrito en el triángulo”, y demostrando que, en la figura, ,
,
, y que
son bisectrices de los ángulos del triángulo.
A continuación prolongan y
hasta
y
de forma que
y
. Entonces
, y las perpendiculares
a
se cortan en un punto
de la bisectriz
, y
.
En el lado
toman un punto
tal que
, entonces
.
Trazan y entonces
y
, y por tanto
, y entonces
es perpendicular al lado
. Además
, porque
.
Entonces , y
, y además
suman 2 rectos, porque
son rectos. Pero
también suman dos rectos y por tanto
y sus mitades
y
también serán iguales.
Por tanto
es semejante a
, y
.
Como son semejantes,
es el radio
del círculo inscrito y
y
.
Entonces y
.
Los Banu Musa terminan observando que como el área del triángulo es suma de las áreas de , es igual a
, y por tanto el área al cuadrado es
.
Esta entrada participa en la Edición 3.1415926535 del Carnaval de Matemáticas cuyo anfitrión es el blog La aventura de la ciencia.
Pingback: La fórmula de Herón en Fibonacci | Guirnalda matemática