Power Series Expansion for Real Arcsine Function

Theorem
The (real) arcsine function has a Taylor series expansion:

which converges for $-1 \le x \le 1$.

Proof
From the General Binomial Theorem:

for $-1 < x < 1$.

From Power Series is Termwise Integrable within Radius of Convergence, $(1)$ can be integrated term by term:

We will now prove that the series converges for $-1 \le x \le 1$.

By Stirling's Formula:

Then:

Hence by Convergence of P-Series:


 * $\ds \sum_{n \mathop = 1}^\infty \frac 1 {n^{3/2} }$

is convergent.

So by the Comparison Test, the Taylor series is convergent for $-1 \le x \le 1$.

Also see

 * Power Series Expansion for Real Arccosine Function
 * Power Series Expansion for Real Arctangent Function
 * Power Series Expansion for Real Arccotangent Function
 * Power Series Expansion for Real Arcsecant Function
 * Power Series Expansion for Real Arccosecant Function