Maths Olympiad Prep

Library / Belarusian Mathematical Olympiad /151 of 208

Belarusian Mathematical Olympiad

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 X1X2⊥A1C1X_1X_2 \perp A_1C_1. Similarly, Y1Y2⊥B1D1Y_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 AA1⊥AC1AA_1 \perp AC_1 and CC1⊥CA1CC_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,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.