是定负的,当且仅当a<0和4av-b2>0 同时成立。 定理59对于系统(551), 如果存在定正的v(x),且 常负, dt 55.1) 但是使得 0点X的集合不含系统 dt (5.5.1) (551)的除零解外的任何整条正半轨线, Ordinary differential equationon 日录上页下页◎返回@结束8目录 上页 下页 返回 结束 同时成立。 是定负的，当且仅当 a  0 和 2 4 0 av b −  定理5.9 对于系统（5.5.1）， 如果存在定正的 V x( ) ，且 常负， (5.5.1) dV dt 但是使得 点 X 的集合不含系统 (5.5.1) 0 dV dt = (5.5.1)的除零解外的任何整条正半轨线