Sine and Cosine are Periodic on Reals/Pi

Theorem
Let $\sin: \R \to \R$ be the real sine function, and let $\cos: \R \to \R$ be the real cosine function.

The real number $\pi$ (called pi, pronounced pie) is uniquely defined as:


 * $\pi := \dfrac p 2$

where $p \in \R$ is the period of $\sin$ and $\cos$.

Note
Given that we have defined sine and cosine in terms of a power series, it is a plausible proposition to define $\pi$ using the same language.

$\pi$ is, of course, the famous irrational constant $3.14159 \ldots$.