Obtaining pi through use of trigonometry and limits

[JDude13]

Whilst messing around with some geometry pertaining to the n-sided regular polygon, I stumbled upon this equation which I could not find anywhere on the internet.
\pi = \lim_{n \to \infty} n \sin \frac{\pi}{n}
But if we take this to be true then, by substitution, this is also true:
\pi = \lim_{n \to \infty} n \sin (\sin \frac{\pi}{n})
And ad infinitum:
\pi = \lim_{n \to \infty} n \sin(\sin(\sin(\sin(...))))
However this makes no sense to me... at the heart of this seemingly infinite sea of sine functions is there a pi/n core? Or is there no centre and is each sine function ultimately a function of nothing?
Or have I been misusing the maths?

EDIT:
Just blew my own mind with
p = \lim_{n \to \infty} n \sin \frac{p}{n}

 

[Curious3141]

Whilst messing around with some geometry pertaining to the n-sided regular polygon, I stumbled upon this equation which I could not find anywhere on the internet.
\pi = \lim_{n \to \infty} n \sin \frac{\pi}{n}

This is actually a very well-known limit. It's found in lots of places on the internet if you use the right search phrases. In fact, I rediscovered it myself as a kid, just like you.

It's not all that useful as a starting point for calculating ∏, though.

But if we take this to be true then, by substitution, this is also true:
\pi = \lim_{n \to \infty} n \sin (\sin \frac{\pi}{n})
And ad infinitum:
\pi = \lim_{n \to \infty} n \sin(\sin(\sin(\sin(...))))
However this makes no sense to me... at the heart of this seemingly infinite sea of sine functions is there a pi/n core? Or is there no centre and is each sine function ultimately a function of nothing?
Or have I been misusing the maths?

You're misusing math notation. This is akin to saying:

2 = \frac{1}{\frac{1}{2}} = \frac{1}{\frac{1}{\frac{1}{\frac{1}{2}}}} = \frac{1}{\frac{1}{\frac{1}{...}}}

So what's at the "bottom" of that infinitely nested fraction? 2? 1? Nothing? This sort of confusion is just because we're using shoddy notation.

 

[JDude13]

we're using shoddy notation.

Is there a notation that exists which deals with this "nesting"?

 

[Curious3141]

EDIT:
Just blew my own mind with
p = \lim_{n \to \infty} n \sin \frac{p}{n}

And that's simply a consequence of the fact that \lim_{x \rightarrow 0} \sin x = x.

 

[Curious3141]

Is there a notation that exists which deals with this "nesting"?

Look up recurrence relation - here's the wiki. http://en.wikipedia.org/wiki/Recurrence_relation

 

[JDude13]

And that's simply a consequence of the fact that \lim_{x \rightarrow 0} \sin x = x.

Isn't it \lim_{x \rightarrow 0} \sin x = 0 ?

 

[Curious3141]

Isn't it \lim_{x \rightarrow 0} \sin x = 0 ?

Yes, it is. I should've been clearer.

What I meant was \lim_{x \rightarrow 0} \frac{\sin x}{x} = 1.

Meaning that as x gets smaller, sin x is better approximated by x. This can be seen from the Taylor series for sin x. It can also be proved by L' Hopital's Rule.

In relation to your question,

\lim_{n \rightarrow \infty} n \sin(\frac{p}{n}) = p\lim_{n \rightarrow \infty} \frac{n}{p} \sin(\frac{p}{n}) = p\lim_{x \rightarrow 0} \frac{\sin x}{x} = p

after making the substitution x = \frac{p}{n}.

 

[JDude13]

Yes, it is. I should've been clearer.

What I meant was \lim_{x \rightarrow 0} \frac{\sin x}{x} = 1.

Meaning that as x gets smaller, sin x is better approximated by x. This can be seen from the Taylor series for sin x. It can also be proved by L' Hopital's Rule.

Ah that makes more sense. I'm stuck in the mindset that a limit implies that the variable is equal to its limit. Thanks

 

[Curious3141]

Ah that makes more sense. I'm stuck in the mindset that a limit implies that the variable is equal to its limit. Thanks

I made an edit which you might want to see.

 

[micromass]

And ad infinitum:
\pi = \lim_{n \to \infty} n \sin(\sin(\sin(\sin(...))))
However this makes no sense to me... at the heart of this seemingly infinite sea of sine functions is there a pi/n core? Or is there no centre and is each sine function ultimately a function of nothing?
Or have I been misusing the maths?

This makes no sense. It's not because there is a limit for every finite nesting of sine functions, that you can write an infinite nesting. In fact, there are subtle convergence issues most of the time.

Here, it is easy to see that such an infinite nesting of since functions must equal 0. Let

x=\sin(\sin(\sin(\sin(\sin(...)))))

then

\sin(x)=\sin(\sin(\sin(\sin(...))))=x

Solving \sin(x)=x, gives us x=0.

So the nesting of infinite sines is 0.

Now, why can't you go from a finite nesting to an infinite nesting. Well, let

f_n(x)=\sin(...\sin(x))

a nesting of n sine functions. Let f(x)=\lim_n f_n(x) the infinite nesting.

You have proven that

\lim_m mf_n(\pi/m)=\pi

and thus

\lim_n \lim_m mf_n(\pi/m)=\pi

This does not imply

\pi=\lim_m\lim_n mf_n(\pi/m)=\lim_m mf(\pi/m)

since you cannot exchange two limits in general.