Skip to main content
OlympiadHQ

Browse · MathNet

Print

VMO

Vietnam geometry

Problem

Let be the intersection of the two tangent lines of at and . The circle passing through and tangent to at intersects the median passing of the triangle at . Lines , intersect , at respectively.

a) The line passing through the midpoints of and cuts , at respectively. Prove that the points and lie on a same circle.

b) Lines intersect the circumcircle of at respectively. The perpendicular bisectors of , and cut and at and respectively. Prove that the points and are collinear.

problem


problem


problem
Solution
a) Let , and be the midpoints of , and , respectively. Let , intersect , at , respectively. Since is tangent to , we have so is tangent to as well. Since , are midpoints of , , we have is parallel to , then , and thus and are concyclic, so .

Similarly, implying that and lie on the same circle.



Hence, . Therefore, and lie on the same circle. Similarly, and lie on the same circle. Thus, we have , and . So we have implying that and lie on the same circle.

b) For a triangle , define the transformation namely , which is the union of the inversion of center , power , and the reflection through the angle bisector of . First, let prove the following lemma

Lemma. Let be a triangle and be a circle through . Assume that transforms into , then are isogonal with respect to .



Proof. We have the inversion with center and power transforms into , and are collinear due to the property of the inversion. Then after the reflection through the bisector of , transforms to . This implies that are isogonal with respect to angle .

Back to our main problem, let and be the centers of , and . Note that are the mutual intersections of the perpendicular bisectors of , so the perpendicular bisectors of and are precisely the lines and . By Desargue's theorem, and are collinear if and only if and are concurrent. So we will show that indeed and concur.



Let be the center of the circle . Now let's consider the transformation . Since and , we have , and thus and are isogonal with respect to . So turns to and vice versa, and hence it transforms to and vice versa. Since , and are isogonal with respect to , the transformation will transform to and vice versa. Now, we have and similarly , then , thus Also, since , , are isogonal with respect to . Hence turns to each other and hence it turns and to each other. By the lemma, we have and are isogonal with respect to angle .

Using this similar argument, we can show that turns to each other, by noting that so , and . It also turns to each other since and , so . Thus, this transformation turns and to each other, and by the lemma, are isogonal with respect to . Similarly, we can show that are isogonal with respect to . Hence, and will concur on the isogonal conjugate of with respect to triangle . The proof is completed.

Techniques

TangentsDesargues theoremInversionIsogonal/isotomic conjugates, barycentric coordinatesAngle chasingCyclic quadrilaterals