One way to prove the point is stable is using Lyapunov stability theory, a common practice in control engineering. Consider the function
V = 1/2 * x^2 + 1/2 * y^2
which we differentiate along the trajectories of x_dot, y_dot to find
V_dot = - y^2,
which implies that x and y are...