Let

be a triangle with semiperimeter

and inradius

. The semicircles with diameters

,

,

are drawn on the outside of the triangle

. The circle tangent to all of these three semicircles has radius

. Prove that
Alternative formulation. In a triangle

, construct circles with diameters

,

, and

, respectively. Construct a circle

externally tangent to these three circles. Let the radius of this circle

be

.
Prove:

, where

is the inradius and

is the semiperimeter of triangle

.
%V0
Let $ABC$ be a triangle with semiperimeter $s$ and inradius $r$. The semicircles with diameters $BC$, $CA$, $AB$ are drawn on the outside of the triangle $ABC$. The circle tangent to all of these three semicircles has radius $t$. Prove that
$$\frac{s}{2}<t\le\frac{s}{2}+\left(1-\frac{\sqrt{3}}{2}\right)r.$$
Alternative formulation. In a triangle $ABC$, construct circles with diameters $BC$, $CA$, and $AB$, respectively. Construct a circle $w$ externally tangent to these three circles. Let the radius of this circle $w$ be $t$.
Prove: $\frac{s}{2}<t\le\frac{s}{2}+\frac12\left(2-\sqrt3\right)r$, where $r$ is the inradius and $s$ is the semiperimeter of triangle $ABC$.