Problem:
Let be a triangle with , , . Let be the orthocenter of . Find the radius of the circle with nonzero radius tangent to the circumcircles of , , .
, 2019
Solutions — 2
Solution 1
Solution:
We claim that the circle in question is the circumcircle of the anticomplementary triangle of , the triangle for which is the medial triangle.
Let be the anticomplementary triangle of , such that is the midpoint of , is the midpoint of , and is the midpoint of . Denote by the circumcircle of . Denote by the circumcircle of , and similarly define , .
Since , we have that passes through . Thus, can be redefined as the circumcircle of . Since triangle is triangle dilated by a factor of from point , is dilated by a factor of from point . Thus, circles and are tangent at .
By a similar logic, is also tangent to and . Therefore, the circumcircle of the anticomplementary triangle of is indeed the circle that the question is asking for.
Using the formula , we can find that the circumradius of triangle is . The circumradius of the anticomplementary triangle is double of that, so the answer is .
Solution 2
Solution:
It is well-known that the circumcircle of is the reflection of the circumcircle of over . In particular, the circumcircle of has radius equal to the circumradius . Similarly, the circumcircles of and have radii . Since lies on all three circles (in the question), the circle centered at with radius is tangent to each circle at the antipode of in that circle.