Skip to main content
OlympiadHQ

Browse · MathNet

Print

Vietnamese Mathematical Olympiad

Vietnam geometry

Problem

Let be a scalene triangle with orthocenter and circumcenter . Incircle of the is tangent to the sides at respectively. Denote to be the circle passing through point , external tangent to at and cut again at respectively. The circles and points are defined similarly.

a) Prove that .

b) Suppose lie on respectively. Denote as the circumcenter of the triangle formed by lines . Prove is parallel to .

problem


problem
Solution
a) Considering the figure shown above, the remaining cases are proved similarly. Let be the midpoint of . We have as the circle -mixtilinear tangent to triangle , so according to Sawayama's lemma, is the incenter of triangle . By angle chasing, we conclude that It follows that By AM-GM inequality, one can get Similarly, From these, we conclude the required inequality.



b) Let be the intersection of with , be the intersection of with and the intersection of with . Let be the projection triangle of corresponding to triangle . Then is the incenter of and the midpoint is the circumcenter of . In this solution, we will show that is the center of the circle inscribed in the triangle and that the two triangles and have corresponding parallel sides. From there, .

First, to prove that triangles and have corresponding sides parallel, we show that is a cyclic quadrilateral, and then is anti-parallel to in so it is parallel to the line connecting the foot of the vertex and . Indeed, considering the inversion of the center , power which is denoted by . This inversion preserves and maps .



so the image of passes through and touches so Therefore, the image of lies on and , so is the image of through which infer Similarly, so is a cyclic quadrilateral. So two triangles and have corresponding sides are parallel.

Finally, we need to prove that is the incenter of triangle or equivalently is the angle bisector of . On the other hand, similar to the above proof, then and are cyclic quadrilaterals, so leads to . So it suffices to show that is the midpoint of and lie on the bisector . By considering the inversions of centers and preserving similar to the above, we can show that and it leads to The length of can be calculated in the same way and then . Thus is perpendicular bisector of so and lies on . So is the angle bisector of . Similar to the vertices , we can conclude that is the incenter of the triangle . This finishes the proof.

Techniques

Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleInversionCyclic quadrilateralsTangentsAngle chasingQM-AM-GM-HM / Power Mean