MathDB
Define Σ to be the set of all circles with two properties

Source:

September 1, 2010
geometrycirclesIMO ShortlistIMO Longlist

Problem Statement

Let ABCABC be an arbitrary scalene triangle. Define \sum to be the set of all circles yy that have the following properties:
(i) yy meets each side of ABCABC in two (possibly coincident) points;
(ii) if the points of intersection of yy with the sides of the triangle are labeled by P,Q,R,S,T,UP, Q, R, S, T , U, with the points occurring on the sides in orders B(B,P,Q,C),B(C,R,S,A),B(A,T,U,B)\mathcal B(B,P,Q,C), \mathcal B(C, R, S,A), \mathcal B(A, T,U,B), then the following relations of parallelism hold: TSBC;PUCA;RQABTS \parallel BC; PU\parallel CA; RQ\parallel AB. (In the limiting cases, some of the conditions of parallelism will hold vacuously; e.g., if AA lies on the circle yy, then TT , SS both coincide with AA and the relation TSBCTS \parallel BC holds vacuously.)
(a) Under what circumstances is \sum nonempty?
(b) Assuming that Σ is nonempty, show how to construct the locus of centers of the circles in the set \sum.
(c) Given that the set \sumhas just one element, deduce the size of the largest angle of ABC.ABC. (d) Show how to construct the circles in \sum that have, respectively, the largest and the smallest radii.