Maths Olympiad Prep

Library / /97 of 121

Geometry Difficulty 6.8 National Olympiad Prove it India

Problem:

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:
(a1AB is parallel to DE;(a2) AE=BD(b1) BC is parallel to EF;(b2) BF=CE(c1CD is parallel to FA;(c2) CA=DF \begin{array}{ll} \text{(a$_1$) } A B \text{ is parallel to } D E ; & (a_2)\ A E = B D \\ (b_1)\ B C \text{ is parallel to } E F ; & (b_2)\ B F = C E \\ \text{(c$_1$) } C D \text{ is parallel to } F A ; & (c_2)\ 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 ABDEA B D E, BCEFB C E F, CDFAC D F A are isosceles trapeziums; if K,L,M,P,Q,RK, L, M, P, Q, R are the mid-points of ABA B, BCB C, CDC D, DED E, EFE F, FAF A respectively, then we see that KPAB,EDK P \perp A B, E D; LQBC,EFL Q \perp B C, E F and MRCD,FAM R \perp C D, F A.

Figure 1

If ADA D, BEB E, CFC F themselves concur at a point OO, then OA=OB=OC=OD=OE=OFO A = O B = O C = O 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 ADA D, BEB E, CFC F form a triangle, say XYZX Y Z. (See Fig.) Then KXK X, MYM Y, QZQ Z, when extended, become the internal angle bisectors of the triangle XYZX Y Z and hence concur at the incentre OO'
of XYZX Y Z. As earlier OO' lies on the perpendicular bisector of each of the sides. Hence OA=OB=OC=OD=OE=OFO' A = O' B = O' C = O' D = O' E = O' F, giving the concyclicity of A,B,C,D,E,FA, B, C, D, E, F.

(b) Suppose (a1)(a_1), (a2)(a_2), (b1)(b_1), (b2)(b_2) are true. Then we see that AD=BE=CFA D = B E = C F. Assume that (c1)(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)(c_2) is true. The conclusion follows from (a).

Now assume that (c2)(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)(c_1).

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.