Following is the problem as Justin posed it yesterday.
Justin described the efforts of three of his students’ on his his ‘blog. Following is my more generalized approach. Don’t read further if you want to solve this problem for yourself!
My first instinct in any case like this is build it in a dynamic geometry package and play. Using my TI-Nspire, without loss of generality, I graphed a circle centered at the origin, constructed a tangent segment at the bottom of the circle centered on the y-axis, and then used that segment to construct a square. I recognized that the locus of the upper right corners of all such squares would form a line.
That made it clear to me that for any circle, there was a unique square that intersected the circle three times as Megan had posed.
Seeing this and revealing its algebraic bias, my mind conceived an algebraic solution. Assuming the radius of the circle is R, the equation of my circle is making the lower y-intercept of the circle . That made the locus line containing the upper right corner of the square.
To find generic coordinates of the upper right corner of the square in terms of R, I just needed to solve the system of equations containing the circle and the line. That’s easy enough to compute by hand if you can handle quadratic algebra. That manipulation is not relevant right now, so my Nspire CAS’s version is:
The output confirms the two intersections are and the unknown at .
Because of the horizontal symmetry of the square with respect to the y-axis, the system solution shows that the generic length of the side of the square is . The circle’s y-intercept at means the generic diameter of the circle is .
Therefore, the generic ratio of the circle’s diameter to the square’s side length is
And this is independent of the circle’s radius! The diameter of the circle is always of the square’s side.
For Megan’s particular case with a side length of 20, that gives a circle diameter of 25, confirming Justin’s students’ solution.
Does anyone have a different approach? I’m happy to compile and share all I get.
While not necessary for the generalized solution, it was fun to see a 3-4-5 right triangle randomly appear in Quadrant 1.