Problem:
Let be a triangle with circumcircle , whose incircle touches , , at , , . We draw a circle tangent to segment at and to minor of at the point . Define and in a similar way. Prove that lines , , are concurrent.
Problem:
Let be a triangle with circumcircle , whose incircle touches , , at , , . We draw a circle tangent to segment at and to minor of at the point . Define and in a similar way. Prove that lines , , are concurrent.
Solution:
By the so-called "shooting lemma" (which is proved by taking homothety at ) we find that line passes through the arc midpoint of of ; denote this arc midpoint by . Define and similarly, so that lies on line and lies on line .
We note the triangles and are homothetic, since their corresponding sides are parallel: line and are both known to be perpendicular to the internal -bisector. Thus , , meet at a point—which thus is also the concurrency point of , , .