Olympiad Maths Prep

Track / Stage 6 / 57 of 400 #1057 of 2000

Problem 1057

National olympiad, first round
Geometry Difficulty 6.0 Prove it

5. Let ABCDEFA B C D E F be a convex hexagon, and ABA B parallel to EDE D, BCB C parallel to FEF E, CDC D parallel to AFA F. Let RA,RC,RER_{A}, R_{C}, R_{E} denote the circumradii of FAB,BCD\triangle F A B, \triangle B C D, and DEF\triangle D E F respectively, and let pp denote the perimeter of the hexagon. Prove: RA+RC+REp2R_{A}+R_{C}+R_{E} \geqslant \frac{p}{2}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

 Proof 1 Draw perpendiculars from A,D to BC, only considering the segment between BCEF, denote its length as h, and let the six sides of the hexagon ABCDEF be a,b,c,d,e,f, and the six interior angles be A,B,,F. By assumption, A=D,B=E,C=F. Clearly, BFh. Thus, 2BF2h. When calculating h, the two segments between BC and EF are divided into two parts by points A and D, resulting in four segments, so, +dsinE\begin{array}{l} \text { Proof 1 Draw perpendiculars from } A, D \text { to } B C, \text { only considering the segment between } B C \\ E F \text {, denote its length as } h \text {, and let the six sides of the hexagon } A B C D E F \text { be } a, b, c, d, e, f, \text { and the six interior angles be } A, B, \cdots, F. \text { By assumption, } \angle A=\angle D, \angle B=\angle E, \angle C=\angle F. \text { Clearly, } B F \geqslant h. \text { Thus, } 2 B F \geqslant 2 h. \text { When calculating } h, \text { the two segments between } B C \text { and } E F \text { are divided into two parts by points } A \text { and } D, \text { resulting in four segments, so, } \qquad +d \sin \angle E \end{array}

In the right-hand side of the above equation, the six parentheses, because A=D,B=E,C=F\angle A=\angle D, \angle B=\angle E, \angle C=\angle F, are each the sum of two positive reciprocals, thus each is greater than or equal to 2. Therefore, RA+RC+RE=12pR_{A}+R_{C}+R_{E} \qquad =\frac{1}{2} p. Proof 2: Construct a parallelogram for FAB,BCD,DEF\triangle F A B, \triangle B C D, \triangle D E F, with FB,BD,DFF B, B D, D F as diagonals, and the other vertices are denoted as A,C,EA^{\prime}, C^{\prime}, E^{\prime}, i.e., draw a line parallel to AFA F through BB, a line parallel to BCB C through DD, and a line parallel to DED E through FF. These three lines intersect at EE^{\prime}. When one pair of parallel sides of the original hexagon is equal, all three pairs must be equal, and the three points A,C,EA^{\prime}, C^{\prime}, E^{\prime} coincide at a point QQ. In this case, QB,QD,QFQ B, Q D, Q F are the lengths of the three sides of the hexagon, so the perimeter of the hexagon is 2(QB+QD+QF)2(Q B+Q D+Q F). On the other hand, the circumradius of FAB\triangle F A B is equal to the circumradius of FAB\triangle F A^{\prime} B, which is 12AA\frac{1}{2} A^{\prime} A^{\prime \prime}. Thus, the three radii are 12QA,12QC,12QE\frac{1}{2} Q A^{\prime \prime}, \frac{1}{2} Q C^{\prime \prime}, \frac{1}{2} Q E^{\prime \prime}. The inequality to be proven is the Mordell inequality.

Let the lengths of the shorter sides of the three pairs of parallel sides of the hexagon be denoted as x,y,zx, y, z for ACE\triangle A^{\prime} C^{\prime} E^{\prime} (in the figure, AB=x,CD=y,EF=zA^{\prime} B=x, C^{\prime} D=y, E^{\prime} F=z). The sides of ACE\triangle A^{\prime} C^{\prime} E^{\prime} are denoted as a,c,ea, c, e. Thus, the other three sides of the hexagon are x+e,y+a,z+cx+e, y+a, z+c. And p=2x+2y+2z+a+c+2p=2 x+2 y+2 z+a+c+2. By the cosine rule, En\qquad E^{n}. Therefore, cos(C+E)\qquad \cdot \cos \left(\angle C^{\prime \prime}+\angle E^{\prime \prime}\right)

Similarly, $\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \

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