Maths Olympiad Prep

Track / Stage 6 / 209 of 400 #1209 of 1964

Problem 1209

National olympiad, first round
Geometry Difficulty 6.3 Prove it

[ [Inscribed and Circumscribed Polygons] [Compositions of Symmetries ]]
a) The opposite sides of a convex hexagon ABCDEFA B C D E F are pairwise parallel. Prove that this hexagon is inscribed if and only if its diagonals AD,BEA D, B E, and CFC F are equal. b) Prove an analogous statement for a non-convex (possibly self-intersecting) hexagon.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

a) An inscribed trapezoid is isosceles, so if the given hexagon is inscribed, then its diagonals are equal. Suppose now that the diagonals of the hexagon ABCDEFABCDEF are equal. Then, for example, ABDEABDE is an isosceles trapezoid, and the line connecting the midpoints of its bases ABAB and EDED is the bisector of the angle between the lines ADAD and BEBE. Therefore, the lines connecting the midpoints of opposite sides of the hexagon ABCDEFABCDEF intersect at one point OO - the point of intersection of the angle bisectors of the triangle formed by the diagonals ADAD, BEBE, and CFCF (if the diagonals intersect at one point, then OO is precisely this point).

b) In the case of a non-convex hexagon ABCDEFABCDEF, the only significant difference is that now the line connecting the midpoints of the sides ABAB and EDED can be not only the bisector of the internal angle formed by the diagonals ADAD, BEBE, and CFCF, but also the bisector of the external angle. And three angle bisectors of a triangle, among which there are both internal and external, do not always intersect at one point (the number of external bisectors must be even). Therefore, it is additionally necessary to prove that in the considered situation, the three bisectors always intersect at one point. For this, we will use the fact that the considered bisectors l1l_1, l2l_2, and l3l_3 can be numbered such that the composition of symmetries (Sl1Sl2Sl3)2(S_{l_1} \circ S_{l_2} \circ S_{l_3})^2 leaves the point AA in place: ABCDEFAA \rightarrow B \rightarrow C \rightarrow D \rightarrow E \rightarrow F \rightarrow A. Indeed, according to problem 17.37, the transformation Sl1Sl2Sl3S_{l_1} \circ S_{l_2} \circ S_{l_3} is a glide reflection, and according to problem 17.22, this transformation is a symmetry if and only if the lines l1l_1, l2l_2, and l3l_3 intersect at one point.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.