Let $ ABCD$ be a trapezoid with parallel sides $ AB > CD$. Points $ K$ and $ L$ lie on the line segments $ AB$ and $ CD$, respectively, so that $AK/KB=DL/LC$. Suppose that there are points $ P$ and $ Q$ on the line segment $ KL$ satisfying \[\angle{APB} = \angle{BCD}\qquad\text{and}\qquad \angle{CQD} = \angle{ABC}.\]Prove that the points $ P$, $ Q$, $ B$ and $ C$ are concyclic. Proposed by Vyacheslev Yasinskiy, Ukraine
Problem
Source: IMO Shortlist 2006, Geometry 2, AIMO 2007, TST 1, P2
Tags: geometry, trapezoid, circumcircle, ratio, IMO Shortlist, homothety, Hi
29.06.2007 15:06
$AD$ and $BC$ intersect at $S$, $AP$ and $DQ$ intersect at $X$, $BP$ and $CQ$ intersect at $Y$, $BP$ and $CD$ intersect at $R$. Because $AB\parallel CD$, there exists a homothety taking $\triangle SAB$ to $\triangle SDC$. But $AK/KB=DL/LC$, so this homothety also takes $K$ to $L$, hence $S,L,K$ are collinear. The points $A,X,P$ are collinear by definition, so by Menelaos' theorem applied to $\triangle SQD$, we obtain \[\frac{QX}{XD}\frac{DA}{AS}\frac{SP}{PQ}=-1.\ \ \ \ \ \ \ \ (1) \] Also, $B,Y,P$ are collinear as well, so using Menelaos' theorem on $\triangle SCQ$, we obtain \[\frac{QY}{YC}\frac{CB}{BS}\frac{SP}{PQ}=-1.\ \ \ \ \ \ \ \ (2) \] But it follows from $AB\parallel CD$ that \[\frac{DA}{AS}=\frac{CB}{BS}\ \ \ \ \ \ \ \ (3) \] so combining (1), (2), (3), we obtain \[\frac{QX}{XD}=\frac{QY}{YC}\] so $XY\parallel CD$. From $XY\parallel CD$, it follows that $\angle CRY=\angle RYX$, and since $\angle XPY=\angle APB=\angle BCD=\angle BCR$, the triangles $XPY$ and $BCR$ are similar, so \[\angle PXY = \angle RBC=\angle PBC.\ \ \ \ \ \ \ \ (4) \] Also, $\angle XPY=\angle APB = \angle BCD = \pi-\angle ABC = \pi-\angle CQD =\pi-\angle YQX$, so $XPYQ$ is a cyclic quadrilateral. It follows that \[\angle PXY=\angle PQY=\angle PQC.\ \ \ \ \ \ \ \ (5) \] From (4) and (5), we conclude that $\angle PBC=\angle PQC$, so $PQBC$ is a cyclic quadrilateral. $\Box$
29.06.2007 15:40
I think the proof that XY||CD can also be done with Desargue's theorem
30.06.2007 10:25
$ \angle CQD=\angle ABC=\angle DCS$ hence circumcircle of $ CQD$ is tangent to $ SC$. $ \angle APB=180^{\circ}-\angle CQD=DP'C$ hence $ CP'\parallel BP\ ,\ DP'\parallel AP$ so $ \angle BQP=\angle CP'Q=\angle QCB$. now we're done.
Attachments:

