Estoy resolviendo una EDO
$$y^2 \, dx + \left(x\sqrt{y^2 - x^2} - xy\right)dy=0$$
Dejo $y=xu$ e hice un poco de álgebra, y terminé con esto
$$\ln(x)+C=\int \frac{1}{\sqrt{u^2 - 1}} \, du - \int \frac{1}{u} \, du$$
No sé cómo resolver la primera integral del lado derecho. He intentado dejar que $u^2 - 1 = t$ por lo que se convierte en
$$\int\frac{1}{\sqrt{u^2 - 1}}=\int\frac{1}{\sqrt{t}}\frac{1}{2u} \, dt = \int \frac{1}{\sqrt{t}} \frac{1}{2} \frac{1}{\sqrt{t-1}} \, dt,$$
que no parece funcionar. La respuesta correcta parece ser
$$\ln \left(\sqrt{x^2 - 1} - x\right)$$
Pero, ¿cómo lo conseguimos?