Dynamic Geometry: P100

Geometry Level 4

The diagram shows a black semicircle with radius 1 1 . A red point moves freely on its diameter, creating two semicircles: cyan and green. The purple circle is internally tangent to the black semicircle and tangent to both cyan and green semicircles. There is an infinite number of blue circles. They are tangent to each other, internally tangent to the black semicircle and tangent to the green semicircle. There is an infinite number of yellow circles. They are tangent to each other, internally tangent to the black semicircle and tangent to the cyan semicircle. When the ratio of the radius of the 25 25 th blue circle to the radius of the 20 20 th yellow circle is equal to 1779 6094 \dfrac{1779}{6094} , the ratio of the green semicircle's radius to the radius of the cyan semicircle can be expressed as p q \dfrac{p}{q} , where p p and q q are coprime positive integers. Find p + q p+q .


The answer is 5.

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.

2 solutions

Chew-Seong Cheong
Mar 27, 2021

Let the curvatures of the purple circle, green semicircle, and cyan semicircle be k 0 k_0 , k 1 k_1 , and k 2 k_2 respectively. This means that their radii are 1 k 0 \dfrac 1{k_0} , 1 k 1 \dfrac 1{k_1} , and 1 k 2 \dfrac 1{k_2} respectively. By Descarte's theorem :

k 0 = k 1 + k 2 1 + 2 k 1 k 2 k 1 k 2 = k 1 + k 2 1 + 2 ( k 1 1 ) k 2 k 1 = k 1 + k 2 1 + 2 k 1 k 1 = k 1 + k 2 1 \begin{aligned} k_0 & = k_1 + k_2 - 1 + 2 \sqrt{k_1k_2 - k_1 - k_2} \\ & = k_1 + k_2 - 1 + 2 \sqrt{(k_1-1)k_2 - k_1} \\ & = k_1 + k_2 - 1 + 2 \sqrt{k_1 - k_1} \\ & = k_1 + k_2 - 1 \end{aligned}

Let the curvatures of the n n th blue circle and yellow circle be b n b_n and y n y_n respectively, and b 0 = y 0 = k 0 b_0 = y_0 = k_0 . Through observation it is found that

b n = ( k 1 1 ) ( n + 1 ) 2 + k 2 b_n = (k_1-1)(n+1)^2 + k_2

Let us prove this claim by induction for all n 0 n \ge 0 .

When n = 0 n=0 , b 0 = k 1 1 + k 2 b_0 = k_1 - 1 + k_2 , Therefore the claim is true for n = 0 n=0 . Assuming that the claim is true for n n , then

b n + 1 = b n + k 1 1 + 2 b n k 1 b n k 1 = ( k 1 1 ) ( n + 1 ) 2 + k 2 + k 1 1 + 2 ( k 1 1 ) b n k 1 = ( k 1 1 ) ( ( n + 1 ) 2 + 1 ) + k 2 + 2 ( k 1 1 ) 2 ( n + 1 ) 2 + k 1 k 1 = ( k 1 1 ) ( n 2 + 2 n + 2 ) + k 2 + 2 ( k 1 1 ) ( n + 1 ) = ( k 1 1 ) ( n 2 + 4 n + 4 ) + k 2 = ( k 1 1 ) ( n + 2 ) 2 + k 2 \begin{aligned} b_{n+1} & = b_n + k_1 - 1 + 2\sqrt{b_nk_1 - b_n-k_1} \\ & = (k_1-1)(n+1)^2 + k_2 + k_1 - 1 + 2 \sqrt{(k_1-1)b_n - k_1} \\ & = (k_1-1)\left((n+1)^2 + 1\right) + k_2 + 2 \sqrt{(k_1-1)^2(n+1)^2 + k_1 - k_1} \\ & = (k_1-1)\left(n^2 + 2n + 2 \right) + k_2 + 2 (k_1-1)(n+1) \\ & = (k_1-1)\left(n^2 + 4n + 4 \right) + k_2 \\ & = (k_1-1)(n + 2)^2 + k_2 \end{aligned}

The claim is also true for n + 1 n+1 and it is true for all n 0 n \ge 0 . Since k 1 k_1 and k 2 k_2 are interchangeable and k 0 k_0 is common,

