Analyzing the Geometry Problem with Touching Circles

The question describes a geometrical setup involving a line segment, semi-circles drawn on it and its parts, and a circle that touches these semi-circles. We are asked to find the relationship between the radius of one specific semi-circle (S2) and the radius of the inner circle (S).

Setting up the Geometry and Radii

Let the line segment AB be placed on the x-axis. C is the midpoint of AB. Semi-circles S1, S2, and S3 are drawn on AB, AC, and CB as diameters, respectively, all on the same side of AB (let's assume above the x-axis).

Let R be the radius of semi-circle S2. Since S2 is drawn on AC as diameter, the diameter of S2 is AC. So, \( AC = 2R \).

Since C is the midpoint of AB, we have \( AC = CB \). Therefore, \( CB = 2R \).

Semi-circle S3 is drawn on CB as diameter, so the diameter of S3 is CB. Thus, the diameter of S3 is \( 2R \), and its radius is \( R \).

The line segment AB is \( AC + CB = 2R + 2R = 4R \). Semi-circle S1 is drawn on AB as diameter, so the diameter of S1 is \( 4R \), and its radius is \( 2R \).

Let's assign coordinates to the centers of these semi-circles. Let A be the origin (0,0). Since AB is on the x-axis and its length is 4R, B is at (4R, 0). C is the midpoint of AB, so C is at \( \left(\frac{0+4R}{2}, \frac{0+0}{2}\right) = (2R, 0) \).

• Semi-circle S1 (on AB): Diameter = 4R, Radius = 2R. Center = Midpoint of AB = (2R, 0).
• Semi-circle S2 (on AC): Diameter = 2R, Radius = R. Center = Midpoint of AC = \( \left(\frac{0+2R}{2}, \frac{0+0}{2}\right) = (R, 0) \).
• Semi-circle S3 (on CB): Diameter = 2R, Radius = R. Center = Midpoint of CB = \( \left(\frac{2R+4R}{2}, \frac{0+0}{2}\right) = (3R, 0) \).

Let S be a circle with radius r. Let its center be (x, y).

Applying Tangency Conditions

Circle S touches semi-circle S1 internally, and semi-circles S2 and S3 externally. The distance between the centers of two touching circles is either the sum or the difference of their radii, depending on whether the touch is external or internal.

1. S touches S1 internally: The distance between the center of S (x, y) and the center of S1 (2R, 0) is the difference between the radius of S1 and the radius of S. \( \sqrt{(x - 2R)^2 + (y - 0)^2} = \text{Radius}(S1) - \text{Radius}(S) \) \( \sqrt{(x - 2R)^2 + y^2} = 2R - r \quad (Equation \, 1) \)

2. S touches S2 externally: The distance between the center of S (x, y) and the center of S2 (R, 0) is the sum of their radii. \( \sqrt{(x - R)^2 + (y - 0)^2} = \text{Radius}(S2) + \text{Radius}(S) \) \( \sqrt{(x - R)^2 + y^2} = R + r \quad (Equation \, 2) \)

3. S touches S3 externally: The distance between the center of S (x, y) and the center of S3 (3R, 0) is the sum of their radii. \( \sqrt{(x - 3R)^2 + (y - 0)^2} = \text{Radius}(S3) + \text{Radius}(S) \) \( \sqrt{(x - 3R)^2 + y^2} = R + r \quad (Equation \, 3) \)

Solving the System of Equations

From Equation 2 and Equation 3, we have: \( \sqrt{(x - R)^2 + y^2} = \sqrt{(x - 3R)^2 + y^2} \) Squaring both sides: \( (x - R)^2 + y^2 = (x - 3R)^2 + y^2 \) \( (x - R)^2 = (x - 3R)^2 \) \( x^2 - 2Rx + R^2 = x^2 - 6Rx + 9R^2 \) Subtract \( x^2 \) from both sides: \( -2Rx + R^2 = -6Rx + 9R^2 \) Rearrange terms to solve for x: \( 6Rx - 2Rx = 9R^2 - R^2 \) \( 4Rx = 8R^2 \) Since R is a radius, \( R > 0 \). We can divide by 4R: \( x = \frac{8R^2}{4R} = 2R \) The x-coordinate of the center of circle S is 2R. This means the center of S lies on the vertical line passing through the center of the largest semi-circle S1.

Now substitute \( x = 2R \) into Equation 2 (or Equation 3): \( \sqrt{(2R - R)^2 + y^2} = R + r \) \( \sqrt{R^2 + y^2} = R + r \) Squaring both sides: \( R^2 + y^2 = (R + r)^2 \) \( R^2 + y^2 = R^2 + 2Rr + r^2 \) \( y^2 = 2Rr + r^2 \quad (Equation \, 4) \)

Substitute \( x = 2R \) into Equation 1: \( \sqrt{(2R - 2R)^2 + y^2} = 2R - r \) \( \sqrt{0^2 + y^2} = 2R - r \) \( \sqrt{y^2} = 2R - r \) Since the semi-circles are above the x-axis and circle S touches them, its center (x, y) must have \( y > 0 \). Thus, \( \sqrt{y^2} = y \). \( y = 2R - r \) For y to be positive, we must have \( 2R - r > 0 \), or \( 2R > r \). This makes sense as S is internally tangent to S1.

Now substitute \( y = 2R - r \) into Equation 4: \( (2R - r)^2 = 2Rr + r^2 \) Expand the left side: \( (2R)^2 - 2(2R)(r) + r^2 = 2Rr + r^2 \) \( 4R^2 - 4Rr + r^2 = 2Rr + r^2 \) Subtract \( r^2 \) from both sides: \( 4R^2 - 4Rr = 2Rr \) Add \( 4Rr \) to both sides: \( 4R^2 = 6Rr \) Since R is a radius, \( R > 0 \). Since S has a radius, \( r > 0 \). We can divide both sides by 2R: \( \frac{4R^2}{2R} = \frac{6Rr}{2R} \) \( 2R = 3r \)

This gives us the relationship between R and r.

Conclusion

Based on the geometric constraints and calculations, the relationship between the radius R of semi-circle S2 and the radius r of circle S is \( 2R = 3r \).

Let's check the given options:

1. R = 3r
2. R = 2r
3. 3R = 4r
4. 2R = 3r

Our derived relationship \( 2R = 3r \) matches option 4.

Revision Table: Key Concepts in Circle Tangency

Additional Information: Circle Packing and Descartes' Theorem

This problem is related to the classical problem of Apollonius and concepts in circle packing. When circles are mutually tangent, their curvatures (\( k = 1/r \)) satisfy interesting relationships. Descartes' Theorem provides a formula for four mutually tangent circles:

If four circles with curvatures \( k_1, k_2, k_3, k_4 \) are mutually tangent at six points, then \( (k_1+k_2+k_3+k_4)^2 = 2(k_1^2+k_2^2+k_3^2+k_4^2) \). If one circle is tangent internally, its curvature is taken as negative.

In our problem, we have three semi-circles and one full circle. S1 is a semi-circle on AB (diameter 4R), S2 on AC (diameter 2R), S3 on CB (diameter 2R). Circle S (radius r) touches S1 internally and S2, S3 externally. We can think of this setup in terms of four circles. Semi-circle S1 is part of a full circle with radius 2R (curvature \( 1/(2R) \)). Semi-circles S2 and S3 are parts of full circles with radius R (curvature \( 1/R \)). The line AB can be considered a circle with infinite radius and zero curvature.

While Descartes' theorem usually applies to four *mutually* tangent circles, this problem involves tangency among four entities (S, S1, S2, S3) and the line AB. The approach using distances between centers is a standard and effective way to solve such tangency problems without directly invoking advanced theorems like Descartes' Theorem, although it represents a specific case that aligns with such theories in a broader context.