Let $ABC$ be an acute triangle such that $\angle BAC > 45^{\circ}$ with circumcenter $O$. A point $P$ is chosen inside triangle $ABC$ such that $A, P, O, B$ are concyclic and the line $BP$ is perpendicular to the line $CP$. A point $Q$ lies on the segment $BP$ such that the line $AQ$ is parallel to the line $PO$. Prove that $\angle QCB = \angle PCO$.
Problem
Source: MEMO 2016 I3
Tags: geometry, geometry proposed, Circumcenter, perpendicular lines
24.08.2016 22:36
Lemma 1: Let $P, Q$ be points in the plane of $\triangle ABC$ and denote $R \equiv BP \cap CQ$ and $S \equiv BQ \cap CP.$ Let $\ell$ be the bisector of $\angle BAC.$ If $AP, AQ$ are symmetric in $\ell$, then $AR, AS$ are symmetric in $\ell.$ Proof of Lemma: By the Dual of Desargues' Involution Theorem, there exists an involution that swaps $(AB, AC), (AP, AQ), (AR, AS).$ Since $AB, AC$ and $AP, AQ$ are symmetric in $\ell$, this involution is reflection in $\ell.$ Hence $AR, AS$ are symmetric in $\ell.$ $\blacksquare$ Under inversion at $A$, we obtain the following corollary. Corollary: Let $P, Q$ be points in the plane of $\triangle ABC$ and denote by $R$ and $S$ the second intersections of $\odot(ABP), \odot(ACQ)$ and $\odot(ABQ), \odot(ACP).$ If $AP, AQ$ are symmetric in $\ell$, then $AR, AS$ are symmetric in $\ell.$ Lemma 2: Let $P, Q$ be isogonal conjugates WRT $\triangle ABC.$ Then $\measuredangle BPC + \measuredangle BQC = \measuredangle BAC.$ Proof of Lemma: By examining $\triangle BQC$, we have \[ \measuredangle BPC + \measuredangle BQC = \measuredangle BPC + \measuredangle QBC + \measuredangle BCQ = \measuredangle BPC + \measuredangle ABP + \measuredangle PCA = \measuredangle BAC, \]where the last step follows from examining quadrilateral $ABPC.$ $\blacksquare$ _______________________________________________________________________________________________________________________________________________ Main Proof: Let $Q^*$ denote the second intersection of $\odot(BOC)$ and $\odot(AB)$ and let $R$ be the projection of $B$ onto $CA.$ [asy][asy] /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki, go to User:Azjps/geogebra */ import graph; size(15cm); real labelscalefactor = 0.5; /* changes label-to-point distance */ pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */ pen dotstyle = black; /* point style */ real xmin = 986.0116416111047, xmax = 1050.644418161381, ymin = 1005.5633885945541, ymax = 1038.410036659076; /* image dimensions */ pen evevev = rgb(0.8980392156862745,0.8980392156862745,0.8980392156862745); pen evefev = rgb(0.8980392156862745,0.9372549019607843,0.8980392156862745); pen qqwuqq = rgb(0.,0.39215686274509803,0.); filldraw((1022.8755967577624,1008.9832696473198)--(1015.4581460706183,1034.955688720048)--(997.4329955912647,1008.9500547632905)--cycle, evevev); filldraw((1017.3503923938607,1011.1608433206842)--(1016.7274418937924,1011.1113041968306)--(1016.776981017646,1010.4883536967623)--(1017.3999315177143,1010.5378928206159)--cycle, evefev, qqwuqq); Label laxis; laxis.p = fontsize(10); xaxis(xmin, xmax,defaultpen+black, Ticks(laxis, Step = 2., Size = 2, NoZero),EndArrow(6), above = true); yaxis(ymin, ymax,defaultpen+black, Ticks(laxis, Step = 2., Size = 2, NoZero),EndArrow(6), above = true); /* draws axes; NoZero hides '0' label */ /* draw figures */ draw((1022.8755967577624,1008.9832696473198)--(1015.4581460706183,1034.955688720048)); draw((1015.4581460706183,1034.955688720048)--(997.4329955912647,1008.9500547632905)); draw((997.4329955912647,1008.9500547632905)--(1022.8755967577624,1008.9832696473198)); draw(circle((1006.4455708309415,1021.9528717416692), 15.820864762207327), linetype("2 2") + blue); draw(circle((1023.9955794471376,1023.3485075913463), 14.408831403448323), red); draw(circle((1019.1668714141904,1021.9694791836839), 13.505416757597919), linetype("2 2") + blue); draw(circle((985.4151911437672,1036.529549977224), 30.08415164158115), red); draw((1015.4581460706183,1034.955688720048)--(1017.3999315177143,1010.5378928206159)); draw((1010.1406864706545,1019.3916953613821)--(1017.3999315177143,1010.5378928206159)); draw((1022.8755967577624,1008.9832696473198)--(1016.9487027379275,1016.2120584526925)); draw((997.4329955912647,1008.9500547632905)--(1017.3999315177143,1010.5378928206159)); draw((997.4329955912647,1008.9500547632905)--(1016.9487027379275,1016.2120584526925)); /* dots and labels */ dot((1022.8755967577624,1008.9832696473198),linewidth(3.pt) + dotstyle); label("$A$", (1023.1592857450602,1007.8317221380233), E * labelscalefactor); dot((1015.4581460706183,1034.955688720048),linewidth(3.pt) + dotstyle); label("$B$", (1015.5883543077671,1035.434690063097), NE * labelscalefactor); dot((997.4329955912647,1008.9500547632905),linewidth(3.pt) + dotstyle); label("$C$", (996.8230495390679,1007.8317221380233), E * labelscalefactor); dot((1010.1406864706545,1019.3916953613821),linewidth(3.pt) + dotstyle); label("$O$", (1009.1074013264267,1019.3796019956849), NW * labelscalefactor); dot((1017.3999315177143,1010.5378928206159),linewidth(3.pt) + dotstyle); label("$P$", (1017.5326402021692,1011.0132808743178), NE * labelscalefactor); dot((1007.1756474018246,1015.7560398396774),linewidth(3.pt) + dotstyle); label("$Q^*$", (1006.691773397018,1014.636722768431), NW * labelscalefactor); dot((1016.9487027379275,1016.2120584526925),linewidth(3.pt) + dotstyle); label("$Q$", (1017.0612981671627,1016.3747965225178), NE * labelscalefactor); dot((1015.4920652065816,1008.9736305721863),linewidth(3.pt) + dotstyle); label("$R$", (1015.1759300271364,1007.8317221380233), E * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */ [/asy][/asy] Since $BR, BO$ are symmetric in the bisector of $\angle ABC$, the corollary for points $R, O$ and $\triangle ABC$ implies that $BP, BQ^*$ are symmetric in the bisector of $\angle ABC.$ Moreover, from $QA \parallel PO$, we infer that \[ \measuredangle BQ^*A + \measuredangle BQA = 90^{\circ} + \measuredangle BPO = 90^{\circ} + \measuredangle BAO = \measuredangle BCA. \]Hence, by Lemma 2, $Q^*$ is uniquely determined as the isogonal conjugate of $Q$ WRT $\triangle ABC.$ Thus, using $\measuredangle BQ^*C = \measuredangle BOC = 2\measuredangle BAC$, we obtain $\measuredangle BQC = -\measuredangle BAC$ by Lemma 2. $(\star)$ By $(\star)$ we have $\measuredangle PCQ = \measuredangle BQC - 90^{\circ} = \measuredangle OCB.$ Hence, $\measuredangle PCO = \measuredangle QCB$, as desired.
25.08.2016 23:29
Let $\measuredangle ABP=\beta$ and $\measuredangle QAB=\theta$ $\Longrightarrow$ $\measuredangle PAQ$ $=$ $\beta+\theta$, so from $PO\parallel AQ$ and $ABPO$ is cyclic we get $\measuredangle PAQ$ $=$ $\measuredangle PQA$ $=$ $\measuredangle OAB$ $=$ $\measuredangle OBA$ $=$ $\beta+\theta...(\star)$. Let $R\equiv BP\cap \odot (ABC)$ $\Longrightarrow$ $\measuredangle ARB$ $=$ $\measuredangle ACB$ $=90^{\circ}$ $-\beta$ $-\theta$, so from $\measuredangle AQB$ $=$ $\beta$ $+$ $\theta$ we get $\measuredangle QAR$ $=$ $90^{\circ}$, but by $(\star)$ we get $PA$ $=$ $PQ$, since $\measuredangle QAR$ $=$ $90^{\circ}$ and $PA$ $=$ $PQ$ we get $PA$ $=$ $PQ$ $=$ $PR$, since $CP\perp QR$ we get $ CQ$ $=$ $CR$ $\Longrightarrow$ $\measuredangle BAC$ $=$ $\measuredangle CRQ$ $=$ $\measuredangle CQR...(\star\star)$. Since $O$ is the circumcenter of $\odot (ABC)$ we get $\measuredangle OCB$ $=$ $90^{\circ}-\measuredangle BAC$. On the other hand, so from $(\star\star)$ we get $\measuredangle PCQ$ $=$ $90^{\circ}-\measuredangle PQC$ $=$ $90^{\circ}-\measuredangle BAC$ hence $\measuredangle OCB$ $=$ $\measuredangle PCQ$ $\Longrightarrow$ $\measuredangle PCO=\measuredangle QCB.$ [asy][asy] /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki, go to User:Azjps/geogebra */ import graph; size(23.00000000000088cm); real labelscalefactor = 0.5; /* changes label-to-point distance */ pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */ pen dotstyle = black; /* point style */ real xmin = 11.06000000000042, xmax = 34.06000000000130, ymin = 8.959999999999996, ymax = 20.57999999999999; /* image dimensions */ pen ttffqq = rgb(0.2000000000000002,1.000000000000000,0.000000000000000); pen ttzzqq = rgb(0.2000000000000002,0.6000000000000006,0.000000000000000); pen qqwuqq = rgb(0.000000000000000,0.3921568627450985,0.000000000000000); draw(arc((23.90550500080287,18.35457615823758),0.4000000000000153,-136.4774096047653,-74.53634663439797)--(23.90550500080287,18.35457615823758)--cycle, ttzzqq); draw(arc((20.03077221953434,14.67468747841660),0.4000000000000153,-18.41847257513349,43.52259039523501)--(20.03077221953434,14.67468747841660)--cycle, ttzzqq); draw((21.76304853559780,16.31985486560271)--(21.95782548832213,16.11476479103197)--(22.16291556289287,16.30954174375629)--(21.96813861016855,16.51463181832704)--cycle, ttzzqq); draw(arc((20.52000000000077,18.76000000000002),0.8000000000000307,-112.1354918781012,-96.82881285813616)--(20.52000000000077,18.76000000000002)--cycle, ttzzqq); draw(arc((20.52000000000077,18.76000000000002),0.8000000000000307,-72.48689513147279,-57.18021611150912)--(20.52000000000077,18.76000000000002)--cycle, qqwuqq); Label laxis; laxis.p = fontsize(10); xaxis(xmin, xmax,defaultpen+black, Ticks(laxis, Step = 1.000000000000000, Size = 2, NoZero),EndArrow(6), above = true); yaxis(ymin, ymax,defaultpen+black, Ticks(laxis, Step = 1.000000000000000, Size = 2, NoZero),EndArrow(6), above = true); /* draws axes; NoZero hides '0' label */ /* draw figures *//* special point *//* special point *//* special point */ draw(circle((21.76466970387325,14.81555808656031), 4.136160620701030), ttffqq); /* special point */ draw((20.52000000000077,18.76000000000002)--(25.42000000000095,12.88000000000002)); draw((25.42000000000095,12.88000000000002)--(18.12000000000068,12.86000000000001)); draw((18.12000000000068,12.86000000000001)--(20.52000000000077,18.76000000000002)); draw(circle((18.76244205369626,16.03680323239507), 3.241112551225615), ttffqq); /* special point */ draw((21.76466970387325,14.81555808656031)--(21.96813861016855,16.51463181832704)); draw((18.12000000000068,12.86000000000001)--(21.96813861016855,16.51463181832704)); /* special point *//* special point */ draw((21.96813861016855,16.51463181832704)--(25.42000000000095,12.88000000000002)); draw((25.42000000000095,12.88000000000002)--(23.90550500080287,18.35457615823758)); draw((25.42000000000095,12.88000000000002)--(20.03077221953434,14.67468747841660)); draw((20.03077221953434,14.67468747841660)--(20.52000000000077,18.76000000000002)); draw((20.52000000000077,18.76000000000002)--(23.90550500080287,18.35457615823758)); draw((20.52000000000077,18.76000000000002)--(21.76466970387325,14.81555808656031), blue); draw((21.21763084770065,16.84823988202693)--(21.04597418116171,16.79407357485410), blue); draw((21.23869552271231,16.78148451170623)--(21.06703885617337,16.72731820453340), blue); draw((21.96813861016855,16.51463181832704)--(20.52000000000077,18.76000000000002), red); draw((21.16843514965276,17.58853605131110)--(21.31970346051657,17.68609576701596), red); draw((21.76466970387325,14.81555808656031)--(18.12000000000068,12.86000000000001), blue); draw((20.01572747259746,13.77502138850733)--(19.93062428443326,13.93363238233906), blue); draw((19.95404541944068,13.74192570422126)--(19.86894223127647,13.90053669805299), blue); draw((21.76466970387325,14.81555808656031)--(25.42000000000095,12.88000000000002), blue); draw((23.60352002380747,13.94369511039214)--(23.51928720803209,13.78462018230305), blue); draw((23.66538249584212,13.91093790425728)--(23.58114968006674,13.75186297616818), blue); draw((20.03077221953434,14.67468747841660)--(21.96813861016855,16.51463181832704), red); draw((20.93747776801085,15.65991891048918)--(21.06143306169204,15.52940038625446), red); draw((21.96813861016855,16.51463181832704)--(23.90550500080287,18.35457615823758), red); draw((22.87484415864511,17.49986325039967)--(22.99879945232631,17.36934472616495), red); draw(arc((23.90550500080287,18.35457615823758),0.4000000000000153,-136.4774096047653,-74.53634663439797), ttzzqq); draw((23.81460462245209,18.02695271399756)--(23.78252213597534,17.91132091014814), ttzzqq); draw(arc((20.03077221953434,14.67468747841660),0.4000000000000153,-18.41847257513349,43.52259039523501), ttzzqq); draw((20.36264586160100,14.74857851780175)--(20.47977773527158,14.77465770817298), ttzzqq); draw(arc((20.52000000000077,18.76000000000002),0.8000000000000307,-112.1354918781012,-96.82881285813616), ttzzqq); draw((20.35414681898623,18.03882545639258)--(20.32725170855144,17.92187823310489), ttzzqq); draw((20.31586919668400,18.04871200267595)--(20.28276690425426,17.93336800310988), ttzzqq); draw(arc((20.52000000000077,18.76000000000002),0.8000000000000307,-72.48689513147279,-57.18021611150912), qqwuqq); draw((20.85246273923411,18.09888841560484)--(20.90637561586655,17.99168113164887), qqwuqq); draw((20.81668164894563,18.08207670110892)--(20.86479218661237,17.97214319318063), qqwuqq); /* dots and labels */dot((18.12000000000068,12.86000000000001),linewidth(0.7500000000000009pt) + dotstyle + invisible,UnFill(0)); label("$B$", (17.94000000000068,12.51999999999999), NE * labelscalefactor); dot((20.52000000000077,18.76000000000002),linewidth(0.7500000000000009pt) + dotstyle + invisible,UnFill(0)); label("$A$", (20.60000000000078,18.88000000000000), NE * labelscalefactor); dot((25.42000000000095,12.88000000000002),linewidth(0.7500000000000009pt) + dotstyle + invisible,UnFill(0)); label("$C$", (25.50000000000097,13.00000000000000), NE * labelscalefactor); dot((21.76466970387325,14.81555808656031),linewidth(0.7500000000000009pt) + dotstyle + invisible,UnFill(0)); label("$O$", (21.84000000000083,14.93999999999999), NE * labelscalefactor); dot((21.96813861016855,16.51463181832704),linewidth(0.7500000000000009pt) + dotstyle + invisible,UnFill(0)); label("$P$", (21.98000000000084,16.63999999999999), NE * labelscalefactor); dot((20.03077221953434,14.67468747841660),linewidth(0.7500000000000009pt) + dotstyle + invisible,UnFill(0)); label("$Q$", (19.74000000000075,14.75999999999999), NE * labelscalefactor); dot((23.90550500080287,18.35457615823758),linewidth(0.7500000000000009pt) + dotstyle + invisible,UnFill(0)); label("$R$", (23.98000000000091,18.47999999999999), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */ [/asy][/asy]
27.08.2016 05:47
From the conditions, $A,P,O,B$ lie on a circle in this order ($\alpha>45^\circ$). Need: $\angle PCQ=\angle BCO=90^\circ-\alpha$, same as $\frac{CP}{QP}=\tan \alpha$. $(1)$ $M$ and $N$: centers of $BPC$ and $APOB$, resp. $MN$ is perpendicular to their radical axis, $BP$. Also $OM\perp BC$ and $ON\perp AB$, so $\angle ONM=\angle ABP=\varphi$, $\angle OMN=\angle CBP=\theta$. From $\triangle OMN$, we have $\frac{OM}{ON}=\frac{\sin \varphi}{\sin \theta}$. $(2)$ Let $\rho$ be the radius of circle $APOB$ and $R$ be the circumradius. $\rho=\frac{AB}{2\sin AOB}=R\cdot \frac1{2\cos \gamma}$. Since $\angle PQA=\angle QPO=\angle BPO=\angle BAO=90^\circ-\gamma$, and $\angle BPA=2\gamma$, we get $QP=AP$, so $QP=AP=2\rho \sin \varphi=R\frac1{\cos\gamma}\sin\varphi$ $(3)$ but also $CP=BC\sin \theta=2R\sin \alpha\sin \theta$, $(4)$ $\frac{OM}{ON}=\frac{R\cos\alpha}{\rho}=2\cos\alpha\cos\gamma$. $(5)$ Now $(2-5)$ imply $(1)$, so done.
29.08.2016 05:43
Finally got around to solving this problem. Angle chasing gives $\angle AQP = 90 - \angle C$ and $\angle APB = \angle AOB = 2 \angle C$. This gives $PA=PQ$. Now if we set $R = BP \cap \omega$ ($\omega$ is the circumcircle of $\triangle ABC$) we have $\angle ARB = \angle C$, so $\triangle QAR$ is a right triangle. This gives $PQ=PR$, and it is easy to see that $CP \perp RQ$, so $\angle PCQ = 90 - \angle PRC = 90-\angle A = \angle OCB$, which gives the desired.
04.05.2019 16:37
A bit difficult. Let $M$ be the midpoint of $BC$ and let $O'$ be the circumcenter of $\triangle BQC$. Let $S$ and $T$ be the circumcenters of $\triangle APB, \triangle AQB$ respectively. As $$\angle AQB = 180^{\circ}-\angle BPO = 90^{\circ} + \angle C$$, we get that $\angle TAB =\angle C$ or $S$ is midpoint of $OT$. But $MS$ and $O'T$ are both perpendicular to $CP$, thus $M$ is the midpoint of $OO'$. Hence $\angle BQC = 180^{\circ}-\angle A$ so $\angle PCQ=90^{\circ}-\angle A$, implying the desired isogonality.
17.03.2024 16:20
$\textbf{Lemma}$ Define the projections of $P$ on $AB, AC$ as $X, Y$ and as $Z, W$ the projections of $Q$. Then $P, Q$ are isogonal conjugates wrt $\angle BAC$ if and only if $X, Y, Z, W$ are concyclic. Moreover the midpoint of $PQ$ is the center of this circle. The proof is a simple angle chasing exercise. The problem statement is equivalent with the isogonal conjugacy of $Q, O$ wrt $\angle PCB$. Let $M$ be the midpoint of $BC$ and $D$ be another intersection of $AQ$ with the circumcircle of $A, P, O, B$. Then $PQDO$ is a parallelogram. Denote $N$ as the intersection of its diagonals. By our lemma the statement is equivalent with showing that $ND = NP = NM$ which is equivalent to $\angle PMD = 90^{\circ}$. However, $PM= MC= MB$ and $PD = OB$ since $PODB$ is an isosceles trapezoid. By this observation also $\angle DPM = \angle OBM$, thus $\triangle OBM \equiv \triangle DPM$, hence $\angle PMD = \angle OMB = 90^{\circ }$.
19.03.2024 02:02
Elegant conjuring problem! Posting for storage. danepale wrote: Let $ABC$ be an acute triangle such that $\angle BAC > 45^{\circ}$ with circumcenter $O$. A point $P$ is chosen inside triangle $ABC$ such that $A, P, O, B$ are concyclic and the line $BP$ is perpendicular to the line $CP$. A point $Q$ lies on the segment $BP$ such that the line $AQ$ is parallel to the line $PO$. Prove that $\angle QCB = \angle PCO$. Observe that $\angle QAO=\angle POA = \angle PBA$ and $\angle PAO=\angle PBO$ hence $\angle PAQ = \angle OBA$. Likewise, $\angle PQA = \angle QAB+\angle QBA=\angle OAB-\angle OAQ+\angle PBA=\angle OAB$ since $\angle OAQ=\angle PBA$. Thus, $PA=PQ$, and so if we reflect $Q$ across $P$, we get point $R$ such that $\angle RAQ=90^{\circ}$, and $\angle ARB=\angle ARQ = 90^{\circ}-\angle AQP=90^{\circ}-\angle OAB=\angle C$, hence $R$ lies on the circumcircle of $ABC$. Since $CP \perp QR$, it follows that $\angle CQB=180^{\circ}-\angle CQP=180^{\circ}-\angle CRP=180^{\circ}-\angle CAB$ hence $\angle QCP=(180^{\circ}-\angle CAB)-90^{\circ} = 90^{\circ}-\angle CAB=\angle OCB$ so $CO, CQ$ are isogonal in angle $PCB$, which proves our claim.