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 acute triangle with 
. Let 
be the centroid of triangle 
and let 
be the foot of the perpendicular from 
to side 
. The median 
intersects the circumcircle 
of triangle at a second point 
. Let 
be the point where intersects . The line 
intersects the circle at a point 
, such that lies between and . Prove that the points 
and lie on a circle.
-clique to be a set of people such that every pair of them are acquainted with each other. At a certain party, every pair of 3-cliques has at least one person in common, and there are no 5-cliques. Prove that there are two or fewer people at the party whose departure leaves no 3-clique remaining.
be a unit square. Points 
are chosen outside so that 
. Let 
, respectively, be the incenters of 
. Show that the area of 
is at most 
.
. Points 
and 
lie on segments and 
, respectively. Lines 
and 
intersect at point . The circumcircles of triangles 
and 
intersect at a second point . The circumcircles of triangles and 
intersect at a second point . Point 
lies on segment 
such that 
. Prove that triangles 
and 
are similar.
from the non-zero reals to the non-zero reals, such that ![\[f(x+y) \left(f(x) + f(y)\right) = f(xy)\]](http://latex.artofproblemsolving.com/2/f/e/2fe8a09e628f60faedaa07ceb154891375763a83.png)
for all non-zero reals 
such that 
.
. Prove that
Let 
. Prove that
Let 
. Prove that
be a real numbers such that 
Prove that
Where 
such that there exists a prime number 
, such that 
is a power of 
. is a number of the form 
where 
is a positive integer.
atoms called usamons. Each usamon either has one electron or zero electrons, and the physicist can't tell the difference. The physicist's only tool is a diode. The physicist may connect the diode from any usamon 
to any other usamon 
. (This connection is directed.) When she does so, if usamon has an electron and usamon does not, then the electron jumps from to . In any other case, nothing happens. In addition, the physicist cannot tell whether an electron jumps during any given step. The physicist's goal is to isolate two usamons that she is sure are currently in the same state. Is there any series of diode usage that makes this possible?
, 
. the incircle 
of meet 
at point , 
meet again at . 
is a tangent of , and meet the extension line of at . 
, 
. the line 
meet at 
, point is on the line segment , the line segment 
meet again at . Show that 
be the point such that 
is a parallelogram . Hence 
and 
Hence 
is a parallelogram.
. But 
. Hence 
is cyclic.
. 
lies inside triangle so that 
. The point is such that 
is a parallelogram. Prove that 
.
. Then points 
are concyclic. Using 
is a parallelogram we get
Similarly 
. Hence,
![[asy]
size(200);
pair B=dir(-160),C=dir(-20),E=dir(70),F=dir(135),A=extension(B,F,C,E),P=extension(B,E,C,F),Q=B+C-P;
draw(unitcircle,cyan);
fill(P--E--F--P--cycle,purple+grey+grey);
fill(B--Q--C--B--cycle,purple+grey+grey);
dot("$A$",A,dir(A));
dot("$B$",B,dir(B));
dot("$C$",C,dir(C));
dot("$E$",E,dir(E));
dot("$F$",F,dir(F));
dot("$P$",P,dir(-90));
dot("$Q$",Q,dir(Q));
draw(A--B--C--A,royalblue);
draw(B--E^^C--F,red);
draw(P--A--Q,green);
draw(B--Q--C^^E--F,brown);
[/asy]](http://latex.artofproblemsolving.com/c/3/a/c3a5e6bde8cb758fbb2214e5c8fa14940fbd8308.png)
denote homothety at with scale 
followed by reflection in internal angle bisector of 
. Note 
and 
. Thus 
is a point such that 
Hence 
. As also consists of reflection in internal angle bisector of , so 
follows. 
and 
. Since these are parallel pairs of lines, 
are the points at infinity for those pencils of parallel lines respectively. Note that 
by 
and 
. Thus, 
is isogonal to 
wrt. . Hence by DDIT on complete quadrilateral 
, there exists a projective involution swapping 
, 
, 
. This is taking the isogonal, and so 
are isogonal. 
Putting them together, we get![\[\frac{\sin(\angle QAC)}{\sin(\angle BAQ)} = \frac{CQ}{BQ}= \frac{BP}{PC} = \frac{\sin(\angle BAP)}{\sin(\angle PAC)}\]](http://latex.artofproblemsolving.com/2/1/9/219c9710c194c69c02102a61f129a2c27089f106.png)
and since 
, we have that 
and we're done. .
. Note that 
. Also note that 
. Both angle equalities are there since is a parallelogram. So, consider homothety 
under follow by reflection along the angle bisector of with scale 
. Note that sends to and to . Then sends to 
such that 
. So, it also implies that the line 
is a reflection of the line along the angle bisector of , which implies . So, we're done.
be the isogonal conjugate of 
Consider the lines through parallel to 
These lines intersect at points 
with between and 
and they intersect at points 
with between and 
Since 
we have that 
is cyclic. Also, since 
we have 
is cyclic, and similarly 
is cyclic, so 
is cyclic, and by Reim's theorem we have 
parallel. Now, take a homothety at sending 
to 
It is not hard to see that this takes to 
so 
are collinear, and we have 
as desired. 
be the isogonal conjugate of in , the angle condition implies that is on the perpendicular bisector of . Use barycentric coordinates with respect to and let 
. Then 
and 
. We have
where the last equality holds because is on the perpendicular bisector of . Hence are collinear, so 
. Done.
and 
. Then 
is cyclic and is a parallelogram, so![\[\angle PXY = \angle BCP = \angle CBQ, \quad \angle PXY = \angle CBP = \angle BCQ.\]](http://latex.artofproblemsolving.com/c/4/8/c48139ea59c1b9b90c2540bb70d5bc11e2b8d5eb.png)
as well as 
, so the quadrilaterals 
and 
are also similar with opposite orientation, which implies the desired. 
be the reflection of across the midpoint of 
. It is clear that 
is a parallelogram. Then, notice that 
, and 
. Hence, is a parallelogram, meaning that 
.![\[\angle ABQ = \angle PBQ+\angle ABP =\angle PCQ+\angle PCA = \angle ACQ.\]](http://latex.artofproblemsolving.com/3/1/f/31f97b897eac7a55612a5c680e47def8dfe46b2c.png)
, so is cyclic. Thus,![\[\angle BAP = \angle ABR = \angle AQR = \angle CAQ. \ \square\]](http://latex.artofproblemsolving.com/1/6/a/16a8865ddddc47799abcab7efec03a458234fb5f.png)
be the point such that 
is a parallelogram. First note that 
since is a parallelogram as well. Additionally, this gives 
so 
is also a parallelogram. Then 
so 
is cyclic.
and 
so 
Finally, 
as desired.
, 
, and .
is a parallelogram since 
and 
. Similarly, 
is a parallelogram. Then we have 
so 
is cyclic. Then 
so we are done.
, 
, 
, 
. The Sine Law in 
and 
gives 
, i.e. 
. Analogously 
. However, 
and 
from the parallelogram , thus 
. Hence 
, equivalent to 
, i.e. 
, as desired.
from point .
, and 
, so we get that , 
, and are involutions.
, so and are both involutions around the angle bisector of . So it follows that and are isogonal as desired.
over the midpoint of be 
We see that 
is a parralelogram. We show 
is cyclic because then 
Let 
Then 
Then note that 
Therefore 
as desired
until is the orthocenter of , then is the antipode so it's obvious.
to be parralelogram and trivial by similarity of 
and .
, 
being isogonal. From here Isogonal Line Lemma (or DDIT if you wish) gives the required.
, then 
is cyclic and 
.
and its reflection 
the 
angle bisector. is sent to and to and as this transformation preserves similarity, it sends to , hence and are isogonal.
.
Let 
.![$$ \frac{1}{2}\geq \frac{a}{a^2+3 }+ \frac{b}{b^2+3} \geq \frac{1}{4}(\frac{1}{\sqrt[3]{3}}+\sqrt[3]{3}-1)$$](http://latex.artofproblemsolving.com/f/9/1/f9119e071c12778037616c624c7b9ca75356e8e3.png)
![$$ \frac{1}{2}\geq \frac{a}{a^3+3 }+ \frac{b}{b^3+3} \geq \frac{1}{2\sqrt[3]{9}}$$](http://latex.artofproblemsolving.com/2/b/2/2b2d8a011229fe88a81cb75f9b018ad3a6245faa.png)
![$$ \frac{1}{2}\geq \frac{a}{a^2+ab+2}+ \frac{b}{b^2+ ab+2} \geq \frac{4\sqrt[3]{3}+3\sqrt[3]{9}-6}{17}$$](http://latex.artofproblemsolving.com/5/f/6/5f673cd494b1909ca237db63e96f949c24b6f2ad.png)
![$$ \frac{1}{2}\geq \frac{a}{a^3+ab+2}+ \frac{b}{b^3+ ab+2} \geq \frac{\sqrt[3]{3}}{5}$$](http://latex.artofproblemsolving.com/b/c/3/bc343a07c88dbd98ebffdfb78f311b7b82683d65.png)
.
,
,
,
and comparing them we get that
.
and 
then the equation reduces to 
be its reflection over 
and 
are obviously parallel. 
are antiparallel wrt 
since 
form a parallelogram, so done.![[asy]
unitsize(1cm);
pair A, B, C, P, Q, X;
A=(2,3sqrt(5));
B=(0,0);
C=(8,0);
P=(2,4sqrt(5)/5);
Q=B+C-P;
X=A+P-B;
draw(A--B--C--A--P--B--Q--C--P--A--X--P--A--Q--C--X);
draw(circumcircle(A,C,P));
label("$A$", A, NW);
label("$B$", B, W);
label("$C$", C, SE);
label("$P$", P, dir(-105));
label("$Q$", Q, S);
label("$X$", X, N);
[/asy]](http://latex.artofproblemsolving.com/7/0/4/704b5f7f0625f0924ab5d52d0476cee1554d07cc.png)
be the reflection of 
and 
,
is a paralellogram. Therefore, 
,
is cyclic. Therefore, 
.
and 
to meet 
;
and that 
.
