三角関数を含む一階微分方程式