AoPS Academy
be positive real numbers .Prove that
+1 w positive real numbers satisfying 
,show that:![$\sqrt[3]{\frac{a^3+b^3+c^3}{3}}+\frac{a+b+c}{9} \geq \frac{4}{3}$](http://latex.artofproblemsolving.com/c/b/3/cb39e7f838c99ed8a209c6844f3d2810838d1dfd.png)
.
Prove that
Where 
Prove that
Let 
Prove that
Let 
Prove that
is the 
-excenter of the triangle 
and 
is the circumcircle of this triangle. 
is the middle of arc 
of which doesn't contain 
. 
meets at 
. Prove that
and 
be the incenter and the excenters of 
againts 
Since is 9-point circle of 
then cuts 
at their midpoints 
Since 
(
bisects 
), then 
are concylic hence
which is due to 
bisecting 
than 
be the midpoint of arc containing 
is the circumcenter of 
and 
are tangent to 
is the symmedian of 
lies on the symmedian such that 
bisects 
and the conclusion follows
and since 
is an angle bisector of , 
. Now, let be the second intersection of the circumcircle 
of 
and , so we have 
, which means that 
and 
is tangent to , so 
, so by AA symmetry, 
, and the result follows. be the incenter of . Show that it is possible to construct a right triangle with side lengths 
.
is a triangle with circumcircle 
. Let be the incenter, be the midpoint of arc not including , and let 
be the midpoint of arc 
. If 
, show that 
: Let 
. It's trivial by angle chasing that 
and that 
, now PoP kills it.
be the midpoint of arc 
of and let 
be the 
-excenter. It is well-known that 
are inscribed in the circle 
of diameter 
with center 
Moreover, note that is the midpoint of arc 
, implying that and 
are the internal and external bisectors of , respectively. Therefore, the inversion with power 
combined with a reflection in swaps and fixes lines and 
It follows that the center of 
(the image of ) is a point on line However, the center of must also lie on the perpendicular bisector of 
, implying that the center is itself. Therefore, is fixed under this inversion, and hence is fixed as well. Thus, 
as desired. 
be the midpoint of arc . And 
is a circle with centre and radius 
. 
.
and 
so 
and it's enough to show that 
We know that 
and 
are tangent to . So we can simply show that 
and .
and 
.It's easy to find the coordinates of by intersecting and .So we finish problem using Distance formula.
and .It's easy to find the coordinates of by intersecting and .So we finish problem using Distance formula.
and .It's easy to find the coordinates of by intersecting and .So we finish problem using Distance formula.
are both tangent to circumcircle of 
by angle chasing.Also 
is cyclic so is the midpoint of symmedian in triangle 
and so two triangles 
is similar to 
from which the relation follows.
is unit circle, 
. So 
and 
. We now want 
. But its easy just solve 
.We get 
And now we need to prove 
. After substituting and 
we see that both sides are equal to 
and we are done.
is the 
dumpty point of 
which implies the result since the dumpty point is the center of spiral similarity sending 
to 
.symmedian and 
, where 
is the circumcenter of . Now by Ceva's theorem
Since 
,
which implies that 
is a symmedian. Moreover,
Hence 
is cyclic which completes the proof.
since 
bisects 
.![[asy] size(5cm); defaultpen(fontsize(10pt));
pair B,A,C,I,M,NN,IB,T,X; B=dir(110); A=dir(210); C=dir(330); I=incenter(A,B,C); M=extension( (B+C)/2,origin,A,I); NN=extension( (C+A)/2,origin,B,I); IB=2NN-I; T=2*foot(origin,M,IB)-M; X=2*foot(origin,IB,C)-C;
draw(circumcircle(A,C,IB),gray); draw(M--A,gray); draw(B--IB,dashed); draw(C--IB,dashed); draw(unitcircle); draw(A--B--C--cycle); draw(M--IB);
dot("\(A\)",A,A); dot("\(B\)",B,B); dot("\(C\)",C,C); dot("\(M\)",M,M); dot("\(N\)",NN,SW); dot("\(I_B\)",IB,S); dot("\(T\)",T,SE); dot("\(I\)",I,NW); [/asy]](http://latex.artofproblemsolving.com/8/4/7/847e9f4a99fe59c94afa43395984b741d9adc254.png)
![\[\measuredangle I_BTC=\measuredangle MTC=\measuredangle IAC=\measuredangle BI_BC=\measuredangle BI_BT+\measuredangle TI_BC,\]](http://latex.artofproblemsolving.com/4/8/3/483a92707c808d23d140d8b38a45f7729f7c528a.png)
thus 
, so ![\[\triangle TBI_B\sim\triangle TI_BC.\]](http://latex.artofproblemsolving.com/a/5/2/a52d24927e419a6ef011b4a1e19a95c5c22c1f69.png)
It follows that 
, as needed
is the midpoint of the arc, then but notice we want 
and thus we just need one more angle to prove 
. We'll show 
, but 
and as 
and thus 
, proving our claim.
and are tangent to 
gives that is 
dumpty point so this implies the conclusion as
. Prove that
.
.
.
gives 
,
so 
let 
intersect 
so 
combining with 
we are done because we have 
.
is diameter of 
so 
and it's well known that 
are tangent to 
centered at 
and 
)
point in triangle 
so Done 
And that would obviously imply the desired.
Also
And
Whence
So
.
We obtain that 
and
hence we conclude that 
.
follows directly from 
are similar, which clearly implies the result. Relabel 
and let 
be the arc midpoint of minor arc 
so 
.
.
,
.
by standard angle facts. So 
,
.
not containing 
is a kite, we get that 
and we know that 
.
.
.
,
.
.
by 
.
.
are tangents to 
so 
is harmonic.Say 
is the midpoint of 
.
,
So 
and is the spiral center taking 
or,
