Problem:
Triangle has , , and . Let denote the circumcenter of . The circle is tangent to and surrounds the circumcircles of triangles , , and . Determine the diameter of .
Problem:
Triangle has , , and . Let denote the circumcenter of . The circle is tangent to and surrounds the circumcircles of triangles , , and . Determine the diameter of .
Solution:
Denote by , , , and the circumcenters of triangles , , , and , respectively. An inversion about interchanges and line , and line , and and line . This inversion also preserves tangency between generalized circles, so the image of is a circle tangent to , , and . It is the incircle of because it is closer to than these lines and is acute.
Now we run a few standard calculations. Where , , and denote the semiperimeter, inradius, and circumradius of , respectively, we have the following:
Let intersect the incircle of at and , with between and . Then and , and is a diameter. Under the inversion, and map to and respectively. Because , , , and are collinear in that order, and are diametrically opposed on . It follows that the diameter of is
We plug in the values found above to arrive at .
