Maths Olympiad Prep

Library / NMO Selection Tests for JBMO /49 of 58

NMO Selection Tests for JBMO

Geometry Difficulty 6.8 National Olympiad Prove it Romania

Let ABCDABCD be a cyclic quadrilateral, and let EE and FF denote the midpoints of diagonals [AC][AC] and [BD][BD], respectively. If {G}=AB∩CD\{G\} = AB \cap CD, {H}=AD∩BC\{H\} = AD \cap BC, prove that:

a) the intersection points of the angle bisectors of ∠AHB\angle AHB and ∠AGD\angle AGD with the sides of the quadrilateral ABCDABCD are the vertices of a rhombus;

b) the center of this rhombus lies on the line EFEF.

Solution

We are going to treat only the case when C∈(GD)C \in (GD) and C∈(BH)C \in (BH), all the other cases being similar.

a) Let MM and NN be the intersection points of the angle bisector of angle ∠G\angle G with the sides BCBC and ADAD, respectively. Consider I,KI, K the intersection points of the angle bisector of angle ∠H\angle H with sides CDCD and ABAB, respectively. Also, put {J}=MN∩IK\{J\} = MN \cap IK. From triangle GBCGBC we get ∠G=180∘−∠GBC−∠GCB=∠B+∠C−180∘\angle G = 180^\circ - \angle GBC - \angle GCB = \angle B + \angle C - 180^\circ, hence ∠CMJ=90∘+12(∠B−∠C)\angle CMJ = 90^\circ + \frac{1}{2}(\angle B - \angle C). Similarly, ∠CIJ=90∘+12(∠D−∠C)\angle CIJ = 90^\circ + \frac{1}{2}(\angle D - \angle C). From the quadrilateral CMJICMJI, using the fact that ∠B+∠D=180∘\angle B + \angle D = 180^\circ, it follows that ∠MJI=90∘\angle MJI = 90^\circ.

In the triangles GIKGIK and HMNHMN, line segments [GJ][GJ] and [HJ][HJ] are angle bisectors and altitudes, therefore they are also medians. Thus, the diagonals of the quadrilateral MKNIMKNI are perpendicular and bisect each other.

b) The sides of the rhombus are parallel to ACAC and BDBD, respectively. Indeed, according to the angle bisector theorem, MBMC=GBGC\frac{MB}{MC} = \frac{GB}{GC} and BKKA=HBHA\frac{BK}{KA} = \frac{HB}{HA}. But from the power of the point GG with respect to the circle, GBGC=GDGA\frac{GB}{GC} = \frac{GD}{GA}. In order to prove that MK∥ACMK \parallel AC, i.e. BKKA=BMMC\frac{BK}{KA} = \frac{BM}{MC}, it is sufficient to prove that HA⋅GD=HB⋅GAHA \cdot GD = HB \cdot GA. This follows from [AHG]=HA⋅GDsin⁡D2=HB⋅GAsin⁡B2[AHG] = \frac{HA \cdot GD \sin D}{2} = \frac{HB \cdot GA \sin B}{2} and sin⁡B=sin⁡D\sin B = \sin D. Thus, MK∥ACMK \parallel AC.

Consider {L}=MK∩BF\{L\} = MK \cap BF, {P}=AE∩KN\{P\} = AE \cap KN, {O}=DF∩IN\{O\} = DF \cap IN and {Q}=MI∩CE\{Q\} = MI \cap CE. Line segments AE,BF,CEAE, BF, CE and DFDF are medians in triangles ABD,ABC,BCD,CDAABD, ABC, BCD, CDA, therefore LOLO and PQPQ meet in the center of the rhombus.

Put {X}=LO∩EF\{X\} = LO \cap EF and {Y}=QP∩EF\{Y\} = QP \cap EF. Then XEXF=LBLF=BKKA\frac{XE}{XF} = \frac{LB}{LF} = \frac{BK}{KA} and YEYF=QEQC=BMMC\frac{YE}{YF} = \frac{QE}{QC} = \frac{BM}{MC}. As BKKA=BMMC\frac{BK}{KA} = \frac{BM}{MC}, it follows that points XX and YY coincide, which means that the lines EF,LOEF, LO and PQPQ pass through the center of the rhombus.

Figure 1

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.