Revenge of the progressive Sangaku

Geometry Level 5

Professor Michael Mendrin challenges Chew-Seong Cheong and David Vreken to solve a tricky problem:

  • He draws a cirlce of radius 1 and divides it into two semi-circles. David Vreken shall use the upper semi-circle and Chew-Seong Cheong shall use the lower semi-circle.

  • Then he asks them to place a point on their respective semi-circle so that they can draw a right triangle with the hypotenuse being the circle's diameter, thus creating 2 circular segments per semi-circle. Finally they need to draw the incircle of their triangle and the biggest circle they can inscribe in each circular segment.

  • Easy, right? But there is a twist ! The radii of David's and Chew-Seong Cheong's circles need to be in a different arithmetic progression.

  • After doing so, Professor Michael Mendrin asks them to inscribe the largest (in terms of area) possible rectangle in their respective triangle so that the rectangle is tangent to the triangle's incircle.


  • The question : Either David Vreken or Chew-Seong Cheong constructed the three circles whose sum of areas is smaller. This sum of areas can be calculated and the result can be expressed in its simplest form as a π b \boxed{\frac{aπ}{b}}
  • One of the two contestants could draw a rectangle larger than the other's, we denote its area : β \boxed{β}
  • Evaluate 1 0 7 β π + a b \boxed{\frac{\lfloor{10^{7}β}\rfloor-\lceil{π}\rceil+a}{b}}


The answer is 13942.

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

Valentin Duringer
Jun 10, 2020

