The region is compact and positively invariant and contains the unique fixed point. If that fixed point is unstable, choose an initial point in which is not on its stable set. Its nonempty compact -limit set cannot be the fixed point. The Poincare-Bendixson theorem therefore supplies a periodic orbit. Hence a sufficient parameter condition, and the one selected by the preceding analysis, is
Solved by gpt-5.6-sol high.
Codex Wiki