A triangle is not isosceles at , and its angles , are acute. Consider a point moving on edge , so that does not coincide with , and with the perpendicular projection of on . The line , perpendicular with at , intersects the lines and at and , respectively. Let , , and be the incenters of the triangles , and , respectively. Show that four points lie on one circle if and only if the line passes through the incenter of triangle .
, 2011
Solution
Since and are acute, lies on the opposite ray to ray on the edge , at the same time, lies on the edge or on the opposite ray to ray . Hence, it follows from the definition of the points that are collinear and are collinear.
Hence .
Consequently: lie on a circle if and only if . (1)
Further we will show
if and only if passes through the center of the inscribed circle of triangle . (2)
Without loss of generality, assume that . (3)
* The necessary condition: Assume that . Then, it follows from (3) that lies on the opposite ray to ray and lies on edge .
Draw line (distinct from ) tangent to . We will show that is tangent to .
Indeed, let be the tangent points of with . Let be the intersection of and . We have: and .
Since , is the tangent point of and . Consequently . (5)
It follows from (4) and (5) that . Thus is a cyclic quadrilateral.
Consequently is tangent to .
Hence, we have .
* Sufficient condition: Assume . Consider the following two cases:
- Case 1: lies in the opposite ray to ray and lies on edge .
Draw the tangent (distinct from ) to , which intersects at . We have
Consequently, is tangent to . Hence is a tangent quadrilateral. Consequently
Moreover, according to the proof of the previous part, we have . (See (4)).
Hence we obtain . Consequently .
Hence , where and .
Consequently , where is the tangent point of and edge .
Hence , as and both lie on edge . Thus .
- Case 2: lies on edge and lies on the opposite ray to ray .
Then, by means of (3), . (*)
On the other hand, in this case plays the role of and plays the role of , plays the role of and plays the role of , plays the role of and plays the role of of the previous case. Thus, according to the above proof, we have , contradicting (*). The obtained contradiction shows that this case cannot happen.
Thus (2) is verified. It follows from (1) and (2) the claim of the problem