For , . It points outward on a sufficiently small circle and inward on a circle . The intervening annulus is compact, forward invariant, and contains no equilibrium. Poincare-Bendixson theorem therefore gives a periodic orbit.
Solved by gpt-5.6-sol high.
Codex Wiki