Browse · MathNet
PrintSAUDI ARABIAN MATHEMATICAL COMPETITIONS
Saudi Arabia geometry
Problem
Let be a triangle whose incircle () is tangent to , at , respectively. Denote by , the lines symmetric to the lines , with respect to , correspondingly. Suppose that , meet at . 1. Prove that . 2. If , prove that .

Solution
1. Denote by , the intersections of , and respectively. Consider triangle : it is easy to see that - is the internal bisector of - is the external bisector of . Hence, is the excenter of this triangle, which implies that is the bisector of . Similarly, we can also see that is the bisector of . So is the incenter of triangle and is the bisector of . In the other hand, , are symmetric with respect to the line and , are also symmetric with respect to the line . From these facts, we can conclude that . Similarly, we also have ; therefore, is an isosceles triangle. Since is the incenter of the isosceles triangle , is also an altitude, i.e. .
2. Denote , , and . Then . In the isosceles triangle , we have , so . Hence, if , then and . From the cosine law in triangle , we have By calculating, it is also easy to check that , ; thus, which is true.
2. Denote , , and . Then . In the isosceles triangle , we have , so . Hence, if , then and . From the cosine law in triangle , we have By calculating, it is also easy to check that , ; thus, which is true.
Techniques
Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleAngle chasingTangentsCyclic quadrilateralsIsogonal/isotomic conjugates, barycentric coordinatesTrigonometry