Can we prove $\sin(x)^2 + \cos(x)^2 = 1$ using just their series?

Absolutely. Power series actually multiply just like polynomials do: $$(a_0+a_1x+a_2x^2+a_3x^3+\ldots)(b_0+b_1x+b_2x^2+\ldots)=\sum_{n=0}^{\infty}\left(\sum_{c=0}^na_cb_{n-c}\right)x^n.$$

Let $$\alpha(x)=\left(\sum_{n=0}^{\infty} (-1)^n\frac{x^{2n+1}}{(2n+1)!}\right)^2$$ $$\beta(x)=\left(\sum_{n=0}^{\infty} (-1)^n\frac{x^{2n}}{(2n)!}\right)^2.$$ First, it is clear that the constant term of $\alpha(x)+\beta(x)$ is indeed $1$, as we can check directly. Thus, we merely need to check that every other coefficient vanishes.

Note that, either from the formula for products or by noting that both are even functions, all the coefficients of odd powers of $x$ in both $\alpha$ and $\beta$ and thus $\alpha+\beta$ vanish. Now, consider the coefficient of $x^{2n}$ in either. In $\beta$, the formula gives the coefficient of $x^{2n}$ as, where we use the variable $k$ to count only the even (non-zero) coefficients of $\cos(x)$: $$\sum_{k=0}^n(-1)^c\cdot (-1)^{n-k}\cdot \frac{1}{(2n-2k)!}\cdot \frac{1}{(2k)!}=(-1)^n\cdot \sum_{k=0}^n\frac{1}{(2k)!(2n-2k)!}.$$ The same can be done to find the coefficient of $x^{2n}$ in $\alpha$, using $k$ to enumerate odd coefficients of $\sin(x)$: $$\sum_{k=0}^{n-1}(-1)^k\cdot (-1)^{n-k-1}\cdot \frac{1}{(2n-2k-1)!}\cdot \frac{1}{(2k+1)!}=(-1)^{n-1}\cdot \sum_{k=0}^{n-1}\frac{1}{(2k+1)!(2n-2k-1)!}.$$ We are trying to show that the coefficient of $x^n$ in $\alpha+\beta$ is zero for $n>0$. This amounts to showing the following equality for all $n>0$: $$\sum_{k=0}^{n-1}\frac{1}{(2k+1)!(2n-2k-1)!}=\sum_{k=0}^n\frac{1}{(2k)!(2n-2k)!}.$$ Multiplying through by $(2n)!$ on both sides reduces this to a combinatorial equality: $$\sum_{k=0}^{n-1}{2n\choose 2k+1} = \sum_{k=0}^n{2n\choose 2k}.$$ This just says that the number of subsets of $2n$ with an odd number of elements equals the number of subsets of $2n$ with an even number of elements - but this is easy to show: We can define a bijection $\pi$ which takes a set $S\subseteq \{1,\ldots,2n\}$ and takes it to $S\cup \{1\}$ if $1\not\in S$ and $S\setminus \{1\}$ if $1\in S$. This places sets of odd and even parity into bijection, showing the desired equality.


Note that just using their series

$$\sin^2 x + \cos^2 x=(\cos x+i\sin x)(\cos x-i\sin x)\stackrel{\text{by series}}=e^{ix}e^{-ix}=1$$