Let us place a point M on the circle with diameter [AC], we obtain a right triangle AMC with A C = 2 \boxed{AC=2} , M C = x \boxed{MC=x} and M A = 4 x ² \boxed{MA=\sqrt{4-x²}}

  • Now we will be able to express the radii of the three circles in terms of x \boxed{x} . We denote R 1 \boxed{R_1} the radius of the incircle of the right triangle AMC. We denote R 2 \boxed{R_2} the radius of the circle tangent to (MC) and R 3 \boxed{R_3} the radius of the circle tangent to (MA)

  • R 1 ( x ) = 2 A r e a P e r i m e t e r = x 4 x ² 2 + x + 4 x ² \boxed{R_1(x)=\frac{2Area}{Perimeter}=\frac{x\sqrt{4-x²}}{2+x+\sqrt{4-x²}}}

  • We shall use the product of chords equality in a circle to express R 2 \boxed{R_2} and R 3 \boxed{R_3} in terms of x \boxed{x} . Since the two circles inscribed in the circular segments are the largest possible, their centers are located on the perpendicular bisectors of [AM] and [CM] respectively

  • This gives us 2 R 2 ( 4 2 R 2 ) = x ² 4 \boxed{2R_2(4-2R_2)=\frac{x²}{4}} <=> R 2 ( x ) = 2 4 x ² 4 \boxed{R_2(x)=\frac{2-\sqrt{4-x²}}{4}}

  • This gives us also 2 R 3 ( 4 2 R 3 ) = 4 x ² 4 \boxed{2R_3(4-2R_3)=\frac{4-x²}{4}} <=> R 3 ( x ) = 2 x 4 \boxed{R_3(x)=\frac{2-x}{4}}

  • Since the radii have to be in an arithmetic progression we can write : R 1 R 2 = k 1 \boxed{R_1-R_2=k_1} and R 2 R 3 = k 1 \boxed{R_2-R_3=k_1} where k 1 \boxed{k_1} is the common difference of successive members and R 1 > R 2 > R 3 \boxed{R_1>R_2>R_3}
  • But we can also consider the possibility of the incircle not being the largest circle, this gives us R 2 R 1 = k 2 \boxed{R_2-R_1=k_2} and R 2 R 3 = k 2 \boxed{R_2-R_3=k_2} where R 2 > R 1 > R 3 \boxed{R_2>R_1>R_3}

  • We solve R 1 R 2 = k 1 \boxed{R_1-R_2=k_1} and R 2 R 3 = k 1 \boxed{R_2-R_3=k_1} in terms of x \boxed{x} where R 1 > R 2 > R 3 \boxed{R_1>R_2>R_3} , we find x 1 = 6 + 16 2 17 \boxed{x_1=\frac{6+16\sqrt{2}}{17}} and k 1 = 10 2 9 34 \boxed{k_1=\frac{10\sqrt{2}-9}{34}}

  • We solve R 2 R 1 = k 2 \boxed{R_2-R_1=k_2} and R 2 R 3 = k 2 \boxed{R_2-R_3=k_2} in terms of x \boxed{x} where R 2 > R 1 > R 3 \boxed{R_2>R_1>R_3} , we find x 2 = 6 + 14 5 \boxed{x_2=\frac{6+\sqrt{14}}{5}} and k 2 = 7 2 10 \boxed{k_2=\frac{\sqrt{\frac{7}{2}}}{10}}

  • After calculating R 1 \boxed{R_1} , R 2 \boxed{R_2} and R 3 \boxed{R_3} for both possible values of x \boxed{x} we find that the area of the three circles is smaller for x 2 \boxed{x_2} and equals : 19 π 100 \boxed{\frac{19π}{100}}


  • Now let's determine the area of each rectangle. One way to do it consists in drawing a coordinate system, the center of the incircle being the origin. Let's solve it for x 2 \boxed{x_2} . We place a point W ( x ; y ) \boxed{W(x;y)} . The height of the rectangle will be 1 5 y \boxed{\frac{1}{5}-y}

  • Let's determine the length of the rectangle, the diagram below shows the different parts of the diameter, the first is determined using basic trigonometry in the triangle. The second part is equal to the x coordinate of point W, and since point W is on the circle with equation x ² + y ² 1 25 = 0 \boxed{x²+y²-\frac{1}{25}=0} , the length x can be expressed in terms of y, thus x = 1 25 y ² 5 \boxed{x=\frac{\sqrt{1-25y²}}{5}} . Next we have the length of the rectangle. At last we use trigonometry to express the last portion of the diameter in terms of y \boxed{y} , we get 11 ( 1 5 y ) 25 6 14 \boxed{\frac{11(\frac{1}{5}-y)}{25-6\sqrt{14}}}

  • Since the diameter is 2, we find L = 1 25 y ² 5 11 ( 1 5 y ) 25 6 14 11 5 39 + 10 14 + 2 \boxed{L=-\frac{\sqrt{1-25y²}}{5}-\frac{11(\frac{1}{5}-y)}{25-6\sqrt{14}}-\frac{11}{5\sqrt{39+10\sqrt{14}}}+2}

  • Now we express the area in terms of y A ( y ) = ( 1 25 y ² 5 11 ( 1 5 y ) 25 6 14 11 5 39 + 10 14 + 2 ) ( 1 5 y ) \boxed{A(y)=(-\frac{\sqrt{1-25y²}}{5}-\frac{11(\frac{1}{5}-y)}{25-6\sqrt{14}}-\frac{11}{5\sqrt{39+10\sqrt{14}}}+2)(\frac{1}{5}-y)}

  • The maximum of the function is 0.13914807... \boxed{0.13914807...} . We use a similar method to solve the maximum area of the rectangle for x 1 \boxed{x_1} and we find β = 0.13941851... \boxed{β=0.13941851...} and this is the larger rectangle.

  • 1 0 7 β π + a b = 1394185 4 + 19 100 = 13942 \boxed{\frac{\lfloor{10^{7}β}\rfloor-\lceil{π}\rceil+a}{b}=\frac{1394185-4+19}{100}=13942}

Wow, I'm honored! By the way, I think the 1 0 7 10^7 should be inside the floor function with β \beta .

David Vreken - 1 year ago

Log in to reply

Indeed i corrected it, thanks ! I wanted to feature one great problemist and two great solutionists. What approach did you use i'm curious

Valentin Duringer - 1 year ago

Log in to reply

