General Periodicity Property

Theorem
Let $f: \R \to \R$ be a periodic real function.

Let $L$ be a periodic element of $f$.

Then:
 * $\forall n \in \Z: \forall x \in X: \map f x = \map f {x + n L}$

That is, after every distance $L$, the function $f$ repeats itself.

Proof
There are two cases to consider: either $n$ is not negative, or it is negative.

Since the Natural Numbers are Non-Negative Integers, the case where $n \ge 0$ will be proved using induction.

Basis for the Induction
The case for which $n = 0$ is trivial, because:
 * $x + 0 \cdot L = x$

Induction Hypothesis
For some $n \in \Z_{\ge 0}$, suppose that:
 * $\map f x = \map f {x + n L}$

Induction Step
For the induction step, let $n \to n + 1$.

Then:

Case 2
If $n < 0$, then:

Combining the results above, it is seen that for all $n \in \Z$:
 * $\map f x = \map f {x + n L}$