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 an integer. Find all sequences 
satisfying the following conditions:![\[ \text{ (a) } a_i \in \left\{0,1\right\} \text{ for all } 1 \leq i \leq n^2 + n;
\]](http://latex.artofproblemsolving.com/3/c/5/3c509ec2e9013e8d3be492c8eb44a7c33841b74e.png)
![\[ \text{ (b) } a_{i + 1} + a_{i + 2} + \ldots + a_{i + n} < a_{i + n + 1} + a_{i + n + 2} + \ldots + a_{i + 2n} \text{ for all } 0 \leq i \leq n^2 - n.
\]](http://latex.artofproblemsolving.com/9/7/d/97d2a467d1c0dc8594ec024c3bb9b8c87ee85b19.png)
and 
. Prove that
Equality holds when 
or 
and 
, Ivica and Marica play the following game: Given two piles of cookies, on each turn a player takes 
cookies from one of the piles, of which he eats 
and puts of is arbitrary in every move. Players take turns alternatively, with Ivica going
for which Marica has a winning strategy.
be non-negative real numbers such that 
Prove that
be the circumcenter, symmedian point of 
. Show that the tangent of 
at 
,the tangent of 
at 
, the tangent of 
at 
are concurrent.
be distinct natural numbers each of which has exactly 
positive integer factors. For instance, 
has exactly positive integer factors 
. Assume that no prime larger than 
divides any of the 
's. Show that there must be some perfect cube among the 's.
be an integer. Prove that 
can be written as a polynomial with integer coefficients in the variables 
, 
and 
.
, where 
are real numbers such that 
is an integral multiple of 
. Using (a) or otherwise show that if 
, then 
for all positive integers .
be the orthocenter of an acute-angled triangle 
. The circle 
centered at the midpoint of 
and passing through intersects the sideline at points 
and 
. Similarly, define the points 
, 
, 
and 
., , , , and are concyclic.
with real coefficient. It is known that 
and 
. Prove that 
can't have 
distinct real roots.
be an acute triangle. Let 
be a point on side 
and 
be a point on side 
such that lines 
and 
are parallel. Let 
be an interior point of 
. Suppose rays 
and 
meet side at points 
and 
, respectively, such that both and lie between and . Suppose that the circumcircles of triangles 
and 
intersect at a point 
. Prove that the points 
, and 
are collinear.
. Prove that:
be a triangle, 
its circumcenter and 
its circumradius. Let 
be the centroids of the triangles 
and 
Prove that the triangle is equilateral if and only if 
to be the unit circle. Hence, is the origin. Set 
to be the orthocenter of . Hence, 
and 
..
.
is equilateral if and only if 
, which gives 
as desired.
are complex numbers that and 
then .
where 
.
Hence, 
., done.
and be the circumcenter and orthocenter of . Let be the reflection of over and let 
denote the centroids of 
.
where 
are concurrent.
be the midpoints of 
respectively.
,
and 
.
gives 
.
is the 
of 
and hence 
.
.
are parallel to that of ![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki, go to User:Azjps/geogebra */import graph; size(8cm); real labelscalefactor = 0.5; /* changes label-to-point distance */pen dps = linewidth(0.7) + fontsize(0); defaultpen(dps); /* default pen style */ pen dotstyle = black; /* point style */ real xmin = -10.211, xmax = 13.7228, ymin = -8.7068, ymax = 7.2652; /* image dimensions */pen wrwrwr = rgb(0.3803921568627451,0.3803921568627451,0.3803921568627451); draw((-3.89,4.6)--(-6.93,-4.42)--(5.47,-4.42)--cycle, linewidth(0.5) + red); /* draw figures */draw((-3.89,4.6)--(-6.93,-4.42), linewidth(0.5) + red); draw((-6.93,-4.42)--(5.47,-4.42), linewidth(0.5) + red); draw((5.47,-4.42)--(-3.89,4.6), linewidth(0.5) + red); draw((-6.93,-4.42)--(-0.73,-1.4872949002217293), linewidth(0.5) + wrwrwr); draw((-0.73,-1.4872949002217293)--(5.47,-4.42), linewidth(0.5) + wrwrwr); draw((-3.89,4.6)--(-0.73,-1.4872949002217293), linewidth(0.5) + wrwrwr); draw((-6.93,-4.42)--(-2.31,1.556352549889135), linewidth(0.5) + wrwrwr); draw((-3.83,-2.9536474501108647)--(-3.89,4.6), linewidth(0.5) + wrwrwr); draw((-2.31,1.556352549889135)--(5.47,-4.42), linewidth(0.5) + wrwrwr); draw((2.37,-2.9536474501108647)--(-3.89,4.6), linewidth(0.5) + wrwrwr); draw((-3.83,-2.9536474501108647)--(5.47,-4.42), linewidth(0.5) + wrwrwr); draw((2.37,-2.9536474501108647)--(-6.93,-4.42), linewidth(0.5) + wrwrwr); draw((-3.89,4.6)--(-0.73,-3.442431633407243), linewidth(0.5) + wrwrwr); draw((-3.85,-0.4357649667405765)--(5.47,-4.42), linewidth(0.5) + wrwrwr); draw((-6.93,-4.42)--(0.2833333333333333,-0.43576496674057674), linewidth(0.5) + wrwrwr); /* dots and labels */dot((-3.89,4.6),dotstyle); label("$A$", (-4.0642,5.063), NE * labelscalefactor); dot((-6.93,-4.42),dotstyle); label("$B$", (-7.3796,-5.3768), NE * labelscalefactor); dot((5.47,-4.42),dotstyle); label("$C$", (5.4706,-5.1736), NE * labelscalefactor); dot((-0.73,-1.4872949002217293),linewidth(4pt) + dotstyle); label("$O$", (-0.6278,-1.3016), NE * labelscalefactor); dot((-3.83,-2.9536474501108647),linewidth(4pt) + dotstyle); label("$E$", (-4.2432,-3.8006), NE * labelscalefactor); dot((2.37,-2.9536474501108647),linewidth(4pt) + dotstyle); label("$F$", (2.4698,-3.1536), NE * labelscalefactor); dot((-2.31,1.556352549889135),linewidth(4pt) + dotstyle); label("$D$", (-2.725,1.7476), NE * labelscalefactor); dot((-0.73,-3.442431633407243),linewidth(4pt) + dotstyle); label("$G_1$", (-0.9182,-4.3088), NE * labelscalefactor); dot((0.2833333333333333,-0.43576496674057674),linewidth(4pt) + dotstyle); label("$G_2$", (0.0886,-0.2368), NE * labelscalefactor); dot((-3.85,-0.4357649667405765),linewidth(4pt) + dotstyle); label("$G_3$", (-4.924,-0.3578), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */
[/asy]](http://latex.artofproblemsolving.com/3/1/7/317ada6e73f43862d80333151e0f37ada378d770.png)
which has component sum 
,![$S=2\left[ABC\right]$](http://latex.artofproblemsolving.com/f/7/5/f750f3e7ef0dacc489c83cbefd55fc666e3e5ffc.png)
.
with the same component sum, so 
is 
.
concur at 
.