Let in a convex quadrilateral there are no parallel sides. Denote by and the points of intersection of the lines and and respectively (point lies on the segment , and point lies on the segment ). Prove that the quadrilateral is tangential if and only if .
Solution
Prove that the bisectors of angles and intersect at one point.
## Solution
Necessity. Given: is a circumscribed quadrilateral. Let the tangents from points and to the inscribed circle be and respectively. Then,
Thus,
Therefore, .
Sufficiency. Suppose the equality holds. We need to prove that the bisectors of angles and intersect at one point. From this, it will follow that is a circumscribed quadrilateral. (The point of intersection of these bisectors will be equidistant from and , and , as well as from and .)
Take a point on the extension of segment beyond point such that , and a point on the extension of segment beyond point such that . Since and , it follows from the condition that .
Consider triangle TFS. The perpendicular bisector of side of this triangle is the bisector of angle TES (or angle ). This follows from the isosceles nature of triangle TES. Similarly, we can prove that the perpendicular bisector of side is the bisector of angle (or angle ), and the perpendicular bisector of side is the bisector of angle (or angle ). Therefore, the specified bisectors intersect at one point - the center of the circumscribed circle of triangle TFS.