## Task 3.
Assume that is a point inside triangle such that
Let the lines , , intersect the circumcircle of triangle again at points , , , respectively. Prove that triangles and have a common incircle.
## Task 3.
Assume that is a point inside triangle such that
Let the lines , , intersect the circumcircle of triangle again at points , , , respectively. Prove that triangles and have a common incircle.
## Solution.
In triangle , we denote the lengths of the sides by , the semi-perimeter by , the radius of the inscribed circle by , the radius of the circumscribed circle by , and the area by . For the triangle , we will use the same letters with a prime. We will first show that triangles and have the same radii of their inscribed circles.
If we denote the common value of the three fractions in the problem by , solving the system
we get
Multiplying these and using Heron's formula and the formula gives
Furthermore, triangles and are similar because they have three equal angles by the inscribed angle theorem over and . From this, it follows that
Multiplying this and two analogous relations, we get
On the other hand, from the formula and the fact that triangles and share the same circumscribed circle, it follows that
From (5), we also get
and similarly,
We conclude that point has the same property with respect to triangle as it does with respect to the original triangle, and even with the same ratio . Therefore, an equality analogous to (4) follows directly:
Combining relations (4), (6), (7), and (8) gives
from which we finally conclude .
Let be the center of the inscribed circle of triangle and its tangency point with side . Points and are defined analogously with respect to triangle . It is a known fact that
which, in combination with (3), gives
By the angle bisector theorem, we know that is the angle bisector of . Using relations for triangle analogous to (3), it follows that is the angle bisector of , from which it follows that points and lie on the same line. Furthermore,
Since and , we have . If , we conclude that or is an isosceles trapezoid, so the line is parallel to the line . Similarly, it would follow that is parallel to the other two lines passing through and one tangency point of the inscribed circle with a side of triangle . This leads to a contradiction with the fact that at least two of these three lines through are distinct, thus proving . Therefore, the inscribed circles of triangles and coincide.