. We draw a red vertical segment using their tangency point. At last we inscribed two yellow circles so they are tangent to the red line, to the black semicircle and to one of the two bottom semicircles. The tangency point between the cyan circle and one yellow circle traces a locus (purple curve). The ratio of the area bounded by the purple curve and the black semicirle's diameter to the area of the black semicircle can be expressed as , where and are integers. Find .
The diagram shows a black semicircle. The cyan and green semicircles are tangent to each other and internally tangent to the black semicircle. They are growing and shrinking freely so that the sum of their radius is always equal to
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 large semicircle be O ( 0 , 0 ) , the origin of the x y -plane and its radius be 1 . Since the system is symmetrical about the y -axis, I have flipped the system horizontally so the x increases to the right. Let an arbitrary point on the locus be P ( x , y ) , the centers and radii of the right yellow circle and the cyan semicircle be Q ( u , v ) and R , and r 2 and r 1 respectively, the radius of the green semicircle be r , the red line be K M , L Q be perpendicular to K M , and Q N be perpendicular to the x -axis. Then r + r 1 = 1 and O R = 1 − r 1 = r .
By Pythagorean theorem ,
Q N 2 v 2 = Q R 2 − N R 2 = ( Q P + P R ) 2 + ( M R − M N ) 2 = ( r 1 + r 2 ) 2 − ( r 1 − r 2 ) 2 = 4 r 1 r 2
Also
Q N 2 v 2 4 r 1 r 2 r 2 v 2 ⟹ v = O Q 2 − O N 2 = O Q 2 − ( O M + M N ) 2 = ( 1 − r 2 ) 2 − ( 1 − 2 r 1 + r 2 ) 2 = ( 1 − r 2 ) 2 − ( 1 + r 2 ) 2 + 4 r 1 ( 1 + r 2 ) − 4 r 1 2 = r 1 ( 1 − r 1 ) = r r 1 = 4 r 1 r 2 = 4 r r 1 2 = 2 r 1 r = 2 ( 1 − r ) r
From similar triangles, we note that
v y = r 1 + r 2 r 1 = r 1 + r r 1 r 1 = 1 + r 1 ⟹ y = 1 + r v = 1 + r 2 ( 1 − r ) r
Since u = O N = O M + M N = 1 − 2 r 1 + r 2 . From similar triangles,
x = u + r 1 + r 2 r 2 ⋅ N R = 1 − 2 r 1 + r 2 + r 1 + r 2 r 2 ( r 1 − r 2 ) = 1 + r 3 r − 1
The area under the locus is given by:
A = ∫ − 1 1 y d x = ∫ − 1 1 1 + r 2 ( 1 − r ) r d ( 1 + r 3 r − 1 ) = ∫ 0 1 ( 1 + r ) 3 8 ( 1 − r ) r d r = 1 6 ∫ 0 1 ( 1 + u 2 ) 3 ( 1 − u 2 ) u 2 d u = 1 6 ∫ 0 4 π sec 6 θ ( 1 − tan 2 θ ) tan 2 θ ⋅ sec 2 θ d θ = 1 6 ∫ 0 4 π ( cos 2 θ − sin 2 θ ) sin 2 θ d θ = 8 ∫ 0 4 π cos 2 θ ( 1 − cos 2 θ ) d θ = ∫ 0 4 π ( 8 cos 2 θ − 4 − 4 cos 4 θ ) d θ = 4 sin 2 θ − 4 θ − sin 4 θ ∣ ∣ ∣ ∣ 0 4 π = 4 − π Let r = u 2 ⟹ d r = 2 u d u Let u = tan θ ⟹ d u = sec 2 θ d θ
Therefore the ratio of the area under the locus to the area of the unit semicircle is 2 π 4 − π = π 8 − 2 , and p + q = 8 − 2 = 6 .