y n = ( k 2 1 ) ( n + 1 ) 2 + k 1 y_n = (k_2-1)(n+1)^2 + k_1

When 1 / b 25 1 / y 20 = 1779 6094 \dfrac {1/b_{25}}{1/y_{20}} = \dfrac {1779}{6094} , we have:

y 20 b 25 = 1779 6094 2 1 2 ( k 2 1 ) + k 1 2 6 2 ( k 1 1 ) + k 2 = 1779 6094 2687454 k 2 2687454 + 6094 k 1 = 1202604 k 1 1202604 + 1779 k 2 537135 k 2 239302 k 1 = 296970 Note that 1 k 1 + 1 k 2 = 1 537135 k 1 k 1 1 239302 k 1 = 296970 k 2 = k 1 k 1 1 239302 k 1 2 479467 k 1 296970 = 0 ( 2 k 1 5 ) ( 119651 k 1 + 59394 ) = 0 Since k 1 > 0 k 1 = 5 2 1 / k 1 1 / k 2 = k 2 k 1 = 1 k 1 1 = 2 3 \begin{aligned} \frac {y_{20}}{b_{25}} & = \frac {1779}{6094} \\ \frac {21^2(k_2-1)+k_1}{26^2(k_1-1)+k_2} & = \frac {1779}{6094} \\ 2687454k_2 - 2687454 + 6094k_1 & = 1202604k_1 - 1202604 + 1779k_2 \\ 537135k_2 - 239302k_1 & = 296970 & \small \blue{\text{Note that }\frac 1{k_1} + \frac 1{k_2} = 1} \\ \frac {537135k_1}{k_1-1} - 239302k_1 & = 296970 & \small \blue{\implies k_2 = \frac {k_1}{k_1-1}} \\ 239302k_1^2 -479467k_1 - 296970 & = 0 \\ (2k_1 -5)(119651k_1+59394) & = 0 & \small \blue{\text{Since }k_1 > 0} \\ k_1 & = \frac 52 \\ \implies \frac {1/k_1}{1/k_2} & = \frac {k_2}{k_1} = \frac 1{k_1-1} = \frac 23 \end{aligned}

Therefore p + q = 2 + 3 = 5 p+q = 2 + 3 = \boxed 5 .

You made it very simple. Nice work.

Valentin Duringer - 2 months, 2 weeks ago

Log in to reply

It was quite impossible using Descarte's theorem. I was surprised I solved it. I was trying to solve it numerically and saw the pattern. Once again, nice problem.

Chew-Seong Cheong - 2 months, 2 weeks ago

Log in to reply

Thank you sir. I calculated the First 6 radii of each kind of circles and by recurrence deducted a general formula for the nth radius.

Valentin Duringer - 2 months, 2 weeks ago

Well I used brute force for solving this it took me a lot of time. Nice problem.

Omek K - 2 months, 2 weeks ago

Log in to reply

aha I should have asked for the 100th radii ahah

Valentin Duringer - 2 months, 2 weeks ago

Log in to reply

Yea by then I would been exhausted

Omek K - 2 months, 2 weeks ago

Log in to reply

@Omek K I will not stop at 100, I have more ideas...

Valentin Duringer - 2 months, 2 weeks ago

Log in to reply

@Valentin Duringer Cool then keep posting.

Omek K - 2 months, 2 weeks ago

One doubt only: in the third-last line, shouldn’t it be k 1 > 1 k_1\gt 1 ?
(Since 0 < 1 k 1 < 1 0\lt \dfrac{1}{k_1}\lt 1 ) :)

Jeff Giff - 2 months, 2 weeks ago

Log in to reply

He's implying k is not negative

Omek K - 2 months, 2 weeks ago

Log in to reply

Oh yeah :) I just didn’t notice how it’s negative in the second case :)

Jeff Giff - 2 months, 2 weeks ago

Let A B AB , B C BC be the diameters of the green and the cyan semicircles respectively.

