[/quote]
,
aand 
Prove that 
![$P(x) \in \mathbb{Q}[x]$](http://latex.artofproblemsolving.com/9/1/0/9104130500a15ab4bffb68bc493faa4ea2891610.png)
be a polynomial with rational coefficients and degree 
.
of rational numbers such that 
for all 
.
such that for all 
,![\[xf(x+f(y))=(y-x)f(f(x)).\]](http://latex.artofproblemsolving.com/e/4/a/e4a3bbb8b91d2aa62d699c24df342fa59be71915.png)
aand 
Prove that
Let 
aand 
Let 
aand 
Prove that 
at 
respectively. The line 
meets the circumcircle of 
.
meets the line 
at 
and the line 
meets the circumcircle of 
.
similarly. Prove that the lines 
are concurrent.
intersect at point 
.
lies between the parallel lines 
and 
such that 
,
separates points 
.
aand 
Prove that
Let 
aand 
and 
Prove that 
be an integer greater than or equal to 
.
satisfy 
,![\[\sum_{1 \le i < j \le n} \frac{1}{n- a_i a_j} \le \frac{n}{2} \]](http://latex.artofproblemsolving.com/2/b/b/2bbca5c72fe6bf9f3fa50cc34b8bff27f2ec5d4d.png)
must hold.
,
are 
real numbers satisfying 
,![\[ \sum_{1\leqslant i < j\leqslant n}\frac {1}{1 - x_ix_j}\leqslant\frac {n^2}{2}\mbox{.}\]](http://latex.artofproblemsolving.com/7/9/e/79e8a348888aed07bbd757ffbf01e85f33d5ada0.png)
be an even integer and let 
be real numbers satisfying 
.
.
be the midpoints of the arcs 
of 
respectively. Let 
be the point of 
.
and the midpoint 
of 
lie on a line.
be the circumcircle of 
and let 
be A-excircle .Let the two common tangents of 
cut 
.
.
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.
to 
have ratio 
.
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 
and 
it is easy to see that 
.
.![\[\frac{IB}{BR} = \frac{IC}{CS} \iff \frac{IB}{IC} = \frac{AQ}{AP}\]](http://latex.artofproblemsolving.com/6/6/b/66bdc795125139be64efe48fd8fac6987c8d50f8.png)
Which is obvious since 
by angle chasing.
