Kvant

Bản dịch tự động sơ bộ, chất lượng thấp: có thể còn lỗi và câu chữ chưa tự nhiên. Bản này sẽ được thay bằng bản dịch tốt hơn. Bản gốc →

27

20 bài toán đến giới hạn

MP Gerver

Nhiều người có lẽ đã biết định nghĩa về giới hạn của một dãy: “Một số a được gọi là giới hạn của dãy xnx_n nếu với bất kỳ ε>0\varepsilon > 0 nào có một NN sao cho với mọi n>N...n > N.... Nhưng cần nhớ là một chuyện, còn việc có thể xử lý nó một cách thoải mái, chứng minh các định lý mà không bị nhầm lẫn với tất cả những cái “có”, “cho bất kỳ ai”, v.v. con đường đến “toán cao hơn”, điều mà không chỉ học sinh mà cả học sinh cũng gặp khó khăn để vượt qua.

Nếu bạn giải được bài toán, được thu thập trong bài viết này - hoặc ít nhất là hiểu được lời giải của họ - thì việc phân tích toán học sâu hơn sẽ dễ dàng và thú vị hơn nhiều đối với bạn.

  1. Chứng minh rằng với mọi số tự nhiên nn
    a) 12⋅3+13⋅4+⋯+1n(n+1)=12⋅n−1n+1\frac{1}{2 \cdot 3} + \frac{1}{3 \cdot 4} + \dots + \frac{1}{n(n+1)} = \frac{1}{2} \cdot \frac{n-1}{n+1};
    b) 1n+1+1n+2+⋯+12n≥12\frac{1}{n+1} + \frac{1}{n+2} + \dots + \frac{1}{2n} \geq \frac{1}{2}.

Trong phần tiếp theo, chúng ta sẽ sử dụng chữ cái nn để chỉ biểu thị các số tự nhiên.

  1. a) Chứng minh rằng bạn có thể tìm được nn sao cho 2n>10102^n > 10^{10}.
    b) Chứng minh rằng bạn có thể tìm thấy kk sao cho với mọi n>kn > k 1+a)n≥1+na1 + a)^n \geq 1 + na đều đúng.
    b) Chứng minh rằng bạn có thể tìm thấy kk sao cho với mọi n>kn > k 10n>n1010^n > n^{10} đều đúng.
    d) Đặt ∣q∣<1|q| < 1. Chứng minh rằng bạn có thể tìm thấy kk sao cho với mọi n>kn > k ∣q∣n<10−10|q|^n < 10^{-10} đều đúng.
    e) Có số dương nào mà với mọi nn nó nhỏ hơn 1/n1/n không?

e) Đặt ∣q∣<1|q| < 1. Chứng minh rằng với mọi ε>0\varepsilon > 0 luôn tồn tại một kk sao cho với mọi n>kn > k ∣q∣n<ε∗\left|q\right|^n < \varepsilon^* đều đúng.
g) Có thể tìm được kk sao cho với mọi n>kn > k và với mọi ε>0\varepsilon > 0 thì đẳng thức (12)n<ε\left(\frac{1}{2}\right)^n < \varepsilon đúng không?
Thế thì ee. So sánh 2e và 2g ta thấy trật tự từ là vật!
h) Đặt sn=12+14+18+⋯+12ns_n = \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots + \frac{1}{2^n}. Chứng minh rằng với mọi ε>0\varepsilon > 0 luôn tồn tại một kk sao cho với mọi

*) ε\varepsilon là một chữ cái Hy Lạp, đọc là: “episilon”, thường dùng để biểu thị các số dương nhỏ. Ý nghĩa chính xác của từ “số nhỏ” đã có sẵn - “nhỏ” nghĩa là gì: 0,01 hoặc 10−1010^{-10}? Vì vậy họ nói; “cho bất kỳ ε>0\varepsilon > 0” - nghĩa này thường là: “bất kể nó có thể nhỏ đến mức nào.” 1Liên quan đến bài toán người ta nói rất nhiều: ở giữa: đặt ε=0,01\varepsilon = 0,01, sau đó tìm kk sao cho với bất kỳ n>kn > k nào sẽ có ∣q∣n<0,01|q|^n < 0,01; đặt ε=10−10\varepsilon = 10^{-10}, sau đó tìm một kk khác (lớn hơn) sao cho với bất kỳ nn nào lớn hơn kk mới này, sẽ có ∣q∣n<10−10|q|^n < 10^{-10}; nói chung, với bất kỳ ε>0\varepsilon > 0 nào (dù nhỏ đến đâu), bạn có thể chọn kk (có thể rất lớn), sao cho với bất kỳ n>kn > k nào sẽ có ∣q∣n<ε|q|^n < \varepsilon.

