Maths Olympiad Prep

Library / /346 of 383

, 2021

Geometry Difficulty 9.0 IMO level Prove it IMO

Let ABCDABCD be a cyclic quadrilateral whose sides have pairwise different lengths. Let OO be the circumcentre of ABCDABCD. The internal angle bisectors of ABC\angle ABC and ADC\angle ADC meet ACAC at B1B_{1} and D1D_{1}, respectively. Let OBO_{B} be the centre of the circle which passes through BB and is tangent to ACAC at D1D_{1}. Similarly, let ODO_{D} be the centre of the circle which passes through DD and is tangent to ACAC at B1B_{1}.
Assume that BD1DB1B D_{1} \parallel D B_{1}. Prove that OO lies on the line OBODO_{B} O_{D}.

Solution

Common remarks. We introduce some objects and establish some preliminary facts common for all solutions below.
Let Ω\Omega denote the circle (ABCD)(ABCD), and let γB\gamma_{B} and γD\gamma_{D} denote the two circles from the problem statement (their centres are OBO_{B} and ODO_{D}, respectively). Clearly, all three centres OO, OBO_{B}, and ODO_{D} are distinct.
Assume, without loss of generality, that AB>BCAB > BC. Suppose that AD>DCAD > DC, and let H=ACBDH = AC \cap BD. Then the rays BB1BB_{1} and DD1DD_{1} lie on one side of BDBD, as they contain the midpoints of the arcsADC\operatorname{arcs} ADC and ABCABC, respectively. However, if BD1DB1BD_{1} \parallel DB_{1}, then B1B_{1} and D1D_{1} should be separated by HH. This contradiction shows that AD<CDAD < CD.
Let γB\gamma_{B} and γD\gamma_{D} meet Ω\Omega again at TBT_{B} and TDT_{D}, respectively. The common chord BTBBT_{B} of Ω\Omega and γB\gamma_{B} is perpendicular to their line of
Figure 1
centres OBOO_{B}O; likewise, DTDODODT_{D} \perp O_{D}O. Therefore, OOBODOBOODOBTBDTDO \in O_{B}O_{D} \Longleftrightarrow O_{B}O \parallel O_{D}O \Longleftrightarrow BT_{B} \parallel DT_{D}, and the problem reduces to showing that
BTBDTD. \begin{equation*} BT_{B} \parallel DT_{D}. \tag{1} \end{equation*}

Solution 1. Let the diagonals ACAC and BDBD cross at HH. Consider the homothety hh centred at HH and mapping BB to DD. Since BD1DB1BD_{1} \parallel DB_{1}, we have h(D1)=B1h(D_{1}) = B_{1}.
Let the tangents to Ω\Omega at BB and DD meet ACAC at LBL_{B} and LDL_{D}, respectively. We have
LBBB1=LBBC+CBB1=BALB+B1BA=BB1LB, \angle L_{B}BB_{1} = \angle L_{B}BC + \angle CBB_{1} = \angle BAL_{B} + \angle B_{1}BA = \angle BB_{1}L_{B},
which means that the triangle LBBB1L_{B}BB_{1} is isosceles, LBB=LBB1L_{B}B = L_{B}B_{1}. The powers of LBL_{B} with respect to Ω\Omega and γD\gamma_{D} are LBB2L_{B}B^{2} and LBB12L_{B}B_{1}^{2}, respectively; so they are equal, whence LBL_{B} lies on the radical axis TDDT_{D}D of those two circles. Similarly, LDL_{D} lies on the radical axis TBBT_{B}B of Ω\Omega and γB\gamma_{B}.
By the sine rule in the triangle BHLBBHL_{B}, we obtain
HLBsinHBLB=BLBsinBHLB=B1LBsinBHLB; \begin{equation*} \frac{HL_{B}}{\sin \angle HBL_{B}} = \frac{BL_{B}}{\sin \angle BHL_{B}} = \frac{B_{1}L_{B}}{\sin \angle BHL_{B}}; \tag{2} \end{equation*}
similarly,
HLDsinHDLD=DLDsinDHLD=D1LDsinDHLD. \begin{equation*} \frac{HL_{D}}{\sin \angle HDL_{D}} = \frac{DL_{D}}{\sin \angle DHL_{D}} = \frac{D_{1}L_{D}}{\sin \angle DHL_{D}}. \tag{3} \end{equation*}
Clearly, BHLB=DHLD\angle BHL_{B} = \angle DHL_{D}. In the circle Ω\Omega, tangent lines BLBBL_{B} and DLDDL_{D} form equal angles with the chord BDBD, so sinHBLB=sinHDLD\sin \angle HBL_{B} = \sin \angle HDL_{D} (this equality does not depend on the picture). Thus, dividing (2) by (3) we get
HLBHLD=B1LBD1LD,and henceHLBHLD=HLBB1LBHLDD1LD=HB1HD1. \frac{HL_{B}}{HL_{D}} = \frac{B_{1}L_{B}}{D_{1}L_{D}}, \quad \text{and hence} \quad \frac{HL_{B}}{HL_{D}} = \frac{HL_{B} - B_{1}L_{B}}{HL_{D} - D_{1}L_{D}} = \frac{HB_{1}}{HD_{1}}.
Since h(D1)=B1h(D_{1}) = B_{1}, the obtained relation yields h(LD)=LBh(L_{D}) = L_{B}, so hh maps the line LDBL_{D}B to LBDL_{B}D, and these lines are parallel, as desired.

