Edit Edit an Image Page: Arbelos

To create an image page, simply complete the form below and then hit the 'Save Page' button at the bottom of the form. As you complete the form, remember that one of the main goals of the Math Images Project is to provide explanations of the images on our site at various levels, so that everyone can understand some of the math behind the images. Try to complete the form as fully as possible, but remember that other users will have the opportunity to add more information to your image pages in the future. Also, please note that by contributing to the Math Images Project, you agree to comply to the guidelines as stated in our general disclaimer.

As always, thank you for your contributions! --The Math Images Project

If you need help filling out this page, please consult our Help sections: Want to Contribute and Math Resources.

Note: * Indicates a required field.

Please note: When you are filling in the below explanations, you should feel free to use standard wikitext.

 Image Title*: Upload a Math Image This modern knife in the shape of an '''arbelos''' is used to make shoes. The word "arbelos" means shoemaker’s knife in Greek. The first mathematician to study mathematical properties of this plane region is Archimedes, who wrote all his thoughts about the arbelos in his ''Book of Lemmas.'' [[Image:Arbelos(1).jpg|350px]] In geometry, an '''arbelos''' is a figure bounded by three semicircles, tangent in pairs, and with diameters lying on the same line. Graphically, an arbelos is the green region in the picture above. The position of central point B is arbitrary and can be anywhere along the diameter. Here we assume that the three diameters are $r, (1- r),$and $1,$ as the image shows. From now on, let's think in a semicircle way! Try it yourself! {{#iframe:https://www.cs.drexel.edu/~jcm357/MathImagesDU12/arbelos/arbelos.html|600|350}} ==Properties== Arbelos has lots of unexpected but interesting properties. [[Image:Arbelos(2).jpg|Figure 1-Properties of Arbelos|thumb|450px|right]] ===Arc Length=== The arc length along the bottom of the arbelos is the same as the arc length along the enclosing semicircle. Proof: The circumference of a circle is proportional to its diameter. See Figure 1 and we can find that :$C_{AB} = \frac{1}{2}\pi r$ :$C_{BC} = \frac{1}{2}\pi (1 - r)$ Add them together and we get :$C_{AB} + C_{BC} = \frac{1}{2} \pi r + \frac{1}{2} \pi (1-r) = \frac{1}{2} \pi (r + 1 -r ) = \frac{1}{2} \pi$ whereas :$C_{AC} = \frac{1}{2} \pi$. Therefore, they have the same length: $C_{AB} + C_{BC} = C_{AC}$. ===Area=== Starting from point $B$, draw a line that is perpendicular to $AC$. It meets the enclosing semicircle at point $D$. Then the area of the arbelos equals the area of a circle with diameter $BD$. {{SwitchPreview|ShowMessage=Click to show proof|HideMessage=Click to hide proof|PreviewText=If you don't know how to prove it, start with what you already know.|FullText= First, try to use line segments to represent those two areas. The area of a circle is $\pi \frac{d^2}{4}$ and therefore the area of a semicircle is $\frac{1}{2}\pi \frac{d^2}{4}$. :{{EquationRef2|Eq. 1}}$A_{circle} = \pi\left( \frac{(BD)^2}{4}\right)$ (''The name of the line segment in parentheses indicates the length of the segment.'') We can tell from the image that $A_{arbelos} = A_{semicircleAC} - A_{semicircleAB} - A_{semicircleBC}$, :$A_{semicircleAC} = \frac{1}{2}\pi\frac{(AC)^2}{4};$ :$A_{semicircleAB} = \frac{1}{2}\pi\frac{(AB)^2}{4};$ :$A_{semicircleBC} = \frac{1}{2}\pi\frac{(BC)^2}{4};$ [[image:Arbelos(2).jpg|450px|right]] Then $A_{arbelos} = \Big( \frac{1}{2}\pi\frac{(AC)^2}{4}\Big) - \Big( \frac{1}{2}\pi\frac{(AB)^2}{4}\Big) -\Big(\frac{1}{2}\pi\frac{(BC)^2}{4}\Big)$ :$A_{arbelos} = \pi \cdot \frac{1}{2} \cdot \frac{\Big((AC)^2 - (AB)^2- (BC)^2\Big)}{4}$ Because $(AC) = (AB) + (BC)$, :$A_{arbelos} = \pi\frac{\frac{1}{2}\bigg( \Big((AB) + (BC)\Big)^2 - (AB)^2 - (BC)^2\bigg)}{4}$ :$A_{arbelos} = \pi \frac{\frac{1}{2}\Big( (AB)^2 + 2 (AB) \cdot (BC) + (BC)^2 - (AB)^2 - (BC)^2\Big)}{4}$ :$A_{arbelos} = \pi \frac{\frac{1}{2} \cdot 2(AB) \cdot (BC)}{4}$ :{{EquationRef2|Eq. 2}} $A_{arbelos}= \pi \frac{ (AB) \cdot (BC)}{4}$ According to {{EquationNote|Eq. 1}} and {{EquationNote|Eq. 2}}, we translate our goal, $A_{cirlce}= A_{arbelos}$, into $\pi\left(\frac{(BD)^2}{4}\right)= \pi \frac{(AB) \cdot (BC)}{4}$. Simplify this "big" equation, and you will find that you only need to prove that $(BD)^2 = (AB)(BC)$. :$\blacktriangleright$We have now translated the seemingly sophisticated problem of proving that the area of the circle was the same as the area of the arbelos into something nice :::and simple. Reduction to absurdity is a very important method when dealing with mathematical problems where you don't have a clue. Now let's prove that $(BD)^2 = (AB)(BC)$: According to Thales' Theorem,$\triangle ADC$ is a right triangle, thus $\angle{ADC} = 90^ \circ$. Since we drew a line from B that is perpendicular to AC as stated in the problem, it is given that $DB \perp AC$. Therefore, $\triangle ABD$ is a right triangle with $\angle{ABD} = 90^\circ$. Thus, $\angle{ADC} = \angle{ABD}$. :{{EquationRef2|Eq. 3}}$\angle{DAB} = \angle{DAC}$ because they are the same angle. In a triangle, the sum of the three angles is $180^\circ$. :{{EquationRef2|Eq. 4}}$\angle{ADB} = 180^\circ -\angle{ABD} - \angle{DAB} = 90^\circ - \angle{DAB}$ :{{EquationRef2|Eq. 5}}$\angle{ACD} = 180^\circ - \angle{ADC} - \angle{DAC} = 90^\circ - \angle{DAC}$ Because of {{EquationNote|Eq. 3}}, therefore {{EquationNote|Eq. 4}} = {{EquationNote|Eq. 5}}, $\angle{ADB} = \angle{ACD}$ Therefore, $\triangle ABD$ and $\triangle BCD$ are similar triangles since both of their corresponding angles are equal in measure. The corresponding sides of similar triangles are proportional, so $\frac{(AB)}{(BD)} = \frac{(BD)}{(BC)}$. Cross multiplication will give you $(BD)^2 = (AB)(BC)$, which is what we want. Therefore, :$\pi\left(\frac{(BD)^2}{4}\right)= \pi \frac{(AB) \cdot (BC)}{4}$ :$A_{cirlce}= A_{arbelos}$ The area of the arbelos is the area of the circle $O$ with diameter $BD$.}} {{SwitchPreview|ShowMessage=Click to show a second proof|HideMessage=Click to hide this proof|PreviewText=According to Pythagorean Theorem,|FullText= According to the Pythagorean Theorem, : In $\triangle ABD :$ {{EquationRef2|Eq. 1}}$(AB)^2 + (BD)^2 = (AD)^2$ : In $\triangle BCD :$ {{EquationRef2|Eq. 2}}$(BC)^2 + (BD)^2 = (CD)^2$ : In $\triangle ACD :$ {{EquationRef2|Eq. 3}}$(AD)^2 + (CD)^2 = (AC)^2$ (Here $\triangle ACD$ is a right triangle according to Thales' Theorem.) [[image:Arbelos(2).jpg|450px|right]] By substituting {{EquationNote|Eq. 1}} and {{EquationNote|Eq. 2}} into {{EquationNote|Eq. 3}}, we get: :$(AB) ^2 + (BD) ^2 + (BC)^2 + (BD)^2 = (AC)^2$ Since $AB = r$ and $AC =1$, solve for $BD$: :$r^2 + (BD)^2 + (r - 1)^2 + (BD)^2 = 1^2$ :$r^2 + (r -1)^2 +2(BD)^2 = 1^2$ After simplification, we get :$BD = \sqrt[2]{r-r^2}$ So the area of the circle is: :$A_{circle} = \pi (\frac{1}{2} (BD)^2) = \pi \left(\frac{1}{2}\sqrt{r-r^2}\right)^2= \frac{\pi}{4} \left(r-r^2\right)$ The area of the arbelos is the area of the big semicircle minus areas of the two small semicirlces. Therefore, :$A_{arbelos} = \frac{1}{2}\pi (\frac{1}{2})^2 - \frac{1}{2}\pi(\frac{r}{2})^2 - \frac{1}{2}\pi(\frac{1-r}{2})^2$ :$A_{arbelos} = \frac{1}{8}\pi\cdot 1 - \frac{1}{8}\pi\cdot r^2 - \frac{1}{8}\pi \cdot (1- r)^2$ :$A_{arbelos} = \frac{\pi}{8}\left(1-r^2-(1-r)^2\right)$ :$A_{arbelos} = \frac{\pi}{8}\left(1-r^2-1+2r-r^2\right)$ :$A_{arbelos} = \frac{\pi}{4}\left(r-r^2\right)$ So, :$A_{arbelos} = A_{circle}$}} {{SwitchPreview|ShowMessage=Click to show another proof|HideMessage=Click to hide the third proof|PreviewText=Prove the problem in an easier way.|FullText= There is another way to prove that the two areas are the same. The equation to the area of a semicircle is $A_{semicircle} = \frac{\pi d^2}{8}$, where d is its diameter. We know from this equation that the area of a semicircle is proportional to the square of its diameter. If we draw three semicircles with diameters being the three sides of a right triangle, we will know that the area of the semicircle with diameter being the hypothenuse of the right triangle equals to the area of the two semicircles with diameters being the other two sides, according to the Pythagorean Theorem. Now take a look at the three figures below. [[Image:Arbelos(3)-.jpg|image_1|200px]][[Image:Arbelos(4)-.jpg|image_2|200px]][[Image:Arbelos(5)-.jpg|image_3|200px]] (Note that $A_1, A_2, A_3, B_1, B_2, B_3, C_1, C_2$ in the figure represent the areas of the semicircle they are in; $A$ represents the area of the arbelos.) It it not hard to conclude that :$\quad B_1 = A_1 + C_1 \quad\quad\quad\quad\quad B_2= A_2 + C_2 \quad\quad\quad\quad A + A_1 + A_2 = B_1 + B_2$ Therefore, :$A + A_1 + A_2 = A_1 + C_1 + A_2 + C_2$ :$A = C_1 + C_2$ Note that $C_1$ and $C_2$ make a whole circle, which is the area of the circle with diameter BD, whereas $A$ represents the area of the arbelos. Thus, this last equation proves that the area of the arbelos equals the area of the circle with diameter BD. }} ===Rectangles=== [[image:Arbelos(2).jpg|400px]] Assume line segment $AD$ intersects semicircle $AB$ at point $E$. Line segment $CD$ intersects semicircle $BC$ at point $F$. Then the quadrilateral, $BEDF$, is a rectangle. {{SwitchPreview|ShowMessage=Click to show proof|HideMessage=Click to hide proof|PreviewText=According to Thales' Theorem,|FullText= According to Thales' Theorem, $\angle{ADC}$, $\angle{AEB}$, and $\angle{BFC}$ are all right angles. So $\angle {ADC} = \angle{AEB} = \angle{BFC} = 90^\circ$. Thus $BEDF$ has three right angles now: $\angle{BED}, \angle{BFD}$ and $\angle{EDF}$. Its last angle $\angle{EBF}$ is also a right angle because the sum of the four angles of a quadrilateral is $360^\circ$ and :$\angle{EBF} = 360^\circ - 3 \cdot 90^\circ = 90^\circ$. Therefore, $BEDF$ is a rectangle. Note that since $BEDF$ is a rectangle, $EF$ and $BD$ are equal and bisect each other. $O$ is the midpoint. }} ===Tangents=== A line that connects the two points $E, F$ is tangent to the two smaller semicircles at $E$ and $F$. [[Image:Arbelos(7)-.jpg|Figure 2-Tangent|thumb|400px|left]] {{SwitchPreview|ShowMessage=Click to show proof|HideMessage=Click to hide proof|PreviewText=|FullText= We can prove that line $EF$ is tangent to two circles by showing that it is perpendicular to the radii of the circles. Recall: it is given that $DB \perp AB$. So $\angle{ABD}=90^\circ$ {{EquationRef2|Eq. 1}} $\angle{ABE}+\angle{EBD}=90^\circ$ In circle $O, OE = OB.$ Thus, {{EquationRef2|Eq. 2}} In$\triangle OBE, \angle{OEB} = \angle{OBE} = \angle{EBD}$ In circle $M, EM = BM.$ Thus, {{EquationRef2|Eq. 3}} In$\triangle BEM, \angle{BEM} = \angle{EBM} = \angle{ABE}$ According to {{EquationNote|Eq. 1}}, {{EquationNote|Eq. 2}}, and {{EquationNote|Eq. 3}}, :$\angle{BEM} + \angle{BEO}=90^\circ$ So $EM \perp EF$ :Now try it yourself! Prove $FN \perp EF$ in the same way. :Therefore, $EF$ is tangent to the two smaller semicircles at $E$ and $F$. }} One more thing: it is not a coincidence that $B, E, D, F$ are on a common circle. In a triangle, three perpendicular bisectors meet in a point. In a right triangle, that point is the midpoint of the hypotenuse. The distance from this point to each vertex of the triangle is the same. So a circle centered at the midpoint of the hypotenuse passes through all three vertices of a right triangle. If we treat the rectangle $BEDF$ as two right triangles, $\triangle DEF$ and $\triangle BEF$, a circle centered at $O$ passes through all the vertices of these two triangles. Therefore the four vertices $B, E, D$ and $F$ always lie along a common circle. Those are the four main properties of the arbelos. But Archimedes did not stop exploring this amazing figure; he found more fascinating things inside the arbelos. ==Archimedes' Twin Circles== Image:Arbelos(6).jpg Algebra Analysis Calculus Dynamic Systems Fractals Geometry Graph Theory Number Theory Polyhedra Topology Other None Algebra Analysis Calculus Dynamic Systems Fractals Geometry Graph Theory Number Theory Polyhedra Topology Other None Algebra Analysis Calculus Dynamic Systems Fractals Geometry Graph Theory Number Theory Polyhedra Topology Other The arbelos has attracted lots of professional mathematicians as well as many interested amateurs, and it still inspires people in many ways. Today, you can see the arbelos in areas ranging from shoemaking to art design. ==Applications== ===Leather cutting=== A modern head knife, used for leather cutting and shoemaking, resembles the shape of an arbelos as the main image shows. This kind of knife has a curved blade, which mathematically is the circumference of the largest semicircle; leather-crafters use the blade to cut, skive, or trim leather. Its two sharp cusp points on each side are perfect for cutting right angles. Because of the shape of an arbelos, the head knife is an important, easy, and very useful tool for cutting leather and making shoes. {{#ev:youtube|cnrOGbpKJQ4}} ===Art & Design=== [[Image:Pattern.jpg|200px]] Put the arbelos in a fractal pattern and you will get figures like the one above. A fractal pattern is a fragmented geometric shape, which consists of lots of reduced-size copies of the whole graph. The main shape of this fractal is a little bit different from the classic arbelos because the two smaller semicircles become two whole circles, making the entire figure more heart-shaped. Yet, it is a pretty design and it comes from a mathematics website that is actually called “Arbelos.” [[image:-arbelos- sculpture.jpg|350px]] You can also find an abstract public sculpture in the shape of arbelos located in the Netherlands. ===Mechanics=== The arbelos in mathematics is similar to the 3-D Mohr’s circle in mechanics. '''Mohr’s circle''' is a geometric representation of the state of stress at a point: the normal force and shear force. It is very useful to perform quick and efficient estimations. To understand how the diagram is drawn and how it is in the shape of the arbelos, we need to know the mathematical problems Mohr has studied. (This section is hard to understand; it requires knowledge about matrices, vectors, solid geometry, and algebraic calculation.) {{SwitchPreview|ShowMessage=Click to see proof |HideMessage=Click to hide proof|PreviewText=|FullText= First, let $\mathbf{U}$ be a unit vector in $\mathbf{R^3}: \mathbf{U} =$ Let $\mathbf{M}$ be a symmetric 3 by 3 matrix. For convenience, let the eigenvalues of the matrix M be $\lambda_1, \lambda_2, \lambda_3$ and other numbers 0. (To produce the arbelos, assume that $\lambda_1, \lambda_2, \lambda_3$ are different numbers and $\lambda_1 < \lambda_2 <\lambda_3$.) $\begin{bmatrix} \lambda_1 & 0 & 0 \\ 0 & \lambda_2 & 0 \\ 0 & 0 & \lambda_3 \\ \end{bmatrix}$ [[Image:Mohr-1.jpg|Vector U|thumb|250px|left]] Next, use a pair of real numbers $(x, y)$ to denote the normal and tangential components of vector $\mathbf{U}$. *$x = \mathbf{U} \cdot \mathbf{MU} = \lVert \mathbf{U}\rVert \cdot \lVert \mathbf{MU}\rVert \cdot \cos \theta = \lambda_1 (u_1)^2 + \lambda_2 (u_2) ^2 + \lambda_3 (u_3)^2$ Because$\mathbf{U}$ is a unit vector, so :$\lVert \mathbf{U}\rVert = 1$ Therefore, $x = \lVert \mathbf{MU}\rVert \cdot \cos \theta$ is the length of the normal component of $\mathbf{MU}$. Thus, $x\mathbf{U}$ is the normal vector of $\mathbf{U}$. See the left image. * According to the left image, the tangential vector of $\mathbf{U}$ is $y\mathbf{U} = \mathbf{MU} - x\mathbf{U}$. Remember that $y$ is the length of the tangential component of $\mathbf{MU}$, $y = \lVert \mathbf{MU} - x\mathbf{U} \rVert$. Because $\mathbf{U}$ represents any unit vector over a unit sphere in $\mathbf{R^3}$, there is a range for (x, y) in $\mathbf{R^2}$ as $\mathbf{U}$ varies in $\mathbf{R^3}$. [[Image:Mohr-2.jpg|A Triangular Plane|thumb|300px|right]] Now let $v_j = u_j^2$. Then :$x = \lambda_1 (u_1)^2 + \lambda_2 (u_2) ^2 + \lambda_3 (u_3)^2 = \sum_{j=1}^3 \lambda_j v_j ,$ :$\quad y^2 = (\lVert \mathbf{MU}\rVert - \lVert x\mathbf{U}\rVert )^2 = \sum_{j=1}^3 \lambda_j^2 v_j - x^2$ Because $\mathbf{U}$ is a unit vector and $\mathbf{U} =$ Therefore $u_1^2 + u_2 ^2 + u_3 ^2 = 1$; $v_1 + v_2 + v_3 = 1$. This equations represents a triangular plane in $\mathbf{R^3}$. See the right figure. Image:Mohr-3.jpg| Figure 7-Triangle & Arbelos Then draw a line with three points $A, B, C$ as shown in Figure 7. Let the abscissae of $A, B, C$ be $\lambda_1, \lambda_2, \lambda_3$ in an increasing order. In order to prove that the range is an arbelos, we need to prove that the three vertices of this triangle in the right figure, $(1, 0, 0), (0, 1, 0), (0, 0, 1),$ map to the three points of the arbelos $A, B, C$ as Figure 7 shows, and the three sides of this triangle are arc $AB$, arc $AC$, and arc $BC$ in the arbelos. We take one side of the triangle as an example and it can be proved that the other two sides are mapped to the other arcs in the same way. Assume we want to prove the arc $AB$. Let $v_3 = 0$, then $v_1 + v_2 = 1 - v_3 = 1$. Substitute $x$ and $y$ with $v_j$ and $u_j$ in the expression y^2 + x^2 - (\lambda_1 + \lambda_2) x, using $x = \sum_{j=1}^3 \lambda_j v_j, y^2 =\sum_{j=1}^3 \lambda_j^2 v_j - x^2$. So $y^2 + x^2 - (\lambda_1 + \lambda_2)~ x =~ (\lambda_1 ^ 2~ v_1 + \lambda_2^2~ v_2 + \lambda_3^2~ v_3 - x^2) ~+ ~x^2~ -~ (\lambda_1 + \lambda_2)~ (\lambda_1~ v_1 + \lambda_2~ v_2 + \lambda_3~ v_3)$ Because $v_3 = 0$, $y^2 + x^2 - (\lambda_1 + \lambda_2)~ x =~ (\lambda_1 ^ 2~ v_1 + \lambda_2^2~ v_2) ~-~ (\lambda_1 + \lambda_2)~ (\lambda_1~ v_1 + \lambda_2~ v_2 )$ $y^2 + x^2 - (\lambda_1 + \lambda_2)~ x = ~\lambda_1 ^2 ~v_1 + \lambda_2^2 ~v_2 -\lambda_1 ^2~ v_1 - \lambda_1 \lambda_2~ v_1 - \lambda_2 ^2 ~v_2 - \lambda_1 \lambda_2 ~v_2 = -\lambda_1 \lambda_2 (v_1 + v_2)$ Recall that $v_1 + v_2 = 1$ :{{EquationRef2|Eq. 1}}$y^2 + x^2 - (\lambda_1 + \lambda_2) x= -\lambda_1 \lambda_2$ Because $(\lambda_1 + \lambda_2)^2 = \lambda_1 ^2 + 2\lambda_1 \lambda_2 + \lambda_2 ^2 \quad\quad\quad (\lambda_1 - \lambda_2)^2 = \lambda_1 ^2 - 2\lambda_1 \lambda_2 + \lambda_2 ^2$ :$\therefore (\lambda_1 - \lambda_2)^2 - (\lambda_1 + \lambda_2)^2= -4\lambda_1 \lambda_2$ :{{EquationRef2|Eq. 2}}$\therefore -\lambda_1 \lambda_2 = \frac{(\lambda_1 - \lambda_2)^2 - (\lambda_1 + \lambda_2)^2}{4}$ For the reason that $Eq.1 = Eq.2$ Therefore, we get [[Image:Mohr-4.jpg|Figure 8-Mohr's Circle|thumb|300px|right]] It is a circle centered at $(\frac{\lambda_1 +\lambda_2}{2}, 0)$ with radius $\frac{\lambda_1 - \lambda_2}{2}$. See the blue circle in Figure 8. Use the same method for the other two sides and we'll get the three circles as Figure 8 shows and the shaded region is the range we want to get. Based on the work we've done, Mohr's Circle analyzed in 3-D is indeed in the shape of an arbelos. An interesting thing to note is that you can view the arbelos as a stretched triangle. }} ==Archimedean Circles== Any circle defined in the arbelos that has radius $\frac{r(1 - r)}{2}$, the same as the radii of Archimedes’ Twin Circles, is called an Archimedean Circle. There are three famous Archimedean Circles: the Bankoff Circle, the Schoch Circle, and the Woo Circle. We discuss the Bankoff Circle above. To learn more about the other two circles, see [http://www.retas.de/thomas/arbelos/woo.html the Woo Circles] and [http://forumgeom.fau.edu/FG2004volume4/FG200404.pdf The Archimedean Circles of Schoch and Woo] . [1] Boas, Harold P. '' Reflections on the Arbelos. ''Retrieved from http://www.math.tamu.edu/~harold.boas/preprints/arbelos.pdf. [2] Nelsen, Roger B. ''Proof Without Words: The Area of an Arbelos.'' Retrieved from http://legacy.lclark.edu/~mathsci/arbelos.pdf. [3] Wikipedia (Arbelos).'' Arbelos.'' Retrieved from http://en.wikipedia.org/wiki/Arbelos. [4] ''Radius of the Twin Circles''. Retrieved from http://www.geogebra.org/en/examples/frisbee/worksheets/pappus_chain.html. [5] Weisstein, Eric W. ''Arbelos.'' From MathWorld--A Wolfram Web Resource. Retrieved from http://mathworld.wolfram.com/Arbelos.html. [6] Bankoff, L. ''Are the Twin Circles of Archimedes Really Twins?'' Math. Mag. 47, 214-218, 1974. #A proof of this statement: "According to a property found by Pappus, the altitude to the base $AB$ of $\triangle{ABC}$ is two times the radius of circle $C$. Therefore $height = 2R$." under the section Bankoff Circle. #An applet or applets to demonstrate different kinds of arbelos and Archemedes' circles with a moveable point B. #More interesting and important applications of arbelos. #Or anything you think would be necessary for this page. You are welcome to edit it! Yes, it is.