>>490
> b(t)a'(t)=p(t)x(t)+q(t)y(t)≠0を満たすことである。

これ、「b(t)a'(t)=p(t)x'(t)+q(t)y'(t)=0を満たすことである」じゃない?