28

không có thật n>kn > k
∣sn−1∣<ε.|s_n - 1| < \varepsilon.
Dãy số. Hãy viết một số số: x1x_1, sau đó là số khác: x2x_2, rồi đến số thứ ba: x3x_3, v.v.

Chúng ta sẽ được một dãy số
x1,x2,x3,…,xn,…x_1, x_2, x_3, \dots, x_n, \dots
Số bên cạnh chữ cái xx cho biết vị trí của số đó trong chuỗi: x1x_1 - ở ngày 1, x2x_2 - ở ngày thứ 2, …\dots, xnx_n - ở nn, …\dots.

Nói tóm lại, nó được biểu thị bằng ký hiệu {xn}\{x_n\}. Tất nhiên, các chữ cái khác có thể được sử dụng để biểu thị các chuỗi: {sn},{yn},{zn}\{s_n\}, \{y_n\}, \{z_n\}, v.v.

Hãy viết ra hàng tá trình tự được sử dụng trong các nhiệm vụ sau:

(1) 1,12,13,14,…1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots

(2) 1,0,12,0,0,13,0,0,0,14,0,0,0,0,…1, 0, \frac{1}{2}, 0, 0, \frac{1}{3}, 0, 0, 0, \frac{1}{4}, 0, 0, 0, 0, \dots

(3) {sn},sn=12+14+18+⋯+12n\{s_n\}, s_n = \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots + \frac{1}{2^n}.

(4) {yn},yn=12−14+18−⋯−(−1)n2n\{y_n\}, y_n = \frac{1}{2} - \frac{1}{4} + \frac{1}{8} - \dots - \frac{(-1)^n}{2^n}.

(5) 1,1,1,1,…1, 1, 1, 1, \dots.

(6) 1,−1,1,−1,…1, -1, 1, -1, \dots.

(7) 1,12,1,13,1,14,1,15,…1, \frac{1}{2}, 1, \frac{1}{3}, 1, \frac{1}{4}, 1, \frac{1}{5}, \dots.

(8) 1,−12,13,−14,15,−16,…1, -\frac{1}{2}, \frac{1}{3}, -\frac{1}{4}, \frac{1}{5}, -\frac{1}{6}, \dots.

(9) 11,11,12,11,13,11,…,19,11,110,12,111,12,…,199,12,1100,13,…\frac{1}{1}, \frac{1}{1}, \frac{1}{2}, \frac{1}{1}, \frac{1}{3}, \frac{1}{1}, \dots, \frac{1}{9}, \frac{1}{1}, \frac{1}{10}, \frac{1}{2}, \frac{1}{11}, \frac{1}{2}, \dots, \frac{1}{99}, \frac{1}{2}, \frac{1}{100}, \frac{1}{3}, \dots

(mẫu số của một phân số ở vị trí chẵn bằng số chữ số của mẫu số của phân số trước đó).

(10) 12,21,23,32,34,43,45,54,…\frac{1}{2}, \frac{2}{1}, \frac{2}{3}, \frac{3}{2}, \frac{3}{4}, \frac{4}{3}, \frac{4}{5}, \frac{5}{4}, \dots

Định nghĩa 1. Số aa được gọi là giới hạn của dãy {xn}\{x_n\} nếu với bất kỳ ε>0\varepsilon > 0 nào tồn tại một kk sao cho với bất kỳ n>kn > k nào
∣a−xn∣<ε.|a - x_n| < \varepsilon.
Việc số aa là giới hạn của {xn}\{x_n\} được viết như sau:
lim⁡n→∞xn=a\lim_{n \to \infty} x_n = a
(đọc: “giới hạn của xnx_n vì nn tiến tới vô cùng bằng aa”) hoặc như thế này:
xn→a при n→∞x_n \rightarrow a \text{ при } n \rightarrow \infty
(đọc: “xnx_n có xu hướng aa vì nn có ​​xu hướng vô cùng”). Ở một số quốc gia, việc đề cập đến nn, có xu hướng tiến tới vô cùng, bị lược bỏ và chỉ viết đơn giản:
lim⁡xn=a при xn→a.\lim x_n = a \text{ при } x_n \rightarrow a.
Dãy số có giới hạn được gọi là hội tụ.

  1. a) Mẫu bài toán 2e và 23 sử dụng Định nghĩa 1.
  1. Chứng minh rằng 0 là giới hạn của dãy (1), (2), (8) và (9).

