About a curious nested radical representation for $\cos 1^\circ$

156 Views Asked by At

I have found the following nested radical representation.

By using the triple angle formula for the cosine, $\cos 3\theta$, and making $\theta = 1^\circ$, we get the cubic equation $ 4x^3-3x = \cos 3^\circ $. In this step , I'll use a trick that is rarely used, by expressing $ x $ as

$ x = \frac{1}{2}\sqrt{3+\frac{\cos 3^\circ}{x}} $

Now I just iterate for x and in this way I get that

$ \cos 1^\circ= \frac{1}{2}\sqrt{3+\frac{\cos 3^\circ}{\frac{1}{2}\sqrt{3+\frac{\cos 3^\circ}{\frac{1}{2}\sqrt{3+\frac{\cos 3^\circ}{\frac{1}{2}\sqrt{3+...}}}}}}} $

Direct calculation shows that this periodic radical converges to $ \cos 1^\circ$

How to prove rigorously that the left hand side is the limit of the right hand side? That's to say, I need a proof that the nested radical converges to $ \cos 1^\circ $