Maths Olympiad Prep

Library / /3 of 6

Geometry Difficulty 6.5 National Olympiad Prove it Thailand

Let ABQPABQP be a convex quadrilateral. Let the angle bisectors of PAQ\angle PAQ and PBQ\angle PBQ intersect at CC. The circumcircle of APQAPQ intersects ABAB, ACAC at MM, NAN \ne A, respectively. Lines PQPQ and BCBC intersect at SS. Prove that if ACAC is perpendicular to BCBC then MM, SS, NN are collinear.
(Chesphongphach Buranasilp, Krit Boonsiriseth and Pachara Sawettamalya)

Solutions — 2

Solution 1

We divide our solution into two main steps:

Step 1: Let OO be the midpoint of ABAB and RR the midpoint of PQPQ, then CC, RR, OO are collinear.

Proof. We will denote the complex number of each point by its lowercase letter.
Let APBQ=VAP \cap BQ = V, AQBP=UAQ \cap BP = U. Let PAC=α\angle PAC = \alpha, PBC=β\angle PBC = \beta, then PVQ=90αβ\angle PVQ = 90^\circ - \alpha - \beta and PUQ=90+α+β\angle PUQ = 90^\circ + \alpha + \beta, therefore quadrilateral PUQVPUQV is cyclic.
Let ACBP=WAC \cap BP = W, AQBC=XAQ \cap BC = X, ACBQ=YAC \cap BQ = Y, and APBC=ZAP \cap BC = Z. Since CC is on the angle bisector of both PAQ\angle PAQ and PBQ\angle PBQ, and since ACB=90\angle ACB = 90^\circ, WC=CYWC = CY and XC=CZXC = CZ. Thus WXYZ\square WXYZ is a rhombus, hence c=w+x+y+z4c = \frac{w+x+y+z}{4}.

Figure 1

Since PUQVPUQV is cyclic, AUAP=AVAQ\frac{AU}{AP} = \frac{AV}{AQ}. By the angle bisector theorem, UWPW=AUAP\frac{UW}{PW} = \frac{AU}{AP} and AVAQ=VYYQ\frac{AV}{AQ} = \frac{VY}{YQ}. Therefore UWUP=VYVQ=d\frac{UW}{UP} = \frac{VY}{VQ} = d for some dRd \in \mathbb{R}. It follows that w=dp+(1d)uw = dp + (1-d)u and y=dq+(1d)vy = dq + (1-d)v. Similarly there exists eRe \in \mathbb{R} such that x=eq+(1e)ux = eq + (1-e)u and z=ep+(1e)vz = ep + (1-e)v. Therefore
c=(d+e)(p+q)+(2de)(u+v)4. c = \frac{(d+e)(p+q) + (2-d-e)(u+v)}{4}.

Let TT be the midpoint of UVUV. Clearly t=u+v2t = \frac{u+v}{2}, and r=p+q2r = \frac{p+q}{2}. Therefore
c=(d+e2)t+(1d+e2)r c = \left(\frac{d+e}{2}\right)t + \left(1 - \frac{d+e}{2}\right)r
with d+e2+(1d+e2)=1\frac{d+e}{2} + \left(1 - \frac{d+e}{2}\right) = 1, so CC, RR, TT are collinear.

Using the well-known fact that in a complete quadrilateral, the midpoints of three diagonals are collinear, we have RR, TT, OO are collinear. Hence we have CC, RR, OO collinear. \Box

Step 2: Showing that MM, SS, NN are collinear.

Proof. First, since PAN=NAQ\angle PAN = \angle NAQ, NN is the midpoint of arc PQPQ, so NRQ=90\angle NRQ = 90^\circ, hence quadrilateral NCRSNCRS is cyclic.

Let OBC=θ\angle OBC = \theta. We have MNQ=MAQ=90θα\angle MNQ = \angle MAQ = 90^\circ - \theta - \alpha. Since SNQ=90RNSPQN=90OCBPAN=90θα\angle SNQ = 90^\circ - \angle RNS - \angle PQN = 90^\circ - \angle OCB - \angle PAN = 90^\circ - \theta - \alpha, so MNQ=SNQ\angle MNQ = \angle SNQ, therefore MM, SS, NN are collinear. \square

Solution 2

(by Kritkorn Karntikoon)
Let D=ABPQD = AB \cap PQ, PAC=x\angle PAC = x, PBC=y\angle PBC = y, QAB=z\angle QAB = z, and PQA=w\angle PQA = w, and S=PQACS' = PQ \cap AC.

