dy/dx＝−sinx/cosy
＝−sinx/√(1−sin^2y)
＝−sinx/√(1−cos^2x)

ここまでおｋ

＝−sinx/|sinx|
＝−sgn(sinx)