Maths Olympiad Prep

Library / /12 of 45

Geometry Difficulty 8.3 Shortlist Prove it United States

Let ABCABC be a triangle. Triangles PABPAB and QACQAC are constructed outside of triangle ABCABC such that AP=ABAP = AB and AQ=ACAQ = AC and BAP=CAQ\angle BAP = \angle CAQ. Segments BQBQ and CPCP meet at RR. Let OO be the circumcenter of triangle BCRBCR. Prove that AOPQAO \perp PQ.

Solution

Note: We present five different approaches. The first three synthetic solutions are all based on the following simple observation.
We first note that APBRAPBR and AQCRAQCR are cyclic quadrilaterals. It is easy to see that triangles APCAPC and ABQABQ are congruent to each other, implying that APR=APC=ABQ=ABR\angle APR = \angle APC = \angle ABQ = \angle ABR. Thus, APBRAPBR is a cyclic quadrilateral. Likewise, we can show that AQCRAQCR is also cyclic.

Figure 1

Let PAB=2x\angle PAB = 2x. Then in isosceles triangle APBAPB, APB=90x\angle APB = 90^\circ - x. In cyclic quadrilateral APBRAPBR, ARB=180APB=90+x\angle ARB = 180^\circ - \angle APB = 90^\circ + x. Likewise, ARC=90+x\angle ARC = 90^\circ + x. Hence BRC=360ARBARC=1802x\angle BRC = 360^\circ - \angle ARB - \angle ARC = 180^\circ - 2x. It follows that BOC=4x\angle BOC = 4x.

First Solution: Reflect CC across line AQAQ to DD. Then BAD=4x+BAC=BAQ\angle BAD = 4x + \angle BAC = \angle BAQ. It is easy to see that triangles BADBAD and PAQPAQ are congruent, implying that ADB=AQP=y\angle ADB = \angle AQP = y.

Figure 2

Note also that CADCAD and COBCOB are two isosceles triangles with the same vertex angle, and so they are similar to each other. It follows that triangle CAOCAO and CBDCBD are similar by SAS (side-angle-side), implying that CAO=CDB=z\angle CAO = \angle CDB = z.

The angle formed by lines AOAO and PQPQ is equal to
180OAQAQP=180OACCAQAQP=180z2xy. 180^\circ - \angle OAQ - \angle AQP = 180^\circ - \angle OAC - \angle CAQ - \angle AQP = 180^\circ - z - 2x - y.

Since AQAQ is perpendicular to the base CDCD in isosceles triangle ACDACD, we have
90=QAD+CDA=QAD+ADB+BDC=2x+y+z. 90^\circ = \angle QAD + \angle CDA = \angle QAD + \angle ADB + \angle BDC = 2x + y + z.
Combining the last two equations yields that fact the angle formed by lines AOAO and PQPQ is equal to 9090^\circ; that is, AOPQAO \perp PQ.

Second Solution: We maintain the same notations as in the first solution. Let MM be the midpoint of arc BC^\widehat{BC} on the circumcircle of triangle BOCBOC. Then BM=CMBM = CM. Since triangles APCAPC and ABQABQ are congruent, PC=BQPC = BQ. Since BRMCBRMC is cyclic, PCM=RCM=RBM=QBM\angle PCM = \angle RCM = \angle RBM = \angle QBM. Hence triangles BMQBMQ and CMPCMP are congruent by SAS. It follows triangles MPQMPQ and MBCMBC are similar. Since BOC=4x\angle BOC = 4x, MBC=MCB=x\angle MBC = \angle MCB = x, and so MPQ=x\angle MPQ = x.

Figure 3

