Browse · MathNet
PrintCzech-Polish-Slovak Mathematical Match
geometry
Problem
Let be the circumcircle of an acute-angled triangle . Point lies on the arc of not containing point . Point lies in the interior of the triangle , does not lie on the line , and satisfies and . Let be a point on the line such that lines and are parallel, and let be a point on different from such that . Prove that points lie on one circle.
(Slovakia)
(Slovakia)
Solution
Denote , , and . Let and be the second intersections of lines and with , respectively, different from and . Observe that and symmetrically . It follows that arcs , , and of have equal lengths, so chords , , and also have equal lengths. In particular, since does not lie on , these chords are not diameters. It follows that if is the center of , then does not lie on any of the chords , , , and in particular . Moreover, and lie on the same side of line . Suppose without loss of generality that and lie in triangle , for the second case is symmetric.
Observe that which implies that are concyclic. Further, if we denote , then we have \begin\{aligned\} \angle DOE &= \angle BOE - \angle BOD = 180^\{\circ\} - \angle BCE - 2\angle BAD \\ &= 180^\{\circ\} - \angle DCE - \angle BAD = 180^\{\circ\} - \beta - \angle BAD = \angle APB = \angle EFD, \end\{aligned\} which implies that are also concyclic.
Consider triangles and . We have by assumption, also since lies on , hence these two triangles are congruent. In particular . Triangle is isosceles, hence . This implies that are concyclic as well.
Since points are pairwise distinct, this implies that all five points lie on the circumference of triangle , so in particular are concyclic.
Observe that which implies that are concyclic. Further, if we denote , then we have \begin\{aligned\} \angle DOE &= \angle BOE - \angle BOD = 180^\{\circ\} - \angle BCE - 2\angle BAD \\ &= 180^\{\circ\} - \angle DCE - \angle BAD = 180^\{\circ\} - \beta - \angle BAD = \angle APB = \angle EFD, \end\{aligned\} which implies that are also concyclic.
Consider triangles and . We have by assumption, also since lies on , hence these two triangles are congruent. In particular . Triangle is isosceles, hence . This implies that are concyclic as well.
Since points are pairwise distinct, this implies that all five points lie on the circumference of triangle , so in particular are concyclic.
Techniques
Cyclic quadrilateralsTriangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleAngle chasing