and 
be two sequences of integers such that 
and 
for all 
.
divides 
for an infinity of integers 
such that 
for all 
are coprime. Consider the sequence 
given by 
.
such that 
is even and 
is an integer. Prove that the numerator in its simplest form of 
is an odd integer greater than 
.
be an integer and let 
be 
distinct subsets of 
.
such that the n subsets 
are also disjoint.
s
.
satisfies 
.
,
.
such that for all irrational numbers 
and 
,
where 
satisfy that 
.![$$\sum_{cyc} \sqrt[4]{\frac{a^3}{b+c}}$$](http://latex.artofproblemsolving.com/e/f/0/ef089c4f2915bbf75b0f60b044bbe9273b301a81.png)
compute the smallest possible value of ![\[\sum_{k=1}^{n}\left\lfloor\frac{a_k}{k}\right\rfloor\]](http://latex.artofproblemsolving.com/5/6/2/562c27c7779285b6439c4087f52933a41f29ee2e.png)
over all permutations 
of 
with incenter 
,
touches sides 
and 
at points 
and 
,
.
meets 
at 
.
is parallel to 
.
Y by tenplusten, Abdollahpour, RedFlame2112, Adventure10, Mango247, and 6 other users
Circles 
intersect at 
. 
is common tangent of two circles which is nearer to 
and 
is on 
and 
is on 
. 
intersects for the second time in 
and 
intersects in 
. Let 
be intersection point of 
and 
. Prove that if 
is the second intersection point of circumcircles of 
and 
![\[\angle QXA=\angle QKP\]](//latex.artofproblemsolving.com/c/4/d/c4db3e48ee306cf574c3ac06758b919fb0ab887c.png)
intersect at 
. 
is common tangent of two circles which is nearer to 
and 
is on 
and 
is on 
. 
intersects for the second time in 
and 
intersects in 
. Let 
be intersection point of 
and 
. Prove that if 
is the second intersection point of circumcircles of 
and 
![\[\angle QXA=\angle QKP\]](http://latex.artofproblemsolving.com/c/4/d/c4db3e48ee306cf574c3ac06758b919fb0ab887c.png)
This post has been edited 1 time. Last edited by Omid Hatami, Jun 9, 2010, 9:10 PM
and 
are concyclic . is it useful ?
be the second intersection of 
with 
and 
with 
For convenience, denote 
it follows that 
Since 
then 
are concyclic. Therefore, 
concur at the radical center 
of 
and 
which becomes the exsimilicenter of 
since 
into each other. Thus, the tangent of 
at 
Further, 
are tangent lines of 
at points 
Then 
is the polar of 
such that 
is tangent to 
If 
then the cross ratio 
is harmonic.
(midpoint of XY), it follows that 
Since 
are collinear, being K,R double points, 
But because of 
we deduce that 
we make an inversion with center in 
on circumcircle of 
intersect sides 
in 
respectively. Show that 
are collinear and need to get that 
is tangent but this is same
the circumcircle of 
,
hence 
,
,
are concurent at a point say 
,
meaning 
.
so 
is isocel, therefore 
so 
.
,
thus 
is cyclic. From another hand 
so 
is also cyclic, as a result 
is also cyclic. Now applying radical axis theorem on circles 
, 
and 
it happen that 
and so 
which end the proof.
.
.
.
,
.
.
,
be the midpoints of 
.
,
is a cyclic quadrilateral.
.
.
,
.
.
,
be the circumcircle of 
with 
meets 
touch with 
then
and 
conllinear.
are similar
is conllinear.
lie on circle.(*)
(**)
then 
lie on a circle
follow from that? Thanks.
be the image of 
and 
are cyclic.So
is also cyclic.Now some trivial steps yeild you 
which means 
and 
.
and 
,
to 
.
to 
,
as well. By angle chasing, we find that 
,
,
.
,
.
.
,
,
.
and 
,
to 
,
are similar. Since quadrilateral 
is cyclic, 
.
is cyclic
are spirally similar, then the triangle formed by the midpoints of 
and 
is similar to 
and 
are similar to 
,
X
.
and 
are similar to 
are similar, so 
.
.
.
.
,
,
,
,
by spiral similarity. Thus, 
,
,
(same direction)
(same direction)
which is a spiral similarity that maps:
is cyclic
(because 
be the second intersection point of 
.
q.e.d.
is cyclic.Indeed
.
.
is cyclic 
.
which gives that 
is also cyclic 
.
we conclude that 
all lie on the same circle.
and 
are cyclic. Now let 
and 
and 
point 
so we have 
so we need to prove that 
is cyclic so it is enough to prove that 
.
and 
.
and 
are tangents to the circumcircle of 
.
so we need to prove that 
which is equivalent to 
being the tangent to the circle 
so we need to prove that circumcircles 
are tangent to each other. Now we invert at 
.
is the point inside the isosceles triangle 
and the equivalent when we switch 
.
are cyclic we have that 
and 
and because 
and 
are cyclic we have 
.
is tangent to circumcircle 
.
and we need to prove that the same holds for 
it is enough to prove that intersections of tangents at 
and 
respcetively in any triangle 
and similarly 
,
,
is cyclic. This means that the circumcircle of 
is symmetric with respect to the angle bisector of 
.
be the reflection of 
be the reflection of 
is a rectangle that is symmetric with respect to 
inversion with respect to 
maps to 
maps to 
and 
.
and 
.
.
,
and 
are reflections of each other across 
is the reflection of 
across 
.
from which it follows that 
.
as the other intersection point of circles 
and 
.
.
followed by reflection in the bisector of angle 
and 
are interchanged under this map. As 
and 
the points 
and 
Thus, we have 
which holds as 
and 
proving the result. 
![[asy]
size(8cm);
defaultpen(fontsize(9pt));
pen pri=deepgreen+linewidth(0.5);
pen sec=royalblue+linewidth(0.5);
pen tri=rgb(41, 207, 255)+linewidth(0.5);
pen fil=invisible;
pen sfil=invisible;
pen tfil=invisible;
pair X, Y, O1, O2, P, K, B, C, A, Q, L;
X=(-1, 0);
Y=(1, 0);
O1=(-1, -0.9);
O2=(1, -1.3);
P=intersectionpoints(circle(O1, length(X-O1)), circle(O2, length(Y-O2)))[0];
K=intersectionpoints(circle(O1, length(X-O1)), circle(O2, length(Y-O2)))[1];
B=intersectionpoint(circle(O1, length(X-O1)), (P+(P-Y)*0.01) -- (P+(P-Y)*100));
C=intersectionpoint(circle(O2, length(Y-O2)), (P+(P-X)*0.01) -- (P+(P-X)*100));
A=extension(B, X, C, Y);
Q=intersectionpoints(circumcircle(A, B, C), circumcircle(A, X, Y))[1];
L=intersectionpoint(K -- (K+(K-P)*100), circumcircle(B, C, P));
X=(X-B)/(C-B);
Y=(Y-B)/(C-B);
O1=(O1-B)/(C-B);
O2=(O2-B)/(C-B);
P=(P-B)/(C-B);
K=(K-B)/(C-B);
A=(A-B)/(C-B);
Q=(Q-B)/(C-B);
L=(L-B)/(C-B);
B=(0,0);
C=(1,0);
filldraw(circle(O1, length(X-O1)), fil, pri);
filldraw(circle(O2, length(Y-O2)), fil, pri);
draw(B -- Y -- X -- C, pri);
draw(B -- A -- C -- B, sec);
filldraw(circumcircle(A, B, C), sfil, sec);
filldraw(circumcircle(A, X, Y), sfil, sec);
draw(P -- L, tri);
draw(B -- L -- C, tri);
filldraw(circumcircle(B, P, C), tfil, tri);
dot("$X$", X, dir(100));
dot("$Y$", Y, dir(80));
dot("$P$", P, dir(100));
dot("$K$", K, dir(-30));
dot("$B$", B, dir(210));
dot("$C$", C, dir(-30));
dot("$A$", A, N);
dot("$Q$", Q, dir(120));
dot("$L$", L, S);
[/asy]](http://latex.artofproblemsolving.com/5/7/1/571b65e22f01fbd514cf27fcb1bf1beb8454baae.png)
and 
.
to 
send 
.
so 
is cyclic. Moreover, ![\[\measuredangle BPL=\measuredangle BCL=\measuredangle XYK=\measuredangle YCK=\measuredangle BXK=\measuredangle BPK,\]](http://latex.artofproblemsolving.com/a/4/5/a456c0f2c23315a46d18dac62596db1c479dbfa4.png)
whence 
.
,
looks like we even ended up with the same letters!):
and 
.
Adding the two gives 
,
,
and 
and 
and 
respectively, and 
followed by a reflection over the angle bisector of 
.
and 
are tangent to ![\[\measuredangle AXY=\measuredangle BXY=\measuredangle BPX=\measuredangle YPC=\measuredangle XYC=\measuredangle XYA,\]](http://latex.artofproblemsolving.com/6/8/8/68805c7fd038d1319fd1ef962a7bcdce211c0a58.png)
so 
so 
is cyclic and 
,
bisects 
;
.![\[\frac{BX}{PX}=\frac{\sin\angle BPX}{\sin\angle PBX}=\frac{\sin\angle BPX}{\sin\angle PXY}\quad\text{and}\quad\frac{CY}{PY}=\frac{\sin\angle CPY}{\sin\angle PYX}.\]](http://latex.artofproblemsolving.com/9/c/a/9ca866ee09e7502b0527512bd6386d4eab357b06.png)
From this, ![\[\frac{BX}{PX}\Bigg/\frac{CY}{PY}=\frac{\sin\angle PYX}{\sin\angle PXY}=\frac{PX}{PY}\implies \frac{BX}{CY}=\left(\frac{PX}{PY}\right)^2.\]](http://latex.artofproblemsolving.com/a/3/7/a3777d895fcd6c5e7f24fd6fca417a19c8f133e3.png)
To finish, note that ![\[\frac{QX}{QY}=\frac{BX}{CY}=\left(\frac{PY}{PY}\right)^2=\left(\frac{KX}{KY}\right)^2=\frac{DX}{DY},\]](http://latex.artofproblemsolving.com/0/e/1/0e162b436cc408a867a733ef685c8b4c91757bfa.png)
where the third equality is since 
and 
imply ![\[\frac{PX}{KX}=\frac{MP}{MX}=\frac{MY}{MX}=\frac{PY}{KY}.\]](http://latex.artofproblemsolving.com/8/1/0/810c3b1637f58c25df035e67379abe2573421949.png)
This completes the proof.
is a harmonic quadrilateral, so 
.
,![\[\frac{QB}{BB_1}=\frac{2QB}{BX}=\frac{2QC}{CY}=\frac{QC}{CC_1}\]](http://latex.artofproblemsolving.com/a/c/1/ac138f75b85bded88b382e88fdfe7779828ba40e.png)
and 
,
,
is cyclic. Analogously since 
,
,
,
,
is also tangent to 
,
.
inversion at 
.
maps to 
and is tangent to 
,
is tangent to 
.
,
is cyclic. This implies that 
are swapped by this transformation.
.
,
.
is a line, if 
and 
,
and 
So we can calculate 
Let 
.
Thus 
is angle bisector of 
are collinear where 
it suffices to show 
and since 
is cyclic (follows from inversion at 
and 
.
,
and 
whence 
.
whence 
so 
.
is a symmedian in 
which follows from 
.
,
bisects 
,
and 
intersect on 
,
,
so 
which, combined with 
,
since they are polar. Now note that as 
is a diameter of 
.
is cyclic whence 
,
is mapped to a line after inversion about 
,
Therefore, 
is tangent to 
.
and we get the following problem
be an Isosceles Triangle with 
.
,
are tangent to 
.
Hence,
Let 
.
![[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 = -17.017872221696305, xmax = 27.256889742760723, ymin = -9.900050867795619, ymax = 14.96610115795648; /* image dimensions */
pen yqqqyq = rgb(0.5019607843137255,0,0.5019607843137255); pen qqqqcc = rgb(0,0,0.8); pen qqzzqq = rgb(0,0.6,0); pen ccqqqq = rgb(0.8,0,0);
draw(circle((-1.8490848403873745,6.896735451806183), 4.883756988528579), linewidth(1.2) + qqzzqq);
draw((-3.7239545994373704,11.406274863941478)--(-7.019406119164214,-2.623582796016489)--(14.291278423016704,0.3099251759874293)--cycle, linewidth(2) + ccqqqq);
/* draw figures */
draw(circle((6.15395941298003,-0.282390454652267), 8.158847864582619), linewidth(2) + yqqqyq);
draw(circle((-4,0), 4), linewidth(1.6) + qqqqcc);
draw((-5.53559627430592,3.6935002480489656)--(3.0217853171095594,7.251286198255153), linewidth(2) + linetype("2 2") + blue);
draw((-5.53559627430592,3.6935002480489656)--(14.291278423016704,0.3099251759874293), linewidth(2));
draw((-7.019406119164214,-2.623582796016489)--(3.0217853171095594,7.251286198255153), linewidth(2));
draw((-7.019406119164214,-2.623582796016489)--(-3.7239545994373704,11.406274863941478), linewidth(2) + red);
draw((-3.7239545994373704,11.406274863941478)--(14.291278423016704,0.3099251759874293), linewidth(2) + red);
draw(circle((3.1476653838199984,2.3902501171896704), 11.336130884404211), linewidth(1.6));
draw((-7.019406119164214,-2.623582796016489)--(14.291278423016704,0.3099251759874293), linewidth(2) + red);
draw((-6.527616930354384,8.297599401713773)--(-5.53559627430592,3.6935002480489656), linewidth(2));
draw((-6.527616930354384,8.297599401713773)--(-1.4958442565649777,-3.119167198567814), linewidth(2));
draw((-1.4958442565649777,-3.119167198567814)--(-1.3263554851829753,2.9751680638896403), linewidth(2));
draw((-3.7239545994373704,11.406274863941478)--(-7.019406119164214,-2.623582796016489), linewidth(2) + ccqqqq);
draw((-7.019406119164214,-2.623582796016489)--(14.291278423016704,0.3099251759874293), linewidth(2) + ccqqqq);
draw((14.291278423016704,0.3099251759874293)--(-3.7239545994373704,11.406274863941478), linewidth(2) + ccqqqq);
/* dots and labels */
dot((6.15395941298003,-0.282390454652267),dotstyle);
label("$O_2$", (6.547143942243271,-0.17767456702917347), NE * labelscalefactor);
dot((-4,0),dotstyle);
label("$O_1$", (-4.042656266398287,-0.9005278235917346), NE * labelscalefactor);
dot((-1.3263554851829753,2.9751680638896403),linewidth(4pt) + dotstyle);
label("$P$", (-1.621097856913698,3.5088770414398875), NE * labelscalefactor);
dot((-1.4958442565649777,-3.119167198567814),linewidth(4pt) + dotstyle);
label("$K$", (-1.837953833882467,-3.9365115011544907), NE * labelscalefactor);
dot((-5.738502857552112,-3.6024446996842476),linewidth(4pt) + dotstyle);
dot((-5.53559627430592,3.6935002480489656),linewidth(4pt) + dotstyle);
dot((-5.53559627430592,3.6935002480489656),linewidth(4pt) + dotstyle);
label("$X$", (-6.283501361742234,3.6534476927524), NE * labelscalefactor);
dot((3.0217853171095594,7.251286198255153),linewidth(4pt) + dotstyle);
label("$Y$", (3.149733636399222,7.55685527819023), NE * labelscalefactor);
dot((-7.019406119164214,-2.623582796016489),linewidth(4pt) + dotstyle);
label("$B$", (-7.656922549211105,-3.1775155817638017), NE * labelscalefactor);
dot((14.291278423016704,0.3099251759874293),linewidth(4pt) + dotstyle);
label("$C$", (14.426244438775216,0.5813213523615156), NE * labelscalefactor);
dot((-3.7239545994373704,11.406274863941478),linewidth(4pt) + dotstyle);
label("$A$", (-3.97037094074203,11.82168949190934), NE * labelscalefactor);
dot((-6.527616930354384,8.297599401713773),linewidth(4pt) + dotstyle);
label("$Q$", (-7.259353258101695,8.09899522061215), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/7/e/7/7e76c0d33e5db587d13401a77a2f9e74551ea6a9.png)
be circumcircle of 
and 
be the circumcircle of 
,
.
,
are collinear.
are similar triangles. Using the simillarity results we can say that 
are collinear. Hence, points 
form a cyclic quadrilateral with another circle.With the property of power of point 
,
,
form a cyclic quadrilateral, hence all the 
points lie on a circle.
and 
such that 
are collinear.
wrt lines 
and 
.
wrt lines 
and 
.
is cyclic.
.
,
.
.
.
.
is cyclic.
.
is cyclic.
.
claims, we come to the conclusion that 
is cyclic.
and we are done 
.
,![\[\angle XP'Y=\angle XPY=360^\circ-\angle KPX-\angle KPY=\angle KXY+\angle KYX=180^\circ-\angle XKY,\]](http://latex.artofproblemsolving.com/c/1/9/c19baab1c775ad23850e833e3fd46827bcb91a21.png)
so 
is cyclic. Thus, 
is a symmedian of 
and 
intersect the circumcircle of 
,
and 
,
.
.![\[\angle KXT'=\angle KXY-\angle YXT'=180^\circ-\angle AYK-\angle KAY=\angle YKT',\]](http://latex.artofproblemsolving.com/0/4/e/04e6cc55e4f84f00cb4fbbca03abf556c4623085.png)
and similarly, 
,
.![\[\frac{T'X}{T'Y}=\frac{T'X}{T'K} \cdot \frac{T'K}{T'Y}=\left(\frac{KX}{KY}\right)^2\]](http://latex.artofproblemsolving.com/5/0/4/50499bd259428f83a5088ada1ef4a1eede0e595e.png)
and ![\[\frac{QX}{QY}=\frac{BX}{CY}=\frac{BX}{XY} \cdot \frac{XY}{YC}=\left(\frac{KX}{KY}\right)^2,\]](http://latex.artofproblemsolving.com/a/2/4/a240f3778562fcc92adfaae0b330ef6b326e7771.png)
so 
is harmonic.
is a symmedian of 
is a median. We have 
,
is cyclic, which means 
.
is cyclic and tangent to 
.![\[ \measuredangle XKY = \measuredangle XBP + \measuredangle XCY = \measuredangle YXP + \measuredangle PYX = \measuredangle YPX = \measuredangle XP'Y \]](http://latex.artofproblemsolving.com/5/c/0/5c02d2ff373d2287200e65c3417f82acad46e6c4.png)
gives that it is cyclic.![\[ \measuredangle AXY = \measuredangle BXY = \measuredangle BXP + \measuredangle PXY = \measuredangle BXP + \measuredangle PBX = \measuredangle BPX = \measuredangle YPX \]](http://latex.artofproblemsolving.com/d/d/5/dd550328b47cc7b3ab0abceded9c1a6ed1773fd3.png)
as desired, symmetry suffices. 
of that 
,
.
is harmonic.
is cyclic.![\[ \measuredangle EQG = \measuredangle EMG = \measuredangle EP'G = \measuredangle EK'G = 90^\circ \]](http://latex.artofproblemsolving.com/0/3/9/039cb7a2db9d327544d7442a60910930c19fb8ab.png)
,
,
.
holds as well, and thus ![\[ \measuredangle QXA = \measuredangle QGA = \measuredangle QGM = \measuredangle QKM = \measuredangle QKP \]](http://latex.artofproblemsolving.com/1/7/5/175514a68ae9840a5558c4974b6a60eb7e10dad3.png)
as desired.
![[asy]
size(8cm);
defaultpen(fontsize(9pt));
pen pri=green+linewidth(0.5);
pen sec=blue+linewidth(0.5);
pen tri=rgb(41, 207, 255)+linewidth(0.5);
pen fil=invisible;
pen sfil=invisible;
pen tfil=invisible;
pair X, Y, O1, O2, P, K, B, C, A, Q, L;
X=(-1, 0);
Y=(1, 0);
O1=(-1, -0.9);
O2=(1, -1.3);
P=intersectionpoints(circle(O1, length(X-O1)), circle(O2, length(Y-O2)))[0];
K=intersectionpoints(circle(O1, length(X-O1)), circle(O2, length(Y-O2)))[1];
B=intersectionpoint(circle(O1, length(X-O1)), (P+(P-Y)*0.01) -- (P+(P-Y)*100));
C=intersectionpoint(circle(O2, length(Y-O2)), (P+(P-X)*0.01) -- (P+(P-X)*100));
A=extension(B, X, C, Y);
Q=intersectionpoints(circumcircle(A, B, C), circumcircle(A, X, Y))[1];
L=intersectionpoint(K -- (K+(K-P)*100), circumcircle(B, C, P));
X=(X-B)/(C-B);
Y=(Y-B)/(C-B);
O1=(O1-B)/(C-B);
O2=(O2-B)/(C-B);
P=(P-B)/(C-B);
K=(K-B)/(C-B);
A=(A-B)/(C-B);
Q=(Q-B)/(C-B);
L=(L-B)/(C-B);
B=(0,0);
C=(1,0);
filldraw(circle(O1, length(X-O1)), fil, pri);
filldraw(circle(O2, length(Y-O2)), fil, pri);
draw(B -- Y -- X -- C, pri);
draw(B -- A -- C -- B, sec);
filldraw(circumcircle(A, B, C), sfil, sec);
filldraw(circumcircle(A, X, Y), sfil, sec);
draw(P -- L, tri);
draw(B -- L -- C, tri);
filldraw(circumcircle(B, P, C), tfil, tri);
dot("$X$", X, dir(100));
dot("$Y$", Y, dir(80));
dot("$P$", P, dir(100));
dot("$K$", K, dir(-30));
dot("$B$", B, dir(210));
dot("$C$", C, dir(-30));
dot("$A$", A, N);
dot("$Q$", Q, dir(120));
dot("$L$", L, S);
[/asy]](http://latex.artofproblemsolving.com/7/0/d/70d177f03458c2ac8181bbdb9390a0531c89bf85.png)
where the last follows by the fact that 
where the last line again follows from the fact that 
.
