Một chuỗi số a₁ + a₂ + a₃ + … hội tụ khi dãy các tổng riêng (cộng n số hạng đầu) tiến tới một số hữu hạn khi n ra vô cực; số đó gọi là tổng của chuỗi. Nếu dãy tổng riêng không có giới hạn hữu hạn thì chuỗi phân kỳ. Chuỗi 1/2 + 1/4 + 1/8 + … hội tụ về 1, còn chuỗi điều hoà 1 + 1/2 + 1/3 + … phân kỳ dù các số hạng cũng nhỏ dần về 0.
Sự khác biệt giữa hai chuỗi trên là cánh cửa vào cả chương: số hạng tiến về 0 là cần nhưng chưa đủ để hội tụ. Bài này giải thích chuỗi hình học và vì sao 0,999… bằng đúng 1, chứng minh chuỗi điều hoà phân kỳ theo một lập luận có từ thế kỷ 14, trình bày các tiêu chuẩn hội tụ thường dùng kèm bảng chọn tiêu chuẩn, và chỉ ra những điều kỳ lạ của chuỗi đan dấu.
Chuỗi hình học: chuỗi duy nhất bạn tính được tổng ngay
Chuỗi hình học có dạng a + ar + ar² + ar³ + …, mỗi số hạng bằng số hạng trước nhân với cùng một tỉ số r. Tổng riêng n số hạng có công thức a(1 − rⁿ)/(1 − r) khi r khác 1. Nếu |r| nhỏ hơn 1 thì rⁿ tiến về 0, tổng riêng tiến về a/(1 − r). Nếu |r| lớn hơn hoặc bằng 1 thì chuỗi phân kỳ.
Với a = 1/2 và r = 1/2, tổng bằng (1/2)/(1/2) = 1. Hình ảnh dễ nhớ: đi nửa quãng đường, rồi nửa quãng còn lại, rồi nửa của phần còn lại nữa; bạn không bao giờ vượt quá đích, và tiến sát đích tuỳ ý. Đây cũng là lời giải toán học cho nghịch lý Achilles và con rùa của Zeno: vô số bước có thể có tổng thời gian hữu hạn.
Số 0,999… (chín lặp vô hạn) chính là chuỗi 9/10 + 9/100 + 9/1000 + …, chuỗi hình học với a = 9/10 và r = 1/10. Tổng bằng (9/10)/(9/10) = 1. Vậy 0,999… bằng đúng 1, không phải "gần bằng". Nhiều người thấy khó chấp nhận vì nghĩ số thập phân vô hạn là một quá trình chưa xong; theo định nghĩa, nó là giới hạn của quá trình đó, và giới hạn ấy là 1. Cách kiểm khác: 1/3 = 0,333…, nhân ba vế được 1 = 0,999….
Chuỗi điều hoà phân kỳ: số hạng về 0 vẫn chưa đủ
Chuỗi điều hoà 1 + 1/2 + 1/3 + 1/4 + … có số hạng nhỏ dần về 0, nhưng tổng lớn vô hạn. Lập luận cổ điển thường được gắn với Nicole Oresme, một học giả Pháp thế kỷ 14, gom số hạng thành từng nhóm: 1/3 + 1/4 lớn hơn 1/4 + 1/4 = 1/2; 1/5 + 1/6 + 1/7 + 1/8 lớn hơn bốn lần 1/8, tức 1/2; nhóm tám số hạng tiếp theo cũng lớn hơn 1/2; và cứ thế. Có vô số nhóm, mỗi nhóm lớn hơn 1/2, nên tổng vượt mọi giới hạn.
Nhưng chuỗi này tăng cực kỳ chậm. Tổng 10 số hạng đầu khoảng 2,93; tổng 100 số hạng đầu khoảng 5,19. Người ta biết tổng n số hạng đầu xấp xỉ ln n cộng một hằng số khoảng 0,5772, gọi là hằng số Euler – Mascheroni. Muốn tổng vượt 20, cần cỡ hàng trăm triệu số hạng. Đó là lý do bảng giá trị và cảm giác trực quan dễ đánh lừa: nhìn vài trăm số hạng, bạn sẽ tưởng chuỗi đang dừng lại ở đâu đó.
Bài học rút ra được gọi là tiêu chuẩn số hạng tổng quát: nếu số hạng không tiến về 0 thì chuỗi chắc chắn phân kỳ; nếu số hạng tiến về 0 thì chưa kết luận được gì, phải dùng tiêu chuẩn khác. Đây là phép kiểm đầu tiên nên làm với mọi chuỗi, vì nó loại nhanh các chuỗi phân kỳ hiển nhiên như tổng của n/(n + 1).
Chuỗi hình học ngoài trang sách: quả bóng nảy và số thập phân tuần hoàn
Thả một quả bóng từ độ cao 2 mét, mỗi lần nảy lên đạt 60 phần trăm độ cao trước đó (ví dụ giả định). Quả bóng nảy vô số lần trên lý thuyết, nhưng tổng quãng đường đi được vẫn hữu hạn. Sau lần rơi đầu 2 mét, các độ cao nảy lên là 1,2; 0,72; 0,432… mét, mỗi độ cao được đi hai lần (lên rồi xuống). Tổng các độ cao nảy là chuỗi hình học với số hạng đầu 1,2 và tỉ số 0,6, bằng 1,2/0,4 = 3 mét. Tổng quãng đường là 2 + 2 × 3 = 8 mét.
Mọi số thập phân vô hạn tuần hoàn cũng là chuỗi hình học, và đó là cách chứng minh chúng luôn là phân số. Số 0,121212… bằng 12/100 + 12/10000 + …, với số hạng đầu 12/100 và tỉ số 1/100, nên bằng (12/100)/(99/100) = 12/99 = 4/33. Bạn có thể kiểm bằng phép chia 4 cho 33 trên máy tính. Chiều ngược lại cũng đúng: mọi phân số đều cho số thập phân hữu hạn hoặc vô hạn tuần hoàn, vì phép chia chỉ có hữu hạn số dư khả dĩ nên sớm muộn phải lặp.
Hai ví dụ này cho thấy vì sao chuỗi hình học được dạy đầu tiên: nó là chuỗi hiếm hoi tính được tổng chính xác bằng một công thức, và nhiều chuỗi khác được đánh giá bằng cách so với nó, đó chính là nền của tiêu chuẩn tỉ số và tiêu chuẩn căn.
Các tiêu chuẩn hội tụ thường dùng
Tiêu chuẩn so sánh. Nếu 0 nhỏ hơn hoặc bằng aₙ nhỏ hơn hoặc bằng bₙ và chuỗi bₙ hội tụ thì chuỗi aₙ hội tụ; nếu chuỗi aₙ phân kỳ thì chuỗi bₙ phân kỳ. Dùng khi số hạng trông giống một chuỗi đã biết. Ví dụ 1/(n² + n) nhỏ hơn 1/n², mà chuỗi 1/n² hội tụ, nên chuỗi đầu hội tụ.
Chuỗi p. Chuỗi 1/nᵖ hội tụ khi p lớn hơn 1 và phân kỳ khi p nhỏ hơn hoặc bằng 1. Đây là thước đo chuẩn để so sánh. Chuỗi điều hoà là trường hợp p = 1, nằm đúng ở ranh giới.
Tiêu chuẩn tích phân. Nếu f dương, giảm, và f(n) = aₙ, thì chuỗi và tích phân suy rộng của f từ 1 đến vô cực cùng hội tụ hoặc cùng phân kỳ. Đây là cách chứng minh kết luận về chuỗi p: tích phân 1/xᵖ hội tụ đúng khi p lớn hơn 1.
Tiêu chuẩn tỉ số. Xét giới hạn L của |aₙ₊₁/aₙ|. L nhỏ hơn 1 thì hội tụ, lớn hơn 1 thì phân kỳ, bằng 1 thì không kết luận. Rất hợp với chuỗi có giai thừa hoặc luỹ thừa n. Ví dụ chuỗi n/2ⁿ có tỉ số (n + 1)/(2n) tiến về 1/2, nên hội tụ; tổng của nó bằng 2.
Tiêu chuẩn căn. Xét giới hạn của căn bậc n của |aₙ|, kết luận tương tự tiêu chuẩn tỉ số. Hợp với số hạng dạng (biểu thức)ⁿ.
Tiêu chuẩn Leibniz cho chuỗi đan dấu. Chuỗi có dấu xen kẽ, giá trị tuyệt đối số hạng giảm dần về 0, thì hội tụ. Chuỗi 1 − 1/2 + 1/3 − 1/4 + … hội tụ và có tổng bằng ln 2, khoảng 0,693.
Bảng chọn tiêu chuẩn theo dạng số hạng
Đề thi thường không nói dùng tiêu chuẩn nào. Bảng dưới gợi ý điểm xuất phát dựa trên hình dạng số hạng; không phải luật cứng, nhưng tiết kiệm nhiều thời gian thử sai.
| Số hạng có dạng | Thử trước | Ví dụ |
|---|---|---|
| Không tiến về 0 | Số hạng tổng quát, kết luận phân kỳ ngay | n/(n + 1) |
| Phân thức của n (đa thức, căn) | So sánh với chuỗi p theo bậc cao nhất | (2n + 1)/(n³ + 5) |
| Có giai thừa hoặc aⁿ | Tỉ số | n²/3ⁿ, 2ⁿ/n! |
| Cả biểu thức mũ n | Căn | (n/(2n + 1))ⁿ |
| Có ln n, dễ lấy tích phân | Tích phân | 1/(n ln n) |
| Dấu xen kẽ | Leibniz, rồi xét hội tụ tuyệt đối | (−1)ⁿ/căn n |
Ví dụ dòng thứ hai: số hạng xấp xỉ 2n/n³ = 2/n² khi n lớn, nên hội tụ như chuỗi p với p = 2. Ví dụ dòng thứ năm: tích phân 1/(x ln x) có nguyên hàm ln(ln x), tăng vô hạn, nên chuỗi phân kỳ, một kết quả nhiều người không đoán được vì số hạng nhỏ hơn 1/n.
Hội tụ tuyệt đối, hội tụ có điều kiện và một điều kỳ lạ
Chuỗi hội tụ tuyệt đối nếu chuỗi các giá trị tuyệt đối cũng hội tụ. Chuỗi đan dấu 1 − 1/2 + 1/3 − … hội tụ, nhưng chuỗi trị tuyệt đối của nó là chuỗi điều hoà, phân kỳ. Trường hợp này gọi là hội tụ có điều kiện. Ngược lại, 1 − 1/4 + 1/9 − 1/16 + … hội tụ tuyệt đối vì chuỗi 1/n² hội tụ.
Sự phân biệt này không chỉ là tên gọi. Định lý sắp xếp lại của Riemann nói rằng với một chuỗi hội tụ có điều kiện, bạn có thể đổi thứ tự các số hạng để tổng ra bất kỳ số thực nào bạn muốn, hoặc thậm chí cho phân kỳ. Ví dụ, sắp lại chuỗi đan dấu điều hoà theo kiểu một số dương rồi hai số âm sẽ cho tổng bằng một nửa ln 2. Với chuỗi hội tụ tuyệt đối thì đổi thứ tự không làm thay đổi tổng.
Hệ quả thực hành: phép cộng vô hạn không giữ mọi tính chất của phép cộng hữu hạn. Khi biến đổi một chuỗi (gom nhóm, đổi thứ tự, tách thành hai chuỗi), bạn cần kiểm chuỗi có hội tụ tuyệt đối hay không. Đây cũng là chỗ chatbot hay mắc lỗi khi "chứng minh" các đẳng thức chuỗi, vì nó áp các thao tác đại số quen thuộc mà không kiểm điều kiện.
Một kết quả nổi tiếng và cách dùng AI để luyện chuỗi
Bài toán Basel hỏi tổng 1 + 1/4 + 1/9 + 1/16 + … bằng bao nhiêu. Ta biết chuỗi hội tụ, nhưng tìm tổng chính xác là bài toán làm khó nhiều nhà toán học thế kỷ 17, cho tới khi Euler công bố đáp án π²/6, khoảng 1,6449, vào thập niên 1730. Kết quả gây bất ngờ vì số π, vốn gắn với đường tròn, xuất hiện trong một tổng chỉ toàn bình phương số tự nhiên. Bạn có thể tự cộng 100 số hạng đầu bằng bảng tính để thấy tổng tiến dần về 1,6449, chậm nhưng chắc.
Với phần chuỗi, AI hữu ích nhất ở việc tạo bài tập phân loại và giải thích vì sao một tiêu chuẩn không áp dụng được. Câu lệnh mẫu: "Cho mình mười chuỗi số, mỗi chuỗi hợp với một tiêu chuẩn khác nhau, xáo trộn thứ tự, chưa cho đáp án. Sau khi mình trả lời tiêu chuẩn và kết luận cho từng chuỗi, hãy chấm và giải thích các câu sai." Cách này luyện đúng kỹ năng nhận dạng mà đề thi đòi hỏi.
Khi đọc lời giải của AI, để ý hai lỗi phổ biến: kết luận "hội tụ vì số hạng tiến về 0" (sai, như chuỗi điều hoà) và dùng tiêu chuẩn tỉ số khi giới hạn bằng 1 rồi vẫn kết luận. Nếu thấy một trong hai lỗi này, bạn biết ngay lời giải không dùng được và có thêm một ví dụ để nhớ.
Câu hỏi thường gặp
Chuỗi số khác dãy số thế nào?
Dãy số là một danh sách vô hạn các số a₁, a₂, a₃…. Chuỗi là phép cộng các số hạng của một dãy. Hội tụ của chuỗi được định nghĩa qua hội tụ của dãy tổng riêng, nên học chuỗi luôn cần nắm giới hạn dãy trước.
Vì sao tiêu chuẩn tỉ số không kết luận được khi giới hạn bằng 1?
Vì có cả chuỗi hội tụ lẫn phân kỳ cho giới hạn 1. Chuỗi 1/n phân kỳ và chuỗi 1/n² hội tụ đều có tỉ số tiến về 1. Khi gặp trường hợp này, quay sang tiêu chuẩn so sánh hoặc tích phân.
Tổng 1 + 2 + 3 + … bằng −1/12 có đúng không?
Theo định nghĩa hội tụ thông thường thì không, chuỗi này phân kỳ ra vô cực. Con số −1/12 xuất hiện khi dùng các phương pháp gán giá trị đặc biệt cho chuỗi phân kỳ, như hàm zeta Riemann thác triển. Đó là một định nghĩa khác, không phải tổng theo nghĩa của giáo trình năm nhất.
Học chuỗi số để làm gì trong thực tế?
Chuỗi là nền của chuỗi luỹ thừa và chuỗi Taylor, cách máy tính và kỹ sư xấp xỉ các hàm như sin, eˣ, ln. Chuỗi hình học xuất hiện trong tính giá trị hiện tại của dòng tiền đều và trong xác suất. Chuỗi Fourier, phát triển từ ý tưởng tương tự, là nền của xử lý tín hiệu và âm thanh.
Có cách nào ước lượng sai số khi cắt chuỗi sau n số hạng không?
Có với một số loại. Với chuỗi đan dấu thoả tiêu chuẩn Leibniz, sai số không vượt quá giá trị tuyệt đối của số hạng đầu tiên bị bỏ. Với chuỗi dương dùng được tiêu chuẩn tích phân, phần dư bị chặn bởi tích phân của f từ n đến vô cực.
Chuỗi hội tụ có điều kiện có hay gặp trong ứng dụng không?
Ít hơn chuỗi hội tụ tuyệt đối, nhưng có. Khi gặp, người làm tính toán phải giữ nguyên thứ tự cộng và cẩn thận với việc gom nhóm. Trong lập trình, ngay cả với chuỗi hữu hạn, thứ tự cộng số thực dấu phẩy động cũng ảnh hưởng tới sai số làm tròn.