If the continued fractional representation of an irrational number $\alpha$ is given by [1,1,1,...], I can compute that $\alpha = \frac{1+\sqrt{5}}{2}$ by solving the equation $\alpha = 1+ \frac{1}{\alpha}$ (and noting that $\alpha$ is positive).
But this seems a bit informal to me.
Is there a more formal way to show that [1,1,1,...] = $ \frac{1+\sqrt{5}}{2}$?
Thanks.
The only other thing you really need to show if you want to be precise is that the sequence of partial fractions given by $a_1 = [1]$, $a_2 = [1,1]$, $a_3 = [1,1,1]$, etc. does tend to a limit (it suffices to show that the sequence $\{a_n\}_{n\in\mathbb{N}}$ is bounded above by something and increasing eventually). Then your calculation shows that $\alpha$ is the unique positive solution, and hence must be equal to the infinite continued fraction (which is formally the limit of the partial fractions you get when you stop after $n$ 1's: $[1,1,1\ldots] := \lim_{n\to\infty} a_n$).