01.07.2007 00:56
Draw line parallel to $ AP$ from $ D$ and line parallel to $ BP$ from $ C$. Since $ \frac{DL}{LC}=\frac{AK}{BK}$ they meet in point $ R$ on line $ KL$. Then $ \angle DRC = \angle APB = 180^\circ-\angle DQC$ so quadrilateral $ QDRC$ is cyclic. So $ \angle DRQ = \angle DCQ$ and since $ \angle DRC = \angle APB = \angle DCB$ we also have $ \angle QRC = \angle QCB$. But $ \angle QRC = \angle KPB = 180^\circ-\angle BPQ$ and we are done.
03.07.2007 03:42
In a similar vein to Amir, first note that the ratio condition means that $ PQ$, $ BC$, and $ AD$ concur (call the point of concurrence $ E$). Now we start with $ A,B,C,D,E$ and determine where $ P$ and $ Q$ could be. Construct $ \omega$ through $ C$ and $ D$ tangent to $ EB$, and $ \omega '$ through $ B$ and $ A$ tangent to $ EB$. Note that $ P$ must lie on $ \omega$, and $ Q$ on $ \omega '$, because these two circles are the locuses of points such that $ \angle CQD = \angle CBA$, and such that $ \angle BPA = \angle BCD$. Since $ PQ$ goes through $ E$, we can draw a line $ l$ from $ E$ to attain any candidate points $ P$ and $ Q$ by noting where $ l$ intersects $ \omega$ and $ \omega '$. Let $ P'$ be the intersection of $ l$ with $ \omega$ that is not $ Q$. By power of a point, $ (EP')(EQ) = (EC)^{2}$. But $ \omega$ and $ \omega '$ are homothetic with ratio $ \frac{BE}{CE}$, thus $ \frac{EP}{EP'}= \frac{BE}{CE}$, so $ (EP)(EQ) = (EC)(EB)$, so that $ PQBC$ is cyclic by the converse of Power of a Point.
20.01.2009 15:44
Assume that AD intersect BC at S. Easy to see that S is center of ray (CDQ) and (APB). We get: S, P, Q is conlinear and SCB is common targent of (APB) and (CDQ). Hence, easy to finish problem ( Denote that (XYZ) is circumcenter of triangle XYZ)
28.01.2009 15:45
Assume that $ AD$ intersect $ BC$ at $ S$. Easy to see that $ S$ is center of ray $ (CDQ)$ and $ (APB)$. We get: $ S, P, Q$ is conlinear and $ SCB$ is common targent of $ (APB)$ and $ (CDQ)$. Hence, easy to finish problem ( Denote that $ (XYZ)$ is circumcenter of $ \Delta XYZ$)
04.04.2010 18:50
Let $ X$ be the intersection of lines $ AD$ and $ BC$; the problem's conditions tell us that $ K$, $ L$, and $ X$ are collinear. Let $ Q'$ be the intersection (distinct from $ P$) of the circumcircle of $ BPC$ and line $ KL$, and let $ m \angle ABP = a$, $ m \angle PBC = b$, $ m \angle BCQ' = c$, and $ m \angle Q'CD = d$. Clearly, showing that $ Q' = Q$ finishes the proof. Since $ BPQ'C$ is cyclic, $ m \angle KPB = c$, so by definition $ m \angle APK = d$. Note that since $ ABCD$ is a trapezoid, $ a + b + c + d = 180^{\circ}$, so $ m \angle PAB = b$. Let the homothety centered at $ X$ that brings $ AB$ to $ CD$ bring $ P$ to $ P'$. We trivially have that $ m \angle APK = m \angle DP'K = d$. On the other hand, $ m \angle Q'CD = d$, so $ Q'CP'D$ is cyclic. Therefore, $ m \angle DQ'C = 180 - m \angle DP'C = 180 - d - c = a + b = m \angle ABC$. Since there exists a unique point $ Q$ such that $ m \angle DQC = m \angle ABC$, we have that $ Q = Q'$, as desired.
05.07.2010 22:37
Solution Let $X=AD \cap BC$. From the condition, we have that $X$ is the center of homothety that maps $L$ to $K$ and therefore $X$, $L$ and $K$ are collinear. Consider the homothety that maps $D$ to $A$, $C$ to $B$ and $Q$ to $Y$. Because $\angle{APB}+\angle{AYB}=\angle{ABC}+\angle{BCD}=180$, we have that $APBY$ is cyclic. Hence, \[\angle{QPB}=\angle{YPB}=\angle{YAB}=\angle{QDC}=180-\angle{DQC}-\angle{DCQ}=\angle{QCB}\] Hence $PQBC$ is cyclic.
06.03.2011 10:37
Let $AP \cap QD = M, BP \cap QC = N$. Also, let $l$ be a line passing through $M$, parallel to $AB,CD$ and meeting the lines $PB,QC,PQ$ at $N',N'',Z$ respectively. Finally, let $X$ be a point on $BC$ on the opposite side of $CD$ as $B$ and $Y$ be a point on $BC$ on the opposite side of $AB$ as $C$. We have, \[\angle APB = \angle BCD = \angle YBA\] since $AB || CD$. This implies that the line $BC$ is tangent to the circle $\cdot (PAB)$ at $B$. Therefore, $\angle PBC = \angle PAB$. Also, note that \[\angle MPN = \angle APB = \angle BCD = 180^{\circ} - \angle ABC = 180^{\circ} - \angle DQC = 180^{\circ} - \angle MQN\] Therefore, $M,P,N,Q$ are concyclic. Thus, $\angle PQN = \angle PMN$. Thus, \[BCPQ \text{ is cyclic} \iff \angle PBC = \angle PQN \iff \angle PAB = \angle PMN\] So, it suffices to prove that $MN || AB$. Suppose the contrary, and thus $N' \not = N''$. But then, since $MN'' || CD || AB$ therefore, \[\frac{MZ}{ZN''}=\frac{DL}{LC} = \frac{AK}{KB} = \frac{MZ}{ZN'}\] a contradiction.
08.07.2011 23:35
Attachments:
09.07.2011 03:08
Zhero wrote: Let $ X$ be the intersection of lines $ AD$ and $ BC$; the problem's conditions tell us that $ K$, $ L$, and $ X$ are collinear. Let $ Q'$ be the intersection (distinct from $ P$) of the circumcircle of $ BPC$ and line $ KL$, and let $ m \angle ABP = a$, $ m \angle PBC = b$, $ m \angle BCQ' = c$, and $ m \angle Q'CD = d$. Clearly, showing that $ Q' = Q$ finishes the proof. Since $ BPQ'C$ is cyclic, $ m \angle KPB = c$, so by definition $ m \angle APK = d$. Note that since $ ABCD$ is a trapezoid, $ a + b + c + d = 180^{\circ}$, so $ m \angle PAB = b$. Let the homothety centered at $ X$ that brings $ AB$ to $ CD$ bring $ P$ to $ P'$. We trivially have that $ m \angle APK = m \angle DP'K = d$. On the other hand, $ m \angle Q'CD = d$, so $ Q'CP'D$ is cyclic. Therefore, $ m \angle DQ'C = 180 - m \angle DP'C = 180 - d - c = a + b = m \angle ABC$. Since there exists a unique point $ Q$ such that $ m \angle DQC = m \angle ABC$, we have that $ Q = Q'$, as desired. You also need to prove that $~$ $ Q' $ $~$ is on the same side of $~$ $ CD $ $~$ as $~$ $ A, \, B, \, P $ $~$ and $~$ $ Q. $
03.07.2013 07:45
04.07.2013 11:04
Remark: If $X\in CD\cap AP, Y\in AB\cap DQ$, then $BCXPQY$ is cyclic. Best regards, sunken rock
03.01.2014 07:10
Clearly lines $AD$, $BC$, and $PQ$ concur at a point $E$. Consider the homothety centered at $E$ sending $DC$ to $AB$. Let $Q'$ be the image of $Q$ under this homothety. Since $\angle APB + \angle AQ'B = \angle DCB + \angle CBA = 180^\circ$, we have that quadrilateral $APBQ'$ is cyclic. Hence, $\angle CBP = \angle ABC - \angle ABP = \angle DQC - \angle AQ'P = \angle DQC - \angle DQE = \angle EQC$, implying that $PQCB$ is cyclic.
08.10.2014 16:17
Obviously, $BC,AD,KL$ concur say at a point $X$ Consider the homothety centred at $X$ which maps $C \to B$ Let this be called $H_X$ $\implies H_X:D \to A$ and $H_X:L \to K$ Let $H_X:Q \to Q'$ Then $\frac{XQ}{XQ'}=\frac{XC}{XB}$ Observe (quite obviously) $PAQ'B$ is cyclic and call it's circumcircle $\omega$ Then it is to prove (Using alternate segment theorem) that $XB$ is tangent to $\omega$ $\implies XB^2=XP \cdot XQ'$ (using power of a point) But $XQ'=\frac{XB \cdot XQ}{XC}$ $\implies XC \cdot XB = XP \cdot XQ$ $\implies PQBC$ is concyclic
14.01.2015 01:27
Here is a quick solution: Let $AD$ and $BC$ meet at $X.$ Then since $AB \parallel CD$, we easily deduce that $\triangle XAB \sim \triangle XDC.$ Then a homothety with center $X$ takes $A$ to $D$ and $B$ to $C.$ But since homothety preserves ratios, and $\frac{KA}{KB} = \frac{LD}{LC}$, where $K \in \overline{AB}$ and $L \in \overline{CD}$, we deduce that $L$ is the image of $K$ under this homothety. Therefore, $X, K, L$ are collinear. Now, let $R = AP \cap DQ, S = BP \cap CQ.$ Then since $AR, BS, XQ$ all intersect at one point $P$, it follows that the triangles $\triangle ABX$ and $\triangle RSQ$ are in perspective. Then by Desargue's Theorem, we know that $AB \cap RS, C = BX \cap SQ, D = XA \cap QR$ are collinear. Therefore, $AB \cap RS$ must line on $CD.$ But since $AB \parallel CD$, it follows that $RS \parallel CD$ as well. Now, since $\angle RPS = \angle APB = \angle BCD$ and $\angle RQS = \angle DQC = \angle ABC$, we deduce that \[\angle RPS + \angle RQS = \angle BCD + \angle ABC = 180^{\circ}\] where the last step follows since $AB \parallel CD.$ This implies that quadrilateral $RPSQ$ is cyclic. Therefore, $\angle RPQ = \angle RSQ = \angle DCQ$, where the last step follows from $RS \parallel CD.$ Finally, we have that \[\angle RPQ = \angle DCQ \implies \angle APB - \angle RPQ = \angle BCD - \angle DCQ\]\[\implies \angle QPB = \angle QCB\] and we are done. $\square$
26.01.2015 07:47
Let $AD \cap BC=X$ and $KX \cap DC=L'$ Then $\frac {DL'}{AK}=\frac {XL'}{XK}=\frac {CL'}{BK}$ $\implies \frac {AK}{KB}=\frac {DL'}{CL'}=\frac {DL}{CL}$ $\implies L' \equiv L$ Let $J$ be a point on $KX$ such that $DJ || AP$ Then $\frac {DX}{AD}=\frac {XJ}{XP}=\frac {XC}{XB}$ $\implies JC || BP$ $\implies \angle {DJC}=\angle {APB}=\angle {BCD}=\pi - \angle {ABC}=\pi - \angle {CQD}$ $\implies D,Q,C,J$ are concyclic. $\implies \angle{PQC}=\angle{JDC} =\angle{PAB}=\pi-\angle{APB}-\angle{ABP}=\angle{PBC}$ $\implies P,Q,B,C$ are concyclic.
26.01.2015 16:22
Let the homothety taking $AB \mapsto CD$ take $P \mapsto P'$. Then, $QAP'B$ is concyclic. Hence $\angle QCB = \angle APB - \angle QCD = \angle APB - \angle DP'Q = \angle QPB$.
28.10.2023 08:45
The ratio condition shows us that lines $AD$, $KL$, and $BC$ are concurrent at a point $E$. We see that \[\angle BCD = 180^\circ-\angle ABC = 180^\circ - \angle CQD = \angle QCD+\angle QDC\]\[\implies \angle QCB = \angle QDC\] This implies that $\overline{BC}$ is tangent to $(QCD)$ and similarly, $\overline{BC}$ is tangent to $(PBA)$. It is quite obvious that the homothety with center $E$ sending $(QCD)$ to $(PBA)$ sends $\triangle XCD$ to $\triangle PBA$. We can also see now that $\triangle PBK \sim \triangle XCL$. Thus, \[\angle BPK = \angle CXL = \angle CDQ = \angle BCQ. \ \square\] [asy][asy] /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */ import graph; size(10cm); 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 = -9.171891661023771, xmax = 22.993523977384896, ymin = -7.353274410082076, ymax = 12.500718903791956; /* image dimensions */ /* draw figures */ draw((0,0)--(10,0), linewidth(1)); draw((10,0)--(9,5), linewidth(1)); draw((9,5)--(4,5), linewidth(1)); draw((4,5)--(0,0), linewidth(1)); draw((6,5)--(4,0), linewidth(1)); draw((0,0)--(5.624137931034483,4.060344827586206), linewidth(1)); draw((5.624137931034483,4.060344827586206)--(10,0), linewidth(1)); draw((4,5)--(4.982068965517241,2.4551724137931035), linewidth(1)); draw((4.982068965517241,2.4551724137931035)--(9,5), linewidth(1)); draw((5.624137931034483,4.060344827586206)--(9,5), linewidth(1)); draw((4.982068965517241,2.4551724137931035)--(10,0), linewidth(1)); draw((4,5)--(8,10), linewidth(1)); draw((8,10)--(9,5), linewidth(1)); draw((6,5)--(8,10), linewidth(1)); draw(circle((6.5,4.502861788617887), 2.5489500585959313), linewidth(1)); draw(circle((5,-1.0004140127388537), 5.09910072433211), linewidth(1)); draw((4,5)--(6.8130081300813,7.032520325203251), linewidth(1)); draw((6.8130081300813,7.032520325203251)--(9,5), linewidth(1)); /* dots and labels */ dot((0,0),dotstyle); label("$A$", (-0.39817139361594256,0.0879583275756429), NE * labelscalefactor); dot((10,0),dotstyle); label("$B$", (10.098160673030437,0.0879583275756429), NE * labelscalefactor); dot((9,5),dotstyle); label("$C$", (9.100594832504903,5.080118404362469), NE * labelscalefactor); dot((4,5),dotstyle); label("$D$", (3.588434755718077,5.080118404362469), NE * labelscalefactor); dot((4,0),dotstyle); label("$K$", (4.088434755718077,0.0879583275756429), NE * labelscalefactor); dot((6,5),dotstyle); label("$L$", (6.107897310928303,5.080118404362469), NE * labelscalefactor); dot((5.624137931034483,4.060344827586206),dotstyle); label("$P$", (5.768603324381753,4.251214312155254), NE * labelscalefactor); dot((4.982068965517241,2.4551724137931035),dotstyle); label("$Q$", (4.88600059624361,1.795376617650737), NE * labelscalefactor); dot((8,10),linewidth(4pt) + dotstyle); label("$E$", (8.10302899197937,10.189285858671818), NE * labelscalefactor); dot((6.8130081300813,7.032520325203251),linewidth(4pt) + dotstyle); label("$X$", (6.910816158180562,7.170919211254377), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */ [/asy][/asy]
29.11.2023 05:41
Let $\measuredangle $ denote directed angles $\text{Mod } 180^\circ$ Let $BC \cap AD=X$ Note that a homothety about $X$ sends $K$ to $L$ . By the angle conditions $(APB)$, and $(DQC)$ are tangent to $BC$. Let $P \neq (ABP)\cap KL=J$. Since a homothety sends $\triangle JAB$ to $\triangle DQC$ about $X$. $$\measuredangle QPB = \measuredangle JPB = \measuredangle JBC = \measuredangle QCX= \measuredangle QCB$$Hence $PQBC$ is cyclic. $\square$
14.12.2023 04:57
The ratio condition tells us $AD$, $BC$, and $KL$ concur at a point, say $O$. The given angle condition tells us $(PAB)$ and $(QCD)$ are both tangent to $AB$ at $B$ and $C$, respectively. Thus we notice a homothety at $O: (PAB) \rightarrow (QCD)$. Suppose we denote $G = (PAB) \cap KL \neq P$. Our homothety induces parallel lines $CQ$ and $BG$, and hence \[\measuredangle PQC = \measuredangle PGB = \measuredangle PBC. \quad \blacksquare\]
20.03.2024 17:21
A nice problem! Suppose $(PCB)$ intersects $KL$ at $Q'$. It suffices to show that $\angle CQ'D = \angle ABC$. Now observe that $$\angle Q'CK = \angle BCD - \angle BCQ' = \angle APB - \angle LPB = \angle APL.$$But $\angle CKQ' = \angle ALP$, then by AA Similarity, $\triangle Q'CK \sim \triangle APL.$ Then we obtain the relation $\frac{Q'K}{AL} = \frac{CK}{PL}$. But by trapezoid properties and the given side length ratio, we also have $\frac{AL}{DK} = \frac{BL}{CK}$. Multiplying these two ratios together yields $\frac{Q'K}{DK} = \frac{BL}{PL}.$ But $\angle Q'KD = \angle BLD$, so by SAS Similarity, $\triangle Q'KD \sim \triangle BLP$. So $$\angle KQ'D = \angle LBP \implies \angle CQ'D = \angle CQ'P + \angle KQ'D = \angle CBP + \angle LBP = \angle ABC.$$Our proof is complete.
13.04.2024 07:46
Let's restate the problem in a more natural reference frame. Let $\triangle EAB$ be a triangle and $C$ and $D$ on sides $BE$ and $AE$ respectively such that $CD\parallel AB$. Let $\ell$ be a cevian of $\triangle EAB$ through $E$. Let $P$ and $Q$ be on $\ell$ such that $(ABP)$ and $(CDQ)$ are both tangent to $EB$. We wish to show that $CBPQ$ is cyclic. Let $\ell$ intersect $(CDQ)$ againt at $P'$ and $(APB)$ again at $Q'$. Note that a homothety at $E$ sends $P'$ to $P$ and $Q$ to $Q'$. Thus, by this homothety, $$EP\cdot EQ=EP'\cdot EQ'.$$Finally, by the circumcircle tangencies, $$EC^2=EP'\cdot EQ,EB^2=EP\cdot EQ'$$$$(EB\cdot EC)^2=(EP\cdot EQ)\cdot (EP'\cdot EQ')$$$$EB\cdot EC=EP\cdot EQ,$$as desired. remark: there are three main ideas used in this solution. First and most importantly, we stated the problem in a much more natural reference frame that allows us to think about it much more easily. Then, the "considering the conjugate" idea is also used. Since we have a line and a circle with one marked intersection, we also added in the other intersection to our diagram. Finally, this problem demonstrates another example of "power flipping", which in essence is multiplying one of the two lengths in a power expression by some ratio and dividing the other by the same ratio to get an equivalent power. This was really what was being done with $P,Q,P',Q'$ here.
09.05.2024 08:53
Define $AD \cap BC = E$, $BP \cap CQ = X$, and $AP \cap DQ=Y$. Claim 1. $E,L,K$ are collinear Proof. Let $EL \cap AB = K`$, since $AB \parallel CD$ we have $\triangle EDL \sim EAK`$ and $\triangle ECL \sim \triangle EBK`$. Using the similarity condition, we get $$\frac{DL}{AK}=\frac{EL}{EK`}=\frac{LC}{K`B}$$Since $\frac{DL}{LC}=\frac{AK}{KB} \Rightarrow \frac{DL}{AK}=\frac{LC}{KB}$, we must have $KB=K`B$. Because both $K$ and $K`$ are on $\overline{BC}$, we must have $K`=K$. As desired. Claim 2. $Q,X,P,Y$ are concyclic Proof. Note that $X$ and $Y$ are on a different side wrt $QP$. Since $ABCD$ is a trapezoid, and by using the angle condition in the problem we have $$\angle XPY = \angle APB = \angle BCD = 180^{\circ} - \angle ABC = 180^{\circ} - \angle CQD = 180^{\circ} - \angle XQY$$$$ \Rightarrow \angle XPY = 180^{\circ} - \angle XQY \Rightarrow \angle XPY + \angle XQY = 180^{\circ}$$As desired. Now, note that $E$ is the center of perspective of $\triangle APB$ and $\triangle DQC$. By the special case of Desargues Theorem which is when $AB \parallel CD$, we have $XY \parallel AB,CD$. Since $Q,X,P,Y$ are concyclic and $XY \parallel CD$, we have $$\angle CDQ = \angle CDY = \angle CYX = \angle QYX = \angle QPX = 180^{\circ} - \angle QPB$$$$\angle CDQ = 180^{\circ} - \angle QPB \Rightarrow \angle QPB = 180^{\circ} - \angle CDQ$$Since $AB\parallel CD$, we have $\angle CQD = \angle ABC = \angle ECD \Rightarrow \angle ECD = \angle CQD$. And then we have, $$\angle QCB = 180^{\circ} - \angle ECD - \angle DCQ = 180^{\circ} - \angle CQD - \angle DCQ = \angle CDQ$$$$\Rightarrow \angle QCB = \angle CDQ \Rightarrow \angle QCB + \angle QPB = \angle CDQ + 180^{\circ} - \angle CDQ= 180^{\circ}$$$$\Rightarrow \angle QCB + \angle QPB = 180^{\circ}$$Note that $Q$ and $P$ are on the same side wrt $BC$, thus $P,Q,C,B$ are concyclic. As desired.
10.05.2024 01:02
Nice geo It is easily seen by Alternate Segment Theorem that $(APB)$ and $(CQD)$ are tangent to $BC$. The ratio condition gives $KL$, $BC$, $AD$, concurrent at a point $E$ (This is well known). Let $KL$ intersect $(APB)$ at $X$ and $(CQD)$ at $Y$. By Power of a Point, $EP\times EX=EB^2$, and $EQ\times EY=EC^2$. Multiplying these together, $EP\times EQ\times EX\times EY=EB^2\times EC^2$. We claim $EX\times EY=EB\times EC$. But this is true by Power of a Point, as a homothety taking $(APB)$ to $(CQD)$ (Possible by Parallel lines and tangency), gives $CQ \parallel BX$, hence \[\angle BXE=\angle CQE=\angle ECY\]by Alternate Segment Theorem, so $BCYX$ is cyclic. This gives $EP\times EQ=EB\times EC$ so we conclude by converse of Power of a Point.
28.07.2024 23:41
Let $M = AD \cap BC$. Then, suppose $R = MK \cap (CQD)$. Notice that $\angle CQD = \angle MCD$, so $(CQD)$ and $(APB)$ are tangent to $MB$ at $C$ and $B$, respectively. Thus, $\triangle MCR \sim \triangle MBP$. Now, note that \[ MC \cdot MB = MC^2 \cdot \dfrac{MB}{MC} = \left(MR \cdot MQ\right) \cdot \dfrac{MP}{MR} = MQ \cdot MP. \]So, $P$, $Q$, $B$, $C$ are concyclic points, as desired.
31.07.2024 05:08
Let F be the intersection of AP and DQ and E be the intersection of PB and QC. Claim: $FE$ is parallel to $AB,DC.$ Proof: Suppose not, let $E$ be higher than $F.$ Draw the points $F',E'$ such that $E'F'$ is parallel to $AB$ and goes through $G.$ Observe as $F$ lies on $PA$ and $E$ lies on $PB$ we have: \[\dfrac{FG}{EG}=\dfrac{[FPG]}{[EPG]}>\dfrac{[F'PG]}{[E'PG]}=\dfrac{F'G}{E'G}=\dfrac{AK}{KB}.\]Analogously, $\dfrac{FG}{EG}<\dfrac{DL}{LC}=\dfrac{AK}{KB}$ forming a contradiction so $EF$ is parallel to $AB.$ Let $\angle DCB= \angle 1,$ $\angle DQC=\angle 2.$ Then observe $PEFQ$ is cyclic as $P,Q$ sum to $180^\circ.$ Then we have \[\angle QCB=\angle 1 - \angle DCQ = \angle 1 - \angle FEQ = \angle 1 - \angle FPQ = \angle KPB = \angle QPB\]so $QPCB$ is cyclic.
11.08.2024 19:21
Notice that the length condition translates to $AD$, $KL$, and $BC$ being concurrent as some point $E$. Additionally, the angle conditions imply that $(DQC)$ and $(ABE)$ are tangent to $EB$ at $C$ and $B$, respectively. Denote $EP \cap (DQC) = X$.Therefore, for $PQBC$ to be cyclic, we must prove that $\angle PQC = \angle CBP$. But $\angle PQC = \angle XDC$ by inscribed angles and similarly $\angle CBP = \angle PAB$. Therefore, we must prove that $\angle XDC = \angle PAB$, which is clear from a homothety centered at $E$ which takes $(RDC)$ to $(PAB)$ so we are done.
22.08.2024 18:50
Feel like i fakesolved cuz i never realized BC tangent to the circumcircles? :skull: Construct point $X$ on line $LK$ outside of $ABCD$ such that $\angle DXC \cong \angle APB$. Note that because of the ratio condition, we have a homothety between $\triangle DXC$ and $\triangle APB$. Then, we have that $DXCM$ is cyclic, so $\angle DMX \cong \angle DCX \cong \angle PBA$. However, $\angle DMC \cong \angle CBA$ so $\angle CBP = \angle CBA - \angle PBA \implies \angle CBP \cong \angle CML$. Therefore, $\angle PBC = 180- \angle PMC$ so we are done.
01.09.2024 08:33
Let $BC \cap AD = F$. Then $F = BC \cap AD$ is the center of the homothety $\Psi$ sending $CD$ to $AB$. Then let $P' = \Psi^{-1}(P)$ and $\Psi(Q) = Q'$. Notice that since $\angle BPA = \angle CP'D = \angle BCD = 180^\circ - \angle CBA = 180^{\circ} - \angle CQD$ which implies that $P' \in (CQD)$. Similarly, we get that $Q' \in (APB)$. Also, since $\angle FCD = \angle CQD$ we have that $FC$ is tangent to $(CQD)$ and similarly $FB$ tangent to $(ABP)$. Then by PoP we get that $FC^2 = FP' \cdot FQ$ and $FB^2 = FP \cdot FQ' = FB^2$. Notice that $FP' \cdot FQ' = FP \cdot FQ$ by the homothety so by multiplying our previous two equations together we get that $(FB \cdot FC)^2 = (FP \cdot FQ)^2$ which implies that $FP \cdot FQ = FC \cdot FB$. So $CPQB$ cyclic by PoP, so we are done.
09.09.2024 18:58
Similar to everyone else's, also not too hard imo. $\textbf{Construction:}$ Let $AD \cap BC=E$. $\textbf{Angle Chasing I:}$ $(APB)$ and $(CQD)$ are tangent to line $BC$, this is because $\measuredangle APB=\measuredangle ABE$ and $\measuredangle CQD = \measuredangle ECD.$ $\textbf{Homothety:}$ A homothety with center $E$ sending $K$ to $L$. Let $(ABP)\cap KL=R\neq P$. The same homothetic map $\triangle QDC\mapsto \triangle RAB$. $\textbf{Angle Chasing II:}$ $\angle BCQ=\angle CDQ =\angle BAR=\angle BPR$. So $\odot(PQBC)$ and we are done!
16.10.2024 12:44
The first step is to find a more natural way to think about the angle conditions. Let $AD$ and $BC$ intersect at $E$. Note that the $\frac{AK}{KB} = \frac{DL}{LC}$ condition is equivalent to $E, L, K$ being collinear by the homothety centered at $E$ taking $DC$ to $AB$. Further, a simple angle chase shows that the angle conditions for $P$ and $Q$ are equivalent to $BC$ being tangent to $(APB)$ and $(CQD)$. Then, power of a point seems like the most hopeful way to show that $P, Q, B, C$ are concyclic (because we have tangents, proportional lengths, and we would like to use the $E-L-P-Q-K$ collinearity somehow). Note that $EC^2 = EF \cdot EQ$ and $EB^2 = EP \cdot EG$. Hence $EC \cdot EB = \sqrt{EF \cdot EQ \cdot EP \cdot EG} = \sqrt{(\frac{1}{\cancel{k}} \cdot EP) \cdot EQ \cdot EP \cdot (\cancel{k} \cdot EQ)} = EP \cdot EQ$ where $k$ is the scale factor of the homothety. We are done.
13.01.2025 02:41
By homothety, observe that $AD, KL, BC$ concur at a point $R.$ In addition, draw $(APB)$ and $(DQC).$ Notice that $\angle APB = \angle DCB = 180^\circ - \angle DBP,$ so it follows that $BC$ is tangent to $(APB).$ Also, $\angle DQC = \angle ABR = \angle DCR$ so $BC$ is also tangent to $(DQC).$ Now, let $RK$ intersect $DC$ at $P'.$ By homothety it follows that $PB \parallel P'C,$ so $$\angle PBC = \angle P'CR = \angle P'QC = \angle PQC,$$and thus the desired result follows. QED
Attachments:
