Poland 2017 P1

Art of Problem Solving

AoPS Online

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

w

19 users

TOPICS

No tags match your search

M

No tags match your search

M

Poland 2017 P1

G H J

Reveal topic tags

geometry solved

Spiral Similarity

cyclic quadrilateral

L

G H BBookmark kLocked kLocked NReply

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

340 posts

j___d

#1 h Apr 4, 2017, 9:07 PM • 2 Y

Y by Adventure10, Mango247

Points $P$ and $Q$ lie respectively on sides $AB$ and $AC$ of a triangle $ABC$ and $BP=CQ$ . Segments $BQ$ and $CP$ cross at $R$ . Circumscribed circles of triangles $BPR$ and $CQR$ cross again at point $S$ different from $R$ . Prove that point $S$ lies on the bisector of angle $BAC$ .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

MathStudent2002

934 posts

MathStudent2002

#2 h Apr 4, 2017, 9:34 PM • 2 Y

Y by ILIILIIILIIIIL, Adventure10

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

90 posts

#3 h Apr 5, 2017, 11:50 AM • 1 Y

Y by Adventure10

........

This post has been edited 2 times. Last edited by mamouaz1, Apr 5, 2017, 12:31 PM
Reason: ......

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

6 posts

#4 h Apr 6, 2017, 7:17 AM • 2 Y

Y by Adventure10, Mango247

Hii
there is a lemma that I call it the Key Lemma.
Lemma :

Let S be a point out of the triangle ABC . Then we have : $Sin <BAS / Sin <SAC =( Sin <ABS / Sin <ACS) * BS / CS.$

Proof:
$Sin <BAS / BS = Sin <ABS / AS.$

$Sin <SAC / CS = Sin <ACS / AS.$

SO : $Sin <BAS / Sin <SAC =( Sin <ABS / Sin <ACS) * BS / CS.$

Now let's back to the question.

We have to prove that Sin<BAS = Sin <SAC. So we use the Lemma in ABSQ.
We know :
$Sin <BAS / Sin <SAQ = (Sin <ABS / Sin <AQS) * BS/SQ.$
$<ABS = <SRC = <SQC = 180 - <AQS => Sin <ABS = Sin <AQS.$

So we have to prove $BS=QS.$
$<PSB = <PRB = <QRC = <QSC.$
$<CQS = <CRS = <PBS .$
And we know $BP=CQ.$

So $PBS = CQS => BS = QS.$ And we are done.

This post has been edited 4 times. Last edited by mhdr_haamiii, Apr 6, 2017, 9:11 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

19 posts

#5 h Apr 13, 2017, 1:19 AM • 2 Y

Y by Adventure10, Mango247

By construction, $S$ is the center of the spiral similarity that sends $BP$ to $QC$ . However, since $BP = CQ$ , this spiral similarity is actually a rotation centered in $S$ . Thus we have: $SB = SQ \text{ and } SP = SC$ Now, since $S$ is the center of the spiral similarity that maps $BP$ to $QC$ , then we know that $ABSQ$ and $ACSP$ are cyclic quadrilaterals. Hence, $\angle BAS = \angle BQS = \angle RQS = \angle RCS$ and $\angle SAC = \angle SPC$ . But $\angle SPC = \angle RCS$ since $SC = SP$ . Then, it follows that $\angle BAS = \angle SAC$ , as desired.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

168 posts

#6 h Feb 19, 2018, 2:58 AM • 2 Y

Y by Adventure10, Mango247

Let $\omega_1(O_1,r_1)$ and $\omega_2(O_2,r_2)$ be the circumcircles of $\triangle PRB$ and $\triangle QCR$ , respectively. Let $\{T\}=\overleftrightarrow{SC} \cap \omega_1$ .
By extended law of sines in $\triangle QCR$ and $\triangle PRB$ , $\frac{BP}{\sin \angle PRB}=2r_1=\frac{CQ}{sin}=2r_2 \implies r_1=r_2$ .
So $\frac{RS}{\sin \angle SBR}=2r_1=2r_2=\frac{RS}{\sin \angle RCS} \implies \angle SBR = \angle RCS$ , since $\angle SBR + \angle RCS < 180^{\circ}$ .
Then $\angle SBR=\angle SPR=\angle RCS \implies SP=SC$ .
Note that $\angle QCS = \angle BRS = 180^{\circ}-\angle STB \implies BT \parallel AC$ , thus $\angle PAC = 180^{\circ}- \angle TBP=\angle PST \implies ACSP$ is cyclic. But since $SC=SP$ , $AS$ is the bisector of angle $BAC$ .
$\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \square$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

9767 posts

jayme

#7 h Feb 19, 2018, 7:47 AM • 1 Y

Y by Adventure10

Dear Mathlinkers,
a variation at

11-ième O.M. de St-Petersburg (1999), Round de sélection, problème 2.

Sincerely
Jean-Louis

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

J-Enterprise7-math

3 posts

J-Enterprise7-math

#8 h Mar 20, 2018, 5:42 AM • 2 Y

Y by Adventure10, Mango247

That's famous situation

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

224 posts

#9 h May 22, 2019, 9:40 AM • 1 Y

Y by Adventure10

This problem was proposed by Burii.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

4680 posts

#10 h Jun 7, 2020, 4:54 PM

Y by

Because $B, R$ and $Q$ are concyclic and $C, R, P$ are also concyclic, that means that we have that there exists a spiral similarity mapping $\triangle SBP$ to $\triangle SQC$ . Because $BP=CQ$ , then we know that we have that $\triangle SBP$ is congruent to $\triangle SQC$ . In addition, by angle chasing, we get that $\angle CSP = \angle CSR + \angle RSP = \angle AQR + \angle RBP = 180^{\circ} - \angle BAC.$ That shows us that $APSC$ is cyclic, and analogously, $AQSB$ is cyclic too. Finally, due to the fact that $\triangle SBP$ is congruent to $\triangle SQC$ , we have that $PS=SC$ . Since $APSC$ is syclic, then $\angle PAS = \angle SAC$ so $\angle SAB = \angle SAC$ meaning $S$ is on the angle bisector of $\angle ABC$ so we are done.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

386 posts

#11 h Apr 13, 2021, 10:51 PM

Y by

$[asy] /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */ import graph; size(8cm); 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 = -14.099997253465038, xmax = 10.333668701128902, ymin = -8.057915244124446, ymax = 7.172037974209792; /* image dimensions */ /* draw figures */ draw((-2.590375969105767,4.069271180546538)--(-6.948194499531714,-0.8114855735304873), linewidth(0.8) + blue); draw((-6.948194499531714,-0.8114855735304873)--(0.4725479122793272,-3.824605814567835), linewidth(0.8) + blue); draw((0.4725479122793272,-3.824605814567835)--(-2.590375969105767,4.069271180546538), linewidth(0.8) + blue); draw((-6.948194499531714,-0.8114855735304873)--(-0.509674242709973,-1.2931877403271366), linewidth(0.8) + blue); draw((0.4725479122793272,-3.824605814567835)--(-5.139763875478851,1.2139567254087056), linewidth(0.8) + blue); draw(circle((-1.6598741152946308,-3.1957461366265285), 2.223215733621701), linewidth(0.8) + linetype("2 2") + red); draw(circle((-4.730730831640612,-0.9713075989400678), 2.2232157336216987), linewidth(0.8) + linetype("2 2") + red); draw((-2.590375969105767,4.069271180546538)--(-3.876433238801054,-3.0238338036672094), linewidth(0.8) + blue); draw((-3.876433238801054,-3.0238338036672094)--(-6.948194499531714,-0.8114855735304873), linewidth(0.8) + blue); draw((-3.876433238801054,-3.0238338036672094)--(-0.509674242709973,-1.2931877403271366), linewidth(0.8) + blue); draw((-3.876433238801054,-3.0238338036672094)--(-5.139763875478851,1.2139567254087056), linewidth(0.8) + blue); draw((-3.876433238801054,-3.0238338036672094)--(0.4725479122793272,-3.824605814567835), linewidth(0.8) + blue); /* dots and labels */ dot((-2.590375969105767,4.069271180546538),dotstyle); label("$A$", (-2.485788324375541,4.350661748511184), NE * labelscalefactor); dot((-6.948194499531714,-0.8114855735304873),dotstyle); label("$B$", (-6.841116672784102,-0.5251146415310723), NE * labelscalefactor); dot((0.4725479122793272,-3.824605814567835),dotstyle); label("$C$", (0.5821159210443259,-3.5382348825684216), NE * labelscalefactor); dot((-5.139763875478851,1.2139567254087056),dotstyle); label("$P$", (-5.03324452816168,1.4745015184300776), NE * labelscalefactor); dot((-0.509674242709973,-1.2931877403271366),linewidth(4pt) + dotstyle); label("$Q$", (-0.40399615784063136,-1.072954685356045), NE * labelscalefactor); dot((-2.5141717081341906,-1.1432199318993854),linewidth(4pt) + dotstyle); label("$R$", (-2.4036123178017945,-0.9359946743998018), NE * labelscalefactor); dot((-3.876433238801054,-3.0238338036672094),linewidth(4pt) + dotstyle); label("$S$", (-3.773212427364235,-2.7986508234047087), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */ [/asy]$

Let $\varphi$ be the spiral similarity centered at $S$ , since we have that $BP=CQ$ , we get that (under $\varphi$ ) $SB=SQ$ and that $SP=SC$ .
So now all that's left is to show that $CSPA$ is cyclic.
But notice that:
$\angle SCQ=\angle SRB = \angle BPS$ meanins that $CSPA$ is cyclic.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

Mahdi_Mashayekhi

689 posts

Mahdi_Mashayekhi

#12 h Dec 16, 2021, 4:19 PM

Y by

Let's start with proving that APSC and AQSB are cyclic.
∠QSB = ∠RSQ + ∠RSB = ∠QCR + ∠RPA = 180 - ∠A ---> AQSB is cyclic.
∠PSC = ∠PSR + ∠RSC = ∠RBP + ∠RQA = 180 - ∠A ---> APSC is cyclic.
∠BAS = ∠BQS = ∠RCS and ∠CAS = ∠CPS = ∠RPS.
It's easy to prove triangles SBP and SQC are congruent so SP = SC and ∠RCS = ∠RPS.
We're Done.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

1162 posts

#13 h Dec 16, 2021, 11:50 PM

Y by

It's clear that $S$ is the Miquel Point of $BPCQ$ , so $SBP \overset{+}{\sim} SQC$ . But we know $BP = CQ$ , so the two triangles are actually congruent, yielding $SB = SQ$ .

Properties of Miquel Points imply $ABSQ$ is cyclic. Hence, $S$ is the midpoint of arc $BQ$ , so $AS$ bisects $\angle BAQ \equiv \angle BAC$ . $\blacksquare$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

322 posts

BVKRB-

#14 h Dec 26, 2021, 2:48 PM

Y by

Note that $S$ is the miquel point of quad $APRQ$ (not $BPCQ$ because I don't like self intersecting quads

) so $SBP \sim SQC$ which along with the condition makes the two triangles congruent, so $SB = SQ$ and $SP = SC$
Now the fact that $ABSQ$ combined with sine rule on $\triangle SAB$ and $\triangle SAQ$ proves the desired result $\blacksquare$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

1080 posts

#15 h Jan 22, 2022, 7:16 PM • 2 Y

Y by centslordm, megarnie

Notice there is a spiral similarity at $S$ such that $\overline{BP}\mapsto\overline{CQ}.$ Since we also know $BP=CQ,$ we see that $\triangle SBP\cong\triangle SQC.$ Therefore, $\delta(S,\overline{AB})=\delta(S,\overline{BP})=\delta(S,\overline{CQ})=\delta(S,\overline{AC}).$ $\square$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

64 posts

Leo890

#16 h Feb 3, 2022, 11:11 PM

Y by

Let $D$ , $E$ be the points in lines $AB$ , $AC$ such that $SD \perp AB$ and $SE \perp AC$ . We want to show that $SD=SE$ . Let $X$ and $Y$ be the midpoints of $BQ$ , $PC$ . Note that $\angle PBS = \angle CRS = \angle CQS$ , and $\angle BPS = \angle BRS= \angle SCQ$ together with $QC = BP$ implies $\triangle BPS \simeq SQC$ . Therefore $SC = SP$ and $SB=SQ$ implies $SX \perp BQ$ and $SY \perp PC$ . So quadrilaterals $DBSX$ and $SYEC$ are cyclic. Hence:
$\angle DXS = \angle YXS = 180^{\circ}- \angle SBD + \angle SQC = 180^{\circ}$ Hence $D,X,Y$ are colinear. In a similar way we have $X,Y,E$ colinear. Therefore $\angle SDX = \angle SEX = \angle SBD$ and we are done since it follows that $SD = SE$ .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

1 post

#17 h Apr 10, 2022, 5:37 PM • 1 Y

Y by Flying-Man

Cute problem

Solution

This post has been edited 1 time. Last edited by brickybrook_25, Apr 14, 2022, 8:09 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

10 posts

#18 h Dec 7, 2023, 2:30 PM • 1 Y

Y by Churma

After understanding that APSC is cyclic, we should notice that radii of (BPR) and (CQR) are equal. It is obvious by Law os sinuses to this triangles. Then angles SPR and SCR are equal, hence SP=SC. How we know APSC is cyclic then we can easily get that AS is angle bisector of angle PAQ. And we are done. (Sory I am too lazy for convert this to LaTeX)

This post has been edited 1 time. Last edited by Nagibator007, Dec 7, 2023, 2:32 PM
Reason: I confused name of law of sinuses with sinus theorem

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

20 posts

Avron

#19 h Mar 23, 2025, 9:41 PM

Y by

$S$ is the miquel point of the complete quadrilateral $BPSQAR$ so $APSC$ is cyclic. Moreover, it is well known that $S$ is the center of spiral similarity caring $BP$ to $QC$ , and in fact it is a spiral congruence therefore $PS=SC$ and we're done.

Z K Y

N Quick Reply

G

H

=

© 2025 AoPS Incorporated

a