2016 OIM Problems/Problem 2
Problem
Find all positive real solutions of the system of equations:
~translated into English by Tomas Diaz. ~orders@tomasdiaz.com
Solution
Clearly works. We then prove that no other solutions exist.
First, if
, then
, so
and thus
. Since
must be positive, then we have
.
Next, if
, then
, so
and thus
. Since
must be positive, then we have
.
Since implies that
and
because they are all positive, this covers all possible values of
. Now, we use these properties on all variables.
Assume that . By
, we have
, and by
, we have
. Finally, by
, we have
, a contradiction, so no solutions exist in this case.
Similarly, assume that . By
, we have
, and by
, we have
. Finally, by
, we have
, a contradiction, so no solutions exist in this case either.
As a result, this leaves as our only solution.