Can anyone help me with this exercise?
"Find all solutions defined on $[0,+\infty)$ to the differential equation $$ \begin{cases} {\dot x}^2=1-x^2,\\ x(0)=0,\\ \dot x(0)=1. \end{cases} $$ and study their regularity."
Why two initial condition ? Should I use the following identity? $$ \dot{(\dot x x)}=\ddot x x + \dot x \dot x.$$
Thanks in advance.
UPDATE. My ideas:
First of all we observe the presence of two equilibria ($\pm 1$). They are not solutions because they do not respect the initial conditions. Suppose $1-x^2\neq 0$. Since $\dot x (0) = 1$, for sign permanence we will have $\dot x> 0$ on $[0, \delta]$ (for a suitable $\delta>0$). We can make the square root to both members and remove the absolute value at $\dot x$, that is$$ \begin{cases} {\dot x}=\sqrt{1-x^2},\\ x(0)=0,\\ \dot x(0)=1. \end{cases} $$ At this point, since $1-x^2$ is non-zero, we can divide and by separation of the variables I get that the solution on $[0, \delta]$ is $x(t)=sin (t)$. I note that I can extend this solution with uniqueness on $[0,\, \pi / 2]$. At this point I can:
continue with the sin function,
glue the $\sin$ and the constant function $1$,
glue the $\sin$ the constant functions $\pm 1$ and $\cos$ (the gluing must be done in the points where $\sin$ and $\cos$ are equal to $1$ or $-1$).
I claim that the possible solutions are only those listed above.
Question: is it sufficiently formal? Do you agree with my solution and with my final claim?



hint
Differentiating the first equation gives
$$2\dot x \ddot x=-2 x \dot x$$
thus $$\ddot x+x=0$$
and $$x=A\cos(t)+B\sin(t)$$
the initial conditions yields to $$x=\sin(t)$$