Salinon

From Wikipedia, the free encyclopedia

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 by Archimedes in his Book of Lemmas.^[1]

1 Construction
2 Properties
- 2.1 Area
  - 2.1.1 Proof
- 2.2 Arbelos
3 References

[edit] 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. ^[2]

[edit] Properties

[edit] Area

Archimedes introduced the salinon in his Book of Lemmas by applying Book II, Proposition 10 of Euclid's Elements. In Archimedes' book, he 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."^[3]

Namely, the area of the salinon is:

$A=\frac{1}{4}\pi\left(r_1+r_2\right)^2.$ ^[1]

[edit] 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 cirlce is r₁ + r₂. The area of the circle = π(r₁ + r₂)².

Let x = r₁ and y = r₂. The area of the semicircle with diameter AB is:

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

The area of the semicircle with diameter DE is:

$DE=\frac{1}{2}\pi y^2$

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

$AD=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$