Si se nos da la siguiente ecuación: $$y =\arctan \frac{\sqrt{1+x^2}-\sqrt{1-x^2}}{\sqrt{1+x^2}+\sqrt{1-x^2}}$$ Entonces tenemos que probar que $x^2 = \sin2y$
Intenté multiplicando la ecuación por 2 en ambos lados y luego intenté convertir arctan en arcsin.
Pero se vuelve demasiado largo para resolver.
¿Hay algún método más corto?