Maths Olympiad Prep

Library / first T3MO /2 of 5

first T3MO

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, N≠AN \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 AP∩BQ=VAP \cap BQ = V, AQ∩BP=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 AC∩BP=WAC \cap BP = W, AQ∩BC=XAQ \cap BC = X, AC∩BQ=YAC \cap BQ = Y, and AP∩BC=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 d∈Rd \in \mathbb{R}. It follows that w=dp+(1−d)uw = dp + (1-d)u and y=dq+(1−d)vy = dq + (1-d)v. Similarly there exists e∈Re \in \mathbb{R} such that x=eq+(1−e)ux = eq + (1-e)u and z=ep+(1−e)vz = ep + (1-e)v. Therefore
c=(d+e)(p+q)+(2−d−e)(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+(1−d+e2)r c = \left(\frac{d+e}{2}\right)t + \left(1 - \frac{d+e}{2}\right)r
with d+e2+(1−d+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=90∘−∠RNS−∠PQN=90∘−∠OCB−∠PAN=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=AB∩PQD = 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′=PQ∩ACS' = PQ \cap AC.

Figure 2

First we will show that DP⋅DQ=DS′⋅DSDP \cdot DQ = DS' \cdot DS, or, equivalently, DPPS′=DSSQ\frac{DP}{PS'} = \frac{DS}{SQ}.
From the triangles ADPADP and AS′PAS'P we have
DPsin⁡(2x+z)=APsin⁡∠ADPandPS′sin⁡x=APsin⁡∠PS′A \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)sin⁡∠AS′Psin⁡∠ADPsin⁡x \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)sin⁡∠BQSsin⁡∠BDSsin⁡y \frac{DS}{SQ} = \frac{\cos(x + z) \sin \angle BQS}{\sin \angle BDS \sin y}

Therefore we have
DPPS′=DSSQ  ⟺  sin⁡(2x+z)sin⁡∠AS′Psin⁡x=cos⁡(x+z)sin⁡∠BQSsin⁡y  ⟺  sin⁡(2x+z)sin⁡(x+w)sin⁡x=cos⁡(x+z)cos⁡(x+w−y)sin⁡y  ⟺  sin⁡(2x+z)(2sin⁡(x+w)sin⁡y)=cos⁡(x+w−y)(2sin⁡xcos⁡(x+z))  ⟺  sin⁡(2x+z)(cos⁡(x+w−y)−cos⁡(x+y+w))  ⟺  sin⁡(2x+z)(cos⁡(x+w−y)−=cos⁡(x+w−y)(sin⁡(2x+z)−sin⁡z)  ⟺  sin⁡(2x+z)cos⁡(x+y+w)=sin⁡zcos⁡(x+w−y)  ⟺  sin⁡∠PABsin⁡∠BPQ=sin⁡∠QABsin⁡∠BQP  ⟺  sin⁡∠PABsin⁡∠QAB=sin⁡∠BQPsin⁡∠BPQ. \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=(90∘−x+y)+(90∘+x−y)=180∘\angle APB + \angle AQB = (90^\circ - x + y) + (90^\circ + x - y) = 180^\circ, so sin⁡∠APB=sin⁡∠AQB\sin \angle APB = \sin \angle AQB. Therefore
sin⁡∠PABsin⁡∠QAB=BPsin⁡∠APBAB⋅ABBQsin⁡∠AQB=BPBQ=sin⁡∠BQPsin⁡∠BPQ. \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 DS⋅DS′=DP⋅DQDS \cdot DS' = DP \cdot DQ. Moreover, since DP⋅DQ=DA⋅DMDP \cdot DQ = DA \cdot DM, so DS⋅DS′=DA⋅DMDS \cdot DS' = DA \cdot DM. Therefore, AS′SMAS'SM is cyclic.
Let NSNS intersect the circumcircle of APQAPQ again at M′M'. Since NN is the midpoint of arc PQPQ, by a well-known lemma, we have NS′⋅NA=NP2=NS⋅NM′NS' \cdot NA = NP^2 = NS \cdot NM', so AS′SM′AS'SM' is cyclic. Therefore MM and M′M' are both the second intersection point of the circumcircles of triangles AS′SAS'S and APQAPQ, so M=M′M = M'.

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.