such that for all positive integers 
,![\[
f(mn) = \mathrm{lcm}(m, n) \cdot \gcd(f(m), f(n)),
\]](http://latex.artofproblemsolving.com/6/0/7/6071692e2716901e88cc1cfc19ed60388c10701d.png)
where 
and 
denote the least common multiple and the greatest common divisor of 
and 
,
such that 
for all 
.
such that 
coprime, 
and 
.
:![\[
\begin{cases}
f(n+1) > f(n) \\
f(f(n)) = 2n + 2
\end{cases}
\]](http://latex.artofproblemsolving.com/0/4/7/047e28c9d899d7de443ae40ac2c756fda851fafb.png)
Find the value of 
.
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, 
to 
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.
