The Radical Axis Theorem states the following:
Given three distinct circles , the radical axes of the three circles taken pairwise concur at a point, called the radical center.
The vanilla method of proving this statement is not hard:
Suppose and has radical axis , and and has radical axis . Let . Then by the definition of radical axis, because and because . Naturally, this means so , and the proof is finished.
Amazingly, there is also a very nice alternate way to prove this statement by extending the diagram to three dimensions. This proof will only work if the three circles pairwise intersect, but I believe it's possible to extend the proof to any three circles using complex points. But let's focus on real situations for now.
Let the center of circle be for . In addition, let the intersection of circles and that is closer to be , and define similarly.
Note that by definition, , and cyclically similar expressions. Thus, if we imagine rotating about line and about line , then at some point, the image of and the image of about these two rotations will coincide at a point above the plane containing . In other words, is a tetrahedron with base . However, note that because we performed a rotation, and . Since and , , so we can rotate about line so that the image of coincides with .
But here's the punchline: if we track the projections of onto the plane containing as we rotate the triangles, it is clear to see that the locus is just a perpendicular from to line (where indices are taken mod 3)--but this is just another definition of the radical axis! Thus, the projection of onto the plane containing lies on the radical axis of each pair of circles, and the proof is complete.
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
This is one of my favourite theorems. It is really simple / obvious, but has surprisingly many applications.
It comes in handy for Olympiad problems in which numerous circles are involved, and we want to show that 3 lines are concurrent. Then, I go start hunting for the corresponding circles.