Maths Olympiad Prep

Library / /436 of 520

Geometry Difficulty 6.1 National olympiad Prove it

1. For a convex hexagon ABCDEFA B C D E F in which each pair of opposite sides is unequal, consider the following six statements:

 (a a1)AB is parallel to DE;(a2)AE=BD( b1)BC is parallel to EF;(b2)BF=CE (c c1)CD is parallel to FA;(c2)CA=DF \begin{array}{ll} \text { (a } \left.\mathrm{a}_{1}\right) A B \text { is parallel to } D E ; & \left(\mathrm{a}_{2}\right) A E=B D \\ \left(\mathrm{~b}_{1}\right) B C \text { is parallel to } E F ; & \left(\mathrm{b}_{2}\right) B F=C E \\ \text { (c } \left.\mathrm{c}_{1}\right) C D \text { is parallel to } F A ; & \left(\mathrm{c}_{2}\right) C A=D F \end{array}

(a) Show that if all the six statements are true, then the hexagon is cyclic(i.e., it can be inscribed in a circle).

(b) Prove that, in fact, any five of these six statements also imply that the hexagon is cyclic.

Solution

## Solution:

(a) Suppose all the six statements are true. Then ABDE,BCEF,CDFAA B D E, B C E F, C D F A are isosceles trapeziums; if K,L,M,P,Q,RK, L, M, P, Q, R are the mid-points of AB,BCA B, B C, CD,DE,EF,FAC D, D E, E F, F A respectively, then we see that KPAB,ED;LQK P \perp A B, E D ; L Q \perp BC,EFB C, E F and MRCD,FAM R \perp C D, F A.

!

If AD,BE,CFA D, B E, C F themselves concur at a point OO, then OA=OB=OC=O A=O B=O C= OD=OE=OFO D=O E=O F. ( OO is on the perpendicular bisector of each of the sides.) Hence A,B,C,D,E,FA, B, C, D, E, F are concyclic and lie on a circle with centre OO. Otherwise these lines AD,BE,CFA D, B E, C F form a triangle, say XYZX Y Z. (See Fig.) Then KX,MY,QZK X, M Y, Q Z, when extended, become the internal angle bisectors of the triangle XYZX Y Z and hence concur at the incentre OO^{\prime} of XYZX Y Z. As earlier OO^{\prime} lies on the perpendicular bisector of each of the sides. Hence OA=OBO^{\prime} A=O^{\prime} B =OC=OD=OE=OF=O^{\prime} C=O^{\prime} D=O^{\prime} E=O^{\prime} F, giving the concyclicity of A,B,C,D,E,FA, B, C, D, E, F.
(b) Suppose (a1),(a2),(b1),(b2)\left(\mathrm{a}_{1}\right),\left(\mathrm{a}_{2}\right),\left(\mathrm{b}_{1}\right),\left(\mathrm{b}_{2}\right) are true. Then we see that AD=BE=A D=B E= CFC F. Assume that ( c1\mathrm{c}_{1} ) is true. Then CDC D is parallel to AFA F. It follows that triangles YCDY C D and YFAY F A are similar. This gives

FYAY=YCYD=FY+YCAY+YD=FCAD=1 \frac{F Y}{A Y}=\frac{Y C}{Y D}=\frac{F Y+Y C}{A Y+Y D}=\frac{F C}{A D}=1

We obtain FY=AYF Y=A Y and YC=YDY C=Y D. This forces that triangles CYAC Y A and DYFD Y F are congruent. In particular AC=DFA C=D F so that ( c2\mathrm{c}_{2} ) is true. The conclusion follows from (a). Now assume that ( c2\mathrm{c}_{2} ) is true; i.e., AC=FDA C=F D. We have seen that AD=BE=CFA D=B E=C F. It follows that triangles FDCF D C and ACDA C D are congruent. In particular ADC=FCD\angle A D C=\angle F C D. Similarly, we can show that CFA=DAF\angle C F A=\angle D A F. We conclude that CDC D is parallel to AFA F giving (c1\left(\mathrm{c}_{1}\right. ).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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