Maths Olympiad Prep

Library / /50 of 87

Geometry Difficulty 6.5 National Olympiad Prove it Serbia

Convex quadrilateral ABCDABCD is circumscribed about a circle kk. Lines ADAD and BCBC intersect at point PP, and the circles circumscribed about PAB\triangle PAB and PCD\triangle PCD intersect at point XX. Prove that the tangents from point XX to circle kk form equal angles with lines AXAX and CXCX.

Solution

Solution:

Since XAD= XBC\text{XAD= XBC} and XDP= XCP\text{XDP= XCP}, it holds that XADXBC\triangle XAD \sim \triangle XBC.

Let the bisector sXs_{X} of angle AXCAXC intersect the circles PABPAB and PCDPCD at points KK and RR, and let the bisector sPs_{P} of angle APCAPC intersect the circles PABPAB and PCDPCD at points LL and SS. The line sPs_{P} passes through the center II of circle kk and it holds that LA=LB=LILA=LB=LI and SC=SD=SISC=SD=SI.

Since ILK= PXK= PXR= ISR\text{ILK= PXK= PXR= ISR}, it holds that KLRSKL \| RS. Furthermore, we have RXS= RXC- SPC= 1 2 ( AXC- APC)= 1 2 BXC\text{RXS= RXC- SPC= 1 2 ( AXC- APC)= 1 2 BXC} and, similarly, LXK= 1 2 BXC\text{LXK= 1 2 BXC}. It follows that equal inscribed angles correspond to the chords KLKL and RSRS in circles PABPAB and PCDPCD, as well as to the chords LBLB and SDSD, so KLRS=LBSD=LISI\frac{KL}{RS}=\frac{LB}{SD}=\frac{LI}{SI}. It follows that IKLIRS\triangle IKL \sim \triangle IRS, so point II lies on line KRKR, which is the bisector of angle AXCAXC. The claim of the problem follows immediately.

Second solution. Let us denote by UU and VV, respectively, the intersections of the bisectors of angles AXDAXD and BXCBXC with ADAD and BCBC. As in the first solution, XADXBC\triangle XAD \sim \triangle XBC, from which XUP= XVP\text{XUP= XVP}, so points X,P,UX, P, U and VV lie on the same circle γ\gamma. We
Figure 1
will prove that point II is also on this circle and that IU=IVIU=IV. It will follow that II belongs to the bisector of angle UXVUXV, which is at the same time the bisector of angle AXCAXC.

Let MM and NN be, respectively, the points of tangency of circle kk with sides ADAD and BCBC. Let us denote AM=a,BN=b,CN=cAM=a, BN=b, CN=c and DM=dDM=d. Then AB=a+b,CD=c+dAB=a+b, CD=c+d and AU:UD=(a+b):(c+d)AU:UD=(a+b):(c+d), from which we find AU=a+ba+b+c+dAD=(a+b)(a+d)a+b+c+dAU=\frac{a+b}{a+b+c+d} \cdot AD=\frac{(a+b)(a+d)}{a+b+c+d}; similarly we have BV=(b+a)(b+c)a+b+c+dBV=\frac{(b+a)(b+c)}{a+b+c+d}. It follows that AMAU=BVBN=acbda+b+c+dAM-AU=BV-BN=\frac{ac-bd}{a+b+c+d}, so MU=NVMU=NV and triangles IMUIMU and INVINV are congruent and identically oriented. Therefore, IU=IVIU=IV and UIV= MIN=180 - VPU\text{UIV= MIN=180 - VPU}, i.e., II is the midpoint of arc UVUV of circle PXUVPXUV.

Third solution. The following statement from projective geometry is known.
- Desargues's involution theorem. Conic γ\gamma is circumscribed about quadrilateral ABCD\overline{A B C D}. Line \ell intersects AB,CD,BC,DA,AC,BDAB, CD, BC, DA, AC, BD respectively at points X1X_{1}, X2,Y1,Y2,Z1,Z2X_{2}, Y_{1}, Y_{2}, Z_{1}, Z_{2}, and intersects the conic γ\gamma at W1W_{1} and W2W_{2}. Then there exists an involution on line \ell that maps X1X2,Y1Y2,Z1Z2X_{1} \leftrightarrow X_{2}, Y_{1} \leftrightarrow Y_{2}, Z_{1} \leftrightarrow Z_{2} and W1W2W_{1} \leftrightarrow W_{2}.

The dual statement (obtained by polar mapping with respect to γ\gamma) is as follows:
- Conic γ\gamma is inscribed in quadrilateral ABCDABCD in which ADBC={P}AD \cap BC=\{P\} and ABCD={Q}AB \cap CD=\{Q\}. Lines XUXU and XVXV are tangents from an arbitrary point XX to γ\gamma. Then there exists an involution on the pencil of lines through XX that maps XAXC,XBXD,XPXQXA \leftrightarrow XC, XB \leftrightarrow XD, XP \leftrightarrow XQ and XUXVXU \leftrightarrow XV.

In our case, angles AXC,BXDAXC, BXD and PXQPXQ have a common bisector ss, so the mentioned involution is precisely the axial symmetry with respect to ss. It follows that the two tangents from XX to the circle (conic) kk are symmetric with respect to ss.

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 translated into English from sr; metadata (topic, difficulty) added by this project.