Vtyjkyuk

I had this crazy idea trying to prove the Pythagorean trigonometric identity;$$sin^2x+cos^2x=1$$by squaring the infinite Taylor series of $sin x$ and $cos x$. But it came out quite beautiful, involving also a combinatorics identitie.

The proof:

$$sin x=fracx1-fracx^33!+fracx^55!-fracx^77!+...=sum_n=0^infty(-1)^nfracx^2n+1(2n+1)!\\sin^2x=x^2-x^4left (frac11!3!+frac13!1!right )+x^6left (frac11!5!+frac13!3!+frac15!1!right )-...\\cos x=1-fracx^22!+fracx^44!-fracx^66!+...=sum_n=0^infty(-1)^nfracx^2n(2n)!\\cos^2x!=!1!-!x^2left(!frac10!2!!+!frac12!0!!right)!+!x^4left(!frac10!4!!+!frac12!2!!+!frac14!0!!right)!-!x^6left(!frac10!6!!+!frac12!4!!+!frac14!2!!+!frac16!0!!right)!+...$$We should have shown that the series for both $sin x$ and $cos x$ converge absolutely (since we changed the arrangement), but it's obvious since the absolute value of all terms of $sin x+cos x$ add up to $e^x$.$$sin^2x+cos^2x=\=1-x^2left(frac10!2!-frac11!1!+frac12!0!right)+x^4left(frac10!4!-frac11!3!+frac12!2!-frac13!1!+frac14!0!right)-x^6left(frac10!6!-frac11!5!+frac12!4!-frac13!3!+frac14!2!-frac15!1!+frac16!0!right)+...=\\=1+sum_n=1^infty(-1)^nx^2nsum_k=0^2nfrac(-1)^kbinom2nk(2n)!$$
Since we can show easily that $sum_i=0^n(-1)^ibinomni=0$ by expanding $(1-1)^n$ using Binom's formula. So:$$sin^2x+cos^2x=1-0+0-0+...=1$$

I think it's beautiful. I just wanted to ask, do Taylor's series of those functions depend on this identity? Because if they do, the proof will be circular.

Nice proof! To address your question,

Do Taylor's series of those functions depend on this identity? Because if they do, the proof will be circular.

You are right to be worried about circularity! However, which concepts or theorems depend on which others is a matter of certain flexibility. Often, we take one thing to be the definition of a concept, and then have to prove the other properties as theorems -- but we could alternately have used some other property as a definition, and then the original definition would have to be a theorem.

Specific to your case, I have seen definitions of $sin$ and $cos$ where we start by defining $sin$ using arclength, then we define $cos x$ to satisfy $cos^2 x + sin^2 x = 1$. If we take this approach, certainly, there is nothing to prove. However, this is not the only possible approach! It is also common to define $sin$ and $cos$ using their Taylor series. Under this approach, you have given a very nice proof that $sin^2 x + cos^2 x = 1$.
Your proof could also be valid if we define $sin$ and $cos$ to be a basis of functions satisfying $f''(x) = -f(x)$.

In summary, it depends on what you define $sin$ and $cos$ to be; however, your proof is not necessarily circular. And it is a nice example of deriving a result about some functions from their Taylor series.

You are just showing that the Pythagorean theorem is a consequence of some property of the (complex) exponential function, there is no circularity in such argument. For instance, we may define, for any $zinmathbbC$,
$$ f(z)=e^z=sum_ngeq 0fracz^nn! tag1$$
and prove through a combinatorial argument that such a function fulfills $e^zcdot e^w=e^z+w$.

Since the Taylor coefficients at $0$ of such analytic function are real, we have $f(barz)=overlinef(z)$,
hence for any $rhoinmathbbR$
$$ left| e^irhoright| = e^irhocdot e^-irho = e^0 = 1. tag2$$
If we define $cos(rho)$ and $sin(rho)$ as the real/imaginary part of $e^irho$, we get that
$$ sin(rho)=sum_ngeq 0frac(-1)^n rho^2n+1(2n+1)!,qquad cos(rho)=sum_ngeq 0frac(-1)^n rho^2n(2n)!tag3 $$
and $(2)$ can be read as:
$$ sin^2(rho)+cos^2(rho) = 1.tag4$$