[/quote]
,
be an acute triangle with 
,
be the center of its circumcircle. Let 
be the reflection of 
with respect to 
.
at 
,
intersects the line through 
.
be a point on the ray 
,
.
.
be an even integer, and let 
be an arbitrary set of 
distinct integers. Define![\[
E(V,n)
\;=\;
\bigl\{(u,v)\in V\times V : u < v,\ u+v = n^k\text{ for some }k\in\mathbb{N}\bigr\}.
\]](http://latex.artofproblemsolving.com/4/b/6/4b65bed83b027596f154741763fb518e2415863d.png)
For each even 
.
be a triangle with side‐lengths 
,
the area of 
be the areas of triangles 
,
,
,![\[
\frac{abc}{12R}
\;\le\;
\frac{P_1^2 + P_2^2 + P_3^2}{P}
\;\le\;
\frac{3R^3}{4\sqrt[3]{abc}}.
\]](http://latex.artofproblemsolving.com/1/3/9/139a3e15f08afb78ca0b8301f24d30db8f202207.png)
such that
divides 
for every 
,
we have![\[
f\bigl(f(a)+kb\bigr)\;=\;f\bigl(a + k\,f(b)\bigr).
\]](http://latex.artofproblemsolving.com/c/f/f/cff41352422c8765978b8fe6dc966ba934a9df49.png)
be positive real numbers. Prove the inequality![\[
\frac{x_1 + 3x_2}{x_2 + x_3}
\;+\;
\frac{x_2 + 3x_3}{x_3 + x_4}
\;+\;
\frac{x_3 + 3x_4}{x_4 + x_1}
\;+\;
\frac{x_4 + 3x_1}{x_1 + x_2}
\;\ge\;8.
\]](http://latex.artofproblemsolving.com/5/c/0/5c062a37f6ff120232ae87eb0093a4ce73ee0eb1.png)
.
(measured between centers), provided it does not overlap any other leaf. If the lake is large enough that edge effects never interfere, what is the least number of days required to have 
leaves in the lake?
lie the following points: 
and 
on 
,
on 
,
on 
.![\[
P = AM\cap BN,\quad
R = KM\cap LN,\quad
S = KN\cap LM,
\]](http://latex.artofproblemsolving.com/7/e/a/7ea90a0f1261ed7445bbac58fb0cdd76810259f3.png)
and let the line 
meet 
.
,
are collinear.
such that 
for all 
.
be a natural number, and let 
subdivided into 
unit squares. Determine for which values of 
and 
be two fixed points in the plane. For each point 
of the plane, outside of the line 
,
be the barycenter of the triangle 
.
be a polynomial where 
are coprime integers in the set 
,
such that for every positive integer 
,
.
there exists a positive integer 
tokens is placed on each number 
.
tokens), and move the top token from the selected pile 
unit positions to the right along the number line. What is the largest natural number 
on which a token can be placed? (Express 
.
be an integer, 
a real number, and 
be positive real numbers such that 
.![\[
\frac{1 + x_1^k}{1 + x_2} + \frac{1 + x_2^k}{1 + x_3} + \cdots + \frac{1 + x_n^k}{1 + x_1} \geq n.
\]](http://latex.artofproblemsolving.com/0/8/d/08de0c74a4e36b50a64d17875d3fd93eeb5b52de.png)
with 
and 
be points on segments 
and 
,
.
be the circumcircle of 
,
the circumcircle of 
.
to 
and 
,
intersect 
,
intersect 
.
is tangent to both 
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 
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.
