ThmDex – An index of mathematical definitions, results, and conjectures.
P2205
If $x \in \mathbb{R}^n$, then \begin{equation} f_{\mathsf{even}}(x) = \frac{f(x) + f(-x)}{2} = \frac{f(-x) + f(-x)}{2} = f(-x) = f(x) \end{equation} $\square$