リエナール方程式が次の5つの条件を満たすとき、formula_1平面状に唯一の安定なリミットサイクルを持つ。