The sequence of the blue circles together with the purple circle form a Pappus chain { C 1 , C 2 , C 3 , } \left\{ {{C}_{1}},\ {{C}_{2}},\ {{C}_{3}},\ \ldots \right\} . Using the ratio r = A B A C r=\dfrac{AB}{AC} of the green and the black semicircles’ diameters, in which the chain is inscribed, the radius of the n t h {{n}^{th}} circle of the chain is given by the expression: r n = ( 1 r ) r 2 [ n 2 ( 1 r ) 2 + r ] {{r}_{n}}=\dfrac{\left( 1-r \right)r}{2\left[ {{n}^{2}}{{\left( 1-r \right)}^{2}}+r \right]} The 25th blue circle is the 26th circle of the chain, thus, its radius r b {{r}_{b}} is r b = r 26 = ( 1 r ) r 2 [ 26 2 ( 1 r ) 2 + r ] {{r}_{b}}={{r}_{26}}=\dfrac{\left( 1-r \right)r}{2\left[ {{26}^{2}}{{\left( 1-r \right)}^{2}}+r \right]} Likewise, the set of the yellow circles together with the purple circle form a Pappus chain as well. The corresponding ratio of the diameters of the cyan and black semicircles of the arbelos is B C A C = A C A B A C = 1 r \dfrac{BC}{AC}=\dfrac{AC-AB}{AC}=1-r Using this ratio in the formula for the radii of the circles in the chain we get r n = r ( 1 r ) 2 [ n 2 r 2 + ( 1 r ) ] {{r}_{n}}=\frac{r\left( 1-r \right)}{2\left[ {{n}^{2}}{{r}^{2}}+\left( 1-r \right) \right]} and for the radius of the 20th yellow circle we have r y = r 21 = r ( 1 r ) 2 [ 21 2 r 2 + ( 1 r ) ] {{r}_{y}}={{r}_{21}}=\dfrac{r\left( 1-r \right)}{2\left[ {{21}^{2}}{{r}^{2}}+\left( 1-r \right) \right]} According to the condition given in the problem we have the equation d r ( 1 r ) 2 [ 26 2 r 2 + ( 1 r ) ] r ( 1 r ) 2 [ 21 2 r 2 + ( 1 r ) ] = 1779 6094 21 2 r 2 + ( 1 r ) 26 2 r 2 + ( 1 r ) = 1779 6094 296970 r 2 + 479467 r 239302 = 0 r > 0 r = 2 5 \begin{aligned} d\frac{\dfrac{r\left( 1-r \right)}{2\left[ {{26}^{2}}{{r}^{2}}+\left( 1-r \right) \right]}}{\dfrac{r\left( 1-r \right)}{2\left[ {{21}^{2}}{{r}^{2}}+\left( 1-r \right) \right]}}=\dfrac{1779}{6094} & \Leftrightarrow \dfrac{{{21}^{2}}{{r}^{2}}+\left( 1-r \right)}{{{26}^{2}}{{r}^{2}}+\left( 1-r \right)}=\dfrac{1779}{6094} \\ & \Leftrightarrow 296970{{r}^{2}}+479467r-239302=0 \\ & \overset{r>0}{\mathop{\Leftrightarrow }}\,r=\dfrac{2}{5} \\ \end{aligned} Consequently, the ratio of the green semicircle's radius to the radius of the cyan semicircle is r g r e e n r p u r p l e = A B B C = A B A C B C A C = r 1 r = 2 5 1 2 5 = 2 3 \dfrac{{{r}_{green}}}{{{r}_{purple}}}=\dfrac{AB}{BC}=\dfrac{\dfrac{AB}{AC}}{\dfrac{BC}{AC}}=\dfrac{r}{1-r}=\dfrac{\dfrac{2}{5}}{1-\dfrac{2}{5}}=\dfrac{2}{3} For the answer, p = 2 p=2 , q = 3 q=3 , thus, p + q = 5 p+q=\boxed{5} .

Very nice work Thanos !

Valentin Duringer - 2 months, 2 weeks ago

Log in to reply

I'm glad you liked it. I had to upload a solution to celebrate your 100th Dynamic Geometry problem :) Keep it up.

Thanos Petropoulos - 2 months, 2 weeks ago

So cool :)

Valentin Duringer - 2 months, 2 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...