Solution 2. Let BD1BD_{1} and TBD1T_{B}D_{1} meet Ω\Omega again at XBX_{B} and YBY_{B}, respectively. Then
BD1C=BTBD1=BTBYB=BXBYB, \angle BD_{1}C = \angle BT_{B}D_{1} = \angle BT_{B}Y_{B} = \angle BX_{B}Y_{B},
which shows that XBYBACX_{B}Y_{B} \parallel AC. Similarly, let DB1DB_{1} and TDB1T_{D}B_{1} meet Ω\Omega again at XDX_{D} and YDY_{D}, respectively; then XDYDACX_{D}Y_{D} \parallel AC.
Let MDM_{D} and MBM_{B} be the midpoints of the arcsABC\operatorname{arcs} ABC and ADCADC, respectively; then the points D1D_{1} and B1B_{1} lie on DMDDM_{D} and BMBBM_{B}, respectively. Let KK be the midpoint of ACAC (which lies on MBMDM_{B}M_{D}). Applying Pascal's theorem to MDDXDXBBMBM_{D}DX_{D}X_{B}BM_{B}, we obtain that the points D1=MDDXBBD_{1} = M_{D}D \cap X_{B}B, B1=DXDBMBB_{1} = DX_{D} \cap BM_{B}, and XDXBMBMDX_{D}X_{B} \cap M_{B}M_{D} are collinear, which means that XBXDX_{B}X_{D} passes through KK. Due to symmetry, the diagonals of an isosceles trapezoid XBYBXDYDX_{B}Y_{B}X_{D}Y_{D} cross at KK.
Figure 2
Let bb and dd denote the distances from the lines XBYBX_{B}Y_{B} and XDYDX_{D}Y_{D}, respectively, to ACAC. Then we get
XBYBXDYD=bd=D1XBB1XD, \frac{X_{B}Y_{B}}{X_{D}Y_{D}} = \frac{b}{d} = \frac{D_{1}X_{B}}{B_{1}X_{D}},
where the second equation holds in view of D1XBB1XDD_{1}X_{B} \parallel B_{1}X_{D}. Therefore, the triangles D1XBYBD_{1}X_{B}Y_{B} and B1XDYDB_{1}X_{D}Y_{D} are similar. The triangles D1TBBD_{1}T_{B}B and B1TDDB_{1}T_{D}D are similar to them and hence to each other. Since BD1DB1BD_{1} \parallel DB_{1}, these triangles are also homothetical. This yields BTBDTDBT_{B} \parallel DT_{D}, as desired.

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.