Maths Olympiad Prep

Library / /18 of 24

Geometry Difficulty 5.3 AIME, harder Prove it United States

Problem:

Let ω1\omega_1, ω2\omega_2, and ω3\omega_3 be three circles passing through the origin OO of the coordinate plane but not tangent to each other or to either axis. Denote by (xi,0)(x_i, 0) and (0,yi)(0, y_i), 1i31 \leq i \leq 3, the respective intersections (besides OO) of circle ωi\omega_i with the xx and yy axes. Prove that ω1\omega_1, ω2\omega_2, and ω3\omega_3 have a common point POP \neq O if and only if the points (x1,y1)(x_1, y_1), (x2,y2)(x_2, y_2), and (x3,y3)(x_3, y_3) are collinear.

Solution

Solution:

First of all, note that if a circle passes through (0,0)(0,0), (xi,0)(x_i, 0), and (0,yi)(0, y_i), its center must be (xi2,yi2)\left(\frac{x_i}{2}, \frac{y_i}{2}\right), the midpoint of the side opposite the right angle at OO. Also note that the three points (xi2,yi2)\left(\frac{x_i}{2}, \frac{y_i}{2}\right) are related to (xi,yi)(x_i, y_i) by a dilation about OO; thus the former three will be collinear if and only if the latter three are. It suffices to prove that the circles have a second common point if and only if their centers are collinear.

If the centers are collinear, all three circles are symmetric about the line of centers. Thus the reflection of OO about this line is a second common point of the three circles. Conversely, assume that the circles have two common points, OO and PP. Then all three centers lie on the perpendicular bisector of OPOP.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.