Sine and Cosine are Periodic on Reals

Theorem
The sine and cosine functions are periodic on the set of real numbers $\R$:


 * $(1): \quad \cos \left({x + 2 \pi}\right) = \cos x$
 * $(2): \quad \sin \left({x + 2 \pi}\right) = \sin x$


 * SineCos.png

Proof
From Cosine of Zero is One we have that $\cos 0 = 1$.

From Cosine Function is Even we have that $\cos x = \cos \left({-x}\right)$.

As the Cosine Function is Continuous, it follows that:
 * $\exists \xi > 0: \forall x \in \left({-\xi \,.\,.\, \xi}\right): \cos x > 0$

Now, suppose $\cos x$ were always positive.

From Derivative of Cosine Function, we have $D_{xx} \left({\cos x}\right) = D_x \left({-\sin x}\right) = -\cos x$.

Thus $-\cos x$ would always be negative and thus $\cos x$ would be concave everywhere.

But as $\cos x$ is bounded on $\R$, it can not be concave everywhere else it would be constant.

So $\cos x$ can not be positive all the time.

Therefore, there must exist a smallest positive $\eta \in \R$ such that $\cos \eta = 0$.

By definition, $\cos \eta = \cos \left({-\eta}\right) = 0$ and $\cos x > 0$ for $-\eta < x < \eta$.

Now we show that $\sin \eta = 1$.

From Sum of Squares of Sine and Cosine, we have $\cos^2 x + \sin^2 x = 1$.

Hence as $\cos \eta = 0$ it follows that $\sin^2 \eta = 1$, so either $\sin \eta = 1$ or $\sin \eta = -1$.

But $D_x \left({\sin x}\right) = \cos x$.

On the interval $\left[{-\eta \,.\,.\, \eta}\right]$, we have just shown that $\cos x > 0$.

Thus on this interval, $\sin x$ is increasing.

Since $\sin 0 = 0$ it follows that $\sin \eta > 0$ and so it must be that $\sin \eta = 1$.

Now we apply Sine of Sum and Cosine of Sum:


 * $\sin \left({x + \eta}\right) = \sin x \cos \eta + \cos x \sin \eta = \cos x$
 * $\cos \left({x + \eta}\right) = \cos x \cos \eta - \sin x \sin \eta = -\sin x$

Hence it follows, after some algebra, that:


 * $\sin \left({x + 4 \eta}\right) = \sin x$
 * $\cos \left({x + 4 \eta}\right) = \cos x$

Thus $\sin$ and $\cos$ are periodic on $\R$ with period $4 \eta$.

Pi
Given that the period of $\sin$ and $\cos$ is $4 \eta$, we define the real number $\pi$ (called pi, pronounced pie) as:


 * $\pi := 2 \eta$

See Pi.

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$.