Olympiad Maths Prep

Library / /14 of 16

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}=ABCD\{G\} = AB \cap CD, {H}=ADBC\{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}=MNIK\{J\} = MN \cap IK. From triangle GBCGBC we get G=180GBCGCB=B+C180\angle G = 180^\circ - \angle GBC - \angle GCB = \angle B + \angle C - 180^\circ, hence CMJ=90+12(BC)\angle CMJ = 90^\circ + \frac{1}{2}(\angle B - \angle C). Similarly, CIJ=90+12(DC)\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 MKACMK \parallel AC, i.e. BKKA=BMMC\frac{BK}{KA} = \frac{BM}{MC}, it is sufficient to prove that HAGD=HBGAHA \cdot GD = HB \cdot GA. This follows from [AHG]=HAGDsinD2=HBGAsinB2[AHG] = \frac{HA \cdot GD \sin D}{2} = \frac{HB \cdot GA \sin B}{2} and sinB=sinD\sin B = \sin D. Thus, MKACMK \parallel AC.

Consider {L}=MKBF\{L\} = MK \cap BF, {P}=AEKN\{P\} = AE \cap KN, {O}=DFIN\{O\} = DF \cap IN and {Q}=MICE\{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}=LOEF\{X\} = LO \cap EF and {Y}=QPEF\{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

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.