Browse · MathNet
PrintInternational Mathematical Olympiad
geometry
Problem
Let be a cyclic quadrilateral. Assume that the points , , , are collinear in this order, in such a way that the line is tangent to the circle , and the line is tangent to the circle . Let and be the midpoints of and , respectively. Prove that the following three lines are concurrent: line , the tangent of circle at point , and the tangent to circle at point .


Solution
We first prove that triangles and are similar. Since is cyclic, we have . By the tangency of to the circle we also have . The claimed similarity is proven.
Let be the midpoint of . Points and correspond in the proven similarity, and so .
Let be the second common point of line with circle (i.e., if intersects circle , then is the other intersection; otherwise, if is tangent to , then ). In both cases, we have ; that indicates that is tangent to circle . It can be showed analogously that is tangent to circle .
---
Alternative solution.
We present a second solution, without using the condition that is cyclic. Again, and can be any points on lines and such that .
Let and meet at (if then is their common ideal point). Let meet the tangent to the circle at , and the tangent to the circle at at points and , respectively.
Let and be the ideal points of and , respectively. Notice that the pencils (, , , ) and (, , , ) of lines are congruent, because , and . Hence,
It can be obtained analogously that
From we get and hence .
Let be the midpoint of . Points and correspond in the proven similarity, and so .
Let be the second common point of line with circle (i.e., if intersects circle , then is the other intersection; otherwise, if is tangent to , then ). In both cases, we have ; that indicates that is tangent to circle . It can be showed analogously that is tangent to circle .
---
Alternative solution.
We present a second solution, without using the condition that is cyclic. Again, and can be any points on lines and such that .
Let and meet at (if then is their common ideal point). Let meet the tangent to the circle at , and the tangent to the circle at at points and , respectively.
Let and be the ideal points of and , respectively. Notice that the pencils (, , , ) and (, , , ) of lines are congruent, because , and . Hence,
It can be obtained analogously that
From we get and hence .
Techniques
Cyclic quadrilateralsTangentsAngle chasingPolar triangles, harmonic conjugates