My approach was similar to yours, except I used the x x -coordinate of M M as my variable x x instead of the length of M C MC like you did, so some of my expressions look a little different (and to be honest more complicated). But most of the steps I used were the same as yours, though.

David Vreken - 1 year ago

Log in to reply

@David Vreken I'll post another problem soon, hopefully there will be possible solutions...

Valentin Duringer - 1 year ago

@Valentin Duringer Nice solution.. will post mine..

nibedan mukherjee - 1 year ago

Log in to reply

Thank you mate, cant' wait to see it

Valentin Duringer - 1 year ago

Nice one putting @David Vreken and Chew-Seong Cheong in (I can't mention him though...)

Log in to reply

Well, sometimes you have to mention the legends

Valentin Duringer - 1 year ago
Chew-Seong Cheong
Jun 13, 2020

@Valentin Duringer , thanks for inviting to solve this problem. I have been put off long problem questions that was why I didn't solve your earlier problems. I couldn't come up with solution that is as accurate as yours. But nonetheless I got it done though less dramatically.

Let the radii of the small circle and big circle of the two circular segments be r 1 r_1 and r 2 r_2 respective. Let the measure of the smaller angle of the right triangle be α \alpha . Then we note that r 2 = 1 sin α 2 r_2 = \dfrac {1-\sin \alpha}2 and r 1 = 1 cos α 2 r_1 = \dfrac {1-\cos \alpha}2 . Let the inradius of the right triangle be r 3 r_3 . From semiperimeter × inradius = area of triangle \text{semiperimeter} \times \text{inradius} = \text{area of triangle} , we have r 3 = 2 sin α cos α 1 + sin α + cos α r_3 = \dfrac {2\sin \alpha \cos \alpha}{1+ \sin \alpha + \cos \alpha} . Since r 1 r_1 , r 2 r_2 , and r 3 r_3 are in an arithmetic progression, we have for the upper semicircle r 1 + r 2 = 2 r 3 r_1+r_2=2r_3 and for lower semicircle r 1 + r 3 = 2 r 2 r_1+r_3=2r_2 . Solving for the two α \alpha 's, we get:

Semicircle α r 1 r 2 r 3 Area of 3 circles Upper 0.227799337 0.012917131 0.387082869 0.2 0.19 π Lower 0.569848253 0.079008574 0.230247857 0.38148714 0.204788868 π \begin{array} {r|c|c|c|c|c} \text{Semicircle} & \alpha & r_1 & r_2 & r_3 & \text{Area of 3 circles} \\ \hline \text{Upper} & 0.227799337 & 0.012917131 & 0.387082869 & 0.2 & 0.19\pi \\ \text{Lower} & 0.569848253 & 0.079008574 & 0.230247857 & 0.38148714 & 0.204788868\pi \end{array}

Since the smaller sum of areas of three circles is 0.19 π 0.19\pi , then a = 19 a=19 and b = 100 b=100 .

To find the area of the largest inscribed rectangle, let the measure of the angle extended at the incenter between the vertical and the point the corner of the rectangle touches the circle be θ \theta . Then the area of the rectangle is given by:

A = r 3 2 ( 1 cos θ ) ( cot α 2 sin θ cot α ( 1 cos θ ) ) A=r_3^2(1-\cos \theta)\left(\cot \frac \alpha 2 - \sin \theta - \cot \alpha(1- \cos \theta)\right)

Solve for the θ \theta that gives the largest area then calculate A max A_{\max} . We get:

Semicircle A max Upper 0.139148066 Lower 0.139418508 \begin{array} {r|c} \text{Semicircle} & A_{\max} \\ \hline \text{Upper} & 0.139148066 \\ \text{Lower} & 0.139418508 \end{array}

Therefore β 0.139418508 \beta \approx 0.139418508 and 1 0 7 β π b = 13942 \dfrac {\lfloor 10^7\beta\rfloor - \lceil \pi \rceil}b = \boxed{13942} .

Nice solution using angles ! I'll post a problem with excircles soon, i think there will be lots of possible approaches. The only issue is that i'm too slow creating problems.

Valentin Duringer - 12 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...