通过线性化证明对于 r, K > 0 的逻辑方程， P^* = K 是稳定平衡点， P^* = 0 不稳定。