Deriving even odd function expressions What is the logic/thinking process behind deriving an expression for even and odd functions in terms of $f(x)$ and $f(-x)$?
I've been pondering about it for a few hours now, and I'm still not sure how one proceeds from the properties of even and odd functions to derive:
$$\begin{align*}
E(x) &= \frac{f(x) + f(-x)}{2}\\
O(x) &= \frac{f(x) - f(-x)}{2}
\end{align*}$$
What is the logic and thought process from using the respective even and odd properties,
$$\begin{align*}
f(-x) &= f(x)\\   
f(-x) &= -f(x)
\end{align*}$$ 
to derive $E(x)$ and $O(x)$?  
The best I get to is:
For even: $f(x)-f(-x)=0$ and for odd: $f(x)+f(-x)=0$
Given the definition of $E(x)$ and $O(x)$, it makes a lot of sense (hindsight usually is) but starting from just the properties. Wow, I feel I'm missing something crucial.

This is more intuitive if one views it in the special case of polynomials or power series expansions, where the even and odd parts correspond to the terms with even and odd exponents, e.g. bisecting into even and odd parts the power series for $\:\rm e^{{\it i}\:x} \:,\;$ 
$$\begin{align}
\rm f(x) \  &= \ \rm\frac{f(x)+f(-x)}{2} \;+\; \frac{f(x)-f(-x)}{2} \\[.4em]
\Rightarrow\quad \rm e^{\,{\large \it i}\,x} \  &= \ \rm\cos(x) \ +\ {\it i} \ \sin(x)  \end{align}\qquad$$
Similarly one can perform multisections into $\rm\:n\:$ parts using $\rm\:n\:$'th roots of unity - see my post here for some examples and see Riordan's classic 
textbook Combinatorial Identities for many applications. Briefly, 
with  $\rm\:\zeta\ $ a primitive $\rm\:n$'th root of unity,  the $\rm\:m$'th $\rm\:n$-section selects the linear progression of $\rm\: m+k\:n\:$ indexed terms from a series $\rm\ f(x)\ =\ a_0 + a_1\ x + a_2\ x^2 +\:\cdots\ $ as follows
$\rm\quad\quad\quad\quad  a_m\ x^m\ +\ a_{m+n}\ x^{m+n} +\ a_{m+2\:n}\ x^{m+2n}\ +\:\cdots $
$\rm\quad\quad\, =\,\ \frac{1}{n} \big(f(x)\ +\ f(x\zeta)\ \zeta^{-m}\ +\ f(x\zeta^{\:2})\ \zeta^{-2m}\ +\:\cdots\: +\ f(x\zeta^{\ n-1})\ \zeta^{\ (1-n)m}\big)$
Exercisse $\;$ Use multisections to give elegant proofs of the following
$\quad\quad\rm\displaystyle sin(x)/e^{x} \ \ $ has every $\rm 4k\,$'th term zero in its power series
$\quad\quad\rm\displaystyle cos(x)/e^{x} \ \, $  has every $\rm 4k\!+\!2\,$'th term zero in its power series
See the posts in this thread for various solutions and more on multisections. When you later study representation theory of groups you will learn that this is a special case of much more general results, with relations to Fourier and other transforms. It's also closely related to various Galois-theoretic results on modules, e.g. see my remark about Hilbert's Theorem 90 in the linked thread.
