Find the sum of all the roots of the equation $\displaystyle \sin\ \sqrt{x} = -1$, which are less than $\displaystyle 100\pi^2$. Also find the sum of the square roots of these roots. Now may we conclude that all the roots are also roots of $\displaystyle \cos\ \sqrt{x} = 0$ ?Justify your answer.