Consider a circle , and a point outside it. The tangent lines from meet at and , respectively. Let be the midpoint of . The perpendicular bisector of meets in a point lying inside the triangle . intersects at , and meets in a point lying outside the triangle . If is parallel to , show that is the centroid of the triangle .
[i]Arnoldo Aguilar (El Salvador)[/i]
Problem 1661
Official solution
1. Define Points and Setup:
- Let be the circle, and be a point outside .
- The tangent lines from meet at points and .
- Let be the midpoint of .
- The perpendicular bisector of meets at point , which lies inside the triangle .
- Let intersect at .
- Let meet at point , which lies outside the triangle .
- Given that , we need to show that is the centroid of triangle .
2. Midpoints and Parallel Lines:
- Let be the midpoint of .
- Let be the intersection of the perpendicular bisector of with .
- Since is the midpoint of and , is the midpoint of .
3. Properties of Midpoints and Parallelograms:
- Since is the midpoint of , we have .
- This implies .
- Given , we have .
- Therefore, forms a parallelogram, and .
4. Angle Relationships:
- Since and , we have .
5. Cyclic Quadrilaterals and Angle Chasing:
- Let be the foot of the perpendicular from to .
- Let be the intersection of with .
- Since , points , , and are collinear.
- The quadrilateral is cyclic, so .
6. Isosceles Triangle and Perpendicular Bisector:
- Let be the intersection of and .
- Since is isosceles, lies on the perpendicular bisector of , so .
- Also, , so .
7. Cyclic Quadrilateral and Parallel Lines:
- The quadrilateral is cyclic, so .
- This implies (since ).
- Since and , we have .
8. Intersection and Centroid:
- Let be the point where touches .
- By angle chasing, , so .
- Therefore, is the intersection of and , with and being midpoints of and , respectively.
- Hence, is the centroid of triangle .