b) Tìm giới hạn của dãy (3), (4) và (10).

d) Chứng minh rằng 1 không phải là giới hạn của dãy (1).

d) Các dãy (5), (6) và (7) có giới hạn không?

e) Cho xn−nx_n - n là một số hạng của dãy (9). Chỉ định kk sao cho bất đẳng thức xn<12x_n < \frac{1}{2} đúng cho n>kn > k.

g) Hai số khác nhau có thể là giới hạn của cùng một dãy không?

  1. Đặt {xn}\{x_n\} là một dãy tùy ý. Hãy viết ra một số

30

Về giới hạn 4. Họ nói rằng dãy {xn}\{x_n\} tiến tới vô cùng (được viết như sau: xn→∞x_n \to \infty cho n→∞n \to \infty) nếu với bất kỳ CC nào thì có một kk sao cho với bất kỳ n>kn > k ∣xn∣>C|x_n| > C nào.

  1. Dãy số nào sau đây hướng tới vô cực và dãy số nào không bị giới hạn?

a) xn=nx_n = n, 6)6) xn=(−1)n⋅nx_n = (-1)^n \cdot n,
b) xn=n(−1)nx_n = n^{(-1)^n}
g) xn={n2 при n четном,n при n нечетном.x_n = \begin{cases} n^2 \text{ при } n \text{ четном,} \\ \sqrt{n} \text{ при } n \text{ нечетном.} \end{cases}

Về giới hạn 5. Số aa được gọi là điểm giới hạn của dãy {xn}\{x_n\} nếu với bất kỳ ε>0\varepsilon > 0 nào và với bất kỳ kk nào cũng có một n>kn > k sao cho ∣a−xn∣<ε|a - x_n| < \varepsilon.

  1. Chứng minh a) giới hạn của dãy hội tụ là điểm giới hạn của nó,
  1. rằng nếu xn→ax_n \to a và b≠ab \neq a thì bb không phải là điểm giới hạn của {xn}\{x_n\}.
    b) rằng nếu aa là điểm giới hạn của {xn}\{x_n\} thì {xn}\{x_n\} chứa dãy con hội tụ đến aa.
  1. Hãy nghĩ ra một dãy {xn}\{x_n\} có điểm giới hạn là:
    a) tất cả các số tự nhiên (và chỉ chúng),
    b) tất cả các số 1/n1/n,
    b) mọi số hữu tỉ.

  2. a) Tìm một dãy thỏa mãn bài toán 9a mà không chứa bất kỳ số nguyên nào.

  1. Cho {xn}\{x_n\} thỏa mãn bài toán 96. Liệu 0 có thể không là điểm giới hạn của nó không?
    b) Liệt kê tất cả các điểm giới hạn của dãy thỏa mãn bài toán 9b.

