Maths Olympiad Prep

Library / /42 of 52

Geometry Difficulty 6.5 National olympiad Prove it Belarus

The internal bisectors of angles DAB\angle DAB and BCD\angle BCD of a quadrilateral ABCDABCD intersect at the point X1X_1, and the external bisectors of these angles intersect at the point X2X_2. The internal bisectors of angles ABC\angle ABC and CDA\angle CDA intersect at the point Y1Y_1, and the external bisectors of these angles intersect at the point Y2Y_2.
Prove that the angle between the lines X1X2X_1X_2 and Y1Y2Y_1Y_2 equals to the angle between the diagonals ACAC and BDBD.

Solution

Denote by A1A_1 the intersection point of the lines AX1AX_1 and CX2CX_2, and by C1C_1 denote the intersection point of the lines AX2AX_2 and CX1CX_1. Let B1B_1 be the intersection point of the lines BY1BY_1 and DY2DY_2, and let D1D_1 be the intersection point of the lines BY2BY_2 and DY1DY_1. The lines A1AA_1A and C1CC_1C are the altitudes of the triangle A1C1X2A_1C_1X_2, hence X1X2A1C1X_1X_2 \perp A_1C_1. Similarly, Y1Y2B1D1Y_1Y_2 \perp B_1D_1. Thus it is enough to prove that the angle between the lines A1C1A_1C_1 and B1D1B_1D_1 equals to the angle between the lines ACAC and BDBD. Further we use only oriented angles.
Since AA1AC1AA_1 \perp AC_1 and CC1CA1CC_1 \perp CA_1, the quadrilateral ACA1C1ACA_1C_1 is cyclic, hence
(AC,AC1)=(A1C,A1C1). \angle(AC, AC_1) = \angle(A_1C, A_1C_1).
Adding (AC,A1C)\angle(AC, A_1C) to both sides, we obtain
(AC,AC1)+(AC,A1C)=(AC,A1C)+(A1C,A1C1)=(AC,A1C1). \angle(AC, AC_1) + \angle(AC, A_1C) = \angle(AC, A_1C) + \angle(A_1C, A_1C_1) = \angle(AC, A_1C_1).
Since (AC,AC1)=90(AA1,AC)\angle(AC, AC_1) = 90^\circ - \angle(AA_1, AC) and (AC,A1C)=90(CC1,AC)\angle(AC, A_1C) = 90^\circ - \angle(CC_1, AC), we can write (AC,A1C1)=(AA1,AC)(CC1,AC)\angle(AC, A_1C_1) = -\angle(AA_1, AC) - \angle(CC_1, AC). Further,
(AA1,AC)=(AA1,AB)+(AB,AC)=(AA1,AD)+(AD,AC). \angle(AA_1, AC) = \angle(AA_1, AB) + \angle(AB, AC) = \angle(AA_1, AD) + \angle(AD, AC).
Using (AA1,AB)+(AA1,AD)=0\angle(AA_1, AB) + \angle(AA_1, AD) = 0^\circ we get 2(AA1,AC)=(AB,AC)+(AD,AC)2\angle(AA_1, AC) = \angle(AB, AC) + \angle(AD, AC). Similarly 2(CC1,AC)=(CB,AC)+(CD,AC)2\angle(CC_1, AC) = \angle(CB, AC) + \angle(CD, AC). Therefore
2(AC,A1C1)=(AB,AC)(BC,AC)(CD,AC)(DA,AC).(1) 2\angle(AC, A_1C_1) = -\angle(AB, AC) - \angle(BC, AC) - \angle(CD, AC) - \angle(DA, AC). \quad (1)
Similarly
2(BD,B1D1)=(AB,BD)(BC,BD)(CD,BD)(DA,BD).(2) 2\angle(BD, B_1D_1) = -\angle(AB, BD) - \angle(BC, BD) - \angle(CD, BD) - \angle(DA, BD). \quad (2)
Subtracting (2) from (1) we obtain (AC,A1C1)(BD,B1D1)=2(AC,BD)\angle(AC, A_1C_1) - \angle(BD, B_1D_1) = 2\angle(AC, BD).
Finally
(B1D1,A1C1)=(B1D1,BD)+(BD,AC)+(AC,A1C1)==2(AC,BD)(AC,BD)=(AC,BD). \begin{aligned} \angle(B_1D_1, A_1C_1) &= \angle(B_1D_1, BD) + \angle(BD, AC) + \angle(AC, A_1C_1) = \\ &= 2\angle(AC, BD) - \angle(AC, BD) = \angle(AC, BD). \end{aligned}

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 and solution reproduced as published; topic and difficulty added by this site.