Convex quadrilateral is circumscribed about a circle . Lines and intersect at point , and the circles circumscribed about and intersect at point . Prove that the tangents from point to circle form equal angles with lines and .
Solution
Solution:
Since and , it holds that .
Let the bisector of angle intersect the circles and at points and , and let the bisector of angle intersect the circles and at points and . The line passes through the center of circle and it holds that and .
Since , it holds that . Furthermore, we have and, similarly, . It follows that equal inscribed angles correspond to the chords and in circles and , as well as to the chords and , so . It follows that , so point lies on line , which is the bisector of angle . The claim of the problem follows immediately.
Second solution. Let us denote by and , respectively, the intersections of the bisectors of angles and with and . As in the first solution, , from which , so points and lie on the same circle . We
will prove that point is also on this circle and that . It will follow that belongs to the bisector of angle , which is at the same time the bisector of angle .
Let and be, respectively, the points of tangency of circle with sides and . Let us denote and . Then and , from which we find ; similarly we have . It follows that , so and triangles and are congruent and identically oriented. Therefore, and , i.e., is the midpoint of arc of circle .
Third solution. The following statement from projective geometry is known.
- Desargues's involution theorem. Conic is circumscribed about quadrilateral . Line intersects respectively at points , , and intersects the conic at and . Then there exists an involution on line that maps and .
The dual statement (obtained by polar mapping with respect to ) is as follows:
- Conic is inscribed in quadrilateral in which and . Lines and are tangents from an arbitrary point to . Then there exists an involution on the pencil of lines through that maps and .
In our case, angles and have a common bisector , so the mentioned involution is precisely the axial symmetry with respect to . It follows that the two tangents from to the circle (conic) are symmetric with respect to .