Figure 2

First we will show that DPDQ=DSDSDP \cdot DQ = DS' \cdot DS, or, equivalently, DPPS=DSSQ\frac{DP}{PS'} = \frac{DS}{SQ}.
From the triangles ADPADP and ASPAS'P we have
DPsin(2x+z)=APsinADPandPSsinx=APsinPSA \frac{DP}{\sin(2x + z)} = \frac{AP}{\sin \angle ADP} \quad \text{and} \quad \frac{PS'}{\sin x} = \frac{AP}{\sin \angle PS'A}

Hence,
DPDS=sin(2x+z)sinASPsinADPsinx \frac{DP}{DS'} = \frac{\sin(2x + z) \sin \angle AS'P}{\sin \angle ADP \sin x}

A similar argument with triangles BDSBDS and BQSBQS yields
DSSQ=cos(x+z)sinBQSsinBDSsiny \frac{DS}{SQ} = \frac{\cos(x + z) \sin \angle BQS}{\sin \angle BDS \sin y}

Therefore we have
DPPS=DSSQ    sin(2x+z)sinASPsinx=cos(x+z)sinBQSsiny    sin(2x+z)sin(x+w)sinx=cos(x+z)cos(x+wy)siny    sin(2x+z)(2sin(x+w)siny)=cos(x+wy)(2sinxcos(x+z))    sin(2x+z)(cos(x+wy)cos(x+y+w))    sin(2x+z)(cos(x+wy)=cos(x+wy)(sin(2x+z)sinz)    sin(2x+z)cos(x+y+w)=sinzcos(x+wy)    sinPABsinBPQ=sinQABsinBQP    sinPABsinQAB=sinBQPsinBPQ. \begin{align*} \frac{DP}{PS'} = \frac{DS}{SQ} &\iff \frac{\sin(2x+z) \sin \angle AS'P}{\sin x} = \frac{\cos(x+z) \sin \angle BQS}{\sin y} \\ &\iff \frac{\sin(2x+z) \sin(x+w)}{\sin x} = \frac{\cos(x+z) \cos(x+w-y)}{\sin y} \\ &\iff \sin(2x+z) (2 \sin(x+w) \sin y) = \cos(x+w-y) (2 \sin x \cos(x+z)) \\ &\iff \sin(2x+z) (\cos(x+w-y) - \cos(x+y+w)) \\ &\phantom{\iff \sin(2x+z) (\cos(x+w-y) -} = \cos(x+w-y) (\sin(2x+z) - \sin z) \\ &\iff \sin(2x+z) \cos(x+y+w) = \sin z \cos(x+w-y) \\ &\iff \sin \angle PAB \sin \angle BPQ = \sin \angle QAB \sin \angle BQP \\ &\iff \frac{\sin \angle PAB}{\sin \angle QAB} = \frac{\sin \angle BQP}{\sin \angle BPQ}. \end{align*}

Observe that APB+AQB=(90x+y)+(90+xy)=180\angle APB + \angle AQB = (90^\circ - x + y) + (90^\circ + x - y) = 180^\circ, so sinAPB=sinAQB\sin \angle APB = \sin \angle AQB. Therefore
sinPABsinQAB=BPsinAPBABABBQsinAQB=BPBQ=sinBQPsinBPQ. \frac{\sin \angle PAB}{\sin \angle QAB} = \frac{BP \sin \angle APB}{AB} \cdot \frac{AB}{BQ \sin \angle AQB} = \frac{BP}{BQ} = \frac{\sin \angle BQP}{\sin \angle BPQ}.

Hence we have proved that DSDS=DPDQDS \cdot DS' = DP \cdot DQ. Moreover, since DPDQ=DADMDP \cdot DQ = DA \cdot DM, so DSDS=DADMDS \cdot DS' = DA \cdot DM. Therefore, ASSMAS'SM is cyclic.
Let NSNS intersect the circumcircle of APQAPQ again at MM'. Since NN is the midpoint of arc PQPQ, by a well-known lemma, we have NSNA=NP2=NSNMNS' \cdot NA = NP^2 = NS \cdot NM', so ASSMAS'SM' is cyclic. Therefore MM and MM' are both the second intersection point of the circumcircles of triangles ASSAS'S and APQAPQ, so M=MM = M'.

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.