locus (blue curve). The area bounded by the blue curve and the black semicircle's diameter can be expressed as:
The diagram shows a black semicircle. The cyan and green semicircle are growing and shrinking freely on the black semicirle's diameter. The purple circle is internally tangent to the black semicircle and tangent to both green and cyan semicircle. The red and orange circles are internally tangent to the black semicircle and tangent to the purple circle and to one of the bottom semicircles. The center of the orange and red circles trace a
where and are coprime positive integers. Find .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Let the center of the unit semicircle be O ( 0 , 0 ) , the origin of the x y -plane, its radius be r and its diameter be A B , the center of the purple circle be P , ∠ P O B = θ , and t = tan 2 θ . Also let an arbitrary point on the locus or the tangent point of the center of the orange circle be T ( x , y ) and its radius be \(r_4). From the calculations in [Dynamic Geometry: P80 Series](https://brilliant.org/discussions/thread/about-dynamic-geometry-p80-85-90-95-99-105/?ref_id=1615051), we have:
\[\begin{cases} r_4 = \dfrac {2t}{t^2+2t+9} \\ y = \dfrac {6t}{t^2+2t+9} \end{cases} \implies y = 3r_4 \]
By [Pythagorean theorem](https://brilliant.org/wiki/pythagorean-theorem/),
x 2 + y 2 x 2 + 9 8 y 2 + 3 2 y x 2 + 9 8 ( y + 8 3 ) 2 8 9 x 2 + 6 4 8 1 ( y + 8 3 ) 2 = O T 2 = ( 1 − r 4 ) 2 = ( 1 − 3 y ) 2 = 1 = 1 + 8 1 = 1
Therefore the locus is part of an ellipse with center at ( 0 , − 8 3 ) , minor semi-axis of length a = 2 2 3 and major semi-axis of length b = 8 9 . And the area under the locus is a 2 sin − 1 3 2 2 elliptical segment,
A = a b ( sin − 1 3 2 2 − 9 2 2 ) = 1 6 2 2 7 ( sin − 1 3 2 2 − 9 2 2 ) = 2 5 3 ( 3 2 2 sin − 1 3 2 2 − 2 2 )
Therefore p + q = 3 + 2 = 5 .