Note that both triangles PABPAB and MOBMOB are isosceles triangles with vertex angle 2x2x; that is, they are similar to each other. Hence triangles BMPBMP and BOABOA are also similar by SAS, implying that OAB=MPB=s\angle OAB = MPB = s. We also note that in isosceles triangle APBAPB,
90=APB+PAB/2=APQ+QPM+MPB+PAB/2=APQ+2x+s. 90^\circ = \angle APB + \angle PAB/2 = \angle APQ + \angle QPM + \angle MPB + \angle PAB/2 = \angle APQ + 2x + s.
Putting the above together, we conclude that
PAO+APQ=PAB+BAO+APQ=2x+s+APQ=90, \angle PAO + \angle APQ = \angle PAB + \angle BAO + \angle APQ = 2x + s + \angle APQ = 90^\circ,
that is AOPQAO \perp PQ.

Third Solution: We consider two rotations:
R1\mathbf{R}_1: a counterclockwise 2x2x (degree) rotation centered at AA,
R2\mathbf{R}_2: a clockwise 4x4x (degree) rotation centered at OO.
Let T\mathbf{T} denote the composition R1R2R1\mathbf{R}_1\mathbf{R}_2\mathbf{R}_1. Then T\mathbf{T} is a counterclockwise 2x4x+2x=02x - 4x + 2x = 0^\circ rotation; that is, T\mathbf{T} is translation. Note that
T(P)=R1(R2(R1(P)))=R1(R2(B))=R1(C)=Q, \mathbf{T}(P) = \mathbf{R}_1(\mathbf{R}_2(\mathbf{R}_1(P))) = \mathbf{R}_1(\mathbf{R}_2(B)) = \mathbf{R}_1(C) = Q,
or, T\mathbf{T} is the vector translation PQ\overrightarrow{PQ}.
Let A1=R2(A)A_1 = \mathbf{R}_2(A) and A2=R1(A1)A_2 = \mathbf{R}_1(A_1). Then T(A)=A2\mathbf{T}(A) = A_2; that is, AA2=PQ\overrightarrow{AA_2} = \overrightarrow{PQ}, or AA2PQAA_2 \parallel PQ.
By the definitions of R2\mathbf{R}_2 and R1\mathbf{R}_1, we know that triangles OAA1OAA_1 and A1AA2A_1AA_2 are isosceles triangles with respect vertex angles AOA1=4x\angle AOA_1 = 4x and A1AA2=2x\angle A_1AA_2 = 2x^\circ. It is routine to compute that OAA2=90\angle OAA_2 = 90^\circ; that AOAA2AO \perp AA_2, or AOPQAO \perp PQ.

Fourth Solution: (By Ian Le) In this solutions, let each lowercase letter denote the number assigned to the point labeled with the corresponding uppercase letter. We further assume that AA is origin; that is, let a=0a = 0. Let ω=e2xi\omega = e^{2xi} (or ω=cos(2x)+isin(2x)\omega = \cos(2x) + i\sin(2x), and ω1=cos(2x)isin(2x)\omega^{-1} = \cos(2x) - i\sin(2x)). Then because OO lies on the perpendicular bisector of BCBC and BOC=4x\angle BOC = 4x,
o=c+(bc)i2ωsin(2x)=c+bi2ωsin(2x)ci2ωsin(2x). o = c + \frac{(b-c)i}{2\omega \sin(2x)} = c + \frac{bi}{2\omega \sin(2x)} - \frac{ci}{2\omega \sin(2x)}.
Note that
cci2ωsin(2x)=c+cω12isin(2x)=c(ω1+2isin(2x))2isin(2x)=cω2isin(2x), c - \frac{ci}{2\omega \sin(2x)} = c + \frac{c\omega^{-1}}{2i \sin(2x)} = \frac{c(\omega^{-1} + 2i \sin(2x))}{2i \sin(2x)} = \frac{c\omega}{2i \sin(2x)},
Combining the last two equations gives
o=bi2ωsin(2x)+cω2isin(2x)=b2iωsin(2x)+cω2isin(2x)=12isin(2x)(cωbω). o = \frac{bi}{2\omega \sin(2x)} + \frac{c\omega}{2i \sin(2x)} = -\frac{b}{2i\omega \sin(2x)} + \frac{c\omega}{2i \sin(2x)} = \frac{1}{2i \sin(2x)} \left( c\omega - \frac{b}{\omega} \right).
Now we note that p=bωp = \frac{b}{\omega} and q=cωq = c\omega. Consequently, we obtain
qpoa=2isin(2x), \frac{q-p}{o-a} = 2i \sin(2x),
which is clearly a pure imaginary number; that is, OAPQOA \perp PQ.

