Bourbaki

Bài tập 7, § 8

Tô pô đại cương, IV, p. 62

Bourbaki marks this one as harder than the rest, it is set in small type as supplementary.

Cho (εn)n≥0(\varepsilon_n)_{n \geq 0} là một dãy các số bằng 11 hoặc bằng −1-1; bây giờ chứng minh rằng số thực

xn=ε02+ε12+ε22+⋯+εn2 x_n = \varepsilon_0 \sqrt{2 + \varepsilon_1 \sqrt{2 + \varepsilon_2 \sqrt{2 + \cdots + \varepsilon_n \sqrt{2}}}}
được xác định, và bằng
2sin⁡(π4∑k=0nε0ε1…εk2k). 2 \sin \left( \frac{\pi}{4} \sum_{k=0}^n \frac{\varepsilon_0 \varepsilon_1 \ldots \varepsilon_k}{2^k} \right).

Suy ra rằng lim⁡n→∞xn\lim_{n \to \infty} x_n tồn tại và rằng với mọi số thực xx sao cho −2≤x≤2-2 \leq x \leq 2, tồn tại một dãy (εn)(\varepsilon_n) sao cho xx bằng giới hạn của dãy tương ứng (xn)(x_n); với những giá trị nào của xx thì dãy (εn)(\varepsilon_n) là duy nhất? Với những giá trị nào của xx thì nó tuần hoàn (xem IV, p. 62, bài tập 3)?*

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.