微分方程式について教えてください。
ω1、ω2、cを定数として次の方程式を考える。

θ1(t)d/dt = ω1 + csin(θ2(t) - θ1(t))
θ2(t)d/dt = ω2 + csin(θ1(t) - θ2(t))

このとき、θ(t) = θ1(t) -θ2(t), ω = ω1 - ω2 とおき、

θ(t)d/dt = f(θ(t)) の形に変形するとどうなるか?
またその平衡点を求め、線形化解析により lim θ(t) = 定数 が成立するか?

という問題です。
わかるものだけでもいいので、よろしくお願いします。