If at steady state,
and both are non-0, then
There are thus only two possible non-0 steady-state values, noted
and
, with
. Noting
, and supposing that
and
exist,
, ie
.
Consider the Jacobian matrix of the system, reordered so that variables having
as a value come before those having
as a value:
With the appropriate eigenvectors, it is easy to show that
and
are eigenvalues for this matrix, of order
and
. Thus, if
and
, a necessary condition for stability of an equilibrium is
and
. In particular, there can be at most 1 variable having
as a value.
The first term is positive because the values of
and
are symmetrical with respect to
. The second term is also positive, and the sufficient condition for the instability of the equilibrium is thus met.
Thus, there is no stable equilibrium with non-0 variables having different values.