It turns out ex can be defined as a long polynomial:
which has some nice properties.
For example, as a polynomial it's not hard to see that the derivative of ex is equal to itself, and the integral of ex is ex+C.
Per Euler's formula,
but treating
eix as a long polynomial,
|
eix=1+ix+i2x22!+i3x33!+i4x44!+i5x55!+i6x66!+⋯=1+ix−x22!−ix33!+x44!+ix55!−x66!+⋯=(1−x22!+x44!−x66!+⋯)+i(x−x33!+x55!+⋯) |
Therefore,
|
cosx=∞∑k=0(−1)kx2k(2k)!sinx=∞∑k=0(−1)kx2k+1(2k+1)! |
Treating these as long polynomials, it's rather easy to verify that the derivative of
cosx is
−sinx, and likewise the derivative of
sinx is
cosx.
# posted by rot13(Unafba Pune) @ 8:50 AM
