ThmDex – An index of mathematical definitions, results, and conjectures.
F8877
Formulation 0
Let $X \in \text{Random} \{ -1, 1 \}$ be a D5075: Random integer such that
(i) \begin{equation} \mathbb{P}(X = -1) = \mathbb{P}(X = 1) = \frac{1}{2} \end{equation}
Let $t \in \mathbb{R}$ be a D993: Real number.
Then \begin{equation} \mathbb{E}(e^{i t X}) = \cos (t) \end{equation}