16 điều kiện. “Apu” trong tiếng Anh có nghĩa là “bất kỳ”, “Exist” có nghĩa là “tồn tại”. Các ký hiệu ∨\vee và ∃\exists - đảo ngược các chữ cái đầu tiên của các từ này - tương ứng:
“dành cho bất cứ ai” và “có cái gì đó … cái đó.”
Hãy xem xét 16 điều kiện sau:

  1. ∃ε>0∃k∃n>k∣xn−a∣<ε\exists \varepsilon > 0 \exists k \exists n > k |x_n - a| < \varepsilon,
  2. ∃ε>0∃k∃n>k∣xn−a∣⩾ε\exists \varepsilon > 0 \exists k \exists n > k |x_n - a| \geqslant \varepsilon,
  3. ∃ε>0∃k∀n>k∣xn−a∣<ε\exists \varepsilon > 0 \exists k \forall n > k |x_n - a| < \varepsilon,
  4. ∃ε>0∃k∀n>k∣xn−a∣⩾ε\exists \varepsilon > 0 \exists k \forall n > k |x_n - a| \geqslant \varepsilon,
  5. ∃ε>0∀k∃n>k∣xn−a∣<ε\exists \varepsilon > 0 \forall k \exists n > k |x_n - a| < \varepsilon,
  6. ∃ε>0∀k∃n>k∣xn−a∣⩾ε\exists \varepsilon > 0 \forall k \exists n > k |x_n - a| \geqslant \varepsilon,
  7. ∃ε>0∀k∀n>k∣xn−a∣<ε\exists \varepsilon > 0 \forall k \forall n > k |x_n - a| < \varepsilon,
  8. ∃ε>0∀k∀n>k∣xn−a∣⩾ε\exists \varepsilon > 0 \forall k \forall n > k |x_n - a| \geqslant \varepsilon,
  9. ∀ε>0∃k∃n>k∣xn−a∣<ε\forall \varepsilon > 0 \exists k \exists n > k |x_n - a| < \varepsilon,
  10. ∀ε>0∃k∃n>k∣xn−a∣⩾ε\forall \varepsilon > 0 \exists k \exists n > k |x_n - a| \geqslant \varepsilon,
  11. ∀ε>0∃k∀n>k∣xn−a∣<ε\forall \varepsilon > 0 \exists k \forall n > k |x_n - a| < \varepsilon,
  12. ∀ε>0∃k∀n>k∣xn−a∣⩾ε\forall \varepsilon > 0 \exists k \forall n > k |x_n - a| \geqslant \varepsilon,
  13. ∀ε>0∀k∃n>k∣xn−a∣<ε\forall \varepsilon > 0 \forall k \exists n > k |x_n - a| < \varepsilon,
  14. ∀ε>0∀k∃n>k∣xn−a∣⩾ε\forall \varepsilon > 0 \forall k \exists n > k |x_n - a| \geqslant \varepsilon,
  15. ∀ε>0∀k∀n>k∣xn−a∣<ε\forall \varepsilon > 0 \forall k \forall n > k |x_n - a| < \varepsilon,
  16. ∀ε>0∀k∀n>k∣xn−a∣⩾ε\forall \varepsilon > 0 \forall k \forall n > k |x_n - a| \geqslant \varepsilon.
  1. Điều kiện nào trong số này thể hiện các thuộc tính của một dãy đã quen thuộc với bạn (bị giới hạn, có aa làm giới hạn hoặc điểm giới hạn, có xu hướng tiến tới vô cùng) hoặc sự phủ định của các thuộc tính này? Ý nghĩa của các điều kiện còn lại là gì?

Về giới hạn 6. Dãy số {xn}\{x_n\} được gọi là đơn điệu nếu một trong hai điều kiện được thỏa mãn:

  1. x1⩽x2⩽x3⩽⋯⩽xn⩽…x_1 \leqslant x_2 \leqslant x_3 \leqslant \dots \leqslant x_n \leqslant \dots,
  2. x1⩾x2⩾x3⩾⋯⩾xn⩾…x_1 \geqslant x_2 \geqslant x_3 \geqslant \dots \geqslant x_n \geqslant \dots.
    Trong trường hợp đầu tiên, {xn}\{x_n\} được gọi là tăng, trong trường hợp thứ hai - giảm.
  1. a) Chứng minh rằng dãy bất kỳ đều chứa dãy con đơn điệu.
  1. Chứng minh rằng điểm giới hạn của dãy đơn điệu chính là giới hạn của nó.
    b) Chứng minh rằng mọi dãy giới hạn đơn điệu đều có giới hạn (đôi khi tính chất này của số thực được coi là tiên đề).
  1. a) Chứng minh rằng mọi dãy bị chặn đều có ít nhất một điểm giới hạn.
  1. Kiểm tra xem các câu 12c và 13a có tương đương nhau không: mỗi câu có thể được suy ra từ câu kia (vì vậy 13a cũng có thể được coi là một tiên đề).
  1. a) Đặt ∣q∣<1|q| < 1, sn=1+q+⋯+qn−1s_n = 1 + q + \dots + q^{n-1}. Chứng minh rằng dãy {sn}\{s_n\} hội tụ và

31

tìm giới hạn của nó.

  1. Kiểm tra xem ∣q∣≥1|q| \geq 1 chuỗi {sn}\{s_n\} không có giới hạn.
  1. Đặt xn→ax_n \rightarrow a, yn→by_n \rightarrow b tại n→∞n \rightarrow \infty. Chứng minh rằng sau đó

a) xn+yn→a+bx_n + y_n \rightarrow a + b,
b) xn−yn→a−bx_n - y_n \rightarrow a - b,
c) xnyn→abx_n y_n \rightarrow ab,
d) nếu b≠0b \neq 0 thì xn/yn→a/bx_n/y_n \rightarrow a/b.

Quét. Trong số yny_n có thể có số 0, nhưng nếu b≠0b \neq 0 thì chỉ có (chứng minh điều này) một số hữu hạn: ∃N∀n>Nyn≠0\exists N \forall n > N y_n \neq 0; chuỗi xn/ynx_n/y_n phụ thuộc vào giới hạn, do đó, đối với n>Nn > N.

