Euler Formula for Sine Function/Real Numbers/Proof 3
Jump to navigation
Jump to search
Theorem
\(\ds \sin x\) | \(=\) | \(\ds x \prod_{n \mathop = 1}^\infty \paren {1 - \frac {x^2} {n^2 \pi^2} }\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds x \paren {1 - \dfrac {x^2} {\pi^2} } \paren {1 - \dfrac {x^2} {4 \pi^2} } \paren {1 - \dfrac {x^2} {9 \pi^2} } \dotsm\) |
for all $x \in \R$.
Proof
We have that $\sin x$ has a power series representation:
- $\sin x = x - \dfrac {x^3} {3!} + \dfrac {x^5} {5!} - \dfrac {x^7} {7!} + \cdots$
The roots of sine are the numbers $k \pi$, where $k$ is any integer.
From the Polynomial Factor Theorem, the following might be true:
- $\ds \sin x = A x \prod \paren {1 - \frac x {k \pi} }$
where the product is taken over all $n \in \Z \setminus \set 0$, and $A$ is some constant.
The intuition is as follows.
\(\ds \sin x\) | \(=\) | \(\ds \ldots \paren {1 - \frac x {2 \pi} } \paren {1 - \frac x \pi} A x \paren {1 + \frac x \pi} \paren {1 + \frac x {2 \pi} } \cdots\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds A x \paren {1 - \frac {x^2} {\pi^2} } \paren {1 - \frac {x^2} {2^2 \pi^2} } \paren {1 - \frac {x^2} {3^2 \pi^2} } \cdots\) | ||||||||||||
\(\ds \leadsto \ \ \) | \(\ds \frac {\sin x} x\) | \(=\) | \(\ds A \paren {1 - \frac {x^2} {\pi^2} } \paren {1 - \frac {x^2} {2^2 \pi^2} } \paren {1 - \frac {x^2} {3^2 \pi^2} } \cdots\) | for $x \ne 0$ |
From Limit of $\dfrac {\sin x} x$ at Zero:
- $\dfrac {\sin x} x \to 1$ as $x \to 0$
Letting $x$ tend to $0$ in the above equation implies that $A = 1$.
We now formalize the above claims.
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 1992: George F. Simmons: Calculus Gems ... (previous) ... (next): Chapter $\text {B}.14$: Euler's Discovery of the Formula $\ds \sum_1^\infty \frac 1 {n^2} = \frac {\pi^2} 6$