Ecuación diferencial tanydx-ctanxdy=0

Tenemos la ecuación:
$$\tan{\left(y{\left(x \right)} \right)} - \cot{\left(x \right)} \frac{d}{d x} y{\left(x \right)} = 0$$
Esta ecuación diferencial tiene la forma:

f1(x)*g1(y)*y' = f2(x)*g2(y),

donde
$$\operatorname{f_{1}}{\left(x \right)} = 1$$
$$\operatorname{g_{1}}{\left(y \right)} = 1$$
$$\operatorname{f_{2}}{\left(x \right)} = - \tan{\left(x \right)}$$
$$\operatorname{g_{2}}{\left(y \right)} = - \tan{\left(y{\left(x \right)} \right)}$$
Pasemos la ecuación a la forma:

g1(y)/g2(y)*y'= f2(x)/f1(x).

Dividamos ambos miembros de la ecuación en g2(y)
$$- \tan{\left(y{\left(x \right)} \right)}$$
obtendremos
$$- \frac{\frac{d}{d x} y{\left(x \right)}}{\tan{\left(y{\left(x \right)} \right)}} = - \tan{\left(x \right)}$$
Con esto hemos separado las variables x y y.

Ahora multipliquemos las dos partes de la ecuación por dx,
entonces la ecuación será así
$$- \frac{dx \frac{d}{d x} y{\left(x \right)}}{\tan{\left(y{\left(x \right)} \right)}} = - dx \tan{\left(x \right)}$$
o
$$- \frac{dy}{\tan{\left(y{\left(x \right)} \right)}} = - dx \tan{\left(x \right)}$$

Tomemos la integral de las dos partes de la ecuación:
- de la parte izquierda la integral por y,
- de la parte derecha la integral por x.
$$\int \left(- \frac{1}{\tan{\left(y \right)}}\right)\, dy = \int \left(- \tan{\left(x \right)}\right)\, dx$$
Solución detallada de la integral con y
Solución detallada de la integral con x
Tomemos estas integrales
$$- \log{\left(\sin{\left(y \right)} \right)} = Const + \log{\left(\cos{\left(x \right)} \right)}$$
Solución detallada de una ecuación simple
Hemos recibido una ecuación ordinaria con la incógnica y.
(Const - es una constante)

La solución:
$$\operatorname{y_{1}} = y{\left(x \right)} = \pi - \operatorname{asin}{\left(\frac{C_{1}}{\cos{\left(x \right)}} \right)}$$
$$\operatorname{y_{2}} = y{\left(x \right)} = \operatorname{asin}{\left(\frac{C_{1}}{\cos{\left(x \right)}} \right)}$$