Let be a scalene and acute triangle, with circumcentre . Let be the circle with centre , tangent to at . Suppose there are two points and on such that , and the couples of points and are in different halfplanes with respect to the line . Show that the tangents to at and meet on the circumcircle of .
, 2019
Solutions — 2
Solution 1
Consider any two points on such that . Exploiting the isosceles triangles , , and , we deduce (using directed angles throughout):
where we use at . Thus is cyclic.

Figure 3: G3
Now, if in addition , then since is the centre of , in fact is the perpendicular bisector of . But by definition, since is scalene, meets the perpendicular bisector of at . Hence is the centre of , and thus in fact is cyclic. But then the lines perpendicular to at , and at (the tangents to ) must intersect at , the point antipodal to on .
Solution 2
Let the circumcircle of be . From the conditions, is the reflection of in the line . Let be the reflections of across this same line . Clearly also lies on and lies on .
Then, using directed angles, so
Then, exploiting the isogonality property that , we have
So lies on , and by the reflection property so does .
But then, as in the previous solution, the tangents at and to must intersect at , the point antipodal to on .