# Power Series Proof

I understand that given that expanding a function onto polynomials is a valid thing, the equation for Taylor series follows, but why is expanding a function onto polynomials a valid thing to do? Why should we assume that something can be written as $a + a_1(x)^2+...$. It doesn't seem inherently obvious to me.

-
Insofar as it is a valid thing to do, it's because the power series will "usually" converge to the function. $\hspace{.4 in}$ We shouldn't assume that. $\:$ –  Ricky Demer Sep 10 '13 at 4:02
Your question is a little vague. Not all functions have a Taylor series expansion. A simple example is $x \mapsto |x|$ at $x = 0$. –  copper.hat Sep 10 '13 at 4:04
Taylor series were created from crafting polynomials with derivatives that matched those of the original function. The series part comes in when observing the remainder term tends to $0$ for nice (read: analytic) functions. –  oldrinb Sep 10 '13 at 4:09
Many useful functions have nice power series expansions, at least for values of $x$ in some interval. Quite a few don;t, but there are other tools, like Fourier series. –  André Nicolas Sep 10 '13 at 4:41
I know that it's limited to some functions, and that many do converge, but was there really no initial formalism besides thinking that the functions derivatives should match the Taylor expansions derivatives? No arguments of the linear independence of the polynomials, like with Fourier series? –  Anonymous Sep 10 '13 at 14:37