[/quote]
,
with integer coefficients such that ![$P\left(\sqrt[3]5+\sqrt[3]{25}\right)=5+\sqrt[3]5$](http://latex.artofproblemsolving.com/5/8/e/58ec2a921cd988bd5ae017a8653544ddd758225f.png)
.
be a 
-
.
,
in ![\[ A_j=\{x+t_j\mid x\in A\},\qquad j=1,2,\ldots,100 \]](http://latex.artofproblemsolving.com/d/5/c/d5c2a7b943e8c7200361698f3eb6f83700ad68d6.png)
are pairwise disjoint.
such that for every index 
,
,
is a multiple of 
.
and 
be the points in which the median and the angle bisector, respectively, at 
.
and 
meets 
and 
,
the point in which the perpendicular at 
produced.
is perpendicular to 
and 
such that for all 
if 
then 
Find the smallest of sum of all elements of 
,![\[
\sum_{\text{cyc}} \sqrt{1 + \left(x\sqrt{1 + y^2} + y\sqrt{1 + x^2}\right)^2} \geq \sum_{\text{cyc}} xy + 2\sum_{\text{cyc}} x
\]](http://latex.artofproblemsolving.com/9/5/5/955863a0cf8747ae45b736b0631f243d3908eb84.png)
such that there exist positive integers 
for which the following holds 
for all 
.
is a perfect cube
of a prime number 
and a positive integer 
for which 
is an integer.
is the centre of the excircle opposite the vertex 
This excircle is tangent to the side 
and 
at 
and 
,
and 
meet at 
,
and 
meet at 
Let 
and 
and 
Prove that 
,
.
such that if 
and 
are distinct rational numbers satisfying 
or 
,
?
and 
.
be a positive integer. Consider the following equation: ![\[ \{x\}+\{2x\}+ \dots + \{nx\} = \lfloor x \rfloor + \lfloor 2x \rfloor + \dots + \lfloor 2nx \rfloor\]](http://latex.artofproblemsolving.com/8/2/9/8299b3ceb1650418c0a373536cb1d2931900efd9.png)
a) For 
,
.
real solutions.
Y by farhad.fritl, Frd_19_Hsnzde, Rounak_iitr, cubres, radian_51, dangerousliri, ItsBesi
Let 
be an acute triangle with incentre 
and 
. Let lines 
and 
intersect the circumcircle of at 
and 
, respectively. Consider points 
and 
such that 
and 
are parallelograms (with 
, and 
). Let 
be the point of intersection of lines 
and 
. Prove that points 
, and are concyclic.
be an acute triangle with incentre 
and 
. Let lines 
and 
intersect the circumcircle of at 
and 
, respectively. Consider points 
and 
such that 
and 
are parallelograms (with 
, and 
). Let 
be the point of intersection of lines 
and 
. Prove that points 
, and are concyclic.
and
So 
,
and 
.
as desired. Thus 
cyclic
.
be added to vector 
,
.
by symmetry and well-known
and because 
we are done because we have spiral sim.
.
and 
hence![\[\frac{-xy-yz-zx-y^2}{-xy-yz-zx-z^2}=\frac{x+y}{x+z}=\frac{-yz-zx+x^2-y^2}{-yz-yx+x^2-z^2}\]](http://latex.artofproblemsolving.com/0/4/d/04d1adc793381c8c1c195de7ac8ed0e874864a7c.png)
Thus, 
as desired
.
to 
.
Note that![\[
\angle IBR = 360^\circ - \angle ABR - \angle ABI
= 360^\circ - (180^\circ - \angle QAB) - \frac{\angle ABC}{2}
= 180^\circ + \frac{\angle ACB}{2} - \frac{\angle ABC}{2}
\]](http://latex.artofproblemsolving.com/6/e/7/6e71616c2db3b748ce0bdea955bd9f3d61e68464.png)
![\[
\angle ICS = \angle ICA + \angle ACS
= \frac{\angle ACB}{2} + 180^\circ - \angle CAP
= 180^\circ + \frac{\angle ACB}{2} - \frac{\angle ABC}{2}
\]](http://latex.artofproblemsolving.com/9/d/7/9d7f8b5941a57d3f990b0039e80bd29e66f2a11c.png)
![\[
\Rightarrow \angle IBR = \angle ICS
\]](http://latex.artofproblemsolving.com/2/5/d/25d8e1c2fafa855ce6dc2683aca5dbc44bf222b0.png)
![\[
\frac{IB}{BR} = \frac{IB}{AQ} = \frac{IB}{IQ} = \frac{IC}{IP} = \frac{IC}{AP} = \frac{IC}{CS}
\]](http://latex.artofproblemsolving.com/2/e/0/2e06432f2910618941dd8413051fcd229a02561a.png)
![\[
\Rightarrow \triangle IBR \sim \triangle ICS \quad \blacksquare
\]](http://latex.artofproblemsolving.com/8/c/7/8c73a6009be05b959e979f56b857cb327a04f3c9.png)
,
are concyclic. 
and 
.
,
.
,
,
,
,
.
.
.
By Incentre-Excentre Lemma, 
and 
.
,
,
.
and 
,
.
It follows from angle chase:
and 
.
and the claim follows.
,
lie on a circle. Hence 
.
,
.
,
are concyclic.
be the unit circle such that 
This is symmetric in 
and 
so triangle 
is directly similar to 
so 
and 
Then 
and 
The incenter is given by 
Then we must verify that 
or 
which follows upon expansion.
.
and satisfies 
,
.
.
.
.
.
.
.
this claim is done. 
.
.
.
.
.
and similarly 
.
.
.(By the way there is unused 
is cyclic info 
).
so 
.![\[
\frac{RB}{BI} = \frac{QB}{BI} = \frac{QI}{BI} = \frac{PI}{CI} = \frac{PC}{CI} = \frac{SC}{CI}
\]](http://latex.artofproblemsolving.com/2/b/1/2b1c9880ca4e13f74afb1d106e43d0cb6c8b26ea.png)
and 
so we are done.
,
,
。
,
.
.
.
to be concylic, 
.
It suffices to show that 
and 
.
.
Hence 
Which completes our proof by making 
concyclic.
and 
.
.
.
(WLOG, 
,
.
.
.
and we are done.
and 
.
and 
are similar.![\[\measuredangle IBR = \measuredangle IBA + \measuredangle ABR = \measuredangle IBA + \measuredangle BCI\]](http://latex.artofproblemsolving.com/d/e/6/de6172f0686cb53d2dda92132c52f58af1be2b79.png)
and![\[\measuredangle ICS = \measuredangle ICA + \measuredangle ACS = \measuredangle ICA + \measuredangle CBI\]](http://latex.artofproblemsolving.com/a/0/c/a0cf0a36c680ae58f20bb4e47f56262d6cf1805d.png)
which implies that 
.
we have that![\[\frac{IB}{BR} = \frac{IB}{IQ} = \frac{IC}{IP} = \frac{IC}{CS}\]](http://latex.artofproblemsolving.com/e/e/4/ee4d2cf1b96aa4945b7dbd6851f0664bcf389314.png)
which implies that 
and thus,![\[\measuredangle TRI = \measuredangle BRI = \measuredangle CSI = \measuredangle TSI\]](http://latex.artofproblemsolving.com/e/6/3/e63e83b89368f41269875f268855d3104d6a2ead.png)
which shows the result.
![\[ \frac{RB}{BI}=\frac{QA}{BI}=\frac{QI}{BI}=\frac{PI}{CI}=\frac{PA}{CI}=\frac{SC}{CI} \]](http://latex.artofproblemsolving.com/a/b/d/abddba6ddea4633db83ebceb3c02158201b3eaf7.png)
But also we have when 
and the similar holds for the other by an analogous process which means from SAS criteria that 
which is sufficient to finish thus we are done 
.
are concyclic
Indeed, note that 
and 
and that 
and 
from Fact 
)
are concyclic.
![[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 = -7.144588996685093, xmax = 7.35242328891287, ymin = -13.236227937345324, ymax = 4.401145320200983; /* image dimensions */
pen zzttqq = rgb(0.6,0.2,0.);
draw((2.364487437137925,2.6180055834942553)--(-1.190397526177085,-1.4456672164304365)--(4.003394857425276,-1.327626480439474)--cycle, linewidth(2.) + zzttqq);
/* draw figures */
draw((2.364487437137925,2.6180055834942553)--(-1.190397526177085,-1.4456672164304365), linewidth(2.) + zzttqq);
draw((-1.190397526177085,-1.4456672164304365)--(4.003394857425276,-1.327626480439474), linewidth(2.) + zzttqq);
draw((4.003394857425276,-1.327626480439474)--(2.364487437137925,2.6180055834942553), linewidth(2.) + zzttqq);
draw(circle((1.3773750664635107,-0.10520848536922311), 2.8965989879847793), linewidth(2.));
draw((-0.8027581497731696,1.801963467197183)--(-4.357643113088179,-2.2617093327275084), linewidth(2.));
draw((-4.357643113088179,-2.2617093327275084)--(-1.190397526177085,-1.4456672164304365), linewidth(2.));
draw((2.364487437137925,2.6180055834942553)--(-0.8027581497731696,1.801963467197183), linewidth(2.));
draw((2.364487437137925,2.6180055834942553)--(4.052386113234706,1.0059177886638084), linewidth(2.));
draw((5.691293533522058,-2.9397142752699215)--(4.052386113234706,1.0059177886638084), linewidth(2.));
draw((5.691293533522058,-2.9397142752699215)--(4.003394857425276,-1.327626480439474), linewidth(2.));
draw(circle((0.456077495541036,-5.724273743318219), 5.929692942761119), linewidth(2.) + linetype("2 2"));
draw(circle((1.4431898662154548,-3.0010596744547535), 3.058599066868337), linewidth(2.) + linetype("2 2"));
draw((-4.357643113088179,-2.2617093327275084)--(2.997288057529313,-0.366708319072777), linewidth(2.));
draw((5.691293533522058,-2.9397142752699215)--(2.997288057529313,-0.366708319072777), linewidth(2.));
/* dots and labels */
dot((2.364487437137925,2.6180055834942553),dotstyle);
label("$A$", (2.43449950265416,2.8210894852584243), NE * labelscalefactor);
dot((-1.190397526177085,-1.4456672164304365),dotstyle);
label("$B$", (-1.9304047413746546,-2.057332905126725), NE * labelscalefactor);
dot((4.003394857425276,-1.327626480439474),dotstyle);
label("$C$", (3.0270204407576187,-1.8795766236956868), NE * labelscalefactor);
dot((1.9380676967499686,0.017238552144686836),linewidth(4.pt) + dotstyle);
label("$I$", (1.9012306583610468,0.2732494514135489), NE * labelscalefactor);
dot((4.052386113234706,1.0059177886638084),linewidth(4.pt) + dotstyle);
label("$P$", (4.212062316964537,1.063277368884828), NE * labelscalefactor);
dot((-0.8027581497731696,1.801963467197183),linewidth(4.pt) + dotstyle);
label("$Q$", (-1.17987821977694,1.8928066822296712), NE * labelscalefactor);
dot((-4.357643113088179,-2.2617093327275084),linewidth(4.pt) + dotstyle);
label("$R$", (-4.853508036018385,-2.1955877906841987), NE * labelscalefactor);
dot((5.691293533522058,-2.9397142752699215),linewidth(4.pt) + dotstyle);
label("$S$", (5.890871641591004,-2.9658650102186956), NE * labelscalefactor);
dot((2.997288057529313,-0.366708319072777),linewidth(4.pt) + dotstyle);
label("$T$", (2.790012065516235,-0.08226311144852674), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/9/e/8/9e8de5a7c6ca1f36663b6ead9f6ef04e01f7e4c8.png)
are concyclic.
,
.
as desired.
.
,![\[
\frac{RB}{BI}=\frac{AQ}{BI}=\frac{\sin \tfrac{1}{2}\angle C\cdot 2R}{r\cdot \tfrac{1}{\sin \tfrac{1}{2}\angle B}},
\]](http://latex.artofproblemsolving.com/8/7/a/87a4a9543f07fcdf84eb25be024c4909b7958d5b.png)
![\[
\frac{SC}{CI} =\frac{PA}{CI} = \frac{\sin \tfrac{1}{2}\angle B\cdot 2R}{r\cdot \tfrac{1}{\sin \tfrac{1}{2}\angle C}}
\]](http://latex.artofproblemsolving.com/6/1/d/61d6e2dd558ef73d98622b6eba9bf622ddf7c26d.png)
which is the same value, where 
is the radius of circumcircle, incircle of 
so we are done.
when you're working with directed angles... So, @above try to patch your solution by writing your angles completely in terms of directed angles, or just use normal ones throughout the solution...
and 
instead of 
,
is smaller in size, hence it's harder to notice things about it.
and 
.
.
are isogonal is 
of 
,
similarly
Additionally we get that
Similarly
Now using these two relations and the ones from above, we get 
cyclic.
by angle chase, then length chase to get 
and WLOG 
and 
we get that triangles 
are similar 
and 
is an isosceles triangle 
,
from the parallelogram so: 
is an isosceles triangle 
,
from the parallelogram so: 
combining with previous claim we get: 
and 
we get that: Triangles 
are similar 
Points 
