Intorno ad un radicale continuo. (Q1492179)

Man bezeichne mit \(i_r\) die positive oder die negative Einheit und setze \[ \varepsilon_{1,n-1} = \tfrac 12 (1 - i_1 i_2 \dots i_{n-1}), \varepsilon_{2,n-1}= \tfrac 12 (1-i_2 i_3 \dots i_{n-1}), \dots, \varepsilon_{n-1,n-1} = \tfrac 12 (1-i_{n-1}, \] so folgt \[ \sqrt{2+i_{n-1} \sqrt{2+i_{n-2}\sqrt{2+\cdots + i_1 \sqrt 2}}}=2\cos (1+ 2\varepsilon_{1,n-1} + 2^2\varepsilon_{2,n-1} +\cdots+2^{n-1} \varepsilon_{n-1,n-1})\frac \pi{2^{n+1}}\,. \] Beweis von \(n\) auf \(n+1\); Beispiele.