e) Nếu b=0b = 0, thì dãy xn/ynx_n/y_n (nếu được xác định) có thể không có giới hạn, có thể tiến tới bất kỳ số nào hoặc tiến tới vô cùng—cho ví dụ liên quan.

  1. a) Chứng minh rằng nếu xn≥0x_n \geq 0 với mọi nn và xn→ax_n \rightarrow a với n→∞n \rightarrow \infty thì a≥0a \geq 0.
  1. Có thể nói rằng lim⁡n→∞xn>0\lim_{n \rightarrow \infty} x_n > 0 nếu mọi thứ đều là xn>0x_n > 0?

b) Đặt xn≤yn≤znx_n \leq y_n \leq z_n và đặt xn→ax_n \rightarrow a và zn→az_n \rightarrow a tại n→∞n \rightarrow \infty. Chứng minh rằng khi đó yn→ay_n \rightarrow a cho n→∞n \rightarrow \infty.

  1. a) Dãy số {xn}\{x_n\} có tính chất sau: với mọi ε>0\varepsilon > 0 tồn tại một kk sao cho với mọi n>kn > k và mọi số tự nhiên pp
    ∣xn+p−xn∣<ε.|x_{n+p} - x_n| < \varepsilon.
    Chứng minh rằng {xn}\{x_n\} có giới hạn.
  1. Chứng minh điều ngược lại: nếu xnx_n là dãy hội tụ thì ∀ε>0∃k∀n>k∀p∣xn+p−xn∣<ε.\forall \varepsilon > 0 \exists k \forall n > k \forall p |x_{n+p} - x_n| < \varepsilon.
    b) Dãy số {xn}\{x_n\} có tính chất sau: ∀ε>0∃k∀n>k∣xn+p−xn∣<ε.\forall \varepsilon > 0 \exists k \forall n > k |x_{n+p} - x_n| < \varepsilon.
    {xn}\{x_n\} có bắt buộc đối với tài sản không?
  1. Hãy xây dựng dãy {xn}\{x_n\} như sau: ∣xn∣=1/2n|x_n| = 1/2^n, chọn các dấu x1,x2,x3,…x_1, x_2, x_3, \dots tùy ý. Tiếp theo chúng ta đặt sn=x1+⋯+xns_n = x_1 + \dots + x_n.

a) Chứng minh dãy {sn}\{s_n\} hội tụ.

  1. Liệt kê tất cả các giá trị mà lim⁡n→∞sn\lim_{n \rightarrow \infty} s_n có thể nhận (khi các dấu xnx_n được chọn theo đủ mọi cách khác nhau).

Phức tạp {xn}\{x_n\}. Cho đến đây chúng ta đã xem xét các dãy gồm các số thực.

Bây giờ đặt xnx_n là số phức bất kỳ.

Định nghĩa về giới hạn trong trường hợp này về mặt nghĩa đen cũng giống như trước đây. Nhưng ý nghĩa hình học của nó lại khác: bất đẳng thức ∣xn−a∣<ε|x_n - a| < \varepsilon bây giờ có nghĩa là xnx_n nằm bên trong một đường tròn bán kính ε\varepsilon với tâm là điểm aa; Do đó, số aa đóng vai trò là giới hạn của {xn}\{x_n\}, nếu tất cả các đường tròn có tâm aa chỉ nằm ở số hữu hạn {xn}\{x_n\}.

  1. a) Đặt xn=an+ibnx_n = a_n + ib_n. Dãy số {xn}\{x_n\} hội tụ khi và chỉ khi dãy {an}\{a_n\} và {bn}\{b_n\} hội tụ. Chứng minh điều đó.
  1. Đặt ∣xn∣=rn|x_n| = r_n, lập luận xn=αnx_n = \alpha_n. Có đúng là {xn}\{x_n\} hội tụ khi và chỉ khi cả {rn}\{r_n\} và {αn}\{\alpha_n\} hội tụ?
  1. Để dãy {xn}\{x_n\} tiến về 0. Chúng ta xây dựng dãy {sn}\{s_n\} như thế này:
    s1=x1,s2=x1+x2,…,sn=x1+x2+⋯+xn,…s_1 = x_1, \quad s_2 = x_1 + x_2, \dots, \quad s_n = x_1 + x_2 + \dots + x_n, \dots
    Tìm hiểu xem {sn}\{s_n\} có thể có chính xác hai điểm giới hạn hay không:

a) nếu xnx_n là số thực,
b) nếu xnx_n là số phức (trong trường hợp này định nghĩa về điểm giới hạn theo nghĩa đen giống như trước).