Edición: para responder lo más ampliamente posible a la pregunta, tras los comentarios del OP, he reelaborado y ampliado mi respuesta anterior .
La primera de tus conclusiones es correcta, mientras que estás interpretando mal la segunda: cuando $x=\pm\frac{\pi}{2}$ estás en el límite del círculo de convergencia, por lo tanto la serie de potencias puede o no converger en esos puntos La prueba de la raíz funciona cuando $$ \lim_{n \to \infty} \sqrt[n]{a_nx^n}=\lim_{n \to \infty}\left|\frac{1}{2^n}\frac{\pi^n}{(\cos^{-1}(\sqrt{n+1}-\sqrt{n}))^n}\right|^{\frac{1}{n}}=1 $$
El teorema de Cauchy-Hadamard dice simplemente que la prueba de raíz aplicada a los coeficientes $\langle a_n \rangle_{n \in \mathbb{N}}$ (en general $a_n \in \mathbb{C}$ para todos $n \in \mathbb{N}$ ) de una serie de potencias dada $\sum_{n=0}^{\infty} a_n x^n$ determina los valores $R$ de la radio de convergencia $$ R=\frac{1}{\lim_{n \to \infty} \sqrt[n]{a_n}} $$ para lo cual $|x|<R$ implica la convergencia de su serie de potencias, pero no puede decir nada cuando $|x|=R$ por lo que ha determinado correctamente el radio de convergencia $R=\frac{\pi}{2}$ de su serie de potencias, pero esto no da ningún conocimiento sobre su trayectoria los extremos de su intervalo (disco) de convergencia.
Cómo encontrar el comportamiento de $\sum_{n=0}^{\infty} a_n x^n$ para $x=R$ ?
Asumiendo sin pérdida de generalidad $R=1$ (siempre se puede utilizar la transformación $x\mapsto Rx$ y considerar una nueva serie de potencias $\sum_{n=0}^{\infty} \hat{a}_n x^n$ con $\hat{a}_n=a_nR^n$ para todos $n\in\mathbb{N}$ ), aparte del criterio de convergencia estándar de Cauchy que Dèö cita en los comentarios a su respuesta, la única condición necesaria y suficiente para la convergencia de las series de potencias en los puntos límite $|x|=1$ que conozco es el segundo teorema de Tauber. En la situación actual, afirma que la serie de potencias es sumable y el valor de su suma es $s_\pm$ ( $s_+$ para $x=1$ y $s_-$ para $x=-1$ (nótese que el enunciado original de Tauber considera cada punto límite de forma singular) si y sólo si
- $\lim_{z\to \pm 1^-}\sum_{n=0}^\infty a_nx^n=s_\pm$ y
- $a_1+2a_2+\cdots+na_n=o(n)\quad \forall n\in\mathbb{N}_+$ .
Sin embargo, al igual que el criterio de Cauchy, no es fácilmente aplicable a los problemas reales: el cumplimiento de la condición 1 supone exigir la serie $\sum_{n=0}^\infty a_n$ para ser Abel sumable mientras que el cumplimiento de la condición 2 significa que el La media de Cesaro de sus sumas parciales desaparece como $n\to \infty$ . Definitivamente no son las propiedades más fáciles de comprobar, aunque en algunos casos pueden ser bastante eficaces.