Fifth Solution: (By Lan Le) In this solutions, we set BC=aBC = a, AB=cAB = c, CA=bCA = b, A=BACA = \angle BAC, B=ABCB = \angle ABC, and C=BCAC = \angle BCA. We use the fact that
OAPQ if and only if AP2AQ2=OP2OQ2. OA \perp PQ \text{ if and only if } AP^2 - AQ^2 = OP^2 - OQ^2.
Clearly AP2AQ2=c2b2AP^2 - AQ^2 = c^2 - b^2. It remains to show that
OP2OQ2=c2b2.() OP^2 - OQ^2 = c^2 - b^2. \qquad (*)
In isosceles triangles APB and BOC, BP=2csinxBP = 2c \sin x and BO=a2sin(2x)BO = \frac{a}{2 \sin(2x)}. Note that PBA+ABC+CBO=90x+B+902x=180+B3x\angle PBA + \angle ABC + \angle CBO = 90^\circ - x + B + 90^\circ - 2x = 180^\circ + B - 3x. Applying the law of cosines to triangle PBO yields
OP2=4c2sin2x+a24sin2(2x)+accos(B3x)cosx. OP^2 = 4c^2 \sin^2 x + \frac{a^2}{4 \sin^2(2x)} + \frac{ac \cos(B - 3x)}{\cos x}.
In exactly the same way, we can show that
OQ2=4b2sin2x+a24sin2(2x)+abcos(C3x)cosx. OQ^2 = 4b^2 \sin^2 x + \frac{a^2}{4 \sin^2(2x)} + \frac{ab \cos(C - 3x)}{\cos x}.
Hence
OP2OQ2=4(c2b2)sin2x+acosx(ccos(B3x)bcos(C3x)).() OP^2 - OQ^2 = 4(c^2 - b^2) \sin^2 x + \frac{a}{\cos x} (c \cos(B - 3x) - b \cos(C - 3x)). \quad (\dagger)
Using Addition and Subtraction formulas and the law of sines (more precisely, csinB=bsinCc \sin B = b \sin C), we have
ccos(B3x)bcos(C3x)=ccos(3x)cosB+csin(3x)sinBbcos(3x)cosCbsin(3x)sinC=cos(3x)(ccosBbcosC). \begin{aligned} & c \cos(B - 3x) - b \cos(C - 3x) \\ = & c \cos(3x) \cos B + c \sin(3x) \sin B - b \cos(3x) \cos C - b \sin(3x) \sin C \\ = & \cos(3x)(c \cos B - b \cos C). \end{aligned}
Substituting the last equation into ()(\dagger) gives
OP2OQ2=4(c2b2)sin2x+cos3xcosx(accosBabcosC). OP^2 - OQ^2 = 4(c^2 - b^2) \sin^2 x + \frac{\cos 3x}{\cos x} (ac \cos B - ab \cos C).
Note that
accosBabcosC=c(acosB+bcosA)b(acosC+ccosA)=c2b2. ac \cos B - ab \cos C = c(a \cos B + b \cos A) - b(a \cos C + c \cos A) = c^2 - b^2.
Combining the last equations gives
OP2OQ2=(c2b2)(4sin2x+cos3xcosx). OP^2 - OQ^2 = (c^2 - b^2) \left( 4 \sin^2 x + \frac{\cos 3x}{\cos x} \right).
By the Triple-angle formulas, we have cos3x=4cos3x3cosx\cos 3x = 4 \cos^3 x - 3 \cos x, and so
OP2OQ2=(c2b2)(4sin2x+4cos2x3)=c2b2, OP^2 - OQ^2 = (c^2 - b^2)(4 \sin^2 x + 4 \cos^2 x - 3) = c^2 - b^2,
which is ()(*).

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.