Sine function as an infinite sequence

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
6 replies · 2K views
Appleton
Messages
91
Reaction score
0
I have a vague understanding of how to derive the sine function from a Maclaurin Sequence however this isn't helping me figure out why:
(1 - [itex]\frac{x^{2}}{4π^{2}}[/itex]) (1 - [itex]\frac{x^{2}}{9π^{2}}[/itex]) (1 - [itex]\frac{x^{2}}{16π^{2}}[/itex])... = [itex]\frac{π^{2}}{x(x+π)}[/itex][itex]\frac{sin x - sin π}{x - π}[/itex]
Any help would be appreciated
 
Physics news on Phys.org
Where does this equation come from?
It is probably possible to prove this identity (assuming it is true) in some way, but probably not with a simple Taylor expansion of sin(x).

And where is the point in subtracting sin(pi)?
 
If you multiply both sides by ##x(x-\pi)(x+\pi)/\pi^2##, and note that ##\sin(\pi) = 0## on the right hand side, you will end up with the product formula for the sine function, due to Euler:
$$\sin(x) = x \prod_{n=1}^{\infty}\left(1 - \frac{ x^2}{\pi^2 n^2}\right)$$
He obtained this formula by rather brashly viewing the sine function as a "polynomial" with infinitely many roots, namely ##0, \pm \pi, \pm 2\pi, \pm 3\pi, \ldots##. Accordingly, he "factored" it as follows:
$$\sin(x) = kx(x \pm \pi)(x \pm 2\pi)(x \pm 3\pi)\ldots$$
for some constant ##k##. The constant must be chosen so that ##\lim_{x \rightarrow 0} \frac{\sin(x)}{x} = 1##, which forces
$$\sin(x) = x\left(1 \pm \frac{x}{\pi}\right)\left(1 \pm \frac{x}{2\pi}\right)\left(1 \pm \frac{x}{3\pi}\right)\ldots$$
Each plus/minus factor can be simplified as follows using the rule ##(a-b)(a+b) = a^2 - b^2##:
$$1 \pm \frac{x}{n\pi} = 1 - \frac{x^2}{n^2 \pi^2}$$
and the result follows.

Of course the above is completely nonrigorous. Euler had the extraordinary ability to turn invalid manipulations into valid results! The same result can be obtained rigorously by using Fourier series. See for example Courant and John, Introduction to Calculus and Analysis I, page 602.