Salinon

The salinon (red) and the circle (blue) have the same area.

The salinon (meaning "salt-cellar" in Greek) is a geometrical figure that consists of four semicircles. It was first introduced in the Book of Lemmas, a work attributed to Archimedes.

Construction

Let O be the origin on a Cartesian plane. Let A, D, E, and B be four points on a line, in that order, with O bisecting line AB. Let AD = EB. Semicircles are drawn above line AB with diameters AB, AD, and EB, and another semicircle is drawn below with diameter DE. A salinon is the figure bounded by these four semicircles.

Properties

Area

Archimedes introduced the salinon in his Book of Lemmas by applying Book II, Proposition 10 of Euclid's Elements. Archimedes noted that "the area of the figure bounded by the circumferences of all the semicircles [is] equal to the area of the circle on CF as diameter."

Namely, the area of the salinon is:

$A={\frac {1}{4}}\pi \left(r_{1}+r_{2}\right)^{2}.$

Proof

Let the radius of the midpoint of AD and EB be denoted as G and H, respectively. Therefore, AG = GD = EH = HB = r₁. Because DO, OF, and OE are all radii to the same semicircle, DO = OF = OE = r₂. By segment addition, AG + GD + DO = OE + EH + HB = 2r₁ + r₂. Since AB is the diameter of the salinon, CF is the line of symmetry. Because they all are radii of the same semicircle, AO = BO = CO = 2r₁ + r₂.

Let P be the center of the large circle. Because CO = 2r₁ + r₂ and OF = r₂, CF = 2r₁ + 2r₂. Therefore, the radius of the circle is r₁ + r₂. The area of the circle = π(r₁ + r₂)².

Let x = r₁ and y = r₂. The area of the semicircle with diameter AB, denoted by ${\mathcal {A}}_{AB}$, is:

${\mathcal {A}}_{AB}={\frac {1}{2}}\pi \left(2x+y\right)^{2}.$

The area of the semicircle with diameter DE is:

${\mathcal {A}}_{DE}={\frac {1}{2}}\pi y^{2}.$

The area of each of the semicircles with diameters AD and EB is

${\mathcal {A}}_{AD}={\mathcal {A}}_{EB}={\frac {1}{2}}\pi x^{2}.$

Therefore, the area of the salinon is:

${\frac {1}{2}}\pi \left(\left(2x+y\right)^{2}-2x^{2}+y^{2}\right)={\frac {1}{2}}\pi \left(2x^{2}+4xy+2y^{2}\right)=\pi \left(x^{2}+2xy+y^{2}\right)=\pi \left(x+y\right)^{2}=\pi \left(r_{1}+r_{2}\right)^{2}$

Q.E.D.

Arbelos

Should points D and E converge with O, it would form an arbelos, another one of Archimedes' creations, with symmetry along the y-axis.

See also

• Lune of Hippocrates

External links

• L’arbelos. Partie II by Hamza Khelif at www.images.math.cnrs.fr of CNRS