sinycosxdy+cosysinxdx=0
sinycosxdy=-cosysinxdx
tanydy=-tanxdx
两边积分
ln|siny|=-ln|sinx|+C
ln|sinxsiny|=C
sinxsiny=C