An arbelos is formed from three collinear points A, B, and C, by the three semicircles with diametersAB, AC, and BC. Let the two smaller circles have radiir1 and r2, from which it follows that the larger semicircle has radius r = r1+r2. Let the points D and E be the center and midpoint, respectively, of the semicircle with the radius r1. Let H be the midpoint of line AC. Then two of the four quadruplet circles are tangent to line HE at the point E, and are also tangent to the outer semicircle. The other two quadruplet circles are formed in a symmetric way from the semicircle with radius r2.
Then, create two circles with centers Jiperpendicular to HE, tangent to the large semicircle at point Li, tangent to point E, and with equal radii x. Using the Pythagorean theorem:
Also:
Combining these gives:
Expanding, collecting to one side, and factoring:
Solving for x:
Proving that each of the Archimedes' quadruplets' areas is equal to each of Archimedes' twin circles' areas.[4]