Arbelos (en griego ἄρβελος "cuchillo de zapatero") es una figura geométrica plana. Para dibujarla, se toman tres puntos A, B y C sobre la misma recta, y se construyen tres semicírculos con diámetros AB, BC y AC, ubicados en el mismo lado de la recta. A la figura limitada por estos semicírculos, se le llama arbelos.[1]

Silueta de un arbelos
Un cuchillo de zapatero, llamado arbelos en griego

La referencia más antigua conocida a esta figura se encuentra en el Libro de los Lemas (atribuido a Arquímedes por el geómetra árabe Thábit ibn Qurra), donde algunas de sus propiedades matemáticas se expresan como las Propuestas 4 a 8.[2]

Propiedades editar

 
Algunos puntos especiales en un arbelos

Dos de los semicírculos son necesariamente cóncavos, con diámetros arbitrarios a y b; y el tercer semicírculo es convexo, con diámetro a+b.[1]

Área editar

El área de un arbelos es igual al área de un círculo con diámetro  .

Demostración: para demostrarlo, primero se completan los tres círculos, trazando los simétricos a las semicircunferencias respecto a la recta que pasa por los puntos   y  . Entonce se observa que dos veces el área del arbelos, es lo que queda cuando se restan las áreas de los dos círculos más pequeños (con diámetros    ) del área del círculo grande (con diámetro  ). Como el área de un círculo es proporcional al cuadrado del diámetro (Euclides de Elements, Libro XII, Proposición 2; para este caso no hace falta saber que la constante de proporcionalidad es  ), el problema se reduce a demostrar que
 
La longitud   es igual a la suma de las longitudes   y  , por lo que esta ecuación se reduce algebraicamente a la afirmación de que  . Por lo tanto, la longitud del segmento   es la media geométrica de las longitudes de los segmentos   y  . Ahora (véase la figura), el triángulo  , que está inscrito en el semicírculo, tiene un ángulo recto en el punto   (Euclides, Libro III, Proposición 31), y en consecuencia   es de hecho una "media proporcional" entre   y   (Euclides, Libro VI, Proposición 8, Porismo). Esta prueba se aproxima al argumento griego clásico; Harold P. Boas cita un artículo de Roger B. Nelsen[3]​ que desarrolla esta idea como una demostración sin palabras.[4]

Rectángulo inscrito editar

Sean   y   los puntos donde los segmentos   y   se cruzan con los semicírculos   y  , respectivamente. El cuadrilátero   es en realidad un rectángulo.

Demostración: los ángulos  ,   y   son ángulos rectos porque están inscritos en semicírculos (por el Teorema de Tales). El cuadrilátero  , por lo tanto, tiene tres ángulos rectos, por lo que es un rectángulo, como queda demostrado.

Tangentes editar

La recta que pasa por   es tangente al semicírculo   en   y al semicírculo   en  .

Demostración: dado que el ángulo BDA es un ángulo recto, el ángulo DBA es igual a π/2 (en radianes) menos el ángulo DAB. Sin embargo, el ángulo DAH también es igual a π/2 menos el ángulo DAB (ya que el ángulo HAB es un ángulo recto). Por lo tanto, los triángulos DBA y DAH son semejantes. Por lo tanto, el ángulo DIA es igual al ángulo DOH, donde I es el punto medio de BA y O es el punto medio de AH. Pero AOH es una línea recta, por lo que el ángulo DOH y DOA son suplementarios. Por lo tanto, la suma de los ángulos DIA y DOA es π. El ángulo IAO es un ángulo recto. La suma de los ángulos en cualquier cuadrilátero es 2π, por lo que en el cuadrilátero IDOA, el ángulo IDO debe ser un ángulo recto. Pero ADHE es un rectángulo, por lo que el punto medio O de AH (la diagonal del rectángulo) es también el punto medio de DE (la otra diagonal del rectángulo). Como I (definido como el punto medio de BA) es el centro del semicírculo BA, y el ángulo IDE es un ángulo recto, entonces DE es tangente al semicírculo BA en D. Por un razonamiento análogo, DE es tangente al semicírculo AC en E, como queda demostrado.

Círculos de Arquímedes editar

La altura   divide el arbelos en dos regiones, cada una delimitada por un semicírculo, un segmento de línea recta y un arco del semicírculo exterior. Los círculos inscritos en cada una de estas regiones, conocidos como círculos de Arquímedes de un arbelos, tienen el mismo tamaño.

 
Los dos círculos de Arquímedes de un arbelos tienen el mismo diámetro
 
Teorema de Papo:
 ,  ,…,  

Teorema de Papo de Alejandría editar

Dado un arbelos ABC (el punto A se encuentra entre los puntos B y C) y el conjunto de círculos  ,  , ...,   ( ), siendo el círculo   tangente a los arcos AB, BC y AC; y de forma que para todo  , el círculo   es tangente a los arcos AB y BC y al círculo anterior  .

Entonces, para cualquier   natural, se comprueba[5]​ que la distancia desde el centro del círculo   hasta la línea recta BC es igual al producto del diámetro de este círculo por su número de orden  :

 .

Véase también editar

 
Escultura con forma de arbelos en Kaatsheuvel, Países Bajos

Referencias editar

  1. a b Weisstein, Eric W. «Arbelos». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
  2. Thomas Little Heath (1897), The Works of Archimedes. Cambridge University Press. Proposition 4 in the Book of Lemmas. Quote: If AB be the diameter of a semicircle and N any point on AB, and if semicircles be described within the first semicircle and having AN, BN as diameters respectively, the figure included between the circumferences of the three semicircles is "what Archimedes called arbelos"; and its area is equal to the circle on PN as diameter, where PN is perpendicular to AB and meets the original semicircle in P. ("Arbelos - the Shoemaker's Knife")
  3. Nelsen, R B (2002). «Proof without words: The area of an arbelos». Math. Mag. 75 (2): 144. doi:10.2307/3219152. 
  4. Boas, Harold P. (2006). «Reflections on the Arbelos». American Mathematical Monthly 113 (3): 236-249. JSTOR 27641891. doi:10.2307/27641891. 
  5. Leon Banks, 1983.

Bibliografía editar

Enlaces externos editar