Vfrdtyky

An arbelos (grey region)

In geometry, an arbelos is a plane region bounded by three semicircles with three apexes such that each corner of each semicircle is shared with one of the others (connected), all on the same side of a straight line (the baseline) that contains their diameters.^[1]

The earliest known reference to this figure is in the Book of Lemmas, where some of its mathematical properties are stated as Propositions 4 through 8.^[2]
The word arbelos is Greek for 'shoemaker's knife'.

Properties

Two of the semicircles are necessarily concave, with arbitrary diameters a and b; the third semicircle is convex, with diameter a+b.^[1]

Some special points on the arbelos.

Area

The area of the arbelos is equal to the area of a circle with diameter HA{displaystyle HA}.

Proof: For the proof, reflect the line through the points B{displaystyle B} and C{displaystyle C}, and observe that twice the area of the arbelos is what remains when the areas of the two smaller circles (with diameters BA{displaystyle BA} AC{displaystyle AC}) are subtracted from the area of the large circle (with diameter BC{displaystyle BC}). Since the area of a circle is proportional to the square of the diameter (Euclid's Elements, Book XII, Proposition 2; we do not need to know that the constant of proportionality is π4{displaystyle {frac {pi }{4}}}), the problem reduces to showing that 2(AH)2=(BC)2−(AC)2−(BA)2{displaystyle 2(AH)^{2}=(BC)^{2}-(AC)^{2}-(BA)^{2}}. The length (BC){displaystyle (BC)} equals the sum of the lengths (BA){displaystyle (BA)} and (AC){displaystyle (AC)}, so this equation simplifies algebraically to the statement that (AH)2=(BA)(AC){displaystyle (AH)^{2}=(BA)(AC)}. Thus the claim is that the length of the segment AH{displaystyle AH} is the geometric mean of the lengths of the segments BA{displaystyle BA} and AC{displaystyle AC}. Now (see Figure) the triangle BHC{displaystyle BHC}, being inscribed in the semicircle, has a right angle at the point H{displaystyle H} (Euclid, Book III, Proposition 31), and consequently (HA){displaystyle (HA)} is indeed a "mean proportional" between (BA){displaystyle (BA)} and (AC){displaystyle (AC)} (Euclid, Book VI, Proposition 8, Porism). This proof approximates the ancient Greek argument; one many find the idea implemented as a proof without words.^[3]

Rectangle

Let D{displaystyle D} and E{displaystyle E} be the points where the segments BH{displaystyle BH} and CH{displaystyle CH} intersect the semicircles AB{displaystyle AB} and AC{displaystyle AC}, respectively. The quadrilateral ADHE{displaystyle ADHE} is actually a rectangle.

Proof: The angles BDA{displaystyle BDA}, BHC{displaystyle BHC}, and AEC{displaystyle AEC} are right angles because they are inscribed in semicircles (by Thales' theorem). The quadrilateral ADHE{displaystyle ADHE} therefore has three right angles, so it is a rectangle. Q.E.D.

Tangents

The line DE{displaystyle DE} is tangent to semicircle BA{displaystyle BA} at D{displaystyle D} and semicircle AC{displaystyle AC} at E{displaystyle E}.

Proof: Since angle BDA is a right angle, angle DBA equals π/2 minus angle DAB. However, angle DAH also equals π/2 minus angle DAB (since angle HAB is a right angle). Therefore triangles DBA and DAH are similar. Therefore angle DIA equals angle DOH, where I is the midpoint of BA and O is the midpoint of AH. But AOH is a straight line, so angle DOH and DOA are supplementary angles. Therefore the sum of angles DIA and DOA is π. Angle IAO is a right angle. The sum of the angles in any quadrilateral is 2π, so in quadrilateral IDOA, angle IDO must be a right angle. But ADHE is a rectangle, so the midpoint O of AH (the rectangle's diagonal) is also the midpoint of DE (the rectangle's other diagonal). As I (defined as the midpoint of BA) is the center of semicircle BA, and angle IDE is a right angle, then DE is tangent to semicircle BA at D. By analogous reasoning DE is tangent to semicircle AC at E. Q.E.D.

Archimedes' circles

The altitude AH{displaystyle AH} divides the arbelos into two regions, each bounded by a semicircle, a straight line segment, and an arc of the outer semicircle. The circles inscribed in each of these regions, known as the Archimedes' circles of the arbelos, have the same size.

Etymology

The type of shoemaker's knife that gave its name to the figure

The name arbelos comes from Greek ἡ ἄρβηλος he árbēlos or ἄρβυλος árbylos, meaning "shoemaker's knife", a knife used by cobblers from antiquity to the current day, whose blade is said to resemble the geometric figure.

See also

Arbelos skulpture in Kaatsheuvel, Netherlands

• Archimedes' quadruplets


• Bankoff circle


• Ideal triangle


• Schoch circles


• Schoch line


• Woo circles


• Pappus chain


• Salinon

References

Bibliography

• 
  Johnson, R. A. (1960). Advanced Euclidean Geometry: An elementary treatise on the geometry of the triangle and the circle (reprint of 1929 edition by Houghton Miflin ed.). New York: Dover Publications. pp. 116&ndash, 117. ISBN 978-0-486-46237-0.
  


• 
  Ogilvy, C. S. (1990). Excursions in Geometry. Dover. pp. 51&ndash, 54. ISBN 0-486-26530-7.
  


• 
  Sondow, J. (2012). "The parbelos, a parabolic analog of the arbelos". arXiv:1210.2279 [math.HO].
  American Mathematical Monthly, 120 (2013), 929-935.


• 
  Wells, D. (1991). The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 5&ndash, 6. ISBN 0-14-011813-6.
  

External links

• 
  Media related to Arbelos at Wikimedia Commons


• 
  The dictionary definition of arbelos at Wiktionary