I have tried to find some known ODEs before posting on this forum, but I did not find anything about this kind of ODE:
$y'(x)^2 + a(x)*y(x)^2 = 1$
with $a\in C^∞(\mathbb{R},\mathbb{R})$ and $y\in C^∞(\mathbb{R},\mathbb{R})$
Can anyone give me some advices to find an analytical solution of this ODE and to find its existence and uniqueness?
Thanks in advance,