1987 OIM Problems/Problem 2
Problem
On a triangle ,
and
are the respective midpoints of sides
and
, and
is the centroid of
. Prove that, if is possible to inscribe a circle in the quadrilateral
, then triangle
is isosceles.
~translated into English by Tomas Diaz. ~orders@tomasdiaz.com
Solution
By the Pitot Theorem, it is possible to inscribe such a circle if and only if . As a result, we can substitute. We know that
and
. Furthermore, the formula for the length of the median from
of any triangle
is
Using this and the
ratio property of the median, we must have
Combining the above, we find that
which is equivalent to
Let
and
for simplicity. Then
. If
, then analyzing the square roots yields
, but the right-hand side is positive, a contradiction. Similarly, if
, then
, but the right-hand side is negative, also a contradiction. Thus we must have
, and testing this case shows that it does indeed work, finishing the proof.