AoPS Academy
[/quote]
, do not answer with "
is a solution" only. Either you post any kind of proof or at least something unexpected (like "
is the smallest solution). Someone that does not see that is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
be the set of non-negative integers and 
be the set of positive real numbers. Let 
be a function such that 
and 
for all integers 
, and 
for all integers 
. Prove that 
.
and 
Prove that
Let 
and 
Prove that
which satisfy 
![$ \frac{a+b+c}{3} \ge \sqrt[10]{\frac{a^3+b^3+c^3}{3}}$](http://latex.artofproblemsolving.com/c/d/a/cdae05ad34239366b0dd3921243522c711b6ae58.png)
method, I can assum 
![$ \frac{2x+\frac{1}{x^2}}{3} \ge \sqrt[10]{ \frac{2x^3+ \frac{1}{x^6}}{3}} $](http://latex.artofproblemsolving.com/c/d/4/cd481672bee1e87d8c97ac623436e0ec75cfa73a.png)
, let 
denote the smallest possible value of 
where 
are sets such that 
and 
whenever 
. Determine for each positive integer .
and 
intersect at 
. The common tangent line nearer to 
of the two circles touches 
at 
respectively. Let 
be the symmetric points of with respect to respectively. The circumcircle of triangle 
intersects circles and at points 
respectively which are distinct from . Prove that the circumradii of the triangles 
and 
are equal.
, 
. 
intersects 
at 
. A line 
cuts segment 
at 
respectively. If 
and 
, prove that the diameter of the circumcircle of 
equals 
.
are points on a circle 
, satisfying 
, 
. meets 
at 
. 
is on 
such that 
. Suppose 
intersects again at 
. 
is the reflection of 
wrt 
. Prove that 
lies on the same circle.
in its exterior
we draw the triangles 
so that 
, 
, 
.
and
and be on segment of an acute triangle 
such that 
and 
. Let and 
be the points on 
and 
, respectively, such that is the midpoint of 
and is the midpoint of 
. Prove that the intersection of 
and 
is on the circumference of triangle .
has a right angle at 
. Let be the point on line 
such that 
and 
lies between and 
. Point 
is chosen so that 
and is the bisector of 
. Point 
is chosen so that 
and 
is the bisector of 
. Let be the midpoint of . Let 
be the point such that 
is a parallelogram. Prove that 
and 
are concurrent.
such that the number of 
which satisfy the following condition is minimal:
has periodic 
and a point such that 
and 
are tangent to the circumcircle of . Let 
be the reflection of over and 
be the reflection of over 
. If 
is the circumcenter of 
, help Oscar prove that 
is perpendicular to .
is triangle and 
,
such that 
. Let 
meets with 
and 
at the second time 
respectively. 
and 
intersect at . Prove that 
is tangent to the 
and intersect at 
and 
. We'll prove that 
are cyclic.
.
are cyclic.
are collinear.
are cyclic.
, 
and 
are concurrent so , and are concurrent, let their concurrency point be . The radical axes of circles 
, and are concurrent so 
, and are concurrent, we know that intersection point of and is , so , , and are concurrent at point , so is tangent to , as desired.
![[asy]
import graph; size(13cm);
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 = -1.85536646698403, xmax = 35.12511020013301, ymin = -5.306020920464698, ymax = 13.877321872997403; /* image dimensions */
pen qqzzff = rgb(0.,0.6,1.);
filldraw((4.,0.)--(11.827055398593837,-3.8519543758649073)--(8.767275410968335,4.579920052837284)--cycle, qqzzff + opacity(0.05000000074505806), linewidth(1.) + qqzzff);
filldraw((11.827055398593837,-3.8519543758649073)--(25.3395450740991,4.579920052837284)--(15.62265479609936,11.165880965339193)--cycle, qqzzff + opacity(0.05000000074505806), linewidth(1.) + qqzzff);
/* draw figures */
draw((15.62265479609936,11.165880965339193)--(4.,0.), linewidth(1.));
draw((4.,0.)--(18.,0.), linewidth(1.));
draw((18.,0.)--(15.62265479609936,11.165880965339193), linewidth(1.));
draw(circle((11.,4.345641664874962), 8.239211217070311), linewidth(1.));
draw(circle((12.89607872981268,1.3070831003254622), 5.268631564593121), linewidth(1.));
draw((25.3395450740991,4.579920052837284)--(15.62265479609936,11.165880965339193), linewidth(1.));
draw((15.62265479609936,11.165880965339193)--(11.827055398593837,-3.8519543758649073), linewidth(1.));
draw((11.827055398593837,-3.8519543758649073)--(25.3395450740991,4.579920052837284), linewidth(1.));
draw((4.,0.)--(11.827055398593837,-3.8519543758649073), linewidth(1.));
draw((11.827055398593837,-3.8519543758649073)--(8.767275410968335,4.579920052837284), linewidth(1.));
draw((4.,0.)--(11.827055398593837,-3.8519543758649073), linewidth(1.) + qqzzff);
draw((11.827055398593837,-3.8519543758649073)--(8.767275410968335,4.579920052837284), linewidth(1.) + qqzzff);
draw((8.767275410968335,4.579920052837284)--(4.,0.), linewidth(1.) + qqzzff);
draw((11.827055398593837,-3.8519543758649073)--(25.3395450740991,4.579920052837284), linewidth(1.) + qqzzff);
draw((25.3395450740991,4.579920052837284)--(15.62265479609936,11.165880965339193), linewidth(1.) + qqzzff);
draw((15.62265479609936,11.165880965339193)--(11.827055398593837,-3.8519543758649073), linewidth(1.) + qqzzff);
draw((8.767275410968335,4.579920052837284)--(25.3395450740991,4.579920052837284), linewidth(1.));
/* dots and labels */
dot((15.62265479609936,11.165880965339193),dotstyle);
label("$A$", (15.71818532283096,11.417918950758672), NE * labelscalefactor);
dot((4.,0.),dotstyle);
label("$B$", (3.2211707116372647,-0.4542897011392019), NE * labelscalefactor);
dot((18.,0.),dotstyle);
label("$C$", (18.199946453453688,-0.4542897011392019), NE * labelscalefactor);
dot((8.767275410968335,4.579920052837284),dotstyle);
label("$D$", (8.407051181266707,4.866963894250053), NE * labelscalefactor);
dot((17.024882048657027,4.579920052837285),linewidth(4.pt) + dotstyle);
label("$E$", (17.10439424263825,4.7551728523301104), NE * labelscalefactor);
dot((11.827055398593837,-3.8519543758649073),linewidth(4.pt) + dotstyle);
label("$L$", (11.693707813713024,-4.58050793489148), NE * labelscalefactor);
dot((25.3395450740991,4.579920052837284),linewidth(4.pt) + dotstyle);
label("$T$", (25.421647761481985,4.7551728523301104), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
[/asy]](http://latex.artofproblemsolving.com/7/b/2/7b2949975c28d0999b106b46f6993598108ef364.png)
, , are concurrent at . Observe that there is a spiral similarity centered at 
which maps 
to 
, because 
and 
. Thus by the properties of spiral similarity we get that 
, so 
. 
are given such that 
.
in natural numbers m and n.
and 
then the radical axes of 
and 
so 
is tangent to 
is tangent to 
and 
are collinear. Meaning 
and we’re done.
is collinear
i
a